Scheduler exits if unsolvable