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