MAIN BEGIN : [Fri Jun 2 00:56:36 2006] READ BEGIN : csp/la31.csp [Fri Jun 2 00:56:36 2006] READ END : csp/la31.csp (12 seconds) [Fri Jun 2 00:56:48 2006] READ CPU : 11.93 = 11.93 + 0 + 0 + 0 # BOUND : makespan 1784 2148 GENERATE_CNF 2148 BEGIN : [Fri Jun 2 00:56:48 2006] GENERATE_CNF 2148 END : 654366 variables 19492218 clauses 475427123 bytes (964 seconds) [Fri Jun 2 01:12:52 2006] GENERATE_CNF 2148 CPU : 963.95 = 962.62 + 1.33 + 0 + 0 MODIFY_CNF 1966 BEGIN : [Fri Jun 2 01:12:52 2006] MODIFY_CNF 1966 END : 475427129 bytes (0 seconds) [Fri Jun 2 01:12:52 2006] MODIFY_CNF 1966 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1966 BEGIN : [Fri Jun 2 01:12:52 2006] CMD : minisat /work/tamura/csp2sat65880.cnf /work/tamura/csp2sat65880.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 14101788 41861863 | 4700596 0 0 NaNQ | 0.000 % | | 101 | 14101788 41861863 | 5170655 101 1813 18.0 | 31.724 % | ==============================================================================) restarts : 2 conflicts : 197 (8 /sec) decisions : 2271 (93 /sec) propagations : 2671752 (108823 /sec) inspects : 60100292 (2447952 /sec) conflict literals : 2733 (5.04 % deleted) CPU time : 24.5512 s SATISFIABLE VERIFY_CNF 1966 END : (35 seconds) [Fri Jun 2 01:13:27 2006] VERIFY_CNF 1966 CPU : 33.49 = 0 + 0.03 + 33.03 + 0.43 # RESULT : makespan 1966 SATISFIABLE SHOW_RESULT 1966 BEGIN : [Fri Jun 2 01:13:27 2006] # ASSIGN : makespan 1966 # ASSIGN : s_0_0 332 # ASSIGN : s_0_1 448 # ASSIGN : s_0_2 684 # ASSIGN : s_0_3 700 # ASSIGN : s_0_4 734 # ASSIGN : s_0_5 1033 # ASSIGN : s_0_6 1107 # ASSIGN : s_0_7 1734 # ASSIGN : s_0_8 1805 # ASSIGN : s_0_9 1913 # ASSIGN : s_1_0 313 # ASSIGN : s_1_1 391 # ASSIGN : s_1_2 503 # ASSIGN : s_1_3 545 # ASSIGN : s_1_4 758 # ASSIGN : s_1_5 789 # ASSIGN : s_1_6 828 # ASSIGN : s_1_7 1311 # ASSIGN : s_1_8 1732 # ASSIGN : s_1_9 1901 # ASSIGN : s_2_0 44 # ASSIGN : s_2_1 108 # ASSIGN : s_2_2 221 # ASSIGN : s_2_3 338 # ASSIGN : s_2_4 390 # ASSIGN : s_2_5 452 # ASSIGN : s_2_6 775 # ASSIGN : s_2_7 906 # ASSIGN : s_2_8 1850 # ASSIGN : s_2_9 1929 # ASSIGN : s_3_0 433 # ASSIGN : s_3_1 641 # ASSIGN : s_3_2 665 # ASSIGN : s_3_3 909 # ASSIGN : s_3_4 947 # ASSIGN : s_3_5 1024 # ASSIGN : s_3_6 1152 # ASSIGN : s_3_7 1215 # ASSIGN : s_3_8 1531 # ASSIGN : s_3_9 1643 # ASSIGN : s_4_0 256 # ASSIGN : s_4_1 389 # ASSIGN : s_4_2 627 # ASSIGN : s_4_3 723 # ASSIGN : s_4_4 1659 # ASSIGN : s_4_5 1734 # ASSIGN : s_4_6 1832 # ASSIGN : s_4_7 1857 # ASSIGN : s_4_8 1874 # ASSIGN : s_4_9 1917 # ASSIGN : s_5_0 34 # ASSIGN : s_5_1 138 # ASSIGN : s_5_2 173 # ASSIGN : s_5_3 201 # ASSIGN : s_5_4 330 # ASSIGN : s_5_5 425 # ASSIGN : s_5_6 538 # ASSIGN : s_5_7 573 # ASSIGN : s_5_8 1853 # ASSIGN : s_5_9 1941 # ASSIGN : s_6_0 0 # ASSIGN : s_6_1 236 # ASSIGN : s_6_2 263 # ASSIGN : s_6_3 381 # ASSIGN : s_6_4 397 # ASSIGN : s_6_5 489 # ASSIGN : s_6_6 548 # ASSIGN : s_6_7 989 # ASSIGN : s_6_8 1267 # ASSIGN : s_6_9 1807 # ASSIGN : s_7_0 140 # ASSIGN : s_7_1 474 # ASSIGN : s_7_2 611 # ASSIGN : s_7_3 796 # ASSIGN : s_7_4 888 # ASSIGN : s_7_5 905 # ASSIGN : s_7_6 1078 # ASSIGN : s_7_7 1194 # ASSIGN : s_7_8 1555 # ASSIGN : s_7_9 1594 # ASSIGN : s_8_0 423 # ASSIGN : s_8_1 460 # ASSIGN : s_8_2 486 # ASSIGN : s_8_3 519 # ASSIGN : s_8_4 645 # ASSIGN : s_8_5 1042 # ASSIGN : s_8_6 1266 # ASSIGN : s_8_7 1449 # ASSIGN : s_8_8 1618 # ASSIGN : s_8_9 1870 # ASSIGN : s_9_0 626 # ASSIGN : s_9_1 723 # ASSIGN : s_9_2 792 # ASSIGN : s_9_3 876 # ASSIGN : s_9_4 967 # ASSIGN : s_9_5 1048 # ASSIGN : s_9_6 1093 # ASSIGN : s_9_7 1162 # ASSIGN : s_9_8 1256 # ASSIGN : s_9_9 1391 # ASSIGN : s_10_0 275 # ASSIGN : s_10_1 743 # ASSIGN : s_10_2 789 # ASSIGN : s_10_3 883 # ASSIGN : s_10_4 903 # ASSIGN : s_10_5 1007 # ASSIGN : s_10_6 1050 # ASSIGN : s_10_7 1212 # ASSIGN : s_10_8 1333 # ASSIGN : s_10_9 1636 # ASSIGN : s_11_0 798 # ASSIGN : s_11_1 943 # ASSIGN : s_11_2 1051 # ASSIGN : s_11_3 1123 # ASSIGN : s_11_4 1352 # ASSIGN : s_11_5 1410 # ASSIGN : s_11_6 1482 # ASSIGN : s_11_7 1505 # ASSIGN : s_11_8 1588 # ASSIGN : s_11_9 1687 # ASSIGN : s_12_0 208 # ASSIGN : s_12_1 606 # ASSIGN : s_12_2 633 # ASSIGN : s_12_3 986 # ASSIGN : s_12_4 1054 # ASSIGN : s_12_5 1310 # ASSIGN : s_12_6 1364 # ASSIGN : s_12_7 1417 # ASSIGN : s_12_8 1444 # ASSIGN : s_12_9 1540 # ASSIGN : s_13_0 566 # ASSIGN : s_13_1 646 # ASSIGN : s_13_2 1079 # ASSIGN : s_13_3 1202 # ASSIGN : s_13_4 1487 # ASSIGN : s_13_5 1581 # ASSIGN : s_13_6 1654 # ASSIGN : s_13_7 1771 # ASSIGN : s_13_8 1821 # ASSIGN : s_13_9 1916 # ASSIGN : s_14_0 650 # ASSIGN : s_14_1 700 # ASSIGN : s_14_2 741 # ASSIGN : s_14_3 802 # ASSIGN : s_14_4 881 # ASSIGN : s_14_5 895 # ASSIGN : s_14_6 968 # ASSIGN : s_14_7 990 # ASSIGN : s_14_8 1334 # ASSIGN : s_14_9 1449 # ASSIGN : s_15_0 1237 # ASSIGN : s_15_1 1259 # ASSIGN : s_15_2 1316 # ASSIGN : s_15_3 1413 # ASSIGN : s_15_4 1427 # ASSIGN : s_15_5 1492 # ASSIGN : s_15_6 1646 # ASSIGN : s_15_7 1717 # ASSIGN : s_15_8 1822 # ASSIGN : s_15_9 1906 # ASSIGN : s_16_0 110 # ASSIGN : s_16_1 273 # ASSIGN : s_16_2 353 # ASSIGN : s_16_3 580 # ASSIGN : s_16_4 1135 # ASSIGN : s_16_5 1186 # ASSIGN : s_16_6 1409 # ASSIGN : s_16_7 1450 # ASSIGN : s_16_8 1607 # ASSIGN : s_16_9 1901 # ASSIGN : s_17_0 186 # ASSIGN : s_17_1 290 # ASSIGN : s_17_2 342 # ASSIGN : s_17_3 1035 # ASSIGN : s_17_4 1097 # ASSIGN : s_17_5 1636 # ASSIGN : s_17_6 1644 # ASSIGN : s_17_7 1693 # ASSIGN : s_17_8 1722 # ASSIGN : s_17_9 1869 # ASSIGN : s_18_0 410 # ASSIGN : s_18_1 553 # ASSIGN : s_18_2 807 # ASSIGN : s_18_3 857 # ASSIGN : s_18_4 1209 # ASSIGN : s_18_5 1385 # ASSIGN : s_18_6 1429 # ASSIGN : s_18_7 1449 # ASSIGN : s_18_8 1764 # ASSIGN : s_18_9 1878 # ASSIGN : s_19_0 9 # ASSIGN : s_19_1 186 # ASSIGN : s_19_2 253 # ASSIGN : s_19_3 463 # ASSIGN : s_19_4 818 # ASSIGN : s_19_5 1102 # ASSIGN : s_19_6 1717 # ASSIGN : s_19_7 1776 # ASSIGN : s_19_8 1890 # ASSIGN : s_19_9 1951 # ASSIGN : s_20_0 16 # ASSIGN : s_20_1 45 # ASSIGN : s_20_2 723 # ASSIGN : s_20_3 838 # ASSIGN : s_20_4 888 # ASSIGN : s_20_5 1260 # ASSIGN : s_20_6 1310 # ASSIGN : s_20_7 1345 # ASSIGN : s_20_8 1557 # ASSIGN : s_20_9 1602 # ASSIGN : s_21_0 1322 # ASSIGN : s_21_1 1390 # ASSIGN : s_21_2 1443 # ASSIGN : s_21_3 1508 # ASSIGN : s_21_4 1524 # ASSIGN : s_21_5 1576 # ASSIGN : s_21_6 1633 # ASSIGN : s_21_7 1696 # ASSIGN : s_21_8 1752 # ASSIGN : s_21_9 1826 # ASSIGN : s_22_0 29 # ASSIGN : s_22_1 191 # ASSIGN : s_22_2 252 # ASSIGN : s_22_3 526 # ASSIGN : s_22_4 611 # ASSIGN : s_22_5 700 # ASSIGN : s_22_6 1202 # ASSIGN : s_22_7 1376 # ASSIGN : s_22_8 1726 # ASSIGN : s_22_9 1886 # ASSIGN : s_23_0 333 # ASSIGN : s_23_1 357 # ASSIGN : s_23_2 1013 # ASSIGN : s_23_3 1045 # ASSIGN : s_23_4 1085 # ASSIGN : s_23_5 1111 # ASSIGN : s_23_6 1131 # ASSIGN : s_23_7 1219 # ASSIGN : s_23_8 1372 # ASSIGN : s_23_9 1903 # ASSIGN : s_24_0 592 # ASSIGN : s_24_1 879 # ASSIGN : s_24_2 959 # ASSIGN : s_24_3 1559 # ASSIGN : s_24_4 1599 # ASSIGN : s_24_5 1607 # ASSIGN : s_24_6 1614 # ASSIGN : s_24_7 1710 # ASSIGN : s_24_8 1766 # ASSIGN : s_24_9 1959 # ASSIGN : s_25_0 185 # ASSIGN : s_25_1 222 # ASSIGN : s_25_2 296 # ASSIGN : s_25_3 359 # ASSIGN : s_25_4 491 # ASSIGN : s_25_5 506 # ASSIGN : s_25_6 1274 # ASSIGN : s_25_7 1515 # ASSIGN : s_25_8 1670 # ASSIGN : s_25_9 1766 # ASSIGN : s_26_0 423 # ASSIGN : s_26_1 517 # ASSIGN : s_26_2 607 # ASSIGN : s_26_3 1326 # ASSIGN : s_26_4 1427 # ASSIGN : s_26_5 1560 # ASSIGN : s_26_6 1747 # ASSIGN : s_26_7 1787 # ASSIGN : s_26_8 1862 # ASSIGN : s_26_9 1923 # ASSIGN : s_27_0 134 # ASSIGN : s_27_1 142 # ASSIGN : s_27_2 391 # ASSIGN : s_27_3 611 # ASSIGN : s_27_4 633 # ASSIGN : s_27_5 700 # ASSIGN : s_27_6 902 # ASSIGN : s_27_7 1075 # ASSIGN : s_27_8 1142 # ASSIGN : s_27_9 1236 # ASSIGN : s_28_0 91 # ASSIGN : s_28_1 127 # ASSIGN : s_28_2 190 # ASSIGN : s_28_3 200 # ASSIGN : s_28_4 255 # ASSIGN : s_28_5 351 # ASSIGN : s_28_6 561 # ASSIGN : s_28_7 582 # ASSIGN : s_28_8 600 # ASSIGN : s_28_9 817 # ASSIGN : s_29_0 920 # ASSIGN : s_29_1 928 # ASSIGN : s_29_2 943 # ASSIGN : s_29_3 1119 # ASSIGN : s_29_4 1214 # ASSIGN : s_29_5 1371 # ASSIGN : s_29_6 1518 # ASSIGN : s_29_7 1536 # ASSIGN : s_29_8 1564 # ASSIGN : s_29_9 1628 SHOW_RESULT 1966 END : 1966 (2 seconds) [Fri Jun 2 01:13:29 2006] SHOW_RESULT 1966 CPU : 1.86000000000002 = 1.85000000000002 + 0.00999999999999979 + 0 + 0 # BOUND : makespan 1784 1966 MODIFY_CNF 1875 BEGIN : [Fri Jun 2 01:13:29 2006] MODIFY_CNF 1875 END : 475427128 bytes (0 seconds) [Fri Jun 2 01:13:29 2006] MODIFY_CNF 1875 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1875 BEGIN : [Fri Jun 2 01:13:29 2006] CMD : minisat /work/tamura/csp2sat65880.cnf /work/tamura/csp2sat65880.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 13282697 39431981 | 4427565 0 0 NaNQ | 0.000 % | | 100 | 13282697 39431981 | 4870321 100 2033 20.3 | 35.910 % | | 250 | 13282697 39431981 | 5357353 250 4425 17.7 | 35.910 % | | 476 | 13282697 39431981 | 5893089 476 8143 17.1 | 35.910 % | | 813 | 13282697 39431981 | 6482397 813 15552 19.1 | 35.910 % | ==============================================================================) restarts : 5 conflicts : 880 (25 /sec) decisions : 4846 (139 /sec) propagations : 7253550 (208160 /sec) inspects : 172356025 (4946219 /sec) conflict literals : 16353 (4.23 % deleted) CPU time : 34.846 s SATISFIABLE VERIFY_CNF 1875 END : (46 seconds) [Fri Jun 2 01:14:15 2006] VERIFY_CNF 1875 CPU : 45.64 = 0.00999999999999091 + 0.0600000000000001 + 43.9 + 1.67 # RESULT : makespan 1875 SATISFIABLE SHOW_RESULT 1875 BEGIN : [Fri Jun 2 01:14:15 2006] # ASSIGN : makespan 1875 # ASSIGN : s_0_0 455 # ASSIGN : s_0_1 476 # ASSIGN : s_0_2 502 # ASSIGN : s_0_3 518 # ASSIGN : s_0_4 552 # ASSIGN : s_0_5 632 # ASSIGN : s_0_6 736 # ASSIGN : s_0_7 831 # ASSIGN : s_0_8 944 # ASSIGN : s_0_9 965 # ASSIGN : s_1_0 541 # ASSIGN : s_1_1 618 # ASSIGN : s_1_2 729 # ASSIGN : s_1_3 771 # ASSIGN : s_1_4 882 # ASSIGN : s_1_5 913 # ASSIGN : s_1_6 1029 # ASSIGN : s_1_7 1115 # ASSIGN : s_1_8 1194 # ASSIGN : s_1_9 1386 # ASSIGN : s_2_0 3 # ASSIGN : s_2_1 309 # ASSIGN : s_2_2 410 # ASSIGN : s_2_3 444 # ASSIGN : s_2_4 468 # ASSIGN : s_2_5 530 # ASSIGN : s_2_6 584 # ASSIGN : s_2_7 1076 # ASSIGN : s_2_8 1261 # ASSIGN : s_2_9 1812 # ASSIGN : s_3_0 456 # ASSIGN : s_3_1 761 # ASSIGN : s_3_2 1074 # ASSIGN : s_3_3 1246 # ASSIGN : s_3_4 1345 # ASSIGN : s_3_5 1422 # ASSIGN : s_3_6 1521 # ASSIGN : s_3_7 1652 # ASSIGN : s_3_8 1700 # ASSIGN : s_3_9 1792 # ASSIGN : s_4_0 57 # ASSIGN : s_4_1 314 # ASSIGN : s_4_2 768 # ASSIGN : s_4_3 864 # ASSIGN : s_4_4 954 # ASSIGN : s_4_5 1237 # ASSIGN : s_4_6 1627 # ASSIGN : s_4_7 1699 # ASSIGN : s_4_8 1757 # ASSIGN : s_4_9 1826 # ASSIGN : s_5_0 4 # ASSIGN : s_5_1 104 # ASSIGN : s_5_2 139 # ASSIGN : s_5_3 167 # ASSIGN : s_5_4 381 # ASSIGN : s_5_5 1051 # ASSIGN : s_5_6 1112 # ASSIGN : s_5_7 1160 # ASSIGN : s_5_8 1167 # ASSIGN : s_5_9 1210 # ASSIGN : s_6_0 98 # ASSIGN : s_6_1 189 # ASSIGN : s_6_2 271 # ASSIGN : s_6_3 463 # ASSIGN : s_6_4 522 # ASSIGN : s_6_5 559 # ASSIGN : s_6_6 902 # ASSIGN : s_6_7 1398 # ASSIGN : s_6_8 1526 # ASSIGN : s_6_9 1614 # ASSIGN : s_7_0 211 # ASSIGN : s_7_1 256 # ASSIGN : s_7_2 327 # ASSIGN : s_7_3 549 # ASSIGN : s_7_4 1195 # ASSIGN : s_7_5 1214 # ASSIGN : s_7_6 1299 # ASSIGN : s_7_7 1340 # ASSIGN : s_7_8 1424 # ASSIGN : s_7_9 1456 # ASSIGN : s_8_0 67 # ASSIGN : s_8_1 211 # ASSIGN : s_8_2 276 # ASSIGN : s_8_3 316 # ASSIGN : s_8_4 358 # ASSIGN : s_8_5 596 # ASSIGN : s_8_6 1038 # ASSIGN : s_8_7 1046 # ASSIGN : s_8_8 1405 # ASSIGN : s_8_9 1433 # ASSIGN : s_9_0 265 # ASSIGN : s_9_1 1185 # ASSIGN : s_9_2 1261 # ASSIGN : s_9_3 1350 # ASSIGN : s_9_4 1383 # ASSIGN : s_9_5 1471 # ASSIGN : s_9_6 1516 # ASSIGN : s_9_7 1585 # ASSIGN : s_9_8 1693 # ASSIGN : s_9_9 1779 # ASSIGN : s_10_0 273 # ASSIGN : s_10_1 349 # ASSIGN : s_10_2 418 # ASSIGN : s_10_3 436 # ASSIGN : s_10_4 1212 # ASSIGN : s_10_5 1509 # ASSIGN : s_10_6 1575 # ASSIGN : s_10_7 1600 # ASSIGN : s_10_8 1669 # ASSIGN : s_10_9 1702 # ASSIGN : s_11_0 219 # ASSIGN : s_11_1 378 # ASSIGN : s_11_2 904 # ASSIGN : s_11_3 932 # ASSIGN : s_11_4 1018 # ASSIGN : s_11_5 1077 # ASSIGN : s_11_6 1149 # ASSIGN : s_11_7 1301 # ASSIGN : s_11_8 1377 # ASSIGN : s_11_9 1476 # ASSIGN : s_12_0 171 # ASSIGN : s_12_1 219 # ASSIGN : s_12_2 351 # ASSIGN : s_12_3 1284 # ASSIGN : s_12_4 1346 # ASSIGN : s_12_5 1444 # ASSIGN : s_12_6 1512 # ASSIGN : s_12_7 1783 # ASSIGN : s_12_8 1810 # ASSIGN : s_12_9 1858 # ASSIGN : s_13_0 398 # ASSIGN : s_13_1 479 # ASSIGN : s_13_2 531 # ASSIGN : s_13_3 570 # ASSIGN : s_13_4 674 # ASSIGN : s_13_5 768 # ASSIGN : s_13_6 1050 # ASSIGN : s_13_7 1326 # ASSIGN : s_13_8 1486 # ASSIGN : s_13_9 1716 # ASSIGN : s_14_0 277 # ASSIGN : s_14_1 463 # ASSIGN : s_14_2 613 # ASSIGN : s_14_3 785 # ASSIGN : s_14_4 1024 # ASSIGN : s_14_5 1038 # ASSIGN : s_14_6 1346 # ASSIGN : s_14_7 1482 # ASSIGN : s_14_8 1581 # ASSIGN : s_14_9 1620 # ASSIGN : s_15_0 35 # ASSIGN : s_15_1 82 # ASSIGN : s_15_2 177 # ASSIGN : s_15_3 607 # ASSIGN : s_15_4 696 # ASSIGN : s_15_5 777 # ASSIGN : s_15_6 873 # ASSIGN : s_15_7 1254 # ASSIGN : s_15_8 1437 # ASSIGN : s_15_9 1815 # ASSIGN : s_16_0 176 # ASSIGN : s_16_1 208 # ASSIGN : s_16_2 478 # ASSIGN : s_16_3 698 # ASSIGN : s_16_4 934 # ASSIGN : s_16_5 1585 # ASSIGN : s_16_6 1618 # ASSIGN : s_16_7 1652 # ASSIGN : s_16_8 1710 # ASSIGN : s_16_9 1810 # ASSIGN : s_17_0 150 # ASSIGN : s_17_1 216 # ASSIGN : s_17_2 745 # ASSIGN : s_17_3 762 # ASSIGN : s_17_4 985 # ASSIGN : s_17_5 1040 # ASSIGN : s_17_6 1152 # ASSIGN : s_17_7 1176 # ASSIGN : s_17_8 1205 # ASSIGN : s_17_9 1249 # ASSIGN : s_18_0 316 # ASSIGN : s_18_1 366 # ASSIGN : s_18_2 509 # ASSIGN : s_18_3 550 # ASSIGN : s_18_4 627 # ASSIGN : s_18_5 684 # ASSIGN : s_18_6 716 # ASSIGN : s_18_7 737 # ASSIGN : s_18_8 824 # ASSIGN : s_18_9 1578 # ASSIGN : s_19_0 252 # ASSIGN : s_19_1 272 # ASSIGN : s_19_2 339 # ASSIGN : s_19_3 424 # ASSIGN : s_19_4 514 # ASSIGN : s_19_5 881 # ASSIGN : s_19_6 1147 # ASSIGN : s_19_7 1205 # ASSIGN : s_19_8 1716 # ASSIGN : s_19_9 1777 # ASSIGN : s_20_0 48 # ASSIGN : s_20_1 77 # ASSIGN : s_20_2 159 # ASSIGN : s_20_3 873 # ASSIGN : s_20_4 911 # ASSIGN : s_20_5 943 # ASSIGN : s_20_6 993 # ASSIGN : s_20_7 1088 # ASSIGN : s_20_8 1172 # ASSIGN : s_20_9 1220 # ASSIGN : s_21_0 80 # ASSIGN : s_21_1 134 # ASSIGN : s_21_2 184 # ASSIGN : s_21_3 246 # ASSIGN : s_21_4 262 # ASSIGN : s_21_5 321 # ASSIGN : s_21_6 401 # ASSIGN : s_21_7 799 # ASSIGN : s_21_8 837 # ASSIGN : s_21_9 1617 # ASSIGN : s_22_0 937 # ASSIGN : s_22_1 1016 # ASSIGN : s_22_2 1290 # ASSIGN : s_22_3 1301 # ASSIGN : s_22_4 1382 # ASSIGN : s_22_5 1481 # ASSIGN : s_22_6 1570 # ASSIGN : s_22_7 1628 # ASSIGN : s_22_8 1696 # ASSIGN : s_22_9 1828 # ASSIGN : s_23_0 478 # ASSIGN : s_23_1 504 # ASSIGN : s_23_2 883 # ASSIGN : s_23_3 1143 # ASSIGN : s_23_4 1209 # ASSIGN : s_23_5 1217 # ASSIGN : s_23_6 1397 # ASSIGN : s_23_7 1695 # ASSIGN : s_23_8 1800 # ASSIGN : s_23_9 1855 # ASSIGN : s_24_0 498 # ASSIGN : s_24_1 621 # ASSIGN : s_24_2 685 # ASSIGN : s_24_3 1487 # ASSIGN : s_24_4 1541 # ASSIGN : s_24_5 1566 # ASSIGN : s_24_6 1581 # ASSIGN : s_24_7 1731 # ASSIGN : s_24_8 1787 # ASSIGN : s_24_9 1868 # ASSIGN : s_25_0 79 # ASSIGN : s_25_1 85 # ASSIGN : s_25_2 699 # ASSIGN : s_25_3 959 # ASSIGN : s_25_4 1023 # ASSIGN : s_25_5 1106 # ASSIGN : s_25_6 1148 # ASSIGN : s_25_7 1376 # ASSIGN : s_25_8 1466 # ASSIGN : s_25_9 1537 # ASSIGN : s_26_0 618 # ASSIGN : s_26_1 702 # ASSIGN : s_26_2 1159 # ASSIGN : s_26_3 1335 # ASSIGN : s_26_4 1527 # ASSIGN : s_26_5 1549 # ASSIGN : s_26_6 1600 # ASSIGN : s_26_7 1624 # ASSIGN : s_26_8 1771 # ASSIGN : s_26_9 1849 # ASSIGN : s_27_0 211 # ASSIGN : s_27_1 237 # ASSIGN : s_27_2 448 # ASSIGN : s_27_3 1558 # ASSIGN : s_27_4 1573 # ASSIGN : s_27_5 1588 # ASSIGN : s_27_6 1631 # ASSIGN : s_27_7 1657 # ASSIGN : s_27_8 1679 # ASSIGN : s_27_9 1699 # ASSIGN : s_28_0 582 # ASSIGN : s_28_1 636 # ASSIGN : s_28_2 761 # ASSIGN : s_28_3 915 # ASSIGN : s_28_4 952 # ASSIGN : s_28_5 1048 # ASSIGN : s_28_6 1110 # ASSIGN : s_28_7 1177 # ASSIGN : s_28_8 1268 # ASSIGN : s_28_9 1766 # ASSIGN : s_29_0 77 # ASSIGN : s_29_1 129 # ASSIGN : s_29_2 144 # ASSIGN : s_29_3 607 # ASSIGN : s_29_4 777 # ASSIGN : s_29_5 1176 # ASSIGN : s_29_6 1364 # ASSIGN : s_29_7 1464 # ASSIGN : s_29_8 1506 # ASSIGN : s_29_9 1786 SHOW_RESULT 1875 END : 1875 (1 seconds) [Fri Jun 2 01:14:16 2006] SHOW_RESULT 1875 CPU : 1.83999999999992 = 1.83999999999992 + 0 + 0 + 0 # BOUND : makespan 1784 1875 MODIFY_CNF 1829 BEGIN : [Fri Jun 2 01:14:16 2006] MODIFY_CNF 1829 END : 475427128 bytes (0 seconds) [Fri Jun 2 01:14:16 2006] MODIFY_CNF 1829 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1829 BEGIN : [Fri Jun 2 01:14:16 2006] CMD : minisat /work/tamura/csp2sat65880.cnf /work/tamura/csp2sat65880.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 12868651 38203689 | 4289550 0 0 NaNQ | 0.000 % | | 101 | 12868651 38203689 | 4718505 101 1342 13.3 | 38.026 % | | 251 | 12868651 38203689 | 5190355 251 3699 14.7 | 38.026 % | | 476 | 12868651 38203689 | 5709391 476 8018 16.8 | 38.026 % | | 813 | 12868651 38203689 | 6280330 813 14232 17.5 | 38.026 % | | 1321 | 12868651 38203689 | 6908363 1321 31509 23.9 | 38.026 % | | 2080 | 12868651 38203689 | 7599199 2080 54633 26.3 | 38.026 % | | 3219 | 12868651 38203689 | 8359119 3219 85631 26.6 | 38.026 % | ==============================================================================) restarts : 8 conflicts : 4025 (61 /sec) decisions : 9586 (146 /sec) propagations : 27607999 (419250 /sec) inspects : 669415811 (10165620 /sec) conflict literals : 114835 (10.72 % deleted) CPU time : 65.851 s SATISFIABLE VERIFY_CNF 1829 END : (77 seconds) [Fri Jun 2 01:15:33 2006] VERIFY_CNF 1829 CPU : 76.66 = 0 + 0.0600000000000001 + 74.92 + 1.68 # RESULT : makespan 1829 SATISFIABLE SHOW_RESULT 1829 BEGIN : [Fri Jun 2 01:15:33 2006] # ASSIGN : makespan 1829 # ASSIGN : s_0_0 2 # ASSIGN : s_0_1 23 # ASSIGN : s_0_2 480 # ASSIGN : s_0_3 531 # ASSIGN : s_0_4 1006 # ASSIGN : s_0_5 1198 # ASSIGN : s_0_6 1480 # ASSIGN : s_0_7 1575 # ASSIGN : s_0_8 1730 # ASSIGN : s_0_9 1776 # ASSIGN : s_1_0 264 # ASSIGN : s_1_1 341 # ASSIGN : s_1_2 439 # ASSIGN : s_1_3 669 # ASSIGN : s_1_4 893 # ASSIGN : s_1_5 967 # ASSIGN : s_1_6 1025 # ASSIGN : s_1_7 1118 # ASSIGN : s_1_8 1197 # ASSIGN : s_1_9 1310 # ASSIGN : s_2_0 116 # ASSIGN : s_2_1 246 # ASSIGN : s_2_2 1384 # ASSIGN : s_2_3 1440 # ASSIGN : s_2_4 1459 # ASSIGN : s_2_5 1521 # ASSIGN : s_2_6 1584 # ASSIGN : s_2_7 1630 # ASSIGN : s_2_8 1713 # ASSIGN : s_2_9 1792 # ASSIGN : s_3_0 14 # ASSIGN : s_3_1 701 # ASSIGN : s_3_2 802 # ASSIGN : s_3_3 976 # ASSIGN : s_3_4 1088 # ASSIGN : s_3_5 1165 # ASSIGN : s_3_6 1252 # ASSIGN : s_3_7 1312 # ASSIGN : s_3_8 1353 # ASSIGN : s_3_9 1495 # ASSIGN : s_4_0 626 # ASSIGN : s_4_1 703 # ASSIGN : s_4_2 784 # ASSIGN : s_4_3 1250 # ASSIGN : s_4_4 1353 # ASSIGN : s_4_5 1443 # ASSIGN : s_4_6 1576 # ASSIGN : s_4_7 1610 # ASSIGN : s_4_8 1627 # ASSIGN : s_4_9 1681 # ASSIGN : s_5_0 1183 # ASSIGN : s_5_1 1259 # ASSIGN : s_5_2 1294 # ASSIGN : s_5_3 1322 # ASSIGN : s_5_4 1417 # ASSIGN : s_5_5 1527 # ASSIGN : s_5_6 1602 # ASSIGN : s_5_7 1639 # ASSIGN : s_5_8 1646 # ASSIGN : s_5_9 1804 # ASSIGN : s_6_0 49 # ASSIGN : s_6_1 152 # ASSIGN : s_6_2 445 # ASSIGN : s_6_3 495 # ASSIGN : s_6_4 880 # ASSIGN : s_6_5 973 # ASSIGN : s_6_6 1102 # ASSIGN : s_6_7 1264 # ASSIGN : s_6_8 1311 # ASSIGN : s_6_9 1452 # ASSIGN : s_7_0 4 # ASSIGN : s_7_1 49 # ASSIGN : s_7_2 386 # ASSIGN : s_7_3 425 # ASSIGN : s_7_4 905 # ASSIGN : s_7_5 971 # ASSIGN : s_7_6 1473 # ASSIGN : s_7_7 1578 # ASSIGN : s_7_8 1643 # ASSIGN : s_7_9 1668 # ASSIGN : s_8_0 79 # ASSIGN : s_8_1 183 # ASSIGN : s_8_2 362 # ASSIGN : s_8_3 496 # ASSIGN : s_8_4 538 # ASSIGN : s_8_5 616 # ASSIGN : s_8_6 735 # ASSIGN : s_8_7 839 # ASSIGN : s_8_8 1653 # ASSIGN : s_8_9 1739 # ASSIGN : s_9_0 481 # ASSIGN : s_9_1 627 # ASSIGN : s_9_2 843 # ASSIGN : s_9_3 1156 # ASSIGN : s_9_4 1226 # ASSIGN : s_9_5 1316 # ASSIGN : s_9_6 1390 # ASSIGN : s_9_7 1561 # ASSIGN : s_9_8 1655 # ASSIGN : s_9_9 1733 # ASSIGN : s_10_0 20 # ASSIGN : s_10_1 120 # ASSIGN : s_10_2 165 # ASSIGN : s_10_3 189 # ASSIGN : s_10_4 209 # ASSIGN : s_10_5 296 # ASSIGN : s_10_6 313 # ASSIGN : s_10_7 338 # ASSIGN : s_10_8 669 # ASSIGN : s_10_9 758 # ASSIGN : s_11_0 4 # ASSIGN : s_11_1 101 # ASSIGN : s_11_2 191 # ASSIGN : s_11_3 219 # ASSIGN : s_11_4 305 # ASSIGN : s_11_5 367 # ASSIGN : s_11_6 508 # ASSIGN : s_11_7 532 # ASSIGN : s_11_8 608 # ASSIGN : s_11_9 1688 # ASSIGN : s_12_0 252 # ASSIGN : s_12_1 300 # ASSIGN : s_12_2 327 # ASSIGN : s_12_3 407 # ASSIGN : s_12_4 469 # ASSIGN : s_12_5 747 # ASSIGN : s_12_6 821 # ASSIGN : s_12_7 1542 # ASSIGN : s_12_8 1690 # ASSIGN : s_12_9 1750 # ASSIGN : s_13_0 172 # ASSIGN : s_13_1 428 # ASSIGN : s_13_2 447 # ASSIGN : s_13_3 555 # ASSIGN : s_13_4 567 # ASSIGN : s_13_5 705 # ASSIGN : s_13_6 847 # ASSIGN : s_13_7 945 # ASSIGN : s_13_8 1004 # ASSIGN : s_13_9 1700 # ASSIGN : s_14_0 246 # ASSIGN : s_14_1 867 # ASSIGN : s_14_2 908 # ASSIGN : s_14_3 1089 # ASSIGN : s_14_4 1280 # ASSIGN : s_14_5 1307 # ASSIGN : s_14_6 1399 # ASSIGN : s_14_7 1418 # ASSIGN : s_14_8 1484 # ASSIGN : s_14_9 1555 # ASSIGN : s_15_0 415 # ASSIGN : s_15_1 636 # ASSIGN : s_15_2 693 # ASSIGN : s_15_3 768 # ASSIGN : s_15_4 782 # ASSIGN : s_15_5 871 # ASSIGN : s_15_6 1107 # ASSIGN : s_15_7 1419 # ASSIGN : s_15_8 1637 # ASSIGN : s_15_9 1769 # ASSIGN : s_16_0 18 # ASSIGN : s_16_1 565 # ASSIGN : s_16_2 969 # ASSIGN : s_16_3 1021 # ASSIGN : s_16_4 1052 # ASSIGN : s_16_5 1168 # ASSIGN : s_16_6 1240 # ASSIGN : s_16_7 1344 # ASSIGN : s_16_8 1670 # ASSIGN : s_16_9 1764 # ASSIGN : s_17_0 35 # ASSIGN : s_17_1 179 # ASSIGN : s_17_2 346 # ASSIGN : s_17_3 363 # ASSIGN : s_17_4 437 # ASSIGN : s_17_5 475 # ASSIGN : s_17_6 496 # ASSIGN : s_17_7 511 # ASSIGN : s_17_8 1286 # ASSIGN : s_17_9 1330 # ASSIGN : s_18_0 1320 # ASSIGN : s_18_1 1370 # ASSIGN : s_18_2 1428 # ASSIGN : s_18_3 1449 # ASSIGN : s_18_4 1512 # ASSIGN : s_18_5 1569 # ASSIGN : s_18_6 1601 # ASSIGN : s_18_7 1621 # ASSIGN : s_18_8 1719 # ASSIGN : s_18_9 1790 # ASSIGN : s_19_0 41 # ASSIGN : s_19_1 98 # ASSIGN : s_19_2 736 # ASSIGN : s_19_3 924 # ASSIGN : s_19_4 1014 # ASSIGN : s_19_5 1084 # ASSIGN : s_19_6 1168 # ASSIGN : s_19_7 1203 # ASSIGN : s_19_8 1259 # ASSIGN : s_19_9 1814 # ASSIGN : s_20_0 69 # ASSIGN : s_20_1 107 # ASSIGN : s_20_2 228 # ASSIGN : s_20_3 315 # ASSIGN : s_20_4 501 # ASSIGN : s_20_5 522 # ASSIGN : s_20_6 572 # ASSIGN : s_20_7 700 # ASSIGN : s_20_8 784 # ASSIGN : s_20_9 1411 # ASSIGN : s_21_0 748 # ASSIGN : s_21_1 828 # ASSIGN : s_21_2 865 # ASSIGN : s_21_3 927 # ASSIGN : s_21_4 943 # ASSIGN : s_21_5 995 # ASSIGN : s_21_6 1052 # ASSIGN : s_21_7 1106 # ASSIGN : s_21_8 1144 # ASSIGN : s_21_9 1587 # ASSIGN : s_22_0 61 # ASSIGN : s_22_1 140 # ASSIGN : s_22_2 201 # ASSIGN : s_22_3 212 # ASSIGN : s_22_4 305 # ASSIGN : s_22_5 394 # ASSIGN : s_22_6 483 # ASSIGN : s_22_7 540 # ASSIGN : s_22_8 747 # ASSIGN : s_22_9 1670 # ASSIGN : s_23_0 554 # ASSIGN : s_23_1 595 # ASSIGN : s_23_2 661 # ASSIGN : s_23_3 707 # ASSIGN : s_23_4 740 # ASSIGN : s_23_5 748 # ASSIGN : s_23_6 768 # ASSIGN : s_23_7 852 # ASSIGN : s_23_8 1717 # ASSIGN : s_23_9 1772 # ASSIGN : s_24_0 50 # ASSIGN : s_24_1 180 # ASSIGN : s_24_2 244 # ASSIGN : s_24_3 578 # ASSIGN : s_24_4 618 # ASSIGN : s_24_5 696 # ASSIGN : s_24_6 1013 # ASSIGN : s_24_7 1032 # ASSIGN : s_24_8 1751 # ASSIGN : s_24_9 1822 # ASSIGN : s_25_0 252 # ASSIGN : s_25_1 395 # ASSIGN : s_25_2 789 # ASSIGN : s_25_3 1039 # ASSIGN : s_25_4 1103 # ASSIGN : s_25_5 1154 # ASSIGN : s_25_6 1218 # ASSIGN : s_25_7 1329 # ASSIGN : s_25_8 1698 # ASSIGN : s_25_9 1738 # ASSIGN : s_26_0 273 # ASSIGN : s_26_1 353 # ASSIGN : s_26_2 512 # ASSIGN : s_26_3 634 # ASSIGN : s_26_4 721 # ASSIGN : s_26_5 743 # ASSIGN : s_26_6 1065 # ASSIGN : s_26_7 1121 # ASSIGN : s_26_8 1196 # ASSIGN : s_26_9 1652 # ASSIGN : s_27_0 96 # ASSIGN : s_27_1 104 # ASSIGN : s_27_2 183 # ASSIGN : s_27_3 258 # ASSIGN : s_27_4 293 # ASSIGN : s_27_5 626 # ASSIGN : s_27_6 919 # ASSIGN : s_27_7 1030 # ASSIGN : s_27_8 1541 # ASSIGN : s_27_9 1588 # ASSIGN : s_28_0 700 # ASSIGN : s_28_1 1201 # ASSIGN : s_28_2 1389 # ASSIGN : s_28_3 1427 # ASSIGN : s_28_4 1514 # ASSIGN : s_28_5 1658 # ASSIGN : s_28_6 1708 # ASSIGN : s_28_7 1716 # ASSIGN : s_28_8 1734 # ASSIGN : s_28_9 1767 # ASSIGN : s_29_0 220 # ASSIGN : s_29_1 725 # ASSIGN : s_29_2 829 # ASSIGN : s_29_3 1061 # ASSIGN : s_29_4 1178 # ASSIGN : s_29_5 1274 # ASSIGN : s_29_6 1361 # ASSIGN : s_29_7 1379 # ASSIGN : s_29_8 1402 # ASSIGN : s_29_9 1466 SHOW_RESULT 1829 END : 1829 (2 seconds) [Fri Jun 2 01:15:35 2006] SHOW_RESULT 1829 CPU : 1.83000000000004 = 1.83000000000004 + 0 + 0 + 0 # BOUND : makespan 1784 1829 MODIFY_CNF 1806 BEGIN : [Fri Jun 2 01:15:35 2006] MODIFY_CNF 1806 END : 475427128 bytes (0 seconds) [Fri Jun 2 01:15:35 2006] MODIFY_CNF 1806 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1806 BEGIN : [Fri Jun 2 01:15:35 2006] CMD : minisat /work/tamura/csp2sat65880.cnf /work/tamura/csp2sat65880.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 12661628 37589543 | 4220542 0 0 NaNQ | 0.000 % | | 100 | 12661628 37589543 | 4642596 100 1568 15.7 | 39.084 % | | 250 | 12661628 37589543 | 5106855 250 5211 20.8 | 39.084 % | | 475 | 12661628 37589543 | 5617541 475 11042 23.2 | 39.084 % | | 812 | 12661628 37589543 | 6179295 812 17524 21.6 | 39.084 % | | 1321 | 12661628 37589543 | 6797225 1321 27879 21.1 | 39.084 % | | 2081 | 12661628 37589543 | 7476947 2081 44331 21.3 | 39.084 % | | 3220 | 12661628 37589543 | 8224642 3220 70453 21.9 | 39.084 % | | 4929 | 12661628 37589543 | 9047106 4929 137572 27.9 | 39.084 % | ==============================================================================) restarts : 9 conflicts : 5142 (66 /sec) decisions : 10561 (135 /sec) propagations : 39248868 (502285 /sec) inspects : 864578994 (11064386 /sec) conflict literals : 144504 (13.77 % deleted) CPU time : 78.1407 s SATISFIABLE VERIFY_CNF 1806 END : (89 seconds) [Fri Jun 2 01:17:04 2006] VERIFY_CNF 1806 CPU : 87.66 = 0.00999999999999091 + 0.0600000000000001 + 87.12 + 0.47 # RESULT : makespan 1806 SATISFIABLE SHOW_RESULT 1806 BEGIN : [Fri Jun 2 01:17:04 2006] # ASSIGN : makespan 1806 # ASSIGN : s_0_0 36 # ASSIGN : s_0_1 104 # ASSIGN : s_0_2 143 # ASSIGN : s_0_3 159 # ASSIGN : s_0_4 193 # ASSIGN : s_0_5 282 # ASSIGN : s_0_6 334 # ASSIGN : s_0_7 429 # ASSIGN : s_0_8 618 # ASSIGN : s_0_9 823 # ASSIGN : s_1_0 205 # ASSIGN : s_1_1 541 # ASSIGN : s_1_2 639 # ASSIGN : s_1_3 796 # ASSIGN : s_1_4 862 # ASSIGN : s_1_5 957 # ASSIGN : s_1_6 997 # ASSIGN : s_1_7 1123 # ASSIGN : s_1_8 1202 # ASSIGN : s_1_9 1362 # ASSIGN : s_2_0 767 # ASSIGN : s_2_1 932 # ASSIGN : s_2_2 1051 # ASSIGN : s_2_3 1085 # ASSIGN : s_2_4 1112 # ASSIGN : s_2_5 1287 # ASSIGN : s_2_6 1377 # ASSIGN : s_2_7 1420 # ASSIGN : s_2_8 1559 # ASSIGN : s_2_9 1638 # ASSIGN : s_3_0 2 # ASSIGN : s_3_1 100 # ASSIGN : s_3_2 124 # ASSIGN : s_3_3 202 # ASSIGN : s_3_4 257 # ASSIGN : s_3_5 383 # ASSIGN : s_3_6 512 # ASSIGN : s_3_7 684 # ASSIGN : s_3_8 911 # ASSIGN : s_3_9 1293 # ASSIGN : s_4_0 198 # ASSIGN : s_4_1 570 # ASSIGN : s_4_2 616 # ASSIGN : s_4_3 720 # ASSIGN : s_4_4 846 # ASSIGN : s_4_5 1102 # ASSIGN : s_4_6 1200 # ASSIGN : s_4_7 1235 # ASSIGN : s_4_8 1256 # ASSIGN : s_4_9 1466 # ASSIGN : s_5_0 881 # ASSIGN : s_5_1 1003 # ASSIGN : s_5_2 1038 # ASSIGN : s_5_3 1066 # ASSIGN : s_5_4 1161 # ASSIGN : s_5_5 1407 # ASSIGN : s_5_6 1500 # ASSIGN : s_5_7 1608 # ASSIGN : s_5_8 1685 # ASSIGN : s_5_9 1796 # ASSIGN : s_6_0 222 # ASSIGN : s_6_1 313 # ASSIGN : s_6_2 340 # ASSIGN : s_6_3 430 # ASSIGN : s_6_4 446 # ASSIGN : s_6_5 474 # ASSIGN : s_6_6 533 # ASSIGN : s_6_7 1374 # ASSIGN : s_6_8 1667 # ASSIGN : s_6_9 1753 # ASSIGN : s_7_0 429 # ASSIGN : s_7_1 474 # ASSIGN : s_7_2 622 # ASSIGN : s_7_3 676 # ASSIGN : s_7_4 799 # ASSIGN : s_7_5 1524 # ASSIGN : s_7_6 1669 # ASSIGN : s_7_7 1710 # ASSIGN : s_7_8 1758 # ASSIGN : s_7_9 1786 # ASSIGN : s_8_0 8 # ASSIGN : s_8_1 308 # ASSIGN : s_8_2 1048 # ASSIGN : s_8_3 1081 # ASSIGN : s_8_4 1163 # ASSIGN : s_8_5 1578 # ASSIGN : s_8_6 1667 # ASSIGN : s_8_7 1675 # ASSIGN : s_8_8 1745 # ASSIGN : s_8_9 1773 # ASSIGN : s_9_0 15 # ASSIGN : s_9_1 95 # ASSIGN : s_9_2 164 # ASSIGN : s_9_3 248 # ASSIGN : s_9_4 275 # ASSIGN : s_9_5 356 # ASSIGN : s_9_6 401 # ASSIGN : s_9_7 470 # ASSIGN : s_9_8 585 # ASSIGN : s_9_9 1690 # ASSIGN : s_10_0 33 # ASSIGN : s_10_1 170 # ASSIGN : s_10_2 348 # ASSIGN : s_10_3 385 # ASSIGN : s_10_4 714 # ASSIGN : s_10_5 831 # ASSIGN : s_10_6 985 # ASSIGN : s_10_7 1024 # ASSIGN : s_10_8 1054 # ASSIGN : s_10_9 1174 # ASSIGN : s_11_0 380 # ASSIGN : s_11_1 559 # ASSIGN : s_11_2 649 # ASSIGN : s_11_3 677 # ASSIGN : s_11_4 763 # ASSIGN : s_11_5 821 # ASSIGN : s_11_6 893 # ASSIGN : s_11_7 921 # ASSIGN : s_11_8 1369 # ASSIGN : s_11_9 1468 # ASSIGN : s_12_0 89 # ASSIGN : s_12_1 137 # ASSIGN : s_12_2 173 # ASSIGN : s_12_3 240 # ASSIGN : s_12_4 348 # ASSIGN : s_12_5 935 # ASSIGN : s_12_6 998 # ASSIGN : s_12_7 1044 # ASSIGN : s_12_8 1472 # ASSIGN : s_12_9 1605 # ASSIGN : s_13_0 9 # ASSIGN : s_13_1 90 # ASSIGN : s_13_2 109 # ASSIGN : s_13_3 174 # ASSIGN : s_13_4 218 # ASSIGN : s_13_5 366 # ASSIGN : s_13_6 880 # ASSIGN : s_13_7 1450 # ASSIGN : s_13_8 1651 # ASSIGN : s_13_9 1756 # ASSIGN : s_14_0 45 # ASSIGN : s_14_1 497 # ASSIGN : s_14_2 712 # ASSIGN : s_14_3 813 # ASSIGN : s_14_4 892 # ASSIGN : s_14_5 906 # ASSIGN : s_14_6 978 # ASSIGN : s_14_7 996 # ASSIGN : s_14_8 1694 # ASSIGN : s_14_9 1731 # ASSIGN : s_15_0 689 # ASSIGN : s_15_1 716 # ASSIGN : s_15_2 773 # ASSIGN : s_15_3 848 # ASSIGN : s_15_4 1074 # ASSIGN : s_15_5 1139 # ASSIGN : s_15_6 1244 # ASSIGN : s_15_7 1315 # ASSIGN : s_15_8 1535 # ASSIGN : s_15_9 1746 # ASSIGN : s_16_0 276 # ASSIGN : s_16_1 314 # ASSIGN : s_16_2 572 # ASSIGN : s_16_3 681 # ASSIGN : s_16_4 832 # ASSIGN : s_16_5 902 # ASSIGN : s_16_6 1425 # ASSIGN : s_16_7 1480 # ASSIGN : s_16_8 1620 # ASSIGN : s_16_9 1741 # ASSIGN : s_17_0 14 # ASSIGN : s_17_1 130 # ASSIGN : s_17_2 207 # ASSIGN : s_17_3 614 # ASSIGN : s_17_4 711 # ASSIGN : s_17_5 1444 # ASSIGN : s_17_6 1459 # ASSIGN : s_17_7 1520 # ASSIGN : s_17_8 1549 # ASSIGN : s_17_9 1593 # ASSIGN : s_18_0 513 # ASSIGN : s_18_1 564 # ASSIGN : s_18_2 663 # ASSIGN : s_18_3 1257 # ASSIGN : s_18_4 1320 # ASSIGN : s_18_5 1418 # ASSIGN : s_18_6 1452 # ASSIGN : s_18_7 1472 # ASSIGN : s_18_8 1594 # ASSIGN : s_18_9 1654 # ASSIGN : s_19_0 2 # ASSIGN : s_19_1 22 # ASSIGN : s_19_2 89 # ASSIGN : s_19_3 224 # ASSIGN : s_19_4 404 # ASSIGN : s_19_5 486 # ASSIGN : s_19_6 1255 # ASSIGN : s_19_7 1332 # ASSIGN : s_19_8 1593 # ASSIGN : s_19_9 1654 # ASSIGN : s_20_0 262 # ASSIGN : s_20_1 291 # ASSIGN : s_20_2 494 # ASSIGN : s_20_3 1101 # ASSIGN : s_20_4 1299 # ASSIGN : s_20_5 1368 # ASSIGN : s_20_6 1515 # ASSIGN : s_20_7 1538 # ASSIGN : s_20_8 1622 # ASSIGN : s_20_9 1669 # ASSIGN : s_21_0 459 # ASSIGN : s_21_1 773 # ASSIGN : s_21_2 1163 # ASSIGN : s_21_3 1225 # ASSIGN : s_21_4 1241 # ASSIGN : s_21_5 1293 # ASSIGN : s_21_6 1350 # ASSIGN : s_21_7 1404 # ASSIGN : s_21_8 1442 # ASSIGN : s_21_9 1693 # ASSIGN : s_22_0 139 # ASSIGN : s_22_1 329 # ASSIGN : s_22_2 390 # ASSIGN : s_22_3 405 # ASSIGN : s_22_4 545 # ASSIGN : s_22_5 1074 # ASSIGN : s_22_6 1244 # ASSIGN : s_22_7 1301 # ASSIGN : s_22_8 1376 # ASSIGN : s_22_9 1726 # ASSIGN : s_23_0 749 # ASSIGN : s_23_1 1104 # ASSIGN : s_23_2 1170 # ASSIGN : s_23_3 1252 # ASSIGN : s_23_4 1285 # ASSIGN : s_23_5 1321 # ASSIGN : s_23_6 1341 # ASSIGN : s_23_7 1503 # ASSIGN : s_23_8 1683 # ASSIGN : s_23_9 1738 # ASSIGN : s_24_0 563 # ASSIGN : s_24_1 661 # ASSIGN : s_24_2 725 # ASSIGN : s_24_3 1041 # ASSIGN : s_24_4 1153 # ASSIGN : s_24_5 1308 # ASSIGN : s_24_6 1331 # ASSIGN : s_24_7 1388 # ASSIGN : s_24_8 1615 # ASSIGN : s_24_9 1799 # ASSIGN : s_25_0 9 # ASSIGN : s_25_1 65 # ASSIGN : s_25_2 165 # ASSIGN : s_25_3 1038 # ASSIGN : s_25_4 1457 # ASSIGN : s_25_5 1474 # ASSIGN : s_25_6 1516 # ASSIGN : s_25_7 1614 # ASSIGN : s_25_8 1675 # ASSIGN : s_25_9 1715 # ASSIGN : s_26_0 538 # ASSIGN : s_26_1 801 # ASSIGN : s_26_2 876 # ASSIGN : s_26_3 916 # ASSIGN : s_26_4 1010 # ASSIGN : s_26_5 1032 # ASSIGN : s_26_6 1071 # ASSIGN : s_26_7 1095 # ASSIGN : s_26_8 1243 # ASSIGN : s_26_9 1767 # ASSIGN : s_27_0 3 # ASSIGN : s_27_1 11 # ASSIGN : s_27_2 112 # ASSIGN : s_27_3 314 # ASSIGN : s_27_4 373 # ASSIGN : s_27_5 634 # ASSIGN : s_27_6 694 # ASSIGN : s_27_7 810 # ASSIGN : s_27_8 1493 # ASSIGN : s_27_9 1513 # ASSIGN : s_28_0 186 # ASSIGN : s_28_1 228 # ASSIGN : s_28_2 302 # ASSIGN : s_28_3 312 # ASSIGN : s_28_4 334 # ASSIGN : s_28_5 434 # ASSIGN : s_28_6 477 # ASSIGN : s_28_7 482 # ASSIGN : s_28_8 500 # ASSIGN : s_28_9 1259 # ASSIGN : s_29_0 57 # ASSIGN : s_29_1 80 # ASSIGN : s_29_2 95 # ASSIGN : s_29_3 617 # ASSIGN : s_29_4 712 # ASSIGN : s_29_5 808 # ASSIGN : s_29_6 862 # ASSIGN : s_29_7 883 # ASSIGN : s_29_8 913 # ASSIGN : s_29_9 977 SHOW_RESULT 1806 END : 1806 (2 seconds) [Fri Jun 2 01:17:06 2006] SHOW_RESULT 1806 CPU : 1.87000000000001 = 1.86000000000001 + 0.01 + 0 + 0 # BOUND : makespan 1784 1806 MODIFY_CNF 1795 BEGIN : [Fri Jun 2 01:17:06 2006] MODIFY_CNF 1795 END : 475427128 bytes (0 seconds) [Fri Jun 2 01:17:06 2006] MODIFY_CNF 1795 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1795 BEGIN : [Fri Jun 2 01:17:06 2006] CMD : minisat /work/tamura/csp2sat65880.cnf /work/tamura/csp2sat65880.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 12562617 37295821 | 4187539 0 0 NaNQ | 0.000 % | | 100 | 12562617 37295821 | 4606292 100 2271 22.7 | 39.590 % | | 251 | 12562617 37295821 | 5066922 251 5856 23.3 | 39.590 % | | 476 | 12562617 37295821 | 5573614 476 10655 22.4 | 39.590 % | | 813 | 12562617 37295821 | 6130975 813 28020 34.5 | 39.590 % | | 1320 | 12562617 37295821 | 6744073 1320 38164 28.9 | 39.590 % | | 2080 | 12562617 37295821 | 7418480 2080 69088 33.2 | 39.590 % | | 3219 | 12562617 37295821 | 8160328 3219 95740 29.7 | 39.590 % | | 4927 | 12562617 37295821 | 8976361 4927 132210 26.8 | 39.590 % | ==============================================================================) restarts : 9 conflicts : 7362 (64 /sec) decisions : 14450 (125 /sec) propagations : 65742326 (567772 /sec) inspects : 1386581461 (11974956 /sec) conflict literals : 227019 (13.15 % deleted) CPU time : 115.79 s SATISFIABLE VERIFY_CNF 1795 END : (126 seconds) [Fri Jun 2 01:19:12 2006] VERIFY_CNF 1795 CPU : 125.5 = 0 + 0.05 + 123.77 + 1.68 # RESULT : makespan 1795 SATISFIABLE SHOW_RESULT 1795 BEGIN : [Fri Jun 2 01:19:12 2006] # ASSIGN : makespan 1795 # ASSIGN : s_0_0 23 # ASSIGN : s_0_1 44 # ASSIGN : s_0_2 88 # ASSIGN : s_0_3 104 # ASSIGN : s_0_4 158 # ASSIGN : s_0_5 216 # ASSIGN : s_0_6 268 # ASSIGN : s_0_7 515 # ASSIGN : s_0_8 636 # ASSIGN : s_0_9 708 # ASSIGN : s_1_0 77 # ASSIGN : s_1_1 154 # ASSIGN : s_1_2 553 # ASSIGN : s_1_3 811 # ASSIGN : s_1_4 877 # ASSIGN : s_1_5 915 # ASSIGN : s_1_6 954 # ASSIGN : s_1_7 1086 # ASSIGN : s_1_8 1165 # ASSIGN : s_1_9 1231 # ASSIGN : s_2_0 467 # ASSIGN : s_2_1 556 # ASSIGN : s_2_2 721 # ASSIGN : s_2_3 819 # ASSIGN : s_2_4 838 # ASSIGN : s_2_5 900 # ASSIGN : s_2_6 1122 # ASSIGN : s_2_7 1546 # ASSIGN : s_2_8 1659 # ASSIGN : s_2_9 1738 # ASSIGN : s_3_0 8 # ASSIGN : s_3_1 424 # ASSIGN : s_3_2 481 # ASSIGN : s_3_3 773 # ASSIGN : s_3_4 831 # ASSIGN : s_3_5 908 # ASSIGN : s_3_6 995 # ASSIGN : s_3_7 1069 # ASSIGN : s_3_8 1253 # ASSIGN : s_3_9 1369 # ASSIGN : s_4_0 234 # ASSIGN : s_4_1 907 # ASSIGN : s_4_2 1055 # ASSIGN : s_4_3 1151 # ASSIGN : s_4_4 1230 # ASSIGN : s_4_5 1452 # ASSIGN : s_4_6 1550 # ASSIGN : s_4_7 1588 # ASSIGN : s_4_8 1677 # ASSIGN : s_4_9 1746 # ASSIGN : s_5_0 213 # ASSIGN : s_5_1 328 # ASSIGN : s_5_2 363 # ASSIGN : s_5_3 391 # ASSIGN : s_5_4 1027 # ASSIGN : s_5_5 1393 # ASSIGN : s_5_6 1684 # ASSIGN : s_5_7 1719 # ASSIGN : s_5_8 1726 # ASSIGN : s_5_9 1744 # ASSIGN : s_6_0 201 # ASSIGN : s_6_1 302 # ASSIGN : s_6_2 360 # ASSIGN : s_6_3 411 # ASSIGN : s_6_4 428 # ASSIGN : s_6_5 505 # ASSIGN : s_6_6 586 # ASSIGN : s_6_7 662 # ASSIGN : s_6_8 818 # ASSIGN : s_6_9 1530 # ASSIGN : s_7_0 91 # ASSIGN : s_7_1 142 # ASSIGN : s_7_2 213 # ASSIGN : s_7_3 252 # ASSIGN : s_7_4 410 # ASSIGN : s_7_5 461 # ASSIGN : s_7_6 1168 # ASSIGN : s_7_7 1209 # ASSIGN : s_7_8 1266 # ASSIGN : s_7_9 1478 # ASSIGN : s_8_0 252 # ASSIGN : s_8_1 289 # ASSIGN : s_8_2 329 # ASSIGN : s_8_3 362 # ASSIGN : s_8_4 1072 # ASSIGN : s_8_5 1440 # ASSIGN : s_8_6 1537 # ASSIGN : s_8_7 1605 # ASSIGN : s_8_8 1671 # ASSIGN : s_8_9 1699 # ASSIGN : s_9_0 17 # ASSIGN : s_9_1 101 # ASSIGN : s_9_2 709 # ASSIGN : s_9_3 793 # ASSIGN : s_9_4 820 # ASSIGN : s_9_5 901 # ASSIGN : s_9_6 946 # ASSIGN : s_9_7 1015 # ASSIGN : s_9_8 1110 # ASSIGN : s_9_9 1220 # ASSIGN : s_10_0 32 # ASSIGN : s_10_1 110 # ASSIGN : s_10_2 152 # ASSIGN : s_10_3 170 # ASSIGN : s_10_4 1033 # ASSIGN : s_10_5 1274 # ASSIGN : s_10_6 1291 # ASSIGN : s_10_7 1316 # ASSIGN : s_10_8 1340 # ASSIGN : s_10_9 1371 # ASSIGN : s_11_0 404 # ASSIGN : s_11_1 501 # ASSIGN : s_11_2 591 # ASSIGN : s_11_3 619 # ASSIGN : s_11_4 951 # ASSIGN : s_11_5 1181 # ASSIGN : s_11_6 1342 # ASSIGN : s_11_7 1529 # ASSIGN : s_11_8 1605 # ASSIGN : s_11_9 1750 # ASSIGN : s_12_0 516 # ASSIGN : s_12_1 564 # ASSIGN : s_12_2 638 # ASSIGN : s_12_3 705 # ASSIGN : s_12_4 767 # ASSIGN : s_12_5 865 # ASSIGN : s_12_6 1037 # ASSIGN : s_12_7 1083 # ASSIGN : s_12_8 1120 # ASSIGN : s_12_9 1778 # ASSIGN : s_13_0 6 # ASSIGN : s_13_1 86 # ASSIGN : s_13_2 108 # ASSIGN : s_13_3 136 # ASSIGN : s_13_4 148 # ASSIGN : s_13_5 266 # ASSIGN : s_13_6 329 # ASSIGN : s_13_7 448 # ASSIGN : s_13_8 498 # ASSIGN : s_13_9 1571 # ASSIGN : s_14_0 545 # ASSIGN : s_14_1 595 # ASSIGN : s_14_2 648 # ASSIGN : s_14_3 709 # ASSIGN : s_14_4 1000 # ASSIGN : s_14_5 1014 # ASSIGN : s_14_6 1165 # ASSIGN : s_14_7 1231 # ASSIGN : s_14_8 1645 # ASSIGN : s_14_9 1720 # ASSIGN : s_15_0 212 # ASSIGN : s_15_1 399 # ASSIGN : s_15_2 456 # ASSIGN : s_15_3 531 # ASSIGN : s_15_4 554 # ASSIGN : s_15_5 625 # ASSIGN : s_15_6 747 # ASSIGN : s_15_7 818 # ASSIGN : s_15_8 1266 # ASSIGN : s_15_9 1735 # ASSIGN : s_16_0 0 # ASSIGN : s_16_1 35 # ASSIGN : s_16_2 104 # ASSIGN : s_16_3 170 # ASSIGN : s_16_4 311 # ASSIGN : s_16_5 1243 # ASSIGN : s_16_6 1305 # ASSIGN : s_16_7 1339 # ASSIGN : s_16_8 1630 # ASSIGN : s_16_9 1730 # ASSIGN : s_17_0 4 # ASSIGN : s_17_1 70 # ASSIGN : s_17_2 138 # ASSIGN : s_17_3 190 # ASSIGN : s_17_4 595 # ASSIGN : s_17_5 701 # ASSIGN : s_17_6 718 # ASSIGN : s_17_7 1286 # ASSIGN : s_17_8 1454 # ASSIGN : s_17_9 1498 # ASSIGN : s_18_0 105 # ASSIGN : s_18_1 155 # ASSIGN : s_18_2 245 # ASSIGN : s_18_3 364 # ASSIGN : s_18_4 427 # ASSIGN : s_18_5 620 # ASSIGN : s_18_6 654 # ASSIGN : s_18_7 674 # ASSIGN : s_18_8 761 # ASSIGN : s_18_9 1142 # ASSIGN : s_19_0 65 # ASSIGN : s_19_1 85 # ASSIGN : s_19_2 292 # ASSIGN : s_19_3 377 # ASSIGN : s_19_4 484 # ASSIGN : s_19_5 578 # ASSIGN : s_19_6 1121 # ASSIGN : s_19_7 1210 # ASSIGN : s_19_8 1315 # ASSIGN : s_19_9 1493 # ASSIGN : s_20_0 365 # ASSIGN : s_20_1 1372 # ASSIGN : s_20_2 1454 # ASSIGN : s_20_3 1472 # ASSIGN : s_20_4 1516 # ASSIGN : s_20_5 1537 # ASSIGN : s_20_6 1592 # ASSIGN : s_20_7 1615 # ASSIGN : s_20_8 1703 # ASSIGN : s_20_9 1754 # ASSIGN : s_21_0 32 # ASSIGN : s_21_1 146 # ASSIGN : s_21_2 183 # ASSIGN : s_21_3 252 # ASSIGN : s_21_4 339 # ASSIGN : s_21_5 652 # ASSIGN : s_21_6 867 # ASSIGN : s_21_7 1304 # ASSIGN : s_21_8 1545 # ASSIGN : s_21_9 1619 # ASSIGN : s_22_0 250 # ASSIGN : s_22_1 394 # ASSIGN : s_22_2 1110 # ASSIGN : s_22_3 1150 # ASSIGN : s_22_4 1253 # ASSIGN : s_22_5 1351 # ASSIGN : s_22_6 1453 # ASSIGN : s_22_7 1510 # ASSIGN : s_22_8 1578 # ASSIGN : s_22_9 1748 # ASSIGN : s_23_0 633 # ASSIGN : s_23_1 657 # ASSIGN : s_23_2 723 # ASSIGN : s_23_3 755 # ASSIGN : s_23_4 788 # ASSIGN : s_23_5 796 # ASSIGN : s_23_6 816 # ASSIGN : s_23_7 1629 # ASSIGN : s_23_8 1720 # ASSIGN : s_23_9 1775 # ASSIGN : s_24_0 427 # ASSIGN : s_24_1 668 # ASSIGN : s_24_2 733 # ASSIGN : s_24_3 974 # ASSIGN : s_24_4 1183 # ASSIGN : s_24_5 1365 # ASSIGN : s_24_6 1374 # ASSIGN : s_24_7 1397 # ASSIGN : s_24_8 1553 # ASSIGN : s_24_9 1788 # ASSIGN : s_25_0 915 # ASSIGN : s_25_1 921 # ASSIGN : s_25_2 1009 # ASSIGN : s_25_3 1109 # ASSIGN : s_25_4 1173 # ASSIGN : s_25_5 1188 # ASSIGN : s_25_6 1354 # ASSIGN : s_25_7 1452 # ASSIGN : s_25_8 1575 # ASSIGN : s_25_9 1704 # ASSIGN : s_26_0 470 # ASSIGN : s_26_1 550 # ASSIGN : s_26_2 1339 # ASSIGN : s_26_3 1365 # ASSIGN : s_26_4 1452 # ASSIGN : s_26_5 1474 # ASSIGN : s_26_6 1513 # ASSIGN : s_26_7 1595 # ASSIGN : s_26_8 1682 # ASSIGN : s_26_9 1732 # ASSIGN : s_27_0 146 # ASSIGN : s_27_1 315 # ASSIGN : s_27_2 394 # ASSIGN : s_27_3 455 # ASSIGN : s_27_4 486 # ASSIGN : s_27_5 1191 # ASSIGN : s_27_6 1345 # ASSIGN : s_27_7 1508 # ASSIGN : s_27_8 1621 # ASSIGN : s_27_9 1670 # ASSIGN : s_28_0 879 # ASSIGN : s_28_1 1276 # ASSIGN : s_28_2 1342 # ASSIGN : s_28_3 1352 # ASSIGN : s_28_4 1376 # ASSIGN : s_28_5 1510 # ASSIGN : s_28_6 1573 # ASSIGN : s_28_7 1587 # ASSIGN : s_28_8 1608 # ASSIGN : s_28_9 1641 # ASSIGN : s_29_0 242 # ASSIGN : s_29_1 605 # ASSIGN : s_29_2 732 # ASSIGN : s_29_3 820 # ASSIGN : s_29_4 935 # ASSIGN : s_29_5 1031 # ASSIGN : s_29_6 1234 # ASSIGN : s_29_7 1252 # ASSIGN : s_29_8 1275 # ASSIGN : s_29_9 1457 SHOW_RESULT 1795 END : 1795 (1 seconds) [Fri Jun 2 01:19:13 2006] SHOW_RESULT 1795 CPU : 1.89 = 1.88 + 0.00999999999999979 + 0 + 0 # BOUND : makespan 1784 1795 MODIFY_CNF 1789 BEGIN : [Fri Jun 2 01:19:13 2006] MODIFY_CNF 1789 END : 475427127 bytes (0 seconds) [Fri Jun 2 01:19:13 2006] MODIFY_CNF 1789 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1789 BEGIN : [Fri Jun 2 01:19:13 2006] CMD : minisat /work/tamura/csp2sat65880.cnf /work/tamura/csp2sat65880.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 12508611 37135609 | 4169537 0 0 NaNQ | 0.000 % | | 101 | 12508611 37135609 | 4586490 101 4577 45.3 | 39.866 % | | 252 | 12508611 37135609 | 5045139 252 8185 32.5 | 39.866 % | | 478 | 12508611 37135609 | 5549653 478 13123 27.5 | 39.866 % | | 815 | 12508611 37135609 | 6104619 815 23875 29.3 | 39.866 % | | 1321 | 12508611 37135609 | 6715081 1321 38785 29.4 | 39.866 % | | 2081 | 12508611 37135609 | 7386589 2081 66928 32.2 | 39.866 % | | 3220 | 12508611 37135609 | 8125248 3220 96425 29.9 | 39.866 % | | 4929 | 12508611 37135609 | 8937772 4929 148318 30.1 | 39.866 % | | 7493 | 12508611 37135609 | 9831550 7493 228751 30.5 | 39.866 % | ==============================================================================) restarts : 10 conflicts : 10878 (68 /sec) decisions : 20025 (126 /sec) propagations : 98597520 (620861 /sec) inspects : 2057887095 (12958347 /sec) conflict literals : 363505 (20.39 % deleted) CPU time : 158.808 s SATISFIABLE VERIFY_CNF 1789 END : (169 seconds) [Fri Jun 2 01:22:02 2006] VERIFY_CNF 1789 CPU : 168.85 = 0.00999999999999091 + 0.0600000000000001 + 167.11 + 1.67 # RESULT : makespan 1789 SATISFIABLE SHOW_RESULT 1789 BEGIN : [Fri Jun 2 01:22:02 2006] # ASSIGN : makespan 1789 # ASSIGN : s_0_0 44 # ASSIGN : s_0_1 65 # ASSIGN : s_0_2 91 # ASSIGN : s_0_3 107 # ASSIGN : s_0_4 141 # ASSIGN : s_0_5 196 # ASSIGN : s_0_6 248 # ASSIGN : s_0_7 343 # ASSIGN : s_0_8 458 # ASSIGN : s_0_9 497 # ASSIGN : s_1_0 18 # ASSIGN : s_1_1 95 # ASSIGN : s_1_2 218 # ASSIGN : s_1_3 276 # ASSIGN : s_1_4 342 # ASSIGN : s_1_5 373 # ASSIGN : s_1_6 414 # ASSIGN : s_1_7 491 # ASSIGN : s_1_8 590 # ASSIGN : s_1_9 645 # ASSIGN : s_2_0 518 # ASSIGN : s_2_1 749 # ASSIGN : s_2_2 937 # ASSIGN : s_2_3 987 # ASSIGN : s_2_4 1006 # ASSIGN : s_2_5 1087 # ASSIGN : s_2_6 1211 # ASSIGN : s_2_7 1355 # ASSIGN : s_2_8 1582 # ASSIGN : s_2_9 1732 # ASSIGN : s_3_0 5 # ASSIGN : s_3_1 106 # ASSIGN : s_3_2 228 # ASSIGN : s_3_3 416 # ASSIGN : s_3_4 468 # ASSIGN : s_3_5 596 # ASSIGN : s_3_6 683 # ASSIGN : s_3_7 743 # ASSIGN : s_3_8 848 # ASSIGN : s_3_9 935 # ASSIGN : s_4_0 414 # ASSIGN : s_4_1 772 # ASSIGN : s_4_2 841 # ASSIGN : s_4_3 1068 # ASSIGN : s_4_4 1347 # ASSIGN : s_4_5 1487 # ASSIGN : s_4_6 1596 # ASSIGN : s_4_7 1633 # ASSIGN : s_4_8 1651 # ASSIGN : s_4_9 1694 # ASSIGN : s_5_0 297 # ASSIGN : s_5_1 377 # ASSIGN : s_5_2 412 # ASSIGN : s_5_3 550 # ASSIGN : s_5_4 1012 # ASSIGN : s_5_5 1145 # ASSIGN : s_5_6 1309 # ASSIGN : s_5_7 1443 # ASSIGN : s_5_8 1489 # ASSIGN : s_5_9 1509 # ASSIGN : s_6_0 682 # ASSIGN : s_6_1 807 # ASSIGN : s_6_2 871 # ASSIGN : s_6_3 921 # ASSIGN : s_6_4 937 # ASSIGN : s_6_5 976 # ASSIGN : s_6_6 1035 # ASSIGN : s_6_7 1087 # ASSIGN : s_6_8 1190 # ASSIGN : s_6_9 1466 # ASSIGN : s_7_0 413 # ASSIGN : s_7_1 686 # ASSIGN : s_7_2 777 # ASSIGN : s_7_3 816 # ASSIGN : s_7_4 942 # ASSIGN : s_7_5 981 # ASSIGN : s_7_6 1463 # ASSIGN : s_7_7 1539 # ASSIGN : s_7_8 1627 # ASSIGN : s_7_9 1672 # ASSIGN : s_8_0 70 # ASSIGN : s_8_1 202 # ASSIGN : s_8_2 242 # ASSIGN : s_8_3 887 # ASSIGN : s_8_4 929 # ASSIGN : s_8_5 1141 # ASSIGN : s_8_6 1336 # ASSIGN : s_8_7 1344 # ASSIGN : s_8_8 1411 # ASSIGN : s_8_9 1439 # ASSIGN : s_9_0 23 # ASSIGN : s_9_1 98 # ASSIGN : s_9_2 565 # ASSIGN : s_9_3 649 # ASSIGN : s_9_4 676 # ASSIGN : s_9_5 757 # ASSIGN : s_9_6 802 # ASSIGN : s_9_7 1249 # ASSIGN : s_9_8 1498 # ASSIGN : s_9_9 1576 # ASSIGN : s_10_0 19 # ASSIGN : s_10_1 180 # ASSIGN : s_10_2 212 # ASSIGN : s_10_3 230 # ASSIGN : s_10_4 971 # ASSIGN : s_10_5 1074 # ASSIGN : s_10_6 1091 # ASSIGN : s_10_7 1116 # ASSIGN : s_10_8 1140 # ASSIGN : s_10_9 1171 # ASSIGN : s_11_0 253 # ASSIGN : s_11_1 350 # ASSIGN : s_11_2 440 # ASSIGN : s_11_3 600 # ASSIGN : s_11_4 714 # ASSIGN : s_11_5 773 # ASSIGN : s_11_6 845 # ASSIGN : s_11_7 868 # ASSIGN : s_11_8 1112 # ASSIGN : s_11_9 1432 # ASSIGN : s_12_0 145 # ASSIGN : s_12_1 193 # ASSIGN : s_12_2 276 # ASSIGN : s_12_3 950 # ASSIGN : s_12_4 1018 # ASSIGN : s_12_5 1520 # ASSIGN : s_12_6 1577 # ASSIGN : s_12_7 1623 # ASSIGN : s_12_8 1650 # ASSIGN : s_12_9 1772 # ASSIGN : s_13_0 11 # ASSIGN : s_13_1 122 # ASSIGN : s_13_2 220 # ASSIGN : s_13_3 321 # ASSIGN : s_13_4 360 # ASSIGN : s_13_5 553 # ASSIGN : s_13_6 852 # ASSIGN : s_13_7 956 # ASSIGN : s_13_8 1007 # ASSIGN : s_13_9 1585 # ASSIGN : s_14_0 144 # ASSIGN : s_14_1 479 # ASSIGN : s_14_2 529 # ASSIGN : s_14_3 669 # ASSIGN : s_14_4 748 # ASSIGN : s_14_5 762 # ASSIGN : s_14_6 834 # ASSIGN : s_14_7 866 # ASSIGN : s_14_8 944 # ASSIGN : s_14_9 1445 # ASSIGN : s_15_0 231 # ASSIGN : s_15_1 347 # ASSIGN : s_15_2 454 # ASSIGN : s_15_3 582 # ASSIGN : s_15_4 1146 # ASSIGN : s_15_5 1211 # ASSIGN : s_15_6 1340 # ASSIGN : s_15_7 1562 # ASSIGN : s_15_8 1650 # ASSIGN : s_15_9 1729 # ASSIGN : s_16_0 617 # ASSIGN : s_16_1 688 # ASSIGN : s_16_2 965 # ASSIGN : s_16_3 1009 # ASSIGN : s_16_4 1040 # ASSIGN : s_16_5 1133 # ASSIGN : s_16_6 1230 # ASSIGN : s_16_7 1359 # ASSIGN : s_16_8 1417 # ASSIGN : s_16_9 1486 # ASSIGN : s_17_0 130 # ASSIGN : s_17_1 225 # ASSIGN : s_17_2 1109 # ASSIGN : s_17_3 1218 # ASSIGN : s_17_4 1329 # ASSIGN : s_17_5 1431 # ASSIGN : s_17_6 1474 # ASSIGN : s_17_7 1504 # ASSIGN : s_17_8 1533 # ASSIGN : s_17_9 1692 # ASSIGN : s_18_0 72 # ASSIGN : s_18_1 194 # ASSIGN : s_18_2 255 # ASSIGN : s_18_3 297 # ASSIGN : s_18_4 454 # ASSIGN : s_18_5 513 # ASSIGN : s_18_6 545 # ASSIGN : s_18_7 570 # ASSIGN : s_18_8 657 # ASSIGN : s_18_9 1450 # ASSIGN : s_19_0 24 # ASSIGN : s_19_1 54 # ASSIGN : s_19_2 133 # ASSIGN : s_19_3 252 # ASSIGN : s_19_4 343 # ASSIGN : s_19_5 413 # ASSIGN : s_19_6 639 # ASSIGN : s_19_7 674 # ASSIGN : s_19_8 730 # ASSIGN : s_19_9 1519 # ASSIGN : s_20_0 121 # ASSIGN : s_20_1 250 # ASSIGN : s_20_2 1282 # ASSIGN : s_20_3 1307 # ASSIGN : s_20_4 1345 # ASSIGN : s_20_5 1436 # ASSIGN : s_20_6 1489 # ASSIGN : s_20_7 1512 # ASSIGN : s_20_8 1635 # ASSIGN : s_20_9 1748 # ASSIGN : s_21_0 18 # ASSIGN : s_21_1 108 # ASSIGN : s_21_2 150 # ASSIGN : s_21_3 1150 # ASSIGN : s_21_4 1166 # ASSIGN : s_21_5 1252 # ASSIGN : s_21_6 1375 # ASSIGN : s_21_7 1429 # ASSIGN : s_21_8 1568 # ASSIGN : s_21_9 1642 # ASSIGN : s_22_0 155 # ASSIGN : s_22_1 260 # ASSIGN : s_22_2 321 # ASSIGN : s_22_3 332 # ASSIGN : s_22_4 511 # ASSIGN : s_22_5 616 # ASSIGN : s_22_6 1238 # ASSIGN : s_22_7 1565 # ASSIGN : s_22_8 1661 # ASSIGN : s_22_9 1742 # ASSIGN : s_23_0 390 # ASSIGN : s_23_1 520 # ASSIGN : s_23_2 651 # ASSIGN : s_23_3 697 # ASSIGN : s_23_4 749 # ASSIGN : s_23_5 757 # ASSIGN : s_23_6 784 # ASSIGN : s_23_7 1609 # ASSIGN : s_23_8 1714 # ASSIGN : s_23_9 1769 # ASSIGN : s_24_0 1058 # ASSIGN : s_24_1 1126 # ASSIGN : s_24_2 1264 # ASSIGN : s_24_3 1367 # ASSIGN : s_24_4 1409 # ASSIGN : s_24_5 1438 # ASSIGN : s_24_6 1477 # ASSIGN : s_24_7 1676 # ASSIGN : s_24_8 1743 # ASSIGN : s_24_9 1782 # ASSIGN : s_25_0 1200 # ASSIGN : s_25_1 1206 # ASSIGN : s_25_2 1280 # ASSIGN : s_25_3 1343 # ASSIGN : s_25_4 1407 # ASSIGN : s_25_5 1422 # ASSIGN : s_25_6 1464 # ASSIGN : s_25_7 1562 # ASSIGN : s_25_8 1636 # ASSIGN : s_25_9 1698 # ASSIGN : s_26_0 333 # ASSIGN : s_26_1 791 # ASSIGN : s_26_2 903 # ASSIGN : s_26_3 931 # ASSIGN : s_26_4 1018 # ASSIGN : s_26_5 1107 # ASSIGN : s_26_6 1147 # ASSIGN : s_26_7 1300 # ASSIGN : s_26_8 1577 # ASSIGN : s_26_9 1621 # ASSIGN : s_27_0 404 # ASSIGN : s_27_1 412 # ASSIGN : s_27_2 492 # ASSIGN : s_27_3 972 # ASSIGN : s_27_4 1343 # ASSIGN : s_27_5 1366 # ASSIGN : s_27_6 1410 # ASSIGN : s_27_7 1444 # ASSIGN : s_27_8 1467 # ASSIGN : s_27_9 1496 # ASSIGN : s_28_0 97 # ASSIGN : s_28_1 167 # ASSIGN : s_28_2 265 # ASSIGN : s_28_3 275 # ASSIGN : s_28_4 1367 # ASSIGN : s_28_5 1472 # ASSIGN : s_28_6 1534 # ASSIGN : s_28_7 1544 # ASSIGN : s_28_8 1647 # ASSIGN : s_28_9 1680 # ASSIGN : s_29_0 234 # ASSIGN : s_29_1 335 # ASSIGN : s_29_2 427 # ASSIGN : s_29_3 491 # ASSIGN : s_29_4 586 # ASSIGN : s_29_5 705 # ASSIGN : s_29_6 1254 # ASSIGN : s_29_7 1272 # ASSIGN : s_29_8 1295 # ASSIGN : s_29_9 1700 SHOW_RESULT 1789 END : 1789 (2 seconds) [Fri Jun 2 01:22:04 2006] SHOW_RESULT 1789 CPU : 1.91000000000008 = 1.91000000000008 + 0 + 0 + 0 # BOUND : makespan 1784 1789 MODIFY_CNF 1786 BEGIN : [Fri Jun 2 01:22:04 2006] MODIFY_CNF 1786 END : 475427127 bytes (0 seconds) [Fri Jun 2 01:22:04 2006] MODIFY_CNF 1786 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1786 BEGIN : [Fri Jun 2 01:22:04 2006] CMD : minisat /work/tamura/csp2sat65880.cnf /work/tamura/csp2sat65880.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 12481608 37055503 | 4160536 0 0 NaNQ | 0.000 % | | 100 | 12481608 37055503 | 4576589 100 2788 27.9 | 40.004 % | | 251 | 12481608 37055503 | 5034248 251 5341 21.3 | 40.004 % | | 477 | 12481608 37055503 | 5537673 477 12072 25.3 | 40.004 % | | 814 | 12481608 37055503 | 6091440 814 16663 20.5 | 40.004 % | ==============================================================================) restarts : 5 conflicts : 993 (26 /sec) decisions : 3440 (92 /sec) propagations : 9518970 (253846 /sec) inspects : 197144672 (5257341 /sec) conflict literals : 19616 (10.73 % deleted) CPU time : 37.4989 s SATISFIABLE VERIFY_CNF 1786 END : (48 seconds) [Fri Jun 2 01:22:52 2006] VERIFY_CNF 1786 CPU : 47.38 = 0.00999999999999091 + 0.0600000000000001 + 45.64 + 1.67 # RESULT : makespan 1786 SATISFIABLE SHOW_RESULT 1786 BEGIN : [Fri Jun 2 01:22:52 2006] # ASSIGN : makespan 1786 # ASSIGN : s_0_0 46 # ASSIGN : s_0_1 254 # ASSIGN : s_0_2 348 # ASSIGN : s_0_3 364 # ASSIGN : s_0_4 720 # ASSIGN : s_0_5 775 # ASSIGN : s_0_6 831 # ASSIGN : s_0_7 926 # ASSIGN : s_0_8 1055 # ASSIGN : s_0_9 1098 # ASSIGN : s_1_0 44 # ASSIGN : s_1_1 240 # ASSIGN : s_1_2 338 # ASSIGN : s_1_3 385 # ASSIGN : s_1_4 624 # ASSIGN : s_1_5 795 # ASSIGN : s_1_6 849 # ASSIGN : s_1_7 977 # ASSIGN : s_1_8 1313 # ASSIGN : s_1_9 1562 # ASSIGN : s_2_0 3 # ASSIGN : s_2_1 67 # ASSIGN : s_2_2 161 # ASSIGN : s_2_3 207 # ASSIGN : s_2_4 226 # ASSIGN : s_2_5 288 # ASSIGN : s_2_6 342 # ASSIGN : s_2_7 385 # ASSIGN : s_2_8 1474 # ASSIGN : s_2_9 1618 # ASSIGN : s_3_0 2 # ASSIGN : s_3_1 121 # ASSIGN : s_3_2 304 # ASSIGN : s_3_3 494 # ASSIGN : s_3_4 532 # ASSIGN : s_3_5 655 # ASSIGN : s_3_6 748 # ASSIGN : s_3_7 808 # ASSIGN : s_3_8 927 # ASSIGN : s_3_9 1143 # ASSIGN : s_4_0 4 # ASSIGN : s_4_1 95 # ASSIGN : s_4_2 1217 # ASSIGN : s_4_3 1314 # ASSIGN : s_4_4 1393 # ASSIGN : s_4_5 1468 # ASSIGN : s_4_6 1566 # ASSIGN : s_4_7 1591 # ASSIGN : s_4_8 1608 # ASSIGN : s_4_9 1676 # ASSIGN : s_5_0 1037 # ASSIGN : s_5_1 1113 # ASSIGN : s_5_2 1166 # ASSIGN : s_5_3 1213 # ASSIGN : s_5_4 1513 # ASSIGN : s_5_5 1609 # ASSIGN : s_5_6 1725 # ASSIGN : s_5_7 1760 # ASSIGN : s_5_8 1767 # ASSIGN : s_5_9 1776 # ASSIGN : s_6_0 8 # ASSIGN : s_6_1 118 # ASSIGN : s_6_2 145 # ASSIGN : s_6_3 195 # ASSIGN : s_6_4 211 # ASSIGN : s_6_5 473 # ASSIGN : s_6_6 545 # ASSIGN : s_6_7 634 # ASSIGN : s_6_8 1647 # ASSIGN : s_6_9 1718 # ASSIGN : s_7_0 587 # ASSIGN : s_7_1 737 # ASSIGN : s_7_2 1195 # ASSIGN : s_7_3 1308 # ASSIGN : s_7_4 1430 # ASSIGN : s_7_5 1471 # ASSIGN : s_7_6 1634 # ASSIGN : s_7_7 1675 # ASSIGN : s_7_8 1718 # ASSIGN : s_7_9 1766 # ASSIGN : s_8_0 243 # ASSIGN : s_8_1 1011 # ASSIGN : s_8_2 1041 # ASSIGN : s_8_3 1079 # ASSIGN : s_8_4 1484 # ASSIGN : s_8_5 1562 # ASSIGN : s_8_6 1651 # ASSIGN : s_8_7 1659 # ASSIGN : s_8_8 1725 # ASSIGN : s_8_9 1753 # ASSIGN : s_9_0 242 # ASSIGN : s_9_1 316 # ASSIGN : s_9_2 609 # ASSIGN : s_9_3 693 # ASSIGN : s_9_4 726 # ASSIGN : s_9_5 808 # ASSIGN : s_9_6 906 # ASSIGN : s_9_7 999 # ASSIGN : s_9_8 1093 # ASSIGN : s_9_9 1670 # ASSIGN : s_10_0 10 # ASSIGN : s_10_1 86 # ASSIGN : s_10_2 134 # ASSIGN : s_10_3 221 # ASSIGN : s_10_4 1178 # ASSIGN : s_10_5 1371 # ASSIGN : s_10_6 1388 # ASSIGN : s_10_7 1413 # ASSIGN : s_10_8 1482 # ASSIGN : s_10_9 1513 # ASSIGN : s_11_0 430 # ASSIGN : s_11_1 616 # ASSIGN : s_11_2 755 # ASSIGN : s_11_3 853 # ASSIGN : s_11_4 956 # ASSIGN : s_11_5 1076 # ASSIGN : s_11_6 1148 # ASSIGN : s_11_7 1171 # ASSIGN : s_11_8 1265 # ASSIGN : s_11_9 1368 # ASSIGN : s_12_0 138 # ASSIGN : s_12_1 186 # ASSIGN : s_12_2 213 # ASSIGN : s_12_3 280 # ASSIGN : s_12_4 345 # ASSIGN : s_12_5 559 # ASSIGN : s_12_6 869 # ASSIGN : s_12_7 993 # ASSIGN : s_12_8 1130 # ASSIGN : s_12_9 1406 # ASSIGN : s_13_0 268 # ASSIGN : s_13_1 776 # ASSIGN : s_13_2 803 # ASSIGN : s_13_3 915 # ASSIGN : s_13_4 936 # ASSIGN : s_13_5 1030 # ASSIGN : s_13_6 1166 # ASSIGN : s_13_7 1264 # ASSIGN : s_13_8 1631 # ASSIGN : s_13_9 1736 # ASSIGN : s_14_0 949 # ASSIGN : s_14_1 1014 # ASSIGN : s_14_2 1074 # ASSIGN : s_14_3 1135 # ASSIGN : s_14_4 1250 # ASSIGN : s_14_5 1264 # ASSIGN : s_14_6 1358 # ASSIGN : s_14_7 1407 # ASSIGN : s_14_8 1525 # ASSIGN : s_14_9 1711 # ASSIGN : s_15_0 107 # ASSIGN : s_15_1 129 # ASSIGN : s_15_2 443 # ASSIGN : s_15_3 518 # ASSIGN : s_15_4 532 # ASSIGN : s_15_5 597 # ASSIGN : s_15_6 693 # ASSIGN : s_15_7 765 # ASSIGN : s_15_8 827 # ASSIGN : s_15_9 1707 # ASSIGN : s_16_0 0 # ASSIGN : s_16_1 90 # ASSIGN : s_16_2 159 # ASSIGN : s_16_3 460 # ASSIGN : s_16_4 629 # ASSIGN : s_16_5 680 # ASSIGN : s_16_6 774 # ASSIGN : s_16_7 972 # ASSIGN : s_16_8 1030 # ASSIGN : s_16_9 1077 # ASSIGN : s_17_0 546 # ASSIGN : s_17_1 612 # ASSIGN : s_17_2 1096 # ASSIGN : s_17_3 1151 # ASSIGN : s_17_4 1226 # ASSIGN : s_17_5 1313 # ASSIGN : s_17_6 1336 # ASSIGN : s_17_7 1364 # ASSIGN : s_17_8 1393 # ASSIGN : s_17_9 1437 # ASSIGN : s_18_0 111 # ASSIGN : s_18_1 185 # ASSIGN : s_18_2 357 # ASSIGN : s_18_3 607 # ASSIGN : s_18_4 670 # ASSIGN : s_18_5 743 # ASSIGN : s_18_6 783 # ASSIGN : s_18_7 883 # ASSIGN : s_18_8 1574 # ASSIGN : s_18_9 1637 # ASSIGN : s_19_0 677 # ASSIGN : s_19_1 697 # ASSIGN : s_19_2 764 # ASSIGN : s_19_3 849 # ASSIGN : s_19_4 939 # ASSIGN : s_19_5 1014 # ASSIGN : s_19_6 1444 # ASSIGN : s_19_7 1474 # ASSIGN : s_19_8 1530 # ASSIGN : s_19_9 1761 # ASSIGN : s_20_0 105 # ASSIGN : s_20_1 139 # ASSIGN : s_20_2 730 # ASSIGN : s_20_3 971 # ASSIGN : s_20_4 1009 # ASSIGN : s_20_5 1214 # ASSIGN : s_20_6 1298 # ASSIGN : s_20_7 1321 # ASSIGN : s_20_8 1423 # ASSIGN : s_20_9 1553 # ASSIGN : s_21_0 468 # ASSIGN : s_21_1 527 # ASSIGN : s_21_2 635 # ASSIGN : s_21_3 697 # ASSIGN : s_21_4 713 # ASSIGN : s_21_5 1020 # ASSIGN : s_21_6 1163 # ASSIGN : s_21_7 1234 # ASSIGN : s_21_8 1284 # ASSIGN : s_21_9 1546 # ASSIGN : s_22_0 528 # ASSIGN : s_22_1 632 # ASSIGN : s_22_2 706 # ASSIGN : s_22_3 812 # ASSIGN : s_22_4 1077 # ASSIGN : s_22_5 1247 # ASSIGN : s_22_6 1405 # ASSIGN : s_22_7 1462 # ASSIGN : s_22_8 1594 # ASSIGN : s_22_9 1706 # ASSIGN : s_23_0 81 # ASSIGN : s_23_1 105 # ASSIGN : s_23_2 239 # ASSIGN : s_23_3 271 # ASSIGN : s_23_4 336 # ASSIGN : s_23_5 344 # ASSIGN : s_23_6 378 # ASSIGN : s_23_7 468 # ASSIGN : s_23_8 1672 # ASSIGN : s_23_9 1727 # ASSIGN : s_24_0 217 # ASSIGN : s_24_1 398 # ASSIGN : s_24_2 462 # ASSIGN : s_24_3 564 # ASSIGN : s_24_4 604 # ASSIGN : s_24_5 627 # ASSIGN : s_24_6 1144 # ASSIGN : s_24_7 1194 # ASSIGN : s_24_8 1598 # ASSIGN : s_24_9 1779 # ASSIGN : s_25_0 99 # ASSIGN : s_25_1 271 # ASSIGN : s_25_2 893 # ASSIGN : s_25_3 1272 # ASSIGN : s_25_4 1336 # ASSIGN : s_25_5 1351 # ASSIGN : s_25_6 1415 # ASSIGN : s_25_7 1594 # ASSIGN : s_25_8 1655 # ASSIGN : s_25_9 1695 # ASSIGN : s_26_0 380 # ASSIGN : s_26_1 522 # ASSIGN : s_26_2 601 # ASSIGN : s_26_3 742 # ASSIGN : s_26_4 1121 # ASSIGN : s_26_5 1376 # ASSIGN : s_26_6 1489 # ASSIGN : s_26_7 1534 # ASSIGN : s_26_8 1663 # ASSIGN : s_26_9 1747 # ASSIGN : s_27_0 2 # ASSIGN : s_27_1 32 # ASSIGN : s_27_2 152 # ASSIGN : s_27_3 226 # ASSIGN : s_27_4 241 # ASSIGN : s_27_5 451 # ASSIGN : s_27_6 717 # ASSIGN : s_27_7 807 # ASSIGN : s_27_8 829 # ASSIGN : s_27_9 856 # ASSIGN : s_28_0 171 # ASSIGN : s_28_1 253 # ASSIGN : s_28_2 727 # ASSIGN : s_28_3 812 # ASSIGN : s_28_4 834 # ASSIGN : s_28_5 930 # ASSIGN : s_28_6 970 # ASSIGN : s_28_7 975 # ASSIGN : s_28_8 997 # ASSIGN : s_28_9 1585 # ASSIGN : s_29_0 203 # ASSIGN : s_29_1 211 # ASSIGN : s_29_2 280 # ASSIGN : s_29_3 373 # ASSIGN : s_29_4 491 # ASSIGN : s_29_5 597 # ASSIGN : s_29_6 652 # ASSIGN : s_29_7 1056 # ASSIGN : s_29_8 1102 # ASSIGN : s_29_9 1395 SHOW_RESULT 1786 END : 1786 (2 seconds) [Fri Jun 2 01:22:54 2006] SHOW_RESULT 1786 CPU : 1.88 = 1.88 + 0 + 0 + 0 # BOUND : makespan 1784 1786 MODIFY_CNF 1785 BEGIN : [Fri Jun 2 01:22:54 2006] MODIFY_CNF 1785 END : 475427127 bytes (0 seconds) [Fri Jun 2 01:22:54 2006] MODIFY_CNF 1785 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1785 BEGIN : [Fri Jun 2 01:22:54 2006] CMD : minisat /work/tamura/csp2sat65880.cnf /work/tamura/csp2sat65880.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 12472607 37028801 | 4157535 0 0 NaNQ | 0.000 % | | 103 | 12472607 37028801 | 4573288 103 3703 36.0 | 40.050 % | | 253 | 12472607 37028801 | 5030617 253 6462 25.5 | 40.050 % | | 479 | 12472607 37028801 | 5533679 479 11178 23.3 | 40.050 % | | 817 | 12472607 37028801 | 6087046 817 19043 23.3 | 40.050 % | | 1323 | 12472607 37028801 | 6695751 1323 30551 23.1 | 40.050 % | | 2086 | 12472607 37028801 | 7365326 2086 59036 28.3 | 40.050 % | | 3225 | 12472607 37028801 | 8101859 3225 83809 26.0 | 40.050 % | | 4936 | 12472607 37028801 | 8912045 4936 128525 26.0 | 40.050 % | | 7498 | 12472607 37028801 | 9803250 7498 209765 28.0 | 40.050 % | | 11343 | 12472607 37028801 | 10783575 11343 385729 34.0 | 40.050 % | | 17110 | 12472607 37028801 | 11861932 17110 522665 30.5 | 40.050 % | | 25759 | 12472607 37028801 | 13048125 25759 873697 33.9 | 40.050 % | | 38733 | 12472607 37028801 | 14352938 38733 1328380 34.3 | 40.050 % | ==============================================================================) restarts : 14 conflicts : 42685 (78 /sec) decisions : 68848 (126 /sec) propagations : 411525943 (754302 /sec) inspects : 7708752397 (14129673 /sec) conflict literals : 1441626 (22.52 % deleted) CPU time : 545.572 s SATISFIABLE VERIFY_CNF 1785 END : (556 seconds) [Fri Jun 2 01:32:10 2006] VERIFY_CNF 1785 CPU : 555.44 = 0 + 0.0600000000000001 + 553.71 + 1.67 # RESULT : makespan 1785 SATISFIABLE SHOW_RESULT 1785 BEGIN : [Fri Jun 2 01:32:10 2006] # ASSIGN : makespan 1785 # ASSIGN : s_0_0 186 # ASSIGN : s_0_1 258 # ASSIGN : s_0_2 375 # ASSIGN : s_0_3 457 # ASSIGN : s_0_4 895 # ASSIGN : s_0_5 961 # ASSIGN : s_0_6 1251 # ASSIGN : s_0_7 1552 # ASSIGN : s_0_8 1676 # ASSIGN : s_0_9 1732 # ASSIGN : s_1_0 33 # ASSIGN : s_1_1 372 # ASSIGN : s_1_2 481 # ASSIGN : s_1_3 615 # ASSIGN : s_1_4 719 # ASSIGN : s_1_5 751 # ASSIGN : s_1_6 790 # ASSIGN : s_1_7 884 # ASSIGN : s_1_8 1128 # ASSIGN : s_1_9 1378 # ASSIGN : s_2_0 279 # ASSIGN : s_2_1 343 # ASSIGN : s_2_2 717 # ASSIGN : s_2_3 994 # ASSIGN : s_2_4 1013 # ASSIGN : s_2_5 1075 # ASSIGN : s_2_6 1198 # ASSIGN : s_2_7 1390 # ASSIGN : s_2_8 1649 # ASSIGN : s_2_9 1728 # ASSIGN : s_3_0 0 # ASSIGN : s_3_1 110 # ASSIGN : s_3_2 293 # ASSIGN : s_3_3 488 # ASSIGN : s_3_4 795 # ASSIGN : s_3_5 872 # ASSIGN : s_3_6 959 # ASSIGN : s_3_7 1129 # ASSIGN : s_3_8 1204 # ASSIGN : s_3_9 1291 # ASSIGN : s_4_0 807 # ASSIGN : s_4_1 1200 # ASSIGN : s_4_2 1244 # ASSIGN : s_4_3 1340 # ASSIGN : s_4_4 1431 # ASSIGN : s_4_5 1506 # ASSIGN : s_4_6 1604 # ASSIGN : s_4_7 1629 # ASSIGN : s_4_8 1654 # ASSIGN : s_4_9 1697 # ASSIGN : s_5_0 6 # ASSIGN : s_5_1 119 # ASSIGN : s_5_2 154 # ASSIGN : s_5_3 264 # ASSIGN : s_5_4 1030 # ASSIGN : s_5_5 1183 # ASSIGN : s_5_6 1249 # ASSIGN : s_5_7 1617 # ASSIGN : s_5_8 1716 # ASSIGN : s_5_9 1775 # ASSIGN : s_6_0 75 # ASSIGN : s_6_1 173 # ASSIGN : s_6_2 200 # ASSIGN : s_6_3 250 # ASSIGN : s_6_4 268 # ASSIGN : s_6_5 296 # ASSIGN : s_6_6 355 # ASSIGN : s_6_7 440 # ASSIGN : s_6_8 1402 # ASSIGN : s_6_9 1732 # ASSIGN : s_7_0 749 # ASSIGN : s_7_1 794 # ASSIGN : s_7_2 1070 # ASSIGN : s_7_3 1113 # ASSIGN : s_7_4 1235 # ASSIGN : s_7_5 1335 # ASSIGN : s_7_6 1565 # ASSIGN : s_7_7 1606 # ASSIGN : s_7_8 1719 # ASSIGN : s_7_9 1765 # ASSIGN : s_8_0 404 # ASSIGN : s_8_1 441 # ASSIGN : s_8_2 468 # ASSIGN : s_8_3 528 # ASSIGN : s_8_4 1009 # ASSIGN : s_8_5 1246 # ASSIGN : s_8_6 1411 # ASSIGN : s_8_7 1419 # ASSIGN : s_8_8 1501 # ASSIGN : s_8_9 1680 # ASSIGN : s_9_0 1 # ASSIGN : s_9_1 93 # ASSIGN : s_9_2 182 # ASSIGN : s_9_3 266 # ASSIGN : s_9_4 294 # ASSIGN : s_9_5 386 # ASSIGN : s_9_6 431 # ASSIGN : s_9_7 535 # ASSIGN : s_9_8 712 # ASSIGN : s_9_9 1527 # ASSIGN : s_10_0 33 # ASSIGN : s_10_1 109 # ASSIGN : s_10_2 141 # ASSIGN : s_10_3 162 # ASSIGN : s_10_4 808 # ASSIGN : s_10_5 1043 # ASSIGN : s_10_6 1060 # ASSIGN : s_10_7 1099 # ASSIGN : s_10_8 1123 # ASSIGN : s_10_9 1154 # ASSIGN : s_11_0 54 # ASSIGN : s_11_1 677 # ASSIGN : s_11_2 767 # ASSIGN : s_11_3 865 # ASSIGN : s_11_4 951 # ASSIGN : s_11_5 1037 # ASSIGN : s_11_6 1109 # ASSIGN : s_11_7 1170 # ASSIGN : s_11_8 1311 # ASSIGN : s_11_9 1623 # ASSIGN : s_12_0 6 # ASSIGN : s_12_1 127 # ASSIGN : s_12_2 226 # ASSIGN : s_12_3 324 # ASSIGN : s_12_4 798 # ASSIGN : s_12_5 1506 # ASSIGN : s_12_6 1568 # ASSIGN : s_12_7 1614 # ASSIGN : s_12_8 1646 # ASSIGN : s_12_9 1718 # ASSIGN : s_13_0 151 # ASSIGN : s_13_1 231 # ASSIGN : s_13_2 268 # ASSIGN : s_13_3 469 # ASSIGN : s_13_4 501 # ASSIGN : s_13_5 612 # ASSIGN : s_13_6 1280 # ASSIGN : s_13_7 1485 # ASSIGN : s_13_8 1595 # ASSIGN : s_13_9 1735 # ASSIGN : s_14_0 5 # ASSIGN : s_14_1 166 # ASSIGN : s_14_2 207 # ASSIGN : s_14_3 269 # ASSIGN : s_14_4 358 # ASSIGN : s_14_5 391 # ASSIGN : s_14_6 470 # ASSIGN : s_14_7 620 # ASSIGN : s_14_8 675 # ASSIGN : s_14_9 730 # ASSIGN : s_15_0 570 # ASSIGN : s_15_1 592 # ASSIGN : s_15_2 649 # ASSIGN : s_15_3 971 # ASSIGN : s_15_4 1133 # ASSIGN : s_15_5 1215 # ASSIGN : s_15_6 1430 # ASSIGN : s_15_7 1548 # ASSIGN : s_15_8 1641 # ASSIGN : s_15_9 1725 # ASSIGN : s_16_0 950 # ASSIGN : s_16_1 1241 # ASSIGN : s_16_2 1344 # ASSIGN : s_16_3 1391 # ASSIGN : s_16_4 1422 # ASSIGN : s_16_5 1473 # ASSIGN : s_16_6 1512 # ASSIGN : s_16_7 1546 # ASSIGN : s_16_8 1607 # ASSIGN : s_16_9 1720 # ASSIGN : s_17_0 134 # ASSIGN : s_17_1 284 # ASSIGN : s_17_2 491 # ASSIGN : s_17_3 889 # ASSIGN : s_17_4 1014 # ASSIGN : s_17_5 1052 # ASSIGN : s_17_6 1060 # ASSIGN : s_17_7 1125 # ASSIGN : s_17_8 1299 # ASSIGN : s_17_9 1668 # ASSIGN : s_18_0 570 # ASSIGN : s_18_1 750 # ASSIGN : s_18_2 867 # ASSIGN : s_18_3 896 # ASSIGN : s_18_4 973 # ASSIGN : s_18_5 1308 # ASSIGN : s_18_6 1346 # ASSIGN : s_18_7 1473 # ASSIGN : s_18_8 1675 # ASSIGN : s_18_9 1746 # ASSIGN : s_19_0 87 # ASSIGN : s_19_1 159 # ASSIGN : s_19_2 544 # ASSIGN : s_19_3 629 # ASSIGN : s_19_4 724 # ASSIGN : s_19_5 805 # ASSIGN : s_19_6 905 # ASSIGN : s_19_7 1098 # ASSIGN : s_19_8 1154 # ASSIGN : s_19_9 1276 # ASSIGN : s_20_0 112 # ASSIGN : s_20_1 182 # ASSIGN : s_20_2 325 # ASSIGN : s_20_3 679 # ASSIGN : s_20_4 952 # ASSIGN : s_20_5 1104 # ASSIGN : s_20_6 1343 # ASSIGN : s_20_7 1366 # ASSIGN : s_20_8 1461 # ASSIGN : s_20_9 1565 # ASSIGN : s_21_0 82 # ASSIGN : s_21_1 233 # ASSIGN : s_21_2 293 # ASSIGN : s_21_3 470 # ASSIGN : s_21_4 486 # ASSIGN : s_21_5 538 # ASSIGN : s_21_6 595 # ASSIGN : s_21_7 1005 # ASSIGN : s_21_8 1533 # ASSIGN : s_21_9 1624 # ASSIGN : s_22_0 107 # ASSIGN : s_22_1 212 # ASSIGN : s_22_2 348 # ASSIGN : s_22_3 359 # ASSIGN : s_22_4 526 # ASSIGN : s_22_5 888 # ASSIGN : s_22_6 995 # ASSIGN : s_22_7 1057 # ASSIGN : s_22_8 1138 # ASSIGN : s_22_9 1626 # ASSIGN : s_23_0 270 # ASSIGN : s_23_1 369 # ASSIGN : s_23_2 435 # ASSIGN : s_23_3 467 # ASSIGN : s_23_4 500 # ASSIGN : s_23_5 508 # ASSIGN : s_23_6 528 # ASSIGN : s_23_7 639 # ASSIGN : s_23_8 1710 # ASSIGN : s_23_9 1765 # ASSIGN : s_24_0 516 # ASSIGN : s_24_1 808 # ASSIGN : s_24_2 977 # ASSIGN : s_24_3 1085 # ASSIGN : s_24_4 1125 # ASSIGN : s_24_5 1308 # ASSIGN : s_24_6 1431 # ASSIGN : s_24_7 1450 # ASSIGN : s_24_8 1529 # ASSIGN : s_24_9 1778 # ASSIGN : s_25_0 718 # ASSIGN : s_25_1 724 # ASSIGN : s_25_2 1245 # ASSIGN : s_25_3 1310 # ASSIGN : s_25_4 1374 # ASSIGN : s_25_5 1389 # ASSIGN : s_25_6 1435 # ASSIGN : s_25_7 1535 # ASSIGN : s_25_8 1640 # ASSIGN : s_25_9 1694 # ASSIGN : s_26_0 902 # ASSIGN : s_26_1 982 # ASSIGN : s_26_2 1087 # ASSIGN : s_26_3 1132 # ASSIGN : s_26_4 1219 # ASSIGN : s_26_5 1241 # ASSIGN : s_26_6 1284 # ASSIGN : s_26_7 1452 # ASSIGN : s_26_8 1669 # ASSIGN : s_26_9 1713 # ASSIGN : s_27_0 119 # ASSIGN : s_27_1 362 # ASSIGN : s_27_2 462 # ASSIGN : s_27_3 523 # ASSIGN : s_27_4 538 # ASSIGN : s_27_5 681 # ASSIGN : s_27_6 935 # ASSIGN : s_27_7 963 # ASSIGN : s_27_8 985 # ASSIGN : s_27_9 1019 # ASSIGN : s_28_0 866 # ASSIGN : s_28_1 1315 # ASSIGN : s_28_2 1378 # ASSIGN : s_28_3 1388 # ASSIGN : s_28_4 1410 # ASSIGN : s_28_5 1506 # ASSIGN : s_28_6 1560 # ASSIGN : s_28_7 1596 # ASSIGN : s_28_8 1623 # ASSIGN : s_28_9 1656 # ASSIGN : s_29_0 10 # ASSIGN : s_29_1 18 # ASSIGN : s_29_2 55 # ASSIGN : s_29_3 136 # ASSIGN : s_29_4 273 # ASSIGN : s_29_5 407 # ASSIGN : s_29_6 445 # ASSIGN : s_29_7 463 # ASSIGN : s_29_8 486 # ASSIGN : s_29_9 550 SHOW_RESULT 1785 END : 1785 (2 seconds) [Fri Jun 2 01:32:12 2006] SHOW_RESULT 1785 CPU : 1.92999999999996 = 1.91999999999996 + 0.01 + 0 + 0 # BOUND : makespan 1784 1785 MODIFY_CNF 1784 BEGIN : [Fri Jun 2 01:32:12 2006] MODIFY_CNF 1784 END : 475427127 bytes (0 seconds) [Fri Jun 2 01:32:12 2006] MODIFY_CNF 1784 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1784 BEGIN : [Fri Jun 2 01:32:12 2006] CMD : minisat /work/tamura/csp2sat65880.cnf /work/tamura/csp2sat65880.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 12463607 37002101 | 4154535 0 0 NaNQ | 0.000 % | | 101 | 12463607 37002101 | 4569988 101 2991 29.6 | 40.096 % | | 251 | 12463607 37002101 | 5026987 251 5511 22.0 | 40.096 % | | 476 | 12463607 37002101 | 5529686 476 11040 23.2 | 40.096 % | | 813 | 12463607 37002101 | 6082654 813 24546 30.2 | 40.096 % | | 1319 | 12463607 37002101 | 6690920 1319 38226 29.0 | 40.096 % | | 2078 | 12463607 37002101 | 7360012 2078 58378 28.1 | 40.096 % | | 3217 | 12463607 37002101 | 8096013 3217 101806 31.6 | 40.096 % | | 4925 | 12463607 37002101 | 8905614 4925 193199 39.2 | 40.096 % | | 7488 | 12463607 37002101 | 9796176 7488 261419 34.9 | 40.096 % | | 11332 | 12463607 37002101 | 10775793 11332 432588 38.2 | 40.096 % | | 17098 | 12463607 37002101 | 11853373 17098 593527 34.7 | 40.096 % | | 25747 | 12463607 37002101 | 13038710 25747 953764 37.0 | 40.096 % | ==============================================================================) restarts : 13 conflicts : 26832 (75 /sec) decisions : 42671 (119 /sec) propagations : 242902167 (675710 /sec) inspects : 5055181049 (14062606 /sec) conflict literals : 991090 (20.53 % deleted) CPU time : 359.477 s SATISFIABLE VERIFY_CNF 1784 END : (370 seconds) [Fri Jun 2 01:38:22 2006] VERIFY_CNF 1784 CPU : 368.75 = 0.00999999999999091 + 0.0599999999999998 + 368.2 + 0.48 # RESULT : makespan 1784 SATISFIABLE SHOW_RESULT 1784 BEGIN : [Fri Jun 2 01:38:22 2006] # ASSIGN : makespan 1784 # ASSIGN : s_0_0 4 # ASSIGN : s_0_1 48 # ASSIGN : s_0_2 74 # ASSIGN : s_0_3 603 # ASSIGN : s_0_4 695 # ASSIGN : s_0_5 752 # ASSIGN : s_0_6 804 # ASSIGN : s_0_7 1618 # ASSIGN : s_0_8 1697 # ASSIGN : s_0_9 1719 # ASSIGN : s_1_0 596 # ASSIGN : s_1_1 913 # ASSIGN : s_1_2 1011 # ASSIGN : s_1_3 1121 # ASSIGN : s_1_4 1295 # ASSIGN : s_1_5 1326 # ASSIGN : s_1_6 1365 # ASSIGN : s_1_7 1462 # ASSIGN : s_1_8 1649 # ASSIGN : s_1_9 1772 # ASSIGN : s_2_0 2 # ASSIGN : s_2_1 84 # ASSIGN : s_2_2 183 # ASSIGN : s_2_3 217 # ASSIGN : s_2_4 236 # ASSIGN : s_2_5 298 # ASSIGN : s_2_6 352 # ASSIGN : s_2_7 395 # ASSIGN : s_2_8 1059 # ASSIGN : s_2_9 1462 # ASSIGN : s_3_0 0 # ASSIGN : s_3_1 342 # ASSIGN : s_3_2 369 # ASSIGN : s_3_3 446 # ASSIGN : s_3_4 497 # ASSIGN : s_3_5 637 # ASSIGN : s_3_6 915 # ASSIGN : s_3_7 975 # ASSIGN : s_3_8 1232 # ASSIGN : s_3_9 1344 # ASSIGN : s_4_0 90 # ASSIGN : s_4_1 175 # ASSIGN : s_4_2 577 # ASSIGN : s_4_3 673 # ASSIGN : s_4_4 816 # ASSIGN : s_4_5 1176 # ASSIGN : s_4_6 1274 # ASSIGN : s_4_7 1384 # ASSIGN : s_4_8 1660 # ASSIGN : s_4_9 1735 # ASSIGN : s_5_0 917 # ASSIGN : s_5_1 1090 # ASSIGN : s_5_2 1137 # ASSIGN : s_5_3 1186 # ASSIGN : s_5_4 1288 # ASSIGN : s_5_5 1588 # ASSIGN : s_5_6 1683 # ASSIGN : s_5_7 1718 # ASSIGN : s_5_8 1725 # ASSIGN : s_5_9 1774 # ASSIGN : s_6_0 554 # ASSIGN : s_6_1 980 # ASSIGN : s_6_2 1071 # ASSIGN : s_6_3 1121 # ASSIGN : s_6_4 1137 # ASSIGN : s_6_5 1165 # ASSIGN : s_6_6 1224 # ASSIGN : s_6_7 1365 # ASSIGN : s_6_8 1563 # ASSIGN : s_6_9 1716 # ASSIGN : s_7_0 18 # ASSIGN : s_7_1 281 # ASSIGN : s_7_2 431 # ASSIGN : s_7_3 897 # ASSIGN : s_7_4 996 # ASSIGN : s_7_5 1016 # ASSIGN : s_7_6 1080 # ASSIGN : s_7_7 1138 # ASSIGN : s_7_8 1299 # ASSIGN : s_7_9 1329 # ASSIGN : s_8_0 66 # ASSIGN : s_8_1 150 # ASSIGN : s_8_2 176 # ASSIGN : s_8_3 537 # ASSIGN : s_8_4 638 # ASSIGN : s_8_5 727 # ASSIGN : s_8_6 1280 # ASSIGN : s_8_7 1298 # ASSIGN : s_8_8 1630 # ASSIGN : s_8_9 1725 # ASSIGN : s_9_0 238 # ASSIGN : s_9_1 569 # ASSIGN : s_9_2 666 # ASSIGN : s_9_3 750 # ASSIGN : s_9_4 781 # ASSIGN : s_9_5 862 # ASSIGN : s_9_6 907 # ASSIGN : s_9_7 976 # ASSIGN : s_9_8 1070 # ASSIGN : s_9_9 1199 # ASSIGN : s_10_0 9 # ASSIGN : s_10_1 147 # ASSIGN : s_10_2 186 # ASSIGN : s_10_3 219 # ASSIGN : s_10_4 993 # ASSIGN : s_10_5 1159 # ASSIGN : s_10_6 1181 # ASSIGN : s_10_7 1295 # ASSIGN : s_10_8 1319 # ASSIGN : s_10_9 1364 # ASSIGN : s_11_0 387 # ASSIGN : s_11_1 484 # ASSIGN : s_11_2 574 # ASSIGN : s_11_3 624 # ASSIGN : s_11_4 984 # ASSIGN : s_11_5 1053 # ASSIGN : s_11_6 1125 # ASSIGN : s_11_7 1148 # ASSIGN : s_11_8 1227 # ASSIGN : s_11_9 1349 # ASSIGN : s_12_0 26 # ASSIGN : s_12_1 85 # ASSIGN : s_12_2 112 # ASSIGN : s_12_3 179 # ASSIGN : s_12_4 241 # ASSIGN : s_12_5 353 # ASSIGN : s_12_6 965 # ASSIGN : s_12_7 1271 # ASSIGN : s_12_8 1401 # ASSIGN : s_12_9 1501 # ASSIGN : s_13_0 234 # ASSIGN : s_13_1 314 # ASSIGN : s_13_2 776 # ASSIGN : s_13_3 806 # ASSIGN : s_13_4 818 # ASSIGN : s_13_5 912 # ASSIGN : s_13_6 1383 # ASSIGN : s_13_7 1514 # ASSIGN : s_13_8 1564 # ASSIGN : s_13_9 1672 # ASSIGN : s_14_0 103 # ASSIGN : s_14_1 716 # ASSIGN : s_14_2 757 # ASSIGN : s_14_3 820 # ASSIGN : s_14_4 899 # ASSIGN : s_14_5 913 # ASSIGN : s_14_6 1046 # ASSIGN : s_14_7 1143 # ASSIGN : s_14_8 1484 # ASSIGN : s_14_9 1644 # ASSIGN : s_15_0 212 # ASSIGN : s_15_1 282 # ASSIGN : s_15_2 339 # ASSIGN : s_15_3 470 # ASSIGN : s_15_4 484 # ASSIGN : s_15_5 549 # ASSIGN : s_15_6 645 # ASSIGN : s_15_7 716 # ASSIGN : s_15_8 1192 # ASSIGN : s_15_9 1558 # ASSIGN : s_16_0 438 # ASSIGN : s_16_1 762 # ASSIGN : s_16_2 1093 # ASSIGN : s_16_3 1175 # ASSIGN : s_16_4 1206 # ASSIGN : s_16_5 1474 # ASSIGN : s_16_6 1521 # ASSIGN : s_16_7 1555 # ASSIGN : s_16_8 1613 # ASSIGN : s_16_9 1719 # ASSIGN : s_17_0 41 # ASSIGN : s_17_1 107 # ASSIGN : s_17_2 222 # ASSIGN : s_17_3 239 # ASSIGN : s_17_4 333 # ASSIGN : s_17_5 371 # ASSIGN : s_17_6 379 # ASSIGN : s_17_7 1198 # ASSIGN : s_17_8 1350 # ASSIGN : s_17_9 1394 # ASSIGN : s_18_0 645 # ASSIGN : s_18_1 831 # ASSIGN : s_18_2 891 # ASSIGN : s_18_3 999 # ASSIGN : s_18_4 1064 # ASSIGN : s_18_5 1160 # ASSIGN : s_18_6 1237 # ASSIGN : s_18_7 1257 # ASSIGN : s_18_8 1507 # ASSIGN : s_18_9 1658 # ASSIGN : s_19_0 25 # ASSIGN : s_19_1 45 # ASSIGN : s_19_2 408 # ASSIGN : s_19_3 513 # ASSIGN : s_19_4 710 # ASSIGN : s_19_5 1281 # ASSIGN : s_19_6 1469 # ASSIGN : s_19_7 1499 # ASSIGN : s_19_8 1632 # ASSIGN : s_19_9 1759 # ASSIGN : s_20_0 16 # ASSIGN : s_20_1 93 # ASSIGN : s_20_2 505 # ASSIGN : s_20_3 878 # ASSIGN : s_20_4 916 # ASSIGN : s_20_5 1010 # ASSIGN : s_20_6 1209 # ASSIGN : s_20_7 1308 # ASSIGN : s_20_8 1518 # ASSIGN : s_20_9 1675 # ASSIGN : s_21_0 96 # ASSIGN : s_21_1 167 # ASSIGN : s_21_2 204 # ASSIGN : s_21_3 266 # ASSIGN : s_21_4 301 # ASSIGN : s_21_5 427 # ASSIGN : s_21_6 523 # ASSIGN : s_21_7 724 # ASSIGN : s_21_8 780 # ASSIGN : s_21_9 1578 # ASSIGN : s_22_0 414 # ASSIGN : s_22_1 493 # ASSIGN : s_22_2 1060 # ASSIGN : s_22_3 1105 # ASSIGN : s_22_4 1187 # ASSIGN : s_22_5 1276 # ASSIGN : s_22_6 1392 # ASSIGN : s_22_7 1449 # ASSIGN : s_22_8 1541 # ASSIGN : s_22_9 1622 # ASSIGN : s_23_0 2 # ASSIGN : s_23_1 143 # ASSIGN : s_23_2 209 # ASSIGN : s_23_3 333 # ASSIGN : s_23_4 366 # ASSIGN : s_23_5 374 # ASSIGN : s_23_6 394 # ASSIGN : s_23_7 478 # ASSIGN : s_23_8 1703 # ASSIGN : s_23_9 1758 # ASSIGN : s_24_0 42 # ASSIGN : s_24_1 310 # ASSIGN : s_24_2 583 # ASSIGN : s_24_3 741 # ASSIGN : s_24_4 854 # ASSIGN : s_24_5 878 # ASSIGN : s_24_6 1062 # ASSIGN : s_24_7 1081 # ASSIGN : s_24_8 1539 # ASSIGN : s_24_9 1777 # ASSIGN : s_25_0 211 # ASSIGN : s_25_1 683 # ASSIGN : s_25_2 1042 # ASSIGN : s_25_3 1363 # ASSIGN : s_25_4 1427 # ASSIGN : s_25_5 1442 # ASSIGN : s_25_6 1494 # ASSIGN : s_25_7 1592 # ASSIGN : s_25_8 1653 # ASSIGN : s_25_9 1693 # ASSIGN : s_26_0 63 # ASSIGN : s_26_1 777 # ASSIGN : s_26_2 852 # ASSIGN : s_26_3 889 # ASSIGN : s_26_4 985 # ASSIGN : s_26_5 1007 # ASSIGN : s_26_6 1445 # ASSIGN : s_26_7 1513 # ASSIGN : s_26_8 1734 # ASSIGN : s_26_9 1778 # ASSIGN : s_27_0 462 # ASSIGN : s_27_1 470 # ASSIGN : s_27_2 666 # ASSIGN : s_27_3 870 # ASSIGN : s_27_4 885 # ASSIGN : s_27_5 937 # ASSIGN : s_27_6 1566 # ASSIGN : s_27_7 1630 # ASSIGN : s_27_8 1652 # ASSIGN : s_27_9 1704 # ASSIGN : s_28_0 1139 # ASSIGN : s_28_1 1411 # ASSIGN : s_28_2 1481 # ASSIGN : s_28_3 1491 # ASSIGN : s_28_4 1517 # ASSIGN : s_28_5 1613 # ASSIGN : s_28_6 1660 # ASSIGN : s_28_7 1665 # ASSIGN : s_28_8 1689 # ASSIGN : s_28_9 1722 # ASSIGN : s_29_0 76 # ASSIGN : s_29_1 138 # ASSIGN : s_29_2 153 # ASSIGN : s_29_3 217 # ASSIGN : s_29_4 312 # ASSIGN : s_29_5 523 # ASSIGN : s_29_6 561 # ASSIGN : s_29_7 579 # ASSIGN : s_29_8 602 # ASSIGN : s_29_9 763 SHOW_RESULT 1784 END : 1784 (2 seconds) [Fri Jun 2 01:38:24 2006] SHOW_RESULT 1784 CPU : 1.89999999999998 = 1.89999999999998 + 0 + 0 + 0 # BOUND : makespan 1784 1784 MAIN END : (2508 seconds) [Fri Jun 2 01:38:24 2006] MAIN CPU : 2502.23 = 991.54 + 1.87 + 1497.4 + 11.42