MAIN BEGIN : [Thu Jun 1 15:52:19 2006] READ BEGIN : csp/la15.csp [Thu Jun 1 15:52:19 2006] READ END : csp/la15.csp (2 seconds) [Thu Jun 1 15:52:21 2006] READ CPU : 2.66 = 2.66 + 0 + 0 + 0 # BOUND : makespan 1207 1442 GENERATE_CNF 1442 BEGIN : [Thu Jun 1 15:52:21 2006] GENERATE_CNF 1442 END : 146637 variables 2901579 clauses 66922945 bytes (145 seconds) [Thu Jun 1 15:54:46 2006] GENERATE_CNF 1442 CPU : 144.55 = 144.35 + 0.2 + 0 + 0 MODIFY_CNF 1324 BEGIN : [Thu Jun 1 15:54:46 2006] MODIFY_CNF 1324 END : 66922951 bytes (0 seconds) [Thu Jun 1 15:54:46 2006] MODIFY_CNF 1324 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1324 BEGIN : [Thu Jun 1 15:54:46 2006] CMD : minisat /work/tamura/csp2sat114938.cnf /work/tamura/csp2sat114938.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 2295119 6778576 | 765039 0 0 NaNQ | 0.000 % | | 101 | 2295119 6778576 | 841542 101 1724 17.1 | 26.900 % | | 251 | 2295119 6778576 | 925697 251 3903 15.5 | 26.900 % | ==============================================================================) restarts : 3 conflicts : 395 (102 /sec) decisions : 1142 (294 /sec) propagations : 1268492 (326935 /sec) inspects : 19382801 (4995633 /sec) conflict literals : 6266 (9.16 % deleted) CPU time : 3.87995 s SATISFIABLE VERIFY_CNF 1324 END : (5 seconds) [Thu Jun 1 15:54:51 2006] VERIFY_CNF 1324 CPU : 5.28000000000002 = 0.0100000000000193 + 0 + 5.21 + 0.06 # RESULT : makespan 1324 SATISFIABLE SHOW_RESULT 1324 BEGIN : [Thu Jun 1 15:54:51 2006] # ASSIGN : makespan 1324 # ASSIGN : s_0_0 481 # ASSIGN : s_0_1 512 # ASSIGN : s_0_2 792 # ASSIGN : s_0_3 884 # ASSIGN : s_0_4 931 # ASSIGN : s_1_0 73 # ASSIGN : s_1_1 227 # ASSIGN : s_1_2 984 # ASSIGN : s_1_3 1050 # ASSIGN : s_1_4 1247 # ASSIGN : s_2_0 566 # ASSIGN : s_2_1 612 # ASSIGN : s_2_2 677 # ASSIGN : s_2_3 790 # ASSIGN : s_2_4 1239 # ASSIGN : s_3_0 52 # ASSIGN : s_3_1 208 # ASSIGN : s_3_2 273 # ASSIGN : s_3_3 705 # ASSIGN : s_3_4 1256 # ASSIGN : s_4_0 157 # ASSIGN : s_4_1 407 # ASSIGN : s_4_2 637 # ASSIGN : s_4_3 681 # ASSIGN : s_4_4 779 # ASSIGN : s_5_0 895 # ASSIGN : s_5_1 991 # ASSIGN : s_5_2 1020 # ASSIGN : s_5_3 1103 # ASSIGN : s_5_4 1152 # ASSIGN : s_6_0 72 # ASSIGN : s_6_1 259 # ASSIGN : s_6_2 712 # ASSIGN : s_6_3 1054 # ASSIGN : s_6_4 1316 # ASSIGN : s_7_0 726 # ASSIGN : s_7_1 817 # ASSIGN : s_7_2 873 # ASSIGN : s_7_3 950 # ASSIGN : s_7_4 1006 # ASSIGN : s_8_0 534 # ASSIGN : s_8_1 1039 # ASSIGN : s_8_2 1134 # ASSIGN : s_8_3 1236 # ASSIGN : s_8_4 1307 # ASSIGN : s_9_0 36 # ASSIGN : s_9_1 157 # ASSIGN : s_9_2 289 # ASSIGN : s_9_3 348 # ASSIGN : s_9_4 355 # ASSIGN : s_10_0 19 # ASSIGN : s_10_1 76 # ASSIGN : s_10_2 113 # ASSIGN : s_10_3 131 # ASSIGN : s_10_4 297 # ASSIGN : s_11_0 121 # ASSIGN : s_11_1 1130 # ASSIGN : s_11_2 1184 # ASSIGN : s_11_3 1298 # ASSIGN : s_11_4 1314 # ASSIGN : s_12_0 245 # ASSIGN : s_12_1 275 # ASSIGN : s_12_2 370 # ASSIGN : s_12_3 521 # ASSIGN : s_12_4 1131 # ASSIGN : s_13_0 337 # ASSIGN : s_13_1 435 # ASSIGN : s_13_2 1084 # ASSIGN : s_13_3 1119 # ASSIGN : s_13_4 1218 # ASSIGN : s_14_0 187 # ASSIGN : s_14_1 806 # ASSIGN : s_14_2 865 # ASSIGN : s_14_3 921 # ASSIGN : s_14_4 1111 # ASSIGN : s_15_0 282 # ASSIGN : s_15_1 363 # ASSIGN : s_15_2 455 # ASSIGN : s_15_3 487 # ASSIGN : s_15_4 845 # ASSIGN : s_16_0 559 # ASSIGN : s_16_1 590 # ASSIGN : s_16_2 626 # ASSIGN : s_16_3 638 # ASSIGN : s_16_4 730 # ASSIGN : s_17_0 19 # ASSIGN : s_17_1 64 # ASSIGN : s_17_2 747 # ASSIGN : s_17_3 816 # ASSIGN : s_17_4 1271 # ASSIGN : s_18_0 447 # ASSIGN : s_18_1 468 # ASSIGN : s_18_2 552 # ASSIGN : s_18_3 613 # ASSIGN : s_18_4 1024 # ASSIGN : s_19_0 105 # ASSIGN : s_19_1 242 # ASSIGN : s_19_2 384 # ASSIGN : s_19_3 539 # ASSIGN : s_19_4 1280 SHOW_RESULT 1324 END : 1324 (1 seconds) [Thu Jun 1 15:54:52 2006] SHOW_RESULT 1324 CPU : 0.409999999999977 = 0.399999999999977 + 0.01 + 0 + 0 # BOUND : makespan 1207 1324 MODIFY_CNF 1265 BEGIN : [Thu Jun 1 15:54:52 2006] MODIFY_CNF 1265 END : 66922950 bytes (0 seconds) [Thu Jun 1 15:54:52 2006] MODIFY_CNF 1265 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1265 BEGIN : [Thu Jun 1 15:54:52 2006] CMD : minisat /work/tamura/csp2sat114938.cnf /work/tamura/csp2sat114938.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 2177060 6430358 | 725686 0 0 NaNQ | 0.000 % | | 101 | 2177060 6430358 | 798254 101 1902 18.8 | 30.964 % | | 252 | 2177060 6430358 | 878080 252 5289 21.0 | 30.964 % | | 477 | 2177060 6430358 | 965888 477 9168 19.2 | 30.964 % | | 815 | 2177060 6430358 | 1062476 815 14381 17.6 | 30.964 % | ==============================================================================) restarts : 5 conflicts : 1007 (159 /sec) decisions : 2148 (339 /sec) propagations : 4408740 (695882 /sec) inspects : 66292644 (10463724 /sec) conflict literals : 18523 (16.09 % deleted) CPU time : 6.33547 s SATISFIABLE VERIFY_CNF 1265 END : (8 seconds) [Thu Jun 1 15:55:00 2006] VERIFY_CNF 1265 CPU : 7.63000000000002 = 0.0100000000000193 + 0 + 7.54 + 0.08 # RESULT : makespan 1265 SATISFIABLE SHOW_RESULT 1265 BEGIN : [Thu Jun 1 15:55:00 2006] # ASSIGN : makespan 1265 # ASSIGN : s_0_0 848 # ASSIGN : s_0_1 854 # ASSIGN : s_0_2 894 # ASSIGN : s_0_3 1021 # ASSIGN : s_0_4 1106 # ASSIGN : s_1_0 48 # ASSIGN : s_1_1 117 # ASSIGN : s_1_2 1119 # ASSIGN : s_1_3 1174 # ASSIGN : s_1_4 1256 # ASSIGN : s_2_0 556 # ASSIGN : s_2_1 613 # ASSIGN : s_2_2 678 # ASSIGN : s_2_3 798 # ASSIGN : s_2_4 1180 # ASSIGN : s_3_0 88 # ASSIGN : s_3_1 109 # ASSIGN : s_3_2 183 # ASSIGN : s_3_3 317 # ASSIGN : s_3_4 1205 # ASSIGN : s_4_0 431 # ASSIGN : s_4_1 516 # ASSIGN : s_4_2 722 # ASSIGN : s_4_3 774 # ASSIGN : s_4_4 914 # ASSIGN : s_5_0 626 # ASSIGN : s_5_1 807 # ASSIGN : s_5_2 975 # ASSIGN : s_5_3 1058 # ASSIGN : s_5_4 1094 # ASSIGN : s_6_0 50 # ASSIGN : s_6_1 194 # ASSIGN : s_6_2 602 # ASSIGN : s_6_3 1194 # ASSIGN : s_6_4 1257 # ASSIGN : s_7_0 35 # ASSIGN : s_7_1 125 # ASSIGN : s_7_2 181 # ASSIGN : s_7_3 301 # ASSIGN : s_7_4 342 # ASSIGN : s_8_0 557 # ASSIGN : s_8_1 856 # ASSIGN : s_8_2 971 # ASSIGN : s_8_3 1023 # ASSIGN : s_8_4 1188 # ASSIGN : s_9_0 682 # ASSIGN : s_9_1 947 # ASSIGN : s_9_2 1047 # ASSIGN : s_9_3 1178 # ASSIGN : s_9_4 1185 # ASSIGN : s_10_0 715 # ASSIGN : s_10_1 766 # ASSIGN : s_10_2 828 # ASSIGN : s_10_3 836 # ASSIGN : s_10_4 913 # ASSIGN : s_11_0 918 # ASSIGN : s_11_1 1035 # ASSIGN : s_11_2 1089 # ASSIGN : s_11_3 1220 # ASSIGN : s_11_4 1255 # ASSIGN : s_12_0 7 # ASSIGN : s_12_1 266 # ASSIGN : s_12_2 371 # ASSIGN : s_12_3 483 # ASSIGN : s_12_4 694 # ASSIGN : s_13_0 556 # ASSIGN : s_13_1 682 # ASSIGN : s_13_2 768 # ASSIGN : s_13_3 795 # ASSIGN : s_13_4 951 # ASSIGN : s_14_0 4 # ASSIGN : s_14_1 115 # ASSIGN : s_14_2 174 # ASSIGN : s_14_3 232 # ASSIGN : s_14_4 1224 # ASSIGN : s_15_0 258 # ASSIGN : s_15_1 339 # ASSIGN : s_15_2 432 # ASSIGN : s_15_3 464 # ASSIGN : s_15_4 575 # ASSIGN : s_16_0 364 # ASSIGN : s_16_1 410 # ASSIGN : s_16_2 748 # ASSIGN : s_16_3 760 # ASSIGN : s_16_4 853 # ASSIGN : s_17_0 149 # ASSIGN : s_17_1 247 # ASSIGN : s_17_2 954 # ASSIGN : s_17_3 1125 # ASSIGN : s_17_4 1229 # ASSIGN : s_18_0 443 # ASSIGN : s_18_1 469 # ASSIGN : s_18_2 553 # ASSIGN : s_18_3 614 # ASSIGN : s_18_4 781 # ASSIGN : s_19_0 99 # ASSIGN : s_19_1 197 # ASSIGN : s_19_2 230 # ASSIGN : s_19_3 340 # ASSIGN : s_19_4 439 SHOW_RESULT 1265 END : 1265 (0 seconds) [Thu Jun 1 15:55:00 2006] SHOW_RESULT 1265 CPU : 0.399999999999986 = 0.389999999999986 + 0.00999999999999998 + 0 + 0 # BOUND : makespan 1207 1265 MODIFY_CNF 1236 BEGIN : [Thu Jun 1 15:55:00 2006] MODIFY_CNF 1236 END : 66922950 bytes (0 seconds) [Thu Jun 1 15:55:00 2006] MODIFY_CNF 1236 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1236 BEGIN : [Thu Jun 1 15:55:00 2006] CMD : minisat /work/tamura/csp2sat114938.cnf /work/tamura/csp2sat114938.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 2119031 6259200 | 706343 0 0 NaNQ | 0.000 % | | 102 | 2119031 6259200 | 776977 102 1857 18.2 | 32.961 % | | 252 | 2119031 6259200 | 854675 252 4983 19.8 | 32.961 % | | 477 | 2119031 6259200 | 940142 477 9407 19.7 | 32.961 % | | 816 | 2119031 6259200 | 1034156 816 14600 17.9 | 32.961 % | | 1322 | 2119031 6259200 | 1137572 1322 29743 22.5 | 32.961 % | | 2082 | 2119031 6259200 | 1251329 2082 50468 24.2 | 32.961 % | | 3221 | 2119031 6259200 | 1376462 3221 83965 26.1 | 32.961 % | | 4930 | 2119031 6259200 | 1514108 4930 132107 26.8 | 32.961 % | | 7492 | 2119031 6259200 | 1665519 7492 185968 24.8 | 32.961 % | ==============================================================================) restarts : 10 conflicts : 7662 (262 /sec) decisions : 12434 (426 /sec) propagations : 35826195 (1226889 /sec) inspects : 524413660 (17958859 /sec) conflict literals : 188823 (22.93 % deleted) CPU time : 29.2008 s SATISFIABLE VERIFY_CNF 1236 END : (31 seconds) [Thu Jun 1 15:55:31 2006] VERIFY_CNF 1236 CPU : 30.45 = 0 + 0.01 + 30.37 + 0.07 # RESULT : makespan 1236 SATISFIABLE SHOW_RESULT 1236 BEGIN : [Thu Jun 1 15:55:31 2006] # ASSIGN : makespan 1236 # ASSIGN : s_0_0 458 # ASSIGN : s_0_1 464 # ASSIGN : s_0_2 504 # ASSIGN : s_0_3 585 # ASSIGN : s_0_4 668 # ASSIGN : s_1_0 41 # ASSIGN : s_1_1 136 # ASSIGN : s_1_2 909 # ASSIGN : s_1_3 973 # ASSIGN : s_1_4 1210 # ASSIGN : s_2_0 20 # ASSIGN : s_2_1 89 # ASSIGN : s_2_2 154 # ASSIGN : s_2_3 256 # ASSIGN : s_2_4 1151 # ASSIGN : s_3_0 261 # ASSIGN : s_3_1 309 # ASSIGN : s_3_2 558 # ASSIGN : s_3_3 622 # ASSIGN : s_3_4 776 # ASSIGN : s_4_0 379 # ASSIGN : s_4_1 705 # ASSIGN : s_4_2 791 # ASSIGN : s_4_3 1168 # ASSIGN : s_4_4 1199 # ASSIGN : s_5_0 237 # ASSIGN : s_5_1 774 # ASSIGN : s_5_2 921 # ASSIGN : s_5_3 1077 # ASSIGN : s_5_4 1114 # ASSIGN : s_6_0 159 # ASSIGN : s_6_1 218 # ASSIGN : s_6_2 1103 # ASSIGN : s_6_3 1198 # ASSIGN : s_6_4 1228 # ASSIGN : s_7_0 326 # ASSIGN : s_7_1 788 # ASSIGN : s_7_2 844 # ASSIGN : s_7_3 922 # ASSIGN : s_7_4 980 # ASSIGN : s_8_0 21 # ASSIGN : s_8_1 77 # ASSIGN : s_8_2 168 # ASSIGN : s_8_3 1043 # ASSIGN : s_8_4 1219 # ASSIGN : s_9_0 382 # ASSIGN : s_9_1 470 # ASSIGN : s_9_2 581 # ASSIGN : s_9_3 640 # ASSIGN : s_9_4 647 # ASSIGN : s_10_0 32 # ASSIGN : s_10_1 161 # ASSIGN : s_10_2 224 # ASSIGN : s_10_3 232 # ASSIGN : s_10_4 311 # ASSIGN : s_11_0 604 # ASSIGN : s_11_1 651 # ASSIGN : s_11_2 727 # ASSIGN : s_11_3 835 # ASSIGN : s_11_4 963 # ASSIGN : s_12_0 4 # ASSIGN : s_12_1 81 # ASSIGN : s_12_2 271 # ASSIGN : s_12_3 369 # ASSIGN : s_12_4 687 # ASSIGN : s_13_0 745 # ASSIGN : s_13_1 891 # ASSIGN : s_13_2 977 # ASSIGN : s_13_3 1004 # ASSIGN : s_13_4 1103 # ASSIGN : s_14_0 66 # ASSIGN : s_14_1 178 # ASSIGN : s_14_2 444 # ASSIGN : s_14_3 500 # ASSIGN : s_14_4 653 # ASSIGN : s_15_0 190 # ASSIGN : s_15_1 282 # ASSIGN : s_15_2 374 # ASSIGN : s_15_3 406 # ASSIGN : s_15_4 461 # ASSIGN : s_16_0 769 # ASSIGN : s_16_1 803 # ASSIGN : s_16_2 896 # ASSIGN : s_16_3 964 # ASSIGN : s_16_4 1108 # ASSIGN : s_17_0 91 # ASSIGN : s_17_1 815 # ASSIGN : s_17_2 908 # ASSIGN : s_17_3 1054 # ASSIGN : s_17_4 1183 # ASSIGN : s_18_0 622 # ASSIGN : s_18_1 643 # ASSIGN : s_18_2 727 # ASSIGN : s_18_3 823 # ASSIGN : s_18_4 896 # ASSIGN : s_19_0 422 # ASSIGN : s_19_1 694 # ASSIGN : s_19_2 825 # ASSIGN : s_19_3 1052 # ASSIGN : s_19_4 1192 SHOW_RESULT 1236 END : 1236 (0 seconds) [Thu Jun 1 15:55:31 2006] SHOW_RESULT 1236 CPU : 0.409999999999997 = 0.409999999999997 + 0 + 0 + 0 # BOUND : makespan 1207 1236 MODIFY_CNF 1221 BEGIN : [Thu Jun 1 15:55:31 2006] MODIFY_CNF 1221 END : 66922950 bytes (0 seconds) [Thu Jun 1 15:55:31 2006] MODIFY_CNF 1221 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1221 BEGIN : [Thu Jun 1 15:55:31 2006] CMD : minisat /work/tamura/csp2sat114938.cnf /work/tamura/csp2sat114938.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 2089016 6170670 | 696338 0 0 NaNQ | 0.000 % | | 102 | 2089016 6170670 | 765971 102 1789 17.5 | 33.994 % | | 253 | 2089016 6170670 | 842568 253 3986 15.8 | 33.994 % | | 478 | 2089016 6170670 | 926825 478 7924 16.6 | 33.994 % | | 816 | 2089016 6170670 | 1019508 816 14638 17.9 | 33.994 % | | 1323 | 2089016 6170670 | 1121459 1323 23148 17.5 | 33.994 % | | 2085 | 2089016 6170670 | 1233605 2085 36912 17.7 | 33.994 % | ==============================================================================) restarts : 7 conflicts : 2127 (228 /sec) decisions : 3889 (416 /sec) propagations : 8084902 (865740 /sec) inspects : 127778095 (13682621 /sec) conflict literals : 37398 (15.79 % deleted) CPU time : 9.33872 s SATISFIABLE VERIFY_CNF 1221 END : (11 seconds) [Thu Jun 1 15:55:42 2006] VERIFY_CNF 1221 CPU : 10.69 = 0 + 0.01 + 10.6 + 0.08 # RESULT : makespan 1221 SATISFIABLE SHOW_RESULT 1221 BEGIN : [Thu Jun 1 15:55:42 2006] # ASSIGN : makespan 1221 # ASSIGN : s_0_0 356 # ASSIGN : s_0_1 688 # ASSIGN : s_0_2 751 # ASSIGN : s_0_3 832 # ASSIGN : s_0_4 897 # ASSIGN : s_1_0 42 # ASSIGN : s_1_1 162 # ASSIGN : s_1_2 693 # ASSIGN : s_1_3 784 # ASSIGN : s_1_4 1153 # ASSIGN : s_2_0 215 # ASSIGN : s_2_1 719 # ASSIGN : s_2_2 948 # ASSIGN : s_2_3 1018 # ASSIGN : s_2_4 1136 # ASSIGN : s_3_0 626 # ASSIGN : s_3_1 654 # ASSIGN : s_3_2 932 # ASSIGN : s_3_3 1097 # ASSIGN : s_3_4 1162 # ASSIGN : s_4_0 280 # ASSIGN : s_4_1 411 # ASSIGN : s_4_2 1029 # ASSIGN : s_4_3 1073 # ASSIGN : s_4_4 1184 # ASSIGN : s_5_0 451 # ASSIGN : s_5_1 625 # ASSIGN : s_5_2 668 # ASSIGN : s_5_3 937 # ASSIGN : s_5_4 1022 # ASSIGN : s_6_0 20 # ASSIGN : s_6_1 79 # ASSIGN : s_6_2 1073 # ASSIGN : s_6_3 1183 # ASSIGN : s_6_4 1213 # ASSIGN : s_7_0 1 # ASSIGN : s_7_1 82 # ASSIGN : s_7_2 138 # ASSIGN : s_7_3 224 # ASSIGN : s_7_4 280 # ASSIGN : s_8_0 168 # ASSIGN : s_8_1 841 # ASSIGN : s_8_2 968 # ASSIGN : s_8_3 1106 # ASSIGN : s_8_4 1177 # ASSIGN : s_9_0 98 # ASSIGN : s_9_1 151 # ASSIGN : s_9_2 265 # ASSIGN : s_9_3 365 # ASSIGN : s_9_4 377 # ASSIGN : s_10_0 298 # ASSIGN : s_10_1 343 # ASSIGN : s_10_2 372 # ASSIGN : s_10_3 380 # ASSIGN : s_10_4 457 # ASSIGN : s_11_0 244 # ASSIGN : s_11_1 639 # ASSIGN : s_11_2 736 # ASSIGN : s_11_3 1020 # ASSIGN : s_11_4 1087 # ASSIGN : s_12_0 383 # ASSIGN : s_12_1 416 # ASSIGN : s_12_2 489 # ASSIGN : s_12_3 600 # ASSIGN : s_12_4 1097 # ASSIGN : s_13_0 81 # ASSIGN : s_13_1 194 # ASSIGN : s_13_2 820 # ASSIGN : s_13_3 892 # ASSIGN : s_13_4 991 # ASSIGN : s_14_0 3 # ASSIGN : s_14_1 239 # ASSIGN : s_14_2 324 # ASSIGN : s_14_3 515 # ASSIGN : s_14_4 647 # ASSIGN : s_15_0 587 # ASSIGN : s_15_1 728 # ASSIGN : s_15_2 865 # ASSIGN : s_15_3 1084 # ASSIGN : s_15_4 1182 # ASSIGN : s_16_0 398 # ASSIGN : s_16_1 603 # ASSIGN : s_16_2 936 # ASSIGN : s_16_3 996 # ASSIGN : s_16_4 1122 # ASSIGN : s_17_0 117 # ASSIGN : s_17_1 748 # ASSIGN : s_17_2 847 # ASSIGN : s_17_3 916 # ASSIGN : s_17_4 1194 # ASSIGN : s_18_0 362 # ASSIGN : s_18_1 405 # ASSIGN : s_18_2 565 # ASSIGN : s_18_3 869 # ASSIGN : s_18_4 965 # ASSIGN : s_19_0 261 # ASSIGN : s_19_1 383 # ASSIGN : s_19_2 469 # ASSIGN : s_19_3 540 # ASSIGN : s_19_4 692 SHOW_RESULT 1221 END : 1221 (0 seconds) [Thu Jun 1 15:55:42 2006] SHOW_RESULT 1221 CPU : 0.400000000000006 = 0.400000000000006 + 0 + 0 + 0 # BOUND : makespan 1207 1221 MODIFY_CNF 1214 BEGIN : [Thu Jun 1 15:55:42 2006] MODIFY_CNF 1214 END : 66922949 bytes (0 seconds) [Thu Jun 1 15:55:42 2006] MODIFY_CNF 1214 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1214 BEGIN : [Thu Jun 1 15:55:42 2006] CMD : minisat /work/tamura/csp2sat114938.cnf /work/tamura/csp2sat114938.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 2075009 6129356 | 691669 0 0 NaNQ | 0.000 % | | 100 | 2075009 6129356 | 760835 100 1887 18.9 | 34.476 % | | 251 | 2075009 6129356 | 836919 251 3697 14.7 | 34.476 % | | 476 | 2075009 6129356 | 920611 476 10435 21.9 | 34.476 % | | 813 | 2075009 6129356 | 1012672 813 14667 18.0 | 34.476 % | | 1319 | 2075009 6129356 | 1113939 1319 24390 18.5 | 34.476 % | | 2078 | 2075009 6129356 | 1225333 2078 37393 18.0 | 34.476 % | | 3217 | 2075009 6129356 | 1347867 3217 72083 22.4 | 34.476 % | | 4926 | 2075009 6129356 | 1482653 4926 149318 30.3 | 34.476 % | ==============================================================================) restarts : 9 conflicts : 7092 (306 /sec) decisions : 11664 (503 /sec) propagations : 28956026 (1247629 /sec) inspects : 431258583 (18581644 /sec) conflict literals : 191187 (17.27 % deleted) CPU time : 23.2089 s SATISFIABLE VERIFY_CNF 1214 END : (25 seconds) [Thu Jun 1 15:56:07 2006] VERIFY_CNF 1214 CPU : 24.57 = 0.00999999999999091 + 0.01 + 24.48 + 0.07 # RESULT : makespan 1214 SATISFIABLE SHOW_RESULT 1214 BEGIN : [Thu Jun 1 15:56:07 2006] # ASSIGN : makespan 1214 # ASSIGN : s_0_0 6 # ASSIGN : s_0_1 26 # ASSIGN : s_0_2 96 # ASSIGN : s_0_3 463 # ASSIGN : s_0_4 500 # ASSIGN : s_1_0 123 # ASSIGN : s_1_1 200 # ASSIGN : s_1_2 738 # ASSIGN : s_1_3 1096 # ASSIGN : s_1_4 1188 # ASSIGN : s_2_0 50 # ASSIGN : s_2_1 98 # ASSIGN : s_2_2 163 # ASSIGN : s_2_3 328 # ASSIGN : s_2_4 1137 # ASSIGN : s_3_0 66 # ASSIGN : s_3_1 416 # ASSIGN : s_3_2 481 # ASSIGN : s_3_3 570 # ASSIGN : s_3_4 1146 # ASSIGN : s_4_0 240 # ASSIGN : s_4_1 332 # ASSIGN : s_4_2 1102 # ASSIGN : s_4_3 1151 # ASSIGN : s_4_4 1177 # ASSIGN : s_5_0 590 # ASSIGN : s_5_1 825 # ASSIGN : s_5_2 918 # ASSIGN : s_5_3 1001 # ASSIGN : s_5_4 1042 # ASSIGN : s_6_0 17 # ASSIGN : s_6_1 76 # ASSIGN : s_6_2 632 # ASSIGN : s_6_3 971 # ASSIGN : s_6_4 1077 # ASSIGN : s_7_0 224 # ASSIGN : s_7_1 325 # ASSIGN : s_7_2 526 # ASSIGN : s_7_3 622 # ASSIGN : s_7_4 669 # ASSIGN : s_8_0 303 # ASSIGN : s_8_1 985 # ASSIGN : s_8_2 1076 # ASSIGN : s_8_3 1126 # ASSIGN : s_8_4 1197 # ASSIGN : s_9_0 10 # ASSIGN : s_9_1 82 # ASSIGN : s_9_2 174 # ASSIGN : s_9_3 233 # ASSIGN : s_9_4 383 # ASSIGN : s_10_0 545 # ASSIGN : s_10_1 603 # ASSIGN : s_10_2 677 # ASSIGN : s_10_3 689 # ASSIGN : s_10_4 766 # ASSIGN : s_11_0 87 # ASSIGN : s_11_1 170 # ASSIGN : s_11_2 232 # ASSIGN : s_11_3 909 # ASSIGN : s_11_4 950 # ASSIGN : s_12_0 304 # ASSIGN : s_12_1 738 # ASSIGN : s_12_2 811 # ASSIGN : s_12_3 909 # ASSIGN : s_12_4 1009 # ASSIGN : s_13_0 12 # ASSIGN : s_13_1 114 # ASSIGN : s_13_2 685 # ASSIGN : s_13_3 712 # ASSIGN : s_13_4 854 # ASSIGN : s_14_0 265 # ASSIGN : s_14_1 679 # ASSIGN : s_14_2 768 # ASSIGN : s_14_3 824 # ASSIGN : s_14_4 1001 # ASSIGN : s_15_0 184 # ASSIGN : s_15_1 394 # ASSIGN : s_15_2 590 # ASSIGN : s_15_3 1085 # ASSIGN : s_15_4 1175 # ASSIGN : s_16_0 177 # ASSIGN : s_16_1 359 # ASSIGN : s_16_2 381 # ASSIGN : s_16_3 393 # ASSIGN : s_16_4 510 # ASSIGN : s_17_0 31 # ASSIGN : s_17_1 793 # ASSIGN : s_17_2 891 # ASSIGN : s_17_3 960 # ASSIGN : s_17_4 1161 # ASSIGN : s_18_0 372 # ASSIGN : s_18_1 442 # ASSIGN : s_18_2 534 # ASSIGN : s_18_3 595 # ASSIGN : s_18_4 663 # ASSIGN : s_19_0 360 # ASSIGN : s_19_1 486 # ASSIGN : s_19_2 519 # ASSIGN : s_19_3 886 # ASSIGN : s_19_4 1032 SHOW_RESULT 1214 END : 1214 (1 seconds) [Thu Jun 1 15:56:08 2006] SHOW_RESULT 1214 CPU : 0.420000000000016 = 0.420000000000016 + 0 + 0 + 0 # BOUND : makespan 1207 1214 MODIFY_CNF 1210 BEGIN : [Thu Jun 1 15:56:08 2006] MODIFY_CNF 1210 END : 66922949 bytes (0 seconds) [Thu Jun 1 15:56:08 2006] MODIFY_CNF 1210 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1210 BEGIN : [Thu Jun 1 15:56:08 2006] CMD : minisat /work/tamura/csp2sat114938.cnf /work/tamura/csp2sat114938.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 2067005 6105748 | 689001 0 0 NaNQ | 0.000 % | | 101 | 2067005 6105748 | 757901 101 2963 29.3 | 34.752 % | | 251 | 2067005 6105748 | 833691 251 5063 20.2 | 34.752 % | | 477 | 2067005 6105748 | 917060 477 8620 18.1 | 34.752 % | | 814 | 2067005 6105748 | 1008766 814 14075 17.3 | 34.752 % | | 1320 | 2067005 6105748 | 1109643 1320 32024 24.3 | 34.752 % | | 2079 | 2067005 6105748 | 1220607 2079 47050 22.6 | 34.752 % | | 3218 | 2067005 6105748 | 1342668 3218 72619 22.6 | 34.752 % | | 4926 | 2067005 6105748 | 1476934 4926 116615 23.7 | 34.752 % | | 7488 | 2067005 6105748 | 1624628 7488 175395 23.4 | 34.752 % | | 11332 | 2067005 6105748 | 1787091 11332 250336 22.1 | 34.752 % | | 17099 | 2067005 6105748 | 1965800 17099 355585 20.8 | 34.752 % | ==============================================================================) restarts : 12 conflicts : 19794 (291 /sec) decisions : 30233 (444 /sec) propagations : 96067624 (1410095 /sec) inspects : 1310076159 (19229489 /sec) conflict literals : 417923 (24.72 % deleted) CPU time : 68.1285 s SATISFIABLE VERIFY_CNF 1210 END : (69 seconds) [Thu Jun 1 15:57:17 2006] VERIFY_CNF 1210 CPU : 69.39 = 0 + 0.01 + 69.3 + 0.08 # RESULT : makespan 1210 SATISFIABLE SHOW_RESULT 1210 BEGIN : [Thu Jun 1 15:57:17 2006] # ASSIGN : makespan 1210 # ASSIGN : s_0_0 3 # ASSIGN : s_0_1 52 # ASSIGN : s_0_2 155 # ASSIGN : s_0_3 243 # ASSIGN : s_0_4 505 # ASSIGN : s_1_0 0 # ASSIGN : s_1_1 151 # ASSIGN : s_1_2 862 # ASSIGN : s_1_3 955 # ASSIGN : s_1_4 1133 # ASSIGN : s_2_0 14 # ASSIGN : s_2_1 135 # ASSIGN : s_2_2 200 # ASSIGN : s_2_3 280 # ASSIGN : s_2_4 1125 # ASSIGN : s_3_0 434 # ASSIGN : s_3_1 587 # ASSIGN : s_3_2 1061 # ASSIGN : s_3_3 1127 # ASSIGN : s_3_4 1195 # ASSIGN : s_4_0 92 # ASSIGN : s_4_1 177 # ASSIGN : s_4_2 282 # ASSIGN : s_4_3 335 # ASSIGN : s_4_4 366 # ASSIGN : s_5_0 639 # ASSIGN : s_5_1 755 # ASSIGN : s_5_2 810 # ASSIGN : s_5_3 960 # ASSIGN : s_5_4 1088 # ASSIGN : s_6_0 54 # ASSIGN : s_6_1 113 # ASSIGN : s_6_2 1053 # ASSIGN : s_6_3 1172 # ASSIGN : s_6_4 1202 # ASSIGN : s_7_0 9 # ASSIGN : s_7_1 270 # ASSIGN : s_7_2 326 # ASSIGN : s_7_3 403 # ASSIGN : s_7_4 444 # ASSIGN : s_8_0 247 # ASSIGN : s_8_1 364 # ASSIGN : s_8_2 541 # ASSIGN : s_8_3 957 # ASSIGN : s_8_4 1142 # ASSIGN : s_9_0 236 # ASSIGN : s_9_1 276 # ASSIGN : s_9_2 524 # ASSIGN : s_9_3 583 # ASSIGN : s_9_4 677 # ASSIGN : s_10_0 917 # ASSIGN : s_10_1 999 # ASSIGN : s_10_2 1028 # ASSIGN : s_10_3 1036 # ASSIGN : s_10_4 1152 # ASSIGN : s_11_0 455 # ASSIGN : s_11_1 728 # ASSIGN : s_11_2 825 # ASSIGN : s_11_3 1186 # ASSIGN : s_11_4 1200 # ASSIGN : s_12_0 782 # ASSIGN : s_12_1 820 # ASSIGN : s_12_2 893 # ASSIGN : s_12_3 991 # ASSIGN : s_12_4 1113 # ASSIGN : s_13_0 476 # ASSIGN : s_13_1 591 # ASSIGN : s_13_2 684 # ASSIGN : s_13_3 711 # ASSIGN : s_13_4 859 # ASSIGN : s_14_0 60 # ASSIGN : s_14_1 217 # ASSIGN : s_14_2 303 # ASSIGN : s_14_3 359 # ASSIGN : s_14_4 1047 # ASSIGN : s_15_0 404 # ASSIGN : s_15_1 491 # ASSIGN : s_15_2 652 # ASSIGN : s_15_3 810 # ASSIGN : s_15_4 921 # ASSIGN : s_16_0 7 # ASSIGN : s_16_1 18 # ASSIGN : s_16_2 40 # ASSIGN : s_16_3 89 # ASSIGN : s_16_4 183 # ASSIGN : s_17_0 68 # ASSIGN : s_17_1 546 # ASSIGN : s_17_2 715 # ASSIGN : s_17_3 784 # ASSIGN : s_17_4 1159 # ASSIGN : s_18_0 455 # ASSIGN : s_18_1 485 # ASSIGN : s_18_2 590 # ASSIGN : s_18_3 757 # ASSIGN : s_18_4 833 # ASSIGN : s_19_0 569 # ASSIGN : s_19_1 651 # ASSIGN : s_19_2 684 # ASSIGN : s_19_3 962 # ASSIGN : s_19_4 1083 SHOW_RESULT 1210 END : 1210 (1 seconds) [Thu Jun 1 15:57:18 2006] SHOW_RESULT 1210 CPU : 0.409999999999997 = 0.409999999999997 + 0 + 0 + 0 # BOUND : makespan 1207 1210 MODIFY_CNF 1208 BEGIN : [Thu Jun 1 15:57:18 2006] MODIFY_CNF 1208 END : 66922949 bytes (0 seconds) [Thu Jun 1 15:57:18 2006] MODIFY_CNF 1208 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1208 BEGIN : [Thu Jun 1 15:57:18 2006] CMD : minisat /work/tamura/csp2sat114938.cnf /work/tamura/csp2sat114938.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 2063003 6093944 | 687667 0 0 NaNQ | 0.000 % | | 100 | 2063003 6093944 | 756433 100 1680 16.8 | 34.890 % | | 250 | 2063003 6093944 | 832077 250 4042 16.2 | 34.890 % | | 477 | 2063003 6093944 | 915284 477 6870 14.4 | 34.890 % | | 815 | 2063003 6093944 | 1006813 815 17137 21.0 | 34.890 % | | 1322 | 2063003 6093944 | 1107494 1322 24264 18.4 | 34.890 % | | 2082 | 2063003 6093944 | 1218244 2082 37210 17.9 | 34.890 % | | 3221 | 2063003 6093944 | 1340068 3221 54524 16.9 | 34.890 % | | 4930 | 2063003 6093944 | 1474075 4930 83252 16.9 | 34.890 % | | 7492 | 2063003 6093944 | 1621482 7492 126128 16.8 | 34.890 % | ==============================================================================) restarts : 10 conflicts : 11072 (266 /sec) decisions : 16271 (391 /sec) propagations : 57136875 (1374470 /sec) inspects : 777380276 (18700460 /sec) conflict literals : 205474 (27.22 % deleted) CPU time : 41.5701 s SATISFIABLE VERIFY_CNF 1208 END : (43 seconds) [Thu Jun 1 15:58:01 2006] VERIFY_CNF 1208 CPU : 42.93 = 0 + 0.00999999999999995 + 42.84 + 0.08 # RESULT : makespan 1208 SATISFIABLE SHOW_RESULT 1208 BEGIN : [Thu Jun 1 15:58:01 2006] # ASSIGN : makespan 1208 # ASSIGN : s_0_0 387 # ASSIGN : s_0_1 399 # ASSIGN : s_0_2 439 # ASSIGN : s_0_3 581 # ASSIGN : s_0_4 635 # ASSIGN : s_1_0 55 # ASSIGN : s_1_1 95 # ASSIGN : s_1_2 414 # ASSIGN : s_1_3 554 # ASSIGN : s_1_4 1092 # ASSIGN : s_2_0 11 # ASSIGN : s_2_1 57 # ASSIGN : s_2_2 122 # ASSIGN : s_2_3 223 # ASSIGN : s_2_4 1131 # ASSIGN : s_3_0 204 # ASSIGN : s_3_1 418 # ASSIGN : s_3_2 975 # ASSIGN : s_3_3 1040 # ASSIGN : s_3_4 1193 # ASSIGN : s_4_0 281 # ASSIGN : s_4_1 1039 # ASSIGN : s_4_2 1101 # ASSIGN : s_4_3 1145 # ASSIGN : s_4_4 1171 # ASSIGN : s_5_0 469 # ASSIGN : s_5_1 776 # ASSIGN : s_5_2 882 # ASSIGN : s_5_3 965 # ASSIGN : s_5_4 1124 # ASSIGN : s_6_0 277 # ASSIGN : s_6_1 336 # ASSIGN : s_6_2 729 # ASSIGN : s_6_3 809 # ASSIGN : s_6_4 879 # ASSIGN : s_7_0 100 # ASSIGN : s_7_1 225 # ASSIGN : s_7_2 281 # ASSIGN : s_7_3 377 # ASSIGN : s_7_4 484 # ASSIGN : s_8_0 144 # ASSIGN : s_8_1 268 # ASSIGN : s_8_2 374 # ASSIGN : s_8_3 571 # ASSIGN : s_8_4 1176 # ASSIGN : s_9_0 842 # ASSIGN : s_9_1 887 # ASSIGN : s_9_2 999 # ASSIGN : s_9_3 1058 # ASSIGN : s_9_4 1065 # ASSIGN : s_10_0 1 # ASSIGN : s_10_1 75 # ASSIGN : s_10_2 192 # ASSIGN : s_10_3 200 # ASSIGN : s_10_4 278 # ASSIGN : s_11_0 10 # ASSIGN : s_11_1 46 # ASSIGN : s_11_2 127 # ASSIGN : s_11_3 636 # ASSIGN : s_11_4 766 # ASSIGN : s_12_0 359 # ASSIGN : s_12_1 447 # ASSIGN : s_12_2 520 # ASSIGN : s_12_3 618 # ASSIGN : s_12_4 837 # ASSIGN : s_13_0 716 # ASSIGN : s_13_1 863 # ASSIGN : s_13_2 949 # ASSIGN : s_13_3 976 # ASSIGN : s_13_4 1075 # ASSIGN : s_14_0 186 # ASSIGN : s_14_1 558 # ASSIGN : s_14_2 654 # ASSIGN : s_14_3 710 # ASSIGN : s_14_4 839 # ASSIGN : s_15_0 358 # ASSIGN : s_15_1 642 # ASSIGN : s_15_2 805 # ASSIGN : s_15_3 1079 # ASSIGN : s_15_4 1169 # ASSIGN : s_16_0 4 # ASSIGN : s_16_1 35 # ASSIGN : s_16_2 110 # ASSIGN : s_16_3 180 # ASSIGN : s_16_4 424 # ASSIGN : s_17_0 50 # ASSIGN : s_17_1 786 # ASSIGN : s_17_2 880 # ASSIGN : s_17_3 950 # ASSIGN : s_17_4 1149 # ASSIGN : s_18_0 393 # ASSIGN : s_18_1 645 # ASSIGN : s_18_2 734 # ASSIGN : s_18_3 795 # ASSIGN : s_18_4 924 # ASSIGN : s_19_0 104 # ASSIGN : s_19_1 366 # ASSIGN : s_19_2 483 # ASSIGN : s_19_3 617 # ASSIGN : s_19_4 996 SHOW_RESULT 1208 END : 1208 (0 seconds) [Thu Jun 1 15:58:01 2006] SHOW_RESULT 1208 CPU : 0.400000000000006 = 0.400000000000006 + 0 + 0 + 0 # BOUND : makespan 1207 1208 MODIFY_CNF 1207 BEGIN : [Thu Jun 1 15:58:01 2006] MODIFY_CNF 1207 END : 66922949 bytes (0 seconds) [Thu Jun 1 15:58:01 2006] MODIFY_CNF 1207 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1207 BEGIN : [Thu Jun 1 15:58:01 2006] CMD : minisat /work/tamura/csp2sat114938.cnf /work/tamura/csp2sat114938.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 2061003 6088044 | 687001 0 0 NaNQ | 0.000 % | | 101 | 2061003 6088044 | 755701 101 1354 13.4 | 34.958 % | | 253 | 2061003 6088044 | 831271 253 3513 13.9 | 34.958 % | | 478 | 2061003 6088044 | 914398 478 8696 18.2 | 34.958 % | | 815 | 2061003 6088044 | 1005838 815 14535 17.8 | 34.958 % | | 1321 | 2061003 6088044 | 1106421 1321 22345 16.9 | 34.958 % | | 2080 | 2061003 6088044 | 1217064 2080 31422 15.1 | 34.958 % | | 3219 | 2061003 6088044 | 1338770 3219 71252 22.1 | 34.958 % | | 4927 | 2061003 6088044 | 1472647 4927 135334 27.5 | 34.958 % | | 7490 | 2061003 6088044 | 1619912 7490 184512 24.6 | 34.958 % | | 11334 | 2061003 6088044 | 1781903 11334 289364 25.5 | 34.958 % | | 17100 | 2061003 6088044 | 1960094 17100 473612 27.7 | 34.958 % | ==============================================================================) restarts : 12 conflicts : 20304 (311 /sec) decisions : 31530 (483 /sec) propagations : 81929169 (1254236 /sec) inspects : 1271206297 (19460630 /sec) conflict literals : 560851 (18.87 % deleted) CPU time : 65.322 s SATISFIABLE VERIFY_CNF 1207 END : (67 seconds) [Thu Jun 1 15:59:08 2006] VERIFY_CNF 1207 CPU : 66.63 = 0 + 0.01 + 66.55 + 0.07 # RESULT : makespan 1207 SATISFIABLE SHOW_RESULT 1207 BEGIN : [Thu Jun 1 15:59:08 2006] # ASSIGN : makespan 1207 # ASSIGN : s_0_0 119 # ASSIGN : s_0_1 152 # ASSIGN : s_0_2 202 # ASSIGN : s_0_3 358 # ASSIGN : s_0_4 930 # ASSIGN : s_1_0 112 # ASSIGN : s_1_1 234 # ASSIGN : s_1_2 317 # ASSIGN : s_1_3 527 # ASSIGN : s_1_4 1198 # ASSIGN : s_2_0 323 # ASSIGN : s_2_1 369 # ASSIGN : s_2_2 434 # ASSIGN : s_2_3 504 # ASSIGN : s_2_4 1130 # ASSIGN : s_3_0 10 # ASSIGN : s_3_1 248 # ASSIGN : s_3_2 959 # ASSIGN : s_3_3 1138 # ASSIGN : s_3_4 1183 # ASSIGN : s_4_0 192 # ASSIGN : s_4_1 277 # ASSIGN : s_4_2 383 # ASSIGN : s_4_3 480 # ASSIGN : s_4_4 608 # ASSIGN : s_5_0 551 # ASSIGN : s_5_1 645 # ASSIGN : s_5_2 674 # ASSIGN : s_5_3 757 # ASSIGN : s_5_4 1011 # ASSIGN : s_6_0 51 # ASSIGN : s_6_1 110 # ASSIGN : s_6_2 880 # ASSIGN : s_6_3 960 # ASSIGN : s_6_4 1023 # ASSIGN : s_7_0 640 # ASSIGN : s_7_1 747 # ASSIGN : s_7_2 803 # ASSIGN : s_7_3 882 # ASSIGN : s_7_4 923 # ASSIGN : s_8_0 192 # ASSIGN : s_8_1 460 # ASSIGN : s_8_2 639 # ASSIGN : s_8_3 1095 # ASSIGN : s_8_4 1166 # ASSIGN : s_9_0 283 # ASSIGN : s_9_1 372 # ASSIGN : s_9_2 468 # ASSIGN : s_9_3 529 # ASSIGN : s_9_4 559 # ASSIGN : s_10_0 914 # ASSIGN : s_10_1 961 # ASSIGN : s_10_2 990 # ASSIGN : s_10_3 998 # ASSIGN : s_10_4 1080 # ASSIGN : s_11_0 329 # ASSIGN : s_11_1 772 # ASSIGN : s_11_2 827 # ASSIGN : s_11_3 1157 # ASSIGN : s_11_4 1197 # ASSIGN : s_12_0 0 # ASSIGN : s_12_1 31 # ASSIGN : s_12_2 104 # ASSIGN : s_12_3 266 # ASSIGN : s_12_4 795 # ASSIGN : s_13_0 49 # ASSIGN : s_13_1 148 # ASSIGN : s_13_2 933 # ASSIGN : s_13_3 1002 # ASSIGN : s_13_4 1101 # ASSIGN : s_14_0 9 # ASSIGN : s_14_1 125 # ASSIGN : s_14_2 313 # ASSIGN : s_14_3 395 # ASSIGN : s_14_4 1166 # ASSIGN : s_15_0 427 # ASSIGN : s_15_1 536 # ASSIGN : s_15_2 688 # ASSIGN : s_15_3 720 # ASSIGN : s_15_4 788 # ASSIGN : s_16_0 376 # ASSIGN : s_16_1 446 # ASSIGN : s_16_2 814 # ASSIGN : s_16_3 826 # ASSIGN : s_16_4 1020 # ASSIGN : s_17_0 65 # ASSIGN : s_17_1 184 # ASSIGN : s_17_2 365 # ASSIGN : s_17_3 949 # ASSIGN : s_17_4 1130 # ASSIGN : s_18_0 28 # ASSIGN : s_18_1 508 # ASSIGN : s_18_2 628 # ASSIGN : s_18_3 689 # ASSIGN : s_18_4 1075 # ASSIGN : s_19_0 592 # ASSIGN : s_19_1 691 # ASSIGN : s_19_2 724 # ASSIGN : s_19_3 1031 # ASSIGN : s_19_4 1163 SHOW_RESULT 1207 END : 1207 (1 seconds) [Thu Jun 1 15:59:09 2006] SHOW_RESULT 1207 CPU : 0.409999999999997 = 0.409999999999997 + 0 + 0 + 0 # BOUND : makespan 1207 1207 MAIN END : (410 seconds) [Thu Jun 1 15:59:09 2006] MAIN CPU : 408.08 = 150.32 + 0.28 + 256.89 + 0.59