# TIMEOUT 18000 MAIN BEGIN : [Mon Jun 19 12:40:23 2006] READ BEGIN : csp/tai_10x10_4.csp [Mon Jun 19 12:40:23 2006] READ END : csp/tai_10x10_4.csp (1 seconds) [Mon Jun 19 12:40:24 2006] READ CPU : 1.84 = 1.81 + 0.03 + 0 + 0 # BOUND : makespan 577 889 GENERATE_CNF 889 BEGIN : [Mon Jun 19 12:40:24 2006] GENERATE_CNF 889 END : 91314 variables 1639647 clauses 34982949 bytes (62 seconds) [Mon Jun 19 12:41:26 2006] GENERATE_CNF 889 CPU : 61.38 = 61.17 + 0.21 + 0 + 0 MODIFY_CNF 733 BEGIN : [Mon Jun 19 12:41:26 2006] MODIFY_CNF 733 END : 34982955 bytes (0 seconds) [Mon Jun 19 12:41:26 2006] MODIFY_CNF 733 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 733 BEGIN : [Mon Jun 19 12:41:26 2006] CMD : minisat /tmp/csp2sat29871.cnf /tmp/csp2sat29871.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1356342 3981520 | 452114 0 0 nan | 0.000 % | | 100 | 1356342 3981520 | 497325 100 2633 26.3 | 22.816 % | ============================================================================== restarts : 2 conflicts : 108 (35 /sec) decisions : 889 (290 /sec) propagations : 652961 (212691 /sec) conflict literals : 2696 (12.27 % deleted) Memory used : 69.84 MB CPU time : 3.07 s SATISFIABLE VERIFY_CNF 733 END : (3 seconds) [Mon Jun 19 12:41:29 2006] VERIFY_CNF 733 CPU : 3.23 = 0 + 0 + 3.11 + 0.12 # RESULT : makespan 733 SATISFIABLE SHOW_RESULT 733 BEGIN : [Mon Jun 19 12:41:29 2006] # ASSIGN : makespan 733 # ASSIGN : s_0_0 529 # ASSIGN : s_0_1 421 # ASSIGN : s_0_2 489 # ASSIGN : s_0_3 78 # ASSIGN : s_0_4 508 # ASSIGN : s_0_5 228 # ASSIGN : s_0_6 537 # ASSIGN : s_0_7 628 # ASSIGN : s_0_8 672 # ASSIGN : s_0_9 362 # ASSIGN : s_1_0 683 # ASSIGN : s_1_1 260 # ASSIGN : s_1_2 344 # ASSIGN : s_1_3 128 # ASSIGN : s_1_4 442 # ASSIGN : s_1_5 670 # ASSIGN : s_1_6 502 # ASSIGN : s_1_7 549 # ASSIGN : s_1_8 589 # ASSIGN : s_1_9 707 # ASSIGN : s_2_0 124 # ASSIGN : s_2_1 177 # ASSIGN : s_2_2 289 # ASSIGN : s_2_3 398 # ASSIGN : s_2_4 328 # ASSIGN : s_2_5 564 # ASSIGN : s_2_6 316 # ASSIGN : s_2_7 491 # ASSIGN : s_2_8 520 # ASSIGN : s_2_9 659 # ASSIGN : s_3_0 183 # ASSIGN : s_3_1 142 # ASSIGN : s_3_2 274 # ASSIGN : s_3_3 307 # ASSIGN : s_3_4 649 # ASSIGN : s_3_5 431 # ASSIGN : s_3_6 704 # ASSIGN : s_3_7 334 # ASSIGN : s_3_8 481 # ASSIGN : s_3_9 565 # ASSIGN : s_4_0 15 # ASSIGN : s_4_1 101 # ASSIGN : s_4_2 177 # ASSIGN : s_4_3 300 # ASSIGN : s_4_4 619 # ASSIGN : s_4_5 356 # ASSIGN : s_4_6 674 # ASSIGN : s_4_7 314 # ASSIGN : s_4_8 448 # ASSIGN : s_4_9 514 # ASSIGN : s_5_0 353 # ASSIGN : s_5_1 80 # ASSIGN : s_5_2 135 # ASSIGN : s_5_3 635 # ASSIGN : s_5_4 597 # ASSIGN : s_5_5 346 # ASSIGN : s_5_6 632 # ASSIGN : s_5_7 309 # ASSIGN : s_5_8 422 # ASSIGN : s_5_9 474 # ASSIGN : s_6_0 717 # ASSIGN : s_6_1 76 # ASSIGN : s_6_2 106 # ASSIGN : s_6_3 576 # ASSIGN : s_6_4 524 # ASSIGN : s_6_5 297 # ASSIGN : s_6_6 480 # ASSIGN : s_6_7 230 # ASSIGN : s_6_8 343 # ASSIGN : s_6_9 429 # ASSIGN : s_7_0 594 # ASSIGN : s_7_1 639 # ASSIGN : s_7_2 84 # ASSIGN : s_7_3 362 # ASSIGN : s_7_4 175 # ASSIGN : s_7_5 119 # ASSIGN : s_7_6 404 # ASSIGN : s_7_7 156 # ASSIGN : s_7_8 249 # ASSIGN : s_7_9 355 # ASSIGN : s_8_0 542 # ASSIGN : s_8_1 553 # ASSIGN : s_8_2 636 # ASSIGN : s_8_3 325 # ASSIGN : s_8_4 141 # ASSIGN : s_8_5 49 # ASSIGN : s_8_6 261 # ASSIGN : s_8_7 116 # ASSIGN : s_8_8 217 # ASSIGN : s_8_9 182 # ASSIGN : s_9_0 401 # ASSIGN : s_9_1 482 # ASSIGN : s_9_2 580 # ASSIGN : s_9_3 211 # ASSIGN : s_9_4 106 # ASSIGN : s_9_5 2 # ASSIGN : s_9_6 689 # ASSIGN : s_9_7 3 # ASSIGN : s_9_8 139 # ASSIGN : s_9_9 56 SHOW_RESULT 733 END : 733 (0 seconds) [Mon Jun 19 12:41:29 2006] SHOW_RESULT 733 CPU : 0.159999999999997 = 0.159999999999997 + 0 + 0 + 0 # BOUND : makespan 577 733 MODIFY_CNF 655 BEGIN : [Mon Jun 19 12:41:29 2006] MODIFY_CNF 655 END : 34982954 bytes (0 seconds) [Mon Jun 19 12:41:29 2006] MODIFY_CNF 655 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 655 BEGIN : [Mon Jun 19 12:41:29 2006] CMD : minisat /tmp/csp2sat29871.cnf /tmp/csp2sat29871.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1215942 3560320 | 405314 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 11 (4 /sec) decisions : 566 (231 /sec) propagations : 162207 (66207 /sec) conflict literals : 170 (10.53 % deleted) Memory used : 69.81 MB CPU time : 2.45 s SATISFIABLE VERIFY_CNF 655 END : (3 seconds) [Mon Jun 19 12:41:32 2006] VERIFY_CNF 655 CPU : 2.73 = 0 + 0.01 + 2.5 + 0.22 # RESULT : makespan 655 SATISFIABLE SHOW_RESULT 655 BEGIN : [Mon Jun 19 12:41:32 2006] # ASSIGN : makespan 655 # ASSIGN : s_0_0 307 # ASSIGN : s_0_1 315 # ASSIGN : s_0_2 132 # ASSIGN : s_0_3 226 # ASSIGN : s_0_4 151 # ASSIGN : s_0_5 586 # ASSIGN : s_0_6 495 # ASSIGN : s_0_7 0 # ASSIGN : s_0_8 44 # ASSIGN : s_0_9 167 # ASSIGN : s_1_0 208 # ASSIGN : s_1_1 376 # ASSIGN : s_1_2 497 # ASSIGN : s_1_3 276 # ASSIGN : s_1_4 595 # ASSIGN : s_1_5 51 # ASSIGN : s_1_6 460 # ASSIGN : s_1_7 64 # ASSIGN : s_1_8 105 # ASSIGN : s_1_9 250 # ASSIGN : s_2_0 232 # ASSIGN : s_2_1 11 # ASSIGN : s_2_2 159 # ASSIGN : s_2_3 562 # ASSIGN : s_2_4 353 # ASSIGN : s_2_5 467 # ASSIGN : s_2_6 423 # ASSIGN : s_2_7 104 # ASSIGN : s_2_8 186 # ASSIGN : s_2_9 285 # ASSIGN : s_3_0 24 # ASSIGN : s_3_1 487 # ASSIGN : s_3_2 4 # ASSIGN : s_3_3 522 # ASSIGN : s_3_4 540 # ASSIGN : s_3_5 417 # ASSIGN : s_3_6 283 # ASSIGN : s_3_7 133 # ASSIGN : s_3_8 230 # ASSIGN : s_3_9 333 # ASSIGN : s_4_0 554 # ASSIGN : s_4_1 116 # ASSIGN : s_4_2 19 # ASSIGN : s_4_3 503 # ASSIGN : s_4_4 510 # ASSIGN : s_4_5 161 # ASSIGN : s_4_6 640 # ASSIGN : s_4_7 236 # ASSIGN : s_4_8 269 # ASSIGN : s_4_9 418 # ASSIGN : s_5_0 115 # ASSIGN : s_5_1 94 # ASSIGN : s_5_2 190 # ASSIGN : s_5_3 359 # ASSIGN : s_5_4 168 # ASSIGN : s_5_5 241 # ASSIGN : s_5_6 457 # ASSIGN : s_5_7 256 # ASSIGN : s_5_8 302 # ASSIGN : s_5_9 469 # ASSIGN : s_6_0 8 # ASSIGN : s_6_1 157 # ASSIGN : s_6_2 232 # ASSIGN : s_6_3 167 # ASSIGN : s_6_4 457 # ASSIGN : s_6_5 111 # ASSIGN : s_6_6 435 # ASSIGN : s_6_7 261 # ASSIGN : s_6_8 328 # ASSIGN : s_6_9 509 # ASSIGN : s_7_0 163 # ASSIGN : s_7_1 561 # ASSIGN : s_7_2 290 # ASSIGN : s_7_3 127 # ASSIGN : s_7_4 216 # ASSIGN : s_7_5 74 # ASSIGN : s_7_6 312 # ASSIGN : s_7_7 388 # ASSIGN : s_7_8 407 # ASSIGN : s_7_9 554 # ASSIGN : s_8_0 315 # ASSIGN : s_8_1 161 # ASSIGN : s_8_2 327 # ASSIGN : s_8_3 90 # ASSIGN : s_8_4 1 # ASSIGN : s_8_5 248 # ASSIGN : s_8_6 35 # ASSIGN : s_8_7 455 # ASSIGN : s_8_8 501 # ASSIGN : s_8_9 570 # ASSIGN : s_9_0 326 # ASSIGN : s_9_1 244 # ASSIGN : s_9_2 424 # ASSIGN : s_9_3 1 # ASSIGN : s_9_4 118 # ASSIGN : s_9_5 407 # ASSIGN : s_9_6 408 # ASSIGN : s_9_7 480 # ASSIGN : s_9_8 533 # ASSIGN : s_9_9 605 SHOW_RESULT 655 END : 655 (0 seconds) [Mon Jun 19 12:41:32 2006] SHOW_RESULT 655 CPU : 0.160000000000006 = 0.150000000000006 + 0.01 + 0 + 0 # BOUND : makespan 577 655 MODIFY_CNF 616 BEGIN : [Mon Jun 19 12:41:32 2006] MODIFY_CNF 616 END : 34982954 bytes (0 seconds) [Mon Jun 19 12:41:32 2006] MODIFY_CNF 616 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 616 BEGIN : [Mon Jun 19 12:41:32 2006] CMD : minisat /tmp/csp2sat29871.cnf /tmp/csp2sat29871.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1145742 3349720 | 381914 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 28 (11 /sec) decisions : 363 (143 /sec) propagations : 190091 (74839 /sec) conflict literals : 1023 (1.45 % deleted) Memory used : 69.81 MB CPU time : 2.54 s SATISFIABLE VERIFY_CNF 616 END : (3 seconds) [Mon Jun 19 12:41:35 2006] VERIFY_CNF 616 CPU : 2.78 = 0 + 0 + 2.59 + 0.19 # RESULT : makespan 616 SATISFIABLE SHOW_RESULT 616 BEGIN : [Mon Jun 19 12:41:35 2006] # ASSIGN : makespan 616 # ASSIGN : s_0_0 67 # ASSIGN : s_0_1 219 # ASSIGN : s_0_2 335 # ASSIGN : s_0_3 530 # ASSIGN : s_0_4 75 # ASSIGN : s_0_5 150 # ASSIGN : s_0_6 354 # ASSIGN : s_0_7 291 # ASSIGN : s_0_8 3 # ASSIGN : s_0_9 91 # ASSIGN : s_1_0 478 # ASSIGN : s_1_1 393 # ASSIGN : s_1_2 518 # ASSIGN : s_1_3 206 # ASSIGN : s_1_4 289 # ASSIGN : s_1_5 1 # ASSIGN : s_1_6 145 # ASSIGN : s_1_7 24 # ASSIGN : s_1_8 64 # ASSIGN : s_1_9 180 # ASSIGN : s_2_0 93 # ASSIGN : s_2_1 512 # ASSIGN : s_2_2 23 # ASSIGN : s_2_3 419 # ASSIGN : s_2_4 349 # ASSIGN : s_2_5 254 # ASSIGN : s_2_6 52 # ASSIGN : s_2_7 64 # ASSIGN : s_2_8 146 # ASSIGN : s_2_9 206 # ASSIGN : s_3_0 386 # ASSIGN : s_3_1 477 # ASSIGN : s_3_2 369 # ASSIGN : s_3_3 512 # ASSIGN : s_3_4 229 # ASSIGN : s_3_5 14 # ASSIGN : s_3_6 64 # ASSIGN : s_3_7 93 # ASSIGN : s_3_8 190 # ASSIGN : s_3_9 284 # ASSIGN : s_4_0 530 # ASSIGN : s_4_1 280 # ASSIGN : s_4_2 421 # ASSIGN : s_4_3 14 # ASSIGN : s_4_4 23 # ASSIGN : s_4_5 75 # ASSIGN : s_4_6 181 # ASSIGN : s_4_7 196 # ASSIGN : s_4_8 229 # ASSIGN : s_4_9 368 # ASSIGN : s_5_0 148 # ASSIGN : s_5_1 595 # ASSIGN : s_5_2 106 # ASSIGN : s_5_3 308 # ASSIGN : s_5_4 53 # ASSIGN : s_5_5 406 # ASSIGN : s_5_6 196 # ASSIGN : s_5_7 216 # ASSIGN : s_5_8 262 # ASSIGN : s_5_9 419 # ASSIGN : s_6_0 1 # ASSIGN : s_6_1 17 # ASSIGN : s_6_2 384 # ASSIGN : s_6_3 21 # ASSIGN : s_6_4 97 # ASSIGN : s_6_5 413 # ASSIGN : s_6_6 199 # ASSIGN : s_6_7 221 # ASSIGN : s_6_8 288 # ASSIGN : s_6_9 459 # ASSIGN : s_7_0 303 # ASSIGN : s_7_1 25 # ASSIGN : s_7_2 1 # ASSIGN : s_7_3 580 # ASSIGN : s_7_4 149 # ASSIGN : s_7_5 511 # ASSIGN : s_7_6 223 # ASSIGN : s_7_7 348 # ASSIGN : s_7_8 367 # ASSIGN : s_7_9 504 # ASSIGN : s_8_0 502 # ASSIGN : s_8_1 119 # ASSIGN : s_8_2 202 # ASSIGN : s_8_3 80 # ASSIGN : s_8_4 426 # ASSIGN : s_8_5 548 # ASSIGN : s_8_6 299 # ASSIGN : s_8_7 367 # ASSIGN : s_8_8 461 # ASSIGN : s_8_9 513 # ASSIGN : s_9_0 222 # ASSIGN : s_9_1 321 # ASSIGN : s_9_2 50 # ASSIGN : s_9_3 117 # ASSIGN : s_9_4 460 # ASSIGN : s_9_5 615 # ASSIGN : s_9_6 445 # ASSIGN : s_9_7 392 # ASSIGN : s_9_8 493 # ASSIGN : s_9_9 565 SHOW_RESULT 616 END : 616 (0 seconds) [Mon Jun 19 12:41:35 2006] SHOW_RESULT 616 CPU : 0.159999999999997 = 0.159999999999997 + 0 + 0 + 0 # BOUND : makespan 577 616 MODIFY_CNF 596 BEGIN : [Mon Jun 19 12:41:35 2006] MODIFY_CNF 596 END : 34982954 bytes (0 seconds) [Mon Jun 19 12:41:35 2006] MODIFY_CNF 596 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 596 BEGIN : [Mon Jun 19 12:41:35 2006] CMD : minisat /tmp/csp2sat29871.cnf /tmp/csp2sat29871.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1109742 3241720 | 369914 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 18 (7 /sec) decisions : 464 (193 /sec) propagations : 149928 (62211 /sec) conflict literals : 232 (4.13 % deleted) Memory used : 69.81 MB CPU time : 2.41 s SATISFIABLE VERIFY_CNF 596 END : (3 seconds) [Mon Jun 19 12:41:38 2006] VERIFY_CNF 596 CPU : 2.68 = 0 + 0 + 2.46 + 0.22 # RESULT : makespan 596 SATISFIABLE SHOW_RESULT 596 BEGIN : [Mon Jun 19 12:41:38 2006] # ASSIGN : makespan 596 # ASSIGN : s_0_0 322 # ASSIGN : s_0_1 375 # ASSIGN : s_0_2 214 # ASSIGN : s_0_3 233 # ASSIGN : s_0_4 2 # ASSIGN : s_0_5 466 # ASSIGN : s_0_6 121 # ASSIGN : s_0_7 77 # ASSIGN : s_0_8 535 # ASSIGN : s_0_9 18 # ASSIGN : s_1_0 488 # ASSIGN : s_1_1 512 # ASSIGN : s_1_2 286 # ASSIGN : s_1_3 384 # ASSIGN : s_1_4 112 # ASSIGN : s_1_5 254 # ASSIGN : s_1_6 212 # ASSIGN : s_1_7 172 # ASSIGN : s_1_8 2 # ASSIGN : s_1_9 86 # ASSIGN : s_2_0 30 # ASSIGN : s_2_1 288 # ASSIGN : s_2_2 1 # ASSIGN : s_2_3 467 # ASSIGN : s_2_4 175 # ASSIGN : s_2_5 371 # ASSIGN : s_2_6 247 # ASSIGN : s_2_7 259 # ASSIGN : s_2_8 83 # ASSIGN : s_2_9 127 # ASSIGN : s_3_0 386 # ASSIGN : s_3_1 477 # ASSIGN : s_3_2 28 # ASSIGN : s_3_3 6 # ASSIGN : s_3_4 541 # ASSIGN : s_3_5 50 # ASSIGN : s_3_6 259 # ASSIGN : s_3_7 288 # ASSIGN : s_3_8 136 # ASSIGN : s_3_9 175 # ASSIGN : s_4_0 226 # ASSIGN : s_4_1 436 # ASSIGN : s_4_2 499 # ASSIGN : s_4_3 24 # ASSIGN : s_4_4 406 # ASSIGN : s_4_5 100 # ASSIGN : s_4_6 312 # ASSIGN : s_4_7 385 # ASSIGN : s_4_8 175 # ASSIGN : s_4_9 327 # ASSIGN : s_5_0 330 # ASSIGN : s_5_1 267 # ASSIGN : s_5_2 418 # ASSIGN : s_5_3 31 # ASSIGN : s_5_4 245 # ASSIGN : s_5_5 181 # ASSIGN : s_5_6 327 # ASSIGN : s_5_7 460 # ASSIGN : s_5_8 208 # ASSIGN : s_5_9 378 # ASSIGN : s_6_0 99 # ASSIGN : s_6_1 12 # ASSIGN : s_6_2 470 # ASSIGN : s_6_3 129 # ASSIGN : s_6_4 320 # ASSIGN : s_6_5 188 # ASSIGN : s_6_6 385 # ASSIGN : s_6_7 529 # ASSIGN : s_6_8 234 # ASSIGN : s_6_9 425 # ASSIGN : s_7_0 515 # ASSIGN : s_7_1 102 # ASSIGN : s_7_2 245 # ASSIGN : s_7_3 560 # ASSIGN : s_7_4 28 # ASSIGN : s_7_5 267 # ASSIGN : s_7_6 407 # ASSIGN : s_7_7 496 # ASSIGN : s_7_8 313 # ASSIGN : s_7_9 483 # ASSIGN : s_8_0 5 # ASSIGN : s_8_1 16 # ASSIGN : s_8_2 99 # ASSIGN : s_8_3 196 # ASSIGN : s_8_4 270 # ASSIGN : s_8_5 304 # ASSIGN : s_8_6 525 # ASSIGN : s_8_7 465 # ASSIGN : s_8_8 426 # ASSIGN : s_8_9 490 # ASSIGN : s_9_0 115 # ASSIGN : s_9_1 196 # ASSIGN : s_9_2 43 # ASSIGN : s_9_3 283 # ASSIGN : s_9_4 372 # ASSIGN : s_9_5 595 # ASSIGN : s_9_6 580 # ASSIGN : s_9_7 405 # ASSIGN : s_9_8 458 # ASSIGN : s_9_9 530 SHOW_RESULT 596 END : 596 (0 seconds) [Mon Jun 19 12:41:38 2006] SHOW_RESULT 596 CPU : 0.159999999999999 = 0.149999999999999 + 0.01 + 0 + 0 # BOUND : makespan 577 596 MODIFY_CNF 586 BEGIN : [Mon Jun 19 12:41:38 2006] MODIFY_CNF 586 END : 34982954 bytes (0 seconds) [Mon Jun 19 12:41:38 2006] MODIFY_CNF 586 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 586 BEGIN : [Mon Jun 19 12:41:38 2006] CMD : minisat /tmp/csp2sat29871.cnf /tmp/csp2sat29871.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1091742 3187720 | 363914 0 0 nan | 0.000 % | | 101 | 1091742 3187720 | 400305 101 7565 74.9 | 39.075 % | ============================================================================== restarts : 2 conflicts : 152 (48 /sec) decisions : 847 (267 /sec) propagations : 702748 (221687 /sec) conflict literals : 8326 (5.25 % deleted) Memory used : 69.84 MB CPU time : 3.17 s SATISFIABLE VERIFY_CNF 586 END : (3 seconds) [Mon Jun 19 12:41:41 2006] VERIFY_CNF 586 CPU : 3.46 = 0 + 0 + 3.22 + 0.24 # RESULT : makespan 586 SATISFIABLE SHOW_RESULT 586 BEGIN : [Mon Jun 19 12:41:41 2006] # ASSIGN : makespan 586 # ASSIGN : s_0_0 578 # ASSIGN : s_0_1 2 # ASSIGN : s_0_2 559 # ASSIGN : s_0_3 291 # ASSIGN : s_0_4 275 # ASSIGN : s_0_5 103 # ASSIGN : s_0_6 401 # ASSIGN : s_0_7 357 # ASSIGN : s_0_8 172 # ASSIGN : s_0_9 492 # ASSIGN : s_1_0 266 # ASSIGN : s_1_1 502 # ASSIGN : s_1_2 363 # ASSIGN : s_1_3 148 # ASSIGN : s_1_4 82 # ASSIGN : s_1_5 251 # ASSIGN : s_1_6 328 # ASSIGN : s_1_7 461 # ASSIGN : s_1_8 1 # ASSIGN : s_1_9 296 # ASSIGN : s_2_0 362 # ASSIGN : s_2_1 415 # ASSIGN : s_2_2 26 # ASSIGN : s_2_3 53 # ASSIGN : s_2_4 194 # ASSIGN : s_2_5 264 # ASSIGN : s_2_6 530 # ASSIGN : s_2_7 501 # ASSIGN : s_2_8 542 # ASSIGN : s_2_9 146 # ASSIGN : s_3_0 466 # ASSIGN : s_3_1 125 # ASSIGN : s_3_2 11 # ASSIGN : s_3_3 341 # ASSIGN : s_3_4 409 # ASSIGN : s_3_5 359 # ASSIGN : s_3_6 557 # ASSIGN : s_3_7 28 # ASSIGN : s_3_8 298 # ASSIGN : s_3_9 212 # ASSIGN : s_4_0 127 # ASSIGN : s_4_1 84 # ASSIGN : s_4_2 266 # ASSIGN : s_4_3 7 # ASSIGN : s_4_4 52 # ASSIGN : s_4_5 421 # ASSIGN : s_4_6 14 # ASSIGN : s_4_7 213 # ASSIGN : s_4_8 233 # ASSIGN : s_4_9 363 # ASSIGN : s_5_0 218 # ASSIGN : s_5_1 63 # ASSIGN : s_5_2 512 # ASSIGN : s_5_3 362 # ASSIGN : s_5_4 564 # ASSIGN : s_5_5 496 # ASSIGN : s_5_6 554 # ASSIGN : s_5_7 208 # ASSIGN : s_5_8 272 # ASSIGN : s_5_9 322 # ASSIGN : s_6_0 111 # ASSIGN : s_6_1 498 # ASSIGN : s_6_2 469 # ASSIGN : s_6_3 231 # ASSIGN : s_6_4 142 # ASSIGN : s_6_5 503 # ASSIGN : s_6_6 209 # ASSIGN : s_6_7 290 # ASSIGN : s_6_8 369 # ASSIGN : s_6_9 32 # ASSIGN : s_7_0 290 # ASSIGN : s_7_1 160 # ASSIGN : s_7_2 55 # ASSIGN : s_7_3 17 # ASSIGN : s_7_4 335 # ASSIGN : s_7_5 549 # ASSIGN : s_7_6 84 # ASSIGN : s_7_7 429 # ASSIGN : s_7_8 448 # ASSIGN : s_7_9 77 # ASSIGN : s_8_0 449 # ASSIGN : s_8_1 254 # ASSIGN : s_8_2 84 # ASSIGN : s_8_3 460 # ASSIGN : s_8_4 517 # ASSIGN : s_8_5 184 # ASSIGN : s_8_6 29 # ASSIGN : s_8_7 404 # ASSIGN : s_8_8 337 # ASSIGN : s_8_9 551 # ASSIGN : s_9_0 13 # ASSIGN : s_9_1 342 # ASSIGN : s_9_2 181 # ASSIGN : s_9_3 497 # ASSIGN : s_9_4 464 # ASSIGN : s_9_5 413 # ASSIGN : s_9_6 166 # ASSIGN : s_9_7 237 # ASSIGN : s_9_8 94 # ASSIGN : s_9_9 414 SHOW_RESULT 586 END : 586 (0 seconds) [Mon Jun 19 12:41:41 2006] SHOW_RESULT 586 CPU : 0.160000000000004 = 0.160000000000004 + 0 + 0 + 0 # BOUND : makespan 577 586 MODIFY_CNF 581 BEGIN : [Mon Jun 19 12:41:41 2006] MODIFY_CNF 581 END : 34982953 bytes (0 seconds) [Mon Jun 19 12:41:41 2006] MODIFY_CNF 581 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 581 BEGIN : [Mon Jun 19 12:41:41 2006] CMD : minisat /tmp/csp2sat29871.cnf /tmp/csp2sat29871.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1082742 3160720 | 360914 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 88 (32 /sec) decisions : 409 (149 /sec) propagations : 387662 (141482 /sec) conflict literals : 4273 (5.59 % deleted) Memory used : 69.81 MB CPU time : 2.74 s SATISFIABLE VERIFY_CNF 581 END : (3 seconds) [Mon Jun 19 12:41:44 2006] VERIFY_CNF 581 CPU : 2.97 = 0 + 0 + 2.79 + 0.18 # RESULT : makespan 581 SATISFIABLE SHOW_RESULT 581 BEGIN : [Mon Jun 19 12:41:44 2006] # ASSIGN : makespan 581 # ASSIGN : s_0_0 13 # ASSIGN : s_0_1 375 # ASSIGN : s_0_2 200 # ASSIGN : s_0_3 149 # ASSIGN : s_0_4 488 # ASSIGN : s_0_5 80 # ASSIGN : s_0_6 270 # ASSIGN : s_0_7 219 # ASSIGN : s_0_8 520 # ASSIGN : s_0_9 21 # ASSIGN : s_1_0 376 # ASSIGN : s_1_1 173 # ASSIGN : s_1_2 483 # ASSIGN : s_1_3 400 # ASSIGN : s_1_4 303 # ASSIGN : s_1_5 363 # ASSIGN : s_1_6 92 # ASSIGN : s_1_7 263 # ASSIGN : s_1_8 11 # ASSIGN : s_1_9 144 # ASSIGN : s_2_0 43 # ASSIGN : s_2_1 477 # ASSIGN : s_2_2 143 # ASSIGN : s_2_3 288 # ASSIGN : s_2_4 218 # ASSIGN : s_2_5 381 # ASSIGN : s_2_6 31 # ASSIGN : s_2_7 1 # ASSIGN : s_2_8 96 # ASSIGN : s_2_9 170 # ASSIGN : s_3_0 404 # ASSIGN : s_3_1 340 # ASSIGN : s_3_2 184 # ASSIGN : s_3_3 382 # ASSIGN : s_3_4 526 # ASSIGN : s_3_5 199 # ASSIGN : s_3_6 1 # ASSIGN : s_3_7 30 # ASSIGN : s_3_8 140 # ASSIGN : s_3_9 249 # ASSIGN : s_4_0 495 # ASSIGN : s_4_1 436 # ASSIGN : s_4_2 227 # ASSIGN : s_4_3 105 # ASSIGN : s_4_4 149 # ASSIGN : s_4_5 2 # ASSIGN : s_4_6 77 # ASSIGN : s_4_7 127 # ASSIGN : s_4_8 179 # ASSIGN : s_4_9 333 # ASSIGN : s_5_0 328 # ASSIGN : s_5_1 560 # ASSIGN : s_5_2 441 # ASSIGN : s_5_3 7 # ASSIGN : s_5_4 504 # ASSIGN : s_5_5 310 # ASSIGN : s_5_6 127 # ASSIGN : s_5_7 147 # ASSIGN : s_5_8 212 # ASSIGN : s_5_9 384 # ASSIGN : s_6_0 222 # ASSIGN : s_6_1 4 # ASSIGN : s_6_2 101 # ASSIGN : s_6_3 486 # ASSIGN : s_6_4 372 # ASSIGN : s_6_5 317 # ASSIGN : s_6_6 130 # ASSIGN : s_6_7 152 # ASSIGN : s_6_8 238 # ASSIGN : s_6_9 424 # ASSIGN : s_7_0 258 # ASSIGN : s_7_1 79 # ASSIGN : s_7_2 419 # ASSIGN : s_7_3 545 # ASSIGN : s_7_4 5 # ASSIGN : s_7_5 476 # ASSIGN : s_7_6 182 # ASSIGN : s_7_7 303 # ASSIGN : s_7_8 322 # ASSIGN : s_7_9 469 # ASSIGN : s_8_0 246 # ASSIGN : s_8_1 257 # ASSIGN : s_8_2 4 # ASSIGN : s_8_3 112 # ASSIGN : s_8_4 184 # ASSIGN : s_8_5 513 # ASSIGN : s_8_6 361 # ASSIGN : s_8_7 453 # ASSIGN : s_8_8 416 # ASSIGN : s_8_9 478 # ASSIGN : s_9_0 118 # ASSIGN : s_9_1 8 # ASSIGN : s_9_2 324 # ASSIGN : s_9_3 199 # ASSIGN : s_9_4 85 # ASSIGN : s_9_5 580 # ASSIGN : s_9_6 433 # ASSIGN : s_9_7 380 # ASSIGN : s_9_8 448 # ASSIGN : s_9_9 530 SHOW_RESULT 581 END : 581 (1 seconds) [Mon Jun 19 12:41:45 2006] SHOW_RESULT 581 CPU : 0.159999999999999 = 0.149999999999999 + 0.00999999999999995 + 0 + 0 # BOUND : makespan 577 581 MODIFY_CNF 579 BEGIN : [Mon Jun 19 12:41:45 2006] MODIFY_CNF 579 END : 34982953 bytes (0 seconds) [Mon Jun 19 12:41:45 2006] MODIFY_CNF 579 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 579 BEGIN : [Mon Jun 19 12:41:45 2006] CMD : minisat /tmp/csp2sat29871.cnf /tmp/csp2sat29871.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1079142 3149920 | 359714 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 33 (13 /sec) decisions : 361 (144 /sec) propagations : 204170 (81668 /sec) conflict literals : 878 (8.35 % deleted) Memory used : 69.80 MB CPU time : 2.5 s SATISFIABLE VERIFY_CNF 579 END : (2 seconds) [Mon Jun 19 12:41:47 2006] VERIFY_CNF 579 CPU : 2.73 = 0 + 0 + 2.54 + 0.19 # RESULT : makespan 579 SATISFIABLE SHOW_RESULT 579 BEGIN : [Mon Jun 19 12:41:47 2006] # ASSIGN : makespan 579 # ASSIGN : s_0_0 216 # ASSIGN : s_0_1 150 # ASSIGN : s_0_2 224 # ASSIGN : s_0_3 384 # ASSIGN : s_0_4 255 # ASSIGN : s_0_5 271 # ASSIGN : s_0_6 0 # ASSIGN : s_0_7 340 # ASSIGN : s_0_8 518 # ASSIGN : s_0_9 91 # ASSIGN : s_1_0 97 # ASSIGN : s_1_1 282 # ASSIGN : s_1_2 373 # ASSIGN : s_1_3 496 # ASSIGN : s_1_4 182 # ASSIGN : s_1_5 471 # ASSIGN : s_1_6 121 # ASSIGN : s_1_7 242 # ASSIGN : s_1_8 6 # ASSIGN : s_1_9 156 # ASSIGN : s_2_0 34 # ASSIGN : s_2_1 401 # ASSIGN : s_2_2 135 # ASSIGN : s_2_3 232 # ASSIGN : s_2_4 331 # ASSIGN : s_2_5 484 # ASSIGN : s_2_6 162 # ASSIGN : s_2_7 5 # ASSIGN : s_2_8 87 # ASSIGN : s_2_9 184 # ASSIGN : s_3_0 488 # ASSIGN : s_3_1 366 # ASSIGN : s_3_2 351 # ASSIGN : s_3_3 470 # ASSIGN : s_3_4 415 # ASSIGN : s_3_5 208 # ASSIGN : s_3_6 174 # ASSIGN : s_3_7 34 # ASSIGN : s_3_8 131 # ASSIGN : s_3_9 258 # ASSIGN : s_4_0 396 # ASSIGN : s_4_1 88 # ASSIGN : s_4_2 482 # ASSIGN : s_4_3 1 # ASSIGN : s_4_4 301 # ASSIGN : s_4_5 13 # ASSIGN : s_4_6 203 # ASSIGN : s_4_7 141 # ASSIGN : s_4_8 170 # ASSIGN : s_4_9 342 # ASSIGN : s_5_0 259 # ASSIGN : s_5_1 129 # ASSIGN : s_5_2 166 # ASSIGN : s_5_3 8 # ASSIGN : s_5_4 557 # ASSIGN : s_5_5 114 # ASSIGN : s_5_6 554 # ASSIGN : s_5_7 161 # ASSIGN : s_5_8 208 # ASSIGN : s_5_9 393 # ASSIGN : s_6_0 18 # ASSIGN : s_6_1 1 # ASSIGN : s_6_2 92 # ASSIGN : s_6_3 325 # ASSIGN : s_6_4 505 # ASSIGN : s_6_5 121 # ASSIGN : s_6_6 557 # ASSIGN : s_6_7 167 # ASSIGN : s_6_8 234 # ASSIGN : s_6_9 433 # ASSIGN : s_7_0 126 # ASSIGN : s_7_1 485 # ASSIGN : s_7_2 14 # ASSIGN : s_7_3 434 # ASSIGN : s_7_4 52 # ASSIGN : s_7_5 171 # ASSIGN : s_7_6 218 # ASSIGN : s_7_7 294 # ASSIGN : s_7_8 313 # ASSIGN : s_7_9 478 # ASSIGN : s_8_0 232 # ASSIGN : s_8_1 5 # ASSIGN : s_8_2 243 # ASSIGN : s_8_3 195 # ASSIGN : s_8_4 148 # ASSIGN : s_8_5 340 # ASSIGN : s_8_6 439 # ASSIGN : s_8_7 554 # ASSIGN : s_8_8 407 # ASSIGN : s_8_9 494 # ASSIGN : s_9_0 307 # ASSIGN : s_9_1 211 # ASSIGN : s_9_2 36 # ASSIGN : s_9_3 106 # ASSIGN : s_9_4 3 # ASSIGN : s_9_5 441 # ASSIGN : s_9_6 514 # ASSIGN : s_9_7 388 # ASSIGN : s_9_8 442 # ASSIGN : s_9_9 529 SHOW_RESULT 579 END : 579 (1 seconds) [Mon Jun 19 12:41:48 2006] SHOW_RESULT 579 CPU : 0.169999999999995 = 0.169999999999995 + 0 + 0 + 0 # BOUND : makespan 577 579 MODIFY_CNF 578 BEGIN : [Mon Jun 19 12:41:48 2006] MODIFY_CNF 578 END : 34982953 bytes (0 seconds) [Mon Jun 19 12:41:48 2006] MODIFY_CNF 578 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 578 BEGIN : [Mon Jun 19 12:41:48 2006] CMD : minisat /tmp/csp2sat29871.cnf /tmp/csp2sat29871.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1077342 3144520 | 359114 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 97 (34 /sec) decisions : 457 (160 /sec) propagations : 442301 (155193 /sec) conflict literals : 2729 (7.08 % deleted) Memory used : 69.80 MB CPU time : 2.85 s SATISFIABLE VERIFY_CNF 578 END : (3 seconds) [Mon Jun 19 12:41:51 2006] VERIFY_CNF 578 CPU : 3.08 = 0 + 0 + 2.91 + 0.17 # RESULT : makespan 578 SATISFIABLE SHOW_RESULT 578 BEGIN : [Mon Jun 19 12:41:51 2006] # ASSIGN : makespan 578 # ASSIGN : s_0_0 151 # ASSIGN : s_0_1 165 # ASSIGN : s_0_2 420 # ASSIGN : s_0_3 467 # ASSIGN : s_0_4 254 # ASSIGN : s_0_5 270 # ASSIGN : s_0_6 0 # ASSIGN : s_0_7 343 # ASSIGN : s_0_8 517 # ASSIGN : s_0_9 91 # ASSIGN : s_1_0 126 # ASSIGN : s_1_1 459 # ASSIGN : s_1_2 278 # ASSIGN : s_1_3 376 # ASSIGN : s_1_4 178 # ASSIGN : s_1_5 565 # ASSIGN : s_1_6 91 # ASSIGN : s_1_7 238 # ASSIGN : s_1_8 5 # ASSIGN : s_1_9 150 # ASSIGN : s_2_0 33 # ASSIGN : s_2_1 330 # ASSIGN : s_2_2 149 # ASSIGN : s_2_3 224 # ASSIGN : s_2_4 508 # ASSIGN : s_2_5 413 # ASSIGN : s_2_6 137 # ASSIGN : s_2_7 4 # ASSIGN : s_2_8 86 # ASSIGN : s_2_9 176 # ASSIGN : s_3_0 406 # ASSIGN : s_3_1 543 # ASSIGN : s_3_2 10 # ASSIGN : s_3_3 524 # ASSIGN : s_3_4 351 # ASSIGN : s_3_5 214 # ASSIGN : s_3_6 173 # ASSIGN : s_3_7 33 # ASSIGN : s_3_8 130 # ASSIGN : s_3_9 264 # ASSIGN : s_4_0 220 # ASSIGN : s_4_1 418 # ASSIGN : s_4_2 481 # ASSIGN : s_4_3 460 # ASSIGN : s_4_4 104 # ASSIGN : s_4_5 29 # ASSIGN : s_4_6 202 # ASSIGN : s_4_7 134 # ASSIGN : s_4_8 169 # ASSIGN : s_4_9 348 # ASSIGN : s_5_0 159 # ASSIGN : s_5_1 309 # ASSIGN : s_5_2 439 # ASSIGN : s_5_3 0 # ASSIGN : s_5_4 486 # ASSIGN : s_5_5 113 # ASSIGN : s_5_6 553 # ASSIGN : s_5_7 154 # ASSIGN : s_5_8 207 # ASSIGN : s_5_9 399 # ASSIGN : s_6_0 104 # ASSIGN : s_6_1 414 # ASSIGN : s_6_2 385 # ASSIGN : s_6_3 317 # ASSIGN : s_6_4 52 # ASSIGN : s_6_5 120 # ASSIGN : s_6_6 556 # ASSIGN : s_6_7 166 # ASSIGN : s_6_8 233 # ASSIGN : s_6_9 441 # ASSIGN : s_7_0 497 # ASSIGN : s_7_1 71 # ASSIGN : s_7_2 25 # ASSIGN : s_7_3 542 # ASSIGN : s_7_4 412 # ASSIGN : s_7_5 177 # ASSIGN : s_7_6 217 # ASSIGN : s_7_7 293 # ASSIGN : s_7_8 312 # ASSIGN : s_7_9 486 # ASSIGN : s_8_0 22 # ASSIGN : s_8_1 226 # ASSIGN : s_8_2 47 # ASSIGN : s_8_3 187 # ASSIGN : s_8_4 144 # ASSIGN : s_8_5 339 # ASSIGN : s_8_6 438 # ASSIGN : s_8_7 553 # ASSIGN : s_8_8 406 # ASSIGN : s_8_9 493 # ASSIGN : s_9_0 306 # ASSIGN : s_9_1 0 # ASSIGN : s_9_2 217 # ASSIGN : s_9_3 98 # ASSIGN : s_9_4 273 # ASSIGN : s_9_5 527 # ASSIGN : s_9_6 512 # ASSIGN : s_9_7 387 # ASSIGN : s_9_8 440 # ASSIGN : s_9_9 528 SHOW_RESULT 578 END : 578 (0 seconds) [Mon Jun 19 12:41:51 2006] SHOW_RESULT 578 CPU : 0.170000000000011 = 0.160000000000011 + 0.01 + 0 + 0 # BOUND : makespan 577 578 MODIFY_CNF 577 BEGIN : [Mon Jun 19 12:41:51 2006] MODIFY_CNF 577 END : 34982953 bytes (0 seconds) [Mon Jun 19 12:41:51 2006] MODIFY_CNF 577 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 577 BEGIN : [Mon Jun 19 12:41:51 2006] CMD : minisat /tmp/csp2sat29871.cnf /tmp/csp2sat29871.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1075543 3139120 | 358514 0 0 nan | 0.000 % | | 100 | 1075543 3139120 | 394365 100 2893 28.9 | 40.071 % | | 250 | 1075543 3139120 | 433801 250 8384 33.5 | 40.071 % | ============================================================================== restarts : 3 conflicts : 292 (76 /sec) decisions : 1040 (272 /sec) propagations : 1108134 (289330 /sec) conflict literals : 9187 (8.99 % deleted) Memory used : 69.83 MB CPU time : 3.83 s SATISFIABLE VERIFY_CNF 577 END : (4 seconds) [Mon Jun 19 12:41:55 2006] VERIFY_CNF 577 CPU : 4 = 0 + 0 + 3.88 + 0.12 # RESULT : makespan 577 SATISFIABLE SHOW_RESULT 577 BEGIN : [Mon Jun 19 12:41:55 2006] # ASSIGN : makespan 577 # ASSIGN : s_0_0 30 # ASSIGN : s_0_1 129 # ASSIGN : s_0_2 430 # ASSIGN : s_0_3 527 # ASSIGN : s_0_4 289 # ASSIGN : s_0_5 458 # ASSIGN : s_0_6 198 # ASSIGN : s_0_7 327 # ASSIGN : s_0_8 38 # ASSIGN : s_0_9 371 # ASSIGN : s_1_0 260 # ASSIGN : s_1_1 0 # ASSIGN : s_1_2 328 # ASSIGN : s_1_3 177 # ASSIGN : s_1_4 517 # ASSIGN : s_1_5 112 # ASSIGN : s_1_6 293 # ASSIGN : s_1_7 135 # ASSIGN : s_1_8 426 # ASSIGN : s_1_9 86 # ASSIGN : s_2_0 172 # ASSIGN : s_2_1 225 # ASSIGN : s_2_2 39 # ASSIGN : s_2_3 66 # ASSIGN : s_2_4 415 # ASSIGN : s_2_5 317 # ASSIGN : s_2_6 160 # ASSIGN : s_2_7 10 # ASSIGN : s_2_8 533 # ASSIGN : s_2_9 485 # ASSIGN : s_3_0 370 # ASSIGN : s_3_1 190 # ASSIGN : s_3_2 5 # ASSIGN : s_3_3 159 # ASSIGN : s_3_4 231 # ASSIGN : s_3_5 49 # ASSIGN : s_3_6 20 # ASSIGN : s_3_7 461 # ASSIGN : s_3_8 99 # ASSIGN : s_3_9 286 # ASSIGN : s_4_0 284 # ASSIGN : s_4_1 84 # ASSIGN : s_4_2 449 # ASSIGN : s_4_3 260 # ASSIGN : s_4_4 385 # ASSIGN : s_4_5 125 # ASSIGN : s_4_6 546 # ASSIGN : s_4_7 228 # ASSIGN : s_4_8 0 # ASSIGN : s_4_9 33 # ASSIGN : s_5_0 45 # ASSIGN : s_5_1 556 # ASSIGN : s_5_2 286 # ASSIGN : s_5_3 393 # ASSIGN : s_5_4 209 # ASSIGN : s_5_5 549 # ASSIGN : s_5_6 504 # ASSIGN : s_5_7 388 # ASSIGN : s_5_8 507 # ASSIGN : s_5_9 246 # ASSIGN : s_6_0 464 # ASSIGN : s_6_1 125 # ASSIGN : s_6_2 548 # ASSIGN : s_6_3 7 # ASSIGN : s_6_4 149 # ASSIGN : s_6_5 412 # ASSIGN : s_6_6 524 # ASSIGN : s_6_7 248 # ASSIGN : s_6_8 315 # ASSIGN : s_6_9 201 # ASSIGN : s_7_0 93 # ASSIGN : s_7_1 308 # ASSIGN : s_7_2 249 # ASSIGN : s_7_3 491 # ASSIGN : s_7_4 19 # ASSIGN : s_7_5 271 # ASSIGN : s_7_6 415 # ASSIGN : s_7_7 558 # ASSIGN : s_7_8 138 # ASSIGN : s_7_9 12 # ASSIGN : s_8_0 566 # ASSIGN : s_8_1 473 # ASSIGN : s_8_2 78 # ASSIGN : s_8_3 267 # ASSIGN : s_8_4 305 # ASSIGN : s_8_5 200 # ASSIGN : s_8_6 339 # ASSIGN : s_8_7 175 # ASSIGN : s_8_8 394 # ASSIGN : s_8_9 438 # ASSIGN : s_9_0 480 # ASSIGN : s_9_1 402 # ASSIGN : s_9_2 176 # ASSIGN : s_9_3 304 # ASSIGN : s_9_4 93 # ASSIGN : s_9_5 576 # ASSIGN : s_9_6 561 # ASSIGN : s_9_7 40 # ASSIGN : s_9_8 232 # ASSIGN : s_9_9 126 SHOW_RESULT 577 END : 577 (0 seconds) [Mon Jun 19 12:41:55 2006] SHOW_RESULT 577 CPU : 0.159999999999997 = 0.159999999999997 + 0 + 0 + 0 # BOUND : makespan 577 577 MAIN END : (92 seconds) [Mon Jun 19 12:41:55 2006] MAIN CPU : 92.34 = 64.4 + 0.29 + 26 + 1.65