Solver Version v0.5
Started at: Aug. 27, 2015, 5:31 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: 30min M 11:30-13:30,30min T 11:30-13:30 OR 30min T 11:30-13:30 OR 30min T 11:30-13:30 OR 30min T 11:30-13:30,30min W 11:30-13:30,30min R 11:30-13:30,30min F 11:30-13:30,30min S 11:30-13:30,30min U 11:30-13:30,30min M 11:30-13:30
Scheduler Output:
Solving with a time limit of 60 seconds of not improving the solution or a total time limit of 600 seconds
* #variable= 147 #constraint= 38 #product= 64 sizeproduct= 10
Optimizer Output:
c clasp version 3.1.0
c Reading from /tmp/tmpf37vdu7w
c Solving...
s UNSATISFIABLE
c
c Models : 0
c Calls : 1
c Time : 1.566s (Solving: 1.57s 1st Model: 0.00s Unsat: 1.57s)
c CPU Time : 1.540s
c Threads : 8 (Winner: 7)