# TIMEOUT 18000 MAIN BEGIN : [Mon Jun 19 23:14:49 2006] READ BEGIN : csp/tai_7x7_1.csp [Mon Jun 19 23:14:49 2006] READ END : csp/tai_7x7_1.csp (1 seconds) [Mon Jun 19 23:14:50 2006] READ CPU : 0.65 = 0.65 + 0 + 0 + 0 # BOUND : makespan 435 613 GENERATE_CNF 613 BEGIN : [Mon Jun 19 23:14:50 2006] GENERATE_CNF 613 END : 30952 variables 370295 clauses 7650704 bytes (15 seconds) [Mon Jun 19 23:15:05 2006] GENERATE_CNF 613 CPU : 14.38 = 14.32 + 0.06 + 0 + 0 MODIFY_CNF 524 BEGIN : [Mon Jun 19 23:15:05 2006] MODIFY_CNF 524 END : 7650709 bytes (0 seconds) [Mon Jun 19 23:15:05 2006] MODIFY_CNF 524 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 524 BEGIN : [Mon Jun 19 23:15:05 2006] CMD : minisat /tmp/csp2sat13931.cnf /tmp/csp2sat13931.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 317027 921558 | 105675 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 7 (15 /sec) decisions : 229 (477 /sec) propagations : 46320 (96500 /sec) conflict literals : 61 (8.96 % deleted) Memory used : 18.01 MB CPU time : 0.48 s SATISFIABLE VERIFY_CNF 524 END : (0 seconds) [Mon Jun 19 23:15:05 2006] VERIFY_CNF 524 CPU : 0.52 = 0 + 0 + 0.49 + 0.03 # RESULT : makespan 524 SATISFIABLE SHOW_RESULT 524 BEGIN : [Mon Jun 19 23:15:05 2006] # ASSIGN : makespan 524 # ASSIGN : s_0_0 453 # ASSIGN : s_0_1 313 # ASSIGN : s_0_2 186 # ASSIGN : s_0_3 399 # ASSIGN : s_0_4 130 # ASSIGN : s_0_5 38 # ASSIGN : s_0_6 4 # ASSIGN : s_1_0 284 # ASSIGN : s_1_1 24 # ASSIGN : s_1_2 420 # ASSIGN : s_1_3 116 # ASSIGN : s_1_4 70 # ASSIGN : s_1_5 195 # ASSIGN : s_1_6 43 # ASSIGN : s_2_0 8 # ASSIGN : s_2_1 153 # ASSIGN : s_2_2 324 # ASSIGN : s_2_3 98 # ASSIGN : s_2_4 116 # ASSIGN : s_2_5 276 # ASSIGN : s_2_6 74 # ASSIGN : s_3_0 375 # ASSIGN : s_3_1 56 # ASSIGN : s_3_2 275 # ASSIGN : s_3_3 456 # ASSIGN : s_3_4 198 # ASSIGN : s_3_5 327 # ASSIGN : s_3_6 104 # ASSIGN : s_4_0 115 # ASSIGN : s_4_1 248 # ASSIGN : s_4_2 433 # ASSIGN : s_4_3 189 # ASSIGN : s_4_4 261 # ASSIGN : s_4_5 373 # ASSIGN : s_4_6 217 # ASSIGN : s_5_0 167 # ASSIGN : s_5_1 257 # ASSIGN : s_5_2 294 # ASSIGN : s_5_3 222 # ASSIGN : s_5_4 336 # ASSIGN : s_5_5 434 # ASSIGN : s_5_6 224 # ASSIGN : s_6_0 178 # ASSIGN : s_6_1 352 # ASSIGN : s_6_2 90 # ASSIGN : s_6_3 230 # ASSIGN : s_6_4 435 # ASSIGN : s_6_5 472 # ASSIGN : s_6_6 275 SHOW_RESULT 524 END : 524 (0 seconds) [Mon Jun 19 23:15:05 2006] SHOW_RESULT 524 CPU : 0.0500000000000007 = 0.0500000000000007 + 0 + 0 + 0 # BOUND : makespan 435 524 MODIFY_CNF 479 BEGIN : [Mon Jun 19 23:15:05 2006] MODIFY_CNF 479 END : 7650709 bytes (0 seconds) [Mon Jun 19 23:15:05 2006] MODIFY_CNF 479 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 479 BEGIN : [Mon Jun 19 23:15:05 2006] CMD : minisat /tmp/csp2sat13931.cnf /tmp/csp2sat13931.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 290567 842178 | 96855 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 4 (9 /sec) decisions : 139 (296 /sec) propagations : 43777 (93143 /sec) conflict literals : 94 (0.00 % deleted) Memory used : 18.05 MB CPU time : 0.47 s SATISFIABLE VERIFY_CNF 479 END : (1 seconds) [Mon Jun 19 23:15:06 2006] VERIFY_CNF 479 CPU : 0.57 = 0 + 0 + 0.49 + 0.08 # RESULT : makespan 479 SATISFIABLE SHOW_RESULT 479 BEGIN : [Mon Jun 19 23:15:06 2006] # ASSIGN : makespan 479 # ASSIGN : s_0_0 239 # ASSIGN : s_0_1 200 # ASSIGN : s_0_2 390 # ASSIGN : s_0_3 336 # ASSIGN : s_0_4 133 # ASSIGN : s_0_5 1 # ASSIGN : s_0_6 93 # ASSIGN : s_1_0 310 # ASSIGN : s_1_1 256 # ASSIGN : s_1_2 275 # ASSIGN : s_1_3 0 # ASSIGN : s_1_4 81 # ASSIGN : s_1_5 154 # ASSIGN : s_1_6 127 # ASSIGN : s_2_0 99 # ASSIGN : s_2_1 384 # ASSIGN : s_2_2 288 # ASSIGN : s_2_3 73 # ASSIGN : s_2_4 189 # ASSIGN : s_2_5 235 # ASSIGN : s_2_6 165 # ASSIGN : s_3_0 401 # ASSIGN : s_3_1 37 # ASSIGN : s_3_2 18 # ASSIGN : s_3_3 91 # ASSIGN : s_3_4 338 # ASSIGN : s_3_5 283 # ASSIGN : s_3_6 189 # ASSIGN : s_4_0 187 # ASSIGN : s_4_1 28 # ASSIGN : s_4_2 47 # ASSIGN : s_4_3 159 # ASSIGN : s_4_4 404 # ASSIGN : s_4_5 329 # ASSIGN : s_4_6 307 # ASSIGN : s_5_0 176 # ASSIGN : s_5_1 347 # ASSIGN : s_5_2 138 # ASSIGN : s_5_3 201 # ASSIGN : s_5_4 203 # ASSIGN : s_5_5 389 # ASSIGN : s_5_6 314 # ASSIGN : s_6_0 33 # ASSIGN : s_6_1 85 # ASSIGN : s_6_2 168 # ASSIGN : s_6_3 256 # ASSIGN : s_6_4 301 # ASSIGN : s_6_5 427 # ASSIGN : s_6_6 350 SHOW_RESULT 479 END : 479 (0 seconds) [Mon Jun 19 23:15:06 2006] SHOW_RESULT 479 CPU : 0.0499999999999989 = 0.0499999999999989 + 0 + 0 + 0 # BOUND : makespan 435 479 MODIFY_CNF 457 BEGIN : [Mon Jun 19 23:15:06 2006] MODIFY_CNF 457 END : 7650709 bytes (0 seconds) [Mon Jun 19 23:15:06 2006] MODIFY_CNF 457 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 457 BEGIN : [Mon Jun 19 23:15:06 2006] CMD : minisat /tmp/csp2sat13931.cnf /tmp/csp2sat13931.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 277631 803370 | 92543 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 1 (2 /sec) decisions : 106 (196 /sec) propagations : 32390 (59981 /sec) conflict literals : 17 (0.00 % deleted) Memory used : 18.05 MB CPU time : 0.54 s SATISFIABLE VERIFY_CNF 457 END : (0 seconds) [Mon Jun 19 23:15:06 2006] VERIFY_CNF 457 CPU : 0.58 = 0 + 0 + 0.55 + 0.03 # RESULT : makespan 457 SATISFIABLE SHOW_RESULT 457 BEGIN : [Mon Jun 19 23:15:06 2006] # ASSIGN : makespan 457 # ASSIGN : s_0_0 142 # ASSIGN : s_0_1 364 # ASSIGN : s_0_2 275 # ASSIGN : s_0_3 403 # ASSIGN : s_0_4 213 # ASSIGN : s_0_5 39 # ASSIGN : s_0_6 5 # ASSIGN : s_1_0 222 # ASSIGN : s_1_1 78 # ASSIGN : s_1_2 97 # ASSIGN : s_1_3 330 # ASSIGN : s_1_4 5 # ASSIGN : s_1_5 131 # ASSIGN : s_1_6 51 # ASSIGN : s_2_0 391 # ASSIGN : s_2_1 269 # ASSIGN : s_2_2 110 # ASSIGN : s_2_3 68 # ASSIGN : s_2_4 54 # ASSIGN : s_2_5 212 # ASSIGN : s_2_6 86 # ASSIGN : s_3_0 313 # ASSIGN : s_3_1 409 # ASSIGN : s_3_2 241 # ASSIGN : s_3_3 0 # ASSIGN : s_3_4 72 # ASSIGN : s_3_5 260 # ASSIGN : s_3_6 135 # ASSIGN : s_4_0 27 # ASSIGN : s_4_1 101 # ASSIGN : s_4_2 366 # ASSIGN : s_4_3 110 # ASSIGN : s_4_4 138 # ASSIGN : s_4_5 306 # ASSIGN : s_4_6 229 # ASSIGN : s_5_0 79 # ASSIGN : s_5_1 126 # ASSIGN : s_5_2 206 # ASSIGN : s_5_3 204 # ASSIGN : s_5_4 269 # ASSIGN : s_5_5 367 # ASSIGN : s_5_6 236 # ASSIGN : s_6_0 90 # ASSIGN : s_6_1 163 # ASSIGN : s_6_2 2 # ASSIGN : s_6_3 246 # ASSIGN : s_6_4 368 # ASSIGN : s_6_5 405 # ASSIGN : s_6_6 291 SHOW_RESULT 457 END : 457 (0 seconds) [Mon Jun 19 23:15:06 2006] SHOW_RESULT 457 CPU : 0.0400000000000009 = 0.0400000000000009 + 0 + 0 + 0 # BOUND : makespan 435 457 MODIFY_CNF 446 BEGIN : [Mon Jun 19 23:15:06 2006] MODIFY_CNF 446 END : 7650709 bytes (0 seconds) [Mon Jun 19 23:15:06 2006] MODIFY_CNF 446 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 446 BEGIN : [Mon Jun 19 23:15:06 2006] CMD : minisat /tmp/csp2sat13931.cnf /tmp/csp2sat13931.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 271163 783966 | 90387 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 35 (62 /sec) decisions : 151 (270 /sec) propagations : 105168 (187800 /sec) conflict literals : 1055 (4.35 % deleted) Memory used : 18.05 MB CPU time : 0.56 s SATISFIABLE VERIFY_CNF 446 END : (1 seconds) [Mon Jun 19 23:15:07 2006] VERIFY_CNF 446 CPU : 0.61 = 0 + 0 + 0.57 + 0.04 # RESULT : makespan 446 SATISFIABLE SHOW_RESULT 446 BEGIN : [Mon Jun 19 23:15:07 2006] # ASSIGN : makespan 446 # ASSIGN : s_0_0 280 # ASSIGN : s_0_1 351 # ASSIGN : s_0_2 6 # ASSIGN : s_0_3 134 # ASSIGN : s_0_4 390 # ASSIGN : s_0_5 188 # ASSIGN : s_0_6 95 # ASSIGN : s_1_0 355 # ASSIGN : s_1_1 215 # ASSIGN : s_1_2 307 # ASSIGN : s_1_3 234 # ASSIGN : s_1_4 156 # ASSIGN : s_1_5 8 # ASSIGN : s_1_6 129 # ASSIGN : s_2_0 189 # ASSIGN : s_2_1 255 # ASSIGN : s_2_2 350 # ASSIGN : s_2_3 71 # ASSIGN : s_2_4 142 # ASSIGN : s_2_5 89 # ASSIGN : s_2_6 159 # ASSIGN : s_3_0 59 # ASSIGN : s_3_1 6 # ASSIGN : s_3_2 288 # ASSIGN : s_3_3 378 # ASSIGN : s_3_4 315 # ASSIGN : s_3_5 137 # ASSIGN : s_3_6 183 # ASSIGN : s_4_0 7 # ASSIGN : s_4_1 400 # ASSIGN : s_4_2 99 # ASSIGN : s_4_3 350 # ASSIGN : s_4_4 202 # ASSIGN : s_4_5 290 # ASSIGN : s_4_6 277 # ASSIGN : s_5_0 269 # ASSIGN : s_5_1 409 # ASSIGN : s_5_2 320 # ASSIGN : s_5_3 7 # ASSIGN : s_5_4 44 # ASSIGN : s_5_5 356 # ASSIGN : s_5_6 284 # ASSIGN : s_6_0 137 # ASSIGN : s_6_1 54 # ASSIGN : s_6_2 190 # ASSIGN : s_6_3 9 # ASSIGN : s_6_4 278 # ASSIGN : s_6_5 394 # ASSIGN : s_6_6 317 SHOW_RESULT 446 END : 446 (0 seconds) [Mon Jun 19 23:15:07 2006] SHOW_RESULT 446 CPU : 0.0399999999999991 = 0.0399999999999991 + 0 + 0 + 0 # BOUND : makespan 435 446 MODIFY_CNF 440 BEGIN : [Mon Jun 19 23:15:07 2006] MODIFY_CNF 440 END : 7650708 bytes (0 seconds) [Mon Jun 19 23:15:07 2006] MODIFY_CNF 440 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 440 BEGIN : [Mon Jun 19 23:15:07 2006] CMD : minisat /tmp/csp2sat13931.cnf /tmp/csp2sat13931.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 267635 773382 | 89211 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 86 (139 /sec) decisions : 202 (326 /sec) propagations : 241479 (389482 /sec) conflict literals : 2912 (6.25 % deleted) Memory used : 18.05 MB CPU time : 0.62 s SATISFIABLE VERIFY_CNF 440 END : (1 seconds) [Mon Jun 19 23:15:08 2006] VERIFY_CNF 440 CPU : 0.72 = 0 + 0 + 0.63 + 0.09 # RESULT : makespan 440 SATISFIABLE SHOW_RESULT 440 BEGIN : [Mon Jun 19 23:15:08 2006] # ASSIGN : makespan 440 # ASSIGN : s_0_0 127 # ASSIGN : s_0_1 401 # ASSIGN : s_0_2 0 # ASSIGN : s_0_3 347 # ASSIGN : s_0_4 291 # ASSIGN : s_0_5 198 # ASSIGN : s_0_6 92 # ASSIGN : s_1_0 349 # ASSIGN : s_1_1 294 # ASSIGN : s_1_2 281 # ASSIGN : s_1_3 162 # ASSIGN : s_1_4 235 # ASSIGN : s_1_5 2 # ASSIGN : s_1_6 126 # ASSIGN : s_2_0 9 # ASSIGN : s_2_1 199 # ASSIGN : s_2_2 295 # ASSIGN : s_2_3 135 # ASSIGN : s_2_4 426 # ASSIGN : s_2_5 83 # ASSIGN : s_2_6 153 # ASSIGN : s_3_0 271 # ASSIGN : s_3_1 83 # ASSIGN : s_3_2 421 # ASSIGN : s_3_3 15 # ASSIGN : s_3_4 358 # ASSIGN : s_3_5 131 # ASSIGN : s_3_6 177 # ASSIGN : s_4_0 75 # ASSIGN : s_4_1 392 # ASSIGN : s_4_2 180 # ASSIGN : s_4_3 410 # ASSIGN : s_4_4 0 # ASSIGN : s_4_5 290 # ASSIGN : s_4_6 271 # ASSIGN : s_5_0 203 # ASSIGN : s_5_1 313 # ASSIGN : s_5_2 391 # ASSIGN : s_5_3 438 # ASSIGN : s_5_4 79 # ASSIGN : s_5_5 350 # ASSIGN : s_5_6 278 # ASSIGN : s_6_0 214 # ASSIGN : s_6_1 0 # ASSIGN : s_6_2 89 # ASSIGN : s_6_3 266 # ASSIGN : s_6_4 177 # ASSIGN : s_6_5 388 # ASSIGN : s_6_6 311 SHOW_RESULT 440 END : 440 (0 seconds) [Mon Jun 19 23:15:08 2006] SHOW_RESULT 440 CPU : 0.0400000000000009 = 0.0400000000000009 + 0 + 0 + 0 # BOUND : makespan 435 440 MODIFY_CNF 437 BEGIN : [Mon Jun 19 23:15:08 2006] MODIFY_CNF 437 END : 7650708 bytes (0 seconds) [Mon Jun 19 23:15:08 2006] MODIFY_CNF 437 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 437 BEGIN : [Mon Jun 19 23:15:08 2006] CMD : minisat /tmp/csp2sat13931.cnf /tmp/csp2sat13931.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 265871 768090 | 88623 0 0 nan | 0.000 % | | 101 | 265871 768090 | 97485 101 1888 18.7 | 37.206 % | ============================================================================== restarts : 2 conflicts : 106 (168 /sec) decisions : 277 (440 /sec) propagations : 190336 (302121 /sec) conflict literals : 1922 (9.30 % deleted) Memory used : 18.07 MB CPU time : 0.63 s SATISFIABLE VERIFY_CNF 437 END : (1 seconds) [Mon Jun 19 23:15:09 2006] VERIFY_CNF 437 CPU : 0.69 = 0 + 0 + 0.64 + 0.05 # RESULT : makespan 437 SATISFIABLE SHOW_RESULT 437 BEGIN : [Mon Jun 19 23:15:09 2006] # ASSIGN : makespan 437 # ASSIGN : s_0_0 58 # ASSIGN : s_0_1 129 # ASSIGN : s_0_2 256 # ASSIGN : s_0_3 202 # ASSIGN : s_0_4 2 # ASSIGN : s_0_5 345 # ASSIGN : s_0_6 168 # ASSIGN : s_1_0 346 # ASSIGN : s_1_1 323 # ASSIGN : s_1_2 224 # ASSIGN : s_1_3 0 # ASSIGN : s_1_4 73 # ASSIGN : s_1_5 143 # ASSIGN : s_1_6 296 # ASSIGN : s_2_0 276 # ASSIGN : s_2_1 342 # ASSIGN : s_2_2 40 # ASSIGN : s_2_3 176 # ASSIGN : s_2_4 194 # ASSIGN : s_2_5 228 # ASSIGN : s_2_6 144 # ASSIGN : s_3_0 146 # ASSIGN : s_3_1 258 # ASSIGN : s_3_2 237 # ASSIGN : s_3_3 369 # ASSIGN : s_3_4 306 # ASSIGN : s_3_5 0 # ASSIGN : s_3_6 50 # ASSIGN : s_4_0 6 # ASSIGN : s_4_1 249 # ASSIGN : s_4_2 346 # ASSIGN : s_4_3 91 # ASSIGN : s_4_4 119 # ASSIGN : s_4_5 285 # ASSIGN : s_4_6 278 # ASSIGN : s_5_0 135 # ASSIGN : s_5_1 171 # ASSIGN : s_5_2 10 # ASSIGN : s_5_3 367 # ASSIGN : s_5_4 208 # ASSIGN : s_5_5 46 # ASSIGN : s_5_6 404 # ASSIGN : s_6_0 224 # ASSIGN : s_6_1 1 # ASSIGN : s_6_2 136 # ASSIGN : s_6_3 278 # ASSIGN : s_6_4 400 # ASSIGN : s_6_5 84 # ASSIGN : s_6_6 323 SHOW_RESULT 437 END : 437 (0 seconds) [Mon Jun 19 23:15:09 2006] SHOW_RESULT 437 CPU : 0.0399999999999994 = 0.0299999999999994 + 0.01 + 0 + 0 # BOUND : makespan 435 437 MODIFY_CNF 436 BEGIN : [Mon Jun 19 23:15:09 2006] MODIFY_CNF 436 END : 7650708 bytes (0 seconds) [Mon Jun 19 23:15:09 2006] MODIFY_CNF 436 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 436 BEGIN : [Mon Jun 19 23:15:09 2006] CMD : minisat /tmp/csp2sat13931.cnf /tmp/csp2sat13931.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 265283 766326 | 88427 0 0 nan | 0.000 % | | 100 | 265283 766326 | 97269 100 1628 16.3 | 37.368 % | | 251 | 265283 766326 | 106996 251 4104 16.4 | 37.368 % | ============================================================================== restarts : 3 conflicts : 375 (341 /sec) decisions : 763 (694 /sec) propagations : 733176 (666524 /sec) conflict literals : 6662 (17.14 % deleted) Memory used : 18.07 MB CPU time : 1.1 s SATISFIABLE VERIFY_CNF 436 END : (1 seconds) [Mon Jun 19 23:15:10 2006] VERIFY_CNF 436 CPU : 1.16 = 0 + 0 + 1.1 + 0.06 # RESULT : makespan 436 SATISFIABLE SHOW_RESULT 436 BEGIN : [Mon Jun 19 23:15:10 2006] # ASSIGN : makespan 436 # ASSIGN : s_0_0 365 # ASSIGN : s_0_1 143 # ASSIGN : s_0_2 0 # ASSIGN : s_0_3 89 # ASSIGN : s_0_4 309 # ASSIGN : s_0_5 182 # ASSIGN : s_0_6 275 # ASSIGN : s_1_0 274 # ASSIGN : s_1_1 369 # ASSIGN : s_1_2 234 # ASSIGN : s_1_3 147 # ASSIGN : s_1_4 390 # ASSIGN : s_1_5 63 # ASSIGN : s_1_6 247 # ASSIGN : s_2_0 119 # ASSIGN : s_2_1 24 # ASSIGN : s_2_2 252 # ASSIGN : s_2_3 6 # ASSIGN : s_2_4 220 # ASSIGN : s_2_5 388 # ASSIGN : s_2_6 364 # ASSIGN : s_3_0 196 # ASSIGN : s_3_1 388 # ASSIGN : s_3_2 94 # ASSIGN : s_3_3 320 # ASSIGN : s_3_4 120 # ASSIGN : s_3_5 274 # ASSIGN : s_3_6 0 # ASSIGN : s_4_0 2 # ASSIGN : s_4_1 134 # ASSIGN : s_4_2 143 # ASSIGN : s_4_3 401 # ASSIGN : s_4_4 234 # ASSIGN : s_4_5 328 # ASSIGN : s_4_6 429 # ASSIGN : s_5_0 185 # ASSIGN : s_5_1 228 # ASSIGN : s_5_2 113 # ASSIGN : s_5_3 434 # ASSIGN : s_5_4 15 # ASSIGN : s_5_5 144 # ASSIGN : s_5_6 396 # ASSIGN : s_6_0 54 # ASSIGN : s_6_1 265 # ASSIGN : s_6_2 348 # ASSIGN : s_6_3 220 # ASSIGN : s_6_4 183 # ASSIGN : s_6_5 2 # ASSIGN : s_6_6 106 SHOW_RESULT 436 END : 436 (0 seconds) [Mon Jun 19 23:15:10 2006] SHOW_RESULT 436 CPU : 0.0399999999999991 = 0.0399999999999991 + 0 + 0 + 0 # BOUND : makespan 435 436 MODIFY_CNF 435 BEGIN : [Mon Jun 19 23:15:10 2006] MODIFY_CNF 435 END : 7650708 bytes (0 seconds) [Mon Jun 19 23:15:10 2006] MODIFY_CNF 435 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 435 BEGIN : [Mon Jun 19 23:15:10 2006] CMD : minisat /tmp/csp2sat13931.cnf /tmp/csp2sat13931.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 264696 764562 | 88232 0 0 nan | 0.000 % | | 101 | 264696 764562 | 97055 101 1894 18.8 | 37.529 % | ============================================================================== restarts : 2 conflicts : 172 (236 /sec) decisions : 359 (492 /sec) propagations : 328602 (450140 /sec) conflict literals : 3180 (16.32 % deleted) Memory used : 18.07 MB CPU time : 0.73 s SATISFIABLE VERIFY_CNF 435 END : (1 seconds) [Mon Jun 19 23:15:11 2006] VERIFY_CNF 435 CPU : 0.8 = 0 + 0 + 0.74 + 0.06 # RESULT : makespan 435 SATISFIABLE SHOW_RESULT 435 BEGIN : [Mon Jun 19 23:15:11 2006] # ASSIGN : makespan 435 # ASSIGN : s_0_0 269 # ASSIGN : s_0_1 396 # ASSIGN : s_0_2 0 # ASSIGN : s_0_3 181 # ASSIGN : s_0_4 340 # ASSIGN : s_0_5 89 # ASSIGN : s_0_6 235 # ASSIGN : s_1_0 344 # ASSIGN : s_1_1 158 # ASSIGN : s_1_2 108 # ASSIGN : s_1_3 35 # ASSIGN : s_1_4 279 # ASSIGN : s_1_5 192 # ASSIGN : s_1_6 8 # ASSIGN : s_2_0 91 # ASSIGN : s_2_1 177 # ASSIGN : s_2_2 339 # ASSIGN : s_2_3 17 # ASSIGN : s_2_4 325 # ASSIGN : s_2_5 41 # ASSIGN : s_2_6 282 # ASSIGN : s_3_0 2 # ASSIGN : s_3_1 319 # ASSIGN : s_3_2 89 # ASSIGN : s_3_3 367 # ASSIGN : s_3_4 210 # ASSIGN : s_3_5 273 # ASSIGN : s_3_6 116 # ASSIGN : s_4_0 157 # ASSIGN : s_4_1 387 # ASSIGN : s_4_2 218 # ASSIGN : s_4_3 129 # ASSIGN : s_4_4 37 # ASSIGN : s_4_5 323 # ASSIGN : s_4_6 428 # ASSIGN : s_5_0 80 # ASSIGN : s_5_1 272 # ASSIGN : s_5_2 309 # ASSIGN : s_5_3 365 # ASSIGN : s_5_4 112 # ASSIGN : s_5_5 3 # ASSIGN : s_5_6 395 # ASSIGN : s_6_0 209 # ASSIGN : s_6_1 38 # ASSIGN : s_6_2 121 # ASSIGN : s_6_3 261 # ASSIGN : s_6_4 0 # ASSIGN : s_6_5 383 # ASSIGN : s_6_6 306 SHOW_RESULT 435 END : 435 (0 seconds) [Mon Jun 19 23:15:11 2006] SHOW_RESULT 435 CPU : 0.0500000000000007 = 0.0500000000000007 + 0 + 0 + 0 # BOUND : makespan 435 435 MAIN END : (22 seconds) [Mon Jun 19 23:15:11 2006] MAIN CPU : 21.03 = 15.31 + 0.07 + 5.21 + 0.44