RUN: $(bus_driver_scheduling_sat_py3) --params=max_time_in_seconds:40