MAIN BEGIN : [Sat Jun 3 11:34:29 2006] READ BEGIN : csp/tai07.csp [Sat Jun 3 11:34:29 2006] READ END : csp/tai07.csp (5 seconds) [Sat Jun 3 11:34:34 2006] READ CPU : 4.58 = 4.58 + 0 + 0 + 0 # BOUND : makespan 935 1582 GENERATE_CNF 1582 BEGIN : [Sat Jun 3 11:34:34 2006] GENERATE_CNF 1582 END : 360424 variables 5518383 clauses 131671412 bytes (272 seconds) [Sat Jun 3 11:39:06 2006] GENERATE_CNF 1582 CPU : 271.14 = 270.78 + 0.36 + 0 + 0 MODIFY_CNF 1258 BEGIN : [Sat Jun 3 11:39:06 2006] MODIFY_CNF 1258 END : 131671418 bytes (0 seconds) [Sat Jun 3 11:39:06 2006] MODIFY_CNF 1258 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1258 BEGIN : [Sat Jun 3 11:39:06 2006] CMD : minisat /work/tamura/csp2sat111058.cnf /work/tamura/csp2sat111058.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1808791 5315053 | 602930 0 0 NaNQ | 0.000 % | | 100 | 1808791 5315053 | 663223 99 1775 17.9 | 68.769 % | | 251 | 1808791 5315053 | 729545 250 3320 13.3 | 68.769 % | | 476 | 1808791 5315053 | 802499 475 7387 15.6 | 68.769 % | | 813 | 1807759 5311958 | 882749 812 16711 20.6 | 68.769 % | | 1319 | 1807759 5311958 | 971024 1318 25630 19.4 | 68.769 % | | 2079 | 1807759 5311958 | 1068127 2078 40315 19.4 | 68.769 % | ==============================================================================) restarts : 7 conflicts : 2647 (102 /sec) decisions : 4538 (174 /sec) propagations : 34692145 (1331881 /sec) inspects : 302519837 (11614170 /sec) conflict literals : 50996 (28.30 % deleted) CPU time : 26.0475 s SATISFIABLE VERIFY_CNF 1258 END : (28 seconds) [Sat Jun 3 11:39:34 2006] VERIFY_CNF 1258 CPU : 27.52 = 0.0100000000000477 + 0.02 + 27.36 + 0.13 # RESULT : makespan 1258 SATISFIABLE SHOW_RESULT 1258 BEGIN : [Sat Jun 3 11:39:34 2006] # ASSIGN : makespan 1258 # ASSIGN : s_0_0 167 # ASSIGN : s_0_1 219 # ASSIGN : s_0_2 238 # ASSIGN : s_0_3 244 # ASSIGN : s_0_4 273 # ASSIGN : s_0_5 336 # ASSIGN : s_0_6 362 # ASSIGN : s_0_7 452 # ASSIGN : s_0_8 704 # ASSIGN : s_0_9 731 # ASSIGN : s_0_10 913 # ASSIGN : s_0_11 965 # ASSIGN : s_0_12 1045 # ASSIGN : s_0_13 1055 # ASSIGN : s_0_14 1217 # ASSIGN : s_1_0 59 # ASSIGN : s_1_1 114 # ASSIGN : s_1_2 199 # ASSIGN : s_1_3 201 # ASSIGN : s_1_4 373 # ASSIGN : s_1_5 459 # ASSIGN : s_1_6 556 # ASSIGN : s_1_7 617 # ASSIGN : s_1_8 638 # ASSIGN : s_1_9 694 # ASSIGN : s_1_10 706 # ASSIGN : s_1_11 798 # ASSIGN : s_1_12 832 # ASSIGN : s_1_13 937 # ASSIGN : s_1_14 971 # ASSIGN : s_2_0 5 # ASSIGN : s_2_1 143 # ASSIGN : s_2_2 215 # ASSIGN : s_2_3 382 # ASSIGN : s_2_4 445 # ASSIGN : s_2_5 601 # ASSIGN : s_2_6 630 # ASSIGN : s_2_7 654 # ASSIGN : s_2_8 688 # ASSIGN : s_2_9 782 # ASSIGN : s_2_10 865 # ASSIGN : s_2_11 1038 # ASSIGN : s_2_12 1064 # ASSIGN : s_2_13 1162 # ASSIGN : s_2_14 1227 # ASSIGN : s_3_0 307 # ASSIGN : s_3_1 321 # ASSIGN : s_3_2 366 # ASSIGN : s_3_3 489 # ASSIGN : s_3_4 617 # ASSIGN : s_3_5 716 # ASSIGN : s_3_6 777 # ASSIGN : s_3_7 778 # ASSIGN : s_3_8 826 # ASSIGN : s_3_9 868 # ASSIGN : s_3_10 981 # ASSIGN : s_3_11 1002 # ASSIGN : s_3_12 1019 # ASSIGN : s_3_13 1103 # ASSIGN : s_3_14 1206 # ASSIGN : s_4_0 29 # ASSIGN : s_4_1 112 # ASSIGN : s_4_2 164 # ASSIGN : s_4_3 239 # ASSIGN : s_4_4 317 # ASSIGN : s_4_5 324 # ASSIGN : s_4_6 354 # ASSIGN : s_4_7 451 # ASSIGN : s_4_8 518 # ASSIGN : s_4_9 547 # ASSIGN : s_4_10 628 # ASSIGN : s_4_11 707 # ASSIGN : s_4_12 878 # ASSIGN : s_4_13 1169 # ASSIGN : s_4_14 1223 # ASSIGN : s_5_0 45 # ASSIGN : s_5_1 48 # ASSIGN : s_5_2 79 # ASSIGN : s_5_3 177 # ASSIGN : s_5_4 274 # ASSIGN : s_5_5 351 # ASSIGN : s_5_6 438 # ASSIGN : s_5_7 568 # ASSIGN : s_5_8 730 # ASSIGN : s_5_9 739 # ASSIGN : s_5_10 1017 # ASSIGN : s_5_11 1024 # ASSIGN : s_5_12 1073 # ASSIGN : s_5_13 1093 # ASSIGN : s_5_14 1199 # ASSIGN : s_6_0 39 # ASSIGN : s_6_1 67 # ASSIGN : s_6_2 160 # ASSIGN : s_6_3 236 # ASSIGN : s_6_4 287 # ASSIGN : s_6_5 474 # ASSIGN : s_6_6 479 # ASSIGN : s_6_7 605 # ASSIGN : s_6_8 657 # ASSIGN : s_6_9 728 # ASSIGN : s_6_10 749 # ASSIGN : s_6_11 798 # ASSIGN : s_6_12 916 # ASSIGN : s_6_13 1077 # ASSIGN : s_6_14 1168 # ASSIGN : s_7_0 7 # ASSIGN : s_7_1 32 # ASSIGN : s_7_2 119 # ASSIGN : s_7_3 186 # ASSIGN : s_7_4 371 # ASSIGN : s_7_5 553 # ASSIGN : s_7_6 609 # ASSIGN : s_7_7 675 # ASSIGN : s_7_8 805 # ASSIGN : s_7_9 861 # ASSIGN : s_7_10 991 # ASSIGN : s_7_11 1048 # ASSIGN : s_7_12 1064 # ASSIGN : s_7_13 1098 # ASSIGN : s_7_14 1197 # ASSIGN : s_8_0 152 # ASSIGN : s_8_1 234 # ASSIGN : s_8_2 265 # ASSIGN : s_8_3 420 # ASSIGN : s_8_4 436 # ASSIGN : s_8_5 528 # ASSIGN : s_8_6 576 # ASSIGN : s_8_7 635 # ASSIGN : s_8_8 767 # ASSIGN : s_8_9 796 # ASSIGN : s_8_10 895 # ASSIGN : s_8_11 955 # ASSIGN : s_8_12 1012 # ASSIGN : s_8_13 1138 # ASSIGN : s_8_14 1199 # ASSIGN : s_9_0 1 # ASSIGN : s_9_1 66 # ASSIGN : s_9_2 91 # ASSIGN : s_9_3 171 # ASSIGN : s_9_4 289 # ASSIGN : s_9_5 496 # ASSIGN : s_9_6 578 # ASSIGN : s_9_7 703 # ASSIGN : s_9_8 734 # ASSIGN : s_9_9 757 # ASSIGN : s_9_10 860 # ASSIGN : s_9_11 943 # ASSIGN : s_9_12 1106 # ASSIGN : s_9_13 1161 # ASSIGN : s_9_14 1227 # ASSIGN : s_10_0 83 # ASSIGN : s_10_1 103 # ASSIGN : s_10_2 202 # ASSIGN : s_10_3 264 # ASSIGN : s_10_4 352 # ASSIGN : s_10_5 377 # ASSIGN : s_10_6 454 # ASSIGN : s_10_7 544 # ASSIGN : s_10_8 637 # ASSIGN : s_10_9 843 # ASSIGN : s_10_10 887 # ASSIGN : s_10_11 904 # ASSIGN : s_10_12 958 # ASSIGN : s_10_13 1068 # ASSIGN : s_10_14 1069 # ASSIGN : s_11_0 246 # ASSIGN : s_11_1 305 # ASSIGN : s_11_2 327 # ASSIGN : s_11_3 585 # ASSIGN : s_11_4 595 # ASSIGN : s_11_5 596 # ASSIGN : s_11_6 651 # ASSIGN : s_11_7 674 # ASSIGN : s_11_8 791 # ASSIGN : s_11_9 884 # ASSIGN : s_11_10 943 # ASSIGN : s_11_11 1021 # ASSIGN : s_11_12 1094 # ASSIGN : s_11_13 1153 # ASSIGN : s_11_14 1195 # ASSIGN : s_12_0 166 # ASSIGN : s_12_1 523 # ASSIGN : s_12_2 603 # ASSIGN : s_12_3 618 # ASSIGN : s_12_4 698 # ASSIGN : s_12_5 720 # ASSIGN : s_12_6 728 # ASSIGN : s_12_7 821 # ASSIGN : s_12_8 848 # ASSIGN : s_12_9 878 # ASSIGN : s_12_10 964 # ASSIGN : s_12_11 990 # ASSIGN : s_12_12 1041 # ASSIGN : s_12_13 1084 # ASSIGN : s_12_14 1164 # ASSIGN : s_13_0 113 # ASSIGN : s_13_1 185 # ASSIGN : s_13_2 263 # ASSIGN : s_13_3 292 # ASSIGN : s_13_4 390 # ASSIGN : s_13_5 451 # ASSIGN : s_13_6 497 # ASSIGN : s_13_7 540 # ASSIGN : s_13_8 615 # ASSIGN : s_13_9 705 # ASSIGN : s_13_10 749 # ASSIGN : s_13_11 820 # ASSIGN : s_13_12 912 # ASSIGN : s_13_13 928 # ASSIGN : s_13_14 1054 # ASSIGN : s_14_0 2 # ASSIGN : s_14_1 235 # ASSIGN : s_14_2 279 # ASSIGN : s_14_3 320 # ASSIGN : s_14_4 352 # ASSIGN : s_14_5 388 # ASSIGN : s_14_6 473 # ASSIGN : s_14_7 503 # ASSIGN : s_14_8 526 # ASSIGN : s_14_9 658 # ASSIGN : s_14_10 704 # ASSIGN : s_14_11 758 # ASSIGN : s_14_12 775 # ASSIGN : s_14_13 1015 # ASSIGN : s_14_14 1060 SHOW_RESULT 1258 END : 1258 (1 seconds) [Sat Jun 3 11:39:35 2006] SHOW_RESULT 1258 CPU : 0.989999999999952 = 0.989999999999952 + 0 + 0 + 0 # BOUND : makespan 935 1258 MODIFY_CNF 1096 BEGIN : [Sat Jun 3 11:39:35 2006] MODIFY_CNF 1096 END : 131671418 bytes (0 seconds) [Sat Jun 3 11:39:35 2006] MODIFY_CNF 1096 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1096 BEGIN : [Sat Jun 3 11:39:35 2006] CMD : minisat /work/tamura/csp2sat111058.cnf /work/tamura/csp2sat111058.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1116008 3273760 | 372002 0 0 NaNQ | 0.000 % | ==============================================================================) restarts : 1 conflicts : 51 (6 /sec) decisions : 80 (9 /sec) propagations : 772510 (90658 /sec) inspects : 4730396 (555134 /sec) conflict literals : 161 (27.15 % deleted) CPU time : 8.52117 s UNSATISFIABLE VERIFY_CNF 1096 END : (9 seconds) [Sat Jun 3 11:39:44 2006] VERIFY_CNF 1096 CPU : 9.94 = 0 + 0.03 + 9.41 + 0.5 # RESULT : makespan 1096 UNSATISFIABLE # BOUND : makespan 1097 1258 MODIFY_CNF 1177 BEGIN : [Sat Jun 3 11:39:44 2006] MODIFY_CNF 1177 END : 131671418 bytes (0 seconds) [Sat Jun 3 11:39:44 2006] MODIFY_CNF 1177 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1177 BEGIN : [Sat Jun 3 11:39:44 2006] CMD : minisat /work/tamura/csp2sat111058.cnf /work/tamura/csp2sat111058.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1454982 4272120 | 484994 0 0 NaNQ | 0.000 % | | 101 | 1454982 4272120 | 533493 101 734 7.3 | 73.934 % | | 252 | 1454982 4272120 | 586842 252 2100 8.3 | 73.934 % | | 477 | 1451796 4262794 | 645527 378 3282 8.7 | 73.999 % | | 814 | 1451796 4262794 | 710079 715 7738 10.8 | 73.999 % | | 1320 | 1433278 4208057 | 781087 1063 10822 10.2 | 74.226 % | | 2081 | 1403279 4119417 | 859196 1593 16078 10.1 | 74.742 % | ==============================================================================) restarts : 7 conflicts : 2372 (118 /sec) decisions : 3232 (160 /sec) propagations : 28682084 (1423616 /sec) inspects : 183399267 (9102902 /sec) conflict literals : 22837 (35.29 % deleted) CPU time : 20.1473 s UNSATISFIABLE VERIFY_CNF 1177 END : (22 seconds) [Sat Jun 3 11:40:06 2006] VERIFY_CNF 1177 CPU : 21.33 = 0.0100000000000477 + 0.01 + 21.17 + 0.14 # RESULT : makespan 1177 UNSATISFIABLE # BOUND : makespan 1178 1258 MODIFY_CNF 1218 BEGIN : [Sat Jun 3 11:40:06 2006] MODIFY_CNF 1218 END : 131671418 bytes (0 seconds) [Sat Jun 3 11:40:06 2006] MODIFY_CNF 1218 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1218 BEGIN : [Sat Jun 3 11:40:06 2006] CMD : minisat /work/tamura/csp2sat111058.cnf /work/tamura/csp2sat111058.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1629076 4785035 | 543025 0 0 NaNQ | 0.000 % | | 100 | 1629076 4785035 | 597327 100 1047 10.5 | 71.317 % | | 252 | 1629076 4785035 | 657060 252 2672 10.6 | 71.317 % | | 477 | 1629076 4785035 | 722766 477 4628 9.7 | 71.317 % | | 814 | 1629076 4785035 | 795042 814 8446 10.4 | 71.317 % | | 1320 | 1629076 4785035 | 874547 1320 13714 10.4 | 71.317 % | | 2079 | 1629076 4785035 | 962001 2079 26958 13.0 | 71.317 % | | 3218 | 1629076 4785035 | 1058202 3218 42228 13.1 | 71.317 % | | 4926 | 1629076 4785035 | 1164022 4926 83105 16.9 | 71.317 % | | 7489 | 1629076 4785035 | 1280424 7489 121451 16.2 | 71.317 % | | 11333 | 1629076 4785035 | 1408466 11333 181095 16.0 | 71.317 % | | 17100 | 1629076 4785035 | 1549313 17100 296693 17.4 | 71.317 % | | 25749 | 1615673 4745511 | 1704245 23634 433190 18.3 | 71.509 % | | 38723 | 1615673 4745511 | 1874669 36608 730204 19.9 | 71.509 % | ==============================================================================) restarts : 14 conflicts : 48377 (147 /sec) decisions : 63119 (192 /sec) propagations : 621853842 (1893957 /sec) inspects : 4851991380 (14777527 /sec) conflict literals : 955795 (40.96 % deleted) CPU time : 328.336 s UNSATISFIABLE VERIFY_CNF 1218 END : (330 seconds) [Sat Jun 3 11:45:36 2006] VERIFY_CNF 1218 CPU : 329.48 = 0 + 0.02 + 329.32 + 0.14 # RESULT : makespan 1218 UNSATISFIABLE # BOUND : makespan 1219 1258 MODIFY_CNF 1238 BEGIN : [Sat Jun 3 11:45:36 2006] MODIFY_CNF 1238 END : 131671418 bytes (0 seconds) [Sat Jun 3 11:45:36 2006] MODIFY_CNF 1238 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1238 BEGIN : [Sat Jun 3 11:45:36 2006] CMD : minisat /work/tamura/csp2sat111058.cnf /work/tamura/csp2sat111058.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1719831 5052733 | 573277 0 0 NaNQ | 0.000 % | | 100 | 1719831 5052733 | 630604 100 1075 10.8 | 70.041 % | | 251 | 1719831 5052733 | 693665 251 2823 11.2 | 70.041 % | | 477 | 1719831 5052733 | 763031 477 6204 13.0 | 70.041 % | | 814 | 1719831 5052733 | 839334 814 10885 13.4 | 70.041 % | | 1322 | 1719831 5052733 | 923268 1322 19090 14.4 | 70.041 % | | 2081 | 1719831 5052733 | 1015595 2081 35659 17.1 | 70.041 % | | 3220 | 1719831 5052733 | 1117154 3220 58780 18.3 | 70.041 % | | 4929 | 1719831 5052733 | 1228870 4929 98360 20.0 | 70.041 % | | 7492 | 1719831 5052733 | 1351757 7492 152687 20.4 | 70.041 % | ==============================================================================) restarts : 10 conflicts : 11324 (138 /sec) decisions : 16527 (201 /sec) propagations : 144737302 (1762098 /sec) inspects : 1226331179 (14929912 /sec) conflict literals : 231062 (31.24 % deleted) CPU time : 82.1392 s SATISFIABLE VERIFY_CNF 1238 END : (84 seconds) [Sat Jun 3 11:47:00 2006] VERIFY_CNF 1238 CPU : 83.6 = 0 + 0.02 + 83.43 + 0.15 # RESULT : makespan 1238 SATISFIABLE SHOW_RESULT 1238 BEGIN : [Sat Jun 3 11:47:00 2006] # ASSIGN : makespan 1238 # ASSIGN : s_0_0 40 # ASSIGN : s_0_1 110 # ASSIGN : s_0_2 166 # ASSIGN : s_0_3 172 # ASSIGN : s_0_4 192 # ASSIGN : s_0_5 193 # ASSIGN : s_0_6 219 # ASSIGN : s_0_7 484 # ASSIGN : s_0_8 728 # ASSIGN : s_0_9 755 # ASSIGN : s_0_10 840 # ASSIGN : s_0_11 950 # ASSIGN : s_0_12 1030 # ASSIGN : s_0_13 1040 # ASSIGN : s_0_14 1197 # ASSIGN : s_1_0 267 # ASSIGN : s_1_1 340 # ASSIGN : s_1_2 427 # ASSIGN : s_1_3 429 # ASSIGN : s_1_4 507 # ASSIGN : s_1_5 593 # ASSIGN : s_1_6 692 # ASSIGN : s_1_7 753 # ASSIGN : s_1_8 871 # ASSIGN : s_1_9 927 # ASSIGN : s_1_10 939 # ASSIGN : s_1_11 1026 # ASSIGN : s_1_12 1060 # ASSIGN : s_1_13 1115 # ASSIGN : s_1_14 1154 # ASSIGN : s_2_0 8 # ASSIGN : s_2_1 79 # ASSIGN : s_2_2 200 # ASSIGN : s_2_3 351 # ASSIGN : s_2_4 423 # ASSIGN : s_2_5 597 # ASSIGN : s_2_6 626 # ASSIGN : s_2_7 650 # ASSIGN : s_2_8 684 # ASSIGN : s_2_9 773 # ASSIGN : s_2_10 856 # ASSIGN : s_2_11 1018 # ASSIGN : s_2_12 1044 # ASSIGN : s_2_13 1142 # ASSIGN : s_2_14 1207 # ASSIGN : s_3_0 168 # ASSIGN : s_3_1 178 # ASSIGN : s_3_2 334 # ASSIGN : s_3_3 506 # ASSIGN : s_3_4 647 # ASSIGN : s_3_5 724 # ASSIGN : s_3_6 785 # ASSIGN : s_3_7 786 # ASSIGN : s_3_8 834 # ASSIGN : s_3_9 864 # ASSIGN : s_3_10 977 # ASSIGN : s_3_11 998 # ASSIGN : s_3_12 1015 # ASSIGN : s_3_13 1083 # ASSIGN : s_3_14 1186 # ASSIGN : s_4_0 201 # ASSIGN : s_4_1 284 # ASSIGN : s_4_2 336 # ASSIGN : s_4_3 406 # ASSIGN : s_4_4 515 # ASSIGN : s_4_5 522 # ASSIGN : s_4_6 550 # ASSIGN : s_4_7 676 # ASSIGN : s_4_8 807 # ASSIGN : s_4_9 836 # ASSIGN : s_4_10 917 # ASSIGN : s_4_11 977 # ASSIGN : s_4_12 1068 # ASSIGN : s_4_13 1149 # ASSIGN : s_4_14 1203 # ASSIGN : s_5_0 164 # ASSIGN : s_5_1 167 # ASSIGN : s_5_2 198 # ASSIGN : s_5_3 309 # ASSIGN : s_5_4 520 # ASSIGN : s_5_5 597 # ASSIGN : s_5_6 643 # ASSIGN : s_5_7 734 # ASSIGN : s_5_8 744 # ASSIGN : s_5_9 908 # ASSIGN : s_5_10 1001 # ASSIGN : s_5_11 1008 # ASSIGN : s_5_12 1095 # ASSIGN : s_5_13 1134 # ASSIGN : s_5_14 1179 # ASSIGN : s_6_0 42 # ASSIGN : s_6_1 70 # ASSIGN : s_6_2 163 # ASSIGN : s_6_3 167 # ASSIGN : s_6_4 253 # ASSIGN : s_6_5 569 # ASSIGN : s_6_6 618 # ASSIGN : s_6_7 636 # ASSIGN : s_6_8 688 # ASSIGN : s_6_9 735 # ASSIGN : s_6_10 756 # ASSIGN : s_6_11 816 # ASSIGN : s_6_12 886 # ASSIGN : s_6_13 1057 # ASSIGN : s_6_14 1148 # ASSIGN : s_7_0 0 # ASSIGN : s_7_1 25 # ASSIGN : s_7_2 110 # ASSIGN : s_7_3 183 # ASSIGN : s_7_4 214 # ASSIGN : s_7_5 281 # ASSIGN : s_7_6 348 # ASSIGN : s_7_7 414 # ASSIGN : s_7_8 518 # ASSIGN : s_7_9 574 # ASSIGN : s_7_10 656 # ASSIGN : s_7_11 757 # ASSIGN : s_7_12 773 # ASSIGN : s_7_13 1072 # ASSIGN : s_7_14 1171 # ASSIGN : s_8_0 16 # ASSIGN : s_8_1 98 # ASSIGN : s_8_2 129 # ASSIGN : s_8_3 151 # ASSIGN : s_8_4 487 # ASSIGN : s_8_5 574 # ASSIGN : s_8_6 622 # ASSIGN : s_8_7 681 # ASSIGN : s_8_8 763 # ASSIGN : s_8_9 792 # ASSIGN : s_8_10 891 # ASSIGN : s_8_11 946 # ASSIGN : s_8_12 982 # ASSIGN : s_8_13 1073 # ASSIGN : s_8_14 1179 # ASSIGN : s_9_0 114 # ASSIGN : s_9_1 180 # ASSIGN : s_9_2 205 # ASSIGN : s_9_3 274 # ASSIGN : s_9_4 425 # ASSIGN : s_9_5 528 # ASSIGN : s_9_6 585 # ASSIGN : s_9_7 682 # ASSIGN : s_9_8 713 # ASSIGN : s_9_9 728 # ASSIGN : s_9_10 753 # ASSIGN : s_9_11 879 # ASSIGN : s_9_12 985 # ASSIGN : s_9_13 1141 # ASSIGN : s_9_14 1207 # ASSIGN : s_10_0 68 # ASSIGN : s_10_1 88 # ASSIGN : s_10_2 187 # ASSIGN : s_10_3 218 # ASSIGN : s_10_4 306 # ASSIGN : s_10_5 331 # ASSIGN : s_10_6 406 # ASSIGN : s_10_7 496 # ASSIGN : s_10_8 683 # ASSIGN : s_10_9 850 # ASSIGN : s_10_10 891 # ASSIGN : s_10_11 909 # ASSIGN : s_10_12 963 # ASSIGN : s_10_13 1048 # ASSIGN : s_10_14 1049 # ASSIGN : s_11_0 142 # ASSIGN : s_11_1 216 # ASSIGN : s_11_2 238 # ASSIGN : s_11_3 296 # ASSIGN : s_11_4 311 # ASSIGN : s_11_5 312 # ASSIGN : s_11_6 333 # ASSIGN : s_11_7 339 # ASSIGN : s_11_8 529 # ASSIGN : s_11_9 727 # ASSIGN : s_11_10 786 # ASSIGN : s_11_11 890 # ASSIGN : s_11_12 990 # ASSIGN : s_11_13 1049 # ASSIGN : s_11_14 1091 # ASSIGN : s_12_0 35 # ASSIGN : s_12_1 107 # ASSIGN : s_12_2 206 # ASSIGN : s_12_3 218 # ASSIGN : s_12_4 427 # ASSIGN : s_12_5 449 # ASSIGN : s_12_6 457 # ASSIGN : s_12_7 580 # ASSIGN : s_12_8 607 # ASSIGN : s_12_9 624 # ASSIGN : s_12_10 662 # ASSIGN : s_12_11 722 # ASSIGN : s_12_12 773 # ASSIGN : s_12_13 1064 # ASSIGN : s_12_14 1144 # ASSIGN : s_13_0 1 # ASSIGN : s_13_1 73 # ASSIGN : s_13_2 151 # ASSIGN : s_13_3 184 # ASSIGN : s_13_4 274 # ASSIGN : s_13_5 320 # ASSIGN : s_13_6 453 # ASSIGN : s_13_7 621 # ASSIGN : s_13_8 696 # ASSIGN : s_13_9 805 # ASSIGN : s_13_10 878 # ASSIGN : s_13_11 906 # ASSIGN : s_13_12 1154 # ASSIGN : s_13_13 1170 # ASSIGN : s_13_14 1232 # ASSIGN : s_14_0 3 # ASSIGN : s_14_1 92 # ASSIGN : s_14_2 136 # ASSIGN : s_14_3 177 # ASSIGN : s_14_4 209 # ASSIGN : s_14_5 224 # ASSIGN : s_14_6 309 # ASSIGN : s_14_7 325 # ASSIGN : s_14_8 366 # ASSIGN : s_14_9 505 # ASSIGN : s_14_10 551 # ASSIGN : s_14_11 586 # ASSIGN : s_14_12 603 # ASSIGN : s_14_13 911 # ASSIGN : s_14_14 956 SHOW_RESULT 1238 END : 1238 (1 seconds) [Sat Jun 3 11:47:01 2006] SHOW_RESULT 1238 CPU : 1.04999999999995 = 1.04999999999995 + 0 + 0 + 0 # BOUND : makespan 1219 1238 MODIFY_CNF 1228 BEGIN : [Sat Jun 3 11:47:01 2006] MODIFY_CNF 1228 END : 131671418 bytes (0 seconds) [Sat Jun 3 11:47:01 2006] MODIFY_CNF 1228 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1228 BEGIN : [Sat Jun 3 11:47:01 2006] CMD : minisat /work/tamura/csp2sat111058.cnf /work/tamura/csp2sat111058.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1671967 4911428 | 557322 0 0 NaNQ | 0.000 % | | 100 | 1671967 4911428 | 613054 100 1145 11.4 | 70.681 % | | 250 | 1671967 4911428 | 674359 250 3636 14.5 | 70.681 % | | 477 | 1671967 4911428 | 741795 477 6722 14.1 | 70.681 % | | 814 | 1671967 4911428 | 815975 814 11818 14.5 | 70.681 % | | 1320 | 1671967 4911428 | 897572 1320 21009 15.9 | 70.681 % | | 2079 | 1671967 4911428 | 987329 2079 35998 17.3 | 70.681 % | | 3219 | 1671967 4911428 | 1086062 3219 54185 16.8 | 70.681 % | | 4929 | 1671967 4911428 | 1194669 4929 89660 18.2 | 70.681 % | | 7491 | 1671967 4911428 | 1314136 7491 132237 17.7 | 70.681 % | | 11335 | 1671967 4911428 | 1445549 11335 205442 18.1 | 70.681 % | | 17101 | 1671967 4911428 | 1590104 17101 339215 19.8 | 70.681 % | | 25750 | 1671967 4911428 | 1749115 25750 522638 20.3 | 70.681 % | ==============================================================================) restarts : 13 conflicts : 31402 (149 /sec) decisions : 44325 (210 /sec) propagations : 390581557 (1850210 /sec) inspects : 3238264789 (15339870 /sec) conflict literals : 649334 (35.04 % deleted) CPU time : 211.101 s SATISFIABLE VERIFY_CNF 1228 END : (214 seconds) [Sat Jun 3 11:50:35 2006] VERIFY_CNF 1228 CPU : 212.93 = 0.0100000000000477 + 0.03 + 212.38 + 0.51 # RESULT : makespan 1228 SATISFIABLE SHOW_RESULT 1228 BEGIN : [Sat Jun 3 11:50:35 2006] # ASSIGN : makespan 1228 # ASSIGN : s_0_0 72 # ASSIGN : s_0_1 155 # ASSIGN : s_0_2 174 # ASSIGN : s_0_3 180 # ASSIGN : s_0_4 245 # ASSIGN : s_0_5 247 # ASSIGN : s_0_6 273 # ASSIGN : s_0_7 492 # ASSIGN : s_0_8 685 # ASSIGN : s_0_9 712 # ASSIGN : s_0_10 741 # ASSIGN : s_0_11 847 # ASSIGN : s_0_12 927 # ASSIGN : s_0_13 962 # ASSIGN : s_0_14 1187 # ASSIGN : s_1_0 44 # ASSIGN : s_1_1 210 # ASSIGN : s_1_2 328 # ASSIGN : s_1_3 330 # ASSIGN : s_1_4 408 # ASSIGN : s_1_5 494 # ASSIGN : s_1_6 582 # ASSIGN : s_1_7 665 # ASSIGN : s_1_8 685 # ASSIGN : s_1_9 741 # ASSIGN : s_1_10 761 # ASSIGN : s_1_11 939 # ASSIGN : s_1_12 973 # ASSIGN : s_1_13 1105 # ASSIGN : s_1_14 1144 # ASSIGN : s_2_0 12 # ASSIGN : s_2_1 74 # ASSIGN : s_2_2 295 # ASSIGN : s_2_3 369 # ASSIGN : s_2_4 432 # ASSIGN : s_2_5 590 # ASSIGN : s_2_6 619 # ASSIGN : s_2_7 643 # ASSIGN : s_2_8 677 # ASSIGN : s_2_9 766 # ASSIGN : s_2_10 918 # ASSIGN : s_2_11 1008 # ASSIGN : s_2_12 1034 # ASSIGN : s_2_13 1132 # ASSIGN : s_2_14 1197 # ASSIGN : s_3_0 108 # ASSIGN : s_3_1 386 # ASSIGN : s_3_2 401 # ASSIGN : s_3_3 554 # ASSIGN : s_3_4 633 # ASSIGN : s_3_5 710 # ASSIGN : s_3_6 771 # ASSIGN : s_3_7 772 # ASSIGN : s_3_8 820 # ASSIGN : s_3_9 878 # ASSIGN : s_3_10 990 # ASSIGN : s_3_11 1011 # ASSIGN : s_3_12 1028 # ASSIGN : s_3_13 1073 # ASSIGN : s_3_14 1176 # ASSIGN : s_4_0 183 # ASSIGN : s_4_1 266 # ASSIGN : s_4_2 318 # ASSIGN : s_4_3 388 # ASSIGN : s_4_4 466 # ASSIGN : s_4_5 487 # ASSIGN : s_4_6 536 # ASSIGN : s_4_7 652 # ASSIGN : s_4_8 704 # ASSIGN : s_4_9 733 # ASSIGN : s_4_10 814 # ASSIGN : s_4_11 874 # ASSIGN : s_4_12 1058 # ASSIGN : s_4_13 1139 # ASSIGN : s_4_14 1193 # ASSIGN : s_5_0 38 # ASSIGN : s_5_1 41 # ASSIGN : s_5_2 78 # ASSIGN : s_5_3 176 # ASSIGN : s_5_4 427 # ASSIGN : s_5_5 504 # ASSIGN : s_5_6 552 # ASSIGN : s_5_7 675 # ASSIGN : s_5_8 724 # ASSIGN : s_5_9 792 # ASSIGN : s_5_10 898 # ASSIGN : s_5_11 905 # ASSIGN : s_5_12 1043 # ASSIGN : s_5_13 1063 # ASSIGN : s_5_14 1169 # ASSIGN : s_6_0 51 # ASSIGN : s_6_1 79 # ASSIGN : s_6_2 172 # ASSIGN : s_6_3 176 # ASSIGN : s_6_4 271 # ASSIGN : s_6_5 459 # ASSIGN : s_6_6 464 # ASSIGN : s_6_7 605 # ASSIGN : s_6_8 657 # ASSIGN : s_6_9 710 # ASSIGN : s_6_10 742 # ASSIGN : s_6_11 811 # ASSIGN : s_6_12 886 # ASSIGN : s_6_13 1047 # ASSIGN : s_6_14 1138 # ASSIGN : s_7_0 0 # ASSIGN : s_7_1 25 # ASSIGN : s_7_2 118 # ASSIGN : s_7_3 181 # ASSIGN : s_7_4 196 # ASSIGN : s_7_5 263 # ASSIGN : s_7_6 369 # ASSIGN : s_7_7 435 # ASSIGN : s_7_8 527 # ASSIGN : s_7_9 583 # ASSIGN : s_7_10 685 # ASSIGN : s_7_11 848 # ASSIGN : s_7_12 939 # ASSIGN : s_7_13 975 # ASSIGN : s_7_14 1074 # ASSIGN : s_8_0 20 # ASSIGN : s_8_1 102 # ASSIGN : s_8_2 133 # ASSIGN : s_8_3 160 # ASSIGN : s_8_4 417 # ASSIGN : s_8_5 515 # ASSIGN : s_8_6 563 # ASSIGN : s_8_7 622 # ASSIGN : s_8_8 685 # ASSIGN : s_8_9 731 # ASSIGN : s_8_10 830 # ASSIGN : s_8_11 882 # ASSIGN : s_8_12 982 # ASSIGN : s_8_13 1108 # ASSIGN : s_8_14 1169 # ASSIGN : s_9_0 155 # ASSIGN : s_9_1 224 # ASSIGN : s_9_2 249 # ASSIGN : s_9_3 367 # ASSIGN : s_9_4 543 # ASSIGN : s_9_5 614 # ASSIGN : s_9_6 714 # ASSIGN : s_9_7 811 # ASSIGN : s_9_8 842 # ASSIGN : s_9_9 857 # ASSIGN : s_9_10 882 # ASSIGN : s_9_11 965 # ASSIGN : s_9_12 1076 # ASSIGN : s_9_13 1131 # ASSIGN : s_9_14 1197 # ASSIGN : s_10_0 68 # ASSIGN : s_10_1 88 # ASSIGN : s_10_2 187 # ASSIGN : s_10_3 200 # ASSIGN : s_10_4 288 # ASSIGN : s_10_5 313 # ASSIGN : s_10_6 473 # ASSIGN : s_10_7 593 # ASSIGN : s_10_8 698 # ASSIGN : s_10_9 844 # ASSIGN : s_10_10 885 # ASSIGN : s_10_11 921 # ASSIGN : s_10_12 975 # ASSIGN : s_10_13 1038 # ASSIGN : s_10_14 1039 # ASSIGN : s_11_0 16 # ASSIGN : s_11_1 146 # ASSIGN : s_11_2 168 # ASSIGN : s_11_3 214 # ASSIGN : s_11_4 224 # ASSIGN : s_11_5 225 # ASSIGN : s_11_6 246 # ASSIGN : s_11_7 283 # ASSIGN : s_11_8 373 # ASSIGN : s_11_9 477 # ASSIGN : s_11_10 536 # ASSIGN : s_11_11 839 # ASSIGN : s_11_12 912 # ASSIGN : s_11_13 971 # ASSIGN : s_11_14 1013 # ASSIGN : s_12_0 35 # ASSIGN : s_12_1 107 # ASSIGN : s_12_2 215 # ASSIGN : s_12_3 227 # ASSIGN : s_12_4 308 # ASSIGN : s_12_5 330 # ASSIGN : s_12_6 338 # ASSIGN : s_12_7 525 # ASSIGN : s_12_8 553 # ASSIGN : s_12_9 570 # ASSIGN : s_12_10 608 # ASSIGN : s_12_11 634 # ASSIGN : s_12_12 768 # ASSIGN : s_12_13 1054 # ASSIGN : s_12_14 1134 # ASSIGN : s_13_0 75 # ASSIGN : s_13_1 147 # ASSIGN : s_13_2 250 # ASSIGN : s_13_3 279 # ASSIGN : s_13_4 371 # ASSIGN : s_13_5 431 # ASSIGN : s_13_6 482 # ASSIGN : s_13_7 596 # ASSIGN : s_13_8 671 # ASSIGN : s_13_9 791 # ASSIGN : s_13_10 849 # ASSIGN : s_13_11 864 # ASSIGN : s_13_12 956 # ASSIGN : s_13_13 972 # ASSIGN : s_13_14 1068 # ASSIGN : s_14_0 13 # ASSIGN : s_14_1 124 # ASSIGN : s_14_2 247 # ASSIGN : s_14_3 331 # ASSIGN : s_14_4 363 # ASSIGN : s_14_5 453 # ASSIGN : s_14_6 538 # ASSIGN : s_14_7 730 # ASSIGN : s_14_8 753 # ASSIGN : s_14_9 852 # ASSIGN : s_14_10 902 # ASSIGN : s_14_11 937 # ASSIGN : s_14_12 954 # ASSIGN : s_14_13 1090 # ASSIGN : s_14_14 1135 SHOW_RESULT 1228 END : 1228 (1 seconds) [Sat Jun 3 11:50:36 2006] SHOW_RESULT 1228 CPU : 1.02999999999998 = 1.01999999999998 + 0.01 + 0 + 0 # BOUND : makespan 1219 1228 MODIFY_CNF 1223 BEGIN : [Sat Jun 3 11:50:36 2006] MODIFY_CNF 1223 END : 131671418 bytes (0 seconds) [Sat Jun 3 11:50:36 2006] MODIFY_CNF 1223 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1223 BEGIN : [Sat Jun 3 11:50:36 2006] CMD : minisat /work/tamura/csp2sat111058.cnf /work/tamura/csp2sat111058.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1651460 4851044 | 550486 0 0 NaNQ | 0.000 % | | 101 | 1651460 4851044 | 605534 101 1157 11.5 | 70.998 % | | 251 | 1651460 4851044 | 666088 251 3337 13.3 | 70.998 % | | 476 | 1651460 4851044 | 732696 476 6461 13.6 | 70.998 % | | 813 | 1651460 4851044 | 805966 813 11091 13.6 | 70.998 % | | 1319 | 1651460 4851044 | 886563 1319 17238 13.1 | 70.998 % | | 2079 | 1651460 4851044 | 975219 2079 27341 13.2 | 70.998 % | | 3218 | 1651460 4851044 | 1072741 3218 44512 13.8 | 70.998 % | | 4928 | 1651460 4851044 | 1180015 4928 72552 14.7 | 70.998 % | | 7491 | 1651460 4851044 | 1298017 7491 122132 16.3 | 70.998 % | | 11335 | 1651460 4851044 | 1427818 11335 200786 17.7 | 70.998 % | | 17101 | 1651460 4851044 | 1570600 17101 311209 18.2 | 70.998 % | | 25752 | 1651460 4851044 | 1727660 25752 501577 19.5 | 70.998 % | | 38726 | 1651460 4851044 | 1900426 38726 804149 20.8 | 70.998 % | | 58187 | 1615253 4743909 | 2090469 49358 1015747 20.6 | 71.417 % | ==============================================================================) restarts : 15 conflicts : 75553 (140 /sec) decisions : 98093 (182 /sec) propagations : 963113068 (1784799 /sec) inspects : 7777533311 (14412984 /sec) conflict literals : 1591421 (41.79 % deleted) CPU time : 539.62 s UNSATISFIABLE VERIFY_CNF 1223 END : (542 seconds) [Sat Jun 3 11:59:38 2006] VERIFY_CNF 1223 CPU : 541.19 = 0.00999999999999091 + 0.02 + 540.65 + 0.51 # RESULT : makespan 1223 UNSATISFIABLE # BOUND : makespan 1224 1228 MODIFY_CNF 1226 BEGIN : [Sat Jun 3 11:59:38 2006] MODIFY_CNF 1226 END : 131671418 bytes (0 seconds) [Sat Jun 3 11:59:38 2006] MODIFY_CNF 1226 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1226 BEGIN : [Sat Jun 3 11:59:38 2006] CMD : minisat /work/tamura/csp2sat111058.cnf /work/tamura/csp2sat111058.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1663564 4886674 | 554521 0 0 NaNQ | 0.000 % | | 100 | 1663564 4886674 | 609973 100 1192 11.9 | 70.808 % | | 250 | 1663564 4886674 | 670970 250 3289 13.2 | 70.808 % | | 475 | 1663564 4886674 | 738067 475 6400 13.5 | 70.808 % | | 812 | 1663564 4886674 | 811874 812 11648 14.3 | 70.808 % | | 1318 | 1663564 4886674 | 893061 1318 18873 14.3 | 70.808 % | | 2077 | 1663564 4886674 | 982367 2077 30459 14.7 | 70.808 % | | 3216 | 1663564 4886674 | 1080604 3216 50049 15.6 | 70.808 % | | 4924 | 1663564 4886674 | 1188665 4924 77044 15.6 | 70.808 % | | 7486 | 1663564 4886674 | 1307531 7486 129021 17.2 | 70.808 % | | 11330 | 1663564 4886674 | 1438284 11330 197144 17.4 | 70.808 % | | 17096 | 1663564 4886674 | 1582113 17096 339474 19.9 | 70.808 % | | 25746 | 1663564 4886674 | 1740324 25746 523747 20.3 | 70.808 % | | 38720 | 1663564 4886674 | 1914356 38720 823150 21.3 | 70.808 % | | 58181 | 1663564 4886674 | 2105792 58181 1240903 21.3 | 70.808 % | | 87373 | 1663564 4886674 | 2316371 87373 1948934 22.3 | 70.808 % | ==============================================================================) restarts : 16 conflicts : 102230 (136 /sec) decisions : 131938 (176 /sec) propagations : 1292285150 (1723295 /sec) inspects : 10677382971 (14238561 /sec) conflict literals : 2249632 (43.02 % deleted) CPU time : 749.892 s UNSATISFIABLE VERIFY_CNF 1226 END : (752 seconds) [Sat Jun 3 12:12:10 2006] VERIFY_CNF 1226 CPU : 751.08 = 0 + 0.02 + 750.93 + 0.13 # RESULT : makespan 1226 UNSATISFIABLE # BOUND : makespan 1227 1228 MODIFY_CNF 1227 BEGIN : [Sat Jun 3 12:12:10 2006] MODIFY_CNF 1227 END : 131671418 bytes (0 seconds) [Sat Jun 3 12:12:10 2006] MODIFY_CNF 1227 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1227 BEGIN : [Sat Jun 3 12:12:10 2006] CMD : minisat /work/tamura/csp2sat111058.cnf /work/tamura/csp2sat111058.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1667352 4897811 | 555784 0 0 NaNQ | 0.000 % | | 100 | 1667352 4897811 | 611362 100 1131 11.3 | 70.744 % | | 250 | 1667352 4897811 | 672498 250 3058 12.2 | 70.744 % | | 475 | 1667352 4897811 | 739748 475 7571 15.9 | 70.744 % | | 812 | 1667352 4897811 | 813723 812 13281 16.4 | 70.744 % | | 1319 | 1667352 4897811 | 895095 1319 20905 15.8 | 70.744 % | | 2078 | 1667352 4897811 | 984605 2078 33868 16.3 | 70.744 % | | 3217 | 1667352 4897811 | 1083065 3217 51380 16.0 | 70.744 % | | 4925 | 1667352 4897811 | 1191372 4925 82121 16.7 | 70.744 % | | 7487 | 1667352 4897811 | 1310509 7487 129074 17.2 | 70.744 % | | 11334 | 1667352 4897811 | 1441560 11334 220076 19.4 | 70.744 % | | 17100 | 1667352 4897811 | 1585716 17100 341398 20.0 | 70.744 % | | 25749 | 1667352 4897811 | 1744288 25749 563976 21.9 | 70.744 % | | 38723 | 1667352 4897811 | 1918717 38723 882056 22.8 | 70.744 % | | 58185 | 1667352 4897811 | 2110588 58185 1340757 23.0 | 70.744 % | ==============================================================================) restarts : 15 conflicts : 78089 (138 /sec) decisions : 102692 (182 /sec) propagations : 983887648 (1742273 /sec) inspects : 8204477251 (14528529 /sec) conflict literals : 1858309 (40.55 % deleted) CPU time : 564.715 s SATISFIABLE VERIFY_CNF 1227 END : (567 seconds) [Sat Jun 3 12:21:37 2006] VERIFY_CNF 1227 CPU : 566.17 = 0 + 0.0199999999999999 + 566 + 0.15 # RESULT : makespan 1227 SATISFIABLE SHOW_RESULT 1227 BEGIN : [Sat Jun 3 12:21:37 2006] # ASSIGN : makespan 1227 # ASSIGN : s_0_0 35 # ASSIGN : s_0_1 223 # ASSIGN : s_0_2 242 # ASSIGN : s_0_3 248 # ASSIGN : s_0_4 367 # ASSIGN : s_0_5 368 # ASSIGN : s_0_6 394 # ASSIGN : s_0_7 534 # ASSIGN : s_0_8 742 # ASSIGN : s_0_9 769 # ASSIGN : s_0_10 795 # ASSIGN : s_0_11 884 # ASSIGN : s_0_12 964 # ASSIGN : s_0_13 974 # ASSIGN : s_0_14 1175 # ASSIGN : s_1_0 0 # ASSIGN : s_1_1 111 # ASSIGN : s_1_2 224 # ASSIGN : s_1_3 226 # ASSIGN : s_1_4 331 # ASSIGN : s_1_5 417 # ASSIGN : s_1_6 588 # ASSIGN : s_1_7 649 # ASSIGN : s_1_8 676 # ASSIGN : s_1_9 735 # ASSIGN : s_1_10 884 # ASSIGN : s_1_11 1015 # ASSIGN : s_1_12 1049 # ASSIGN : s_1_13 1104 # ASSIGN : s_1_14 1143 # ASSIGN : s_2_0 0 # ASSIGN : s_2_1 137 # ASSIGN : s_2_2 209 # ASSIGN : s_2_3 284 # ASSIGN : s_2_4 347 # ASSIGN : s_2_5 447 # ASSIGN : s_2_6 476 # ASSIGN : s_2_7 500 # ASSIGN : s_2_8 534 # ASSIGN : s_2_9 812 # ASSIGN : s_2_10 917 # ASSIGN : s_2_11 1007 # ASSIGN : s_2_12 1033 # ASSIGN : s_2_13 1131 # ASSIGN : s_2_14 1196 # ASSIGN : s_3_0 37 # ASSIGN : s_3_1 47 # ASSIGN : s_3_2 62 # ASSIGN : s_3_3 163 # ASSIGN : s_3_4 242 # ASSIGN : s_3_5 562 # ASSIGN : s_3_6 623 # ASSIGN : s_3_7 649 # ASSIGN : s_3_8 697 # ASSIGN : s_3_9 719 # ASSIGN : s_3_10 907 # ASSIGN : s_3_11 928 # ASSIGN : s_3_12 1004 # ASSIGN : s_3_13 1072 # ASSIGN : s_3_14 1216 # ASSIGN : s_4_0 59 # ASSIGN : s_4_1 142 # ASSIGN : s_4_2 194 # ASSIGN : s_4_3 303 # ASSIGN : s_4_4 387 # ASSIGN : s_4_5 400 # ASSIGN : s_4_6 458 # ASSIGN : s_4_7 555 # ASSIGN : s_4_8 607 # ASSIGN : s_4_9 636 # ASSIGN : s_4_10 761 # ASSIGN : s_4_11 821 # ASSIGN : s_4_12 1057 # ASSIGN : s_4_13 1138 # ASSIGN : s_4_14 1192 # ASSIGN : s_5_0 1 # ASSIGN : s_5_1 4 # ASSIGN : s_5_2 35 # ASSIGN : s_5_3 187 # ASSIGN : s_5_4 290 # ASSIGN : s_5_5 370 # ASSIGN : s_5_6 447 # ASSIGN : s_5_7 488 # ASSIGN : s_5_8 505 # ASSIGN : s_5_9 514 # ASSIGN : s_5_10 633 # ASSIGN : s_5_11 670 # ASSIGN : s_5_12 1042 # ASSIGN : s_5_13 1062 # ASSIGN : s_5_14 1168 # ASSIGN : s_6_0 9 # ASSIGN : s_6_1 155 # ASSIGN : s_6_2 264 # ASSIGN : s_6_3 268 # ASSIGN : s_6_4 319 # ASSIGN : s_6_5 386 # ASSIGN : s_6_6 391 # ASSIGN : s_6_7 409 # ASSIGN : s_6_8 467 # ASSIGN : s_6_9 516 # ASSIGN : s_6_10 537 # ASSIGN : s_6_11 586 # ASSIGN : s_6_12 673 # ASSIGN : s_6_13 1046 # ASSIGN : s_6_14 1137 # ASSIGN : s_7_0 4 # ASSIGN : s_7_1 29 # ASSIGN : s_7_2 113 # ASSIGN : s_7_3 171 # ASSIGN : s_7_4 186 # ASSIGN : s_7_5 253 # ASSIGN : s_7_6 432 # ASSIGN : s_7_7 498 # ASSIGN : s_7_8 605 # ASSIGN : s_7_9 669 # ASSIGN : s_7_10 778 # ASSIGN : s_7_11 883 # ASSIGN : s_7_12 899 # ASSIGN : s_7_13 968 # ASSIGN : s_7_14 1067 # ASSIGN : s_8_0 52 # ASSIGN : s_8_1 134 # ASSIGN : s_8_2 201 # ASSIGN : s_8_3 252 # ASSIGN : s_8_4 283 # ASSIGN : s_8_5 428 # ASSIGN : s_8_6 484 # ASSIGN : s_8_7 543 # ASSIGN : s_8_8 606 # ASSIGN : s_8_9 640 # ASSIGN : s_8_10 746 # ASSIGN : s_8_11 835 # ASSIGN : s_8_12 981 # ASSIGN : s_8_13 1107 # ASSIGN : s_8_14 1168 # ASSIGN : s_9_0 289 # ASSIGN : s_9_1 317 # ASSIGN : s_9_2 373 # ASSIGN : s_9_3 442 # ASSIGN : s_9_4 507 # ASSIGN : s_9_5 578 # ASSIGN : s_9_6 635 # ASSIGN : s_9_7 732 # ASSIGN : s_9_8 763 # ASSIGN : s_9_9 787 # ASSIGN : s_9_10 829 # ASSIGN : s_9_11 912 # ASSIGN : s_9_12 1025 # ASSIGN : s_9_13 1130 # ASSIGN : s_9_14 1196 # ASSIGN : s_10_0 24 # ASSIGN : s_10_1 44 # ASSIGN : s_10_2 196 # ASSIGN : s_10_3 268 # ASSIGN : s_10_4 356 # ASSIGN : s_10_5 381 # ASSIGN : s_10_6 577 # ASSIGN : s_10_7 667 # ASSIGN : s_10_8 751 # ASSIGN : s_10_9 840 # ASSIGN : s_10_10 881 # ASSIGN : s_10_11 898 # ASSIGN : s_10_12 952 # ASSIGN : s_10_13 1037 # ASSIGN : s_10_14 1038 # ASSIGN : s_11_0 0 # ASSIGN : s_11_1 65 # ASSIGN : s_11_2 87 # ASSIGN : s_11_3 133 # ASSIGN : s_11_4 143 # ASSIGN : s_11_5 144 # ASSIGN : s_11_6 165 # ASSIGN : s_11_7 168 # ASSIGN : s_11_8 284 # ASSIGN : s_11_9 397 # ASSIGN : s_11_10 456 # ASSIGN : s_11_11 879 # ASSIGN : s_11_12 966 # ASSIGN : s_11_13 1025 # ASSIGN : s_11_14 1080 # ASSIGN : s_12_0 91 # ASSIGN : s_12_1 569 # ASSIGN : s_12_2 649 # ASSIGN : s_12_3 661 # ASSIGN : s_12_4 717 # ASSIGN : s_12_5 739 # ASSIGN : s_12_6 747 # ASSIGN : s_12_7 844 # ASSIGN : s_12_8 871 # ASSIGN : s_12_9 895 # ASSIGN : s_12_10 933 # ASSIGN : s_12_11 959 # ASSIGN : s_12_12 1010 # ASSIGN : s_12_13 1053 # ASSIGN : s_12_14 1133 # ASSIGN : s_13_0 152 # ASSIGN : s_13_1 264 # ASSIGN : s_13_2 342 # ASSIGN : s_13_3 371 # ASSIGN : s_13_4 461 # ASSIGN : s_13_5 578 # ASSIGN : s_13_6 624 # ASSIGN : s_13_7 719 # ASSIGN : s_13_8 794 # ASSIGN : s_13_9 888 # ASSIGN : s_13_10 937 # ASSIGN : s_13_11 945 # ASSIGN : s_13_12 1037 # ASSIGN : s_13_13 1159 # ASSIGN : s_13_14 1221 # ASSIGN : s_14_0 45 # ASSIGN : s_14_1 260 # ASSIGN : s_14_2 304 # ASSIGN : s_14_3 345 # ASSIGN : s_14_4 377 # ASSIGN : s_14_5 501 # ASSIGN : s_14_6 590 # ASSIGN : s_14_7 621 # ASSIGN : s_14_8 644 # ASSIGN : s_14_9 800 # ASSIGN : s_14_10 846 # ASSIGN : s_14_11 936 # ASSIGN : s_14_12 953 # ASSIGN : s_14_13 1083 # ASSIGN : s_14_14 1128 SHOW_RESULT 1227 END : 1227 (1 seconds) [Sat Jun 3 12:21:38 2006] SHOW_RESULT 1227 CPU : 1.07 = 1.06 + 0.01 + 0 + 0 # BOUND : makespan 1227 1227 MAIN END : (2829 seconds) [Sat Jun 3 12:21:38 2006] MAIN CPU : 2823.11 = 279.53 + 0.57 + 2540.65 + 2.36