Solver Version v0.6
Started at: Jan. 22, 2016, 6:11 p.m. UTC
Current State: Solver Done
Score: None
Solution: Problem is Impossible
Options:
Arrive Late Bonus: 0
Leave Early Bonus: 0
Day Off Bonus: 0
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= 180 #constraint= 59 #product= 63 sizeproduct= 15
Optimizer Output:
c clasp version 3.1.3
c Reading from /tmp/tmpux8vpryc
s UNSATISFIABLE
c
c Models : 0
c Calls : 1
c Time : 0.000s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
c CPU Time : 0.000s
c Threads : 8 (Winner: 0)