CP-SAT schedules

Scenario: High complexity