Solver Version v0.6
Started at: Sept. 6, 2016, 1:13 a.m. UTC
Current State: Solver Done
Score: 19200
Solution: Solution Found
Options:
Arrive Late Bonus: 310
Leave Early Bonus: 320
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-15:00,30min F 12:30-15:00,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= 177 #constraint= 44 #product= 88 sizeproduct= 12
Penalty 0 for term "pupil preference" (0 + 0)
Penalty 0 for term "arrive late" (0 + 0)
Penalty 0 for term "instructor preference" (0 + 0)
Penalty 0 for term "no break" (0 + 0)
Penalty 0 for term "day off" (0 + 0)
Penalty -19200 for term "leave early" (-19200 + 0)
Total Penalty -19200 for term "leave early" (-19200 + 0)
Optimizer Output:
c clasp version 3.1.0
c Reading from /tmp/tmp1xetqa5z
c Solving...
o 18930
o 600
o -9300
o -18600
o -18900
o -19200
c Answer: 6
v x1 x2 x3 -x4 x5 x6 x7 x8 x9 x10 x11 -x12 x13 x14 x15 x16 -x17 x18 x19 x20
v x21 x22 x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35
v -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 x49 -x50
v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65
v x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80
v x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 x94 -x95
v -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 x106 -x107 -x108
v -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
v -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133
v -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
v -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158
v -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 -x171
v -x172 -x173 -x174 -x175 -x176 -x177
s SATISFIABLE
c
c INTERRUPTED : 1
c Models : 6+
c Optimum : unknown
c Optimization : -19200
c Calls : 1
c Time : 61.997s (Solving: 61.99s 1st Model: 0.01s Unsat: 0.00s)
c CPU Time : 60.620s
c Threads : 8 (Winner: 8)
Created at: Sept. 6, 2016, 1:14 a.m. UTC
score: 19200
Pupil Session Times. Lexie -- R13:30 Ingrid [60min] -- F14:00 Megan -- F12:30 Molly -- F15:30 Katie -- R15:30 Diana -- R16:00 Alexa -- F15:00 Charlotte -- F16:00 Anna -- R12:00 Anastasia -- F12:00 Breanne -- R11:30 Colleen -- R13:00 Kelly -- F11:30 Annie -- R11:00 Ilsa -- R15:00 Laura -- F13:30 Riley [60min] -- R14:00 Lizzie -- F11:00 Instructor Schedule. For reference the first column is the instructor preference value (i1, i2, i3, etc). The second column is the pupil preference value (p1, p2, p3, etc). The third column is the session time. And the fourth column is the pupil name. i1 p1 R11:00 Annie i1 p1 R11:30 Breanne i1 p1 R12:00 Anna i1 R12:30 i1 p1 R13:00 Colleen i1 p1 R13:30 Lexie i1 p1 R14:00 Riley [60min] i1 R14:30 ---Lesson Ongoing--- i1 p1 R15:00 Ilsa i1 p1 R15:30 Katie i1 p1 R16:00 Diana i1 R16:30 i1 p1 F11:00 Lizzie i1 p1 F11:30 Kelly i1 p1 F12:00 Anastasia i1 p1 F12:30 Megan i1 F13:00 i1 p1 F13:30 Laura i1 p1 F14:00 Ingrid [60min] i1 F14:30 ---Lesson Ongoing--- i1 p1 F15:00 Alexa i1 p1 F15:30 Molly i1 p1 F16:00 Charlotte i1 F16:30