# TIMEOUT 18000 MAIN BEGIN : [Mon Jun 19 12:41:55 2006] READ BEGIN : csp/tai_10x10_5.csp [Mon Jun 19 12:41:55 2006] READ END : csp/tai_10x10_5.csp (2 seconds) [Mon Jun 19 12:41:57 2006] READ CPU : 1.86 = 1.84 + 0.02 + 0 + 0 # BOUND : makespan 640 916 GENERATE_CNF 916 BEGIN : [Mon Jun 19 12:41:57 2006] GENERATE_CNF 916 END : 93978 variables 1677177 clauses 35794780 bytes (65 seconds) [Mon Jun 19 12:43:02 2006] GENERATE_CNF 916 CPU : 64.63 = 64.28 + 0.35 + 0 + 0 MODIFY_CNF 778 BEGIN : [Mon Jun 19 12:43:02 2006] MODIFY_CNF 778 END : 35794786 bytes (0 seconds) [Mon Jun 19 12:43:02 2006] MODIFY_CNF 778 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 778 BEGIN : [Mon Jun 19 12:43:02 2006] CMD : minisat /tmp/csp2sat29895.cnf /tmp/csp2sat29895.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1426272 4188646 | 475424 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 90 (33 /sec) decisions : 655 (237 /sec) propagations : 474994 (172099 /sec) conflict literals : 3357 (9.49 % deleted) Memory used : 71.65 MB CPU time : 2.76 s SATISFIABLE VERIFY_CNF 778 END : (3 seconds) [Mon Jun 19 12:43:05 2006] VERIFY_CNF 778 CPU : 2.96 = 0 + 0 + 2.81 + 0.15 # RESULT : makespan 778 SATISFIABLE SHOW_RESULT 778 BEGIN : [Mon Jun 19 12:43:05 2006] # ASSIGN : makespan 778 # ASSIGN : s_0_0 476 # ASSIGN : s_0_1 726 # ASSIGN : s_0_2 627 # ASSIGN : s_0_3 253 # ASSIGN : s_0_4 401 # ASSIGN : s_0_5 694 # ASSIGN : s_0_6 153 # ASSIGN : s_0_7 61 # ASSIGN : s_0_8 87 # ASSIGN : s_0_9 7 # ASSIGN : s_1_0 652 # ASSIGN : s_1_1 4 # ASSIGN : s_1_2 735 # ASSIGN : s_1_3 492 # ASSIGN : s_1_4 773 # ASSIGN : s_1_5 759 # ASSIGN : s_1_6 216 # ASSIGN : s_1_7 100 # ASSIGN : s_1_8 296 # ASSIGN : s_1_9 17 # ASSIGN : s_2_0 586 # ASSIGN : s_2_1 652 # ASSIGN : s_2_2 417 # ASSIGN : s_2_3 459 # ASSIGN : s_2_4 692 # ASSIGN : s_2_5 3 # ASSIGN : s_2_6 221 # ASSIGN : s_2_7 128 # ASSIGN : s_2_8 309 # ASSIGN : s_2_9 43 # ASSIGN : s_3_0 499 # ASSIGN : s_3_1 5 # ASSIGN : s_3_2 339 # ASSIGN : s_3_3 725 # ASSIGN : s_3_4 613 # ASSIGN : s_3_5 53 # ASSIGN : s_3_6 305 # ASSIGN : s_3_7 236 # ASSIGN : s_3_8 385 # ASSIGN : s_3_9 172 # ASSIGN : s_4_0 721 # ASSIGN : s_4_1 704 # ASSIGN : s_4_2 28 # ASSIGN : s_4_3 649 # ASSIGN : s_4_4 590 # ASSIGN : s_4_5 126 # ASSIGN : s_4_6 336 # ASSIGN : s_4_7 364 # ASSIGN : s_4_8 480 # ASSIGN : s_4_9 220 # ASSIGN : s_5_0 70 # ASSIGN : s_5_1 176 # ASSIGN : s_5_2 655 # ASSIGN : s_5_3 103 # ASSIGN : s_5_4 528 # ASSIGN : s_5_5 220 # ASSIGN : s_5_6 351 # ASSIGN : s_5_7 450 # ASSIGN : s_5_8 569 # ASSIGN : s_5_9 307 # ASSIGN : s_6_0 109 # ASSIGN : s_6_1 544 # ASSIGN : s_6_2 227 # ASSIGN : s_6_3 9 # ASSIGN : s_6_4 511 # ASSIGN : s_6_5 305 # ASSIGN : s_6_6 432 # ASSIGN : s_6_7 534 # ASSIGN : s_6_8 640 # ASSIGN : s_6_9 374 # ASSIGN : s_7_0 272 # ASSIGN : s_7_1 68 # ASSIGN : s_7_2 132 # ASSIGN : s_7_3 614 # ASSIGN : s_7_4 306 # ASSIGN : s_7_5 404 # ASSIGN : s_7_6 502 # ASSIGN : s_7_7 547 # ASSIGN : s_7_8 713 # ASSIGN : s_7_9 394 # ASSIGN : s_8_0 200 # ASSIGN : s_8_1 254 # ASSIGN : s_8_2 704 # ASSIGN : s_8_3 329 # ASSIGN : s_8_4 287 # ASSIGN : s_8_5 500 # ASSIGN : s_8_6 517 # ASSIGN : s_8_7 603 # ASSIGN : s_8_8 723 # ASSIGN : s_8_9 423 # ASSIGN : s_9_0 410 # ASSIGN : s_9_1 442 # ASSIGN : s_9_2 514 # ASSIGN : s_9_3 588 # ASSIGN : s_9_4 206 # ASSIGN : s_9_5 659 # ASSIGN : s_9_6 686 # ASSIGN : s_9_7 701 # ASSIGN : s_9_8 774 # ASSIGN : s_9_9 612 SHOW_RESULT 778 END : 778 (0 seconds) [Mon Jun 19 12:43:05 2006] SHOW_RESULT 778 CPU : 0.169999999999987 = 0.169999999999987 + 0 + 0 + 0 # BOUND : makespan 640 778 MODIFY_CNF 709 BEGIN : [Mon Jun 19 12:43:05 2006] MODIFY_CNF 709 END : 35794785 bytes (0 seconds) [Mon Jun 19 12:43:05 2006] MODIFY_CNF 709 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 709 BEGIN : [Mon Jun 19 12:43:05 2006] CMD : minisat /tmp/csp2sat29895.cnf /tmp/csp2sat29895.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1302072 3816046 | 434024 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 93 (39 /sec) decisions : 580 (242 /sec) propagations : 255629 (106512 /sec) conflict literals : 1883 (3.98 % deleted) Memory used : 71.65 MB CPU time : 2.4 s SATISFIABLE VERIFY_CNF 709 END : (3 seconds) [Mon Jun 19 12:43:08 2006] VERIFY_CNF 709 CPU : 2.72 = 0 + 0.01 + 2.44 + 0.27 # RESULT : makespan 709 SATISFIABLE SHOW_RESULT 709 BEGIN : [Mon Jun 19 12:43:08 2006] # ASSIGN : makespan 709 # ASSIGN : s_0_0 204 # ASSIGN : s_0_1 609 # ASSIGN : s_0_2 272 # ASSIGN : s_0_3 527 # ASSIGN : s_0_4 344 # ASSIGN : s_0_5 485 # ASSIGN : s_0_6 23 # ASSIGN : s_0_7 98 # ASSIGN : s_0_8 138 # ASSIGN : s_0_9 3 # ASSIGN : s_1_0 259 # ASSIGN : s_1_1 0 # ASSIGN : s_1_2 400 # ASSIGN : s_1_3 431 # ASSIGN : s_1_4 623 # ASSIGN : s_1_5 328 # ASSIGN : s_1_6 86 # ASSIGN : s_1_7 58 # ASSIGN : s_1_8 204 # ASSIGN : s_1_9 13 # ASSIGN : s_2_0 432 # ASSIGN : s_2_1 504 # ASSIGN : s_2_2 300 # ASSIGN : s_2_3 398 # ASSIGN : s_2_4 628 # ASSIGN : s_2_5 342 # ASSIGN : s_2_6 544 # ASSIGN : s_2_7 124 # ASSIGN : s_2_8 217 # ASSIGN : s_2_9 39 # ASSIGN : s_3_0 498 # ASSIGN : s_3_1 661 # ASSIGN : s_3_2 178 # ASSIGN : s_3_3 73 # ASSIGN : s_3_4 419 # ASSIGN : s_3_5 0 # ASSIGN : s_3_6 388 # ASSIGN : s_3_7 224 # ASSIGN : s_3_8 293 # ASSIGN : s_3_9 128 # ASSIGN : s_4_0 619 # ASSIGN : s_4_1 1 # ASSIGN : s_4_2 498 # ASSIGN : s_4_3 18 # ASSIGN : s_4_4 596 # ASSIGN : s_4_5 76 # ASSIGN : s_4_6 694 # ASSIGN : s_4_7 304 # ASSIGN : s_4_8 395 # ASSIGN : s_4_9 176 # ASSIGN : s_5_0 676 # ASSIGN : s_5_1 77 # ASSIGN : s_5_2 121 # ASSIGN : s_5_3 603 # ASSIGN : s_5_4 555 # ASSIGN : s_5_5 170 # ASSIGN : s_5_6 307 # ASSIGN : s_5_7 390 # ASSIGN : s_5_8 484 # ASSIGN : s_5_9 263 # ASSIGN : s_6_0 0 # ASSIGN : s_6_1 372 # ASSIGN : s_6_2 631 # ASSIGN : s_6_3 161 # ASSIGN : s_6_4 538 # ASSIGN : s_6_5 255 # ASSIGN : s_6_6 91 # ASSIGN : s_6_7 468 # ASSIGN : s_6_8 558 # ASSIGN : s_6_9 324 # ASSIGN : s_7_0 585 # ASSIGN : s_7_1 280 # ASSIGN : s_7_2 26 # ASSIGN : s_7_3 126 # ASSIGN : s_7_4 175 # ASSIGN : s_7_5 382 # ASSIGN : s_7_6 265 # ASSIGN : s_7_7 478 # ASSIGN : s_7_8 644 # ASSIGN : s_7_9 344 # ASSIGN : s_8_0 102 # ASSIGN : s_8_1 208 # ASSIGN : s_8_2 241 # ASSIGN : s_8_3 260 # ASSIGN : s_8_4 156 # ASSIGN : s_8_5 517 # ASSIGN : s_8_6 431 # ASSIGN : s_8_7 534 # ASSIGN : s_8_8 654 # ASSIGN : s_8_9 354 # ASSIGN : s_9_0 227 # ASSIGN : s_9_1 136 # ASSIGN : s_9_2 424 # ASSIGN : s_9_3 374 # ASSIGN : s_9_4 263 # ASSIGN : s_9_5 558 # ASSIGN : s_9_6 529 # ASSIGN : s_9_7 632 # ASSIGN : s_9_8 705 # ASSIGN : s_9_9 585 SHOW_RESULT 709 END : 709 (0 seconds) [Mon Jun 19 12:43:08 2006] SHOW_RESULT 709 CPU : 0.170000000000006 = 0.150000000000006 + 0.02 + 0 + 0 # BOUND : makespan 640 709 MODIFY_CNF 674 BEGIN : [Mon Jun 19 12:43:08 2006] MODIFY_CNF 674 END : 35794785 bytes (0 seconds) [Mon Jun 19 12:43:08 2006] MODIFY_CNF 674 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 674 BEGIN : [Mon Jun 19 12:43:08 2006] CMD : minisat /tmp/csp2sat29895.cnf /tmp/csp2sat29895.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1239072 3627046 | 413024 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 28 (12 /sec) decisions : 355 (148 /sec) propagations : 161474 (67281 /sec) conflict literals : 471 (2.28 % deleted) Memory used : 71.65 MB CPU time : 2.4 s SATISFIABLE VERIFY_CNF 674 END : (2 seconds) [Mon Jun 19 12:43:10 2006] VERIFY_CNF 674 CPU : 2.62 = 0 + 0 + 2.45 + 0.17 # RESULT : makespan 674 SATISFIABLE SHOW_RESULT 674 BEGIN : [Mon Jun 19 12:43:10 2006] # ASSIGN : makespan 674 # ASSIGN : s_0_0 265 # ASSIGN : s_0_1 559 # ASSIGN : s_0_2 125 # ASSIGN : s_0_3 182 # ASSIGN : s_0_4 397 # ASSIGN : s_0_5 10 # ASSIGN : s_0_6 611 # ASSIGN : s_0_7 524 # ASSIGN : s_0_8 42 # ASSIGN : s_0_9 153 # ASSIGN : s_1_0 189 # ASSIGN : s_1_1 512 # ASSIGN : s_1_2 363 # ASSIGN : s_1_3 258 # ASSIGN : s_1_4 71 # ASSIGN : s_1_5 539 # ASSIGN : s_1_6 43 # ASSIGN : s_1_7 0 # ASSIGN : s_1_8 108 # ASSIGN : s_1_9 163 # ASSIGN : s_2_0 288 # ASSIGN : s_2_1 513 # ASSIGN : s_2_2 387 # ASSIGN : s_2_3 354 # ASSIGN : s_2_4 593 # ASSIGN : s_2_5 553 # ASSIGN : s_2_6 429 # ASSIGN : s_2_7 28 # ASSIGN : s_2_8 121 # ASSIGN : s_2_9 203 # ASSIGN : s_3_0 416 # ASSIGN : s_3_1 0 # ASSIGN : s_3_2 79 # ASSIGN : s_3_3 586 # ASSIGN : s_3_4 507 # ASSIGN : s_3_5 343 # ASSIGN : s_3_6 48 # ASSIGN : s_3_7 125 # ASSIGN : s_3_8 197 # ASSIGN : s_3_9 295 # ASSIGN : s_4_0 617 # ASSIGN : s_4_1 495 # ASSIGN : s_4_2 519 # ASSIGN : s_4_3 9 # ASSIGN : s_4_4 472 # ASSIGN : s_4_5 100 # ASSIGN : s_4_6 85 # ASSIGN : s_4_7 194 # ASSIGN : s_4_8 292 # ASSIGN : s_4_9 381 # ASSIGN : s_5_0 364 # ASSIGN : s_5_1 48 # ASSIGN : s_5_2 625 # ASSIGN : s_5_3 513 # ASSIGN : s_5_4 7 # ASSIGN : s_5_5 195 # ASSIGN : s_5_6 111 # ASSIGN : s_5_7 280 # ASSIGN : s_5_8 397 # ASSIGN : s_5_9 468 # ASSIGN : s_6_0 98 # ASSIGN : s_6_1 262 # ASSIGN : s_6_2 1 # ASSIGN : s_6_3 418 # ASSIGN : s_6_4 380 # ASSIGN : s_6_5 605 # ASSIGN : s_6_6 192 # ASSIGN : s_6_7 358 # ASSIGN : s_6_8 532 # ASSIGN : s_6_9 512 # ASSIGN : s_7_0 0 # ASSIGN : s_7_1 164 # ASSIGN : s_7_2 228 # ASSIGN : s_7_3 639 # ASSIGN : s_7_4 76 # ASSIGN : s_7_5 426 # ASSIGN : s_7_6 323 # ASSIGN : s_7_7 368 # ASSIGN : s_7_8 609 # ASSIGN : s_7_9 532 # ASSIGN : s_8_0 34 # ASSIGN : s_8_1 229 # ASSIGN : s_8_2 209 # ASSIGN : s_8_3 88 # ASSIGN : s_8_4 319 # ASSIGN : s_8_5 522 # ASSIGN : s_8_6 338 # ASSIGN : s_8_7 424 # ASSIGN : s_8_8 619 # ASSIGN : s_8_9 542 # ASSIGN : s_9_0 503 # ASSIGN : s_9_1 92 # ASSIGN : s_9_2 429 # ASSIGN : s_9_3 64 # ASSIGN : s_9_4 235 # ASSIGN : s_9_5 316 # ASSIGN : s_9_6 535 # ASSIGN : s_9_7 550 # ASSIGN : s_9_8 670 # ASSIGN : s_9_9 623 SHOW_RESULT 674 END : 674 (1 seconds) [Mon Jun 19 12:43:11 2006] SHOW_RESULT 674 CPU : 0.170000000000002 = 0.170000000000002 + 0 + 0 + 0 # BOUND : makespan 640 674 MODIFY_CNF 657 BEGIN : [Mon Jun 19 12:43:11 2006] MODIFY_CNF 657 END : 35794785 bytes (0 seconds) [Mon Jun 19 12:43:11 2006] MODIFY_CNF 657 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 657 BEGIN : [Mon Jun 19 12:43:11 2006] CMD : minisat /tmp/csp2sat29895.cnf /tmp/csp2sat29895.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1208472 3535246 | 402824 0 0 nan | 0.000 % | | 101 | 1208472 3535246 | 443106 101 3369 33.4 | 33.838 % | ============================================================================== restarts : 2 conflicts : 180 (63 /sec) decisions : 707 (246 /sec) propagations : 569534 (198444 /sec) conflict literals : 5452 (4.62 % deleted) Memory used : 71.68 MB CPU time : 2.87 s SATISFIABLE VERIFY_CNF 657 END : (3 seconds) [Mon Jun 19 12:43:14 2006] VERIFY_CNF 657 CPU : 3.22 = 0 + 0 + 2.92 + 0.3 # RESULT : makespan 657 SATISFIABLE SHOW_RESULT 657 BEGIN : [Mon Jun 19 12:43:14 2006] # ASSIGN : makespan 657 # ASSIGN : s_0_0 339 # ASSIGN : s_0_1 73 # ASSIGN : s_0_2 443 # ASSIGN : s_0_3 164 # ASSIGN : s_0_4 478 # ASSIGN : s_0_5 41 # ASSIGN : s_0_6 362 # ASSIGN : s_0_7 565 # ASSIGN : s_0_8 591 # ASSIGN : s_0_9 553 # ASSIGN : s_1_0 270 # ASSIGN : s_1_1 345 # ASSIGN : s_1_2 122 # ASSIGN : s_1_3 359 # ASSIGN : s_1_4 473 # ASSIGN : s_1_5 482 # ASSIGN : s_1_6 354 # ASSIGN : s_1_7 537 # ASSIGN : s_1_8 578 # ASSIGN : s_1_9 621 # ASSIGN : s_2_0 364 # ASSIGN : s_2_1 282 # ASSIGN : s_2_2 322 # ASSIGN : s_2_3 4 # ASSIGN : s_2_4 576 # ASSIGN : s_2_5 523 # ASSIGN : s_2_6 113 # ASSIGN : s_2_7 430 # ASSIGN : s_2_8 37 # ASSIGN : s_2_9 197 # ASSIGN : s_3_0 476 # ASSIGN : s_3_1 346 # ASSIGN : s_3_2 611 # ASSIGN : s_3_3 38 # ASSIGN : s_3_4 394 # ASSIGN : s_3_5 271 # ASSIGN : s_3_6 7 # ASSIGN : s_3_7 98 # ASSIGN : s_3_8 176 # ASSIGN : s_3_9 563 # ASSIGN : s_4_0 34 # ASSIGN : s_4_1 546 # ASSIGN : s_4_2 146 # ASSIGN : s_4_3 91 # ASSIGN : s_4_4 11 # ASSIGN : s_4_5 563 # ASSIGN : s_4_6 425 # ASSIGN : s_4_7 244 # ASSIGN : s_4_8 330 # ASSIGN : s_4_9 459 # ASSIGN : s_5_0 130 # ASSIGN : s_5_1 29 # ASSIGN : s_5_2 248 # ASSIGN : s_5_3 490 # ASSIGN : s_5_4 89 # ASSIGN : s_5_5 163 # ASSIGN : s_5_6 576 # ASSIGN : s_5_7 341 # ASSIGN : s_5_8 419 # ASSIGN : s_5_9 297 # ASSIGN : s_6_0 170 # ASSIGN : s_6_1 394 # ASSIGN : s_6_2 16 # ASSIGN : s_6_3 563 # ASSIGN : s_6_4 377 # ASSIGN : s_6_5 94 # ASSIGN : s_6_6 261 # ASSIGN : s_6_7 331 # ASSIGN : s_6_8 490 # ASSIGN : s_6_9 357 # ASSIGN : s_7_0 0 # ASSIGN : s_7_1 125 # ASSIGN : s_7_2 496 # ASSIGN : s_7_3 455 # ASSIGN : s_7_4 189 # ASSIGN : s_7_5 344 # ASSIGN : s_7_6 440 # ASSIGN : s_7_7 591 # ASSIGN : s_7_8 320 # ASSIGN : s_7_9 647 # ASSIGN : s_8_0 603 # ASSIGN : s_8_1 231 # ASSIGN : s_8_2 471 # ASSIGN : s_8_3 264 # ASSIGN : s_8_4 358 # ASSIGN : s_8_5 454 # ASSIGN : s_8_6 490 # ASSIGN : s_8_7 0 # ASSIGN : s_8_8 125 # ASSIGN : s_8_9 377 # ASSIGN : s_9_0 443 # ASSIGN : s_9_1 585 # ASSIGN : s_9_2 369 # ASSIGN : s_9_3 240 # ASSIGN : s_9_4 277 # ASSIGN : s_9_5 496 # ASSIGN : s_9_6 475 # ASSIGN : s_9_7 167 # ASSIGN : s_9_8 574 # ASSIGN : s_9_9 120 SHOW_RESULT 657 END : 657 (0 seconds) [Mon Jun 19 12:43:14 2006] SHOW_RESULT 657 CPU : 0.159999999999997 = 0.159999999999997 + 0 + 0 + 0 # BOUND : makespan 640 657 MODIFY_CNF 648 BEGIN : [Mon Jun 19 12:43:14 2006] MODIFY_CNF 648 END : 35794785 bytes (0 seconds) [Mon Jun 19 12:43:14 2006] MODIFY_CNF 648 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 648 BEGIN : [Mon Jun 19 12:43:14 2006] CMD : minisat /tmp/csp2sat29895.cnf /tmp/csp2sat29895.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1192272 3486646 | 397424 0 0 nan | 0.000 % | | 101 | 1192272 3486646 | 437166 101 1989 19.7 | 34.805 % | | 252 | 1192272 3486646 | 480883 252 4425 17.6 | 34.805 % | ============================================================================== restarts : 3 conflicts : 291 (93 /sec) decisions : 1033 (329 /sec) propagations : 670307 (213474 /sec) conflict literals : 5299 (5.14 % deleted) Memory used : 71.68 MB CPU time : 3.14 s SATISFIABLE VERIFY_CNF 648 END : (3 seconds) [Mon Jun 19 12:43:17 2006] VERIFY_CNF 648 CPU : 3.4 = 0 + 0 + 3.21 + 0.19 # RESULT : makespan 648 SATISFIABLE SHOW_RESULT 648 BEGIN : [Mon Jun 19 12:43:17 2006] # ASSIGN : makespan 648 # ASSIGN : s_0_0 474 # ASSIGN : s_0_1 563 # ASSIGN : s_0_2 620 # ASSIGN : s_0_3 276 # ASSIGN : s_0_4 399 # ASSIGN : s_0_5 22 # ASSIGN : s_0_6 177 # ASSIGN : s_0_7 93 # ASSIGN : s_0_8 497 # ASSIGN : s_0_9 266 # ASSIGN : s_1_0 213 # ASSIGN : s_1_1 562 # ASSIGN : s_1_2 572 # ASSIGN : s_1_3 15 # ASSIGN : s_1_4 474 # ASSIGN : s_1_5 634 # ASSIGN : s_1_6 492 # ASSIGN : s_1_7 119 # ASSIGN : s_1_8 379 # ASSIGN : s_1_9 187 # ASSIGN : s_2_0 5 # ASSIGN : s_2_1 240 # ASSIGN : s_2_2 361 # ASSIGN : s_2_3 111 # ASSIGN : s_2_4 280 # ASSIGN : s_2_5 71 # ASSIGN : s_2_6 403 # ASSIGN : s_2_7 147 # ASSIGN : s_2_8 572 # ASSIGN : s_2_9 487 # ASSIGN : s_3_0 508 # ASSIGN : s_3_1 0 # ASSIGN : s_3_2 79 # ASSIGN : s_3_3 595 # ASSIGN : s_3_4 199 # ASSIGN : s_3_5 125 # ASSIGN : s_3_6 48 # ASSIGN : s_3_7 333 # ASSIGN : s_3_8 402 # ASSIGN : s_3_9 278 # ASSIGN : s_4_0 407 # ASSIGN : s_4_1 119 # ASSIGN : s_4_2 464 # ASSIGN : s_4_3 352 # ASSIGN : s_4_4 9 # ASSIGN : s_4_5 225 # ASSIGN : s_4_6 330 # ASSIGN : s_4_7 562 # ASSIGN : s_4_8 136 # ASSIGN : s_4_9 32 # ASSIGN : s_5_0 94 # ASSIGN : s_5_1 453 # ASSIGN : s_5_2 404 # ASSIGN : s_5_3 168 # ASSIGN : s_5_4 127 # ASSIGN : s_5_5 319 # ASSIGN : s_5_6 497 # ASSIGN : s_5_7 15 # ASSIGN : s_5_8 248 # ASSIGN : s_5_9 604 # ASSIGN : s_6_0 316 # ASSIGN : s_6_1 142 # ASSIGN : s_6_2 238 # ASSIGN : s_6_3 407 # ASSIGN : s_6_4 105 # ASSIGN : s_6_5 509 # ASSIGN : s_6_6 578 # ASSIGN : s_6_7 2 # ASSIGN : s_6_8 12 # ASSIGN : s_6_9 122 # ASSIGN : s_7_0 282 # ASSIGN : s_7_1 55 # ASSIGN : s_7_2 136 # ASSIGN : s_7_3 241 # ASSIGN : s_7_4 560 # ASSIGN : s_7_5 408 # ASSIGN : s_7_6 377 # ASSIGN : s_7_7 504 # ASSIGN : s_7_8 392 # ASSIGN : s_7_9 231 # ASSIGN : s_8_0 159 # ASSIGN : s_8_1 615 # ASSIGN : s_8_2 596 # ASSIGN : s_8_3 501 # ASSIGN : s_8_4 35 # ASSIGN : s_8_5 54 # ASSIGN : s_8_6 240 # ASSIGN : s_8_7 403 # ASSIGN : s_8_8 85 # ASSIGN : s_8_9 326 # ASSIGN : s_9_0 616 # ASSIGN : s_9_1 360 # ASSIGN : s_9_2 5 # ASSIGN : s_9_3 144 # ASSIGN : s_9_4 479 # ASSIGN : s_9_5 198 # ASSIGN : s_9_6 345 # ASSIGN : s_9_7 260 # ASSIGN : s_9_8 568 # ASSIGN : s_9_9 432 SHOW_RESULT 648 END : 648 (1 seconds) [Mon Jun 19 12:43:18 2006] SHOW_RESULT 648 CPU : 0.159999999999997 = 0.159999999999997 + 0 + 0 + 0 # BOUND : makespan 640 648 MODIFY_CNF 644 BEGIN : [Mon Jun 19 12:43:18 2006] MODIFY_CNF 644 END : 35794784 bytes (0 seconds) [Mon Jun 19 12:43:18 2006] MODIFY_CNF 644 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 644 BEGIN : [Mon Jun 19 12:43:18 2006] CMD : minisat /tmp/csp2sat29895.cnf /tmp/csp2sat29895.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1185072 3465046 | 395024 0 0 nan | 0.000 % | | 103 | 1185072 3465046 | 434526 103 3006 29.2 | 35.235 % | ============================================================================== restarts : 2 conflicts : 160 (54 /sec) decisions : 678 (227 /sec) propagations : 483785 (161801 /sec) conflict literals : 4428 (3.26 % deleted) Memory used : 71.68 MB CPU time : 2.99 s SATISFIABLE VERIFY_CNF 644 END : (3 seconds) [Mon Jun 19 12:43:21 2006] VERIFY_CNF 644 CPU : 3.28 = 0 + 0 + 3.04 + 0.24 # RESULT : makespan 644 SATISFIABLE SHOW_RESULT 644 BEGIN : [Mon Jun 19 12:43:21 2006] # ASSIGN : makespan 644 # ASSIGN : s_0_0 550 # ASSIGN : s_0_1 575 # ASSIGN : s_0_2 468 # ASSIGN : s_0_3 368 # ASSIGN : s_0_4 133 # ASSIGN : s_0_5 336 # ASSIGN : s_0_6 228 # ASSIGN : s_0_7 496 # ASSIGN : s_0_8 67 # ASSIGN : s_0_9 291 # ASSIGN : s_1_0 318 # ASSIGN : s_1_1 574 # ASSIGN : s_1_2 269 # ASSIGN : s_1_3 444 # ASSIGN : s_1_4 558 # ASSIGN : s_1_5 304 # ASSIGN : s_1_6 569 # ASSIGN : s_1_7 606 # ASSIGN : s_1_8 387 # ASSIGN : s_1_9 83 # ASSIGN : s_2_0 37 # ASSIGN : s_2_1 103 # ASSIGN : s_2_2 219 # ASSIGN : s_2_3 1 # ASSIGN : s_2_4 563 # ASSIGN : s_2_5 261 # ASSIGN : s_2_6 479 # ASSIGN : s_2_7 386 # ASSIGN : s_2_8 143 # ASSIGN : s_2_9 301 # ASSIGN : s_3_0 462 # ASSIGN : s_3_1 368 # ASSIGN : s_3_2 416 # ASSIGN : s_3_3 315 # ASSIGN : s_3_4 236 # ASSIGN : s_3_5 84 # ASSIGN : s_3_6 157 # ASSIGN : s_3_7 4 # ASSIGN : s_3_8 549 # ASSIGN : s_3_9 188 # ASSIGN : s_4_0 389 # ASSIGN : s_4_1 627 # ASSIGN : s_4_2 104 # ASSIGN : s_4_3 34 # ASSIGN : s_4_4 11 # ASSIGN : s_4_5 533 # ASSIGN : s_4_6 89 # ASSIGN : s_4_7 202 # ASSIGN : s_4_8 298 # ASSIGN : s_4_9 446 # ASSIGN : s_5_0 260 # ASSIGN : s_5_1 4 # ASSIGN : s_5_2 293 # ASSIGN : s_5_3 89 # ASSIGN : s_5_4 48 # ASSIGN : s_5_5 175 # ASSIGN : s_5_6 370 # ASSIGN : s_5_7 522 # ASSIGN : s_5_8 451 # ASSIGN : s_5_9 600 # ASSIGN : s_6_0 117 # ASSIGN : s_6_1 444 # ASSIGN : s_6_2 26 # ASSIGN : s_6_3 540 # ASSIGN : s_6_4 208 # ASSIGN : s_6_5 368 # ASSIGN : s_6_6 298 # ASSIGN : s_6_7 634 # ASSIGN : s_6_8 225 # ASSIGN : s_6_9 6 # ASSIGN : s_7_0 3 # ASSIGN : s_7_1 206 # ASSIGN : s_7_2 534 # ASSIGN : s_7_3 280 # ASSIGN : s_7_4 339 # ASSIGN : s_7_5 437 # ASSIGN : s_7_6 629 # ASSIGN : s_7_7 146 # ASSIGN : s_7_8 133 # ASSIGN : s_7_9 427 # ASSIGN : s_8_0 573 # ASSIGN : s_8_1 540 # ASSIGN : s_8_2 515 # ASSIGN : s_8_3 186 # ASSIGN : s_8_4 90 # ASSIGN : s_8_5 627 # ASSIGN : s_8_6 3 # ASSIGN : s_8_7 288 # ASSIGN : s_8_8 400 # ASSIGN : s_8_9 109 # ASSIGN : s_9_0 228 # ASSIGN : s_9_1 270 # ASSIGN : s_9_2 342 # ASSIGN : s_9_3 162 # ASSIGN : s_9_4 464 # ASSIGN : s_9_5 46 # ASSIGN : s_9_6 614 # ASSIGN : s_9_7 73 # ASSIGN : s_9_8 545 # ASSIGN : s_9_9 553 SHOW_RESULT 644 END : 644 (0 seconds) [Mon Jun 19 12:43:21 2006] SHOW_RESULT 644 CPU : 0.159999999999997 = 0.159999999999997 + 0 + 0 + 0 # BOUND : makespan 640 644 MODIFY_CNF 642 BEGIN : [Mon Jun 19 12:43:21 2006] MODIFY_CNF 642 END : 35794784 bytes (0 seconds) [Mon Jun 19 12:43:21 2006] MODIFY_CNF 642 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 642 BEGIN : [Mon Jun 19 12:43:21 2006] CMD : minisat /tmp/csp2sat29895.cnf /tmp/csp2sat29895.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1181472 3454246 | 393824 0 0 nan | 0.000 % | | 101 | 1181472 3454246 | 433206 101 2088 20.7 | 35.450 % | ============================================================================== restarts : 2 conflicts : 156 (51 /sec) decisions : 601 (198 /sec) propagations : 485584 (159732 /sec) conflict literals : 3554 (4.41 % deleted) Memory used : 71.68 MB CPU time : 3.04 s SATISFIABLE VERIFY_CNF 642 END : (3 seconds) [Mon Jun 19 12:43:24 2006] VERIFY_CNF 642 CPU : 3.22 = 0 + 0 + 3.09 + 0.13 # RESULT : makespan 642 SATISFIABLE SHOW_RESULT 642 BEGIN : [Mon Jun 19 12:43:24 2006] # ASSIGN : makespan 642 # ASSIGN : s_0_0 619 # ASSIGN : s_0_1 74 # ASSIGN : s_0_2 33 # ASSIGN : s_0_3 127 # ASSIGN : s_0_4 217 # ASSIGN : s_0_5 552 # ASSIGN : s_0_6 461 # ASSIGN : s_0_7 292 # ASSIGN : s_0_8 346 # ASSIGN : s_0_9 584 # ASSIGN : s_1_0 387 # ASSIGN : s_1_1 641 # ASSIGN : s_1_2 151 # ASSIGN : s_1_3 522 # ASSIGN : s_1_4 382 # ASSIGN : s_1_5 272 # ASSIGN : s_1_6 456 # ASSIGN : s_1_7 318 # ASSIGN : s_1_8 509 # ASSIGN : s_1_9 227 # ASSIGN : s_2_0 320 # ASSIGN : s_2_1 280 # ASSIGN : s_2_2 426 # ASSIGN : s_2_3 0 # ASSIGN : s_2_4 468 # ASSIGN : s_2_5 386 # ASSIGN : s_2_6 196 # ASSIGN : s_2_7 549 # ASSIGN : s_2_8 120 # ASSIGN : s_2_9 35 # ASSIGN : s_3_0 507 # ASSIGN : s_3_1 364 # ASSIGN : s_3_2 265 # ASSIGN : s_3_3 311 # ASSIGN : s_3_4 82 # ASSIGN : s_3_5 192 # ASSIGN : s_3_6 161 # ASSIGN : s_3_7 2 # ASSIGN : s_3_8 412 # ASSIGN : s_3_9 594 # ASSIGN : s_4_0 143 # ASSIGN : s_4_1 126 # ASSIGN : s_4_2 544 # ASSIGN : s_4_3 467 # ASSIGN : s_4_4 8 # ASSIGN : s_4_5 286 # ASSIGN : s_4_6 524 # ASSIGN : s_4_7 200 # ASSIGN : s_4_8 31 # ASSIGN : s_4_9 380 # ASSIGN : s_5_0 110 # ASSIGN : s_5_1 17 # ASSIGN : s_5_2 61 # ASSIGN : s_5_3 203 # ASSIGN : s_5_4 162 # ASSIGN : s_5_5 442 # ASSIGN : s_5_6 283 # ASSIGN : s_5_7 364 # ASSIGN : s_5_8 571 # ASSIGN : s_5_9 527 # ASSIGN : s_6_0 15 # ASSIGN : s_6_1 476 # ASSIGN : s_6_2 175 # ASSIGN : s_6_3 373 # ASSIGN : s_6_4 356 # ASSIGN : s_6_5 106 # ASSIGN : s_6_6 572 # ASSIGN : s_6_7 346 # ASSIGN : s_6_8 273 # ASSIGN : s_6_9 253 # ASSIGN : s_7_0 200 # ASSIGN : s_7_1 412 # ASSIGN : s_7_2 317 # ASSIGN : s_7_3 276 # ASSIGN : s_7_4 554 # ASSIGN : s_7_5 10 # ASSIGN : s_7_6 539 # ASSIGN : s_7_7 144 # ASSIGN : s_7_8 529 # ASSIGN : s_7_9 517 # ASSIGN : s_8_0 266 # ASSIGN : s_8_1 592 # ASSIGN : s_8_2 14 # ASSIGN : s_8_3 33 # ASSIGN : s_8_4 337 # ASSIGN : s_8_5 625 # ASSIGN : s_8_6 365 # ASSIGN : s_8_7 451 # ASSIGN : s_8_8 215 # ASSIGN : s_8_9 138 # ASSIGN : s_9_0 234 # ASSIGN : s_9_1 162 # ASSIGN : s_9_2 470 # ASSIGN : s_9_3 618 # ASSIGN : s_9_4 387 # ASSIGN : s_9_5 591 # ASSIGN : s_9_6 56 # ASSIGN : s_9_7 71 # ASSIGN : s_9_8 567 # ASSIGN : s_9_9 333 SHOW_RESULT 642 END : 642 (0 seconds) [Mon Jun 19 12:43:24 2006] SHOW_RESULT 642 CPU : 0.159999999999997 = 0.159999999999997 + 0 + 0 + 0 # BOUND : makespan 640 642 MODIFY_CNF 641 BEGIN : [Mon Jun 19 12:43:24 2006] MODIFY_CNF 641 END : 35794784 bytes (0 seconds) [Mon Jun 19 12:43:24 2006] MODIFY_CNF 641 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 641 BEGIN : [Mon Jun 19 12:43:24 2006] CMD : minisat /tmp/csp2sat29895.cnf /tmp/csp2sat29895.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1179672 3448846 | 393224 0 0 nan | 0.000 % | | 100 | 1179672 3448846 | 432546 100 1999 20.0 | 35.557 % | | 250 | 1179672 3448846 | 475801 250 3767 15.1 | 35.557 % | ============================================================================== restarts : 3 conflicts : 294 (98 /sec) decisions : 866 (288 /sec) propagations : 601517 (199840 /sec) conflict literals : 5090 (6.98 % deleted) Memory used : 71.68 MB CPU time : 3.01 s SATISFIABLE VERIFY_CNF 641 END : (4 seconds) [Mon Jun 19 12:43:28 2006] VERIFY_CNF 641 CPU : 3.29 = 0 + 0 + 3.05 + 0.24 # RESULT : makespan 641 SATISFIABLE SHOW_RESULT 641 BEGIN : [Mon Jun 19 12:43:28 2006] # ASSIGN : makespan 641 # ASSIGN : s_0_0 444 # ASSIGN : s_0_1 467 # ASSIGN : s_0_2 594 # ASSIGN : s_0_3 312 # ASSIGN : s_0_4 519 # ASSIGN : s_0_5 166 # ASSIGN : s_0_6 62 # ASSIGN : s_0_7 125 # ASSIGN : s_0_8 239 # ASSIGN : s_0_9 156 # ASSIGN : s_1_0 152 # ASSIGN : s_1_1 640 # ASSIGN : s_1_2 114 # ASSIGN : s_1_3 388 # ASSIGN : s_1_4 138 # ASSIGN : s_1_5 560 # ASSIGN : s_1_6 606 # ASSIGN : s_1_7 244 # ASSIGN : s_1_8 17 # ASSIGN : s_1_9 88 # ASSIGN : s_2_0 85 # ASSIGN : s_2_1 245 # ASSIGN : s_2_2 442 # ASSIGN : s_2_3 484 # ASSIGN : s_2_4 285 # ASSIGN : s_2_5 601 # ASSIGN : s_2_6 517 # ASSIGN : s_2_7 151 # ASSIGN : s_2_8 366 # ASSIGN : s_2_9 0 # ASSIGN : s_3_0 350 # ASSIGN : s_3_1 592 # ASSIGN : s_3_2 57 # ASSIGN : s_3_3 2 # ASSIGN : s_3_4 437 # ASSIGN : s_3_5 198 # ASSIGN : s_3_6 319 # ASSIGN : s_3_7 516 # ASSIGN : s_3_8 103 # ASSIGN : s_3_9 271 # ASSIGN : s_4_0 12 # ASSIGN : s_4_1 431 # ASSIGN : s_4_2 247 # ASSIGN : s_4_3 163 # ASSIGN : s_4_4 224 # ASSIGN : s_4_5 69 # ASSIGN : s_4_6 626 # ASSIGN : s_4_7 345 # ASSIGN : s_4_8 448 # ASSIGN : s_4_9 539 # ASSIGN : s_5_0 608 # ASSIGN : s_5_1 128 # ASSIGN : s_5_2 6 # ASSIGN : s_5_3 55 # ASSIGN : s_5_4 396 # ASSIGN : s_5_5 297 # ASSIGN : s_5_6 216 # ASSIGN : s_5_7 438 # ASSIGN : s_5_8 537 # ASSIGN : s_5_9 172 # ASSIGN : s_6_0 221 # ASSIGN : s_6_1 312 # ASSIGN : s_6_2 143 # ASSIGN : s_6_3 547 # ASSIGN : s_6_4 0 # ASSIGN : s_6_5 478 # ASSIGN : s_6_6 408 # ASSIGN : s_6_7 17 # ASSIGN : s_6_8 30 # ASSIGN : s_6_9 123 # ASSIGN : s_7_0 316 # ASSIGN : s_7_1 181 # ASSIGN : s_7_2 490 # ASSIGN : s_7_3 128 # ASSIGN : s_7_4 40 # ASSIGN : s_7_5 382 # ASSIGN : s_7_6 357 # ASSIGN : s_7_7 585 # ASSIGN : s_7_8 305 # ASSIGN : s_7_9 372 # ASSIGN : s_8_0 554 # ASSIGN : s_8_1 521 # ASSIGN : s_8_2 622 # ASSIGN : s_8_3 218 # ASSIGN : s_8_4 377 # ASSIGN : s_8_5 10 # ASSIGN : s_8_6 130 # ASSIGN : s_8_7 27 # ASSIGN : s_8_8 315 # ASSIGN : s_8_9 444 # ASSIGN : s_9_0 491 # ASSIGN : s_9_1 56 # ASSIGN : s_9_2 368 # ASSIGN : s_9_3 523 # ASSIGN : s_9_4 143 # ASSIGN : s_9_5 574 # ASSIGN : s_9_6 611 # ASSIGN : s_9_7 272 # ASSIGN : s_9_8 637 # ASSIGN : s_9_9 224 SHOW_RESULT 641 END : 641 (0 seconds) [Mon Jun 19 12:43:28 2006] SHOW_RESULT 641 CPU : 0.170000000000006 = 0.150000000000006 + 0.02 + 0 + 0 # BOUND : makespan 640 641 MODIFY_CNF 640 BEGIN : [Mon Jun 19 12:43:28 2006] MODIFY_CNF 640 END : 35794784 bytes (0 seconds) [Mon Jun 19 12:43:28 2006] MODIFY_CNF 640 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 640 BEGIN : [Mon Jun 19 12:43:28 2006] CMD : minisat /tmp/csp2sat29895.cnf /tmp/csp2sat29895.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1177873 3443446 | 392624 0 0 nan | 0.000 % | | 102 | 1177873 3443446 | 431886 102 1702 16.7 | 35.665 % | | 252 | 1177873 3443446 | 475075 252 4331 17.2 | 35.665 % | ============================================================================== restarts : 3 conflicts : 332 (110 /sec) decisions : 980 (323 /sec) propagations : 619828 (204564 /sec) conflict literals : 5728 (6.62 % deleted) Memory used : 71.68 MB CPU time : 3.03 s SATISFIABLE VERIFY_CNF 640 END : (3 seconds) [Mon Jun 19 12:43:31 2006] VERIFY_CNF 640 CPU : 3.27 = 0 + 0 + 3.08 + 0.19 # RESULT : makespan 640 SATISFIABLE SHOW_RESULT 640 BEGIN : [Mon Jun 19 12:43:31 2006] # ASSIGN : makespan 640 # ASSIGN : s_0_0 63 # ASSIGN : s_0_1 359 # ASSIGN : s_0_2 297 # ASSIGN : s_0_3 127 # ASSIGN : s_0_4 524 # ASSIGN : s_0_5 608 # ASSIGN : s_0_6 234 # ASSIGN : s_0_7 14 # ASSIGN : s_0_8 428 # ASSIGN : s_0_9 349 # ASSIGN : s_1_0 86 # ASSIGN : s_1_1 443 # ASSIGN : s_1_2 447 # ASSIGN : s_1_3 297 # ASSIGN : s_1_4 599 # ASSIGN : s_1_5 480 # ASSIGN : s_1_6 604 # ASSIGN : s_1_7 612 # ASSIGN : s_1_8 155 # ASSIGN : s_1_9 417 # ASSIGN : s_2_0 336 # ASSIGN : s_2_1 600 # ASSIGN : s_2_2 133 # ASSIGN : s_2_3 483 # ASSIGN : s_2_4 402 # ASSIGN : s_2_5 0 # ASSIGN : s_2_6 516 # ASSIGN : s_2_7 40 # ASSIGN : s_2_8 175 # ASSIGN : s_2_9 251 # ASSIGN : s_3_0 238 # ASSIGN : s_3_1 444 # ASSIGN : s_3_2 325 # ASSIGN : s_3_3 1 # ASSIGN : s_3_4 159 # ASSIGN : s_3_5 371 # ASSIGN : s_3_6 609 # ASSIGN : s_3_7 540 # ASSIGN : s_3_8 60 # ASSIGN : s_3_9 492 # ASSIGN : s_4_0 583 # ASSIGN : s_4_1 411 # ASSIGN : s_4_2 3 # ASSIGN : s_4_3 428 # ASSIGN : s_4_4 373 # ASSIGN : s_4_5 192 # ASSIGN : s_4_6 396 # ASSIGN : s_4_7 287 # ASSIGN : s_4_8 494 # ASSIGN : s_4_9 101 # ASSIGN : s_5_0 21 # ASSIGN : s_5_1 217 # ASSIGN : s_5_2 381 # ASSIGN : s_5_3 54 # ASSIGN : s_5_4 332 # ASSIGN : s_5_5 511 # ASSIGN : s_5_6 430 # ASSIGN : s_5_7 136 # ASSIGN : s_5_8 261 # ASSIGN : s_5_9 596 # ASSIGN : s_6_0 431 # ASSIGN : s_6_1 11 # ASSIGN : s_6_2 208 # ASSIGN : s_6_3 522 # ASSIGN : s_6_4 623 # ASSIGN : s_6_5 286 # ASSIGN : s_6_6 118 # ASSIGN : s_6_7 1 # ASSIGN : s_6_8 355 # ASSIGN : s_6_9 188 # ASSIGN : s_7_0 204 # ASSIGN : s_7_1 140 # ASSIGN : s_7_2 545 # ASSIGN : s_7_3 393 # ASSIGN : s_7_4 244 # ASSIGN : s_7_5 44 # ASSIGN : s_7_6 29 # ASSIGN : s_7_7 484 # ASSIGN : s_7_8 345 # ASSIGN : s_7_9 474 # ASSIGN : s_8_0 529 # ASSIGN : s_8_1 107 # ASSIGN : s_8_2 184 # ASSIGN : s_8_3 203 # ASSIGN : s_8_4 5 # ASSIGN : s_8_5 494 # ASSIGN : s_8_6 300 # ASSIGN : s_8_7 386 # ASSIGN : s_8_8 589 # ASSIGN : s_8_9 24 # ASSIGN : s_9_0 172 # ASSIGN : s_9_1 287 # ASSIGN : s_9_2 471 # ASSIGN : s_9_3 616 # ASSIGN : s_9_4 78 # ASSIGN : s_9_5 444 # ASSIGN : s_9_6 415 # ASSIGN : s_9_7 214 # ASSIGN : s_9_8 168 # ASSIGN : s_9_9 549 SHOW_RESULT 640 END : 640 (0 seconds) [Mon Jun 19 12:43:31 2006] SHOW_RESULT 640 CPU : 0.169999999999997 = 0.159999999999997 + 0.01 + 0 + 0 # BOUND : makespan 640 640 MAIN END : (96 seconds) [Mon Jun 19 12:43:31 2006] MAIN CPU : 95.98 = 67.58 + 0.43 + 26.09 + 1.88