# TIMEOUT 18000 MAIN BEGIN : [Mon Jun 19 12:45:07 2006] READ BEGIN : csp/tai_10x10_7.csp [Mon Jun 19 12:45:07 2006] READ END : csp/tai_10x10_7.csp (3 seconds) [Mon Jun 19 12:45:10 2006] READ CPU : 1.93 = 1.89 + 0.04 + 0 + 0 # BOUND : makespan 616 899 GENERATE_CNF 899 BEGIN : [Mon Jun 19 12:45:10 2006] GENERATE_CNF 899 END : 92285 variables 1648788 clauses 35183265 bytes (72 seconds) [Mon Jun 19 12:46:22 2006] GENERATE_CNF 899 CPU : 71.53 = 70.93 + 0.6 + 0 + 0 MODIFY_CNF 757 BEGIN : [Mon Jun 19 12:46:22 2006] MODIFY_CNF 757 END : 35183271 bytes (0 seconds) [Mon Jun 19 12:46:22 2006] MODIFY_CNF 757 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 757 BEGIN : [Mon Jun 19 12:46:22 2006] CMD : minisat /tmp/csp2sat29991.cnf /tmp/csp2sat29991.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1390683 4083572 | 463561 0 0 nan | 0.000 % | | 100 | 1390683 4083572 | 509917 100 2266 22.7 | 21.461 % | ============================================================================== restarts : 2 conflicts : 102 (35 /sec) decisions : 785 (271 /sec) propagations : 574690 (198169 /sec) conflict literals : 2281 (13.30 % deleted) Memory used : 70.34 MB CPU time : 2.9 s SATISFIABLE VERIFY_CNF 757 END : (3 seconds) [Mon Jun 19 12:46:25 2006] VERIFY_CNF 757 CPU : 3.12 = 0 + 0 + 2.95 + 0.17 # RESULT : makespan 757 SATISFIABLE SHOW_RESULT 757 BEGIN : [Mon Jun 19 12:46:25 2006] # ASSIGN : makespan 757 # ASSIGN : s_0_0 520 # ASSIGN : s_0_1 1 # ASSIGN : s_0_2 636 # ASSIGN : s_0_3 456 # ASSIGN : s_0_4 372 # ASSIGN : s_0_5 739 # ASSIGN : s_0_6 209 # ASSIGN : s_0_7 292 # ASSIGN : s_0_8 719 # ASSIGN : s_0_9 617 # ASSIGN : s_1_0 435 # ASSIGN : s_1_1 487 # ASSIGN : s_1_2 419 # ASSIGN : s_1_3 161 # ASSIGN : s_1_4 294 # ASSIGN : s_1_5 648 # ASSIGN : s_1_6 530 # ASSIGN : s_1_7 659 # ASSIGN : s_1_8 584 # ASSIGN : s_1_9 269 # ASSIGN : s_2_0 376 # ASSIGN : s_2_1 82 # ASSIGN : s_2_2 712 # ASSIGN : s_2_3 288 # ASSIGN : s_2_4 267 # ASSIGN : s_2_5 593 # ASSIGN : s_2_6 439 # ASSIGN : s_2_7 629 # ASSIGN : s_2_8 516 # ASSIGN : s_2_9 179 # ASSIGN : s_3_0 335 # ASSIGN : s_3_1 271 # ASSIGN : s_3_2 533 # ASSIGN : s_3_3 171 # ASSIGN : s_3_4 248 # ASSIGN : s_3_5 559 # ASSIGN : s_3_6 402 # ASSIGN : s_3_7 610 # ASSIGN : s_3_8 460 # ASSIGN : s_3_9 168 # ASSIGN : s_4_0 254 # ASSIGN : s_4_1 159 # ASSIGN : s_4_2 462 # ASSIGN : s_4_3 108 # ASSIGN : s_4_4 695 # ASSIGN : s_4_5 518 # ASSIGN : s_4_6 317 # ASSIGN : s_4_7 549 # ASSIGN : s_4_8 383 # ASSIGN : s_4_9 156 # ASSIGN : s_5_0 177 # ASSIGN : s_5_1 372 # ASSIGN : s_5_2 587 # ASSIGN : s_5_3 48 # ASSIGN : s_5_4 621 # ASSIGN : s_5_5 471 # ASSIGN : s_5_6 281 # ASSIGN : s_5_7 511 # ASSIGN : s_5_8 359 # ASSIGN : s_5_9 692 # ASSIGN : s_6_0 121 # ASSIGN : s_6_1 249 # ASSIGN : s_6_2 20 # ASSIGN : s_6_3 668 # ASSIGN : s_6_4 620 # ASSIGN : s_6_5 380 # ASSIGN : s_6_6 666 # ASSIGN : s_6_7 450 # ASSIGN : s_6_8 288 # ASSIGN : s_6_9 572 # ASSIGN : s_7_0 116 # ASSIGN : s_7_1 686 # ASSIGN : s_7_2 706 # ASSIGN : s_7_3 630 # ASSIGN : s_7_4 567 # ASSIGN : s_7_5 332 # ASSIGN : s_7_6 708 # ASSIGN : s_7_7 412 # ASSIGN : s_7_8 217 # ASSIGN : s_7_9 470 # ASSIGN : s_8_0 21 # ASSIGN : s_8_1 651 # ASSIGN : s_8_2 104 # ASSIGN : s_8_3 600 # ASSIGN : s_8_4 475 # ASSIGN : s_8_5 236 # ASSIGN : s_8_6 686 # ASSIGN : s_8_7 306 # ASSIGN : s_8_8 196 # ASSIGN : s_8_9 371 # ASSIGN : s_9_0 674 # ASSIGN : s_9_1 597 # ASSIGN : s_9_2 504 # ASSIGN : s_9_3 526 # ASSIGN : s_9_4 27 # ASSIGN : s_9_5 101 # ASSIGN : s_9_6 671 # ASSIGN : s_9_7 196 # ASSIGN : s_9_8 0 # ASSIGN : s_9_9 289 SHOW_RESULT 757 END : 757 (0 seconds) [Mon Jun 19 12:46:25 2006] SHOW_RESULT 757 CPU : 0.170000000000006 = 0.150000000000006 + 0.02 + 0 + 0 # BOUND : makespan 616 757 MODIFY_CNF 686 BEGIN : [Mon Jun 19 12:46:25 2006] MODIFY_CNF 686 END : 35183270 bytes (0 seconds) [Mon Jun 19 12:46:25 2006] MODIFY_CNF 686 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 686 BEGIN : [Mon Jun 19 12:46:25 2006] CMD : minisat /tmp/csp2sat29991.cnf /tmp/csp2sat29991.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1262883 3700172 | 420961 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 10 (5 /sec) decisions : 504 (233 /sec) propagations : 152431 (70570 /sec) conflict literals : 179 (6.28 % deleted) Memory used : 70.31 MB CPU time : 2.16 s SATISFIABLE VERIFY_CNF 686 END : (3 seconds) [Mon Jun 19 12:46:28 2006] VERIFY_CNF 686 CPU : 2.55 = 0 + 0 + 2.2 + 0.35 # RESULT : makespan 686 SATISFIABLE SHOW_RESULT 686 BEGIN : [Mon Jun 19 12:46:28 2006] # ASSIGN : makespan 686 # ASSIGN : s_0_0 337 # ASSIGN : s_0_1 541 # ASSIGN : s_0_2 228 # ASSIGN : s_0_3 65 # ASSIGN : s_0_4 457 # ASSIGN : s_0_5 668 # ASSIGN : s_0_6 156 # ASSIGN : s_0_7 51 # ASSIGN : s_0_8 9 # ASSIGN : s_0_9 29 # ASSIGN : s_1_0 285 # ASSIGN : s_1_1 374 # ASSIGN : s_1_2 478 # ASSIGN : s_1_3 5 # ASSIGN : s_1_4 546 # ASSIGN : s_1_5 15 # ASSIGN : s_1_6 231 # ASSIGN : s_1_7 69 # ASSIGN : s_1_8 167 # ASSIGN : s_1_9 48 # ASSIGN : s_2_0 627 # ASSIGN : s_2_1 417 # ASSIGN : s_2_2 494 # ASSIGN : s_2_3 539 # ASSIGN : s_2_4 5 # ASSIGN : s_2_5 26 # ASSIGN : s_2_6 340 # ASSIGN : s_2_7 203 # ASSIGN : s_2_8 233 # ASSIGN : s_2_9 68 # ASSIGN : s_3_0 159 # ASSIGN : s_3_1 622 # ASSIGN : s_3_2 445 # ASSIGN : s_3_3 200 # ASSIGN : s_3_4 36 # ASSIGN : s_3_5 62 # ASSIGN : s_3_6 471 # ASSIGN : s_3_7 277 # ASSIGN : s_3_8 301 # ASSIGN : s_3_9 156 # ASSIGN : s_4_0 434 # ASSIGN : s_4_1 187 # ASSIGN : s_4_2 582 # ASSIGN : s_4_3 17 # ASSIGN : s_4_4 624 # ASSIGN : s_4_5 96 # ASSIGN : s_4_6 508 # ASSIGN : s_4_7 296 # ASSIGN : s_4_8 357 # ASSIGN : s_4_9 172 # ASSIGN : s_5_0 497 # ASSIGN : s_5_1 28 # ASSIGN : s_5_2 652 # ASSIGN : s_5_3 395 # ASSIGN : s_5_4 286 # ASSIGN : s_5_5 127 # ASSIGN : s_5_6 574 # ASSIGN : s_5_7 357 # ASSIGN : s_5_8 455 # ASSIGN : s_5_9 175 # ASSIGN : s_6_0 88 # ASSIGN : s_6_1 144 # ASSIGN : s_6_2 4 # ASSIGN : s_6_3 306 # ASSIGN : s_6_4 166 # ASSIGN : s_6_5 167 # ASSIGN : s_6_6 610 # ASSIGN : s_6_7 399 # ASSIGN : s_6_8 468 # ASSIGN : s_6_9 240 # ASSIGN : s_7_0 0 # ASSIGN : s_7_1 167 # ASSIGN : s_7_2 402 # ASSIGN : s_7_3 501 # ASSIGN : s_7_4 404 # ASSIGN : s_7_5 237 # ASSIGN : s_7_6 612 # ASSIGN : s_7_7 460 # ASSIGN : s_7_8 539 # ASSIGN : s_7_9 285 # ASSIGN : s_8_0 5 # ASSIGN : s_8_1 277 # ASSIGN : s_8_2 93 # ASSIGN : s_8_3 631 # ASSIGN : s_8_4 185 # ASSIGN : s_8_5 312 # ASSIGN : s_8_6 661 # ASSIGN : s_8_7 498 # ASSIGN : s_8_8 610 # ASSIGN : s_8_9 382 # ASSIGN : s_9_0 202 # ASSIGN : s_9_1 320 # ASSIGN : s_9_2 298 # ASSIGN : s_9_3 129 # ASSIGN : s_9_4 55 # ASSIGN : s_9_5 386 # ASSIGN : s_9_6 683 # ASSIGN : s_9_7 563 # ASSIGN : s_9_8 656 # ASSIGN : s_9_9 481 SHOW_RESULT 686 END : 686 (0 seconds) [Mon Jun 19 12:46:28 2006] SHOW_RESULT 686 CPU : 0.169999999999997 = 0.159999999999997 + 0.01 + 0 + 0 # BOUND : makespan 616 686 MODIFY_CNF 651 BEGIN : [Mon Jun 19 12:46:28 2006] MODIFY_CNF 651 END : 35183270 bytes (0 seconds) [Mon Jun 19 12:46:28 2006] MODIFY_CNF 651 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 651 BEGIN : [Mon Jun 19 12:46:28 2006] CMD : minisat /tmp/csp2sat29991.cnf /tmp/csp2sat29991.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1199883 3511172 | 399961 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 14 (6 /sec) decisions : 484 (210 /sec) propagations : 134009 (58265 /sec) conflict literals : 147 (1.34 % deleted) Memory used : 70.31 MB CPU time : 2.3 s SATISFIABLE VERIFY_CNF 651 END : (3 seconds) [Mon Jun 19 12:46:31 2006] VERIFY_CNF 651 CPU : 2.55 = 0 + 0 + 2.33 + 0.22 # RESULT : makespan 651 SATISFIABLE SHOW_RESULT 651 BEGIN : [Mon Jun 19 12:46:31 2006] # ASSIGN : makespan 651 # ASSIGN : s_0_0 477 # ASSIGN : s_0_1 396 # ASSIGN : s_0_2 308 # ASSIGN : s_0_3 244 # ASSIGN : s_0_4 74 # ASSIGN : s_0_5 378 # ASSIGN : s_0_6 158 # ASSIGN : s_0_7 230 # ASSIGN : s_0_8 35 # ASSIGN : s_0_9 55 # ASSIGN : s_1_0 294 # ASSIGN : s_1_1 140 # ASSIGN : s_1_2 401 # ASSIGN : s_1_3 107 # ASSIGN : s_1_4 573 # ASSIGN : s_1_5 76 # ASSIGN : s_1_6 6 # ASSIGN : s_1_7 440 # ASSIGN : s_1_8 183 # ASSIGN : s_1_9 117 # ASSIGN : s_2_0 346 # ASSIGN : s_2_1 484 # ASSIGN : s_2_2 439 # ASSIGN : s_2_3 563 # ASSIGN : s_2_4 325 # ASSIGN : s_2_5 6 # ASSIGN : s_2_6 60 # ASSIGN : s_2_7 409 # ASSIGN : s_2_8 247 # ASSIGN : s_2_9 137 # ASSIGN : s_3_0 184 # ASSIGN : s_3_1 76 # ASSIGN : s_3_2 14 # ASSIGN : s_3_3 401 # ASSIGN : s_3_4 231 # ASSIGN : s_3_5 42 # ASSIGN : s_3_6 256 # ASSIGN : s_3_7 382 # ASSIGN : s_3_8 315 # ASSIGN : s_3_9 225 # ASSIGN : s_4_0 231 # ASSIGN : s_4_1 561 # ASSIGN : s_4_2 40 # ASSIGN : s_4_3 118 # ASSIGN : s_4_4 166 # ASSIGN : s_4_5 87 # ASSIGN : s_4_6 469 # ASSIGN : s_4_7 310 # ASSIGN : s_4_8 371 # ASSIGN : s_4_9 228 # ASSIGN : s_5_0 574 # ASSIGN : s_5_1 297 # ASSIGN : s_5_2 82 # ASSIGN : s_5_3 478 # ASSIGN : s_5_4 3 # ASSIGN : s_5_5 119 # ASSIGN : s_5_6 538 # ASSIGN : s_5_7 192 # ASSIGN : s_5_8 448 # ASSIGN : s_5_9 232 # ASSIGN : s_6_0 405 # ASSIGN : s_6_1 275 # ASSIGN : s_6_2 567 # ASSIGN : s_6_3 9 # ASSIGN : s_6_4 250 # ASSIGN : s_6_5 159 # ASSIGN : s_6_6 403 # ASSIGN : s_6_7 98 # ASSIGN : s_6_8 461 # ASSIGN : s_6_9 297 # ASSIGN : s_7_0 13 # ASSIGN : s_7_1 56 # ASSIGN : s_7_2 116 # ASSIGN : s_7_3 172 # ASSIGN : s_7_4 479 # ASSIGN : s_7_5 229 # ASSIGN : s_7_6 293 # ASSIGN : s_7_7 613 # ASSIGN : s_7_8 532 # ASSIGN : s_7_9 342 # ASSIGN : s_8_0 18 # ASSIGN : s_8_1 240 # ASSIGN : s_8_2 118 # ASSIGN : s_8_3 210 # ASSIGN : s_8_4 347 # ASSIGN : s_8_5 277 # ASSIGN : s_8_6 629 # ASSIGN : s_8_7 538 # ASSIGN : s_8_8 603 # ASSIGN : s_8_9 439 # ASSIGN : s_9_0 101 # ASSIGN : s_9_1 186 # ASSIGN : s_9_2 417 # ASSIGN : s_9_3 330 # ASSIGN : s_9_4 251 # ASSIGN : s_9_5 440 # ASSIGN : s_9_6 535 # ASSIGN : s_9_7 5 # ASSIGN : s_9_8 624 # ASSIGN : s_9_9 542 SHOW_RESULT 651 END : 651 (0 seconds) [Mon Jun 19 12:46:31 2006] SHOW_RESULT 651 CPU : 0.159999999999997 = 0.159999999999997 + 0 + 0 + 0 # BOUND : makespan 616 651 MODIFY_CNF 633 BEGIN : [Mon Jun 19 12:46:31 2006] MODIFY_CNF 633 END : 35183270 bytes (0 seconds) [Mon Jun 19 12:46:31 2006] MODIFY_CNF 633 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 633 BEGIN : [Mon Jun 19 12:46:31 2006] CMD : minisat /tmp/csp2sat29991.cnf /tmp/csp2sat29991.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1167483 3413972 | 389161 0 0 nan | 0.000 % | | 100 | 1167483 3413972 | 428077 100 4140 41.4 | 35.032 % | ============================================================================== restarts : 2 conflicts : 138 (48 /sec) decisions : 823 (285 /sec) propagations : 478835 (165687 /sec) conflict literals : 4822 (6.19 % deleted) Memory used : 70.34 MB CPU time : 2.89 s SATISFIABLE VERIFY_CNF 633 END : (3 seconds) [Mon Jun 19 12:46:34 2006] VERIFY_CNF 633 CPU : 3.17 = 0 + 0 + 2.91 + 0.26 # RESULT : makespan 633 SATISFIABLE SHOW_RESULT 633 BEGIN : [Mon Jun 19 12:46:34 2006] # ASSIGN : makespan 633 # ASSIGN : s_0_0 74 # ASSIGN : s_0_1 353 # ASSIGN : s_0_2 4 # ASSIGN : s_0_3 449 # ASSIGN : s_0_4 269 # ASSIGN : s_0_5 615 # ASSIGN : s_0_6 523 # ASSIGN : s_0_7 597 # ASSIGN : s_0_8 240 # ASSIGN : s_0_9 221 # ASSIGN : s_1_0 22 # ASSIGN : s_1_1 208 # ASSIGN : s_1_2 418 # ASSIGN : s_1_3 2 # ASSIGN : s_1_4 532 # ASSIGN : s_1_5 305 # ASSIGN : s_1_6 251 # ASSIGN : s_1_7 434 # ASSIGN : s_1_8 316 # ASSIGN : s_1_9 610 # ASSIGN : s_2_0 511 # ASSIGN : s_2_1 434 # ASSIGN : s_2_2 210 # ASSIGN : s_2_3 269 # ASSIGN : s_2_4 611 # ASSIGN : s_2_5 575 # ASSIGN : s_2_6 357 # ASSIGN : s_2_7 24 # ASSIGN : s_2_8 54 # ASSIGN : s_2_9 122 # ASSIGN : s_3_0 171 # ASSIGN : s_3_1 511 # ASSIGN : s_3_2 485 # ASSIGN : s_3_3 372 # ASSIGN : s_3_4 102 # ASSIGN : s_3_5 30 # ASSIGN : s_3_6 320 # ASSIGN : s_3_7 611 # ASSIGN : s_3_8 260 # ASSIGN : s_3_9 630 # ASSIGN : s_4_0 570 # ASSIGN : s_4_1 54 # ASSIGN : s_4_2 255 # ASSIGN : s_4_3 144 # ASSIGN : s_4_4 193 # ASSIGN : s_4_5 539 # ASSIGN : s_4_6 457 # ASSIGN : s_4_7 301 # ASSIGN : s_4_8 380 # ASSIGN : s_4_9 536 # ASSIGN : s_5_0 351 # ASSIGN : s_5_1 252 # ASSIGN : s_5_2 87 # ASSIGN : s_5_3 192 # ASSIGN : s_5_4 121 # ASSIGN : s_5_5 499 # ASSIGN : s_5_6 597 # ASSIGN : s_5_7 559 # ASSIGN : s_5_8 546 # ASSIGN : s_5_9 434 # ASSIGN : s_6_0 212 # ASSIGN : s_6_1 610 # ASSIGN : s_6_2 297 # ASSIGN : s_6_3 12 # ASSIGN : s_6_4 632 # ASSIGN : s_6_5 381 # ASSIGN : s_6_6 595 # ASSIGN : s_6_7 101 # ASSIGN : s_6_8 475 # ASSIGN : s_6_9 550 # ASSIGN : s_7_0 17 # ASSIGN : s_7_1 575 # ASSIGN : s_7_2 517 # ASSIGN : s_7_3 595 # ASSIGN : s_7_4 35 # ASSIGN : s_7_5 451 # ASSIGN : s_7_6 88 # ASSIGN : s_7_7 263 # ASSIGN : s_7_8 169 # ASSIGN : s_7_9 337 # ASSIGN : s_8_0 268 # ASSIGN : s_8_1 163 # ASSIGN : s_8_2 519 # ASSIGN : s_8_3 107 # ASSIGN : s_8_4 427 # ASSIGN : s_8_5 198 # ASSIGN : s_8_6 137 # ASSIGN : s_8_7 362 # ASSIGN : s_8_8 612 # ASSIGN : s_8_9 8 # ASSIGN : s_9_0 428 # ASSIGN : s_9_1 0 # ASSIGN : s_9_2 611 # ASSIGN : s_9_3 513 # ASSIGN : s_9_4 353 # ASSIGN : s_9_5 64 # ASSIGN : s_9_6 159 # ASSIGN : s_9_7 162 # ASSIGN : s_9_8 584 # ASSIGN : s_9_9 255 SHOW_RESULT 633 END : 633 (0 seconds) [Mon Jun 19 12:46:34 2006] SHOW_RESULT 633 CPU : 0.159999999999997 = 0.159999999999997 + 0 + 0 + 0 # BOUND : makespan 616 633 MODIFY_CNF 624 BEGIN : [Mon Jun 19 12:46:34 2006] MODIFY_CNF 624 END : 35183270 bytes (0 seconds) [Mon Jun 19 12:46:34 2006] MODIFY_CNF 624 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 624 BEGIN : [Mon Jun 19 12:46:34 2006] CMD : minisat /tmp/csp2sat29991.cnf /tmp/csp2sat29991.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1151283 3365372 | 383761 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 96 (34 /sec) decisions : 524 (188 /sec) propagations : 428143 (153456 /sec) conflict literals : 4464 (5.66 % deleted) Memory used : 70.31 MB CPU time : 2.79 s SATISFIABLE VERIFY_CNF 624 END : (3 seconds) [Mon Jun 19 12:46:37 2006] VERIFY_CNF 624 CPU : 3.01 = 0 + 0 + 2.84 + 0.17 # RESULT : makespan 624 SATISFIABLE SHOW_RESULT 624 BEGIN : [Mon Jun 19 12:46:37 2006] # ASSIGN : makespan 624 # ASSIGN : s_0_0 527 # ASSIGN : s_0_1 362 # ASSIGN : s_0_2 292 # ASSIGN : s_0_3 177 # ASSIGN : s_0_4 443 # ASSIGN : s_0_5 67 # ASSIGN : s_0_6 105 # ASSIGN : s_0_7 29 # ASSIGN : s_0_8 85 # ASSIGN : s_0_9 4 # ASSIGN : s_1_0 416 # ASSIGN : s_1_1 473 # ASSIGN : s_1_2 390 # ASSIGN : s_1_3 406 # ASSIGN : s_1_4 546 # ASSIGN : s_1_5 270 # ASSIGN : s_1_6 291 # ASSIGN : s_1_7 43 # ASSIGN : s_1_8 141 # ASSIGN : s_1_9 23 # ASSIGN : s_2_0 468 # ASSIGN : s_2_1 0 # ASSIGN : s_2_2 579 # ASSIGN : s_2_3 303 # ASSIGN : s_2_4 282 # ASSIGN : s_2_5 540 # ASSIGN : s_2_6 391 # ASSIGN : s_2_7 172 # ASSIGN : s_2_8 205 # ASSIGN : s_2_9 82 # ASSIGN : s_3_0 1 # ASSIGN : s_3_1 560 # ASSIGN : s_3_2 461 # ASSIGN : s_3_3 93 # ASSIGN : s_3_4 329 # ASSIGN : s_3_5 506 # ASSIGN : s_3_6 354 # ASSIGN : s_3_7 541 # ASSIGN : s_3_8 273 # ASSIGN : s_3_9 170 # ASSIGN : s_4_0 186 # ASSIGN : s_4_1 249 # ASSIGN : s_4_2 521 # ASSIGN : s_4_3 416 # ASSIGN : s_4_4 74 # ASSIGN : s_4_5 475 # ASSIGN : s_4_6 8 # ASSIGN : s_4_7 563 # ASSIGN : s_4_8 339 # ASSIGN : s_4_9 173 # ASSIGN : s_5_0 339 # ASSIGN : s_5_1 77 # ASSIGN : s_5_2 487 # ASSIGN : s_5_3 241 # ASSIGN : s_5_4 3 # ASSIGN : s_5_5 435 # ASSIGN : s_5_6 586 # ASSIGN : s_5_7 301 # ASSIGN : s_5_8 418 # ASSIGN : s_5_9 176 # ASSIGN : s_6_0 42 # ASSIGN : s_6_1 339 # ASSIGN : s_6_2 118 # ASSIGN : s_6_3 505 # ASSIGN : s_6_4 2 # ASSIGN : s_6_5 361 # ASSIGN : s_6_6 622 # ASSIGN : s_6_7 202 # ASSIGN : s_6_8 431 # ASSIGN : s_6_9 274 # ASSIGN : s_7_0 98 # ASSIGN : s_7_1 444 # ASSIGN : s_7_2 574 # ASSIGN : s_7_3 464 # ASSIGN : s_7_4 136 # ASSIGN : s_7_5 576 # ASSIGN : s_7_6 214 # ASSIGN : s_7_7 263 # ASSIGN : s_7_8 502 # ASSIGN : s_7_9 319 # ASSIGN : s_8_0 103 # ASSIGN : s_8_1 516 # ASSIGN : s_8_2 11 # ASSIGN : s_8_3 594 # ASSIGN : s_8_4 189 # ASSIGN : s_8_5 281 # ASSIGN : s_8_6 551 # ASSIGN : s_8_7 351 # ASSIGN : s_8_8 573 # ASSIGN : s_8_9 416 # ASSIGN : s_9_0 256 # ASSIGN : s_9_1 180 # ASSIGN : s_9_2 234 # ASSIGN : s_9_3 14 # ASSIGN : s_9_4 348 # ASSIGN : s_9_5 85 # ASSIGN : s_9_6 345 # ASSIGN : s_9_7 422 # ASSIGN : s_9_8 597 # ASSIGN : s_9_9 515 SHOW_RESULT 624 END : 624 (0 seconds) [Mon Jun 19 12:46:37 2006] SHOW_RESULT 624 CPU : 0.159999999999997 = 0.159999999999997 + 0 + 0 + 0 # BOUND : makespan 616 624 MODIFY_CNF 620 BEGIN : [Mon Jun 19 12:46:37 2006] MODIFY_CNF 620 END : 35183269 bytes (0 seconds) [Mon Jun 19 12:46:37 2006] MODIFY_CNF 620 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 620 BEGIN : [Mon Jun 19 12:46:37 2006] CMD : minisat /tmp/csp2sat29991.cnf /tmp/csp2sat29991.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1144083 3343772 | 381361 0 0 nan | 0.000 % | | 100 | 1144083 3343772 | 419497 100 4610 46.1 | 36.454 % | ============================================================================== restarts : 2 conflicts : 174 (58 /sec) decisions : 742 (246 /sec) propagations : 623995 (206621 /sec) conflict literals : 5783 (3.12 % deleted) Memory used : 70.34 MB CPU time : 3.02 s SATISFIABLE VERIFY_CNF 620 END : (4 seconds) [Mon Jun 19 12:46:41 2006] VERIFY_CNF 620 CPU : 3.26 = 0 + 0.01 + 3.07 + 0.18 # RESULT : makespan 620 SATISFIABLE SHOW_RESULT 620 BEGIN : [Mon Jun 19 12:46:41 2006] # ASSIGN : makespan 620 # ASSIGN : s_0_0 3 # ASSIGN : s_0_1 383 # ASSIGN : s_0_2 281 # ASSIGN : s_0_3 111 # ASSIGN : s_0_4 464 # ASSIGN : s_0_5 263 # ASSIGN : s_0_6 548 # ASSIGN : s_0_7 249 # ASSIGN : s_0_8 188 # ASSIGN : s_0_9 351 # ASSIGN : s_1_0 349 # ASSIGN : s_1_1 11 # ASSIGN : s_1_2 471 # ASSIGN : s_1_3 101 # ASSIGN : s_1_4 249 # ASSIGN : s_1_5 487 # ASSIGN : s_1_6 417 # ASSIGN : s_1_7 522 # ASSIGN : s_1_8 124 # ASSIGN : s_1_9 498 # ASSIGN : s_2_0 561 # ASSIGN : s_2_1 306 # ASSIGN : s_2_2 152 # ASSIGN : s_2_3 383 # ASSIGN : s_2_4 90 # ASSIGN : s_2_5 116 # ASSIGN : s_2_6 471 # ASSIGN : s_2_7 276 # ASSIGN : s_2_8 208 # ASSIGN : s_2_9 2 # ASSIGN : s_3_0 100 # ASSIGN : s_3_1 556 # ASSIGN : s_3_2 530 # ASSIGN : s_3_3 175 # ASSIGN : s_3_4 71 # ASSIGN : s_3_5 410 # ASSIGN : s_3_6 34 # ASSIGN : s_3_7 4 # ASSIGN : s_3_8 305 # ASSIGN : s_3_9 518 # ASSIGN : s_4_0 286 # ASSIGN : s_4_1 466 # ASSIGN : s_4_2 110 # ASSIGN : s_4_3 31 # ASSIGN : s_4_4 557 # ASSIGN : s_4_5 79 # ASSIGN : s_4_6 220 # ASSIGN : s_4_7 159 # ASSIGN : s_4_8 361 # ASSIGN : s_4_9 463 # ASSIGN : s_5_0 484 # ASSIGN : s_5_1 207 # ASSIGN : s_5_2 71 # ASSIGN : s_5_3 323 # ASSIGN : s_5_4 0 # ASSIGN : s_5_5 444 # ASSIGN : s_5_6 171 # ASSIGN : s_5_7 406 # ASSIGN : s_5_8 580 # ASSIGN : s_5_9 105 # ASSIGN : s_6_0 141 # ASSIGN : s_6_1 94 # ASSIGN : s_6_2 197 # ASSIGN : s_6_3 530 # ASSIGN : s_6_4 619 # ASSIGN : s_6_5 9 # ASSIGN : s_6_6 415 # ASSIGN : s_6_7 309 # ASSIGN : s_6_8 438 # ASSIGN : s_6_9 370 # ASSIGN : s_7_0 198 # ASSIGN : s_7_1 178 # ASSIGN : s_7_2 618 # ASSIGN : s_7_3 471 # ASSIGN : s_7_4 411 # ASSIGN : s_7_5 206 # ASSIGN : s_7_6 362 # ASSIGN : s_7_7 121 # ASSIGN : s_7_8 509 # ASSIGN : s_7_9 254 # ASSIGN : s_8_0 203 # ASSIGN : s_8_1 54 # ASSIGN : s_8_2 364 # ASSIGN : s_8_3 1 # ASSIGN : s_8_4 111 # ASSIGN : s_8_5 294 # ASSIGN : s_8_6 89 # ASSIGN : s_8_7 456 # ASSIGN : s_8_8 33 # ASSIGN : s_8_9 521 # ASSIGN : s_9_0 401 # ASSIGN : s_9_1 116 # ASSIGN : s_9_2 1 # ASSIGN : s_9_3 252 # ASSIGN : s_9_4 327 # ASSIGN : s_9_5 498 # ASSIGN : s_9_6 324 # ASSIGN : s_9_7 23 # ASSIGN : s_9_8 593 # ASSIGN : s_9_9 170 SHOW_RESULT 620 END : 620 (0 seconds) [Mon Jun 19 12:46:41 2006] SHOW_RESULT 620 CPU : 0.159999999999997 = 0.159999999999997 + 0 + 0 + 0 # BOUND : makespan 616 620 MODIFY_CNF 618 BEGIN : [Mon Jun 19 12:46:41 2006] MODIFY_CNF 618 END : 35183269 bytes (0 seconds) [Mon Jun 19 12:46:41 2006] MODIFY_CNF 618 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 618 BEGIN : [Mon Jun 19 12:46:41 2006] CMD : minisat /tmp/csp2sat29991.cnf /tmp/csp2sat29991.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1140483 3332972 | 380161 0 0 nan | 0.000 % | | 100 | 1140483 3332972 | 418177 100 3700 37.0 | 36.673 % | ============================================================================== restarts : 2 conflicts : 114 (42 /sec) decisions : 589 (216 /sec) propagations : 479995 (175822 /sec) conflict literals : 3834 (5.33 % deleted) Memory used : 70.34 MB CPU time : 2.73 s SATISFIABLE VERIFY_CNF 618 END : (3 seconds) [Mon Jun 19 12:46:44 2006] VERIFY_CNF 618 CPU : 3.04 = 0 + 0 + 2.78 + 0.26 # RESULT : makespan 618 SATISFIABLE SHOW_RESULT 618 BEGIN : [Mon Jun 19 12:46:44 2006] # ASSIGN : makespan 618 # ASSIGN : s_0_0 324 # ASSIGN : s_0_1 137 # ASSIGN : s_0_2 254 # ASSIGN : s_0_3 71 # ASSIGN : s_0_4 534 # ASSIGN : s_0_5 53 # ASSIGN : s_0_6 424 # ASSIGN : s_0_7 520 # ASSIGN : s_0_8 500 # ASSIGN : s_0_9 235 # ASSIGN : s_1_0 126 # ASSIGN : s_1_1 575 # ASSIGN : s_1_2 557 # ASSIGN : s_1_3 422 # ASSIGN : s_1_4 451 # ASSIGN : s_1_5 440 # ASSIGN : s_1_6 219 # ASSIGN : s_1_7 21 # ASSIGN : s_1_8 273 # ASSIGN : s_1_9 529 # ASSIGN : s_2_0 421 # ASSIGN : s_2_1 342 # ASSIGN : s_2_2 573 # ASSIGN : s_2_3 233 # ASSIGN : s_2_4 321 # ASSIGN : s_2_5 197 # ASSIGN : s_2_6 496 # ASSIGN : s_2_7 157 # ASSIGN : s_2_8 89 # ASSIGN : s_2_9 0 # ASSIGN : s_3_0 85 # ASSIGN : s_3_1 19 # ASSIGN : s_3_2 372 # ASSIGN : s_3_3 432 # ASSIGN : s_3_4 283 # ASSIGN : s_3_5 398 # ASSIGN : s_3_6 302 # ASSIGN : s_3_7 538 # ASSIGN : s_3_8 158 # ASSIGN : s_3_9 275 # ASSIGN : s_4_0 178 # ASSIGN : s_4_1 419 # ASSIGN : s_4_2 136 # ASSIGN : s_4_3 509 # ASSIGN : s_4_4 74 # ASSIGN : s_4_5 241 # ASSIGN : s_4_6 8 # ASSIGN : s_4_7 557 # ASSIGN : s_4_8 337 # ASSIGN : s_4_9 272 # ASSIGN : s_5_0 541 # ASSIGN : s_5_1 240 # ASSIGN : s_5_2 85 # ASSIGN : s_5_3 173 # ASSIGN : s_5_4 3 # ASSIGN : s_5_5 483 # ASSIGN : s_5_6 339 # ASSIGN : s_5_7 119 # ASSIGN : s_5_8 528 # ASSIGN : s_5_9 376 # ASSIGN : s_6_0 485 # ASSIGN : s_6_1 218 # ASSIGN : s_6_2 1 # ASSIGN : s_6_3 325 # ASSIGN : s_6_4 0 # ASSIGN : s_6_5 127 # ASSIGN : s_6_6 594 # ASSIGN : s_6_7 264 # ASSIGN : s_6_8 414 # ASSIGN : s_6_9 549 # ASSIGN : s_7_0 480 # ASSIGN : s_7_1 511 # ASSIGN : s_7_2 545 # ASSIGN : s_7_3 135 # ASSIGN : s_7_4 225 # ASSIGN : s_7_5 79 # ASSIGN : s_7_6 375 # ASSIGN : s_7_7 442 # ASSIGN : s_7_8 547 # ASSIGN : s_7_9 278 # ASSIGN : s_8_0 2 # ASSIGN : s_8_1 531 # ASSIGN : s_8_2 439 # ASSIGN : s_8_3 566 # ASSIGN : s_8_4 347 # ASSIGN : s_8_5 277 # ASSIGN : s_8_6 596 # ASSIGN : s_8_7 187 # ASSIGN : s_8_8 252 # ASSIGN : s_8_9 88 # ASSIGN : s_9_0 241 # ASSIGN : s_9_1 83 # ASSIGN : s_9_2 326 # ASSIGN : s_9_3 0 # ASSIGN : s_9_4 137 # ASSIGN : s_9_5 523 # ASSIGN : s_9_6 211 # ASSIGN : s_9_7 348 # ASSIGN : s_9_8 214 # ASSIGN : s_9_9 441 SHOW_RESULT 618 END : 618 (0 seconds) [Mon Jun 19 12:46:44 2006] SHOW_RESULT 618 CPU : 0.169999999999996 = 0.159999999999997 + 0.0099999999999999 + 0 + 0 # BOUND : makespan 616 618 MODIFY_CNF 617 BEGIN : [Mon Jun 19 12:46:44 2006] MODIFY_CNF 617 END : 35183269 bytes (0 seconds) [Mon Jun 19 12:46:44 2006] MODIFY_CNF 617 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 617 BEGIN : [Mon Jun 19 12:46:44 2006] CMD : minisat /tmp/csp2sat29991.cnf /tmp/csp2sat29991.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1138683 3327572 | 379561 0 0 nan | 0.000 % | | 100 | 1138683 3327572 | 417517 100 4773 47.7 | 36.783 % | | 250 | 1138683 3327572 | 459268 250 9225 36.9 | 36.783 % | | 477 | 1138683 3327572 | 505195 477 12591 26.4 | 36.783 % | ============================================================================== restarts : 4 conflicts : 481 (125 /sec) decisions : 1377 (359 /sec) propagations : 1151429 (299851 /sec) conflict literals : 12608 (8.19 % deleted) Memory used : 70.34 MB CPU time : 3.84 s SATISFIABLE VERIFY_CNF 617 END : (4 seconds) [Mon Jun 19 12:46:48 2006] VERIFY_CNF 617 CPU : 4 = 0 + 0 + 3.88 + 0.12 # RESULT : makespan 617 SATISFIABLE SHOW_RESULT 617 BEGIN : [Mon Jun 19 12:46:48 2006] # ASSIGN : makespan 617 # ASSIGN : s_0_0 133 # ASSIGN : s_0_1 25 # ASSIGN : s_0_2 374 # ASSIGN : s_0_3 444 # ASSIGN : s_0_4 270 # ASSIGN : s_0_5 252 # ASSIGN : s_0_6 531 # ASSIGN : s_0_7 603 # ASSIGN : s_0_8 354 # ASSIGN : s_0_9 6 # ASSIGN : s_1_0 319 # ASSIGN : s_1_1 539 # ASSIGN : s_1_2 225 # ASSIGN : s_1_3 19 # ASSIGN : s_1_4 121 # ASSIGN : s_1_5 241 # ASSIGN : s_1_6 67 # ASSIGN : s_1_7 395 # ASSIGN : s_1_8 254 # ASSIGN : s_1_9 597 # ASSIGN : s_2_0 371 # ASSIGN : s_2_1 170 # ASSIGN : s_2_2 22 # ASSIGN : s_2_3 247 # ASSIGN : s_2_4 596 # ASSIGN : s_2_5 335 # ASSIGN : s_2_6 431 # ASSIGN : s_2_7 67 # ASSIGN : s_2_8 97 # ASSIGN : s_2_9 508 # ASSIGN : s_3_0 513 # ASSIGN : s_3_1 106 # ASSIGN : s_3_2 314 # ASSIGN : s_3_3 29 # ASSIGN : s_3_4 10 # ASSIGN : s_3_5 471 # ASSIGN : s_3_6 394 # ASSIGN : s_3_7 375 # ASSIGN : s_3_8 561 # ASSIGN : s_3_9 505 # ASSIGN : s_4_0 554 # ASSIGN : s_4_1 350 # ASSIGN : s_4_2 242 # ASSIGN : s_4_3 110 # ASSIGN : s_4_4 48 # ASSIGN : s_4_5 440 # ASSIGN : s_4_6 284 # ASSIGN : s_4_7 493 # ASSIGN : s_4_8 165 # ASSIGN : s_4_9 490 # ASSIGN : s_5_0 56 # ASSIGN : s_5_1 440 # ASSIGN : s_5_2 340 # ASSIGN : s_5_3 380 # ASSIGN : s_5_4 199 # ASSIGN : s_5_5 295 # ASSIGN : s_5_6 20 # ASSIGN : s_5_7 565 # ASSIGN : s_5_8 548 # ASSIGN : s_5_9 134 # ASSIGN : s_6_0 0 # ASSIGN : s_6_1 252 # ASSIGN : s_6_2 461 # ASSIGN : s_6_3 158 # ASSIGN : s_6_4 355 # ASSIGN : s_6_5 545 # ASSIGN : s_6_6 615 # ASSIGN : s_6_7 294 # ASSIGN : s_6_8 390 # ASSIGN : s_6_9 89 # ASSIGN : s_7_0 230 # ASSIGN : s_7_1 274 # ASSIGN : s_7_2 615 # ASSIGN : s_7_3 508 # ASSIGN : s_7_4 437 # ASSIGN : s_7_5 117 # ASSIGN : s_7_6 181 # ASSIGN : s_7_7 236 # ASSIGN : s_7_8 26 # ASSIGN : s_7_9 294 # ASSIGN : s_8_0 235 # ASSIGN : s_8_1 582 # ASSIGN : s_8_2 73 # ASSIGN : s_8_3 339 # ASSIGN : s_8_4 490 # ASSIGN : s_8_5 165 # ASSIGN : s_8_6 369 # ASSIGN : s_8_7 2 # ASSIGN : s_8_8 318 # ASSIGN : s_8_9 391 # ASSIGN : s_9_0 430 # ASSIGN : s_9_1 296 # ASSIGN : s_9_2 0 # ASSIGN : s_9_3 546 # ASSIGN : s_9_4 356 # ASSIGN : s_9_5 22 # ASSIGN : s_9_6 516 # ASSIGN : s_9_7 119 # ASSIGN : s_9_8 519 # ASSIGN : s_9_9 212 SHOW_RESULT 617 END : 617 (0 seconds) [Mon Jun 19 12:46:48 2006] SHOW_RESULT 617 CPU : 0.170000000000011 = 0.160000000000011 + 0.01 + 0 + 0 # BOUND : makespan 616 617 MODIFY_CNF 616 BEGIN : [Mon Jun 19 12:46:48 2006] MODIFY_CNF 616 END : 35183269 bytes (0 seconds) [Mon Jun 19 12:46:48 2006] MODIFY_CNF 616 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 616 BEGIN : [Mon Jun 19 12:46:48 2006] CMD : minisat /tmp/csp2sat29991.cnf /tmp/csp2sat29991.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1136884 3322172 | 378961 0 0 nan | 0.000 % | | 100 | 1136884 3322172 | 416857 100 5268 52.7 | 36.892 % | ============================================================================== restarts : 2 conflicts : 148 (48 /sec) decisions : 703 (227 /sec) propagations : 636170 (205216 /sec) conflict literals : 6068 (7.71 % deleted) Memory used : 70.34 MB CPU time : 3.1 s SATISFIABLE VERIFY_CNF 616 END : (3 seconds) [Mon Jun 19 12:46:51 2006] VERIFY_CNF 616 CPU : 3.34 = 0 + 0 + 3.13 + 0.21 # RESULT : makespan 616 SATISFIABLE SHOW_RESULT 616 BEGIN : [Mon Jun 19 12:46:51 2006] # ASSIGN : makespan 616 # ASSIGN : s_0_0 59 # ASSIGN : s_0_1 422 # ASSIGN : s_0_2 527 # ASSIGN : s_0_3 312 # ASSIGN : s_0_4 156 # ASSIGN : s_0_5 503 # ASSIGN : s_0_6 240 # ASSIGN : s_0_7 25 # ASSIGN : s_0_8 39 # ASSIGN : s_0_9 597 # ASSIGN : s_1_0 233 # ASSIGN : s_1_1 379 # ASSIGN : s_1_2 497 # ASSIGN : s_1_3 606 # ASSIGN : s_1_4 16 # ASSIGN : s_1_5 368 # ASSIGN : s_1_6 433 # ASSIGN : s_1_7 99 # ASSIGN : s_1_8 513 # ASSIGN : s_1_9 577 # ASSIGN : s_2_0 0 # ASSIGN : s_2_1 504 # ASSIGN : s_2_2 332 # ASSIGN : s_2_3 223 # ASSIGN : s_2_4 311 # ASSIGN : s_2_5 467 # ASSIGN : s_2_6 69 # ASSIGN : s_2_7 586 # ASSIGN : s_2_8 146 # ASSIGN : s_2_9 377 # ASSIGN : s_3_0 512 # ASSIGN : s_3_1 173 # ASSIGN : s_3_2 467 # ASSIGN : s_3_3 77 # ASSIGN : s_3_4 428 # ASSIGN : s_3_5 383 # ASSIGN : s_3_6 346 # ASSIGN : s_3_7 493 # ASSIGN : s_3_8 290 # ASSIGN : s_3_9 264 # ASSIGN : s_4_0 553 # ASSIGN : s_4_1 259 # ASSIGN : s_4_2 51 # ASSIGN : s_4_3 3 # ASSIGN : s_4_4 94 # ASSIGN : s_4_5 228 # ASSIGN : s_4_6 487 # ASSIGN : s_4_7 426 # ASSIGN : s_4_8 349 # ASSIGN : s_4_9 225 # ASSIGN : s_5_0 156 # ASSIGN : s_5_1 57 # ASSIGN : s_5_2 17 # ASSIGN : s_5_3 457 # ASSIGN : s_5_4 240 # ASSIGN : s_5_5 417 # ASSIGN : s_5_6 577 # ASSIGN : s_5_7 379 # ASSIGN : s_5_8 4 # ASSIGN : s_5_9 312 # ASSIGN : s_6_0 373 # ASSIGN : s_6_1 237 # ASSIGN : s_6_2 138 # ASSIGN : s_6_3 517 # ASSIGN : s_6_4 615 # ASSIGN : s_6_5 52 # ASSIGN : s_6_6 613 # ASSIGN : s_6_7 312 # ASSIGN : s_6_8 442 # ASSIGN : s_6_9 267 # ASSIGN : s_7_0 285 # ASSIGN : s_7_1 359 # ASSIGN : s_7_2 463 # ASSIGN : s_7_3 154 # ASSIGN : s_7_4 562 # ASSIGN : s_7_5 311 # ASSIGN : s_7_6 12 # ASSIGN : s_7_7 61 # ASSIGN : s_7_8 214 # ASSIGN : s_7_9 465 # ASSIGN : s_8_0 429 # ASSIGN : s_8_1 581 # ASSIGN : s_8_2 222 # ASSIGN : s_8_3 192 # ASSIGN : s_8_4 336 # ASSIGN : s_8_5 122 # ASSIGN : s_8_6 314 # ASSIGN : s_8_7 516 # ASSIGN : s_8_8 101 # ASSIGN : s_8_9 2 # ASSIGN : s_9_0 290 # ASSIGN : s_9_1 3 # ASSIGN : s_9_2 93 # ASSIGN : s_9_3 376 # ASSIGN : s_9_4 447 # ASSIGN : s_9_5 521 # ASSIGN : s_9_6 63 # ASSIGN : s_9_7 197 # ASSIGN : s_9_8 66 # ASSIGN : s_9_9 115 SHOW_RESULT 616 END : 616 (1 seconds) [Mon Jun 19 12:46:52 2006] SHOW_RESULT 616 CPU : 0.159999999999997 = 0.159999999999997 + 0 + 0 + 0 # BOUND : makespan 616 616 MAIN END : (105 seconds) [Mon Jun 19 12:46:52 2006] MAIN CPU : 103 = 74.27 + 0.7 + 26.09 + 1.94