# TIMEOUT 18000 MAIN BEGIN : [Mon Jun 19 12:33:59 2006] READ BEGIN : csp/tai_10x10_1.csp [Mon Jun 19 12:33:59 2006] READ END : csp/tai_10x10_1.csp (2 seconds) [Mon Jun 19 12:34:01 2006] READ CPU : 1.84 = 1.81 + 0.03 + 0 + 0 # BOUND : makespan 637 918 GENERATE_CNF 918 BEGIN : [Mon Jun 19 12:34:01 2006] GENERATE_CNF 918 END : 94183 variables 1678890 clauses 35833919 bytes (63 seconds) [Mon Jun 19 12:35:04 2006] GENERATE_CNF 918 CPU : 62.88 = 62.6 + 0.28 + 0 + 0 MODIFY_CNF 777 BEGIN : [Mon Jun 19 12:35:04 2006] MODIFY_CNF 777 END : 35833925 bytes (0 seconds) [Mon Jun 19 12:35:04 2006] MODIFY_CNF 777 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 777 BEGIN : [Mon Jun 19 12:35:04 2006] CMD : minisat /tmp/csp2sat29747.cnf /tmp/csp2sat29747.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1422585 4177380 | 474195 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 28 (12 /sec) decisions : 666 (281 /sec) propagations : 242471 (102308 /sec) conflict literals : 551 (9.23 % deleted) Memory used : 71.72 MB CPU time : 2.37 s SATISFIABLE VERIFY_CNF 777 END : (3 seconds) [Mon Jun 19 12:35:07 2006] VERIFY_CNF 777 CPU : 2.69 = 0 + 0 + 2.42 + 0.27 # RESULT : makespan 777 SATISFIABLE SHOW_RESULT 777 BEGIN : [Mon Jun 19 12:35:07 2006] # ASSIGN : makespan 777 # ASSIGN : s_0_0 209 # ASSIGN : s_0_1 3 # ASSIGN : s_0_2 614 # ASSIGN : s_0_3 710 # ASSIGN : s_0_4 410 # ASSIGN : s_0_5 508 # ASSIGN : s_0_6 5 # ASSIGN : s_0_7 126 # ASSIGN : s_0_8 57 # ASSIGN : s_0_9 257 # ASSIGN : s_1_0 508 # ASSIGN : s_1_1 233 # ASSIGN : s_1_2 334 # ASSIGN : s_1_3 21 # ASSIGN : s_1_4 594 # ASSIGN : s_1_5 451 # ASSIGN : s_1_6 60 # ASSIGN : s_1_7 262 # ASSIGN : s_1_8 137 # ASSIGN : s_1_9 308 # ASSIGN : s_2_0 185 # ASSIGN : s_2_1 604 # ASSIGN : s_2_2 430 # ASSIGN : s_2_3 37 # ASSIGN : s_2_4 529 # ASSIGN : s_2_5 691 # ASSIGN : s_2_6 82 # ASSIGN : s_2_7 274 # ASSIGN : s_2_8 229 # ASSIGN : s_2_9 339 # ASSIGN : s_3_0 110 # ASSIGN : s_3_1 515 # ASSIGN : s_3_2 715 # ASSIGN : s_3_3 43 # ASSIGN : s_3_4 478 # ASSIGN : s_3_5 622 # ASSIGN : s_3_6 178 # ASSIGN : s_3_7 338 # ASSIGN : s_3_8 267 # ASSIGN : s_3_9 429 # ASSIGN : s_4_0 692 # ASSIGN : s_4_1 748 # ASSIGN : s_4_2 49 # ASSIGN : s_4_3 163 # ASSIGN : s_4_4 198 # ASSIGN : s_4_5 610 # ASSIGN : s_4_6 244 # ASSIGN : s_4_7 472 # ASSIGN : s_4_8 355 # ASSIGN : s_4_9 446 # ASSIGN : s_5_0 285 # ASSIGN : s_5_1 6 # ASSIGN : s_5_2 121 # ASSIGN : s_5_3 183 # ASSIGN : s_5_4 694 # ASSIGN : s_5_5 555 # ASSIGN : s_5_6 296 # ASSIGN : s_5_7 518 # ASSIGN : s_5_8 363 # ASSIGN : s_5_9 458 # ASSIGN : s_6_0 50 # ASSIGN : s_6_1 103 # ASSIGN : s_6_2 185 # ASSIGN : s_6_3 229 # ASSIGN : s_6_4 654 # ASSIGN : s_6_5 416 # ASSIGN : s_6_6 364 # ASSIGN : s_6_7 569 # ASSIGN : s_6_8 449 # ASSIGN : s_6_9 544 # ASSIGN : s_7_0 1 # ASSIGN : s_7_1 147 # ASSIGN : s_7_2 242 # ASSIGN : s_7_3 512 # ASSIGN : s_7_4 326 # ASSIGN : s_7_5 297 # ASSIGN : s_7_6 406 # ASSIGN : s_7_7 658 # ASSIGN : s_7_8 605 # ASSIGN : s_7_9 619 # ASSIGN : s_8_0 141 # ASSIGN : s_8_1 378 # ASSIGN : s_8_2 569 # ASSIGN : s_8_3 406 # ASSIGN : s_8_4 273 # ASSIGN : s_8_5 179 # ASSIGN : s_8_6 503 # ASSIGN : s_8_7 725 # ASSIGN : s_8_8 608 # ASSIGN : s_8_9 637 # ASSIGN : s_9_0 419 # ASSIGN : s_9_1 450 # ASSIGN : s_9_2 500 # ASSIGN : s_9_3 322 # ASSIGN : s_9_4 14 # ASSIGN : s_9_5 96 # ASSIGN : s_9_6 541 # ASSIGN : s_9_7 743 # ASSIGN : s_9_8 614 # ASSIGN : s_9_9 709 SHOW_RESULT 777 END : 777 (0 seconds) [Mon Jun 19 12:35:07 2006] SHOW_RESULT 777 CPU : 0.160000000000001 = 0.140000000000001 + 0.02 + 0 + 0 # BOUND : makespan 637 777 MODIFY_CNF 707 BEGIN : [Mon Jun 19 12:35:07 2006] MODIFY_CNF 707 END : 35833924 bytes (0 seconds) [Mon Jun 19 12:35:07 2006] MODIFY_CNF 707 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 707 BEGIN : [Mon Jun 19 12:35:07 2006] CMD : minisat /tmp/csp2sat29747.cnf /tmp/csp2sat29747.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1296585 3799380 | 432195 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 11 (5 /sec) decisions : 317 (137 /sec) propagations : 132427 (57328 /sec) conflict literals : 261 (8.10 % deleted) Memory used : 71.72 MB CPU time : 2.31 s SATISFIABLE VERIFY_CNF 707 END : (3 seconds) [Mon Jun 19 12:35:10 2006] VERIFY_CNF 707 CPU : 2.6 = 0 + 0 + 2.36 + 0.24 # RESULT : makespan 707 SATISFIABLE SHOW_RESULT 707 BEGIN : [Mon Jun 19 12:35:10 2006] # ASSIGN : makespan 707 # ASSIGN : s_0_0 278 # ASSIGN : s_0_1 345 # ASSIGN : s_0_2 376 # ASSIGN : s_0_3 208 # ASSIGN : s_0_4 501 # ASSIGN : s_0_5 586 # ASSIGN : s_0_6 633 # ASSIGN : s_0_7 4 # ASSIGN : s_0_8 87 # ASSIGN : s_0_9 157 # ASSIGN : s_1_0 568 # ASSIGN : s_1_1 347 # ASSIGN : s_1_2 472 # ASSIGN : s_1_3 91 # ASSIGN : s_1_4 395 # ASSIGN : s_1_5 288 # ASSIGN : s_1_6 685 # ASSIGN : s_1_7 107 # ASSIGN : s_1_8 156 # ASSIGN : s_1_9 260 # ASSIGN : s_2_0 463 # ASSIGN : s_2_1 376 # ASSIGN : s_2_2 575 # ASSIGN : s_2_3 109 # ASSIGN : s_2_4 183 # ASSIGN : s_2_5 489 # ASSIGN : s_2_6 5 # ASSIGN : s_2_7 119 # ASSIGN : s_2_8 248 # ASSIGN : s_2_9 286 # ASSIGN : s_3_0 525 # ASSIGN : s_3_1 556 # ASSIGN : s_3_2 645 # ASSIGN : s_3_3 456 # ASSIGN : s_3_4 64 # ASSIGN : s_3_5 357 # ASSIGN : s_3_6 101 # ASSIGN : s_3_7 195 # ASSIGN : s_3_8 286 # ASSIGN : s_3_9 426 # ASSIGN : s_4_0 387 # ASSIGN : s_4_1 678 # ASSIGN : s_4_2 219 # ASSIGN : s_4_3 594 # ASSIGN : s_4_4 455 # ASSIGN : s_4_5 345 # ASSIGN : s_4_6 167 # ASSIGN : s_4_7 291 # ASSIGN : s_4_8 369 # ASSIGN : s_4_9 443 # ASSIGN : s_5_0 326 # ASSIGN : s_5_1 64 # ASSIGN : s_5_2 0 # ASSIGN : s_5_3 523 # ASSIGN : s_5_4 569 # ASSIGN : s_5_5 652 # ASSIGN : s_5_6 224 # ASSIGN : s_5_7 337 # ASSIGN : s_5_8 377 # ASSIGN : s_5_9 463 # ASSIGN : s_6_0 654 # ASSIGN : s_6_1 18 # ASSIGN : s_6_2 62 # ASSIGN : s_6_3 115 # ASSIGN : s_6_4 334 # ASSIGN : s_6_5 255 # ASSIGN : s_6_6 291 # ASSIGN : s_6_7 374 # ASSIGN : s_6_8 463 # ASSIGN : s_6_9 558 # ASSIGN : s_7_0 57 # ASSIGN : s_7_1 161 # ASSIGN : s_7_2 106 # ASSIGN : s_7_3 614 # ASSIGN : s_7_4 253 # ASSIGN : s_7_5 430 # ASSIGN : s_7_6 333 # ASSIGN : s_7_7 459 # ASSIGN : s_7_8 569 # ASSIGN : s_7_9 583 # ASSIGN : s_8_0 487 # ASSIGN : s_8_1 247 # ASSIGN : s_8_2 180 # ASSIGN : s_8_3 275 # ASSIGN : s_8_4 11 # ASSIGN : s_8_5 86 # ASSIGN : s_8_6 433 # ASSIGN : s_8_7 526 # ASSIGN : s_8_8 572 # ASSIGN : s_8_9 601 # ASSIGN : s_9_0 247 # ASSIGN : s_9_1 281 # ASSIGN : s_9_2 331 # ASSIGN : s_9_3 372 # ASSIGN : s_9_4 101 # ASSIGN : s_9_5 3 # ASSIGN : s_9_6 471 # ASSIGN : s_9_7 544 # ASSIGN : s_9_8 578 # ASSIGN : s_9_9 673 SHOW_RESULT 707 END : 707 (0 seconds) [Mon Jun 19 12:35:10 2006] SHOW_RESULT 707 CPU : 0.170000000000011 = 0.160000000000011 + 0.01 + 0 + 0 # BOUND : makespan 637 707 MODIFY_CNF 672 BEGIN : [Mon Jun 19 12:35:10 2006] MODIFY_CNF 672 END : 35833924 bytes (0 seconds) [Mon Jun 19 12:35:10 2006] MODIFY_CNF 672 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 672 BEGIN : [Mon Jun 19 12:35:10 2006] CMD : minisat /tmp/csp2sat29747.cnf /tmp/csp2sat29747.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1233585 3610380 | 411195 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 27 (11 /sec) decisions : 362 (151 /sec) propagations : 168235 (70391 /sec) conflict literals : 389 (6.04 % deleted) Memory used : 71.72 MB CPU time : 2.39 s SATISFIABLE VERIFY_CNF 672 END : (3 seconds) [Mon Jun 19 12:35:13 2006] VERIFY_CNF 672 CPU : 2.65 = 0 + 0 + 2.45 + 0.2 # RESULT : makespan 672 SATISFIABLE SHOW_RESULT 672 BEGIN : [Mon Jun 19 12:35:13 2006] # ASSIGN : makespan 672 # ASSIGN : s_0_0 528 # ASSIGN : s_0_1 349 # ASSIGN : s_0_2 576 # ASSIGN : s_0_3 70 # ASSIGN : s_0_4 209 # ASSIGN : s_0_5 351 # ASSIGN : s_0_6 287 # ASSIGN : s_0_7 398 # ASSIGN : s_0_8 1 # ASSIGN : s_0_9 158 # ASSIGN : s_1_0 337 # ASSIGN : s_1_1 18 # ASSIGN : s_1_2 480 # ASSIGN : s_1_3 54 # ASSIGN : s_1_4 277 # ASSIGN : s_1_5 423 # ASSIGN : s_1_6 229 # ASSIGN : s_1_7 4 # ASSIGN : s_1_8 86 # ASSIGN : s_1_9 251 # ASSIGN : s_2_0 220 # ASSIGN : s_2_1 91 # ASSIGN : s_2_2 244 # ASSIGN : s_2_3 10 # ASSIGN : s_2_4 425 # ASSIGN : s_2_5 490 # ASSIGN : s_2_6 576 # ASSIGN : s_2_7 16 # ASSIGN : s_2_8 178 # ASSIGN : s_2_9 314 # ASSIGN : s_3_0 287 # ASSIGN : s_3_1 421 # ASSIGN : s_3_2 4 # ASSIGN : s_3_3 318 # ASSIGN : s_3_4 172 # ASSIGN : s_3_5 603 # ASSIGN : s_3_6 510 # ASSIGN : s_3_7 80 # ASSIGN : s_3_8 216 # ASSIGN : s_3_9 404 # ASSIGN : s_4_0 9 # ASSIGN : s_4_1 392 # ASSIGN : s_4_2 66 # ASSIGN : s_4_3 513 # ASSIGN : s_4_4 546 # ASSIGN : s_4_5 245 # ASSIGN : s_4_6 458 # ASSIGN : s_4_7 171 # ASSIGN : s_4_8 287 # ASSIGN : s_4_9 436 # ASSIGN : s_5_0 615 # ASSIGN : s_5_1 518 # ASSIGN : s_5_2 138 # ASSIGN : s_5_3 626 # ASSIGN : s_5_4 55 # ASSIGN : s_5_5 0 # ASSIGN : s_5_6 381 # ASSIGN : s_5_7 217 # ASSIGN : s_5_8 295 # ASSIGN : s_5_9 448 # ASSIGN : s_6_0 114 # ASSIGN : s_6_1 47 # ASSIGN : s_6_2 200 # ASSIGN : s_6_3 533 # ASSIGN : s_6_4 7 # ASSIGN : s_6_5 167 # ASSIGN : s_6_6 339 # ASSIGN : s_6_7 254 # ASSIGN : s_6_8 383 # ASSIGN : s_6_9 508 # ASSIGN : s_7_0 65 # ASSIGN : s_7_1 244 # ASSIGN : s_7_2 330 # ASSIGN : s_7_3 385 # ASSIGN : s_7_4 592 # ASSIGN : s_7_5 215 # ASSIGN : s_7_6 118 # ASSIGN : s_7_7 481 # ASSIGN : s_7_8 478 # ASSIGN : s_7_9 548 # ASSIGN : s_8_0 440 # ASSIGN : s_8_1 644 # ASSIGN : s_8_2 398 # ASSIGN : s_8_3 137 # ASSIGN : s_8_4 493 # ASSIGN : s_8_5 257 # ASSIGN : s_8_6 80 # ASSIGN : s_8_7 548 # ASSIGN : s_8_8 487 # ASSIGN : s_8_9 566 # ASSIGN : s_9_0 478 # ASSIGN : s_9_1 184 # ASSIGN : s_9_2 437 # ASSIGN : s_9_3 234 # ASSIGN : s_9_4 343 # ASSIGN : s_9_5 84 # ASSIGN : s_9_6 7 # ASSIGN : s_9_7 604 # ASSIGN : s_9_8 509 # ASSIGN : s_9_9 638 SHOW_RESULT 672 END : 672 (0 seconds) [Mon Jun 19 12:35:13 2006] SHOW_RESULT 672 CPU : 0.169999999999997 = 0.159999999999997 + 0.00999999999999995 + 0 + 0 # BOUND : makespan 637 672 MODIFY_CNF 654 BEGIN : [Mon Jun 19 12:35:13 2006] MODIFY_CNF 654 END : 35833924 bytes (0 seconds) [Mon Jun 19 12:35:13 2006] MODIFY_CNF 654 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 654 BEGIN : [Mon Jun 19 12:35:13 2006] CMD : minisat /tmp/csp2sat29747.cnf /tmp/csp2sat29747.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1201185 3513180 | 400395 0 0 nan | 0.000 % | | 102 | 1201185 3513180 | 440434 102 4763 46.7 | 34.453 % | ============================================================================== restarts : 2 conflicts : 180 (56 /sec) decisions : 886 (276 /sec) propagations : 762963 (237683 /sec) conflict literals : 6168 (6.43 % deleted) Memory used : 71.75 MB CPU time : 3.21 s SATISFIABLE VERIFY_CNF 654 END : (3 seconds) [Mon Jun 19 12:35:16 2006] VERIFY_CNF 654 CPU : 3.49 = 0 + 0 + 3.26 + 0.23 # RESULT : makespan 654 SATISFIABLE SHOW_RESULT 654 BEGIN : [Mon Jun 19 12:35:16 2006] # ASSIGN : makespan 654 # ASSIGN : s_0_0 2 # ASSIGN : s_0_1 573 # ASSIGN : s_0_2 320 # ASSIGN : s_0_3 253 # ASSIGN : s_0_4 586 # ASSIGN : s_0_5 418 # ASSIGN : s_0_6 467 # ASSIGN : s_0_7 50 # ASSIGN : s_0_8 133 # ASSIGN : s_0_9 202 # ASSIGN : s_1_0 429 # ASSIGN : s_1_1 575 # ASSIGN : s_1_2 224 # ASSIGN : s_1_3 208 # ASSIGN : s_1_4 515 # ASSIGN : s_1_5 361 # ASSIGN : s_1_6 632 # ASSIGN : s_1_7 193 # ASSIGN : s_1_8 35 # ASSIGN : s_1_9 606 # ASSIGN : s_2_0 566 # ASSIGN : s_2_1 0 # ASSIGN : s_2_2 457 # ASSIGN : s_2_3 451 # ASSIGN : s_2_4 87 # ASSIGN : s_2_5 275 # ASSIGN : s_2_6 179 # ASSIGN : s_2_7 590 # ASSIGN : s_2_8 527 # ASSIGN : s_2_9 361 # ASSIGN : s_3_0 222 # ASSIGN : s_3_1 376 # ASSIGN : s_3_2 89 # ASSIGN : s_3_3 5 # ASSIGN : s_3_4 253 # ASSIGN : s_3_5 151 # ASSIGN : s_3_6 566 # ASSIGN : s_3_7 465 # ASSIGN : s_3_8 305 # ASSIGN : s_3_9 637 # ASSIGN : s_4_0 278 # ASSIGN : s_4_1 490 # ASSIGN : s_4_2 527 # ASSIGN : s_4_3 334 # ASSIGN : s_4_4 207 # ASSIGN : s_4_5 642 # ASSIGN : s_4_6 127 # ASSIGN : s_4_7 419 # ASSIGN : s_4_8 519 # ASSIGN : s_4_9 478 # ASSIGN : s_5_0 147 # ASSIGN : s_5_1 279 # ASSIGN : s_5_2 158 # ASSIGN : s_5_3 72 # ASSIGN : s_5_4 425 # ASSIGN : s_5_5 220 # ASSIGN : s_5_6 5 # ASSIGN : s_5_7 382 # ASSIGN : s_5_8 568 # ASSIGN : s_5_9 508 # ASSIGN : s_6_0 169 # ASSIGN : s_6_1 93 # ASSIGN : s_6_2 45 # ASSIGN : s_6_3 561 # ASSIGN : s_6_4 384 # ASSIGN : s_6_5 12 # ASSIGN : s_6_6 519 # ASSIGN : s_6_7 297 # ASSIGN : s_6_8 424 # ASSIGN : s_6_9 257 # ASSIGN : s_7_0 88 # ASSIGN : s_7_1 137 # ASSIGN : s_7_2 599 # ASSIGN : s_7_3 468 # ASSIGN : s_7_4 290 # ASSIGN : s_7_5 59 # ASSIGN : s_7_6 370 # ASSIGN : s_7_7 223 # ASSIGN : s_7_8 565 # ASSIGN : s_7_9 581 # ASSIGN : s_8_0 50 # ASSIGN : s_8_1 520 # ASSIGN : s_8_2 6 # ASSIGN : s_8_3 354 # ASSIGN : s_8_4 152 # ASSIGN : s_8_5 548 # ASSIGN : s_8_6 89 # ASSIGN : s_8_7 205 # ASSIGN : s_8_8 127 # ASSIGN : s_8_9 282 # ASSIGN : s_9_0 385 # ASSIGN : s_9_1 604 # ASSIGN : s_9_2 416 # ASSIGN : s_9_3 118 # ASSIGN : s_9_4 2 # ASSIGN : s_9_5 465 # ASSIGN : s_9_6 297 # ASSIGN : s_9_7 556 # ASSIGN : s_9_8 202 # ASSIGN : s_9_9 84 SHOW_RESULT 654 END : 654 (1 seconds) [Mon Jun 19 12:35:17 2006] SHOW_RESULT 654 CPU : 0.169999999999997 = 0.159999999999997 + 0.01 + 0 + 0 # BOUND : makespan 637 654 MODIFY_CNF 645 BEGIN : [Mon Jun 19 12:35:17 2006] MODIFY_CNF 645 END : 35833924 bytes (0 seconds) [Mon Jun 19 12:35:17 2006] MODIFY_CNF 645 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 645 BEGIN : [Mon Jun 19 12:35:17 2006] CMD : minisat /tmp/csp2sat29747.cnf /tmp/csp2sat29747.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1184985 3464580 | 394995 0 0 nan | 0.000 % | | 100 | 1184985 3464580 | 434494 100 4107 41.1 | 35.418 % | ============================================================================== restarts : 2 conflicts : 240 (69 /sec) decisions : 765 (220 /sec) propagations : 891692 (256233 /sec) conflict literals : 8675 (6.11 % deleted) Memory used : 71.75 MB CPU time : 3.48 s SATISFIABLE VERIFY_CNF 645 END : (3 seconds) [Mon Jun 19 12:35:20 2006] VERIFY_CNF 645 CPU : 3.73 = 0 + 0 + 3.53 + 0.2 # RESULT : makespan 645 SATISFIABLE SHOW_RESULT 645 BEGIN : [Mon Jun 19 12:35:20 2006] # ASSIGN : makespan 645 # ASSIGN : s_0_0 301 # ASSIGN : s_0_1 643 # ASSIGN : s_0_2 464 # ASSIGN : s_0_3 234 # ASSIGN : s_0_4 396 # ASSIGN : s_0_5 349 # ASSIGN : s_0_6 182 # ASSIGN : s_0_7 99 # ASSIGN : s_0_8 14 # ASSIGN : s_0_9 592 # ASSIGN : s_1_0 84 # ASSIGN : s_1_1 48 # ASSIGN : s_1_2 236 # ASSIGN : s_1_3 491 # ASSIGN : s_1_4 170 # ASSIGN : s_1_5 588 # ASSIGN : s_1_6 566 # ASSIGN : s_1_7 479 # ASSIGN : s_1_8 348 # ASSIGN : s_1_9 440 # ASSIGN : s_2_0 7 # ASSIGN : s_2_1 556 # ASSIGN : s_2_2 394 # ASSIGN : s_2_3 1 # ASSIGN : s_2_4 230 # ASSIGN : s_2_5 101 # ASSIGN : s_2_6 298 # ASSIGN : s_2_7 35 # ASSIGN : s_2_8 192 # ASSIGN : s_2_9 466 # ASSIGN : s_3_0 173 # ASSIGN : s_3_1 418 # ASSIGN : s_3_2 332 # ASSIGN : s_3_3 507 # ASSIGN : s_3_4 295 # ASSIGN : s_3_5 5 # ASSIGN : s_3_6 74 # ASSIGN : s_3_7 204 # ASSIGN : s_3_8 574 # ASSIGN : s_3_9 401 # ASSIGN : s_4_0 442 # ASSIGN : s_4_1 389 # ASSIGN : s_4_2 8 # ASSIGN : s_4_3 104 # ASSIGN : s_4_4 124 # ASSIGN : s_4_5 576 # ASSIGN : s_4_6 246 # ASSIGN : s_4_7 498 # ASSIGN : s_4_8 83 # ASSIGN : s_4_9 179 # ASSIGN : s_5_0 411 # ASSIGN : s_5_1 77 # ASSIGN : s_5_2 174 # ASSIGN : s_5_3 599 # ASSIGN : s_5_4 479 # ASSIGN : s_5_5 422 # ASSIGN : s_5_6 7 # ASSIGN : s_5_7 562 # ASSIGN : s_5_8 255 # ASSIGN : s_5_9 341 # ASSIGN : s_6_0 31 # ASSIGN : s_6_1 257 # ASSIGN : s_6_2 601 # ASSIGN : s_6_3 386 # ASSIGN : s_6_4 84 # ASSIGN : s_6_5 216 # ASSIGN : s_6_6 140 # ASSIGN : s_6_7 301 # ASSIGN : s_6_8 479 # ASSIGN : s_6_9 191 # ASSIGN : s_7_0 221 # ASSIGN : s_7_1 303 # ASSIGN : s_7_2 119 # ASSIGN : s_7_3 11 # ASSIGN : s_7_4 565 # ASSIGN : s_7_5 187 # ASSIGN : s_7_6 468 # ASSIGN : s_7_7 398 # ASSIGN : s_7_8 465 # ASSIGN : s_7_9 285 # ASSIGN : s_8_0 569 # ASSIGN : s_8_1 516 # ASSIGN : s_8_2 80 # ASSIGN : s_8_3 137 # ASSIGN : s_8_4 343 # ASSIGN : s_8_5 249 # ASSIGN : s_8_6 607 # ASSIGN : s_8_7 544 # ASSIGN : s_8_8 2 # ASSIGN : s_8_9 8 # ASSIGN : s_9_0 270 # ASSIGN : s_9_1 186 # ASSIGN : s_9_2 560 # ASSIGN : s_9_3 302 # ASSIGN : s_9_4 2 # ASSIGN : s_9_5 477 # ASSIGN : s_9_6 395 # ASSIGN : s_9_7 611 # ASSIGN : s_9_8 91 # ASSIGN : s_9_9 236 SHOW_RESULT 645 END : 645 (0 seconds) [Mon Jun 19 12:35:20 2006] SHOW_RESULT 645 CPU : 0.170000000000002 = 0.170000000000002 + 0 + 0 + 0 # BOUND : makespan 637 645 MODIFY_CNF 641 BEGIN : [Mon Jun 19 12:35:20 2006] MODIFY_CNF 641 END : 35833923 bytes (0 seconds) [Mon Jun 19 12:35:20 2006] MODIFY_CNF 641 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 641 BEGIN : [Mon Jun 19 12:35:20 2006] CMD : minisat /tmp/csp2sat29747.cnf /tmp/csp2sat29747.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1177785 3442980 | 392595 0 0 nan | 0.000 % | | 100 | 1177785 3442980 | 431854 100 4832 48.3 | 35.847 % | ============================================================================== restarts : 2 conflicts : 163 (52 /sec) decisions : 731 (235 /sec) propagations : 657688 (211475 /sec) conflict literals : 5650 (5.50 % deleted) Memory used : 71.75 MB CPU time : 3.11 s SATISFIABLE VERIFY_CNF 641 END : (4 seconds) [Mon Jun 19 12:35:24 2006] VERIFY_CNF 641 CPU : 3.35 = 0 + 0 + 3.16 + 0.19 # RESULT : makespan 641 SATISFIABLE SHOW_RESULT 641 BEGIN : [Mon Jun 19 12:35:24 2006] # ASSIGN : makespan 641 # ASSIGN : s_0_0 122 # ASSIGN : s_0_1 461 # ASSIGN : s_0_2 262 # ASSIGN : s_0_3 475 # ASSIGN : s_0_4 392 # ASSIGN : s_0_5 542 # ASSIGN : s_0_6 589 # ASSIGN : s_0_7 179 # ASSIGN : s_0_8 53 # ASSIGN : s_0_9 2 # ASSIGN : s_1_0 543 # ASSIGN : s_1_1 430 # ASSIGN : s_1_2 166 # ASSIGN : s_1_3 270 # ASSIGN : s_1_4 10 # ASSIGN : s_1_5 485 # ASSIGN : s_1_6 144 # ASSIGN : s_1_7 629 # ASSIGN : s_1_8 329 # ASSIGN : s_1_9 459 # ASSIGN : s_2_0 428 # ASSIGN : s_2_1 554 # ASSIGN : s_2_2 358 # ASSIGN : s_2_3 101 # ASSIGN : s_2_4 107 # ASSIGN : s_2_5 15 # ASSIGN : s_2_6 172 # ASSIGN : s_2_7 452 # ASSIGN : s_2_8 516 # ASSIGN : s_2_9 268 # ASSIGN : s_3_0 502 # ASSIGN : s_3_1 341 # ASSIGN : s_3_2 431 # ASSIGN : s_3_3 191 # ASSIGN : s_3_4 70 # ASSIGN : s_3_5 122 # ASSIGN : s_3_6 0 # ASSIGN : s_3_7 533 # ASSIGN : s_3_8 258 # ASSIGN : s_3_9 624 # ASSIGN : s_4_0 372 # ASSIGN : s_4_1 190 # ASSIGN : s_4_2 0 # ASSIGN : s_4_3 170 # ASSIGN : s_4_4 595 # ASSIGN : s_4_5 444 # ASSIGN : s_4_6 277 # ASSIGN : s_4_7 124 # ASSIGN : s_4_8 250 # ASSIGN : s_4_9 583 # ASSIGN : s_5_0 359 # ASSIGN : s_5_1 19 # ASSIGN : s_5_2 493 # ASSIGN : s_5_3 116 # ASSIGN : s_5_4 222 # ASSIGN : s_5_5 370 # ASSIGN : s_5_6 425 # ASSIGN : s_5_7 322 # ASSIGN : s_5_8 555 # ASSIGN : s_5_9 162 # ASSIGN : s_6_0 233 # ASSIGN : s_6_1 138 # ASSIGN : s_6_2 556 # ASSIGN : s_6_3 286 # ASSIGN : s_6_4 182 # ASSIGN : s_6_5 608 # ASSIGN : s_6_6 379 # ASSIGN : s_6_7 39 # ASSIGN : s_6_8 421 # ASSIGN : s_6_9 531 # ASSIGN : s_7_0 170 # ASSIGN : s_7_1 219 # ASSIGN : s_7_2 111 # ASSIGN : s_7_3 8 # ASSIGN : s_7_4 305 # ASSIGN : s_7_5 456 # ASSIGN : s_7_6 492 # ASSIGN : s_7_7 385 # ASSIGN : s_7_8 5 # ASSIGN : s_7_9 606 # ASSIGN : s_8_0 291 # ASSIGN : s_8_1 516 # ASSIGN : s_8_2 72 # ASSIGN : s_8_3 544 # ASSIGN : s_8_4 460 # ASSIGN : s_8_5 193 # ASSIGN : s_8_6 329 # ASSIGN : s_8_7 367 # ASSIGN : s_8_8 133 # ASSIGN : s_8_9 387 # ASSIGN : s_9_0 35 # ASSIGN : s_9_1 463 # ASSIGN : s_9_2 600 # ASSIGN : s_9_3 379 # ASSIGN : s_9_4 513 # ASSIGN : s_9_5 287 # ASSIGN : s_9_6 66 # ASSIGN : s_9_7 1 # ASSIGN : s_9_8 139 # ASSIGN : s_9_9 234 SHOW_RESULT 641 END : 641 (0 seconds) [Mon Jun 19 12:35:24 2006] SHOW_RESULT 641 CPU : 0.169999999999997 = 0.159999999999997 + 0.01 + 0 + 0 # BOUND : makespan 637 641 MODIFY_CNF 639 BEGIN : [Mon Jun 19 12:35:24 2006] MODIFY_CNF 639 END : 35833923 bytes (0 seconds) [Mon Jun 19 12:35:24 2006] MODIFY_CNF 639 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 639 BEGIN : [Mon Jun 19 12:35:24 2006] CMD : minisat /tmp/csp2sat29747.cnf /tmp/csp2sat29747.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1174185 3432180 | 391395 0 0 nan | 0.000 % | | 100 | 1174185 3432180 | 430534 100 6281 62.8 | 36.062 % | ============================================================================== restarts : 2 conflicts : 222 (60 /sec) decisions : 757 (206 /sec) propagations : 1030395 (280762 /sec) conflict literals : 11980 (5.86 % deleted) Memory used : 71.75 MB CPU time : 3.67 s SATISFIABLE VERIFY_CNF 639 END : (4 seconds) [Mon Jun 19 12:35:28 2006] VERIFY_CNF 639 CPU : 3.87 = 0 + 0 + 3.72 + 0.15 # RESULT : makespan 639 SATISFIABLE SHOW_RESULT 639 BEGIN : [Mon Jun 19 12:35:28 2006] # ASSIGN : makespan 639 # ASSIGN : s_0_0 2 # ASSIGN : s_0_1 50 # ASSIGN : s_0_2 329 # ASSIGN : s_0_3 469 # ASSIGN : s_0_4 52 # ASSIGN : s_0_5 130 # ASSIGN : s_0_6 587 # ASSIGN : s_0_7 177 # ASSIGN : s_0_8 260 # ASSIGN : s_0_9 536 # ASSIGN : s_1_0 553 # ASSIGN : s_1_1 12 # ASSIGN : s_1_2 133 # ASSIGN : s_1_3 453 # ASSIGN : s_1_4 315 # ASSIGN : s_1_5 246 # ASSIGN : s_1_6 527 # ASSIGN : s_1_7 0 # ASSIGN : s_1_8 41 # ASSIGN : s_1_9 421 # ASSIGN : s_2_0 226 # ASSIGN : s_2_1 552 # ASSIGN : s_2_2 1 # ASSIGN : s_2_3 326 # ASSIGN : s_2_4 250 # ASSIGN : s_2_5 466 # ASSIGN : s_2_6 370 # ASSIGN : s_2_7 72 # ASSIGN : s_2_8 332 # ASSIGN : s_2_9 136 # ASSIGN : s_3_0 142 # ASSIGN : s_3_1 308 # ASSIGN : s_3_2 71 # ASSIGN : s_3_3 241 # ASSIGN : s_3_4 10 # ASSIGN : s_3_5 397 # ASSIGN : s_3_6 175 # ASSIGN : s_3_7 548 # ASSIGN : s_3_8 467 # ASSIGN : s_3_9 47 # ASSIGN : s_4_0 371 # ASSIGN : s_4_1 81 # ASSIGN : s_4_2 528 # ASSIGN : s_4_3 427 # ASSIGN : s_4_4 204 # ASSIGN : s_4_5 118 # ASSIGN : s_4_6 475 # ASSIGN : s_4_7 290 # ASSIGN : s_4_8 459 # ASSIGN : s_4_9 447 # ASSIGN : s_5_0 542 # ASSIGN : s_5_1 178 # ASSIGN : s_5_2 466 # ASSIGN : s_5_3 5 # ASSIGN : s_5_4 556 # ASSIGN : s_5_5 53 # ASSIGN : s_5_6 108 # ASSIGN : s_5_7 336 # ASSIGN : s_5_8 373 # ASSIGN : s_5_9 276 # ASSIGN : s_6_0 173 # ASSIGN : s_6_1 415 # ASSIGN : s_6_2 284 # ASSIGN : s_6_3 51 # ASSIGN : s_6_4 375 # ASSIGN : s_6_5 18 # ASSIGN : s_6_6 328 # ASSIGN : s_6_7 459 # ASSIGN : s_6_8 544 # ASSIGN : s_6_9 251 # ASSIGN : s_7_0 321 # ASSIGN : s_7_1 460 # ASSIGN : s_7_2 229 # ASSIGN : s_7_3 546 # ASSIGN : s_7_4 120 # ASSIGN : s_7_5 200 # ASSIGN : s_7_6 11 # ASSIGN : s_7_7 392 # ASSIGN : s_7_8 370 # ASSIGN : s_7_9 374 # ASSIGN : s_8_0 500 # ASSIGN : s_8_1 275 # ASSIGN : s_8_2 600 # ASSIGN : s_8_3 144 # ASSIGN : s_8_4 421 # ASSIGN : s_8_5 303 # ASSIGN : s_8_6 549 # ASSIGN : s_8_7 20 # ASSIGN : s_8_8 538 # ASSIGN : s_8_9 64 # ASSIGN : s_9_0 79 # ASSIGN : s_9_1 110 # ASSIGN : s_9_2 425 # ASSIGN : s_9_3 341 # ASSIGN : s_9_4 474 # ASSIGN : s_9_5 556 # ASSIGN : s_9_6 255 # ASSIGN : s_9_7 38 # ASSIGN : s_9_8 160 # ASSIGN : s_9_9 4 SHOW_RESULT 639 END : 639 (0 seconds) [Mon Jun 19 12:35:28 2006] SHOW_RESULT 639 CPU : 0.170000000000002 = 0.170000000000002 + 0 + 0 + 0 # BOUND : makespan 637 639 MODIFY_CNF 638 BEGIN : [Mon Jun 19 12:35:28 2006] MODIFY_CNF 638 END : 35833923 bytes (0 seconds) [Mon Jun 19 12:35:28 2006] MODIFY_CNF 638 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 638 BEGIN : [Mon Jun 19 12:35:28 2006] CMD : minisat /tmp/csp2sat29747.cnf /tmp/csp2sat29747.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1172385 3426780 | 390795 0 0 nan | 0.000 % | | 101 | 1172385 3426780 | 429874 101 4764 47.2 | 36.169 % | ============================================================================== restarts : 2 conflicts : 220 (60 /sec) decisions : 770 (212 /sec) propagations : 1046487 (287496 /sec) conflict literals : 10044 (6.87 % deleted) Memory used : 71.75 MB CPU time : 3.64 s SATISFIABLE VERIFY_CNF 638 END : (4 seconds) [Mon Jun 19 12:35:32 2006] VERIFY_CNF 638 CPU : 3.91 = 0 + 0 + 3.69 + 0.22 # RESULT : makespan 638 SATISFIABLE SHOW_RESULT 638 BEGIN : [Mon Jun 19 12:35:32 2006] # ASSIGN : makespan 638 # ASSIGN : s_0_0 419 # ASSIGN : s_0_1 589 # ASSIGN : s_0_2 0 # ASSIGN : s_0_3 519 # ASSIGN : s_0_4 348 # ASSIGN : s_0_5 591 # ASSIGN : s_0_6 467 # ASSIGN : s_0_7 233 # ASSIGN : s_0_8 96 # ASSIGN : s_0_9 174 # ASSIGN : s_1_0 212 # ASSIGN : s_1_1 549 # ASSIGN : s_1_2 429 # ASSIGN : s_1_3 191 # ASSIGN : s_1_4 578 # ASSIGN : s_1_5 101 # ASSIGN : s_1_6 169 # ASSIGN : s_1_7 316 # ASSIGN : s_1_8 4 # ASSIGN : s_1_9 382 # ASSIGN : s_2_0 298 # ASSIGN : s_2_1 9 # ASSIGN : s_2_2 97 # ASSIGN : s_2_3 632 # ASSIGN : s_2_4 233 # ASSIGN : s_2_5 322 # ASSIGN : s_2_6 536 # ASSIGN : s_2_7 169 # ASSIGN : s_2_8 498 # ASSIGN : s_2_9 408 # ASSIGN : s_3_0 127 # ASSIGN : s_3_1 458 # ASSIGN : s_3_2 367 # ASSIGN : s_3_3 227 # ASSIGN : s_3_4 90 # ASSIGN : s_3_5 158 # ASSIGN : s_3_6 4 # ASSIGN : s_3_7 547 # ASSIGN : s_3_8 294 # ASSIGN : s_3_9 73 # ASSIGN : s_4_0 469 # ASSIGN : s_4_1 609 # ASSIGN : s_4_2 525 # ASSIGN : s_4_3 207 # ASSIGN : s_4_4 302 # ASSIGN : s_4_5 89 # ASSIGN : s_4_6 415 # ASSIGN : s_4_7 369 # ASSIGN : s_4_8 282 # ASSIGN : s_4_9 290 # ASSIGN : s_5_0 575 # ASSIGN : s_5_1 96 # ASSIGN : s_5_2 266 # ASSIGN : s_5_3 586 # ASSIGN : s_5_4 7 # ASSIGN : s_5_5 451 # ASSIGN : s_5_6 193 # ASSIGN : s_5_7 328 # ASSIGN : s_5_8 365 # ASSIGN : s_5_9 506 # ASSIGN : s_6_0 3 # ASSIGN : s_6_1 414 # ASSIGN : s_6_2 222 # ASSIGN : s_6_3 89 # ASSIGN : s_6_4 182 # ASSIGN : s_6_5 56 # ASSIGN : s_6_6 335 # ASSIGN : s_6_7 458 # ASSIGN : s_6_8 543 # ASSIGN : s_6_9 310 # ASSIGN : s_7_0 589 # ASSIGN : s_7_1 243 # ASSIGN : s_7_2 167 # ASSIGN : s_7_3 329 # ASSIGN : s_7_4 498 # ASSIGN : s_7_5 422 # ASSIGN : s_7_6 70 # ASSIGN : s_7_7 3 # ASSIGN : s_7_8 495 # ASSIGN : s_7_9 225 # ASSIGN : s_8_0 73 # ASSIGN : s_8_1 200 # ASSIGN : s_8_2 328 # ASSIGN : s_8_3 422 # ASSIGN : s_8_4 129 # ASSIGN : s_8_5 228 # ASSIGN : s_8_6 377 # ASSIGN : s_8_7 111 # ASSIGN : s_8_8 537 # ASSIGN : s_8_9 566 # ASSIGN : s_9_0 333 # ASSIGN : s_9_1 364 # ASSIGN : s_9_2 597 # ASSIGN : s_9_3 5 # ASSIGN : s_9_4 416 # ASSIGN : s_9_5 508 # ASSIGN : s_9_6 260 # ASSIGN : s_9_7 131 # ASSIGN : s_9_8 165 # ASSIGN : s_9_9 97 SHOW_RESULT 638 END : 638 (0 seconds) [Mon Jun 19 12:35:32 2006] SHOW_RESULT 638 CPU : 0.169999999999997 = 0.159999999999997 + 0.01 + 0 + 0 # BOUND : makespan 637 638 MODIFY_CNF 637 BEGIN : [Mon Jun 19 12:35:32 2006] MODIFY_CNF 637 END : 35833923 bytes (0 seconds) [Mon Jun 19 12:35:32 2006] MODIFY_CNF 637 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 637 BEGIN : [Mon Jun 19 12:35:32 2006] CMD : minisat /tmp/csp2sat29747.cnf /tmp/csp2sat29747.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1170586 3421380 | 390195 0 0 nan | 0.000 % | | 101 | 1170586 3421380 | 429214 101 3560 35.2 | 36.276 % | | 251 | 1170586 3421380 | 472135 251 6999 27.9 | 36.276 % | | 480 | 1170586 3421380 | 519349 480 14261 29.7 | 36.276 % | | 817 | 1170586 3421380 | 571284 817 21187 25.9 | 36.276 % | ============================================================================== restarts : 5 conflicts : 1301 (239 /sec) decisions : 2479 (455 /sec) propagations : 2511186 (460768 /sec) conflict literals : 33100 (9.55 % deleted) Memory used : 71.75 MB CPU time : 5.45 s SATISFIABLE VERIFY_CNF 637 END : (6 seconds) [Mon Jun 19 12:35:38 2006] VERIFY_CNF 637 CPU : 5.67 = 0 + 0 + 5.49 + 0.18 # RESULT : makespan 637 SATISFIABLE SHOW_RESULT 637 BEGIN : [Mon Jun 19 12:35:38 2006] # ASSIGN : makespan 637 # ASSIGN : s_0_0 428 # ASSIGN : s_0_1 548 # ASSIGN : s_0_2 114 # ASSIGN : s_0_3 0 # ASSIGN : s_0_4 289 # ASSIGN : s_0_5 67 # ASSIGN : s_0_6 357 # ASSIGN : s_0_7 554 # ASSIGN : s_0_8 476 # ASSIGN : s_0_9 223 # ASSIGN : s_1_0 195 # ASSIGN : s_1_1 494 # ASSIGN : s_1_2 323 # ASSIGN : s_1_3 441 # ASSIGN : s_1_4 100 # ASSIGN : s_1_5 10 # ASSIGN : s_1_6 523 # ASSIGN : s_1_7 281 # ASSIGN : s_1_8 545 # ASSIGN : s_1_9 297 # ASSIGN : s_2_0 75 # ASSIGN : s_2_1 550 # ASSIGN : s_2_2 0 # ASSIGN : s_2_3 99 # ASSIGN : s_2_4 357 # ASSIGN : s_2_5 207 # ASSIGN : s_2_6 111 # ASSIGN : s_2_7 293 # ASSIGN : s_2_8 422 # ASSIGN : s_2_9 460 # ASSIGN : s_3_0 544 # ASSIGN : s_3_1 169 # ASSIGN : s_3_2 575 # ASSIGN : s_3_3 477 # ASSIGN : s_3_4 435 # ASSIGN : s_3_5 360 # ASSIGN : s_3_6 291 # ASSIGN : s_3_7 6 # ASSIGN : s_3_8 98 # ASSIGN : s_3_9 274 # ASSIGN : s_4_0 488 # ASSIGN : s_4_1 385 # ASSIGN : s_4_2 210 # ASSIGN : s_4_3 457 # ASSIGN : s_4_4 160 # ASSIGN : s_4_5 314 # ASSIGN : s_4_6 547 # ASSIGN : s_4_7 97 # ASSIGN : s_4_8 414 # ASSIGN : s_4_9 85 # ASSIGN : s_5_0 312 # ASSIGN : s_5_1 8 # ASSIGN : s_5_2 513 # ASSIGN : s_5_3 105 # ASSIGN : s_5_4 206 # ASSIGN : s_5_5 151 # ASSIGN : s_5_6 409 # ASSIGN : s_5_7 476 # ASSIGN : s_5_8 323 # ASSIGN : s_5_9 577 # ASSIGN : s_6_0 359 # ASSIGN : s_6_1 437 # ASSIGN : s_6_2 70 # ASSIGN : s_6_3 544 # ASSIGN : s_6_4 7 # ASSIGN : s_6_5 326 # ASSIGN : s_6_6 481 # ASSIGN : s_6_7 143 # ASSIGN : s_6_8 228 # ASSIGN : s_6_9 412 # ASSIGN : s_7_0 115 # ASSIGN : s_7_1 258 # ASSIGN : s_7_2 458 # ASSIGN : s_7_3 164 # ASSIGN : s_7_4 557 # ASSIGN : s_7_5 429 # ASSIGN : s_7_6 14 # ASSIGN : s_7_7 362 # ASSIGN : s_7_8 0 # ASSIGN : s_7_9 344 # ASSIGN : s_8_0 9 # ASSIGN : s_8_1 357 # ASSIGN : s_8_2 419 # ASSIGN : s_8_3 257 # ASSIGN : s_8_4 47 # ASSIGN : s_8_5 460 # ASSIGN : s_8_6 599 # ASSIGN : s_8_7 239 # ASSIGN : s_8_8 222 # ASSIGN : s_8_9 103 # ASSIGN : s_9_0 323 # ASSIGN : s_9_1 119 # ASSIGN : s_9_2 282 # ASSIGN : s_9_3 354 # ASSIGN : s_9_4 472 # ASSIGN : s_9_5 554 # ASSIGN : s_9_6 209 # ASSIGN : s_9_7 438 # ASSIGN : s_9_8 3 # ASSIGN : s_9_9 175 SHOW_RESULT 637 END : 637 (0 seconds) [Mon Jun 19 12:35:38 2006] SHOW_RESULT 637 CPU : 0.169999999999997 = 0.159999999999997 + 0.01 + 0 + 0 # BOUND : makespan 637 637 MAIN END : (99 seconds) [Mon Jun 19 12:35:38 2006] MAIN CPU : 98.23 = 65.88 + 0.39 + 30.08 + 1.88