Solver Version v0.6
Started at: Sept. 2, 2016, 4:26 a.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= 98 #constraint= 44 #product= 65 sizeproduct= 12
Optimizer Output:
c clasp version 3.1.0
c Reading from /tmp/tmpx28dhtio
s UNSATISFIABLE
c
c Models : 0
c Calls : 1
c Time : 0.020s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
c CPU Time : 0.000s
c Threads : 8 (Winner: 0)