Solver Version v0.6
Started at: Jan. 24, 2017, 3:51 p.m. UTC
Current State: Solver Failed
Score: None
Solution: No Solution Found
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: 30min M 11:30-13:30,30min T 11:30-13:30,30min W 11:30-13:30,30min R 12:30-14:30,30min F 12:30-14:30,30min S 11:30-13:30,30min U 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= 230 #constraint= 47 #product= 44 sizeproduct= 12
Optimizer Output:
c clasp version 3.1.0
c Reading from /tmp/tmphdccq9fd
c Solving...
s UNKNOWN
c
c INTERRUPTED : 1
c Models : 0+
c Calls : 1
c Time : 60.309s (Solving: 60.31s 1st Model: 0.00s Unsat: 0.00s)
c CPU Time : 58.980s
c Threads : 8 (Winner: 8)