start_var = model.new_int_var_from_domain( cp_model.Domain.FromIntervals([0, 34500], [40000,54000]), 'start_var' )