# TIMEOUT 18000 MAIN BEGIN : [Mon Jun 19 15:15:04 2006] READ BEGIN : csp/tai_20x20_10.csp [Mon Jun 19 15:15:04 2006] READ END : csp/tai_20x20_10.csp (15 seconds) [Mon Jun 19 15:15:19 2006] READ CPU : 14.94 = 14.78 + 0.16 + 0 + 0 # BOUND : makespan 1241 1884 GENERATE_CNF 1884 BEGIN : [Mon Jun 19 15:15:19 2006] GENERATE_CNF 1884 END : 770645 variables 28917758 clauses 707677450 bytes (1121 seconds) [Mon Jun 19 15:34:00 2006] GENERATE_CNF 1884 CPU : 1116.56 = 1111.54 + 5.02 + 0 + 0 MODIFY_CNF 1562 BEGIN : [Mon Jun 19 15:34:00 2006] MODIFY_CNF 1562 END : 707677456 bytes (0 seconds) [Mon Jun 19 15:34:00 2006] MODIFY_CNF 1562 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1562 BEGIN : [Mon Jun 19 15:34:00 2006] CMD : minisat /tmp/csp2sat894.cnf /tmp/csp2sat894.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 24005353 71272622 | 8001784 0 0 nan | 0.000 % | | 100 | 24005353 71272622 | 8801962 100 6766 67.7 | 19.542 % | ============================================================================== restarts : 2 conflicts : 130 (1 /sec) decisions : 5694 (27 /sec) propagations : 2753154 (13092 /sec) conflict literals : 7029 (6.40 % deleted) Memory used : 1140.55 MB CPU time : 210.29 s SATISFIABLE VERIFY_CNF 1562 END : (214 seconds) [Mon Jun 19 15:37:34 2006] VERIFY_CNF 1562 CPU : 214.62 = 0 + 0.0100000000000007 + 210.82 + 3.79 # RESULT : makespan 1562 SATISFIABLE SHOW_RESULT 1562 BEGIN : [Mon Jun 19 15:37:34 2006] # ASSIGN : makespan 1562 # ASSIGN : s_0_0 878 # ASSIGN : s_0_1 949 # ASSIGN : s_0_2 337 # ASSIGN : s_0_3 1415 # ASSIGN : s_0_4 613 # ASSIGN : s_0_5 939 # ASSIGN : s_0_6 211 # ASSIGN : s_0_7 86 # ASSIGN : s_0_8 7 # ASSIGN : s_0_9 349 # ASSIGN : s_0_10 475 # ASSIGN : s_0_11 354 # ASSIGN : s_0_12 744 # ASSIGN : s_0_13 309 # ASSIGN : s_0_14 403 # ASSIGN : s_0_15 1513 # ASSIGN : s_0_16 412 # ASSIGN : s_0_17 582 # ASSIGN : s_0_18 630 # ASSIGN : s_0_19 652 # ASSIGN : s_1_0 893 # ASSIGN : s_1_1 1177 # ASSIGN : s_1_2 507 # ASSIGN : s_1_3 584 # ASSIGN : s_1_4 737 # ASSIGN : s_1_5 982 # ASSIGN : s_1_6 378 # ASSIGN : s_1_7 171 # ASSIGN : s_1_8 54 # ASSIGN : s_1_9 678 # ASSIGN : s_1_10 406 # ASSIGN : s_1_11 247 # ASSIGN : s_1_12 262 # ASSIGN : s_1_13 1204 # ASSIGN : s_1_14 13 # ASSIGN : s_1_15 1468 # ASSIGN : s_1_16 104 # ASSIGN : s_1_17 840 # ASSIGN : s_1_18 963 # ASSIGN : s_1_19 1081 # ASSIGN : s_2_0 395 # ASSIGN : s_2_1 998 # ASSIGN : s_2_2 1454 # ASSIGN : s_2_3 336 # ASSIGN : s_2_4 543 # ASSIGN : s_2_5 0 # ASSIGN : s_2_6 428 # ASSIGN : s_2_7 251 # ASSIGN : s_2_8 105 # ASSIGN : s_2_9 401 # ASSIGN : s_2_10 1501 # ASSIGN : s_2_11 174 # ASSIGN : s_2_12 59 # ASSIGN : s_2_13 357 # ASSIGN : s_2_14 1104 # ASSIGN : s_2_15 1390 # ASSIGN : s_2_16 387 # ASSIGN : s_2_17 388 # ASSIGN : s_2_18 602 # ASSIGN : s_2_19 615 # ASSIGN : s_3_0 404 # ASSIGN : s_3_1 763 # ASSIGN : s_3_2 600 # ASSIGN : s_3_3 915 # ASSIGN : s_3_4 628 # ASSIGN : s_3_5 1074 # ASSIGN : s_3_6 520 # ASSIGN : s_3_7 326 # ASSIGN : s_3_8 259 # ASSIGN : s_3_9 377 # ASSIGN : s_3_10 1207 # ASSIGN : s_3_11 716 # ASSIGN : s_3_12 1380 # ASSIGN : s_3_13 448 # ASSIGN : s_3_14 1151 # ASSIGN : s_3_15 1283 # ASSIGN : s_3_16 832 # ASSIGN : s_3_17 1002 # ASSIGN : s_3_18 11 # ASSIGN : s_3_19 1470 # ASSIGN : s_4_0 725 # ASSIGN : s_4_1 830 # ASSIGN : s_4_2 1293 # ASSIGN : s_4_3 463 # ASSIGN : s_4_4 1 # ASSIGN : s_4_5 30 # ASSIGN : s_4_6 613 # ASSIGN : s_4_7 362 # ASSIGN : s_4_8 268 # ASSIGN : s_4_9 1554 # ASSIGN : s_4_10 920 # ASSIGN : s_4_11 652 # ASSIGN : s_4_12 1371 # ASSIGN : s_4_13 554 # ASSIGN : s_4_14 1006 # ASSIGN : s_4_15 1261 # ASSIGN : s_4_16 772 # ASSIGN : s_4_17 1215 # ASSIGN : s_4_18 1382 # ASSIGN : s_4_19 1406 # ASSIGN : s_5_0 376 # ASSIGN : s_5_1 1265 # ASSIGN : s_5_2 1415 # ASSIGN : s_5_3 284 # ASSIGN : s_5_4 852 # ASSIGN : s_5_5 71 # ASSIGN : s_5_6 622 # ASSIGN : s_5_7 459 # ASSIGN : s_5_8 360 # ASSIGN : s_5_9 1477 # ASSIGN : s_5_10 662 # ASSIGN : s_5_11 533 # ASSIGN : s_5_12 1331 # ASSIGN : s_5_13 1001 # ASSIGN : s_5_14 756 # ASSIGN : s_5_15 1179 # ASSIGN : s_5_16 729 # ASSIGN : s_5_17 1297 # ASSIGN : s_5_18 193 # ASSIGN : s_5_19 1345 # ASSIGN : s_6_0 437 # ASSIGN : s_6_1 3 # ASSIGN : s_6_2 35 # ASSIGN : s_6_3 49 # ASSIGN : s_6_4 1364 # ASSIGN : s_6_5 148 # ASSIGN : s_6_6 782 # ASSIGN : s_6_7 688 # ASSIGN : s_6_8 174 # ASSIGN : s_6_9 1447 # ASSIGN : s_6_10 573 # ASSIGN : s_6_11 1194 # ASSIGN : s_6_12 1223 # ASSIGN : s_6_13 819 # ASSIGN : s_6_14 861 # ASSIGN : s_6_15 1092 # ASSIGN : s_6_16 929 # ASSIGN : s_6_17 930 # ASSIGN : s_6_18 1013 # ASSIGN : s_6_19 1313 # ASSIGN : s_7_0 497 # ASSIGN : s_7_1 1028 # ASSIGN : s_7_2 76 # ASSIGN : s_7_3 0 # ASSIGN : s_7_4 381 # ASSIGN : s_7_5 169 # ASSIGN : s_7_6 833 # ASSIGN : s_7_7 757 # ASSIGN : s_7_8 377 # ASSIGN : s_7_9 1377 # ASSIGN : s_7_10 1424 # ASSIGN : s_7_11 1082 # ASSIGN : s_7_12 1157 # ASSIGN : s_7_13 603 # ASSIGN : s_7_14 923 # ASSIGN : s_7_15 1055 # ASSIGN : s_7_16 708 # ASSIGN : s_7_17 767 # ASSIGN : s_7_18 773 # ASSIGN : s_7_19 815 # ASSIGN : s_8_0 321 # ASSIGN : s_8_1 408 # ASSIGN : s_8_2 283 # ASSIGN : s_8_3 153 # ASSIGN : s_8_4 9 # ASSIGN : s_8_5 253 # ASSIGN : s_8_6 1060 # ASSIGN : s_8_7 787 # ASSIGN : s_8_8 379 # ASSIGN : s_8_9 1263 # ASSIGN : s_8_10 1327 # ASSIGN : s_8_11 867 # ASSIGN : s_8_12 679 # ASSIGN : s_8_13 918 # ASSIGN : s_8_14 1115 # ASSIGN : s_8_15 976 # ASSIGN : s_8_16 1421 # ASSIGN : s_8_17 1155 # ASSIGN : s_8_18 1163 # ASSIGN : s_8_19 1287 # ASSIGN : s_9_0 201 # ASSIGN : s_9_1 486 # ASSIGN : s_9_2 640 # ASSIGN : s_9_3 47 # ASSIGN : s_9_4 82 # ASSIGN : s_9_5 279 # ASSIGN : s_9_6 991 # ASSIGN : s_9_7 841 # ASSIGN : s_9_8 409 # ASSIGN : s_9_9 1174 # ASSIGN : s_9_10 1295 # ASSIGN : s_9_11 805 # ASSIGN : s_9_12 1114 # ASSIGN : s_9_13 722 # ASSIGN : s_9_14 1483 # ASSIGN : s_9_15 900 # ASSIGN : s_9_16 1334 # ASSIGN : s_9_17 586 # ASSIGN : s_9_18 1086 # ASSIGN : s_9_19 1199 # ASSIGN : s_10_0 9 # ASSIGN : s_10_1 582 # ASSIGN : s_10_2 1505 # ASSIGN : s_10_3 106 # ASSIGN : s_10_4 124 # ASSIGN : s_10_5 333 # ASSIGN : s_10_6 1213 # ASSIGN : s_10_7 900 # ASSIGN : s_10_8 442 # ASSIGN : s_10_9 989 # ASSIGN : s_10_10 1118 # ASSIGN : s_10_11 1364 # ASSIGN : s_10_12 1022 # ASSIGN : s_10_13 683 # ASSIGN : s_10_14 1455 # ASSIGN : s_10_15 822 # ASSIGN : s_10_16 1254 # ASSIGN : s_10_17 495 # ASSIGN : s_10_18 725 # ASSIGN : s_10_19 1175 # ASSIGN : s_11_0 152 # ASSIGN : s_11_1 1490 # ASSIGN : s_11_2 309 # ASSIGN : s_11_3 117 # ASSIGN : s_11_4 204 # ASSIGN : s_11_5 362 # ASSIGN : s_11_6 1372 # ASSIGN : s_11_7 1187 # ASSIGN : s_11_8 512 # ASSIGN : s_11_9 917 # ASSIGN : s_11_10 1095 # ASSIGN : s_11_11 1287 # ASSIGN : s_11_12 999 # ASSIGN : s_11_13 1554 # ASSIGN : s_11_14 1391 # ASSIGN : s_11_15 809 # ASSIGN : s_11_16 1230 # ASSIGN : s_11_17 1080 # ASSIGN : s_11_18 1107 # ASSIGN : s_11_19 1126 # ASSIGN : s_12_0 237 # ASSIGN : s_12_1 913 # ASSIGN : s_12_2 353 # ASSIGN : s_12_3 244 # ASSIGN : s_12_4 296 # ASSIGN : s_12_5 374 # ASSIGN : s_12_6 639 # ASSIGN : s_12_7 1317 # ASSIGN : s_12_8 573 # ASSIGN : s_12_9 830 # ASSIGN : s_12_10 1060 # ASSIGN : s_12_11 961 # ASSIGN : s_12_12 1364 # ASSIGN : s_12_13 1508 # ASSIGN : s_12_14 1557 # ASSIGN : s_12_15 750 # ASSIGN : s_12_16 1134 # ASSIGN : s_12_17 695 # ASSIGN : s_12_18 1417 # ASSIGN : s_12_19 1085 # ASSIGN : s_13_0 239 # ASSIGN : s_13_1 647 # ASSIGN : s_13_2 1135 # ASSIGN : s_13_3 310 # ASSIGN : s_13_4 316 # ASSIGN : s_13_5 456 # ASSIGN : s_13_6 1498 # ASSIGN : s_13_7 1211 # ASSIGN : s_13_8 575 # ASSIGN : s_13_9 798 # ASSIGN : s_13_10 825 # ASSIGN : s_13_11 777 # ASSIGN : s_13_12 907 # ASSIGN : s_13_13 1424 # ASSIGN : s_13_14 1288 # ASSIGN : s_13_15 731 # ASSIGN : s_13_16 1073 # ASSIGN : s_13_17 1546 # ASSIGN : s_13_18 1384 # ASSIGN : s_13_19 1002 # ASSIGN : s_14_0 249 # ASSIGN : s_14_1 1095 # ASSIGN : s_14_2 912 # ASSIGN : s_14_3 374 # ASSIGN : s_14_4 472 # ASSIGN : s_14_5 537 # ASSIGN : s_14_6 1320 # ASSIGN : s_14_7 1200 # ASSIGN : s_14_8 750 # ASSIGN : s_14_9 634 # ASSIGN : s_14_10 810 # ASSIGN : s_14_11 644 # ASSIGN : s_14_12 822 # ASSIGN : s_14_13 143 # ASSIGN : s_14_14 1286 # ASSIGN : s_14_15 663 # ASSIGN : s_14_16 1066 # ASSIGN : s_14_17 162 # ASSIGN : s_14_18 1360 # ASSIGN : s_14_19 992 # ASSIGN : s_15_0 584 # ASSIGN : s_15_1 1011 # ASSIGN : s_15_2 379 # ASSIGN : s_15_3 536 # ASSIGN : s_15_4 828 # ASSIGN : s_15_5 621 # ASSIGN : s_15_6 1517 # ASSIGN : s_15_7 1468 # ASSIGN : s_15_8 833 # ASSIGN : s_15_9 591 # ASSIGN : s_15_10 747 # ASSIGN : s_15_11 273 # ASSIGN : s_15_12 693 # ASSIGN : s_15_13 1398 # ASSIGN : s_15_14 1214 # ASSIGN : s_15_15 518 # ASSIGN : s_15_16 1038 # ASSIGN : s_15_17 464 # ASSIGN : s_15_18 1299 # ASSIGN : s_15_19 898 # ASSIGN : s_16_0 794 # ASSIGN : s_16_1 1483 # ASSIGN : s_16_2 1065 # ASSIGN : s_16_3 877 # ASSIGN : s_16_4 916 # ASSIGN : s_16_5 1128 # ASSIGN : s_16_6 1393 # ASSIGN : s_16_7 1512 # ASSIGN : s_16_8 942 # ASSIGN : s_16_9 586 # ASSIGN : s_16_10 718 # ASSIGN : s_16_11 111 # ASSIGN : s_16_12 598 # ASSIGN : s_16_13 1298 # ASSIGN : s_16_14 1161 # ASSIGN : s_16_15 479 # ASSIGN : s_16_16 1015 # ASSIGN : s_16_17 303 # ASSIGN : s_16_18 1219 # ASSIGN : s_16_19 535 # ASSIGN : s_17_0 1146 # ASSIGN : s_17_1 1387 # ASSIGN : s_17_2 1370 # ASSIGN : s_17_3 1056 # ASSIGN : s_17_4 924 # ASSIGN : s_17_5 1218 # ASSIGN : s_17_6 1267 # ASSIGN : s_17_7 1494 # ASSIGN : s_17_8 1019 # ASSIGN : s_17_9 517 # ASSIGN : s_17_10 296 # ASSIGN : s_17_11 42 # ASSIGN : s_17_12 475 # ASSIGN : s_17_13 616 # ASSIGN : s_17_14 725 # ASSIGN : s_17_15 376 # ASSIGN : s_17_16 953 # ASSIGN : s_17_17 124 # ASSIGN : s_17_18 168 # ASSIGN : s_17_19 221 # ASSIGN : s_18_0 1221 # ASSIGN : s_18_1 1282 # ASSIGN : s_18_2 692 # ASSIGN : s_18_3 1128 # ASSIGN : s_18_4 961 # ASSIGN : s_18_5 1469 # ASSIGN : s_18_6 736 # ASSIGN : s_18_7 1371 # ASSIGN : s_18_8 1021 # ASSIGN : s_18_9 431 # ASSIGN : s_18_10 253 # ASSIGN : s_18_11 1503 # ASSIGN : s_18_12 354 # ASSIGN : s_18_13 1088 # ASSIGN : s_18_14 266 # ASSIGN : s_18_15 236 # ASSIGN : s_18_16 12 # ASSIGN : s_18_17 29 # ASSIGN : s_18_18 107 # ASSIGN : s_18_19 125 # ASSIGN : s_19_0 973 # ASSIGN : s_19_1 1061 # ASSIGN : s_19_2 1207 # ASSIGN : s_19_3 1082 # ASSIGN : s_19_4 1107 # ASSIGN : s_19_5 1351 # ASSIGN : s_19_6 1505 # ASSIGN : s_19_7 1126 # ASSIGN : s_19_8 1146 # ASSIGN : s_19_9 257 # ASSIGN : s_19_10 133 # ASSIGN : s_19_11 1416 # ASSIGN : s_19_12 680 # ASSIGN : s_19_13 93 # ASSIGN : s_19_14 186 # ASSIGN : s_19_15 50 # ASSIGN : s_19_16 1519 # ASSIGN : s_19_17 771 # ASSIGN : s_19_18 815 # ASSIGN : s_19_19 841 SHOW_RESULT 1562 END : 1562 (5 seconds) [Mon Jun 19 15:37:39 2006] SHOW_RESULT 1562 CPU : 5.09000000000004 = 4.96000000000004 + 0.13 + 0 + 0 # BOUND : makespan 1241 1562 MODIFY_CNF 1401 BEGIN : [Mon Jun 19 15:37:39 2006] MODIFY_CNF 1401 END : 707677456 bytes (0 seconds) [Mon Jun 19 15:37:39 2006] MODIFY_CNF 1401 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1401 BEGIN : [Mon Jun 19 15:37:39 2006] CMD : minisat /tmp/csp2sat894.cnf /tmp/csp2sat894.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 21558153 63931022 | 7186051 0 0 nan | 0.000 % | | 100 | 21558153 63931022 | 7904656 100 5107 51.1 | 27.920 % | ============================================================================== restarts : 2 conflicts : 130 (1 /sec) decisions : 4397 (22 /sec) propagations : 2286631 (11225 /sec) conflict literals : 5444 (9.46 % deleted) Memory used : 1132.41 MB CPU time : 203.71 s SATISFIABLE VERIFY_CNF 1401 END : (209 seconds) [Mon Jun 19 15:41:08 2006] VERIFY_CNF 1401 CPU : 208.18 = 0 + 0.00999999999999979 + 204.11 + 4.06 # RESULT : makespan 1401 SATISFIABLE SHOW_RESULT 1401 BEGIN : [Mon Jun 19 15:41:08 2006] # ASSIGN : makespan 1401 # ASSIGN : s_0_0 248 # ASSIGN : s_0_1 292 # ASSIGN : s_0_2 103 # ASSIGN : s_0_3 959 # ASSIGN : s_0_4 944 # ASSIGN : s_0_5 7 # ASSIGN : s_0_6 532 # ASSIGN : s_0_7 638 # ASSIGN : s_0_8 201 # ASSIGN : s_0_9 2 # ASSIGN : s_0_10 771 # ASSIGN : s_0_11 17 # ASSIGN : s_0_12 1130 # ASSIGN : s_0_13 1281 # ASSIGN : s_0_14 143 # ASSIGN : s_0_15 152 # ASSIGN : s_0_16 1208 # ASSIGN : s_0_17 908 # ASSIGN : s_0_18 1067 # ASSIGN : s_0_19 1309 # ASSIGN : s_1_0 799 # ASSIGN : s_1_1 162 # ASSIGN : s_1_2 192 # ASSIGN : s_1_3 513 # ASSIGN : s_1_4 979 # ASSIGN : s_1_5 408 # ASSIGN : s_1_6 630 # ASSIGN : s_1_7 723 # ASSIGN : s_1_8 358 # ASSIGN : s_1_9 275 # ASSIGN : s_1_10 869 # ASSIGN : s_1_11 66 # ASSIGN : s_1_12 1264 # ASSIGN : s_1_13 1137 # ASSIGN : s_1_14 938 # ASSIGN : s_1_15 1356 # ASSIGN : s_1_16 1070 # ASSIGN : s_1_17 109 # ASSIGN : s_1_18 698 # ASSIGN : s_1_19 1260 # ASSIGN : s_2_0 202 # ASSIGN : s_2_1 189 # ASSIGN : s_2_2 321 # ASSIGN : s_2_3 54 # ASSIGN : s_2_4 1147 # ASSIGN : s_2_5 378 # ASSIGN : s_2_6 658 # ASSIGN : s_2_7 563 # ASSIGN : s_2_8 494 # ASSIGN : s_2_9 7 # ASSIGN : s_2_10 433 # ASSIGN : s_2_11 81 # ASSIGN : s_2_12 1012 # ASSIGN : s_2_13 1107 # ASSIGN : s_2_14 1058 # ASSIGN : s_2_15 1292 # ASSIGN : s_2_16 1069 # ASSIGN : s_2_17 1140 # ASSIGN : s_2_18 1206 # ASSIGN : s_2_19 1223 # ASSIGN : s_3_0 415 # ASSIGN : s_3_1 348 # ASSIGN : s_3_2 830 # ASSIGN : s_3_3 1314 # ASSIGN : s_3_4 260 # ASSIGN : s_3_5 61 # ASSIGN : s_3_6 750 # ASSIGN : s_3_7 118 # ASSIGN : s_3_8 25 # ASSIGN : s_3_9 34 # ASSIGN : s_3_10 494 # ASSIGN : s_3_11 154 # ASSIGN : s_3_12 858 # ASSIGN : s_3_13 1031 # ASSIGN : s_3_14 448 # ASSIGN : s_3_15 1195 # ASSIGN : s_3_16 948 # ASSIGN : s_3_17 678 # ASSIGN : s_3_18 582 # ASSIGN : s_3_19 1103 # ASSIGN : s_4_0 935 # ASSIGN : s_4_1 668 # ASSIGN : s_4_2 115 # ASSIGN : s_4_3 440 # ASSIGN : s_4_4 9 # ASSIGN : s_4_5 17 # ASSIGN : s_4_6 0 # ASSIGN : s_4_7 269 # ASSIGN : s_4_8 1187 # ASSIGN : s_4_9 58 # ASSIGN : s_4_10 570 # ASSIGN : s_4_11 201 # ASSIGN : s_4_12 849 # ASSIGN : s_4_13 982 # ASSIGN : s_4_14 751 # ASSIGN : s_4_15 1165 # ASSIGN : s_4_16 877 # ASSIGN : s_4_17 515 # ASSIGN : s_4_18 1037 # ASSIGN : s_4_19 1039 # ASSIGN : s_5_0 1382 # ASSIGN : s_5_1 1040 # ASSIGN : s_5_2 27 # ASSIGN : s_5_3 1057 # ASSIGN : s_5_4 699 # ASSIGN : s_5_5 500 # ASSIGN : s_5_6 10 # ASSIGN : s_5_7 366 # ASSIGN : s_5_8 185 # ASSIGN : s_5_9 66 # ASSIGN : s_5_10 209 # ASSIGN : s_5_11 265 # ASSIGN : s_5_12 835 # ASSIGN : s_5_13 891 # ASSIGN : s_5_14 603 # ASSIGN : s_5_15 1083 # ASSIGN : s_5_16 850 # ASSIGN : s_5_17 778 # ASSIGN : s_5_18 1219 # ASSIGN : s_5_19 978 # ASSIGN : s_6_0 1071 # ASSIGN : s_6_1 624 # ASSIGN : s_6_2 1273 # ASSIGN : s_6_3 383 # ASSIGN : s_6_4 177 # ASSIGN : s_6_5 115 # ASSIGN : s_6_6 36 # ASSIGN : s_6_7 440 # ASSIGN : s_6_8 269 # ASSIGN : s_6_9 143 # ASSIGN : s_6_10 656 # ASSIGN : s_6_11 354 # ASSIGN : s_6_12 745 # ASSIGN : s_6_13 849 # ASSIGN : s_6_14 541 # ASSIGN : s_6_15 984 # ASSIGN : s_6_16 848 # ASSIGN : s_6_17 1291 # ASSIGN : s_6_18 1133 # ASSIGN : s_6_19 946 # ASSIGN : s_7_0 1131 # ASSIGN : s_7_1 45 # ASSIGN : s_7_2 974 # ASSIGN : s_7_3 243 # ASSIGN : s_7_4 837 # ASSIGN : s_7_5 577 # ASSIGN : s_7_6 73 # ASSIGN : s_7_7 25 # ASSIGN : s_7_8 1399 # ASSIGN : s_7_9 173 # ASSIGN : s_7_10 290 # ASSIGN : s_7_11 383 # ASSIGN : s_7_12 679 # ASSIGN : s_7_13 799 # ASSIGN : s_7_14 458 # ASSIGN : s_7_15 947 # ASSIGN : s_7_16 816 # ASSIGN : s_7_17 812 # ASSIGN : s_7_18 1089 # ASSIGN : s_7_19 928 # ASSIGN : s_8_0 98 # ASSIGN : s_8_1 1061 # ASSIGN : s_8_2 1139 # ASSIGN : s_8_3 292 # ASSIGN : s_8_4 436 # ASSIGN : s_8_5 1245 # ASSIGN : s_8_6 163 # ASSIGN : s_8_7 509 # ASSIGN : s_8_8 1279 # ASSIGN : s_8_9 220 # ASSIGN : s_8_10 0 # ASSIGN : s_8_11 569 # ASSIGN : s_8_12 678 # ASSIGN : s_8_13 620 # ASSIGN : s_8_14 400 # ASSIGN : s_8_15 815 # ASSIGN : s_8_16 717 # ASSIGN : s_8_17 894 # ASSIGN : s_8_18 981 # ASSIGN : s_8_19 902 # ASSIGN : s_9_0 208 # ASSIGN : s_9_1 903 # ASSIGN : s_9_2 269 # ASSIGN : s_9_3 17 # ASSIGN : s_9_4 135 # ASSIGN : s_9_5 1271 # ASSIGN : s_9_6 1097 # ASSIGN : s_9_7 35 # ASSIGN : s_9_8 432 # ASSIGN : s_9_9 244 # ASSIGN : s_9_10 94 # ASSIGN : s_9_11 681 # ASSIGN : s_9_12 635 # ASSIGN : s_9_13 465 # ASSIGN : s_9_14 326 # ASSIGN : s_9_15 738 # ASSIGN : s_9_16 548 # ASSIGN : s_9_17 999 # ASSIGN : s_9_18 717 # ASSIGN : s_9_19 814 # ASSIGN : s_10_0 1218 # ASSIGN : s_10_1 1153 # ASSIGN : s_10_2 1315 # ASSIGN : s_10_3 143 # ASSIGN : s_10_4 35 # ASSIGN : s_10_5 1372 # ASSIGN : s_10_6 293 # ASSIGN : s_10_7 175 # ASSIGN : s_10_8 1073 # ASSIGN : s_10_9 334 # ASSIGN : s_10_10 367 # ASSIGN : s_10_11 818 # ASSIGN : s_10_12 543 # ASSIGN : s_10_13 424 # ASSIGN : s_10_14 264 # ASSIGN : s_10_15 660 # ASSIGN : s_10_16 463 # ASSIGN : s_10_17 912 # ASSIGN : s_10_18 742 # ASSIGN : s_10_19 790 # ASSIGN : s_11_0 153 # ASSIGN : s_11_1 203 # ASSIGN : s_11_2 1245 # ASSIGN : s_11_3 19 # ASSIGN : s_11_4 542 # ASSIGN : s_11_5 1325 # ASSIGN : s_11_6 274 # ASSIGN : s_11_7 810 # ASSIGN : s_11_8 1126 # ASSIGN : s_11_9 367 # ASSIGN : s_11_10 957 # ASSIGN : s_11_11 969 # ASSIGN : s_11_12 519 # ASSIGN : s_11_13 359 # ASSIGN : s_11_14 1337 # ASSIGN : s_11_15 647 # ASSIGN : s_11_16 439 # ASSIGN : s_11_17 663 # ASSIGN : s_11_18 791 # ASSIGN : s_11_19 741 # ASSIGN : s_12_0 0 # ASSIGN : s_12_1 9 # ASSIGN : s_12_2 1287 # ASSIGN : s_12_3 75 # ASSIGN : s_12_4 115 # ASSIGN : s_12_5 136 # ASSIGN : s_12_6 218 # ASSIGN : s_12_7 823 # ASSIGN : s_12_8 1308 # ASSIGN : s_12_9 617 # ASSIGN : s_12_10 1262 # ASSIGN : s_12_11 870 # ASSIGN : s_12_12 512 # ASSIGN : s_12_13 297 # ASSIGN : s_12_14 292 # ASSIGN : s_12_15 558 # ASSIGN : s_12_16 343 # ASSIGN : s_12_17 457 # ASSIGN : s_12_18 1310 # ASSIGN : s_12_19 700 # ASSIGN : s_13_0 88 # ASSIGN : s_13_1 769 # ASSIGN : s_13_2 1067 # ASSIGN : s_13_3 120 # ASSIGN : s_13_4 355 # ASSIGN : s_13_5 661 # ASSIGN : s_13_6 1394 # ASSIGN : s_13_7 872 # ASSIGN : s_13_8 974 # ASSIGN : s_13_9 742 # ASSIGN : s_13_10 126 # ASSIGN : s_13_11 1046 # ASSIGN : s_13_12 420 # ASSIGN : s_13_13 208 # ASSIGN : s_13_14 1153 # ASSIGN : s_13_15 539 # ASSIGN : s_13_16 282 # ASSIGN : s_13_17 39 # ASSIGN : s_13_18 55 # ASSIGN : s_13_19 590 # ASSIGN : s_14_0 263 # ASSIGN : s_14_1 72 # ASSIGN : s_14_2 1165 # ASSIGN : s_14_3 154 # ASSIGN : s_14_4 634 # ASSIGN : s_14_5 789 # ASSIGN : s_14_6 1354 # ASSIGN : s_14_7 949 # ASSIGN : s_14_8 719 # ASSIGN : s_14_9 779 # ASSIGN : s_14_10 974 # ASSIGN : s_14_11 1306 # ASSIGN : s_14_12 335 # ASSIGN : s_14_13 561 # ASSIGN : s_14_14 254 # ASSIGN : s_14_15 471 # ASSIGN : s_14_16 256 # ASSIGN : s_14_17 1053 # ASSIGN : s_14_18 539 # ASSIGN : s_14_19 580 # ASSIGN : s_15_0 347 # ASSIGN : s_15_1 267 # ASSIGN : s_15_2 368 # ASSIGN : s_15_3 825 # ASSIGN : s_15_4 763 # ASSIGN : s_15_5 873 # ASSIGN : s_15_6 1309 # ASSIGN : s_15_7 960 # ASSIGN : s_15_8 581 # ASSIGN : s_15_9 791 # ASSIGN : s_15_10 986 # ASSIGN : s_15_11 1156 # ASSIGN : s_15_12 284 # ASSIGN : s_15_13 182 # ASSIGN : s_15_14 1081 # ASSIGN : s_15_15 453 # ASSIGN : s_15_16 228 # ASSIGN : s_15_17 78 # ASSIGN : s_15_18 121 # ASSIGN : s_15_19 486 # ASSIGN : s_16_0 2 # ASSIGN : s_16_1 341 # ASSIGN : s_16_2 498 # ASSIGN : s_16_3 783 # ASSIGN : s_16_4 1326 # ASSIGN : s_16_5 945 # ASSIGN : s_16_6 1219 # ASSIGN : s_16_7 1351 # ASSIGN : s_16_8 646 # ASSIGN : s_16_9 821 # ASSIGN : s_16_10 1049 # ASSIGN : s_16_11 1093 # ASSIGN : s_16_12 203 # ASSIGN : s_16_13 85 # ASSIGN : s_16_14 996 # ASSIGN : s_16_15 414 # ASSIGN : s_16_16 180 # ASSIGN : s_16_17 561 # ASSIGN : s_16_18 866 # ASSIGN : s_16_19 363 # ASSIGN : s_17_0 584 # ASSIGN : s_17_1 422 # ASSIGN : s_17_2 683 # ASSIGN : s_17_3 757 # ASSIGN : s_17_4 1334 # ASSIGN : s_17_5 978 # ASSIGN : s_17_6 1166 # ASSIGN : s_17_7 1043 # ASSIGN : s_17_8 824 # ASSIGN : s_17_9 826 # ASSIGN : s_17_10 1078 # ASSIGN : s_17_11 1237 # ASSIGN : s_17_12 161 # ASSIGN : s_17_13 1 # ASSIGN : s_17_14 68 # ASSIGN : s_17_15 315 # ASSIGN : s_17_16 99 # ASSIGN : s_17_17 1363 # ASSIGN : s_17_18 215 # ASSIGN : s_17_19 240 # ASSIGN : s_18_0 354 # ASSIGN : s_18_1 518 # ASSIGN : s_18_2 700 # ASSIGN : s_18_3 607 # ASSIGN : s_18_4 768 # ASSIGN : s_18_5 1027 # ASSIGN : s_18_6 981 # ASSIGN : s_18_7 1061 # ASSIGN : s_18_8 828 # ASSIGN : s_18_9 895 # ASSIGN : s_18_10 1158 # ASSIGN : s_18_11 459 # ASSIGN : s_18_12 67 # ASSIGN : s_18_13 1361 # ASSIGN : s_18_14 1249 # ASSIGN : s_18_15 50 # ASSIGN : s_18_16 1344 # ASSIGN : s_18_17 1171 # ASSIGN : s_18_18 32 # ASSIGN : s_18_19 144 # ASSIGN : s_19_0 656 # ASSIGN : s_19_1 853 # ASSIGN : s_19_2 744 # ASSIGN : s_19_3 874 # ASSIGN : s_19_4 960 # ASSIGN : s_19_5 1093 # ASSIGN : s_19_6 1081 # ASSIGN : s_19_7 1158 # ASSIGN : s_19_8 899 # ASSIGN : s_19_9 989 # ASSIGN : s_19_10 1178 # ASSIGN : s_19_11 1314 # ASSIGN : s_19_12 148 # ASSIGN : s_19_13 1231 # ASSIGN : s_19_14 183 # ASSIGN : s_19_15 7 # ASSIGN : s_19_16 1271 # ASSIGN : s_19_17 359 # ASSIGN : s_19_18 403 # ASSIGN : s_19_19 429 SHOW_RESULT 1401 END : 1401 (5 seconds) [Mon Jun 19 15:41:13 2006] SHOW_RESULT 1401 CPU : 5.64000000000019 = 5.54000000000019 + 0.0999999999999996 + 0 + 0 # BOUND : makespan 1241 1401 MODIFY_CNF 1321 BEGIN : [Mon Jun 19 15:41:14 2006] MODIFY_CNF 1321 END : 707677455 bytes (0 seconds) [Mon Jun 19 15:41:14 2006] MODIFY_CNF 1321 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1321 BEGIN : [Mon Jun 19 15:41:14 2006] CMD : minisat /tmp/csp2sat894.cnf /tmp/csp2sat894.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 20342153 60283022 | 6780717 0 0 nan | 0.000 % | | 103 | 20342153 60283022 | 7458788 103 4988 48.4 | 32.082 % | | 253 | 20342153 60283022 | 8204667 253 9399 37.2 | 32.082 % | | 479 | 20342153 60283022 | 9025134 479 11897 24.8 | 32.082 % | ============================================================================== restarts : 4 conflicts : 561 (3 /sec) decisions : 9138 (43 /sec) propagations : 5260302 (24580 /sec) conflict literals : 13007 (7.94 % deleted) Memory used : 1152.40 MB CPU time : 214.01 s SATISFIABLE VERIFY_CNF 1321 END : (218 seconds) [Mon Jun 19 15:44:52 2006] VERIFY_CNF 1321 CPU : 218.07 = 0 + 0 + 214.42 + 3.65 # RESULT : makespan 1321 SATISFIABLE SHOW_RESULT 1321 BEGIN : [Mon Jun 19 15:44:52 2006] # ASSIGN : makespan 1321 # ASSIGN : s_0_0 161 # ASSIGN : s_0_1 1174 # ASSIGN : s_0_2 629 # ASSIGN : s_0_3 368 # ASSIGN : s_0_4 190 # ASSIGN : s_0_5 205 # ASSIGN : s_0_6 1223 # ASSIGN : s_0_7 1031 # ASSIGN : s_0_8 876 # ASSIGN : s_0_9 215 # ASSIGN : s_0_10 63 # ASSIGN : s_0_11 718 # ASSIGN : s_0_12 940 # ASSIGN : s_0_13 690 # ASSIGN : s_0_14 272 # ASSIGN : s_0_15 771 # ASSIGN : s_0_16 0 # ASSIGN : s_0_17 305 # ASSIGN : s_0_18 340 # ASSIGN : s_0_19 485 # ASSIGN : s_1_0 785 # ASSIGN : s_1_1 9 # ASSIGN : s_1_2 384 # ASSIGN : s_1_3 466 # ASSIGN : s_1_4 694 # ASSIGN : s_1_5 926 # ASSIGN : s_1_6 1110 # ASSIGN : s_1_7 170 # ASSIGN : s_1_8 259 # ASSIGN : s_1_9 560 # ASSIGN : s_1_10 619 # ASSIGN : s_1_11 155 # ASSIGN : s_1_12 1018 # ASSIGN : s_1_13 1227 # ASSIGN : s_1_14 1141 # ASSIGN : s_1_15 1182 # ASSIGN : s_1_16 855 # ASSIGN : s_1_17 309 # ASSIGN : s_1_18 362 # ASSIGN : s_1_19 922 # ASSIGN : s_2_0 72 # ASSIGN : s_2_1 129 # ASSIGN : s_2_2 1088 # ASSIGN : s_2_3 78 # ASSIGN : s_2_4 5 # ASSIGN : s_2_5 1280 # ASSIGN : s_2_6 794 # ASSIGN : s_2_7 617 # ASSIGN : s_2_8 699 # ASSIGN : s_2_9 342 # ASSIGN : s_2_10 174 # ASSIGN : s_2_11 433 # ASSIGN : s_2_12 370 # ASSIGN : s_2_13 1031 # ASSIGN : s_2_14 1310 # ASSIGN : s_2_15 886 # ASSIGN : s_2_16 239 # ASSIGN : s_2_17 253 # ASSIGN : s_2_18 260 # ASSIGN : s_2_19 273 # ASSIGN : s_3_0 128 # ASSIGN : s_3_1 206 # ASSIGN : s_3_2 1212 # ASSIGN : s_3_3 868 # ASSIGN : s_3_4 582 # ASSIGN : s_3_5 814 # ASSIGN : s_3_6 273 # ASSIGN : s_3_7 429 # ASSIGN : s_3_8 1312 # ASSIGN : s_3_9 182 # ASSIGN : s_3_10 353 # ASSIGN : s_3_11 767 # ASSIGN : s_3_12 465 # ASSIGN : s_3_13 955 # ASSIGN : s_3_14 1119 # ASSIGN : s_3_15 670 # ASSIGN : s_3_16 1129 # ASSIGN : s_3_17 1240 # ASSIGN : s_3_18 22 # ASSIGN : s_3_19 1027 # ASSIGN : s_4_0 880 # ASSIGN : s_4_1 547 # ASSIGN : s_4_2 1135 # ASSIGN : s_4_3 1028 # ASSIGN : s_4_4 182 # ASSIGN : s_4_5 457 # ASSIGN : s_4_6 81 # ASSIGN : s_4_7 246 # ASSIGN : s_4_8 90 # ASSIGN : s_4_9 13 # ASSIGN : s_4_10 688 # ASSIGN : s_4_11 816 # ASSIGN : s_4_12 1312 # ASSIGN : s_4_13 498 # ASSIGN : s_4_14 343 # ASSIGN : s_4_15 1101 # ASSIGN : s_4_16 630 # ASSIGN : s_4_17 200 # ASSIGN : s_4_18 1246 # ASSIGN : s_4_19 1248 # ASSIGN : s_5_0 1247 # ASSIGN : s_5_1 1030 # ASSIGN : s_5_2 917 # ASSIGN : s_5_3 1295 # ASSIGN : s_5_4 301 # ASSIGN : s_5_5 124 # ASSIGN : s_5_6 11 # ASSIGN : s_5_7 956 # ASSIGN : s_5_8 1279 # ASSIGN : s_5_9 650 # ASSIGN : s_5_10 538 # ASSIGN : s_5_11 35 # ASSIGN : s_5_12 1213 # ASSIGN : s_5_13 201 # ASSIGN : s_5_14 767 # ASSIGN : s_5_15 456 # ASSIGN : s_5_16 603 # ASSIGN : s_5_17 727 # ASSIGN : s_5_18 1047 # ASSIGN : s_5_19 1138 # ASSIGN : s_6_0 627 # ASSIGN : s_6_1 280 # ASSIGN : s_6_2 7 # ASSIGN : s_6_3 21 # ASSIGN : s_6_4 1237 # ASSIGN : s_6_5 226 # ASSIGN : s_6_6 590 # ASSIGN : s_6_7 692 # ASSIGN : s_6_8 768 # ASSIGN : s_6_9 312 # ASSIGN : s_6_10 958 # ASSIGN : s_6_11 895 # ASSIGN : s_6_12 1123 # ASSIGN : s_6_13 853 # ASSIGN : s_6_14 1057 # ASSIGN : s_6_15 369 # ASSIGN : s_6_16 1320 # ASSIGN : s_6_17 128 # ASSIGN : s_6_18 456 # ASSIGN : s_6_19 926 # ASSIGN : s_7_0 687 # ASSIGN : s_7_1 916 # ASSIGN : s_7_2 234 # ASSIGN : s_7_3 99 # ASSIGN : s_7_4 956 # ASSIGN : s_7_5 602 # ASSIGN : s_7_6 416 # ASSIGN : s_7_7 158 # ASSIGN : s_7_8 340 # ASSIGN : s_7_9 369 # ASSIGN : s_7_10 774 # ASSIGN : s_7_11 506 # ASSIGN : s_7_12 168 # ASSIGN : s_7_13 1061 # ASSIGN : s_7_14 1227 # ASSIGN : s_7_15 342 # ASSIGN : s_7_16 581 # ASSIGN : s_7_17 882 # ASSIGN : s_7_18 1138 # ASSIGN : s_7_19 898 # ASSIGN : s_8_0 1266 # ASSIGN : s_8_1 943 # ASSIGN : s_8_2 1240 # ASSIGN : s_8_3 146 # ASSIGN : s_8_4 818 # ASSIGN : s_8_5 331 # ASSIGN : s_8_6 529 # ASSIGN : s_8_7 92 # ASSIGN : s_8_8 378 # ASSIGN : s_8_9 505 # ASSIGN : s_8_10 1132 # ASSIGN : s_8_11 584 # ASSIGN : s_8_12 68 # ASSIGN : s_8_13 1074 # ASSIGN : s_8_14 1021 # ASSIGN : s_8_15 252 # ASSIGN : s_8_16 407 # ASSIGN : s_8_17 664 # ASSIGN : s_8_18 708 # ASSIGN : s_8_19 764 # ASSIGN : s_9_0 420 # ASSIGN : s_9_1 820 # ASSIGN : s_9_2 461 # ASSIGN : s_9_3 1 # ASSIGN : s_9_4 513 # ASSIGN : s_9_5 3 # ASSIGN : s_9_6 204 # ASSIGN : s_9_7 761 # ASSIGN : s_9_8 57 # ASSIGN : s_9_9 103 # ASSIGN : s_9_10 1047 # ASSIGN : s_9_11 1011 # ASSIGN : s_9_12 555 # ASSIGN : s_9_13 1144 # ASSIGN : s_9_14 937 # ASSIGN : s_9_15 128 # ASSIGN : s_9_16 320 # ASSIGN : s_9_17 598 # ASSIGN : s_9_18 652 # ASSIGN : s_9_19 673 # ASSIGN : s_10_0 976 # ASSIGN : s_10_1 749 # ASSIGN : s_10_2 327 # ASSIGN : s_10_3 4 # ASSIGN : s_10_4 69 # ASSIGN : s_10_5 1125 # ASSIGN : s_10_6 28 # ASSIGN : s_10_7 1154 # ASSIGN : s_10_8 923 # ASSIGN : s_10_9 149 # ASSIGN : s_10_10 866 # ASSIGN : s_10_11 1073 # ASSIGN : s_10_12 601 # ASSIGN : s_10_13 814 # ASSIGN : s_10_14 212 # ASSIGN : s_10_15 1243 # ASSIGN : s_10_16 240 # ASSIGN : s_10_17 442 # ASSIGN : s_10_18 529 # ASSIGN : s_10_19 577 # ASSIGN : s_11_0 927 # ASSIGN : s_11_1 142 # ASSIGN : s_11_2 1293 # ASSIGN : s_11_3 330 # ASSIGN : s_11_4 365 # ASSIGN : s_11_5 1168 # ASSIGN : s_11_6 1091 # ASSIGN : s_11_7 3 # ASSIGN : s_11_8 457 # ASSIGN : s_11_9 21 # ASSIGN : s_11_10 851 # ASSIGN : s_11_11 236 # ASSIGN : s_11_12 693 # ASSIGN : s_11_13 100 # ASSIGN : s_11_14 863 # ASSIGN : s_11_15 115 # ASSIGN : s_11_16 212 # ASSIGN : s_11_17 1153 # ASSIGN : s_11_18 1180 # ASSIGN : s_11_19 1199 # ASSIGN : s_12_0 3 # ASSIGN : s_12_1 631 # ASSIGN : s_12_2 1272 # ASSIGN : s_12_3 1232 # ASSIGN : s_12_4 1212 # ASSIGN : s_12_5 1041 # ASSIGN : s_12_6 930 # ASSIGN : s_12_7 16 # ASSIGN : s_12_8 7 # ASSIGN : s_12_9 756 # ASSIGN : s_12_10 594 # ASSIGN : s_12_11 334 # ASSIGN : s_12_12 9 # ASSIGN : s_12_13 288 # ASSIGN : s_12_14 751 # ASSIGN : s_12_15 1123 # ASSIGN : s_12_16 63 # ASSIGN : s_12_17 672 # ASSIGN : s_12_18 839 # ASSIGN : s_12_19 986 # ASSIGN : s_13_0 5 # ASSIGN : s_13_1 36 # ASSIGN : s_13_2 1010 # ASSIGN : s_13_3 15 # ASSIGN : s_13_4 208 # ASSIGN : s_13_5 686 # ASSIGN : s_13_6 120 # ASSIGN : s_13_7 872 # ASSIGN : s_13_8 1127 # ASSIGN : s_13_9 1199 # ASSIGN : s_13_10 1226 # ASSIGN : s_13_11 313 # ASSIGN : s_13_12 767 # ASSIGN : s_13_13 127 # ASSIGN : s_13_14 566 # ASSIGN : s_13_15 1082 # ASSIGN : s_13_16 949 # ASSIGN : s_13_17 365 # ASSIGN : s_13_18 381 # ASSIGN : s_13_19 414 # ASSIGN : s_14_0 332 # ASSIGN : s_14_1 667 # ASSIGN : s_14_2 154 # ASSIGN : s_14_3 578 # ASSIGN : s_14_4 891 # ASSIGN : s_14_5 247 # ASSIGN : s_14_6 1138 # ASSIGN : s_14_7 81 # ASSIGN : s_14_8 518 # ASSIGN : s_14_9 93 # ASSIGN : s_14_10 235 # ASSIGN : s_14_11 1065 # ASSIGN : s_14_12 1227 # ASSIGN : s_14_13 108 # ASSIGN : s_14_14 516 # ASSIGN : s_14_15 968 # ASSIGN : s_14_16 848 # ASSIGN : s_14_17 761 # ASSIGN : s_14_18 0 # ASSIGN : s_14_19 404 # ASSIGN : s_15_0 778 # ASSIGN : s_15_1 513 # ASSIGN : s_15_2 69 # ASSIGN : s_15_3 1121 # ASSIGN : s_15_4 64 # ASSIGN : s_15_5 530 # ASSIGN : s_15_6 1178 # ASSIGN : s_15_7 1245 # ASSIGN : s_15_8 182 # ASSIGN : s_15_9 1077 # ASSIGN : s_15_10 247 # ASSIGN : s_15_11 635 # ASSIGN : s_15_12 716 # ASSIGN : s_15_13 924 # ASSIGN : s_15_14 441 # ASSIGN : s_15_15 950 # ASSIGN : s_15_16 820 # ASSIGN : s_15_17 33 # ASSIGN : s_15_18 986 # ASSIGN : s_15_19 310 # ASSIGN : s_16_0 544 # ASSIGN : s_16_1 537 # ASSIGN : s_16_2 641 # ASSIGN : s_16_3 1194 # ASSIGN : s_16_4 273 # ASSIGN : s_16_5 1238 # ASSIGN : s_16_6 704 # ASSIGN : s_16_7 1271 # ASSIGN : s_16_8 1054 # ASSIGN : s_16_9 1049 # ASSIGN : s_16_10 429 # ASSIGN : s_16_11 1130 # ASSIGN : s_16_12 859 # ASSIGN : s_16_13 334 # ASSIGN : s_16_14 281 # ASSIGN : s_16_15 820 # ASSIGN : s_16_16 797 # ASSIGN : s_16_17 964 # ASSIGN : s_16_18 143 # ASSIGN : s_16_19 222 # ASSIGN : s_17_0 241 # ASSIGN : s_17_1 313 # ASSIGN : s_17_2 814 # ASSIGN : s_17_3 842 # ASSIGN : s_17_4 1167 # ASSIGN : s_17_5 69 # ASSIGN : s_17_6 639 # ASSIGN : s_17_7 1116 # ASSIGN : s_17_8 1052 # ASSIGN : s_17_9 980 # ASSIGN : s_17_10 458 # ASSIGN : s_17_11 1252 # ASSIGN : s_17_12 416 # ASSIGN : s_17_13 2 # ASSIGN : s_17_14 1196 # ASSIGN : s_17_15 540 # ASSIGN : s_17_16 692 # ASSIGN : s_17_17 1078 # ASSIGN : s_17_18 118 # ASSIGN : s_17_19 147 # ASSIGN : s_18_0 176 # ASSIGN : s_18_1 409 # ASSIGN : s_18_2 21 # ASSIGN : s_18_3 237 # ASSIGN : s_18_4 1047 # ASSIGN : s_18_5 357 # ASSIGN : s_18_6 1001 # ASSIGN : s_18_7 498 # ASSIGN : s_18_8 595 # ASSIGN : s_18_9 1107 # ASSIGN : s_18_10 1308 # ASSIGN : s_18_11 1193 # ASSIGN : s_18_12 82 # ASSIGN : s_18_13 750 # ASSIGN : s_18_14 662 # ASSIGN : s_18_15 65 # ASSIGN : s_18_16 159 # ASSIGN : s_18_17 886 # ASSIGN : s_18_18 1290 # ASSIGN : s_18_19 790 # ASSIGN : s_19_0 456 # ASSIGN : s_19_1 1300 # ASSIGN : s_19_2 831 # ASSIGN : s_19_3 1169 # ASSIGN : s_19_4 799 # ASSIGN : s_19_5 391 # ASSIGN : s_19_6 692 # ASSIGN : s_19_7 1134 # ASSIGN : s_19_8 1203 # ASSIGN : s_19_9 220 # ASSIGN : s_19_10 1079 # ASSIGN : s_19_11 924 # ASSIGN : s_19_12 69 # ASSIGN : s_19_13 576 # ASSIGN : s_19_14 141 # ASSIGN : s_19_15 1036 # ASSIGN : s_19_16 754 # ASSIGN : s_19_17 84 # ASSIGN : s_19_18 1264 # ASSIGN : s_19_19 616 SHOW_RESULT 1321 END : 1321 (5 seconds) [Mon Jun 19 15:44:57 2006] SHOW_RESULT 1321 CPU : 5.34000000000018 = 5.30000000000018 + 0.04 + 0 + 0 # BOUND : makespan 1241 1321 MODIFY_CNF 1281 BEGIN : [Mon Jun 19 15:44:58 2006] MODIFY_CNF 1281 END : 707677455 bytes (0 seconds) [Mon Jun 19 15:44:58 2006] MODIFY_CNF 1281 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1281 BEGIN : [Mon Jun 19 15:44:58 2006] CMD : minisat /tmp/csp2sat894.cnf /tmp/csp2sat894.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 19734153 58459022 | 6578051 0 0 nan | 0.000 % | | 100 | 19734153 58459022 | 7235856 100 3009 30.1 | 34.164 % | ============================================================================== restarts : 2 conflicts : 141 (1 /sec) decisions : 4728 (40 /sec) propagations : 2616972 (22195 /sec) conflict literals : 3470 (7.02 % deleted) Memory used : 1139.55 MB CPU time : 117.91 s SATISFIABLE VERIFY_CNF 1281 END : (122 seconds) [Mon Jun 19 15:47:00 2006] VERIFY_CNF 1281 CPU : 121.96 = 0 + 0 + 118.29 + 3.67 # RESULT : makespan 1281 SATISFIABLE SHOW_RESULT 1281 BEGIN : [Mon Jun 19 15:47:00 2006] # ASSIGN : makespan 1281 # ASSIGN : s_0_0 864 # ASSIGN : s_0_1 243 # ASSIGN : s_0_2 332 # ASSIGN : s_0_3 368 # ASSIGN : s_0_4 344 # ASSIGN : s_0_5 944 # ASSIGN : s_0_6 538 # ASSIGN : s_0_7 1111 # ASSIGN : s_0_8 717 # ASSIGN : s_0_9 301 # ASSIGN : s_0_10 15 # ASSIGN : s_0_11 121 # ASSIGN : s_0_12 636 # ASSIGN : s_0_13 764 # ASSIGN : s_0_14 359 # ASSIGN : s_0_15 1062 # ASSIGN : s_0_16 1196 # ASSIGN : s_0_17 917 # ASSIGN : s_0_18 1259 # ASSIGN : s_0_19 970 # ASSIGN : s_1_0 115 # ASSIGN : s_1_1 189 # ASSIGN : s_1_2 588 # ASSIGN : s_1_3 665 # ASSIGN : s_1_4 1162 # ASSIGN : s_1_5 355 # ASSIGN : s_1_6 1253 # ASSIGN : s_1_7 279 # ASSIGN : s_1_8 1112 # ASSIGN : s_1_9 759 # ASSIGN : s_1_10 466 # ASSIGN : s_1_11 26 # ASSIGN : s_1_12 1020 # ASSIGN : s_1_13 818 # ASSIGN : s_1_14 979 # ASSIGN : s_1_15 216 # ASSIGN : s_1_16 912 # ASSIGN : s_1_17 535 # ASSIGN : s_1_18 447 # ASSIGN : s_1_19 185 # ASSIGN : s_2_0 278 # ASSIGN : s_2_1 0 # ASSIGN : s_2_2 284 # ASSIGN : s_2_3 644 # ASSIGN : s_2_4 13 # ASSIGN : s_2_5 109 # ASSIGN : s_2_6 730 # ASSIGN : s_2_7 831 # ASSIGN : s_2_8 917 # ASSIGN : s_2_9 331 # ASSIGN : s_2_10 1152 # ASSIGN : s_2_11 406 # ASSIGN : s_2_12 218 # ASSIGN : s_2_13 700 # ASSIGN : s_2_14 906 # ASSIGN : s_2_15 152 # ASSIGN : s_2_16 264 # ASSIGN : s_2_17 528 # ASSIGN : s_2_18 139 # ASSIGN : s_2_19 72 # ASSIGN : s_3_0 1196 # ASSIGN : s_3_1 115 # ASSIGN : s_3_2 1253 # ASSIGN : s_3_3 1109 # ASSIGN : s_3_4 733 # ASSIGN : s_3_5 24 # ASSIGN : s_3_6 650 # ASSIGN : s_3_7 78 # ASSIGN : s_3_8 182 # ASSIGN : s_3_9 1229 # ASSIGN : s_3_10 986 # ASSIGN : s_3_11 1062 # ASSIGN : s_3_12 824 # ASSIGN : s_3_13 914 # ASSIGN : s_3_14 198 # ASSIGN : s_3_15 456 # ASSIGN : s_3_16 372 # ASSIGN : s_3_17 300 # ASSIGN : s_3_18 554 # ASSIGN : s_3_19 208 # ASSIGN : s_4_0 481 # ASSIGN : s_4_1 29 # ASSIGN : s_4_2 1176 # ASSIGN : s_4_3 178 # ASSIGN : s_4_4 5 # ASSIGN : s_4_5 1071 # ASSIGN : s_4_6 528 # ASSIGN : s_4_7 705 # ASSIGN : s_4_8 613 # ASSIGN : s_4_9 306 # ASSIGN : s_4_10 900 # ASSIGN : s_4_11 1112 # ASSIGN : s_4_12 297 # ASSIGN : s_4_13 537 # ASSIGN : s_4_14 802 # ASSIGN : s_4_15 434 # ASSIGN : s_4_16 314 # ASSIGN : s_4_17 251 # ASSIGN : s_4_18 112 # ASSIGN : s_4_19 114 # ASSIGN : s_5_0 358 # ASSIGN : s_5_1 885 # ASSIGN : s_5_2 1081 # ASSIGN : s_5_3 138 # ASSIGN : s_5_4 821 # ASSIGN : s_5_5 1120 # ASSIGN : s_5_6 377 # ASSIGN : s_5_7 542 # ASSIGN : s_5_8 263 # ASSIGN : s_5_9 913 # ASSIGN : s_5_10 394 # ASSIGN : s_5_11 617 # ASSIGN : s_5_12 203 # ASSIGN : s_5_13 450 # ASSIGN : s_5_14 706 # ASSIGN : s_5_15 1199 # ASSIGN : s_5_16 287 # ASSIGN : s_5_17 217 # ASSIGN : s_5_18 990 # ASSIGN : s_5_19 11 # ASSIGN : s_6_0 703 # ASSIGN : s_6_1 292 # ASSIGN : s_6_2 128 # ASSIGN : s_6_3 790 # ASSIGN : s_6_4 406 # ASSIGN : s_6_5 954 # ASSIGN : s_6_6 327 # ASSIGN : s_6_7 1212 # ASSIGN : s_6_8 489 # ASSIGN : s_6_9 1122 # ASSIGN : s_6_10 592 # ASSIGN : s_6_11 92 # ASSIGN : s_6_12 2 # ASSIGN : s_6_13 364 # ASSIGN : s_6_14 224 # ASSIGN : s_6_15 975 # ASSIGN : s_6_16 286 # ASSIGN : s_6_17 145 # ASSIGN : s_6_18 881 # ASSIGN : s_6_19 1180 # ASSIGN : s_7_0 393 # ASSIGN : s_7_1 324 # ASSIGN : s_7_2 982 # ASSIGN : s_7_3 577 # ASSIGN : s_7_4 624 # ASSIGN : s_7_5 480 # ASSIGN : s_7_6 175 # ASSIGN : s_7_7 372 # ASSIGN : s_7_8 715 # ASSIGN : s_7_9 835 # ASSIGN : s_7_10 1075 # ASSIGN : s_7_11 718 # ASSIGN : s_7_12 109 # ASSIGN : s_7_13 351 # ASSIGN : s_7_14 20 # ASSIGN : s_7_15 948 # ASSIGN : s_7_16 265 # ASSIGN : s_7_17 0 # ASSIGN : s_7_18 793 # ASSIGN : s_7_19 1162 # ASSIGN : s_8_0 574 # ASSIGN : s_8_1 1138 # ASSIGN : s_8_2 351 # ASSIGN : s_8_3 1018 # ASSIGN : s_8_4 945 # ASSIGN : s_8_5 266 # ASSIGN : s_8_6 417 # ASSIGN : s_8_7 488 # ASSIGN : s_8_8 1250 # ASSIGN : s_8_9 207 # ASSIGN : s_8_10 113 # ASSIGN : s_8_11 41 # ASSIGN : s_8_12 292 # ASSIGN : s_8_13 293 # ASSIGN : s_8_14 381 # ASSIGN : s_8_15 866 # ASSIGN : s_8_16 768 # ASSIGN : s_8_17 676 # ASSIGN : s_8_18 712 # ASSIGN : s_8_19 1112 # ASSIGN : s_9_0 1245 # ASSIGN : s_9_1 1042 # ASSIGN : s_9_2 377 # ASSIGN : s_9_3 788 # ASSIGN : s_9_4 157 # ASSIGN : s_9_5 301 # ASSIGN : s_9_6 973 # ASSIGN : s_9_7 429 # ASSIGN : s_9_8 574 # ASSIGN : s_9_9 1152 # ASSIGN : s_9_10 1213 # ASSIGN : s_9_11 1177 # ASSIGN : s_9_12 516 # ASSIGN : s_9_13 210 # ASSIGN : s_9_14 607 # ASSIGN : s_9_15 790 # ASSIGN : s_9_16 681 # ASSIGN : s_9_17 91 # ASSIGN : s_9_18 495 # ASSIGN : s_9_19 882 # ASSIGN : s_10_0 1027 # ASSIGN : s_10_1 1216 # ASSIGN : s_10_2 531 # ASSIGN : s_10_3 847 # ASSIGN : s_10_4 264 # ASSIGN : s_10_5 450 # ASSIGN : s_10_6 910 # ASSIGN : s_10_7 616 # ASSIGN : s_10_8 346 # ASSIGN : s_10_9 231 # ASSIGN : s_10_10 790 # ASSIGN : s_10_11 479 # ASSIGN : s_10_12 1124 # ASSIGN : s_10_13 171 # ASSIGN : s_10_14 951 # ASSIGN : s_10_15 712 # ASSIGN : s_10_16 91 # ASSIGN : s_10_17 4 # ASSIGN : s_10_18 399 # ASSIGN : s_10_19 858 # ASSIGN : s_11_0 629 # ASSIGN : s_11_1 372 # ASSIGN : s_11_2 1148 # ASSIGN : s_11_3 951 # ASSIGN : s_11_4 1056 # ASSIGN : s_11_5 678 # ASSIGN : s_11_6 14 # ASSIGN : s_11_7 255 # ASSIGN : s_11_8 986 # ASSIGN : s_11_9 468 # ASSIGN : s_11_10 2 # ASSIGN : s_11_11 540 # ASSIGN : s_11_12 928 # ASSIGN : s_11_13 1206 # ASSIGN : s_11_14 134 # ASSIGN : s_11_15 699 # ASSIGN : s_11_16 67 # ASSIGN : s_11_17 1266 # ASSIGN : s_11_18 215 # ASSIGN : s_11_19 809 # ASSIGN : s_12_0 0 # ASSIGN : s_12_1 436 # ASSIGN : s_12_2 1127 # ASSIGN : s_12_3 1203 # ASSIGN : s_12_4 1259 # ASSIGN : s_12_5 184 # ASSIGN : s_12_6 472 # ASSIGN : s_12_7 382 # ASSIGN : s_12_8 1279 # ASSIGN : s_12_9 998 # ASSIGN : s_12_10 875 # ASSIGN : s_12_11 283 # ASSIGN : s_12_12 276 # ASSIGN : s_12_13 1081 # ASSIGN : s_12_14 13 # ASSIGN : s_12_15 640 # ASSIGN : s_12_16 544 # ASSIGN : s_12_17 1148 # ASSIGN : s_12_18 21 # ASSIGN : s_12_19 768 # ASSIGN : s_13_0 687 # ASSIGN : s_13_1 923 # ASSIGN : s_13_2 770 # ASSIGN : s_13_3 164 # ASSIGN : s_13_4 92 # ASSIGN : s_13_5 842 # ASSIGN : s_13_6 78 # ASSIGN : s_13_7 1 # ASSIGN : s_13_8 191 # ASSIGN : s_13_9 594 # ASSIGN : s_13_10 309 # ASSIGN : s_13_11 170 # ASSIGN : s_13_12 391 # ASSIGN : s_13_13 1007 # ASSIGN : s_13_14 1185 # ASSIGN : s_13_15 621 # ASSIGN : s_13_16 483 # ASSIGN : s_13_17 1132 # ASSIGN : s_13_18 1152 # ASSIGN : s_13_19 697 # ASSIGN : s_14_0 1124 # ASSIGN : s_14_1 714 # ASSIGN : s_14_2 451 # ASSIGN : s_14_3 862 # ASSIGN : s_14_4 199 # ASSIGN : s_14_5 1197 # ASSIGN : s_14_6 822 # ASSIGN : s_14_7 268 # ASSIGN : s_14_8 122 # ASSIGN : s_14_9 284 # ASSIGN : s_14_10 294 # ASSIGN : s_14_11 10 # ASSIGN : s_14_12 306 # ASSIGN : s_14_13 988 # ASSIGN : s_14_14 18 # ASSIGN : s_14_15 553 # ASSIGN : s_14_16 43 # ASSIGN : s_14_17 1037 # ASSIGN : s_14_18 531 # ASSIGN : s_14_19 687 # ASSIGN : s_15_0 763 # ASSIGN : s_15_1 504 # ASSIGN : s_15_2 142 # ASSIGN : s_15_3 290 # ASSIGN : s_15_4 401 # ASSIGN : s_15_5 690 # ASSIGN : s_15_6 33 # ASSIGN : s_15_7 114 # ASSIGN : s_15_8 1047 # ASSIGN : s_15_9 882 # ASSIGN : s_15_10 227 # ASSIGN : s_15_11 912 # ASSIGN : s_15_12 1230 # ASSIGN : s_15_13 792 # ASSIGN : s_15_14 521 # ASSIGN : s_15_15 416 # ASSIGN : s_15_16 455 # ASSIGN : s_15_17 1006 # ASSIGN : s_15_18 338 # ASSIGN : s_15_19 593 # ASSIGN : s_16_0 2 # ASSIGN : s_16_1 1021 # ASSIGN : s_16_2 858 # ASSIGN : s_16_3 1243 # ASSIGN : s_16_4 527 # ASSIGN : s_16_5 1028 # ASSIGN : s_16_6 85 # ASSIGN : s_16_7 1061 # ASSIGN : s_16_8 416 # ASSIGN : s_16_9 202 # ASSIGN : s_16_10 681 # ASSIGN : s_16_11 795 # ASSIGN : s_16_12 714 # ASSIGN : s_16_13 586 # ASSIGN : s_16_14 1132 # ASSIGN : s_16_15 377 # ASSIGN : s_16_16 236 # ASSIGN : s_16_17 921 # ASSIGN : s_16_18 259 # ASSIGN : s_16_19 535 # ASSIGN : s_17_0 879 # ASSIGN : s_17_1 614 # ASSIGN : s_17_2 261 # ASSIGN : s_17_3 77 # ASSIGN : s_17_4 535 # ASSIGN : s_17_5 564 # ASSIGN : s_17_6 1161 # ASSIGN : s_17_7 140 # ASSIGN : s_17_8 414 # ASSIGN : s_17_9 3 # ASSIGN : s_17_10 710 # ASSIGN : s_17_11 993 # ASSIGN : s_17_12 951 # ASSIGN : s_17_13 1214 # ASSIGN : s_17_14 103 # ASSIGN : s_17_15 278 # ASSIGN : s_17_16 172 # ASSIGN : s_17_17 422 # ASSIGN : s_17_18 234 # ASSIGN : s_17_19 460 # ASSIGN : s_18_0 966 # ASSIGN : s_18_1 796 # ASSIGN : s_18_2 6 # ASSIGN : s_18_3 466 # ASSIGN : s_18_4 885 # ASSIGN : s_18_5 762 # ASSIGN : s_18_6 1115 # ASSIGN : s_18_7 158 # ASSIGN : s_18_8 279 # ASSIGN : s_18_9 72 # ASSIGN : s_18_10 453 # ASSIGN : s_18_11 1222 # ASSIGN : s_18_12 559 # ASSIGN : s_18_13 1164 # ASSIGN : s_18_14 1027 # ASSIGN : s_18_15 261 # ASSIGN : s_18_16 50 # ASSIGN : s_18_17 684 # ASSIGN : s_18_18 1204 # ASSIGN : s_18_19 357 # ASSIGN : s_19_0 770 # ASSIGN : s_19_1 902 # ASSIGN : s_19_2 684 # ASSIGN : s_19_3 993 # ASSIGN : s_19_4 1022 # ASSIGN : s_19_5 613 # ASSIGN : s_19_6 961 # ASSIGN : s_19_7 1041 # ASSIGN : s_19_8 1189 # ASSIGN : s_19_9 358 # ASSIGN : s_19_10 539 # ASSIGN : s_19_11 196 # ASSIGN : s_19_12 96 # ASSIGN : s_19_13 56 # ASSIGN : s_19_14 450 # ASSIGN : s_19_15 109 # ASSIGN : s_19_16 0 # ASSIGN : s_19_17 858 # ASSIGN : s_19_18 170 # ASSIGN : s_19_19 300 SHOW_RESULT 1281 END : 1281 (5 seconds) [Mon Jun 19 15:47:05 2006] SHOW_RESULT 1281 CPU : 5.28999999999997 = 5.27999999999997 + 0.0100000000000007 + 0 + 0 # BOUND : makespan 1241 1281 MODIFY_CNF 1261 BEGIN : [Mon Jun 19 15:47:05 2006] MODIFY_CNF 1261 END : 707677455 bytes (0 seconds) [Mon Jun 19 15:47:05 2006] MODIFY_CNF 1261 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1261 BEGIN : [Mon Jun 19 15:47:05 2006] CMD : minisat /tmp/csp2sat894.cnf /tmp/csp2sat894.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 19430153 57547022 | 6476717 0 0 nan | 0.000 % | | 102 | 19430153 57547022 | 7124388 102 2277 22.3 | 35.204 % | ============================================================================== restarts : 2 conflicts : 197 (1 /sec) decisions : 4789 (28 /sec) propagations : 2563952 (14742 /sec) conflict literals : 6214 (4.77 % deleted) Memory used : 1131.70 MB CPU time : 173.92 s SATISFIABLE VERIFY_CNF 1261 END : (178 seconds) [Mon Jun 19 15:50:03 2006] VERIFY_CNF 1261 CPU : 177.77 = 0 + 0 + 174.3 + 3.47 # RESULT : makespan 1261 SATISFIABLE SHOW_RESULT 1261 BEGIN : [Mon Jun 19 15:50:03 2006] # ASSIGN : makespan 1261 # ASSIGN : s_0_0 385 # ASSIGN : s_0_1 16 # ASSIGN : s_0_2 640 # ASSIGN : s_0_3 175 # ASSIGN : s_0_4 540 # ASSIGN : s_0_5 944 # ASSIGN : s_0_6 963 # ASSIGN : s_0_7 555 # ASSIGN : s_0_8 273 # ASSIGN : s_0_9 1 # ASSIGN : s_0_10 408 # ASSIGN : s_0_11 67 # ASSIGN : s_0_12 816 # ASSIGN : s_0_13 116 # ASSIGN : s_0_14 1175 # ASSIGN : s_0_15 652 # ASSIGN : s_0_16 322 # ASSIGN : s_0_17 715 # ASSIGN : s_0_18 1061 # ASSIGN : s_0_19 1083 # ASSIGN : s_1_0 400 # ASSIGN : s_1_1 272 # ASSIGN : s_1_2 470 # ASSIGN : s_1_3 663 # ASSIGN : s_1_4 903 # ASSIGN : s_1_5 757 # ASSIGN : s_1_6 102 # ASSIGN : s_1_7 1144 # ASSIGN : s_1_8 320 # ASSIGN : s_1_9 1011 # ASSIGN : s_1_10 592 # ASSIGN : s_1_11 994 # ASSIGN : s_1_12 10 # ASSIGN : s_1_13 144 # ASSIGN : s_1_14 1220 # ASSIGN : s_1_15 547 # ASSIGN : s_1_16 1074 # ASSIGN : s_1_17 849 # ASSIGN : s_1_18 238 # ASSIGN : s_1_19 1070 # ASSIGN : s_2_0 896 # ASSIGN : s_2_1 378 # ASSIGN : s_2_2 553 # ASSIGN : s_2_3 1229 # ASSIGN : s_2_4 1023 # ASSIGN : s_2_5 902 # ASSIGN : s_2_6 391 # ASSIGN : s_2_7 809 # ASSIGN : s_2_8 740 # ASSIGN : s_2_9 6 # ASSIGN : s_2_10 1095 # ASSIGN : s_2_11 1156 # ASSIGN : s_2_12 162 # ASSIGN : s_2_13 86 # ASSIGN : s_2_14 600 # ASSIGN : s_2_15 483 # ASSIGN : s_2_16 123 # ASSIGN : s_2_17 719 # ASSIGN : s_2_18 124 # ASSIGN : s_2_19 986 # ASSIGN : s_3_0 0 # ASSIGN : s_3_1 299 # ASSIGN : s_3_2 180 # ASSIGN : s_3_3 438 # ASSIGN : s_3_4 697 # ASSIGN : s_3_5 643 # ASSIGN : s_3_6 563 # ASSIGN : s_3_7 1225 # ASSIGN : s_3_8 536 # ASSIGN : s_3_9 33 # ASSIGN : s_3_10 57 # ASSIGN : s_3_11 133 # ASSIGN : s_3_12 208 # ASSIGN : s_3_13 366 # ASSIGN : s_3_14 551 # ASSIGN : s_3_15 1128 # ASSIGN : s_3_16 785 # ASSIGN : s_3_17 1056 # ASSIGN : s_3_18 960 # ASSIGN : s_3_19 868 # ASSIGN : s_4_0 99 # ASSIGN : s_4_1 1129 # ASSIGN : s_4_2 1011 # ASSIGN : s_4_3 9 # ASSIGN : s_4_4 82 # ASSIGN : s_4_5 1088 # ASSIGN : s_4_6 90 # ASSIGN : s_4_7 884 # ASSIGN : s_4_8 370 # ASSIGN : s_4_9 177 # ASSIGN : s_4_10 506 # ASSIGN : s_4_11 603 # ASSIGN : s_4_12 0 # ASSIGN : s_4_13 1212 # ASSIGN : s_4_14 261 # ASSIGN : s_4_15 989 # ASSIGN : s_4_16 727 # ASSIGN : s_4_17 669 # ASSIGN : s_4_18 802 # ASSIGN : s_4_19 804 # ASSIGN : s_5_0 1184 # ASSIGN : s_5_1 1244 # ASSIGN : s_5_2 309 # ASSIGN : s_5_3 1203 # ASSIGN : s_5_4 18 # ASSIGN : s_5_5 388 # ASSIGN : s_5_6 130 # ASSIGN : s_5_7 981 # ASSIGN : s_5_8 2 # ASSIGN : s_5_9 558 # ASSIGN : s_5_10 147 # ASSIGN : s_5_11 203 # ASSIGN : s_5_12 105 # ASSIGN : s_5_13 465 # ASSIGN : s_5_14 1079 # ASSIGN : s_5_15 899 # ASSIGN : s_5_16 700 # ASSIGN : s_5_17 635 # ASSIGN : s_5_18 808 # ASSIGN : s_5_19 743 # ASSIGN : s_6_0 39 # ASSIGN : s_6_1 1212 # ASSIGN : s_6_2 1247 # ASSIGN : s_6_3 1146 # ASSIGN : s_6_4 440 # ASSIGN : s_6_5 983 # ASSIGN : s_6_6 151 # ASSIGN : s_6_7 1075 # ASSIGN : s_6_8 188 # ASSIGN : s_6_9 523 # ASSIGN : s_6_10 894 # ASSIGN : s_6_11 406 # ASSIGN : s_6_12 299 # ASSIGN : s_6_13 1033 # ASSIGN : s_6_14 744 # ASSIGN : s_6_15 807 # ASSIGN : s_6_16 699 # ASSIGN : s_6_17 554 # ASSIGN : s_6_18 626 # ASSIGN : s_6_19 711 # ASSIGN : s_7_0 809 # ASSIGN : s_7_1 521 # ASSIGN : s_7_2 348 # ASSIGN : s_7_3 1099 # ASSIGN : s_7_4 119 # ASSIGN : s_7_5 1004 # ASSIGN : s_7_6 1152 # ASSIGN : s_7_7 24 # ASSIGN : s_7_8 34 # ASSIGN : s_7_9 443 # ASSIGN : s_7_10 251 # ASSIGN : s_7_11 916 # ASSIGN : s_7_12 714 # ASSIGN : s_7_13 991 # ASSIGN : s_7_14 36 # ASSIGN : s_7_15 780 # ASSIGN : s_7_16 672 # ASSIGN : s_7_17 550 # ASSIGN : s_7_18 584 # ASSIGN : s_7_19 693 # ASSIGN : s_8_0 1129 # ASSIGN : s_8_1 955 # ASSIGN : s_8_2 1103 # ASSIGN : s_8_3 84 # ASSIGN : s_8_4 210 # ASSIGN : s_8_5 329 # ASSIGN : s_8_6 0 # ASSIGN : s_8_7 488 # ASSIGN : s_8_8 55 # ASSIGN : s_8_9 1237 # ASSIGN : s_8_10 800 # ASSIGN : s_8_11 355 # ASSIGN : s_8_12 298 # ASSIGN : s_8_13 897 # ASSIGN : s_8_14 1184 # ASSIGN : s_8_15 701 # ASSIGN : s_8_16 569 # ASSIGN : s_8_17 542 # ASSIGN : s_8_18 432 # ASSIGN : s_8_19 667 # ASSIGN : s_9_0 997 # ASSIGN : s_9_1 1033 # ASSIGN : s_9_2 760 # ASSIGN : s_9_3 1 # ASSIGN : s_9_4 1180 # ASSIGN : s_9_5 703 # ASSIGN : s_9_6 894 # ASSIGN : s_9_7 247 # ASSIGN : s_9_8 86 # ASSIGN : s_9_9 306 # ASSIGN : s_9_10 207 # ASSIGN : s_9_11 667 # ASSIGN : s_9_12 119 # ASSIGN : s_9_13 3 # ASSIGN : s_9_14 812 # ASSIGN : s_9_15 406 # ASSIGN : s_9_16 482 # ASSIGN : s_9_17 331 # ASSIGN : s_9_18 385 # ASSIGN : s_9_19 579 # ASSIGN : s_10_0 712 # ASSIGN : s_10_1 889 # ASSIGN : s_10_2 1190 # ASSIGN : s_10_3 1250 # ASSIGN : s_10_4 809 # ASSIGN : s_10_5 954 # ASSIGN : s_10_6 671 # ASSIGN : s_10_7 40 # ASSIGN : s_10_8 135 # ASSIGN : s_10_9 490 # ASSIGN : s_10_10 1038 # ASSIGN : s_10_11 1099 # ASSIGN : s_10_12 579 # ASSIGN : s_10_13 1151 # ASSIGN : s_10_14 987 # ASSIGN : s_10_15 324 # ASSIGN : s_10_16 402 # ASSIGN : s_10_17 189 # ASSIGN : s_10_18 276 # ASSIGN : s_10_19 555 # ASSIGN : s_11_0 948 # ASSIGN : s_11_1 65 # ASSIGN : s_11_2 142 # ASSIGN : s_11_3 628 # ASSIGN : s_11_4 348 # ASSIGN : s_11_5 932 # ASSIGN : s_11_6 1242 # ASSIGN : s_11_7 129 # ASSIGN : s_11_8 670 # ASSIGN : s_11_9 185 # ASSIGN : s_11_10 45 # ASSIGN : s_11_11 731 # ASSIGN : s_11_12 1219 # ASSIGN : s_11_13 1204 # ASSIGN : s_11_14 1015 # ASSIGN : s_11_15 311 # ASSIGN : s_11_16 287 # ASSIGN : s_11_17 170 # ASSIGN : s_11_18 257 # ASSIGN : s_11_19 506 # ASSIGN : s_12_0 146 # ASSIGN : s_12_1 772 # ASSIGN : s_12_2 441 # ASSIGN : s_12_3 942 # ASSIGN : s_12_4 1222 # ASSIGN : s_12_5 561 # ASSIGN : s_12_6 505 # ASSIGN : s_12_7 311 # ASSIGN : s_12_8 462 # ASSIGN : s_12_9 358 # ASSIGN : s_12_10 1013 # ASSIGN : s_12_11 808 # ASSIGN : s_12_12 907 # ASSIGN : s_12_13 1105 # ASSIGN : s_12_14 982 # ASSIGN : s_12_15 252 # ASSIGN : s_12_16 148 # ASSIGN : s_12_17 91 # ASSIGN : s_12_18 0 # ASSIGN : s_12_19 464 # ASSIGN : s_13_0 375 # ASSIGN : s_13_1 548 # ASSIGN : s_13_2 70 # ASSIGN : s_13_3 3 # ASSIGN : s_13_4 632 # ASSIGN : s_13_5 248 # ASSIGN : s_13_6 222 # ASSIGN : s_13_7 145 # ASSIGN : s_13_8 464 # ASSIGN : s_13_9 331 # ASSIGN : s_13_10 718 # ASSIGN : s_13_11 1009 # ASSIGN : s_13_12 1050 # ASSIGN : s_13_13 812 # ASSIGN : s_13_14 886 # ASSIGN : s_13_15 229 # ASSIGN : s_13_16 9 # ASSIGN : s_13_17 1245 # ASSIGN : s_13_18 1183 # ASSIGN : s_13_19 393 # ASSIGN : s_14_0 1057 # ASSIGN : s_14_1 439 # ASSIGN : s_14_2 680 # ASSIGN : s_14_3 853 # ASSIGN : s_14_4 283 # ASSIGN : s_14_5 53 # ASSIGN : s_14_6 808 # ASSIGN : s_14_7 398 # ASSIGN : s_14_8 545 # ASSIGN : s_14_9 1148 # ASSIGN : s_14_10 239 # ASSIGN : s_14_11 1246 # ASSIGN : s_14_12 965 # ASSIGN : s_14_13 787 # ASSIGN : s_14_14 806 # ASSIGN : s_14_15 161 # ASSIGN : s_14_16 1254 # ASSIGN : s_14_17 1158 # ASSIGN : s_14_18 137 # ASSIGN : s_14_19 383 # ASSIGN : s_15_0 1254 # ASSIGN : s_15_1 392 # ASSIGN : s_15_2 829 # ASSIGN : s_15_3 525 # ASSIGN : s_15_4 804 # ASSIGN : s_15_5 172 # ASSIGN : s_15_6 244 # ASSIGN : s_15_7 409 # ASSIGN : s_15_8 605 # ASSIGN : s_15_9 1072 # ASSIGN : s_15_10 1163 # ASSIGN : s_15_11 435 # ASSIGN : s_15_12 914 # ASSIGN : s_15_13 761 # ASSIGN : s_15_14 672 # ASSIGN : s_15_15 143 # ASSIGN : s_15_16 1226 # ASSIGN : s_15_17 1025 # ASSIGN : s_15_18 1102 # ASSIGN : s_15_19 289 # ASSIGN : s_16_0 470 # ASSIGN : s_16_1 815 # ASSIGN : s_16_2 7 # ASSIGN : s_16_3 573 # ASSIGN : s_16_4 895 # ASSIGN : s_16_5 355 # ASSIGN : s_16_6 1062 # ASSIGN : s_16_7 759 # ASSIGN : s_16_8 822 # ASSIGN : s_16_9 553 # ASSIGN : s_16_10 1232 # ASSIGN : s_16_11 292 # ASSIGN : s_16_12 389 # ASSIGN : s_16_13 664 # ASSIGN : s_16_14 611 # ASSIGN : s_16_15 104 # ASSIGN : s_16_16 1203 # ASSIGN : s_16_17 940 # ASSIGN : s_16_18 159 # ASSIGN : s_16_19 238 # ASSIGN : s_17_0 256 # ASSIGN : s_17_1 659 # ASSIGN : s_17_2 231 # ASSIGN : s_17_3 412 # ASSIGN : s_17_4 994 # ASSIGN : s_17_5 469 # ASSIGN : s_17_6 755 # ASSIGN : s_17_7 451 # ASSIGN : s_17_8 992 # ASSIGN : s_17_9 833 # ASSIGN : s_17_10 328 # ASSIGN : s_17_11 1030 # ASSIGN : s_17_12 519 # ASSIGN : s_17_13 592 # ASSIGN : s_17_14 561 # ASSIGN : s_17_15 0 # ASSIGN : s_17_16 1141 # ASSIGN : s_17_17 902 # ASSIGN : s_17_18 99 # ASSIGN : s_17_19 156 # ASSIGN : s_18_0 601 # ASSIGN : s_18_1 159 # ASSIGN : s_18_2 248 # ASSIGN : s_18_3 292 # ASSIGN : s_18_4 1082 # ASSIGN : s_18_5 518 # ASSIGN : s_18_6 848 # ASSIGN : s_18_7 662 # ASSIGN : s_18_8 1015 # ASSIGN : s_18_9 914 # ASSIGN : s_18_10 1000 # ASSIGN : s_18_11 1 # ASSIGN : s_18_12 1142 # ASSIGN : s_18_13 552 # ASSIGN : s_18_14 430 # ASSIGN : s_18_15 1226 # ASSIGN : s_18_16 385 # ASSIGN : s_18_17 770 # ASSIGN : s_18_18 1243 # ASSIGN : s_18_19 60 # ASSIGN : s_19_0 156 # ASSIGN : s_19_1 868 # ASSIGN : s_19_2 925 # ASSIGN : s_19_3 1030 # ASSIGN : s_19_4 1242 # ASSIGN : s_19_5 1151 # ASSIGN : s_19_6 714 # ASSIGN : s_19_7 1055 # ASSIGN : s_19_8 1090 # ASSIGN : s_19_9 64 # ASSIGN : s_19_10 661 # ASSIGN : s_19_11 516 # ASSIGN : s_19_12 894 # ASSIGN : s_19_13 319 # ASSIGN : s_19_14 359 # ASSIGN : s_19_15 609 # ASSIGN : s_19_16 244 # ASSIGN : s_19_17 726 # ASSIGN : s_19_18 1216 # ASSIGN : s_19_19 3 SHOW_RESULT 1261 END : 1261 (5 seconds) [Mon Jun 19 15:50:08 2006] SHOW_RESULT 1261 CPU : 5.3 = 5.25 + 0.0499999999999998 + 0 + 0 # BOUND : makespan 1241 1261 MODIFY_CNF 1251 BEGIN : [Mon Jun 19 15:50:09 2006] MODIFY_CNF 1251 END : 707677455 bytes (0 seconds) [Mon Jun 19 15:50:09 2006] MODIFY_CNF 1251 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1251 BEGIN : [Mon Jun 19 15:50:09 2006] CMD : minisat /tmp/csp2sat894.cnf /tmp/csp2sat894.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 19278153 57091022 | 6426051 0 0 nan | 0.000 % | | 100 | 19278153 57091022 | 7068656 100 3259 32.6 | 35.725 % | ============================================================================== restarts : 2 conflicts : 212 (1 /sec) decisions : 6221 (31 /sec) propagations : 3384976 (16644 /sec) conflict literals : 4477 (4.36 % deleted) Memory used : 1142.34 MB CPU time : 203.38 s SATISFIABLE VERIFY_CNF 1251 END : (209 seconds) [Mon Jun 19 15:53:38 2006] VERIFY_CNF 1251 CPU : 208.47 = 0 + 0.00999999999999979 + 203.79 + 4.67 # RESULT : makespan 1251 SATISFIABLE SHOW_RESULT 1251 BEGIN : [Mon Jun 19 15:53:38 2006] # ASSIGN : makespan 1251 # ASSIGN : s_0_0 51 # ASSIGN : s_0_1 248 # ASSIGN : s_0_2 66 # ASSIGN : s_0_3 377 # ASSIGN : s_0_4 4 # ASSIGN : s_0_5 367 # ASSIGN : s_0_6 832 # ASSIGN : s_0_7 938 # ASSIGN : s_0_8 82 # ASSIGN : s_0_9 243 # ASSIGN : s_0_10 542 # ASSIGN : s_0_11 1023 # ASSIGN : s_0_12 702 # ASSIGN : s_0_13 215 # ASSIGN : s_0_14 640 # ASSIGN : s_0_15 653 # ASSIGN : s_0_16 1096 # ASSIGN : s_0_17 649 # ASSIGN : s_0_18 1074 # ASSIGN : s_0_19 1159 # ASSIGN : s_1_0 722 # ASSIGN : s_1_1 214 # ASSIGN : s_1_2 367 # ASSIGN : s_1_3 628 # ASSIGN : s_1_4 951 # ASSIGN : s_1_5 792 # ASSIGN : s_1_6 491 # ASSIGN : s_1_7 1042 # ASSIGN : s_1_8 162 # ASSIGN : s_1_9 2 # ASSIGN : s_1_10 298 # ASSIGN : s_1_11 613 # ASSIGN : s_1_12 1118 # ASSIGN : s_1_13 519 # ASSIGN : s_1_14 1210 # ASSIGN : s_1_15 446 # ASSIGN : s_1_16 884 # ASSIGN : s_1_17 245 # ASSIGN : s_1_18 83 # ASSIGN : s_1_19 105 # ASSIGN : s_2_0 92 # ASSIGN : s_2_1 1 # ASSIGN : s_2_2 890 # ASSIGN : s_2_3 722 # ASSIGN : s_2_4 503 # ASSIGN : s_2_5 334 # ASSIGN : s_2_6 587 # ASSIGN : s_2_7 1139 # ASSIGN : s_2_8 265 # ASSIGN : s_2_9 1063 # ASSIGN : s_2_10 31 # ASSIGN : s_2_11 428 # ASSIGN : s_2_12 125 # ASSIGN : s_2_13 185 # ASSIGN : s_2_14 798 # ASSIGN : s_2_15 364 # ASSIGN : s_2_16 222 # ASSIGN : s_2_17 749 # ASSIGN : s_2_18 760 # ASSIGN : s_2_19 1102 # ASSIGN : s_3_0 0 # ASSIGN : s_3_1 431 # ASSIGN : s_3_2 33 # ASSIGN : s_3_3 182 # ASSIGN : s_3_4 1163 # ASSIGN : s_3_5 124 # ASSIGN : s_3_6 986 # ASSIGN : s_3_7 85 # ASSIGN : s_3_8 809 # ASSIGN : s_3_9 61 # ASSIGN : s_3_10 818 # ASSIGN : s_3_11 762 # ASSIGN : s_3_12 269 # ASSIGN : s_3_13 359 # ASSIGN : s_3_14 752 # ASSIGN : s_3_15 1066 # ASSIGN : s_3_16 594 # ASSIGN : s_3_17 677 # ASSIGN : s_3_18 498 # ASSIGN : s_3_19 894 # ASSIGN : s_4_0 123 # ASSIGN : s_4_1 1168 # ASSIGN : s_4_2 1091 # ASSIGN : s_4_3 1018 # ASSIGN : s_4_4 97 # ASSIGN : s_4_5 977 # ASSIGN : s_4_6 0 # ASSIGN : s_4_7 600 # ASSIGN : s_4_8 697 # ASSIGN : s_4_9 89 # ASSIGN : s_4_10 212 # ASSIGN : s_4_11 9 # ASSIGN : s_4_12 109 # ASSIGN : s_4_13 310 # ASSIGN : s_4_14 438 # ASSIGN : s_4_15 789 # ASSIGN : s_4_16 536 # ASSIGN : s_4_17 905 # ASSIGN : s_4_18 598 # ASSIGN : s_4_19 830 # ASSIGN : s_5_0 98 # ASSIGN : s_5_1 390 # ASSIGN : s_5_2 117 # ASSIGN : s_5_3 939 # ASSIGN : s_5_4 692 # ASSIGN : s_5_5 1174 # ASSIGN : s_5_6 367 # ASSIGN : s_5_7 190 # ASSIGN : s_5_8 676 # ASSIGN : s_5_9 843 # ASSIGN : s_5_10 1113 # ASSIGN : s_5_11 264 # ASSIGN : s_5_12 1099 # ASSIGN : s_5_13 979 # ASSIGN : s_5_14 2 # ASSIGN : s_5_15 571 # ASSIGN : s_5_16 509 # ASSIGN : s_5_17 156 # ASSIGN : s_5_18 407 # ASSIGN : s_5_19 769 # ASSIGN : s_6_0 280 # ASSIGN : s_6_1 530 # ASSIGN : s_6_2 190 # ASSIGN : s_6_3 1106 # ASSIGN : s_6_4 866 # ASSIGN : s_6_5 509 # ASSIGN : s_6_6 949 # ASSIGN : s_6_7 121 # ASSIGN : s_6_8 562 # ASSIGN : s_6_9 213 # ASSIGN : s_6_10 648 # ASSIGN : s_6_11 994 # ASSIGN : s_6_12 377 # ASSIGN : s_6_13 467 # ASSIGN : s_6_14 1044 # ASSIGN : s_6_15 1163 # ASSIGN : s_6_16 1250 # ASSIGN : s_6_17 49 # ASSIGN : s_6_18 773 # ASSIGN : s_6_19 737 # ASSIGN : s_7_0 590 # ASSIGN : s_7_1 893 # ASSIGN : s_7_2 998 # ASSIGN : s_7_3 1204 # ASSIGN : s_7_4 262 # ASSIGN : s_7_5 178 # ASSIGN : s_7_6 737 # ASSIGN : s_7_7 25 # ASSIGN : s_7_8 43 # ASSIGN : s_7_9 920 # ASSIGN : s_7_10 101 # ASSIGN : s_7_11 353 # ASSIGN : s_7_12 827 # ASSIGN : s_7_13 454 # ASSIGN : s_7_14 1121 # ASSIGN : s_7_15 967 # ASSIGN : s_7_16 488 # ASSIGN : s_7_17 45 # ASSIGN : s_7_18 677 # ASSIGN : s_7_19 719 # ASSIGN : s_8_0 206 # ASSIGN : s_8_1 678 # ASSIGN : s_8_2 5 # ASSIGN : s_8_3 51 # ASSIGN : s_8_4 756 # ASSIGN : s_8_5 1148 # ASSIGN : s_8_6 436 # ASSIGN : s_8_7 546 # ASSIGN : s_8_8 647 # ASSIGN : s_8_9 142 # ASSIGN : s_8_10 966 # ASSIGN : s_8_11 1072 # ASSIGN : s_8_12 31 # ASSIGN : s_8_13 829 # ASSIGN : s_8_14 302 # ASSIGN : s_8_15 887 # ASSIGN : s_8_16 338 # ASSIGN : s_8_17 37 # ASSIGN : s_8_18 1195 # ASSIGN : s_8_19 166 # ASSIGN : s_9_0 170 # ASSIGN : s_9_1 1065 # ASSIGN : s_9_2 315 # ASSIGN : s_9_3 743 # ASSIGN : s_9_4 562 # ASSIGN : s_9_5 689 # ASSIGN : s_9_6 1182 # ASSIGN : s_9_7 400 # ASSIGN : s_9_8 129 # ASSIGN : s_9_9 104 # ASSIGN : s_9_10 745 # ASSIGN : s_9_11 649 # ASSIGN : s_9_12 513 # ASSIGN : s_9_13 887 # ASSIGN : s_9_14 970 # ASSIGN : s_9_15 811 # ASSIGN : s_9_16 223 # ASSIGN : s_9_17 459 # ASSIGN : s_9_18 1161 # ASSIGN : s_9_19 16 # ASSIGN : s_10_0 894 # ASSIGN : s_10_1 781 # ASSIGN : s_10_2 444 # ASSIGN : s_10_3 40 # ASSIGN : s_10_4 1083 # ASSIGN : s_10_5 95 # ASSIGN : s_10_6 143 # ASSIGN : s_10_7 265 # ASSIGN : s_10_8 212 # ASSIGN : s_10_9 354 # ASSIGN : s_10_10 387 # ASSIGN : s_10_11 501 # ASSIGN : s_10_12 991 # ASSIGN : s_10_13 640 # ASSIGN : s_10_14 184 # ASSIGN : s_10_15 703 # ASSIGN : s_10_16 1170 # ASSIGN : s_10_17 553 # ASSIGN : s_10_18 846 # ASSIGN : s_10_19 679 # ASSIGN : s_11_0 1093 # ASSIGN : s_11_1 14 # ASSIGN : s_11_2 78 # ASSIGN : s_11_3 342 # ASSIGN : s_11_4 170 # ASSIGN : s_11_5 2 # ASSIGN : s_11_6 930 # ASSIGN : s_11_7 387 # ASSIGN : s_11_8 501 # ASSIGN : s_11_9 981 # ASSIGN : s_11_10 777 # ASSIGN : s_11_11 685 # ASSIGN : s_11_12 1213 # ASSIGN : s_11_13 622 # ASSIGN : s_11_14 106 # ASSIGN : s_11_15 1053 # ASSIGN : s_11_16 1069 # ASSIGN : s_11_17 1236 # ASSIGN : s_11_18 1142 # ASSIGN : s_11_19 630 # ASSIGN : s_12_0 261 # ASSIGN : s_12_1 79 # ASSIGN : s_12_2 166 # ASSIGN : s_12_3 1164 # ASSIGN : s_12_4 404 # ASSIGN : s_12_5 1066 # ASSIGN : s_12_6 23 # ASSIGN : s_12_7 459 # ASSIGN : s_12_8 457 # ASSIGN : s_12_9 506 # ASSIGN : s_12_10 187 # ASSIGN : s_12_11 895 # ASSIGN : s_12_12 118 # ASSIGN : s_12_13 264 # ASSIGN : s_12_14 1205 # ASSIGN : s_12_15 994 # ASSIGN : s_12_16 738 # ASSIGN : s_12_17 834 # ASSIGN : s_12_18 313 # ASSIGN : s_12_19 589 # ASSIGN : s_13_0 263 # ASSIGN : s_13_1 981 # ASSIGN : s_13_2 817 # ASSIGN : s_13_3 1 # ASSIGN : s_13_4 105 # ASSIGN : s_13_5 14 # ASSIGN : s_13_6 98 # ASSIGN : s_13_7 740 # ASSIGN : s_13_8 909 # ASSIGN : s_13_9 1142 # ASSIGN : s_13_10 1169 # ASSIGN : s_13_11 628 # ASSIGN : s_13_12 171 # ASSIGN : s_13_13 1066 # ASSIGN : s_13_14 342 # ASSIGN : s_13_15 492 # ASSIGN : s_13_16 677 # ASSIGN : s_13_17 889 # ASSIGN : s_13_18 280 # ASSIGN : s_13_19 518 # ASSIGN : s_14_0 518 # ASSIGN : s_14_1 115 # ASSIGN : s_14_2 204 # ASSIGN : s_14_3 754 # ASSIGN : s_14_4 32 # ASSIGN : s_14_5 424 # ASSIGN : s_14_6 384 # ASSIGN : s_14_7 1214 # ASSIGN : s_14_8 843 # ASSIGN : s_14_9 284 # ASSIGN : s_14_10 372 # ASSIGN : s_14_11 1 # ASSIGN : s_14_12 903 # ASSIGN : s_14_13 1180 # ASSIGN : s_14_14 294 # ASSIGN : s_14_15 296 # ASSIGN : s_14_16 988 # ASSIGN : s_14_17 995 # ASSIGN : s_14_18 1120 # ASSIGN : s_14_19 508 # ASSIGN : s_15_0 273 # ASSIGN : s_15_1 197 # ASSIGN : s_15_2 724 # ASSIGN : s_15_3 965 # ASSIGN : s_15_4 19 # ASSIGN : s_15_5 607 # ASSIGN : s_15_6 679 # ASSIGN : s_15_7 1225 # ASSIGN : s_15_8 349 # ASSIGN : s_15_9 1090 # ASSIGN : s_15_10 902 # ASSIGN : s_15_11 73 # ASSIGN : s_15_12 556 # ASSIGN : s_15_13 1199 # ASSIGN : s_15_14 809 # ASSIGN : s_15_15 154 # ASSIGN : s_15_16 310 # ASSIGN : s_15_17 1120 # ASSIGN : s_15_18 1013 # ASSIGN : s_15_19 414 # ASSIGN : s_16_0 428 # ASSIGN : s_16_1 241 # ASSIGN : s_16_2 550 # ASSIGN : s_16_3 144 # ASSIGN : s_16_4 24 # ASSIGN : s_16_5 1033 # ASSIGN : s_16_6 273 # ASSIGN : s_16_7 35 # ASSIGN : s_16_8 1078 # ASSIGN : s_16_9 268 # ASSIGN : s_16_10 789 # ASSIGN : s_16_11 818 # ASSIGN : s_16_12 613 # ASSIGN : s_16_13 694 # ASSIGN : s_16_14 881 # ASSIGN : s_16_15 511 # ASSIGN : s_16_16 199 # ASSIGN : s_16_17 1151 # ASSIGN : s_16_18 934 # ASSIGN : s_16_19 363 # ASSIGN : s_17_0 822 # ASSIGN : s_17_1 582 # ASSIGN : s_17_2 981 # ASSIGN : s_17_3 7 # ASSIGN : s_17_4 424 # ASSIGN : s_17_5 533 # ASSIGN : s_17_6 1129 # ASSIGN : s_17_7 1024 # ASSIGN : s_17_8 33 # ASSIGN : s_17_9 682 # ASSIGN : s_17_10 453 # ASSIGN : s_17_11 1182 # ASSIGN : s_17_12 780 # ASSIGN : s_17_13 35 # ASSIGN : s_17_14 939 # ASSIGN : s_17_15 189 # ASSIGN : s_17_16 127 # ASSIGN : s_17_17 1082 # ASSIGN : s_17_18 102 # ASSIGN : s_17_19 288 # ASSIGN : s_18_0 1190 # ASSIGN : s_18_1 297 # ASSIGN : s_18_2 937 # ASSIGN : s_18_3 511 # ASSIGN : s_18_4 604 # ASSIGN : s_18_5 386 # ASSIGN : s_18_6 1071 # ASSIGN : s_18_7 840 # ASSIGN : s_18_8 1004 # ASSIGN : s_18_9 420 # ASSIGN : s_18_10 18 # ASSIGN : s_18_11 1123 # ASSIGN : s_18_12 32 # ASSIGN : s_18_13 132 # ASSIGN : s_18_14 664 # ASSIGN : s_18_15 172 # ASSIGN : s_18_16 110 # ASSIGN : s_18_17 756 # ASSIGN : s_18_18 0 # ASSIGN : s_18_19 192 # ASSIGN : s_19_0 340 # ASSIGN : s_19_1 872 # ASSIGN : s_19_2 638 # ASSIGN : s_19_3 475 # ASSIGN : s_19_4 847 # ASSIGN : s_19_5 269 # ASSIGN : s_19_6 1117 # ASSIGN : s_19_7 3 # ASSIGN : s_19_8 1190 # ASSIGN : s_19_9 751 # ASSIGN : s_19_10 1060 # ASSIGN : s_19_11 177 # ASSIGN : s_19_12 500 # ASSIGN : s_19_13 1140 # ASSIGN : s_19_14 567 # ASSIGN : s_19_15 23 # ASSIGN : s_19_16 66 # ASSIGN : s_19_17 951 # ASSIGN : s_19_18 908 # ASSIGN : s_19_19 109 SHOW_RESULT 1251 END : 1251 (5 seconds) [Mon Jun 19 15:53:43 2006] SHOW_RESULT 1251 CPU : 5.44999999999987 = 5.38999999999987 + 0.0599999999999996 + 0 + 0 # BOUND : makespan 1241 1251 MODIFY_CNF 1246 BEGIN : [Mon Jun 19 15:53:43 2006] MODIFY_CNF 1246 END : 707677454 bytes (0 seconds) [Mon Jun 19 15:53:43 2006] MODIFY_CNF 1246 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1246 BEGIN : [Mon Jun 19 15:53:43 2006] CMD : minisat /tmp/csp2sat894.cnf /tmp/csp2sat894.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 19202153 56863022 | 6400717 0 0 nan | 0.000 % | | 100 | 19202153 56863022 | 7040788 100 3705 37.0 | 35.985 % | | 250 | 19202153 56863022 | 7744867 250 7640 30.6 | 35.985 % | ============================================================================== restarts : 3 conflicts : 369 (2 /sec) decisions : 6561 (31 /sec) propagations : 4089844 (19437 /sec) conflict literals : 9131 (6.34 % deleted) Memory used : 1144.54 MB CPU time : 210.41 s SATISFIABLE VERIFY_CNF 1246 END : (215 seconds) [Mon Jun 19 15:57:18 2006] VERIFY_CNF 1246 CPU : 214.71 = 0 + 0.0100000000000007 + 210.81 + 3.89 # RESULT : makespan 1246 SATISFIABLE SHOW_RESULT 1246 BEGIN : [Mon Jun 19 15:57:18 2006] # ASSIGN : makespan 1246 # ASSIGN : s_0_0 185 # ASSIGN : s_0_1 696 # ASSIGN : s_0_2 171 # ASSIGN : s_0_3 49 # ASSIGN : s_0_4 16 # ASSIGN : s_0_5 1114 # ASSIGN : s_0_6 539 # ASSIGN : s_0_7 388 # ASSIGN : s_0_8 337 # ASSIGN : s_0_9 31 # ASSIGN : s_0_10 200 # ASSIGN : s_0_11 1124 # ASSIGN : s_0_12 824 # ASSIGN : s_0_13 479 # ASSIGN : s_0_14 752 # ASSIGN : s_0_15 647 # ASSIGN : s_0_16 761 # ASSIGN : s_0_17 1226 # ASSIGN : s_0_18 902 # ASSIGN : s_0_19 993 # ASSIGN : s_1_0 691 # ASSIGN : s_1_1 254 # ASSIGN : s_1_2 1040 # ASSIGN : s_1_3 147 # ASSIGN : s_1_4 921 # ASSIGN : s_1_5 51 # ASSIGN : s_1_6 1012 # ASSIGN : s_1_7 1170 # ASSIGN : s_1_8 1 # ASSIGN : s_1_9 312 # ASSIGN : s_1_10 386 # ASSIGN : s_1_11 371 # ASSIGN : s_1_12 592 # ASSIGN : s_1_13 827 # ASSIGN : s_1_14 767 # ASSIGN : s_1_15 464 # ASSIGN : s_1_16 525 # ASSIGN : s_1_17 1117 # ASSIGN : s_1_18 808 # ASSIGN : s_1_19 143 # ASSIGN : s_2_0 243 # ASSIGN : s_2_1 14 # ASSIGN : s_2_2 976 # ASSIGN : s_2_3 719 # ASSIGN : s_2_4 862 # ASSIGN : s_2_5 1125 # ASSIGN : s_2_6 255 # ASSIGN : s_2_7 573 # ASSIGN : s_2_8 384 # ASSIGN : s_2_9 46 # ASSIGN : s_2_10 1034 # ASSIGN : s_2_11 1173 # ASSIGN : s_2_12 930 # ASSIGN : s_2_13 1095 # ASSIGN : s_2_14 740 # ASSIGN : s_2_15 509 # ASSIGN : s_2_16 90 # ASSIGN : s_2_17 495 # ASSIGN : s_2_18 751 # ASSIGN : s_2_19 347 # ASSIGN : s_3_0 26 # ASSIGN : s_3_1 623 # ASSIGN : s_3_2 95 # ASSIGN : s_3_3 950 # ASSIGN : s_3_4 690 # ASSIGN : s_3_5 316 # ASSIGN : s_3_6 870 # ASSIGN : s_3_7 59 # ASSIGN : s_3_8 538 # ASSIGN : s_3_9 2 # ASSIGN : s_3_10 547 # ASSIGN : s_3_11 1037 # ASSIGN : s_3_12 1084 # ASSIGN : s_3_13 1174 # ASSIGN : s_3_14 528 # ASSIGN : s_3_15 219 # ASSIGN : s_3_16 442 # ASSIGN : s_3_17 370 # ASSIGN : s_3_18 123 # ASSIGN : s_3_19 778 # ASSIGN : s_4_0 492 # ASSIGN : s_4_1 745 # ASSIGN : s_4_2 2 # ASSIGN : s_4_3 557 # ASSIGN : s_4_4 166 # ASSIGN : s_4_5 1205 # ASSIGN : s_4_6 375 # ASSIGN : s_4_7 648 # ASSIGN : s_4_8 956 # ASSIGN : s_4_9 183 # ASSIGN : s_4_10 854 # ASSIGN : s_4_11 191 # ASSIGN : s_4_12 174 # ASSIGN : s_4_13 263 # ASSIGN : s_4_14 1048 # ASSIGN : s_4_15 1181 # ASSIGN : s_4_16 384 # ASSIGN : s_4_17 324 # ASSIGN : s_4_18 0 # ASSIGN : s_4_19 79 # ASSIGN : s_5_0 672 # ASSIGN : s_5_1 204 # ASSIGN : s_5_2 1207 # ASSIGN : s_5_3 525 # ASSIGN : s_5_4 551 # ASSIGN : s_5_5 743 # ASSIGN : s_5_6 699 # ASSIGN : s_5_7 820 # ASSIGN : s_5_8 727 # ASSIGN : s_5_9 221 # ASSIGN : s_5_10 298 # ASSIGN : s_5_11 413 # ASSIGN : s_5_12 396 # ASSIGN : s_5_13 968 # ASSIGN : s_5_14 1 # ASSIGN : s_5_15 122 # ASSIGN : s_5_16 357 # ASSIGN : s_5_17 1173 # ASSIGN : s_5_18 1064 # ASSIGN : s_5_19 900 # ASSIGN : s_6_0 539 # ASSIGN : s_6_1 1214 # ASSIGN : s_6_2 183 # ASSIGN : s_6_3 377 # ASSIGN : s_6_4 259 # ASSIGN : s_6_5 917 # ASSIGN : s_6_6 1095 # ASSIGN : s_6_7 114 # ASSIGN : s_6_8 453 # ASSIGN : s_6_9 726 # ASSIGN : s_6_10 628 # ASSIGN : s_6_11 342 # ASSIGN : s_6_12 994 # ASSIGN : s_6_13 1132 # ASSIGN : s_6_14 197 # ASSIGN : s_6_15 27 # ASSIGN : s_6_16 756 # ASSIGN : s_6_17 757 # ASSIGN : s_6_18 829 # ASSIGN : s_6_19 961 # ASSIGN : s_7_0 249 # ASSIGN : s_7_1 27 # ASSIGN : s_7_2 410 # ASSIGN : s_7_3 835 # ASSIGN : s_7_4 1049 # ASSIGN : s_7_5 503 # ASSIGN : s_7_6 93 # ASSIGN : s_7_7 378 # ASSIGN : s_7_8 591 # ASSIGN : s_7_9 607 # ASSIGN : s_7_10 1157 # ASSIGN : s_7_11 678 # ASSIGN : s_7_12 183 # ASSIGN : s_7_13 806 # ASSIGN : s_7_14 928 # ASSIGN : s_7_15 0 # ASSIGN : s_7_16 336 # ASSIGN : s_7_17 753 # ASSIGN : s_7_18 764 # ASSIGN : s_7_19 882 # ASSIGN : s_8_0 354 # ASSIGN : s_8_1 54 # ASSIGN : s_8_2 832 # ASSIGN : s_8_3 434 # ASSIGN : s_8_4 615 # ASSIGN : s_8_5 858 # ASSIGN : s_8_6 1145 # ASSIGN : s_8_7 184 # ASSIGN : s_8_8 132 # ASSIGN : s_8_9 410 # ASSIGN : s_8_10 940 # ASSIGN : s_8_11 0 # ASSIGN : s_8_12 173 # ASSIGN : s_8_13 526 # ASSIGN : s_8_14 892 # ASSIGN : s_8_15 1063 # ASSIGN : s_8_16 238 # ASSIGN : s_8_17 744 # ASSIGN : s_8_18 688 # ASSIGN : s_8_19 752 # ASSIGN : s_9_0 98 # ASSIGN : s_9_1 413 # ASSIGN : s_9_2 302 # ASSIGN : s_9_3 1 # ASSIGN : s_9_4 509 # ASSIGN : s_9_5 248 # ASSIGN : s_9_6 4 # ASSIGN : s_9_7 1029 # ASSIGN : s_9_8 551 # ASSIGN : s_9_9 73 # ASSIGN : s_9_10 354 # ASSIGN : s_9_11 1088 # ASSIGN : s_9_12 775 # ASSIGN : s_9_13 584 # ASSIGN : s_9_14 818 # ASSIGN : s_9_15 953 # ASSIGN : s_9_16 134 # ASSIGN : s_9_17 690 # ASSIGN : s_9_18 667 # ASSIGN : s_9_19 1158 # ASSIGN : s_10_0 1037 # ASSIGN : s_10_1 345 # ASSIGN : s_10_2 775 # ASSIGN : s_10_3 334 # ASSIGN : s_10_4 86 # ASSIGN : s_10_5 938 # ASSIGN : s_10_6 637 # ASSIGN : s_10_7 242 # ASSIGN : s_10_8 1191 # ASSIGN : s_10_9 1158 # ASSIGN : s_10_10 717 # ASSIGN : s_10_11 985 # ASSIGN : s_10_12 410 # ASSIGN : s_10_13 678 # ASSIGN : s_10_14 169 # ASSIGN : s_10_15 860 # ASSIGN : s_10_16 6 # ASSIGN : s_10_17 502 # ASSIGN : s_10_18 589 # ASSIGN : s_10_19 1134 # ASSIGN : s_11_0 136 # ASSIGN : s_11_1 281 # ASSIGN : s_11_2 747 # ASSIGN : s_11_3 1050 # ASSIGN : s_11_4 350 # ASSIGN : s_11_5 835 # ASSIGN : s_11_6 952 # ASSIGN : s_11_7 993 # ASSIGN : s_11_8 593 # ASSIGN : s_11_9 654 # ASSIGN : s_11_10 1234 # ASSIGN : s_11_11 502 # ASSIGN : s_11_12 907 # ASSIGN : s_11_13 819 # ASSIGN : s_11_14 1146 # ASSIGN : s_11_15 847 # ASSIGN : s_11_16 1210 # ASSIGN : s_11_17 1006 # ASSIGN : s_11_18 483 # ASSIGN : s_11_19 1085 # ASSIGN : s_12_0 974 # ASSIGN : s_12_1 543 # ASSIGN : s_12_2 389 # ASSIGN : s_12_3 3 # ASSIGN : s_12_4 1023 # ASSIGN : s_12_5 421 # ASSIGN : s_12_6 199 # ASSIGN : s_12_7 331 # ASSIGN : s_12_8 1057 # ASSIGN : s_12_9 100 # ASSIGN : s_12_10 518 # ASSIGN : s_12_11 579 # ASSIGN : s_12_12 987 # ASSIGN : s_12_13 922 # ASSIGN : s_12_14 1043 # ASSIGN : s_12_15 770 # ASSIGN : s_12_16 1059 # ASSIGN : s_12_17 829 # ASSIGN : s_12_18 1155 # ASSIGN : s_12_19 711 # ASSIGN : s_13_0 211 # ASSIGN : s_13_1 1113 # ASSIGN : s_13_2 536 # ASSIGN : s_13_3 43 # ASSIGN : s_13_4 797 # ASSIGN : s_13_5 1032 # ASSIGN : s_13_6 863 # ASSIGN : s_13_7 894 # ASSIGN : s_13_8 221 # ASSIGN : s_13_9 1203 # ASSIGN : s_13_10 118 # ASSIGN : s_13_11 873 # ASSIGN : s_13_12 293 # ASSIGN : s_13_13 723 # ASSIGN : s_13_14 608 # ASSIGN : s_13_15 704 # ASSIGN : s_13_16 971 # ASSIGN : s_13_17 1230 # ASSIGN : s_13_18 503 # ASSIGN : s_13_19 385 # ASSIGN : s_14_0 805 # ASSIGN : s_14_1 1024 # ASSIGN : s_14_2 222 # ASSIGN : s_14_3 1157 # ASSIGN : s_14_4 442 # ASSIGN : s_14_5 659 # ASSIGN : s_14_6 971 # ASSIGN : s_14_7 1013 # ASSIGN : s_14_8 161 # ASSIGN : s_14_9 36 # ASSIGN : s_14_10 1145 # ASSIGN : s_14_11 51 # ASSIGN : s_14_12 76 # ASSIGN : s_14_13 507 # ASSIGN : s_14_14 1011 # ASSIGN : s_14_15 579 # ASSIGN : s_14_16 877 # ASSIGN : s_14_17 884 # ASSIGN : s_14_18 315 # ASSIGN : s_14_19 337 # ASSIGN : s_15_0 761 # ASSIGN : s_15_1 1197 # ASSIGN : s_15_2 887 # ASSIGN : s_15_3 668 # ASSIGN : s_15_4 1233 # ASSIGN : s_15_5 587 # ASSIGN : s_15_6 716 # ASSIGN : s_15_7 1144 # ASSIGN : s_15_8 1079 # ASSIGN : s_15_9 557 # ASSIGN : s_15_10 455 # ASSIGN : s_15_11 768 # ASSIGN : s_15_12 25 # ASSIGN : s_15_13 407 # ASSIGN : s_15_14 97 # ASSIGN : s_15_15 339 # ASSIGN : s_15_16 849 # ASSIGN : s_15_17 972 # ASSIGN : s_15_18 1003 # ASSIGN : s_15_19 243 # ASSIGN : s_16_0 409 # ASSIGN : s_16_1 1106 # ASSIGN : s_16_2 670 # ASSIGN : s_16_3 630 # ASSIGN : s_16_4 1238 # ASSIGN : s_16_5 884 # ASSIGN : s_16_6 773 # ASSIGN : s_16_7 5 # ASSIGN : s_16_8 55 # ASSIGN : s_16_9 1233 # ASSIGN : s_16_10 1113 # ASSIGN : s_16_11 128 # ASSIGN : s_16_12 511 # ASSIGN : s_16_13 312 # ASSIGN : s_16_14 259 # ASSIGN : s_16_15 1142 # ASSIGN : s_16_16 733 # ASSIGN : s_16_17 1021 # ASSIGN : s_16_18 924 # ASSIGN : s_16_19 192 # ASSIGN : s_17_0 599 # ASSIGN : s_17_1 927 # ASSIGN : s_17_2 1023 # ASSIGN : s_17_3 1129 # ASSIGN : s_17_4 1204 # ASSIGN : s_17_5 1155 # ASSIGN : s_17_6 1042 # ASSIGN : s_17_7 756 # ASSIGN : s_17_8 1244 # ASSIGN : s_17_9 858 # ASSIGN : s_17_10 774 # ASSIGN : s_17_11 59 # ASSIGN : s_17_12 251 # ASSIGN : s_17_13 184 # ASSIGN : s_17_14 314 # ASSIGN : s_17_15 357 # ASSIGN : s_17_16 671 # ASSIGN : s_17_17 146 # ASSIGN : s_17_18 545 # ASSIGN : s_17_19 456 # ASSIGN : s_18_0 976 # ASSIGN : s_18_1 828 # ASSIGN : s_18_2 127 # ASSIGN : s_18_3 241 # ASSIGN : s_18_4 1140 # ASSIGN : s_18_5 187 # ASSIGN : s_18_6 1200 # ASSIGN : s_18_7 473 # ASSIGN : s_18_8 761 # ASSIGN : s_18_9 1054 # ASSIGN : s_18_10 13 # ASSIGN : s_18_11 917 # ASSIGN : s_18_12 684 # ASSIGN : s_18_13 433 # ASSIGN : s_18_14 345 # ASSIGN : s_18_15 1037 # ASSIGN : s_18_16 221 # ASSIGN : s_18_17 49 # ASSIGN : s_18_18 570 # ASSIGN : s_18_19 588 # ASSIGN : s_19_0 879 # ASSIGN : s_19_1 602 # ASSIGN : s_19_2 1117 # ASSIGN : s_19_3 741 # ASSIGN : s_19_4 236 # ASSIGN : s_19_5 967 # ASSIGN : s_19_6 79 # ASSIGN : s_19_7 1097 # ASSIGN : s_19_8 666 # ASSIGN : s_19_9 766 # ASSIGN : s_19_10 26 # ASSIGN : s_19_11 255 # ASSIGN : s_19_12 12 # ASSIGN : s_19_13 1055 # ASSIGN : s_19_14 457 # ASSIGN : s_19_15 1203 # ASSIGN : s_19_16 91 # ASSIGN : s_19_17 192 # ASSIGN : s_19_18 640 # ASSIGN : s_19_19 531 SHOW_RESULT 1246 END : 1246 (6 seconds) [Mon Jun 19 15:57:24 2006] SHOW_RESULT 1246 CPU : 5.86999999999994 = 5.81999999999994 + 0.0499999999999998 + 0 + 0 # BOUND : makespan 1241 1246 MODIFY_CNF 1243 BEGIN : [Mon Jun 19 15:57:25 2006] MODIFY_CNF 1243 END : 707677454 bytes (0 seconds) [Mon Jun 19 15:57:25 2006] MODIFY_CNF 1243 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1243 BEGIN : [Mon Jun 19 15:57:25 2006] CMD : minisat /tmp/csp2sat894.cnf /tmp/csp2sat894.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 19156553 56726222 | 6385517 0 0 nan | 0.000 % | | 100 | 19156553 56726222 | 7024068 100 2747 27.5 | 36.141 % | | 251 | 19156553 56726222 | 7726475 251 7017 28.0 | 36.141 % | | 476 | 19156553 56726222 | 8499123 476 11909 25.0 | 36.141 % | ============================================================================== restarts : 4 conflicts : 661 (3 /sec) decisions : 8319 (40 /sec) propagations : 5465204 (25977 /sec) conflict literals : 15206 (6.81 % deleted) Memory used : 1152.56 MB CPU time : 210.39 s SATISFIABLE VERIFY_CNF 1243 END : (214 seconds) [Mon Jun 19 16:00:59 2006] VERIFY_CNF 1243 CPU : 214.38 = 0 + 0.00999999999999979 + 210.78 + 3.59 # RESULT : makespan 1243 SATISFIABLE SHOW_RESULT 1243 BEGIN : [Mon Jun 19 16:00:59 2006] # ASSIGN : makespan 1243 # ASSIGN : s_0_0 589 # ASSIGN : s_0_1 538 # ASSIGN : s_0_2 1140 # ASSIGN : s_0_3 380 # ASSIGN : s_0_4 96 # ASSIGN : s_0_5 515 # ASSIGN : s_0_6 221 # ASSIGN : s_0_7 1158 # ASSIGN : s_0_8 661 # ASSIGN : s_0_9 798 # ASSIGN : s_0_10 111 # ASSIGN : s_0_11 1080 # ASSIGN : s_0_12 4 # ASSIGN : s_0_13 352 # ASSIGN : s_0_14 343 # ASSIGN : s_0_15 849 # ASSIGN : s_0_16 708 # ASSIGN : s_0_17 817 # ASSIGN : s_0_18 821 # ASSIGN : s_0_19 901 # ASSIGN : s_1_0 776 # ASSIGN : s_1_1 500 # ASSIGN : s_1_2 1057 # ASSIGN : s_1_3 1134 # ASSIGN : s_1_4 5 # ASSIGN : s_1_5 684 # ASSIGN : s_1_6 96 # ASSIGN : s_1_7 568 # ASSIGN : s_1_8 846 # ASSIGN : s_1_9 216 # ASSIGN : s_1_10 974 # ASSIGN : s_1_11 1228 # ASSIGN : s_1_12 124 # ASSIGN : s_1_13 399 # ASSIGN : s_1_14 527 # ASSIGN : s_1_15 898 # ASSIGN : s_1_16 328 # ASSIGN : s_1_17 275 # ASSIGN : s_1_18 664 # ASSIGN : s_1_19 395 # ASSIGN : s_2_0 3 # ASSIGN : s_2_1 45 # ASSIGN : s_2_2 896 # ASSIGN : s_2_3 80 # ASSIGN : s_2_4 552 # ASSIGN : s_2_5 101 # ASSIGN : s_2_6 454 # ASSIGN : s_2_7 1083 # ASSIGN : s_2_8 131 # ASSIGN : s_2_9 1216 # ASSIGN : s_2_10 619 # ASSIGN : s_2_11 1007 # ASSIGN : s_2_12 264 # ASSIGN : s_2_13 1186 # ASSIGN : s_2_14 1168 # ASSIGN : s_2_15 943 # ASSIGN : s_2_16 310 # ASSIGN : s_2_17 341 # ASSIGN : s_2_18 808 # ASSIGN : s_2_19 348 # ASSIGN : s_3_0 1210 # ASSIGN : s_3_1 1055 # ASSIGN : s_3_2 854 # ASSIGN : s_3_3 478 # ASSIGN : s_3_4 1122 # ASSIGN : s_3_5 776 # ASSIGN : s_3_6 129 # ASSIGN : s_3_7 91 # ASSIGN : s_3_8 0 # ASSIGN : s_3_9 830 # ASSIGN : s_3_10 209 # ASSIGN : s_3_11 565 # ASSIGN : s_3_12 965 # ASSIGN : s_3_13 704 # ASSIGN : s_3_14 81 # ASSIGN : s_3_15 381 # ASSIGN : s_3_16 882 # ASSIGN : s_3_17 9 # ASSIGN : s_3_18 285 # ASSIGN : s_3_19 612 # ASSIGN : s_4_0 1075 # ASSIGN : s_4_1 868 # ASSIGN : s_4_2 685 # ASSIGN : s_4_3 293 # ASSIGN : s_4_4 145 # ASSIGN : s_4_5 153 # ASSIGN : s_4_6 0 # ASSIGN : s_4_7 366 # ASSIGN : s_4_8 1122 # ASSIGN : s_4_9 29 # ASSIGN : s_4_10 508 # ASSIGN : s_4_11 615 # ASSIGN : s_4_12 484 # ASSIGN : s_4_13 95 # ASSIGN : s_4_14 195 # ASSIGN : s_4_15 1007 # ASSIGN : s_4_16 37 # ASSIGN : s_4_17 1029 # ASSIGN : s_4_18 683 # ASSIGN : s_4_19 762 # ASSIGN : s_5_0 448 # ASSIGN : s_5_1 255 # ASSIGN : s_5_2 409 # ASSIGN : s_5_3 575 # ASSIGN : s_5_4 345 # ASSIGN : s_5_5 831 # ASSIGN : s_5_6 613 # ASSIGN : s_5_7 1 # ASSIGN : s_5_8 272 # ASSIGN : s_5_9 908 # ASSIGN : s_5_10 289 # ASSIGN : s_5_11 75 # ASSIGN : s_5_12 470 # ASSIGN : s_5_13 1085 # ASSIGN : s_5_14 630 # ASSIGN : s_5_15 749 # ASSIGN : s_5_16 1215 # ASSIGN : s_5_17 1172 # ASSIGN : s_5_18 164 # ASSIGN : s_5_19 1017 # ASSIGN : s_6_0 357 # ASSIGN : s_6_1 223 # ASSIGN : s_6_2 343 # ASSIGN : s_6_3 115 # ASSIGN : s_6_4 703 # ASSIGN : s_6_5 1 # ASSIGN : s_6_6 1142 # ASSIGN : s_6_7 942 # ASSIGN : s_6_8 417 # ASSIGN : s_6_9 673 # ASSIGN : s_6_10 22 # ASSIGN : s_6_11 185 # ASSIGN : s_6_12 852 # ASSIGN : s_6_13 301 # ASSIGN : s_6_14 1179 # ASSIGN : s_6_15 576 # ASSIGN : s_6_16 1242 # ASSIGN : s_6_17 504 # ASSIGN : s_6_18 1040 # ASSIGN : s_6_19 267 # ASSIGN : s_7_0 988 # ASSIGN : s_7_1 94 # ASSIGN : s_7_2 218 # ASSIGN : s_7_3 1085 # ASSIGN : s_7_4 461 # ASSIGN : s_7_5 377 # ASSIGN : s_7_6 632 # ASSIGN : s_7_7 78 # ASSIGN : s_7_8 88 # ASSIGN : s_7_9 169 # ASSIGN : s_7_10 1153 # ASSIGN : s_7_11 760 # ASSIGN : s_7_12 311 # ASSIGN : s_7_13 1230 # ASSIGN : s_7_14 835 # ASSIGN : s_7_15 722 # ASSIGN : s_7_16 1132 # ASSIGN : s_7_17 90 # ASSIGN : s_7_18 946 # ASSIGN : s_7_19 594 # ASSIGN : s_8_0 302 # ASSIGN : s_8_1 385 # ASSIGN : s_8_2 359 # ASSIGN : s_8_3 601 # ASSIGN : s_8_4 931 # ASSIGN : s_8_5 75 # ASSIGN : s_8_6 546 # ASSIGN : s_8_7 463 # ASSIGN : s_8_8 1214 # ASSIGN : s_8_9 1162 # ASSIGN : s_8_10 837 # ASSIGN : s_8_11 24 # ASSIGN : s_8_12 1155 # ASSIGN : s_8_13 243 # ASSIGN : s_8_14 799 # ASSIGN : s_8_15 104 # ASSIGN : s_8_16 1034 # ASSIGN : s_8_17 1206 # ASSIGN : s_8_18 692 # ASSIGN : s_8_19 517 # ASSIGN : s_9_0 553 # ASSIGN : s_9_1 688 # ASSIGN : s_9_2 4 # ASSIGN : s_9_3 0 # ASSIGN : s_9_4 419 # ASSIGN : s_9_5 461 # ASSIGN : s_9_6 1073 # ASSIGN : s_9_7 1011 # ASSIGN : s_9_8 384 # ASSIGN : s_9_9 1191 # ASSIGN : s_9_10 352 # ASSIGN : s_9_11 517 # ASSIGN : s_9_12 591 # ASSIGN : s_9_13 144 # ASSIGN : s_9_14 918 # ASSIGN : s_9_15 227 # ASSIGN : s_9_16 795 # ASSIGN : s_9_17 634 # ASSIGN : s_9_18 1161 # ASSIGN : s_9_19 56 # ASSIGN : s_10_0 97 # ASSIGN : s_10_1 1167 # ASSIGN : s_10_2 585 # ASSIGN : s_10_3 1232 # ASSIGN : s_10_4 786 # ASSIGN : s_10_5 194 # ASSIGN : s_10_6 55 # ASSIGN : s_10_7 644 # ASSIGN : s_10_8 733 # ASSIGN : s_10_9 869 # ASSIGN : s_10_10 1043 # ASSIGN : s_10_11 941 # ASSIGN : s_10_12 493 # ASSIGN : s_10_13 902 # ASSIGN : s_10_14 22 # ASSIGN : s_10_15 303 # ASSIGN : s_10_16 223 # ASSIGN : s_10_17 406 # ASSIGN : s_10_18 1113 # ASSIGN : s_10_19 993 # ASSIGN : s_11_0 250 # ASSIGN : s_11_1 159 # ASSIGN : s_11_2 966 # ASSIGN : s_11_3 28 # ASSIGN : s_11_4 611 # ASSIGN : s_11_5 1231 # ASSIGN : s_11_6 1212 # ASSIGN : s_11_7 1070 # ASSIGN : s_11_8 502 # ASSIGN : s_11_9 1090 # ASSIGN : s_11_10 825 # ASSIGN : s_11_11 410 # ASSIGN : s_11_12 942 # ASSIGN : s_11_13 894 # ASSIGN : s_11_14 95 # ASSIGN : s_11_15 563 # ASSIGN : s_11_16 771 # ASSIGN : s_11_17 391 # ASSIGN : s_11_18 63 # ASSIGN : s_11_19 299 # ASSIGN : s_12_0 1127 # ASSIGN : s_12_1 58 # ASSIGN : s_12_2 642 # ASSIGN : s_12_3 796 # ASSIGN : s_12_4 1102 # ASSIGN : s_12_5 990 # ASSIGN : s_12_6 934 # ASSIGN : s_12_7 319 # ASSIGN : s_12_8 382 # ASSIGN : s_12_9 410 # ASSIGN : s_12_10 594 # ASSIGN : s_12_11 1129 # ASSIGN : s_12_12 836 # ASSIGN : s_12_13 493 # ASSIGN : s_12_14 10 # ASSIGN : s_12_15 663 # ASSIGN : s_12_16 127 # ASSIGN : s_12_17 732 # ASSIGN : s_12_18 843 # ASSIGN : s_12_19 15 # ASSIGN : s_13_0 1162 # ASSIGN : s_13_1 951 # ASSIGN : s_13_2 66 # ASSIGN : s_13_3 1057 # ASSIGN : s_13_4 866 # ASSIGN : s_13_5 525 # ASSIGN : s_13_6 859 # ASSIGN : s_13_7 211 # ASSIGN : s_13_8 288 # ASSIGN : s_13_9 803 # ASSIGN : s_13_10 680 # ASSIGN : s_13_11 164 # ASSIGN : s_13_12 1063 # ASSIGN : s_13_13 606 # ASSIGN : s_13_14 360 # ASSIGN : s_13_15 1035 # ASSIGN : s_13_16 464 # ASSIGN : s_13_17 787 # ASSIGN : s_13_18 30 # ASSIGN : s_13_19 1172 # ASSIGN : s_14_0 604 # ASSIGN : s_14_1 784 # ASSIGN : s_14_2 138 # ASSIGN : s_14_3 695 # ASSIGN : s_14_4 280 # ASSIGN : s_14_5 1072 # ASSIGN : s_14_6 1032 # ASSIGN : s_14_7 127 # ASSIGN : s_14_8 965 # ASSIGN : s_14_9 594 # ASSIGN : s_14_10 953 # ASSIGN : s_14_11 487 # ASSIGN : s_14_12 1156 # ASSIGN : s_14_13 36 # ASSIGN : s_14_14 1241 # ASSIGN : s_14_15 495 # ASSIGN : s_14_16 1025 # ASSIGN : s_14_17 866 # ASSIGN : s_14_18 8 # ASSIGN : s_14_19 385 # ASSIGN : s_15_0 1175 # ASSIGN : s_15_1 121 # ASSIGN : s_15_2 457 # ASSIGN : s_15_3 197 # ASSIGN : s_15_4 140 # ASSIGN : s_15_5 607 # ASSIGN : s_15_6 319 # ASSIGN : s_15_7 542 # ASSIGN : s_15_8 896 # ASSIGN : s_15_9 288 # ASSIGN : s_15_10 762 # ASSIGN : s_15_11 679 # ASSIGN : s_15_12 392 # ASSIGN : s_15_13 10 # ASSIGN : s_15_14 992 # ASSIGN : s_15_15 831 # ASSIGN : s_15_16 579 # ASSIGN : s_15_17 961 # ASSIGN : s_15_18 1182 # ASSIGN : s_15_19 1078 # ASSIGN : s_16_0 874 # ASSIGN : s_16_1 531 # ASSIGN : s_16_2 994 # ASSIGN : s_16_3 245 # ASSIGN : s_16_4 1079 # ASSIGN : s_16_5 957 # ASSIGN : s_16_6 364 # ASSIGN : s_16_7 161 # ASSIGN : s_16_8 9 # ASSIGN : s_16_9 1186 # ASSIGN : s_16_10 479 # ASSIGN : s_16_11 283 # ASSIGN : s_16_12 645 # ASSIGN : s_16_13 779 # ASSIGN : s_16_14 726 # ASSIGN : s_16_15 1204 # ASSIGN : s_16_16 622 # ASSIGN : s_16_17 1087 # ASSIGN : s_16_18 82 # ASSIGN : s_16_19 543 # ASSIGN : s_17_0 467 # ASSIGN : s_17_1 289 # ASSIGN : s_17_2 1226 # ASSIGN : s_17_3 2 # ASSIGN : s_17_4 185 # ASSIGN : s_17_5 908 # ASSIGN : s_17_6 773 # ASSIGN : s_17_7 143 # ASSIGN : s_17_8 963 # ASSIGN : s_17_9 985 # ASSIGN : s_17_10 387 # ASSIGN : s_17_11 214 # ASSIGN : s_17_12 82 # ASSIGN : s_17_13 539 # ASSIGN : s_17_14 50 # ASSIGN : s_17_15 1054 # ASSIGN : s_17_16 1153 # ASSIGN : s_17_17 694 # ASSIGN : s_17_18 748 # ASSIGN : s_17_19 826 # ASSIGN : s_18_0 676 # ASSIGN : s_18_1 587 # ASSIGN : s_18_2 1152 # ASSIGN : s_18_3 911 # ASSIGN : s_18_4 1004 # ASSIGN : s_18_5 1196 # ASSIGN : s_18_6 9 # ASSIGN : s_18_7 814 # ASSIGN : s_18_8 200 # ASSIGN : s_18_9 501 # ASSIGN : s_18_10 1230 # ASSIGN : s_18_11 346 # ASSIGN : s_18_12 737 # ASSIGN : s_18_13 55 # ASSIGN : s_18_14 1064 # ASSIGN : s_18_15 183 # ASSIGN : s_18_16 311 # ASSIGN : s_18_17 105 # ASSIGN : s_18_18 267 # ASSIGN : s_18_19 405 # ASSIGN : s_19_0 9 # ASSIGN : s_19_1 138 # ASSIGN : s_19_2 768 # ASSIGN : s_19_3 172 # ASSIGN : s_19_4 1212 # ASSIGN : s_19_5 233 # ASSIGN : s_19_6 1231 # ASSIGN : s_19_7 298 # ASSIGN : s_19_8 1039 # ASSIGN : s_19_9 318 # ASSIGN : s_19_10 1100 # ASSIGN : s_19_11 854 # ASSIGN : s_19_12 443 # ASSIGN : s_19_13 942 # ASSIGN : s_19_14 456 # ASSIGN : s_19_15 1161 # ASSIGN : s_19_16 982 # ASSIGN : s_19_17 590 # ASSIGN : s_19_18 638 # ASSIGN : s_19_19 705 SHOW_RESULT 1243 END : 1243 (5 seconds) [Mon Jun 19 16:01:04 2006] SHOW_RESULT 1243 CPU : 5.36000000000016 = 5.32000000000016 + 0.04 + 0 + 0 # BOUND : makespan 1241 1243 MODIFY_CNF 1242 BEGIN : [Mon Jun 19 16:01:05 2006] MODIFY_CNF 1242 END : 707677454 bytes (0 seconds) [Mon Jun 19 16:01:05 2006] MODIFY_CNF 1242 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1242 BEGIN : [Mon Jun 19 16:01:05 2006] CMD : minisat /tmp/csp2sat894.cnf /tmp/csp2sat894.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 19141353 56680622 | 6380451 0 0 nan | 0.000 % | | 100 | 19141353 56680622 | 7018496 100 4422 44.2 | 36.193 % | | 250 | 19141353 56680622 | 7720345 250 6760 27.0 | 36.193 % | | 475 | 19141353 56680622 | 8492380 475 8789 18.5 | 36.193 % | ============================================================================== restarts : 4 conflicts : 586 (3 /sec) decisions : 6219 (29 /sec) propagations : 4016057 (18544 /sec) conflict literals : 10567 (9.30 % deleted) Memory used : 1146.33 MB CPU time : 216.57 s SATISFIABLE VERIFY_CNF 1242 END : (221 seconds) [Mon Jun 19 16:04:46 2006] VERIFY_CNF 1242 CPU : 220.79 = 0 + 0.00999999999999979 + 216.99 + 3.79 # RESULT : makespan 1242 SATISFIABLE SHOW_RESULT 1242 BEGIN : [Mon Jun 19 16:04:46 2006] # ASSIGN : makespan 1242 # ASSIGN : s_0_0 379 # ASSIGN : s_0_1 823 # ASSIGN : s_0_2 204 # ASSIGN : s_0_3 1033 # ASSIGN : s_0_4 575 # ASSIGN : s_0_5 813 # ASSIGN : s_0_6 97 # ASSIGN : s_0_7 682 # ASSIGN : s_0_8 1195 # ASSIGN : s_0_9 0 # ASSIGN : s_0_10 445 # ASSIGN : s_0_11 48 # ASSIGN : s_0_12 301 # ASSIGN : s_0_13 11 # ASSIGN : s_0_14 39 # ASSIGN : s_0_15 396 # ASSIGN : s_0_16 238 # ASSIGN : s_0_17 562 # ASSIGN : s_0_18 966 # ASSIGN : s_0_19 590 # ASSIGN : s_1_0 1103 # ASSIGN : s_1_1 289 # ASSIGN : s_1_2 843 # ASSIGN : s_1_3 673 # ASSIGN : s_1_4 30 # ASSIGN : s_1_5 944 # ASSIGN : s_1_6 0 # ASSIGN : s_1_7 767 # ASSIGN : s_1_8 582 # ASSIGN : s_1_9 519 # ASSIGN : s_1_10 1173 # ASSIGN : s_1_11 270 # ASSIGN : s_1_12 427 # ASSIGN : s_1_13 333 # ASSIGN : s_1_14 632 # ASSIGN : s_1_15 193 # ASSIGN : s_1_16 1036 # ASSIGN : s_1_17 121 # ASSIGN : s_1_18 174 # ASSIGN : s_1_19 578 # ASSIGN : s_2_0 373 # ASSIGN : s_2_1 6 # ASSIGN : s_2_2 216 # ASSIGN : s_2_3 98 # ASSIGN : s_2_4 953 # ASSIGN : s_2_5 49 # ASSIGN : s_2_6 654 # ASSIGN : s_2_7 853 # ASSIGN : s_2_8 293 # ASSIGN : s_2_9 492 # ASSIGN : s_2_10 1112 # ASSIGN : s_2_11 138 # ASSIGN : s_2_12 608 # ASSIGN : s_2_13 263 # ASSIGN : s_2_14 933 # ASSIGN : s_2_15 1020 # ASSIGN : s_2_16 397 # ASSIGN : s_2_17 398 # ASSIGN : s_2_18 1099 # ASSIGN : s_2_19 541 # ASSIGN : s_3_0 294 # ASSIGN : s_3_1 381 # ASSIGN : s_3_2 1010 # ASSIGN : s_3_3 808 # ASSIGN : s_3_4 637 # ASSIGN : s_3_5 327 # ASSIGN : s_3_6 906 # ASSIGN : s_3_7 1110 # ASSIGN : s_3_8 195 # ASSIGN : s_3_9 986 # ASSIGN : s_3_10 47 # ASSIGN : s_3_11 0 # ASSIGN : s_3_12 204 # ASSIGN : s_3_13 123 # ASSIGN : s_3_14 896 # ASSIGN : s_3_15 540 # ASSIGN : s_3_16 725 # ASSIGN : s_3_17 1038 # ASSIGN : s_3_18 1146 # ASSIGN : s_3_19 448 # ASSIGN : s_4_0 789 # ASSIGN : s_4_1 1159 # ASSIGN : s_4_2 484 # ASSIGN : s_4_3 570 # ASSIGN : s_4_4 2 # ASSIGN : s_4_5 259 # ASSIGN : s_4_6 561 # ASSIGN : s_4_7 152 # ASSIGN : s_4_8 836 # ASSIGN : s_4_9 251 # ASSIGN : s_4_10 643 # ASSIGN : s_4_11 928 # ASSIGN : s_4_12 16 # ASSIGN : s_4_13 1106 # ASSIGN : s_4_14 54 # ASSIGN : s_4_15 1084 # ASSIGN : s_4_16 326 # ASSIGN : s_4_17 992 # ASSIGN : s_4_18 300 # ASSIGN : s_4_19 384 # ASSIGN : s_5_0 1025 # ASSIGN : s_5_1 1121 # ASSIGN : s_5_2 606 # ASSIGN : s_5_3 119 # ASSIGN : s_5_4 510 # ASSIGN : s_5_5 736 # ASSIGN : s_5_6 1138 # ASSIGN : s_5_7 249 # ASSIGN : s_5_8 817 # ASSIGN : s_5_9 1044 # ASSIGN : s_5_10 958 # ASSIGN : s_5_11 385 # ASSIGN : s_5_12 1 # ASSIGN : s_5_13 1155 # ASSIGN : s_5_14 153 # ASSIGN : s_5_15 833 # ASSIGN : s_5_16 574 # ASSIGN : s_5_17 917 # ASSIGN : s_5_18 645 # ASSIGN : s_5_19 323 # ASSIGN : s_6_0 468 # ASSIGN : s_6_1 257 # ASSIGN : s_6_2 1 # ASSIGN : s_6_3 41 # ASSIGN : s_6_4 1012 # ASSIGN : s_6_5 20 # ASSIGN : s_6_6 746 # ASSIGN : s_6_7 605 # ASSIGN : s_6_8 1095 # ASSIGN : s_6_9 221 # ASSIGN : s_6_10 356 # ASSIGN : s_6_11 109 # ASSIGN : s_6_12 783 # ASSIGN : s_6_13 873 # ASSIGN : s_6_14 1180 # ASSIGN : s_6_15 915 # ASSIGN : s_6_16 601 # ASSIGN : s_6_17 674 # ASSIGN : s_6_18 528 # ASSIGN : s_6_19 291 # ASSIGN : s_7_0 1 # ASSIGN : s_7_1 872 # ASSIGN : s_7_2 360 # ASSIGN : s_7_3 1131 # ASSIGN : s_7_4 744 # ASSIGN : s_7_5 518 # ASSIGN : s_7_6 195 # ASSIGN : s_7_7 508 # ASSIGN : s_7_8 1029 # ASSIGN : s_7_9 899 # ASSIGN : s_7_10 1035 # ASSIGN : s_7_11 285 # ASSIGN : s_7_12 678 # ASSIGN : s_7_13 859 # ASSIGN : s_7_14 946 # ASSIGN : s_7_15 1196 # ASSIGN : s_7_16 602 # ASSIGN : s_7_17 670 # ASSIGN : s_7_18 453 # ASSIGN : s_7_19 177 # ASSIGN : s_8_0 862 # ASSIGN : s_8_1 19 # ASSIGN : s_8_2 178 # ASSIGN : s_8_3 370 # ASSIGN : s_8_4 1169 # ASSIGN : s_8_5 1143 # ASSIGN : s_8_6 599 # ASSIGN : s_8_7 97 # ASSIGN : s_8_8 1031 # ASSIGN : s_8_9 747 # ASSIGN : s_8_10 208 # ASSIGN : s_8_11 546 # ASSIGN : s_8_12 15 # ASSIGN : s_8_13 801 # ASSIGN : s_8_14 1107 # ASSIGN : s_8_15 461 # ASSIGN : s_8_16 931 # ASSIGN : s_8_17 662 # ASSIGN : s_8_18 302 # ASSIGN : s_8_19 151 # ASSIGN : s_9_0 682 # ASSIGN : s_9_1 97 # ASSIGN : s_9_2 268 # ASSIGN : s_9_3 26 # ASSIGN : s_9_4 1108 # ASSIGN : s_9_5 433 # ASSIGN : s_9_6 28 # ASSIGN : s_9_7 975 # ASSIGN : s_9_8 1060 # ASSIGN : s_9_9 583 # ASSIGN : s_9_10 926 # ASSIGN : s_9_11 232 # ASSIGN : s_9_12 877 # ASSIGN : s_9_13 718 # ASSIGN : s_9_14 803 # ASSIGN : s_9_15 320 # ASSIGN : s_9_16 487 # ASSIGN : s_9_17 608 # ASSIGN : s_9_18 200 # ASSIGN : s_9_19 1154 # ASSIGN : s_10_0 564 # ASSIGN : s_10_1 316 # ASSIGN : s_10_2 786 # ASSIGN : s_10_3 30 # ASSIGN : s_10_4 158 # ASSIGN : s_10_5 700 # ASSIGN : s_10_6 1201 # ASSIGN : s_10_7 386 # ASSIGN : s_10_8 931 # ASSIGN : s_10_9 77 # ASSIGN : s_10_10 729 # ASSIGN : s_10_11 1100 # ASSIGN : s_10_12 1008 # ASSIGN : s_10_13 661 # ASSIGN : s_10_14 1152 # ASSIGN : s_10_15 238 # ASSIGN : s_10_16 851 # ASSIGN : s_10_17 475 # ASSIGN : s_10_18 110 # ASSIGN : s_10_19 984 # ASSIGN : s_11_0 1053 # ASSIGN : s_11_1 193 # ASSIGN : s_11_2 578 # ASSIGN : s_11_3 145 # ASSIGN : s_11_4 266 # ASSIGN : s_11_5 79 # ASSIGN : s_11_6 498 # ASSIGN : s_11_7 1147 # ASSIGN : s_11_8 517 # ASSIGN : s_11_9 5 # ASSIGN : s_11_10 631 # ASSIGN : s_11_11 1165 # ASSIGN : s_11_12 1102 # ASSIGN : s_11_13 653 # ASSIGN : s_11_14 692 # ASSIGN : s_11_15 180 # ASSIGN : s_11_16 436 # ASSIGN : s_11_17 460 # ASSIGN : s_11_18 91 # ASSIGN : s_11_19 756 # ASSIGN : s_12_0 466 # ASSIGN : s_12_1 569 # ASSIGN : s_12_2 95 # ASSIGN : s_12_3 478 # ASSIGN : s_12_4 617 # ASSIGN : s_12_5 177 # ASSIGN : s_12_6 345 # ASSIGN : s_12_7 928 # ASSIGN : s_12_8 116 # ASSIGN : s_12_9 262 # ASSIGN : s_12_10 895 # ASSIGN : s_12_11 765 # ASSIGN : s_12_12 920 # ASSIGN : s_12_13 1060 # ASSIGN : s_12_14 687 # ASSIGN : s_12_15 118 # ASSIGN : s_12_16 1146 # ASSIGN : s_12_17 405 # ASSIGN : s_12_18 0 # ASSIGN : s_12_19 715 # ASSIGN : s_13_0 348 # ASSIGN : s_13_1 687 # ASSIGN : s_13_2 1053 # ASSIGN : s_13_3 1217 # ASSIGN : s_13_4 358 # ASSIGN : s_13_5 606 # ASSIGN : s_13_6 1046 # ASSIGN : s_13_7 528 # ASSIGN : s_13_8 423 # ASSIGN : s_13_9 771 # ASSIGN : s_13_10 798 # ASSIGN : s_13_11 211 # ASSIGN : s_13_12 1125 # ASSIGN : s_13_13 967 # ASSIGN : s_13_14 252 # ASSIGN : s_13_15 1223 # ASSIGN : s_13_16 150 # ASSIGN : s_13_17 951 # ASSIGN : s_13_18 495 # ASSIGN : s_13_19 880 # ASSIGN : s_14_0 947 # ASSIGN : s_14_1 605 # ASSIGN : s_14_2 15 # ASSIGN : s_14_3 281 # ASSIGN : s_14_4 445 # ASSIGN : s_14_5 860 # ASSIGN : s_14_6 1088 # ASSIGN : s_14_7 1211 # ASSIGN : s_14_8 135 # ASSIGN : s_14_9 1227 # ASSIGN : s_14_10 196 # ASSIGN : s_14_11 1019 # ASSIGN : s_14_12 520 # ASSIGN : s_14_13 1041 # ASSIGN : s_14_14 944 # ASSIGN : s_14_15 1128 # ASSIGN : s_14_16 1029 # ASSIGN : s_14_17 773 # ASSIGN : s_14_18 423 # ASSIGN : s_14_19 705 # ASSIGN : s_15_0 917 # ASSIGN : s_15_1 924 # ASSIGN : s_15_2 701 # ASSIGN : s_15_3 518 # ASSIGN : s_15_4 907 # ASSIGN : s_15_5 1170 # ASSIGN : s_15_6 861 # ASSIGN : s_15_7 1034 # ASSIGN : s_15_8 228 # ASSIGN : s_15_9 191 # ASSIGN : s_15_10 128 # ASSIGN : s_15_11 597 # ASSIGN : s_15_12 25 # ASSIGN : s_15_13 941 # ASSIGN : s_15_14 419 # ASSIGN : s_15_15 1002 # ASSIGN : s_15_16 823 # ASSIGN : s_15_17 566 # ASSIGN : s_15_18 358 # ASSIGN : s_15_19 1060 # ASSIGN : s_16_0 88 # ASSIGN : s_16_1 1114 # ASSIGN : s_16_2 1135 # ASSIGN : s_16_3 183 # ASSIGN : s_16_4 10 # ASSIGN : s_16_5 827 # ASSIGN : s_16_6 401 # ASSIGN : s_16_7 1060 # ASSIGN : s_16_8 715 # ASSIGN : s_16_9 1237 # ASSIGN : s_16_10 18 # ASSIGN : s_16_11 864 # ASSIGN : s_16_12 927 # ASSIGN : s_16_13 558 # ASSIGN : s_16_14 491 # ASSIGN : s_16_15 788 # ASSIGN : s_16_16 685 # ASSIGN : s_16_17 313 # ASSIGN : s_16_18 221 # ASSIGN : s_16_19 1009 # ASSIGN : s_17_0 394 # ASSIGN : s_17_1 941 # ASSIGN : s_17_2 343 # ASSIGN : s_17_3 1178 # ASSIGN : s_17_4 912 # ASSIGN : s_17_5 1037 # ASSIGN : s_17_6 290 # ASSIGN : s_17_7 1160 # ASSIGN : s_17_8 1093 # ASSIGN : s_17_9 122 # ASSIGN : s_17_10 543 # ASSIGN : s_17_11 474 # ASSIGN : s_17_12 76 # ASSIGN : s_17_13 196 # ASSIGN : s_17_14 8 # ASSIGN : s_17_15 689 # ASSIGN : s_17_16 623 # ASSIGN : s_17_17 1204 # ASSIGN : s_17_18 1121 # ASSIGN : s_17_19 805 # ASSIGN : s_18_0 728 # ASSIGN : s_18_1 455 # ASSIGN : s_18_2 1198 # ASSIGN : s_18_3 895 # ASSIGN : s_18_4 835 # ASSIGN : s_18_5 1086 # ASSIGN : s_18_6 789 # ASSIGN : s_18_7 0 # ASSIGN : s_18_8 641 # ASSIGN : s_18_9 369 # ASSIGN : s_18_10 1014 # ASSIGN : s_18_11 1027 # ASSIGN : s_18_12 118 # ASSIGN : s_18_13 293 # ASSIGN : s_18_14 544 # ASSIGN : s_18_15 101 # ASSIGN : s_18_16 708 # ASSIGN : s_18_17 1120 # ASSIGN : s_18_18 988 # ASSIGN : s_18_19 195 # ASSIGN : s_19_0 171 # ASSIGN : s_19_1 899 # ASSIGN : s_19_2 920 # ASSIGN : s_19_3 648 # ASSIGN : s_19_4 1150 # ASSIGN : s_19_5 106 # ASSIGN : s_19_6 1189 # ASSIGN : s_19_7 1222 # ASSIGN : s_19_8 362 # ASSIGN : s_19_9 807 # ASSIGN : s_19_10 303 # ASSIGN : s_19_11 678 # ASSIGN : s_19_12 770 # ASSIGN : s_19_13 518 # ASSIGN : s_19_14 1032 # ASSIGN : s_19_15 58 # ASSIGN : s_19_16 1103 # ASSIGN : s_19_17 259 # ASSIGN : s_19_18 1006 # ASSIGN : s_19_19 1 SHOW_RESULT 1242 END : 1242 (5 seconds) [Mon Jun 19 16:04:51 2006] SHOW_RESULT 1242 CPU : 5.37999999999997 = 5.27999999999997 + 0.100000000000001 + 0 + 0 # BOUND : makespan 1241 1242 MODIFY_CNF 1241 BEGIN : [Mon Jun 19 16:04:51 2006] MODIFY_CNF 1241 END : 707677454 bytes (0 seconds) [Mon Jun 19 16:04:51 2006] MODIFY_CNF 1241 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1241 BEGIN : [Mon Jun 19 16:04:51 2006] CMD : minisat /tmp/csp2sat894.cnf /tmp/csp2sat894.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 19126154 56635022 | 6375384 0 0 nan | 0.000 % | | 101 | 19126154 56635022 | 7012922 101 2295 22.7 | 36.245 % | | 251 | 19126154 56635022 | 7714214 251 7612 30.3 | 36.245 % | | 476 | 19126154 56635022 | 8485636 476 11133 23.4 | 36.245 % | | 814 | 19126154 56635022 | 9334199 814 16954 20.8 | 36.245 % | ============================================================================== restarts : 5 conflicts : 994 (5 /sec) decisions : 8578 (40 /sec) propagations : 6092803 (28258 /sec) conflict literals : 26583 (5.69 % deleted) Memory used : 1151.91 MB CPU time : 215.61 s SATISFIABLE VERIFY_CNF 1241 END : (220 seconds) [Mon Jun 19 16:08:31 2006] VERIFY_CNF 1241 CPU : 219.5 = 0 + 0 + 215.97 + 3.53 # RESULT : makespan 1241 SATISFIABLE SHOW_RESULT 1241 BEGIN : [Mon Jun 19 16:08:31 2006] # ASSIGN : makespan 1241 # ASSIGN : s_0_0 902 # ASSIGN : s_0_1 943 # ASSIGN : s_0_2 53 # ASSIGN : s_0_3 1092 # ASSIGN : s_0_4 147 # ASSIGN : s_0_5 347 # ASSIGN : s_0_6 780 # ASSIGN : s_0_7 463 # ASSIGN : s_0_8 1 # ASSIGN : s_0_9 129 # ASSIGN : s_0_10 992 # ASSIGN : s_0_11 560 # ASSIGN : s_0_12 643 # ASSIGN : s_0_13 236 # ASSIGN : s_0_14 917 # ASSIGN : s_0_15 297 # ASSIGN : s_0_16 173 # ASSIGN : s_0_17 741 # ASSIGN : s_0_18 1219 # ASSIGN : s_0_19 371 # ASSIGN : s_1_0 917 # ASSIGN : s_1_1 821 # ASSIGN : s_1_2 1123 # ASSIGN : s_1_3 373 # ASSIGN : s_1_4 162 # ASSIGN : s_1_5 508 # ASSIGN : s_1_6 253 # ASSIGN : s_1_7 1045 # ASSIGN : s_1_8 987 # ASSIGN : s_1_9 48 # ASSIGN : s_1_10 848 # ASSIGN : s_1_11 2 # ASSIGN : s_1_12 281 # ASSIGN : s_1_13 727 # ASSIGN : s_1_14 467 # ASSIGN : s_1_15 107 # ASSIGN : s_1_16 653 # ASSIGN : s_1_17 600 # ASSIGN : s_1_18 1200 # ASSIGN : s_1_19 158 # ASSIGN : s_2_0 1235 # ASSIGN : s_2_1 1050 # ASSIGN : s_2_2 831 # ASSIGN : s_2_3 261 # ASSIGN : s_2_4 300 # ASSIGN : s_2_5 1132 # ASSIGN : s_2_6 878 # ASSIGN : s_2_7 970 # ASSIGN : s_2_8 1063 # ASSIGN : s_2_9 804 # ASSIGN : s_2_10 53 # ASSIGN : s_2_11 1162 # ASSIGN : s_2_12 442 # ASSIGN : s_2_13 359 # ASSIGN : s_2_14 716 # ASSIGN : s_2_15 652 # ASSIGN : s_2_16 625 # ASSIGN : s_2_17 593 # ASSIGN : s_2_18 14 # ASSIGN : s_2_19 121 # ASSIGN : s_3_0 842 # ASSIGN : s_3_1 652 # ASSIGN : s_3_2 10 # ASSIGN : s_3_3 755 # ASSIGN : s_3_4 1129 # ASSIGN : s_3_5 38 # ASSIGN : s_3_6 164 # ASSIGN : s_3_7 719 # ASSIGN : s_3_8 1037 # ASSIGN : s_3_9 1217 # ASSIGN : s_3_10 479 # ASSIGN : s_3_11 432 # ASSIGN : s_3_12 947 # ASSIGN : s_3_13 875 # ASSIGN : s_3_14 0 # ASSIGN : s_3_15 555 # ASSIGN : s_3_16 1046 # ASSIGN : s_3_17 92 # ASSIGN : s_3_18 336 # ASSIGN : s_3_19 244 # ASSIGN : s_4_0 10 # ASSIGN : s_4_1 494 # ASSIGN : s_4_2 577 # ASSIGN : s_4_3 966 # ASSIGN : s_4_4 453 # ASSIGN : s_4_5 154 # ASSIGN : s_4_6 1087 # ASSIGN : s_4_7 57 # ASSIGN : s_4_8 874 # ASSIGN : s_4_9 1209 # ASSIGN : s_4_10 204 # ASSIGN : s_4_11 368 # ASSIGN : s_4_12 433 # ASSIGN : s_4_13 825 # ASSIGN : s_4_14 727 # ASSIGN : s_4_15 346 # ASSIGN : s_4_16 1129 # ASSIGN : s_4_17 1039 # ASSIGN : s_4_18 1125 # ASSIGN : s_4_19 654 # ASSIGN : s_5_0 1016 # ASSIGN : s_5_1 1163 # ASSIGN : s_5_2 1202 # ASSIGN : s_5_3 502 # ASSIGN : s_5_4 703 # ASSIGN : s_5_5 261 # ASSIGN : s_5_6 147 # ASSIGN : s_5_7 548 # ASSIGN : s_5_8 1147 # ASSIGN : s_5_9 338 # ASSIGN : s_5_10 936 # ASSIGN : s_5_11 847 # ASSIGN : s_5_12 1133 # ASSIGN : s_5_13 415 # ASSIGN : s_5_14 164 # ASSIGN : s_5_15 1041 # ASSIGN : s_5_16 626 # ASSIGN : s_5_17 653 # ASSIGN : s_5_18 27 # ASSIGN : s_5_19 783 # ASSIGN : s_6_0 164 # ASSIGN : s_6_1 584 # ASSIGN : s_6_2 65 # ASSIGN : s_6_3 649 # ASSIGN : s_6_4 832 # ASSIGN : s_6_5 17 # ASSIGN : s_6_6 706 # ASSIGN : s_6_7 309 # ASSIGN : s_6_8 224 # ASSIGN : s_6_9 134 # ASSIGN : s_6_10 743 # ASSIGN : s_6_11 80 # ASSIGN : s_6_12 1037 # ASSIGN : s_6_13 995 # ASSIGN : s_6_14 926 # ASSIGN : s_6_15 382 # ASSIGN : s_6_16 616 # ASSIGN : s_6_17 512 # ASSIGN : s_6_18 1127 # ASSIGN : s_6_19 617 # ASSIGN : s_7_0 755 # ASSIGN : s_7_1 1023 # ASSIGN : s_7_2 291 # ASSIGN : s_7_3 1190 # ASSIGN : s_7_4 23 # ASSIGN : s_7_5 602 # ASSIGN : s_7_6 1096 # ASSIGN : s_7_7 281 # ASSIGN : s_7_8 1188 # ASSIGN : s_7_9 901 # ASSIGN : s_7_10 114 # ASSIGN : s_7_11 948 # ASSIGN : s_7_12 191 # ASSIGN : s_7_13 589 # ASSIGN : s_7_14 384 # ASSIGN : s_7_15 528 # ASSIGN : s_7_16 568 # ASSIGN : s_7_17 1237 # ASSIGN : s_7_18 1054 # ASSIGN : s_7_19 493 # ASSIGN : s_8_0 511 # ASSIGN : s_8_1 865 # ASSIGN : s_8_2 387 # ASSIGN : s_8_3 282 # ASSIGN : s_8_4 957 # ASSIGN : s_8_5 128 # ASSIGN : s_8_6 1186 # ASSIGN : s_8_7 227 # ASSIGN : s_8_8 836 # ASSIGN : s_8_9 443 # ASSIGN : s_8_10 1090 # ASSIGN : s_8_11 1039 # ASSIGN : s_8_12 386 # ASSIGN : s_8_13 602 # ASSIGN : s_8_14 566 # ASSIGN : s_8_15 28 # ASSIGN : s_8_16 720 # ASSIGN : s_8_17 944 # ASSIGN : s_8_18 664 # ASSIGN : s_8_19 467 # ASSIGN : s_9_0 470 # ASSIGN : s_9_1 95 # ASSIGN : s_9_2 236 # ASSIGN : s_9_3 963 # ASSIGN : s_9_4 915 # ASSIGN : s_9_5 861 # ASSIGN : s_9_6 288 # ASSIGN : s_9_7 778 # ASSIGN : s_9_8 191 # ASSIGN : s_9_9 753 # ASSIGN : s_9_10 1184 # ASSIGN : s_9_11 1126 # ASSIGN : s_9_12 600 # ASSIGN : s_9_13 506 # ASSIGN : s_9_14 1052 # ASSIGN : s_9_15 965 # ASSIGN : s_9_16 357 # ASSIGN : s_9_17 687 # ASSIGN : s_9_18 449 # ASSIGN : s_9_19 7 # ASSIGN : s_10_0 1042 # ASSIGN : s_10_1 429 # ASSIGN : s_10_2 179 # ASSIGN : s_10_3 952 # ASSIGN : s_10_4 529 # ASSIGN : s_10_5 832 # ASSIGN : s_10_6 357 # ASSIGN : s_10_7 1152 # ASSIGN : s_10_8 126 # ASSIGN : s_10_9 496 # ASSIGN : s_10_10 661 # ASSIGN : s_10_11 609 # ASSIGN : s_10_12 6 # ASSIGN : s_10_13 318 # ASSIGN : s_10_14 98 # ASSIGN : s_10_15 869 # ASSIGN : s_10_16 238 # ASSIGN : s_10_17 745 # ASSIGN : s_10_18 994 # ASSIGN : s_10_19 718 # ASSIGN : s_11_0 421 # ASSIGN : s_11_1 757 # ASSIGN : s_11_2 151 # ASSIGN : s_11_3 109 # ASSIGN : s_11_4 611 # ASSIGN : s_11_5 4 # ASSIGN : s_11_6 16 # ASSIGN : s_11_7 35 # ASSIGN : s_11_8 48 # ASSIGN : s_11_9 218 # ASSIGN : s_11_10 290 # ASSIGN : s_11_11 483 # ASSIGN : s_11_12 721 # ASSIGN : s_11_13 310 # ASSIGN : s_11_14 988 # ASSIGN : s_11_15 856 # ASSIGN : s_11_16 1187 # ASSIGN : s_11_17 1222 # ASSIGN : s_11_18 949 # ASSIGN : s_11_19 1098 # ASSIGN : s_12_0 59 # ASSIGN : s_12_1 1180 # ASSIGN : s_12_2 79 # ASSIGN : s_12_3 528 # ASSIGN : s_12_4 433 # ASSIGN : s_12_5 947 # ASSIGN : s_12_6 1029 # ASSIGN : s_12_7 378 # ASSIGN : s_12_8 1178 # ASSIGN : s_12_9 659 # ASSIGN : s_12_10 1216 # ASSIGN : s_12_11 109 # ASSIGN : s_12_12 257 # ASSIGN : s_12_13 264 # ASSIGN : s_12_14 1140 # ASSIGN : s_12_15 469 # ASSIGN : s_12_16 818 # ASSIGN : s_12_17 1085 # ASSIGN : s_12_18 568 # ASSIGN : s_12_19 742 # ASSIGN : s_13_0 0 # ASSIGN : s_13_1 11 # ASSIGN : s_13_2 413 # ASSIGN : s_13_3 103 # ASSIGN : s_13_4 767 # ASSIGN : s_13_5 686 # ASSIGN : s_13_6 607 # ASSIGN : s_13_7 837 # ASSIGN : s_13_8 614 # ASSIGN : s_13_9 580 # ASSIGN : s_13_10 331 # ASSIGN : s_13_11 216 # ASSIGN : s_13_12 488 # ASSIGN : s_13_13 1049 # ASSIGN : s_13_14 1145 # ASSIGN : s_13_15 1123 # ASSIGN : s_13_16 914 # ASSIGN : s_13_17 282 # ASSIGN : s_13_18 298 # ASSIGN : s_13_19 976 # ASSIGN : s_14_0 1139 # ASSIGN : s_14_1 309 # ASSIGN : s_14_2 666 # ASSIGN : s_14_3 14 # ASSIGN : s_14_4 1064 # ASSIGN : s_14_5 391 # ASSIGN : s_14_6 107 # ASSIGN : s_14_7 767 # ASSIGN : s_14_8 554 # ASSIGN : s_14_9 544 # ASSIGN : s_14_10 192 # ASSIGN : s_14_11 208 # ASSIGN : s_14_12 862 # ASSIGN : s_14_13 1222 # ASSIGN : s_14_14 1137 # ASSIGN : s_14_15 788 # ASSIGN : s_14_16 1211 # ASSIGN : s_14_17 952 # ASSIGN : s_14_18 276 # ASSIGN : s_14_19 511 # ASSIGN : s_15_0 1035 # ASSIGN : s_15_1 1006 # ASSIGN : s_15_2 746 # ASSIGN : s_15_3 581 # ASSIGN : s_15_4 1030 # ASSIGN : s_15_5 1049 # ASSIGN : s_15_6 62 # ASSIGN : s_15_7 1121 # ASSIGN : s_15_8 489 # ASSIGN : s_15_9 629 # ASSIGN : s_15_10 416 # ASSIGN : s_15_11 665 # ASSIGN : s_15_12 140 # ASSIGN : s_15_13 389 # ASSIGN : s_15_14 841 # ASSIGN : s_15_15 947 # ASSIGN : s_15_16 975 # ASSIGN : s_15_17 913 # ASSIGN : s_15_18 215 # ASSIGN : s_15_19 1147 # ASSIGN : s_16_0 659 # ASSIGN : s_16_1 645 # ASSIGN : s_16_2 984 # ASSIGN : s_16_3 882 # ASSIGN : s_16_4 394 # ASSIGN : s_16_5 475 # ASSIGN : s_16_6 517 # ASSIGN : s_16_7 920 # ASSIGN : s_16_8 402 # ASSIGN : s_16_9 979 # ASSIGN : s_16_10 302 # ASSIGN : s_16_11 17 # ASSIGN : s_16_12 781 # ASSIGN : s_16_13 1123 # ASSIGN : s_16_14 331 # ASSIGN : s_16_15 742 # ASSIGN : s_16_16 1218 # ASSIGN : s_16_17 197 # ASSIGN : s_16_18 118 # ASSIGN : s_16_19 1047 # ASSIGN : s_17_0 61 # ASSIGN : s_17_1 203 # ASSIGN : s_17_2 1106 # ASSIGN : s_17_3 729 # ASSIGN : s_17_4 1035 # ASSIGN : s_17_5 783 # ASSIGN : s_17_6 976 # ASSIGN : s_17_7 445 # ASSIGN : s_17_8 1140 # ASSIGN : s_17_9 832 # ASSIGN : s_17_10 580 # ASSIGN : s_17_11 299 # ASSIGN : s_17_12 391 # ASSIGN : s_17_13 660 # ASSIGN : s_17_14 133 # ASSIGN : s_17_15 1142 # ASSIGN : s_17_16 506 # ASSIGN : s_17_17 23 # ASSIGN : s_17_18 481 # ASSIGN : s_17_19 901 # ASSIGN : s_18_0 296 # ASSIGN : s_18_1 1074 # ASSIGN : s_18_2 100 # ASSIGN : s_18_3 144 # ASSIGN : s_18_4 461 # ASSIGN : s_18_5 357 # ASSIGN : s_18_6 398 # ASSIGN : s_18_7 622 # ASSIGN : s_18_8 768 # ASSIGN : s_18_9 988 # ASSIGN : s_18_10 923 # ASSIGN : s_18_11 237 # ASSIGN : s_18_12 1164 # ASSIGN : s_18_13 948 # ASSIGN : s_18_14 10 # ASSIGN : s_18_15 725 # ASSIGN : s_18_16 444 # ASSIGN : s_18_17 835 # ASSIGN : s_18_18 750 # ASSIGN : s_18_19 521 # ASSIGN : s_19_0 571 # ASSIGN : s_19_1 723 # ASSIGN : s_19_2 485 # ASSIGN : s_19_3 1061 # ASSIGN : s_19_4 1222 # ASSIGN : s_19_5 195 # ASSIGN : s_19_6 694 # ASSIGN : s_19_7 425 # ASSIGN : s_19_8 341 # ASSIGN : s_19_9 1086 # ASSIGN : s_19_10 0 # ASSIGN : s_19_11 757 # ASSIGN : s_19_12 744 # ASSIGN : s_19_13 112 # ASSIGN : s_19_14 260 # ASSIGN : s_19_15 152 # ASSIGN : s_19_16 1003 # ASSIGN : s_19_17 1178 # ASSIGN : s_19_18 968 # ASSIGN : s_19_19 844 SHOW_RESULT 1241 END : 1241 (5 seconds) [Mon Jun 19 16:08:36 2006] SHOW_RESULT 1241 CPU : 5.31 = 5.25 + 0.0599999999999996 + 0 + 0 # BOUND : makespan 1241 1241 MAIN END : (3213 seconds) [Mon Jun 19 16:08:37 2006] MAIN CPU : 3208.28 = 1184 + 5.89 + 1980.28 + 38.11