Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 11486 | 1782.74 | 1783.3 |
Name | normalized-PB07/OPT-SMALLINT-LIN/reduced/ submittedPB07/aksoy/trarea_ac/normalized-reduced-fir09_trarea_ac.opb |
MD5SUM | 83e4cddd78ca4f87cfb13af1d930e0cc |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 8781 |
Best CPU time to get the best result obtained on this benchmark | 44.9172 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 8781 |
Optimality of the best value was proved | YES |
Number of variables | 3945 |
Total number of constraints | 8604 |
Number of constraints which are clauses | 8604 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 59 |
Number of terms in the objective function | 1872 |
Biggest coefficient in the objective function | 365 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 525162 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 365 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 525162 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 0.09/0.17 c starting to Solve 0.09/0.17 c #variables read: 3945 - #constraints read: 8581 0.09/0.18 o 13090 0.09/0.19 o 13059 0.19/0.20 o 13051 0.19/0.21 o 13020 0.19/0.22 o 13010 0.19/0.24 o 13009 0.29/0.37 o 12213 0.29/0.38 o 12182 0.29/0.39 o 12172 0.39/0.40 o 12166 0.39/0.41 o 12135 0.39/0.42 o 12125 0.39/0.44 o 12123 0.49/0.50 o 12105 0.49/0.53 o 12095 0.49/0.56 o 12070 0.49/0.57 o 12060 0.69/0.76 o 11944 0.79/0.90 o 11936 0.89/0.91 o 11913 0.89/0.97 o 11897 1.99/2.05 o 11881 1.99/2.06 o 11861 2.10/2.15 o 11859 2.10/2.16 o 11839 2.10/2.19 o 11819 2.10/2.20 o 11799 2.49/2.56 o 11785 2.49/2.57 o 11765 9.09/9.19 o 11751 9.19/9.21 o 11709 9.19/9.23 o 11678 9.19/9.27 o 11675 9.29/9.30 o 11667 9.29/9.32 o 11664 9.48/9.57 o 11660 9.48/9.58 o 11629 9.59/9.63 o 11618 9.59/9.68 o 11615 9.69/9.74 o 11598 9.69/9.77 o 11595 778.40/778.67 o 11588 778.40/778.67 o 11585 778.70/778.93 o 11572 778.70/778.94 o 11569 778.70/778.97 o 11550 778.70/778.98 o 11547 779.09/779.37 o 11544 779.09/779.38 o 11541 781.40/781.64 o 11530 781.40/781.66 o 11508 802.98/803.27 o 11507 961.75/962.10 o 11502 961.75/962.18 o 11486 1782.63/1783.28 c total time : 1783 s 1782.63/1783.28 s SATISFIABLE 1782.63/1783.28 v -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 1782.63/1783.28 v -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 x298 -x300 1782.63/1783.28 v -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 1782.63/1783.28 v -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 1782.63/1783.28 v -x386 x388 -x390 -x392 -x394 -x396 -x398 x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 x426 1782.63/1783.28 v -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 1782.63/1783.28 v -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 1782.63/1783.28 v -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 1782.63/1783.28 v -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 1782.63/1783.28 v -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 1782.63/1783.28 v -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 x673 -x675 -x677 1782.63/1783.28 v -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 1782.63/1783.28 v -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 1782.63/1783.28 v -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 x787 -x789 -x791 -x793 -x795 -x797 -x798 -x800 -x802 1782.63/1783.28 v -x804 x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 1782.63/1783.28 v -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 1782.63/1783.28 v -x888 -x890 -x892 x894 -x896 -x898 -x900 -x902 -x904 x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 1782.63/1783.28 v -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 1782.63/1783.28 v -x972 x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 1782.63/1783.28 v -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 1782.63/1783.28 v -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 1782.63/1783.28 v -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 1782.63/1783.28 v -x1114 -x1116 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 1782.63/1783.28 v -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 1782.63/1783.28 v -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 1782.63/1783.28 v -x1215 -x1217 -x1219 -x1221 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 1782.63/1783.28 v -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 1782.63/1783.28 v -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 1782.63/1783.28 v -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 x1338 -x1340 -x1342 -x1344 -x1346 -x1348 1782.63/1783.28 v -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 1782.63/1783.28 v -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 1782.63/1783.28 v -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 1782.63/1783.28 v -x1452 -x1454 x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 1782.63/1783.28 v -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 1782.63/1783.28 v -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 1782.63/1783.28 v -x1554 -x1556 -x1558 x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 1782.63/1783.28 v -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 1782.63/1783.28 v -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 x1648 -x1650 -x1652 -x1654 1782.63/1783.28 v -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 1782.63/1783.28 v -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 1782.63/1783.28 v -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 1782.63/1783.28 v -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 1782.63/1783.28 v -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 1782.63/1783.28 v -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 1782.63/1783.28 v -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 1782.63/1783.28 v -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 1782.63/1783.28 v -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 1782.63/1783.28 v -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 1782.63/1783.28 v -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 1782.63/1783.28 v -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 1782.63/1783.28 v -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 1782.63/1783.28 v -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 1782.63/1783.28 v -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 1782.63/1783.28 v -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 1782.63/1783.28 v -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 1782.63/1783.28 v -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 x2264 -x2266 1782.63/1783.28 v -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 1782.63/1783.28 v -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 1782.63/1783.28 v -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 1782.63/1783.28 v -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 1782.63/1783.28 v -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 1782.63/1783.28 v -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 1782.63/1783.28 v -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 1782.63/1783.28 v -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 1782.63/1783.28 v -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 1782.63/1783.28 v -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 1782.63/1783.28 v -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 1782.63/1783.28 v -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 1782.63/1783.28 v -x2676 -x2678 -x2680 x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 1782.63/1783.28 v -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 1782.63/1783.28 v -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 1782.63/1783.28 v -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 1782.63/1783.28 v -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 1782.63/1783.28 v -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 1782.63/1783.28 v -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 1782.63/1783.28 v -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 1782.63/1783.28 v -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 1782.63/1783.28 v -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 1782.63/1783.28 v -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 1782.63/1783.28 v -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 1782.63/1783.28 v -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 1782.63/1783.28 v -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 1782.63/1783.28 v -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 1782.63/1783.28 v -x3184 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 1782.63/1783.28 v -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 1782.63/1783.28 v -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 1782.63/1783.28 v -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 1782.63/1783.28 v -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 1782.63/1783.28 v -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 1782.63/1783.28 v -x3387 x3389 -x3391 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 1782.63/1783.28 v -x3421 -x3423 x3425 -x3427 -x3429 -x3431 x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 1782.63/1783.28 v -x3457 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 1782.63/1783.28 v -x3491 -x3493 x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 1782.63/1783.28 v -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 1782.63/1783.28 v -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 1782.63/1783.28 v -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 x3613 -x3615 -x3617 -x3619 -x3621 -x3623 1782.63/1783.28 v -x3625 -x3627 -x3629 x3631 -x3633 -x3635 x3637 -x3639 -x3641 -x3643 -x3645 x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 1782.63/1783.28 v -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 1782.63/1783.28 v -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3719 -x3721 -x3722 -x3724 1782.63/1783.28 v -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 1782.63/1783.28 v -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3781 -x3783 -x3784 -x3785 -x3787 -x3789 1782.63/1783.28 v -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 1782.63/1783.28 v -x3825 -x3827 -x3829 x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 x3851 -x3853 -x3855 -x3857 -x3859 1782.63/1783.28 v -x3861 -x3863 -x3865 -x3867 x3869 -x3871 x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 1782.63/1783.28 v -x3897 -x3899 -x3901 -x3903 x3905 x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 x3927 -x3929 -x3931 1782.63/1783.28 v -x3933 -x3935 -x3937 x3939 x3941 -x3943 x3945 -x217 -x1 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x2 -x233 -x235 -x237 -x3 1782.63/1783.28 v -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x4 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277 1782.63/1783.28 v -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 1782.63/1783.28 v -x321 -x323 -x325 -x327 -x5 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x6 -x351 -x353 -x355 -x357 1782.63/1783.28 v -x359 -x361 -x363 -x7 -x365 -x367 -x369 -x8 -x371 -x373 -x375 -x377 -x379 -x381 -x383 x9 -x385 x387 -x389 -x10 -x391 -x393 1782.63/1783.28 v -x395 x11 -x397 x399 -x401 -x403 -x405 -x407 -x409 -x12 -x411 -x413 -x415 -x13 -x417 -x419 -x421 x14 -x423 x425 -x427 -x15 1782.63/1783.28 v -x429 -x16 -x431 -x17 -x433 -x435 -x437 -x18 -x439 -x441 -x443 -x19 -x445 -x447 -x449 -x451 x453 -x455 -x457 -x459 -x461 -x463 1782.63/1783.28 v -x465 -x467 -x469 -x471 -x20 -x473 -x475 -x477 -x21 -x479 -x481 -x483 -x22 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x23 1782.63/1783.28 v -x499 -x501 -x503 -x24 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x25 -x527 -x529 -x531 -x533 -x536 1782.63/1783.28 v -x538 -x26 -x540 -x542 -x544 -x27 -x546 -x548 -x550 -x28 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x29 -x566 -x568 -x570 1782.63/1783.28 v -x30 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x31 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 1782.63/1783.28 v -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 1782.63/1783.28 v -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 x672 -x674 -x676 -x32 -x678 -x680 -x682 -x684 -x686 -x688 -x690 1782.63/1783.28 v -x692 -x694 -x696 -x698 -x33 -x700 -x702 -x704 -x706 -x708 -x34 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 1782.63/1783.28 v -x730 -x35 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 1782.63/1783.28 v -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 x786 -x788 -x790 -x792 -x794 -x796 -x799 -x801 -x803 x805 -x807 -x809 -x811 1782.63/1783.28 v -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 1782.63/1783.28 v -x855 -x857 -x859 -x36 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 x37 -x891 1782.63/1783.28 v x893 -x895 -x897 -x899 -x901 -x903 x905 -x907 -x909 -x38 -x911 -x913 -x915 -x39 -x917 -x919 -x921 -x923 -x925 -x927 -x929 1782.63/1783.28 v -x40 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 1782.63/1783.28 v -x971 x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 1782.63/1783.28 v -x1011 -x1013 -x41 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x42 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 1782.63/1783.28 v -x43 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x44 -x1057 -x1059 -x1061 -x45 -x1063 -x1065 -x1067 -x46 -x1069 -x1071 1782.63/1783.28 v -x1073 -x1075 -x1077 -x1079 -x1081 -x47 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x48 -x1097 -x1099 -x1101 -x49 1782.63/1783.28 v -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1118 -x1120 -x1122 -x50 -x1124 -x1126 -x1128 -x51 -x1130 -x1132 -x1134 1782.63/1783.28 v -x52 -x1136 -x1138 -x1140 -x53 -x1142 -x1144 -x1146 -x54 -x1148 -x55 -x1150 -x56 -x1152 -x1154 -x1156 x57 -x1158 x1160 -x1162 1782.63/1783.28 v -x58 -x1164 -x1166 -x1168 -x59 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x60 -x1184 -x1186 -x1188 -x1190 -x1192 1782.63/1783.28 v -x1194 -x1196 -x61 -x1198 -x1200 -x1202 -x62 -x1204 -x1206 -x1208 -x63 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x64 -x1223 1782.63/1783.28 v -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x65 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x66 -x1251 -x1253 -x1255 1782.63/1783.28 v -x67 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x68 -x1279 -x1281 -x1283 -x1285 -x1287 1782.63/1783.28 v -x69 -x1289 -x1291 -x1293 -x1295 -x1297 -x70 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 1782.63/1783.28 v -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 1782.63/1783.28 v -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x71 -x1383 -x1385 -x1387 1782.63/1783.28 v -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x72 -x1413 -x1415 -x1417 -x1419 -x1421 1782.63/1783.28 v -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 x1455 1782.63/1783.28 v -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 1782.63/1783.28 v -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x73 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x74 -x1519 -x1521 1782.63/1783.28 v -x1523 -x75 -x1525 -x1527 -x1529 -x76 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x77 -x1545 -x1547 -x1549 -x1551 1782.63/1783.28 v -x1553 -x1555 -x1557 x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x78 -x1581 -x1583 -x1585 1782.63/1783.28 v -x1587 -x1589 -x1591 -x1593 -x79 -x1595 -x1597 -x1599 -x80 -x1601 -x1603 -x1605 -x81 -x1607 -x1609 -x1611 -x1613 -x1615 1782.63/1783.28 v -x1617 -x1619 -x82 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x83 -x1635 -x1637 -x1639 -x84 -x1641 -x1643 -x1645 1782.63/1783.28 v x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x85 -x1669 -x1671 -x1673 -x86 -x1675 -x1677 1782.63/1783.28 v -x1679 -x87 -x1681 -x1683 -x1685 -x88 -x1687 -x89 -x1689 -x90 -x1691 -x1693 -x1695 -x91 -x1697 -x1699 -x1701 -x92 -x1703 1782.63/1783.28 v -x1705 -x1707 -x93 -x1709 -x1711 -x1713 -x94 -x1715 -x1717 -x1719 -x95 -x1721 -x1723 -x1725 -x96 -x1727 -x1729 -x1731 -x1733 1782.63/1783.28 v -x1735 -x1737 -x1739 -x97 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x98 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 1782.63/1783.28 v -x1767 -x99 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x100 -x1781 -x1783 -x1785 -x101 -x1787 -x1789 -x1791 -x102 -x1793 1782.63/1783.28 v -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x103 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 1782.63/1783.28 v -x1827 -x1829 -x1831 -x1833 -x1835 -x104 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 1782.63/1783.28 v -x105 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x106 -x1881 -x1883 -x1885 -x1887 -x1889 1782.63/1783.28 v -x107 -x1891 -x1893 -x1895 -x1897 -x1899 -x108 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 1782.63/1783.28 v -x109 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x110 -x1945 -x1947 -x1949 -x1951 -x1953 1782.63/1783.28 v -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 1782.63/1783.28 v -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 1782.63/1783.28 v -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 1782.63/1783.28 v -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 1782.63/1783.28 v -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x111 -x2115 -x2117 -x2119 -x2121 1782.63/1783.28 v -x2123 -x2125 -x2127 -x112 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x113 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 1782.63/1783.28 v -x2155 -x2157 -x2159 -x2161 -x2163 -x114 -x2165 -x2167 -x2169 -x115 -x2171 -x2173 -x2175 -x116 -x2177 -x2179 -x2181 -x2183 1782.63/1783.28 v -x2185 -x2187 -x2189 -x117 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x118 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 1782.63/1783.28 v -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 1782.63/1783.28 v -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 1782.63/1783.28 v -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 x119 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 x2317 1782.63/1783.28 v -x2319 -x2321 -x2323 -x2325 -x120 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x121 -x2349 1782.63/1783.28 v -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x122 -x2371 -x2373 -x2375 -x123 -x2377 -x2379 -x2381 1782.63/1783.28 v -x124 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x125 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 1782.63/1783.28 v -x2415 -x2417 -x126 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x127 -x2441 -x2443 -x128 1782.63/1783.28 v -x2445 -x2447 -x2449 -x129 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 1782.63/1783.28 v -x2477 -x2479 -x130 -x2481 -x2483 -x2485 -x131 -x2487 -x2489 -x2491 -x132 -x2493 -x2495 -x2497 -x2499 -x2501 -x133 -x2503 1782.63/1783.28 v -x134 -x2505 -x135 -x2507 -x2509 -x2511 -x2513 -x2515 -x136 -x2517 -x2519 -x2521 x137 -x2523 x2525 -x2527 -x138 -x2529 1782.63/1783.28 v -x2531 -x2533 -x139 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 1782.63/1783.28 v -x2563 -x140 -x2565 -x2567 -x2569 -x141 -x2571 -x2573 -x2575 -x142 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x143 1782.63/1783.28 v -x2591 -x2593 -x2595 -x144 -x2597 -x2599 -x2601 -x145 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 1782.63/1783.28 v -x2623 x2625 -x2627 -x2629 -x146 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x147 -x2645 -x2647 -x2649 -x2651 -x2653 1782.63/1783.28 v -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 x2681 -x2683 -x2685 -x2687 1782.63/1783.28 v -x2689 -x2691 -x2693 -x2695 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 1782.63/1783.28 v -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 1782.63/1783.28 v -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x148 -x2784 -x2786 -x2788 1782.63/1783.28 v -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x149 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 1782.63/1783.28 v -x2822 -x2824 -x2826 -x150 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 1782.63/1783.28 v -x2854 -x2856 -x2858 -x2860 -x151 -x2862 -x2864 -x2866 -x2868 -x2870 -x152 -x2872 -x2874 -x2876 -x2878 -x2880 -x153 -x2882 1782.63/1783.28 v -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x154 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 1782.63/1783.28 v -x2916 -x2918 -x2920 -x2922 -x2924 -x155 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 1782.63/1783.28 v -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 1782.63/1783.28 v -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3015 1782.63/1783.28 v -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 1782.63/1783.28 v -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x156 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 1782.63/1783.28 v -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x157 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 1782.63/1783.28 v -x3115 -x3117 -x3119 -x3121 -x3123 -x158 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x159 -x3139 -x3141 -x3143 -x3145 1782.63/1783.28 v -x3147 -x3149 -x3151 -x160 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x161 -x3175 -x3177 1782.63/1783.28 v -x3179 -x162 -x3181 -x3183 -x163 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x164 -x3208 1782.63/1783.28 v -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x165 -x3230 -x3232 -x3234 -x166 -x3236 -x3238 -x3240 1782.63/1783.28 v -x167 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x168 -x3272 1782.63/1783.28 v -x3274 -x3276 -x169 -x3278 -x3280 -x3282 -x170 -x3284 -x3286 -x3288 -x171 -x3290 -x3292 -x3294 -x3296 x3298 x172 -x3300 1782.63/1783.28 v -x173 -x3302 -x174 -x3304 -x3306 -x3308 -x175 -x3310 -x3312 -x3314 -x176 -x3316 -x3318 -x3320 -x177 -x3322 -x3324 -x3326 1782.63/1783.28 v -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x178 -x3352 -x3354 -x3356 -x179 -x3358 1782.63/1783.28 v -x3360 -x3362 -x180 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 x3388 -x3390 -x3392 1782.63/1783.28 v -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 x181 -x3420 -x3422 x3424 -x3426 1782.63/1783.28 v -x3428 -x3430 x3432 -x3434 -x3436 -x3438 -x182 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 1782.63/1783.28 v -x3462 -x3464 -x3466 -x3468 x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 x183 -x3492 x3494 1782.63/1783.28 v -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x184 -x3522 -x3524 -x3526 1782.63/1783.28 v -x185 -x3528 -x3530 -x3532 -x186 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556 -x3559 1782.63/1783.28 v -x3561 -x187 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x188 -x3592 1782.63/1783.28 v -x3594 -x189 -x3596 -x3598 -x3600 -x190 -x3602 -x3604 -x3606 x191 -x3608 -x3610 x3612 -x3614 -x3616 -x192 -x3618 -x193 1782.63/1783.28 v -x3620 -x194 -x3622 -x3624 -x3626 -x3628 x3630 -x3632 -x3634 x3636 -x3638 -x3640 -x3642 -x3644 x3646 -x3648 -x195 -x3650 1782.63/1783.28 v -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x3677 -x3679 -x3681 -x3683 -x3685 1782.63/1783.28 v -x196 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 1782.63/1783.28 v -x3720 -x3723 -x3725 -x197 -x3727 -x3729 -x3731 -x3733 -x3735 -x198 -x3737 -x3739 -x3741 -x3743 -x3745 -x199 -x3747 -x3749 1782.63/1783.28 v -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3782 -x200 1782.63/1783.28 v -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 1782.63/1783.28 v -x3820 -x3822 -x201 -x3824 -x3826 -x3828 x3830 -x3832 -x3834 -x202 -x3836 -x3838 -x3840 -x203 -x3842 -x3844 -x3846 -x3848 1782.63/1783.28 v x3850 x204 -x3852 -x205 -x3854 -x206 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 x3868 -x3870 x207 x3872 -x3874 -x3876 -x3878 1782.63/1783.28 v -x3880 -x208 -x3882 -x3884 -x3886 -x3888 -x3890 -x209 -x3892 -x3894 -x210 -x3896 -x3898 -x3900 -x3902 x3904 x3906 -x3908 1782.63/1783.28 v -x211 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x212 x3938 x213 1782.63/1783.28 v x3940 x214 -x3942 x215 x3944 x216
OK 11486
/tmp/evaluation/372318-1177087551/instance-372318-1177087551.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node45/watcher-372318-1177087551 -o ROOT/results/node45/solver-372318-1177087551 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/372318-1177087551/instance-372318-1177087551.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/77 10067 /proc/meminfo: memFree=1793416/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=2552 CPUtime=0 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 63600703 2613248 232 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 5193431 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 638 232 193 16 0 77 0 [startup+0.029391 s] /proc/loadavg: 1.00 1.00 1.00 3/77 10067 /proc/meminfo: memFree=1793416/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=3084 CPUtime=0.02 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 407 0 0 0 2 0 0 0 18 0 1 0 63600703 3158016 377 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 5193431 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 771 377 199 16 0 210 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3084 [startup+0.101393 s] /proc/loadavg: 1.00 1.00 1.00 3/77 10067 /proc/meminfo: memFree=1793416/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=4016 CPUtime=0.09 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 630 0 0 0 9 0 0 0 18 0 1 0 63600703 4112384 600 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 1004 602 199 16 0 443 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4016 [startup+0.301408 s] /proc/loadavg: 1.00 1.00 1.00 3/77 10067 /proc/meminfo: memFree=1793416/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=4952 CPUtime=0.29 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 872 0 0 0 29 0 0 0 19 0 1 0 63600703 5070848 842 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 1238 842 205 16 0 677 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4952 [startup+0.701448 s] /proc/loadavg: 1.00 1.00 1.00 3/77 10067 /proc/meminfo: memFree=1793416/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=4952 CPUtime=0.69 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 872 0 0 0 67 2 0 0 22 0 1 0 63600703 5070848 842 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 1238 842 205 16 0 677 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4952 [startup+1.50153 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10068 /proc/meminfo: memFree=1790784/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=5204 CPUtime=1.49 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 941 0 0 0 144 5 0 0 25 0 1 0 63600703 5328896 911 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 1301 911 205 16 0 740 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5204 [startup+3.10169 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10068 /proc/meminfo: memFree=1790080/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=6112 CPUtime=3.1 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 1173 0 0 0 301 9 0 0 25 0 1 0 63600703 6258688 1143 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527658 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 1528 1143 205 16 0 967 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 6112 [startup+6.30202 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10068 /proc/meminfo: memFree=1788864/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=6884 CPUtime=6.29 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 1338 0 0 0 616 13 0 0 25 0 1 0 63600703 7049216 1308 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 1721 1308 205 16 0 1160 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6884 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10068 /proc/meminfo: memFree=1787080/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=8456 CPUtime=12.69 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 1737 0 0 0 1245 24 0 0 25 0 1 0 63600703 8658944 1707 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 2114 1707 205 16 0 1553 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8456 [startup+25.503 s] /proc/loadavg: 1.00 1.00 1.00 3/78 10068 /proc/meminfo: memFree=1786440/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=9100 CPUtime=25.49 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 1903 0 0 0 2509 40 0 0 25 0 1 0 63600703 9318400 1873 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 2275 1873 205 16 0 1714 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 9100 [startup+51.1026 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10068 /proc/meminfo: memFree=1785864/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=9616 CPUtime=51.08 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 2035 0 0 0 5038 70 0 0 25 0 1 0 63600703 9846784 2005 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 2404 2005 205 16 0 1843 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 9616 [startup+102.307 s] /proc/loadavg: 1.00 1.00 1.00 3/78 10068 /proc/meminfo: memFree=1782280/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=13200 CPUtime=102.27 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 2933 0 0 0 10106 121 0 0 25 0 1 0 63600703 13516800 2903 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 3300 2903 205 16 0 2739 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 13200 [startup+162.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10068 /proc/meminfo: memFree=1777032/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=18580 CPUtime=162.26 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 4264 0 0 0 16043 183 0 0 25 0 1 0 63600703 19025920 4234 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 4645 4234 205 16 0 4084 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 18580 [startup+222.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10068 /proc/meminfo: memFree=1771720/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=23812 CPUtime=222.24 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 5574 0 0 0 21997 227 0 0 25 0 1 0 63600703 24383488 5544 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528604 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 5953 5544 205 16 0 5392 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 23812 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10068 /proc/meminfo: memFree=1771656/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=23812 CPUtime=282.22 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 5574 0 0 0 27936 286 0 0 25 0 1 0 63600703 24383488 5544 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134557715 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 5953 5544 205 16 0 5392 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 23812 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10068 /proc/meminfo: memFree=1771656/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=23812 CPUtime=342.2 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 5575 0 0 0 33871 349 0 0 25 0 1 0 63600703 24383488 5545 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 5953 5545 205 16 0 5392 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 23812 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10068 /proc/meminfo: memFree=1771592/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=23812 CPUtime=402.19 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 5575 0 0 0 39799 420 0 0 25 0 1 0 63600703 24383488 5545 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528560 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 5953 5545 205 16 0 5392 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 23812 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10068 /proc/meminfo: memFree=1771784/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=23812 CPUtime=462.17 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 5575 0 0 0 45713 504 0 0 25 0 1 0 63600703 24383488 5545 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528061 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 5953 5545 205 16 0 5392 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 23812 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10068 /proc/meminfo: memFree=1770440/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=25100 CPUtime=522.16 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 5894 0 0 0 51649 567 0 0 25 0 1 0 63600703 25702400 5864 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134557416 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 6275 5864 205 16 0 5714 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 25100 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10068 /proc/meminfo: memFree=1766984/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=28652 CPUtime=582.14 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 6769 0 0 0 57584 630 0 0 25 0 1 0 63600703 29339648 6739 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559548 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 7163 6739 205 16 0 6602 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 28652 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10068 /proc/meminfo: memFree=1766280/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=29360 CPUtime=642.13 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 6943 0 0 0 63531 682 0 0 25 0 1 0 63600703 30064640 6913 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527993 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 7340 6913 205 16 0 6779 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 29360 ################ # More data... # ################ /proc/meminfo: memFree=1749640/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=45600 CPUtime=882.07 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11087 0 0 0 87298 909 0 0 25 0 1 0 63600703 46694400 10985 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 11400 10985 205 16 0 10839 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 45600 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/84 10232 /proc/meminfo: memFree=1748488/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=45600 CPUtime=941.97 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11087 0 0 0 93244 953 0 0 25 0 1 0 63600703 46694400 10985 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 11400 10985 205 16 0 10839 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 45600 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10266 /proc/meminfo: memFree=1749704/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=45600 CPUtime=1001.93 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11087 0 0 0 99182 1011 0 0 25 0 1 0 63600703 46694400 10985 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 11400 10985 205 16 0 10839 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 45600 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10266 /proc/meminfo: memFree=1749704/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=45600 CPUtime=1061.91 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11087 0 0 0 105122 1069 0 0 25 0 1 0 63600703 46694400 10985 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558823 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 11400 10985 205 16 0 10839 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 45600 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10266 /proc/meminfo: memFree=1749640/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=45600 CPUtime=1121.9 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11087 0 0 0 111044 1146 0 0 25 0 1 0 63600703 46694400 10985 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 11400 10985 205 16 0 10839 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 45600 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10266 /proc/meminfo: memFree=1749704/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=45600 CPUtime=1181.88 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11087 0 0 0 116992 1196 0 0 25 0 1 0 63600703 46694400 10985 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527724 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 11400 10985 205 16 0 10839 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 45600 [startup+1242.3 s] /proc/loadavg: 1.05 1.01 1.00 2/78 10266 /proc/meminfo: memFree=1749640/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=45600 CPUtime=1241.87 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11088 0 0 0 122914 1273 0 0 25 0 1 0 63600703 46694400 10986 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 11400 10986 205 16 0 10839 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 45600 [startup+1302.3 s] /proc/loadavg: 1.02 1.01 1.00 2/78 10266 /proc/meminfo: memFree=1749640/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=45600 CPUtime=1301.86 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11088 0 0 0 128842 1344 0 0 25 0 1 0 63600703 46694400 10986 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 11400 10986 205 16 0 10839 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 45600 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10268 /proc/meminfo: memFree=1749704/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=45600 CPUtime=1361.83 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11090 0 0 0 134793 1390 0 0 25 0 1 0 63600703 46694400 10988 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 11400 10988 205 16 0 10839 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 45600 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10268 /proc/meminfo: memFree=1749768/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=45600 CPUtime=1421.83 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11090 0 0 0 140740 1443 0 0 25 0 1 0 63600703 46694400 10988 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 11400 10988 205 16 0 10839 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 45600 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10268 /proc/meminfo: memFree=1749832/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=45600 CPUtime=1481.81 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11090 0 0 0 146697 1484 0 0 25 0 1 0 63600703 46694400 10988 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 11400 10988 205 16 0 10839 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 45600 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10268 /proc/meminfo: memFree=1749768/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=45600 CPUtime=1541.8 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11091 0 0 0 152632 1548 0 0 25 0 1 0 63600703 46694400 10989 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 11400 10989 205 16 0 10839 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 45600 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10268 /proc/meminfo: memFree=1749768/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=45600 CPUtime=1601.78 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11091 0 0 0 158556 1622 0 0 25 0 1 0 63600703 46694400 10989 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 11400 10989 205 16 0 10839 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 45600 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10268 /proc/meminfo: memFree=1749832/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=45600 CPUtime=1661.76 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11091 0 0 0 164484 1692 0 0 25 0 1 0 63600703 46694400 10989 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 11400 10989 205 16 0 10839 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 45600 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10268 /proc/meminfo: memFree=1749768/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=45600 CPUtime=1721.74 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11091 0 0 0 170417 1757 0 0 25 0 1 0 63600703 46694400 10989 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 11400 10989 205 16 0 10839 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 45600 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10268 /proc/meminfo: memFree=1749768/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=45600 CPUtime=1781.73 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11091 0 0 0 176310 1863 0 0 25 0 1 0 63600703 46694400 10989 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 11400 10989 205 16 0 10839 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 45600 Solver just ended. Dumping a history of the last processes samples [startup+1782.7 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10268 /proc/meminfo: memFree=1749768/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=45600 CPUtime=1782.14 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11091 0 0 0 176350 1864 0 0 25 0 1 0 63600703 46694400 10989 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 11400 10989 205 16 0 10839 0 Current children cumulated CPU time (s) 1782.14 Current children cumulated vsize (KiB) 45600 [startup+1783.11 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10268 /proc/meminfo: memFree=1749768/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=45600 CPUtime=1782.53 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11091 0 0 0 176389 1864 0 0 25 0 1 0 63600703 46694400 10989 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 11400 10989 205 16 0 10839 0 Current children cumulated CPU time (s) 1782.53 Current children cumulated vsize (KiB) 45600 [startup+1783.2 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10268 /proc/meminfo: memFree=1749768/2055920 swapFree=4158476/4192956 [pid=10067] ppid=10065 vsize=45600 CPUtime=1782.63 /proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11091 0 0 0 176399 1864 0 0 25 0 1 0 63600703 46694400 10989 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10067/statm: 11400 10989 205 16 0 10839 0 Current children cumulated CPU time (s) 1782.63 Current children cumulated vsize (KiB) 45600 Child status: 10 Real time (s): 1783.3 CPU time (s): 1782.74 CPU user time (s): 1764.08 CPU system time (s): 18.6552 CPU usage (%): 99.9685 Max. virtual memory (cumulated for all children) (KiB): 45892 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1764.08 system time used= 18.6552 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11098 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 16 involuntary context switches= 18787 runsolver used 2.13068 second user time and 4.35334 second system time The end
Begin job on node45 on Fri Apr 20 16:45:51 UTC 2007 IDJOB= 372318 IDBENCH= 24963 IDSOLVER= 165 FILE ID= node45/372318-1177087551 PBS_JOBID= 4640308 Free space on /tmp= 66445 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir09_trarea_ac.opb COMMAND LINE= Pueblo /tmp/evaluation/372318-1177087551/instance-372318-1177087551.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node45/convwatcher-372318-1177087551 -o ROOT/results/node45/conversion-372318-1177087551 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372318-1177087551/instance-372318-1177087551.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-372318-1177087551 -o ROOT/results/node45/solver-372318-1177087551 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/372318-1177087551/instance-372318-1177087551.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 83e4cddd78ca4f87cfb13af1d930e0cc RANDOM SEED= 81041341 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node45.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1793888 kB Buffers: 37476 kB Cached: 158488 kB SwapCached: 14564 kB Active: 128540 kB Inactive: 91300 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1793888 kB SwapTotal: 4192956 kB SwapFree: 4158476 kB Dirty: 2548 kB Writeback: 0 kB Mapped: 32016 kB Slab: 27812 kB Committed_AS: 1244632 kB PageTables: 1732 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66445 MiB End job on node45 on Fri Apr 20 17:15:34 UTC 2007