Solver Version v0.6
Started at: Feb. 15, 2018, 10:44 p.m. UTC
Current State: Solver Done
Score: None
Solution: Problem is Impossible
Options:
Arrive Late Bonus: 310
Leave Early Bonus: 320
Day Off Bonus: 500
No Break Penalty: {0: 660, 60: 0, 240: 0, 300: 200, 330: 400, 360: 800, 420: 1600, 480: 3200, 540: 6400, 600: 12800, 660: 25600}
Pupil Preference Penalties: 100,201,403,807
Instructor Preference Penalties: 305,620,1290,2600
Complex Constraints:
Scheduler Output:
Solving with a time limit of 60 seconds of not improving the solution or a total time limit of 600 seconds
* #variable= 159 #constraint= 64 #product= 134 sizeproduct= 16
Optimizer Output:
c clasp version 3.1.0
c Reading from /tmp/tmpuis3w9pi
c Solving...
s UNSATISFIABLE
c
c Models : 0
c Calls : 1
c Time : 0.017s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
c CPU Time : 0.000s
c Threads : 8 (Winner: 7)