Added dumpOptimalSchedule() to dump optimal schedule