Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 27 | 1782.74 | 1783.32 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_009_area_delay.opb |
MD5SUM | 2aa6eb5ee09e1484657dfe3626167241 |
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 | 24 |
Best CPU time to get the best result obtained on this benchmark | 35.0187 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | YES |
Number of variables | 6148 |
Total number of constraints | 19000 |
Number of constraints which are clauses | 19000 |
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 | 127 |
Number of terms in the objective function | 2987 |
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 | 2987 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 2987 |
Number of bits of the biggest sum of numbers | 12 |
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.39/0.43 c starting to Solve 0.39/0.43 c #variables read: 6148 - #constraints read: 18514 0.39/0.44 o 38 0.48/0.50 o 36 0.48/0.50 o 35 0.59/0.61 o 33 0.59/0.64 o 32 0.59/0.66 o 31 0.89/0.93 o 29 3.39/3.40 o 28 3.39/3.42 o 27 1782.72/1783.30 c total time : 1783 s 1782.72/1783.30 s SATISFIABLE 1782.72/1783.30 v -x192 -x194 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 1782.72/1783.30 v -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 1782.72/1783.30 v -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 1782.72/1783.30 v -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 1782.72/1783.30 v -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 1782.72/1783.30 v -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 1782.72/1783.30 v -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 1782.72/1783.30 v -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 1782.72/1783.30 v -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 1782.72/1783.30 v -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 1782.72/1783.30 v -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 1782.72/1783.30 v -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 1782.72/1783.30 v -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 1782.72/1783.30 v -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 1782.72/1783.30 v -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x807 -x809 -x811 -x813 -x815 -x817 -x819 1782.72/1783.30 v -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 1782.72/1783.30 v -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903 1782.72/1783.30 v -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 1782.72/1783.30 v -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 1782.72/1783.30 v -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 1782.72/1783.30 v -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 1782.72/1783.30 v -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 1782.72/1783.30 v -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 1782.72/1783.30 v -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 1782.72/1783.30 v -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 1782.72/1783.30 v -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 1782.72/1783.30 v -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 1782.72/1783.30 v -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 x1290 -x1292 -x1294 1782.72/1783.30 v -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 1782.72/1783.30 v -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 1782.72/1783.30 v -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 1782.72/1783.30 v -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 1782.72/1783.30 v -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 1782.72/1783.30 v -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 1782.72/1783.30 v -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 1782.72/1783.30 v -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 1782.72/1783.30 v -x1568 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 1782.72/1783.30 v -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 1782.72/1783.30 v -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 1782.72/1783.30 v -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 1782.72/1783.30 v -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 1782.72/1783.30 v -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 1782.72/1783.30 v -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 1782.72/1783.30 v -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 1782.72/1783.30 v -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1864 -x1866 -x1868 -x1870 1782.72/1783.30 v -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 1782.72/1783.30 v -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 1782.72/1783.30 v -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 1782.72/1783.30 v -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 1782.72/1783.30 v -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 1782.72/1783.30 v -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 1782.72/1783.30 v -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 1782.72/1783.30 v -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 1782.72/1783.30 v -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 1782.72/1783.30 v -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 1782.72/1783.30 v -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 1782.72/1783.30 v -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 1782.72/1783.30 v -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 1782.72/1783.30 v -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 1782.72/1783.30 v -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 1782.72/1783.30 v -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 1782.72/1783.30 v -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 1782.72/1783.30 v -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 1782.72/1783.30 v -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 1782.72/1783.30 v -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 1782.72/1783.30 v -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 1782.72/1783.30 v -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 1782.72/1783.30 v x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 1782.72/1783.30 v -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 1782.72/1783.30 v -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 1782.72/1783.30 v -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 1782.72/1783.30 v -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 1782.72/1783.30 v -x2788 x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 1782.72/1783.30 v -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 1782.72/1783.30 v -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 1782.72/1783.30 v -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 1782.72/1783.30 v -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 1782.72/1783.30 v -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 1782.72/1783.30 v -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 1782.72/1783.30 v -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 1782.72/1783.30 v -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 1782.72/1783.30 v -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 x3126 1782.72/1783.30 v -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 1782.72/1783.30 v -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 1782.72/1783.30 v -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 1782.72/1783.30 v -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 1782.72/1783.30 v -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 1782.72/1783.30 v -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 1782.72/1783.30 v -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 1782.72/1783.30 v -x3366 -x3368 -x3370 -x3372 -x3374 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 1782.72/1783.30 v -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 1782.72/1783.30 v -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 1782.72/1783.30 v -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 1782.72/1783.30 v -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 1782.72/1783.30 v -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 1782.72/1783.30 v -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 1782.72/1783.30 v -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 1782.72/1783.30 v -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 1782.72/1783.30 v -x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 1782.72/1783.30 v -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 1782.72/1783.30 v -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 1782.72/1783.30 v -x3772 -x3774 -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 1782.72/1783.30 v -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 1782.72/1783.30 v -x3840 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 1782.72/1783.30 v -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 1782.72/1783.30 v -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 1782.72/1783.30 v -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 1782.72/1783.30 v -x3976 -x3978 -x3980 -x3982 x3984 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 1782.72/1783.30 v -x4010 -x4012 -x4014 -x4015 -x4017 -x4019 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -x4039 -x4041 1782.72/1783.30 v -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 -x4075 1782.72/1783.30 v -x4077 -x4079 -x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 1782.72/1783.30 v -x4111 -x4113 -x4115 -x4117 -x4119 x4121 -x4123 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 1782.72/1783.30 v -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 -x4177 1782.72/1783.30 v -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 1782.72/1783.30 v -x4213 -x4215 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 1782.72/1783.30 v -x4247 -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 1782.72/1783.30 v -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x4309 -x4311 -x4313 1782.72/1783.30 v -x4315 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 1782.72/1783.30 v -x4349 -x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x4363 -x4365 -x4367 -x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 1782.72/1783.30 v -x4383 -x4385 -x4387 -x4389 x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x4407 -x4409 -x4411 -x4413 -x4415 1782.72/1783.30 v -x4417 -x4419 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 -x4435 -x4437 -x4439 -x4441 -x4443 -x4445 -x4447 -x4449 1782.72/1783.30 v -x4451 -x4453 -x4455 -x4457 -x4459 -x4461 -x4463 -x4465 -x4467 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x4481 -x4483 1782.72/1783.30 v -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4499 -x4501 -x4503 -x4505 -x4507 -x4509 -x4511 -x4513 -x4515 -x4517 1782.72/1783.30 v -x4519 -x4521 -x4523 -x4525 -x4527 -x4529 -x4531 -x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4547 -x4549 -x4551 1782.72/1783.30 v -x4553 -x4555 -x4557 -x4559 -x4561 -x4563 -x4565 -x4567 -x4569 -x4571 -x4573 -x4575 -x4577 -x4579 -x4581 -x4583 -x4585 1782.72/1783.30 v -x4587 -x4589 -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x4619 1782.72/1783.30 v -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 -x4637 -x4639 x4641 -x4643 -x4645 -x4647 -x4649 -x4651 -x4653 1782.72/1783.30 v -x4655 -x4657 -x4659 -x4661 -x4663 -x4665 -x4667 -x4669 -x4671 -x4673 -x4675 -x4677 -x4679 -x4681 -x4683 -x4685 -x4687 1782.72/1783.30 v -x4689 -x4691 -x4693 -x4695 -x4697 -x4699 -x4701 -x4703 -x4705 -x4707 x4709 -x4711 -x4713 -x4715 -x4717 -x4719 -x4721 1782.72/1783.30 v -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x4737 -x4739 -x4741 -x4743 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 1782.72/1783.30 v -x4757 -x4759 -x4761 -x4763 -x4765 -x4767 -x4769 -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x4785 -x4787 -x4789 1782.72/1783.30 v -x4791 -x4793 -x4795 -x4797 -x4799 x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813 -x4815 -x4817 -x4819 -x4821 -x4823 1782.72/1783.30 v -x4825 -x4827 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x4841 -x4843 -x4845 -x4847 -x4849 -x4851 x4853 x4855 -x4857 -x4859 1782.72/1783.30 v -x4861 -x4863 -x4865 -x4867 -x4869 -x4871 -x4873 -x4875 -x4877 -x4879 -x4881 -x4883 -x4885 -x4887 -x4889 -x4891 -x4893 1782.72/1783.30 v -x4895 -x4897 -x4899 -x4901 -x4903 -x4905 -x4907 -x4909 -x4911 -x4913 -x4915 -x4917 -x4919 -x4921 -x4923 -x4925 -x4927 1782.72/1783.30 v -x4929 -x4931 -x4933 -x4935 -x4937 -x4938 -x4940 -x4942 -x4944 -x4946 -x4948 -x4950 -x4952 -x4954 -x4956 -x4958 -x4960 1782.72/1783.30 v -x4962 -x4964 -x4966 -x4968 -x4970 -x4972 -x4974 -x4976 -x4978 -x4980 -x4982 -x4984 -x4986 -x4988 -x4990 -x4992 -x4994 1782.72/1783.30 v -x4996 -x4998 -x5000 -x5002 -x5004 -x5006 -x5008 -x5010 -x5012 -x5014 -x5016 -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 1782.72/1783.30 v -x5030 -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 -x5044 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x5058 -x5060 -x5062 1782.72/1783.30 v -x5064 -x5066 -x5068 -x5070 -x5072 -x5073 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x5091 -x5093 -x5095 1782.72/1783.30 v -x5097 -x5099 -x5101 -x5103 -x5105 -x5107 -x5109 -x5111 -x5113 -x5115 -x5117 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129 1782.72/1783.30 v -x5131 -x5133 -x5135 -x5137 -x5139 -x5141 -x5143 -x5145 -x5147 -x5149 -x5151 -x5153 -x5155 -x5157 -x5159 -x5161 -x5163 1782.72/1783.30 v -x5165 -x5167 -x5169 -x5171 -x5173 -x5175 -x5177 -x5178 -x5180 -x5182 -x5184 -x5186 -x5188 -x5190 -x5192 -x5194 -x5196 1782.72/1783.30 v -x5198 -x5200 -x5202 -x5204 -x5206 -x5208 x5210 -x5212 -x5214 -x5216 -x5218 -x5220 -x5222 -x5224 -x5226 -x5228 -x5230 1782.72/1783.30 v -x5232 -x5234 -x5236 -x5238 -x5240 -x5242 -x5244 -x5246 -x5248 x5250 -x5252 -x5254 -x5256 -x5258 -x5260 -x5262 -x5264 1782.72/1783.30 v -x5266 -x5268 -x5270 -x5272 -x5274 -x5276 -x5278 -x5280 -x5281 -x5283 -x5285 -x5287 -x5289 -x5291 -x5293 -x5295 -x5297 1782.72/1783.30 v -x5299 -x5301 -x5303 -x5305 -x5307 -x5309 -x5311 -x5313 -x5315 -x5317 -x5319 -x5321 -x5323 -x5325 -x5327 -x5329 -x5331 1782.72/1783.30 v -x5333 -x5335 -x5337 -x5339 -x5341 -x5343 -x5345 -x5347 -x5349 -x5351 -x5353 -x5355 -x5357 -x5359 -x5361 -x5363 -x5365 1782.72/1783.30 v -x5367 -x5369 -x5371 -x5373 -x5375 -x5377 -x5379 -x5381 -x5383 -x5385 -x5387 -x5389 -x5391 -x5393 -x5395 -x5397 -x5399 1782.72/1783.30 v -x5401 -x5403 -x5405 -x5407 -x5409 -x5411 -x5413 -x5415 -x5417 -x5419 -x5421 -x5423 -x5425 -x5427 -x5429 -x5431 -x5433 1782.72/1783.30 v -x5435 -x5437 -x5439 -x5441 -x5443 -x5445 -x5447 -x5449 -x5451 -x5453 -x5455 -x5457 -x5459 -x5461 -x5463 -x5465 -x5467 1782.72/1783.30 v -x5469 -x5471 -x5473 -x5475 -x5477 -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493 -x5494 -x5496 -x5498 -x5500 1782.72/1783.30 v -x5502 -x5504 -x5506 -x5508 -x5510 -x5512 -x5514 -x5516 -x5518 -x5520 -x5522 -x5524 -x5526 -x5528 -x5530 -x5532 -x5534 1782.72/1783.30 v -x5536 -x5538 -x5540 -x5542 -x5544 -x5546 -x5548 -x5550 -x5552 -x5554 -x5556 -x5558 -x5560 -x5562 -x5564 -x5566 -x5568 1782.72/1783.30 v -x5570 -x5572 -x5574 -x5576 -x5578 -x5580 -x5582 -x5584 -x5586 -x5588 -x5590 x5592 -x5594 -x5596 -x5598 -x5600 -x5602 1782.72/1783.30 v -x5604 -x5606 -x5608 -x5610 -x5612 -x5614 -x5616 -x5618 -x5620 -x5622 -x5624 -x5626 -x5628 -x5630 -x5632 -x5634 -x5636 1782.72/1783.30 v -x5638 -x5640 -x5642 -x5644 -x5646 -x5648 -x5650 -x5652 -x5654 -x5656 -x5658 -x5660 -x5662 -x5664 -x5666 -x5668 -x5670 1782.72/1783.30 v -x5672 -x5674 -x5676 -x5678 -x5680 -x5682 -x5684 -x5686 -x5688 -x5690 -x5692 -x5694 -x5696 -x5698 -x5700 -x5702 -x5704 1782.72/1783.30 v -x5706 -x5708 -x5710 -x5712 -x5714 -x5716 -x5718 -x5720 -x5722 -x5724 -x5726 -x5728 -x5730 -x5732 -x5734 -x5736 x5738 1782.72/1783.30 v -x5740 -x5742 -x5744 -x5746 -x5748 -x5750 -x5752 -x5754 -x5756 -x5758 -x5760 -x5762 -x5764 -x5766 -x5768 -x5770 -x5772 1782.72/1783.30 v -x5774 -x5776 -x5777 -x5779 -x5781 -x5783 -x5785 -x5787 -x5789 -x5791 -x5793 -x5794 -x5796 -x5798 -x5800 -x5802 -x5804 1782.72/1783.30 v -x5806 -x5808 -x5810 -x5812 -x5814 -x5816 -x5818 -x5820 -x5822 -x5824 -x5826 -x5828 -x5830 -x5832 -x5834 -x5836 -x5838 1782.72/1783.30 v -x5840 -x5842 -x5844 -x5846 -x5848 -x5850 -x5852 -x5854 -x5856 -x5858 -x5860 -x5862 -x5864 -x5866 -x5868 -x5870 -x5872 1782.72/1783.30 v -x5874 -x5876 -x5878 -x5880 -x5882 -x5884 -x5886 -x5888 -x5890 -x5892 -x5894 -x5896 -x5898 -x5900 -x5902 -x5904 -x5906 1782.72/1783.30 v -x5908 -x5910 -x5912 -x5914 x5916 -x5918 -x5920 -x5922 -x5924 -x5926 -x5928 -x5930 -x5932 -x5934 -x5936 -x5938 -x5940 1782.72/1783.30 v -x5942 -x5944 -x5946 -x5948 -x5950 -x5952 -x5954 -x5956 -x5958 -x5960 -x5962 -x5964 -x5966 -x5968 -x5970 -x5972 -x5974 1782.72/1783.30 v -x5976 -x5978 -x5980 -x5982 -x5984 -x5986 -x5988 -x5990 -x5992 -x5994 -x5996 -x5998 -x6000 -x6002 -x6004 -x6006 x6008 1782.72/1783.30 v -x6010 -x6012 -x6014 -x6016 -x6018 x6020 x6022 -x6024 -x6026 x6028 -x6030 -x6032 -x6034 -x6036 -x6038 -x6040 -x6042 -x6044 1782.72/1783.30 v -x6046 -x6048 -x6050 -x6052 -x6054 -x6056 -x6058 -x6060 -x6062 -x6064 -x6066 -x6068 -x6070 -x6072 -x6074 -x6076 -x6078 1782.72/1783.30 v -x6080 -x6082 -x6084 -x6086 -x6088 -x6090 -x6092 -x6094 -x6096 -x6098 -x6100 -x6102 -x6104 -x6106 -x6108 -x6110 -x6112 1782.72/1783.30 v -x6114 -x6116 -x6118 -x6120 -x6122 -x6124 -x6126 -x6128 -x6130 -x6132 -x6134 x6136 -x6138 -x6140 x6142 -x6144 x6146 -x6148 1782.72/1783.30 v -x191 -x193 -x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 1782.72/1783.30 v -x233 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 1782.72/1783.30 v -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 1782.72/1783.30 v -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 1782.72/1783.30 v -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 1782.72/1783.30 v -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 1782.72/1783.30 v -x443 -x445 -x1 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 1782.72/1783.30 v -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 1782.72/1783.30 v -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 1782.72/1783.30 v -x567 -x569 -x571 -x2 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 1782.72/1783.30 v -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 1782.72/1783.30 v -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 1782.72/1783.30 v -x691 -x693 -x695 -x697 -x3 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 1782.72/1783.30 v -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x4 -x761 -x763 -x765 -x767 -x769 1782.72/1783.30 v -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x808 -x810 -x812 1782.72/1783.30 v -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 1782.72/1783.30 v -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x5 -x886 -x888 -x890 -x892 -x894 1782.72/1783.30 v -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 1782.72/1783.30 v -x938 -x940 -x942 -x944 -x946 -x6 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 1782.72/1783.30 v -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x7 -x1010 -x1012 -x1014 1782.72/1783.30 v -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x8 -x1040 -x1042 -x1044 -x1046 -x1048 1782.72/1783.30 v -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 1782.72/1783.30 v -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 1782.72/1783.30 v -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 1782.72/1783.30 v -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x9 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 1782.72/1783.30 v -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 1782.72/1783.30 v -x1220 -x1222 -x1224 -x1226 -x10 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 1782.72/1783.30 v -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 1782.72/1783.30 v -x1288 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 1782.72/1783.30 v -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x11 -x1351 -x1353 -x1355 1782.72/1783.30 v -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x12 -x1381 -x1383 -x1385 -x1387 -x1389 1782.72/1783.30 v -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 1782.72/1783.30 v -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x13 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 1782.72/1783.30 v -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x14 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 1782.72/1783.30 v -x1493 -x1495 -x1497 -x1499 -x1501 -x15 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 1782.72/1783.30 v -x1527 -x1529 -x1531 -x16 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x17 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 1782.72/1783.30 v -x1559 -x1561 -x1563 -x1565 -x1567 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 1782.72/1783.30 v -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 1782.72/1783.30 v -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 1782.72/1783.30 v -x1662 -x1664 -x1666 -x1668 -x18 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 1782.72/1783.30 v -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 1782.72/1783.30 v -x1730 -x19 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 1782.72/1783.30 v -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x20 -x1794 -x1796 1782.72/1783.30 v -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x21 -x1824 -x1826 -x1828 -x1830 1782.72/1783.30 v -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1865 1782.72/1783.30 v -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x22 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 1782.72/1783.30 v -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x23 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 1782.72/1783.30 v -x1935 -x1937 -x1939 -x1941 -x1943 -x24 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x25 -x1959 -x1961 -x1963 -x1965 1782.72/1783.30 v -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 1782.72/1783.30 v -x2001 -x2003 -x2005 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x26 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 1782.72/1783.30 v -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x27 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 1782.72/1783.30 v -x2070 -x2072 -x2074 -x2076 -x2078 -x28 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 1782.72/1783.30 v -x2104 -x2106 -x2108 -x29 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x30 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 1782.72/1783.30 v -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x31 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x32 1782.72/1783.30 v -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x33 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x34 -x2196 -x2198 1782.72/1783.30 v -x2200 -x35 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 1782.72/1783.30 v -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 1782.72/1783.30 v -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2299 -x2301 1782.72/1783.30 v -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x36 -x2327 -x2329 -x2331 -x2333 -x2335 1782.72/1783.30 v -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 1782.72/1783.30 v -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x37 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 1782.72/1783.30 v -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 1782.72/1783.30 v -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x38 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 1782.72/1783.30 v -x2473 -x2475 -x2477 -x2479 -x39 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 1782.72/1783.30 v -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 1782.72/1783.30 v -x2541 -x40 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x41 1782.72/1783.30 v -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x42 -x2603 -x2605 1782.72/1783.30 v -x2607 -x2609 -x2611 -x2613 -x2615 x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 1782.72/1783.30 v -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 1782.72/1783.30 v -x2675 -x2677 -x43 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 1782.72/1783.30 v -x44 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x45 -x2739 1782.72/1783.30 v -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x46 -x2769 -x2771 -x2773 1782.72/1783.30 v -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 1782.72/1783.30 v -x2809 -x2811 -x47 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x48 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 1782.72/1783.30 v -x49 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x50 -x2855 -x2857 -x2859 -x51 -x2861 -x2863 -x2865 -x2867 -x2869 1782.72/1783.30 v -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 1782.72/1783.30 v -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x52 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 1782.72/1783.30 v -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x53 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 1782.72/1783.30 v -x2973 -x2975 -x2977 -x2979 -x2981 -x54 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x55 -x2997 -x2999 -x3001 -x3003 1782.72/1783.30 v -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x56 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 1782.72/1783.30 v -x3039 -x57 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x58 -x3053 -x3055 -x3057 -x59 -x3059 -x3061 -x3063 -x3065 -x3067 1782.72/1783.30 v -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x60 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 1782.72/1783.30 v -x61 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 x3125 -x3127 -x3129 -x62 -x3131 -x3133 1782.72/1783.30 v -x3135 -x63 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x64 -x3151 -x3153 -x3155 -x65 -x3157 -x3159 -x3161 -x66 -x3163 1782.72/1783.30 v -x3165 -x3167 -x67 -x3169 -x68 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 1782.72/1783.30 v -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 1782.72/1783.30 v -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 1782.72/1783.30 v -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x69 -x3297 1782.72/1783.30 v -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 1782.72/1783.30 v -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x70 -x3359 -x3361 -x3363 -x3365 1782.72/1783.30 v -x3367 -x3369 -x3371 -x3373 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x3394 -x3396 -x3398 -x3400 1782.72/1783.30 v -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x71 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 1782.72/1783.30 v -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x72 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 1782.72/1783.30 v -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 1782.72/1783.30 v -x3504 -x3506 -x3508 -x3510 -x73 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 1782.72/1783.30 v -x3538 -x3540 -x74 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 1782.72/1783.30 v -x3572 -x3574 -x3576 -x3578 x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604 1782.72/1783.30 v -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3623 -x3625 -x3627 -x3629 -x75 -x3631 -x3633 -x3635 -x3637 -x3639 1782.72/1783.30 v -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x76 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 1782.72/1783.30 v -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x77 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x78 -x3705 1782.72/1783.30 v -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 -x3739 1782.72/1783.30 v -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x79 -x3767 -x3769 -x3771 -x3773 1782.72/1783.30 v -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x80 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 1782.72/1783.30 v -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x81 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 1782.72/1783.30 v -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x82 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x83 -x3871 -x3873 1782.72/1783.30 v -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x84 -x3901 -x3903 -x3905 -x3907 1782.72/1783.30 v -x3909 -x3911 -x3913 -x85 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x86 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 1782.72/1783.30 v -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 -x3955 -x3957 -x87 -x3959 -x3961 -x3963 -x3965 -x3967 -x3969 -x3971 -x3973 1782.72/1783.30 v -x3975 -x3977 -x3979 -x3981 x3983 -x3985 -x88 -x3987 -x3989 -x3991 -x89 -x3993 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005 1782.72/1783.30 v -x4007 -x4009 -x4011 -x4013 -x4016 -x4018 -x4020 -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 1782.72/1783.30 v -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x90 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 1782.72/1783.30 v -x4076 -x4078 -x4080 -x4082 -x91 -x4084 -x4086 -x4088 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x4104 -x4106 -x4108 1782.72/1783.30 v -x4110 -x4112 -x4114 -x4116 -x4118 x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 1782.72/1783.30 v -x92 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x93 -x4158 -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 1782.72/1783.30 v -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x94 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x95 -x4202 -x4204 -x4206 1782.72/1783.30 v -x4208 -x4210 -x4212 -x4214 -x96 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234 -x4236 -x4238 -x4240 1782.72/1783.30 v -x4242 -x4244 -x97 -x4246 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 x4260 -x4262 -x4264 -x4266 -x4268 -x4270 -x4272 -x98 1782.72/1783.30 v -x4274 -x4276 -x4278 -x99 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 1782.72/1783.30 v -x4308 -x100 -x4310 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x101 -x4324 -x4326 -x4328 -x4330 -x4332 -x4334 -x4336 -x102 1782.72/1783.30 v -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x103 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x104 -x4366 -x4368 1782.72/1783.30 v -x4370 -x105 -x4372 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x106 -x4386 -x4388 x4390 -x4392 -x4394 -x107 -x4396 -x4398 1782.72/1783.30 v -x4400 -x4402 -x4404 -x4406 -x4408 -x108 -x4410 -x4412 -x4414 -x109 -x4416 -x4418 -x4420 -x110 -x4422 -x111 -x4424 -x4426 1782.72/1783.30 v -x4428 -x4430 -x4432 -x4434 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4450 -x4452 -x4454 -x4456 -x4458 -x4460 1782.72/1783.30 v -x4462 -x4464 -x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x112 -x4486 -x4488 -x4490 -x4492 1782.72/1783.30 v -x4494 -x4496 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x113 -x4516 -x4518 -x4520 -x4522 -x4524 1782.72/1783.30 v -x4526 -x4528 -x4530 -x4532 -x4534 -x4536 -x4538 -x4540 -x4542 -x4544 -x114 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 1782.72/1783.30 v -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 -x4574 -x115 -x4576 -x4578 -x4580 -x4582 -x4584 -x4586 -x4588 1782.72/1783.30 v -x116 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4616 -x4618 -x117 -x4620 1782.72/1783.30 v -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 -x4636 -x4638 x4640 -x4642 -x4644 -x4646 -x118 -x4648 -x4650 -x4652 -x4654 1782.72/1783.30 v -x4656 -x4658 -x4660 -x4662 -x4664 -x4666 -x4668 -x4670 -x4672 -x4674 -x4676 -x119 -x4678 -x4680 -x4682 -x4684 -x4686 1782.72/1783.30 v -x4688 -x4690 -x120 -x4692 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 x121 -x4706 x4708 -x4710 -x122 -x4712 -x4714 -x4716 1782.72/1783.30 v -x4718 -x4720 -x4722 -x4724 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 -x4740 -x123 -x4742 -x4744 -x4746 -x4748 1782.72/1783.30 v -x4750 -x4752 -x4754 -x124 -x4756 -x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x125 -x4770 -x4772 -x4774 -x4776 -x4778 -x4780 1782.72/1783.30 v -x4782 -x126 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 x127 -x4798 x4800 -x4802 -x128 -x4804 -x4806 -x4808 -x4810 1782.72/1783.30 v -x4812 -x4814 -x4816 -x129 -x4818 -x4820 -x4822 -x130 -x4824 -x4826 -x4828 -x131 -x4830 -x4832 -x4834 -x4836 -x4838 -x4840 1782.72/1783.30 v -x4842 -x132 -x4844 -x4846 -x4848 x133 -x4850 x4852 x4854 x134 -x4856 -x135 -x4858 -x4860 -x4862 -x4864 -x4866 -x4868 -x4870 1782.72/1783.30 v -x4872 -x4874 -x4876 -x4878 -x4880 -x4882 -x4884 -x4886 -x4888 -x4890 -x4892 -x4894 -x4896 -x4898 -x4900 -x4902 -x4904 1782.72/1783.30 v -x4906 -x4908 -x4910 -x4912 -x4914 -x4916 -x4918 -x4920 -x4922 -x4924 -x4926 -x4928 -x4930 -x4932 -x4934 -x4936 -x4939 1782.72/1783.30 v -x4941 -x4943 -x4945 -x4947 -x4949 -x4951 -x4953 -x4955 -x4957 -x4959 -x4961 -x4963 -x4965 -x4967 -x4969 -x4971 -x4973 1782.72/1783.30 v -x4975 -x136 -x4977 -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 -x4993 -x4995 -x4997 -x4999 -x5001 -x5003 -x5005 1782.72/1783.30 v -x5007 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 -x5031 -x5033 -x5035 -x5037 -x137 1782.72/1783.30 v -x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 -x5067 -x5069 -x5071 1782.72/1783.30 v -x5074 -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x5096 -x5098 -x138 -x5100 -x5102 -x5104 1782.72/1783.30 v -x5106 -x5108 -x5110 -x5112 -x5114 -x5116 -x5118 -x5120 -x5122 -x5124 -x5126 -x5128 -x139 -x5130 -x5132 -x5134 -x5136 1782.72/1783.30 v -x5138 -x5140 -x5142 -x5144 -x5146 -x5148 -x5150 -x5152 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5166 -x5168 -x5170 1782.72/1783.30 v -x5172 -x5174 -x5176 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x5193 -x5195 -x5197 -x5199 -x5201 -x5203 -x5205 1782.72/1783.30 v -x5207 x5209 -x5211 -x5213 -x5215 -x5217 -x140 -x5219 -x5221 -x5223 -x5225 -x5227 -x5229 -x5231 -x5233 -x5235 -x5237 -x5239 1782.72/1783.30 v -x5241 -x5243 -x5245 -x5247 x141 x5249 -x5251 -x5253 -x5255 -x5257 -x5259 -x5261 -x142 -x5263 -x5265 -x5267 -x5269 -x5271 1782.72/1783.30 v -x5273 -x5275 -x5277 -x5279 -x5282 -x5284 -x5286 -x5288 -x5290 -x5292 -x5294 -x5296 -x5298 -x5300 -x5302 -x5304 -x5306 1782.72/1783.30 v -x5308 -x5310 -x5312 -x5314 -x5316 -x5318 -x5320 -x5322 -x143 -x5324 -x5326 -x5328 -x5330 -x5332 -x5334 -x5336 -x5338 1782.72/1783.30 v -x5340 -x5342 -x5344 -x5346 -x5348 -x5350 -x5352 -x144 -x5354 -x5356 -x5358 -x5360 -x5362 -x5364 -x5366 -x5368 -x5370 1782.72/1783.30 v -x5372 -x5374 -x5376 -x5378 -x5380 -x5382 -x145 -x5384 -x5386 -x5388 -x5390 -x5392 -x5394 -x5396 -x146 -x5398 -x5400 -x5402 1782.72/1783.30 v -x5404 -x5406 -x5408 -x5410 -x5412 -x5414 -x5416 -x5418 -x5420 -x5422 -x5424 -x5426 -x147 -x5428 -x5430 -x5432 -x5434 1782.72/1783.30 v -x5436 -x5438 -x5440 -x148 -x5442 -x5444 -x5446 -x5448 -x5450 -x5452 -x5454 -x149 -x5456 -x5458 -x5460 -x150 -x5462 -x5464 1782.72/1783.30 v -x5466 -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5495 -x5497 -x5499 1782.72/1783.30 v -x5501 -x5503 -x5505 -x5507 -x5509 -x5511 -x5513 -x5515 -x5517 -x5519 -x5521 -x151 -x5523 -x5525 -x5527 -x5529 -x5531 1782.72/1783.30 v -x5533 -x5535 -x5537 -x5539 -x5541 -x5543 -x5545 -x5547 -x5549 -x152 -x5551 -x5553 -x5555 -x5557 -x5559 -x5561 -x5563 1782.72/1783.30 v -x5565 -x5567 -x5569 -x5571 -x5573 -x5575 -x5577 -x5579 -x5581 -x5583 -x5585 -x5587 -x5589 x5591 -x5593 -x153 -x5595 -x5597 1782.72/1783.30 v -x5599 -x5601 -x5603 -x5605 -x5607 -x5609 -x5611 -x5613 -x5615 -x5617 -x5619 -x5621 -x5623 -x154 -x5625 -x5627 -x5629 1782.72/1783.30 v -x5631 -x5633 -x5635 -x155 -x5637 -x5639 -x5641 -x5643 -x5645 -x5647 -x5649 -x156 -x5651 -x5653 -x5655 -x157 -x5657 -x5659 1782.72/1783.30 v -x5661 -x5663 -x5665 -x5667 -x5669 -x5671 -x5673 -x5675 -x5677 -x5679 -x5681 -x5683 -x5685 -x158 -x5687 -x5689 -x5691 1782.72/1783.30 v -x5693 -x5695 -x5697 -x5699 -x159 -x5701 -x5703 -x5705 -x5707 -x5709 -x5711 -x5713 -x160 -x5715 -x5717 -x161 -x5719 -x5721 1782.72/1783.30 v -x5723 -x5725 -x5727 -x5729 -x5731 -x162 -x5733 -x5735 x5737 -x5739 -x5741 -x5743 -x163 -x5745 -x164 -x5747 -x5749 -x5751 1782.72/1783.30 v -x5753 -x5755 -x5757 -x5759 -x5761 -x5763 -x5765 -x5767 -x5769 -x5771 -x5773 -x5775 -x5778 -x5780 -x5782 -x5784 -x5786 1782.72/1783.30 v -x5788 -x5790 -x5792 -x5795 -x5797 -x5799 -x165 -x5801 -x5803 -x5805 -x5807 -x5809 -x5811 -x5813 -x5815 -x5817 -x5819 1782.72/1783.30 v -x5821 -x5823 -x5825 -x5827 -x5829 -x166 -x5831 -x5833 -x5835 -x5837 -x5839 -x5841 -x5843 -x5845 -x5847 -x5849 -x5851 1782.72/1783.30 v -x5853 -x5855 -x5857 -x5859 -x167 -x5861 -x5863 -x5865 -x5867 -x5869 -x5871 -x5873 -x168 -x5875 -x5877 -x5879 -x5881 -x5883 1782.72/1783.30 v -x5885 -x5887 -x5889 -x5891 -x5893 -x5895 -x5897 -x5899 -x5901 -x5903 -x5905 -x5907 -x5909 -x5911 -x5913 x5915 -x5917 1782.72/1783.30 v -x169 -x5919 -x5921 -x5923 -x5925 -x5927 -x5929 -x5931 -x170 -x5933 -x5935 -x5937 -x171 -x5939 -x5941 -x5943 -x5945 -x5947 1782.72/1783.30 v -x5949 -x5951 -x5953 -x5955 -x5957 -x5959 -x5961 -x5963 -x5965 -x5967 -x172 -x5969 -x5971 -x5973 -x5975 -x5977 -x5979 1782.72/1783.30 v -x5981 -x173 -x5983 -x5985 -x5987 -x5989 -x5991 -x5993 -x5995 -x174 -x5997 -x5999 -x6001 -x6003 -x6005 x6007 -x6009 -x6011 1782.72/1783.30 v -x6013 -x6015 -x6017 x6019 x6021 -x6023 -x6025 x6027 x175 -x6029 -x176 -x6031 -x6033 -x6035 -x6037 -x6039 -x6041 -x6043 1782.72/1783.30 v -x6045 -x6047 -x6049 -x6051 -x6053 -x6055 -x177 -x6057 -x6059 -x6061 -x6063 -x6065 -x6067 -x6069 -x178 -x6071 -x6073 -x6075 1782.72/1783.30 v -x6077 -x6079 -x6081 -x6083 -x179 -x6085 -x6087 -x6089 -x180 -x6091 -x6093 -x6095 -x6097 -x6099 -x6101 -x6103 -x181 -x6105 1782.72/1783.30 v -x6107 -x182 -x6109 -x6111 -x6113 -x183 -x6115 -x184 -x6117 -x6119 -x6121 -x6123 -x6125 -x6127 -x185 -x6129 -x6131 -x6133 1782.72/1783.30 v x186 x6135 -x6137 -x6139 -x187 x6141 -x6143 x6145 x188 -x6147 -x189 x190
OK 27
/tmp/evaluation/372710-1177125375/instance-372710-1177125375.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node25/watcher-372710-1177125375 -o ROOT/results/node25/solver-372710-1177125375 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/372710-1177125375/instance-372710-1177125375.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/64 12182 /proc/meminfo: memFree=1784528/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=2552 CPUtime=0 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 160454555 2613248 233 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134543013 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 638 233 193 16 0 77 0 [startup+0.0311621 s] /proc/loadavg: 0.92 0.98 0.99 3/64 12182 /proc/meminfo: memFree=1784528/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=3216 CPUtime=0.02 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 422 0 0 0 2 0 0 0 18 0 1 0 160454555 3293184 392 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 10493655 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 804 392 199 16 0 243 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3216 [startup+0.101161 s] /proc/loadavg: 0.92 0.98 0.99 3/64 12182 /proc/meminfo: memFree=1784528/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=4148 CPUtime=0.09 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 665 0 0 0 9 0 0 0 18 0 1 0 160454555 4247552 635 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 1037 635 199 16 0 476 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4148 [startup+0.301194 s] /proc/loadavg: 0.92 0.98 0.99 3/64 12182 /proc/meminfo: memFree=1784528/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=6520 CPUtime=0.29 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 1225 0 0 0 29 0 0 0 19 0 1 0 160454555 6676480 1195 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134532045 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 1630 1195 203 16 0 1069 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6520 [startup+0.701262 s] /proc/loadavg: 0.92 0.98 0.99 3/64 12182 /proc/meminfo: memFree=1784528/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=7308 CPUtime=0.69 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 1414 0 0 0 67 2 0 0 23 0 1 0 160454555 7483392 1384 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 1827 1384 205 16 0 1266 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7308 [startup+1.5014 s] /proc/loadavg: 0.92 0.98 0.99 2/65 12183 /proc/meminfo: memFree=1779784/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=7308 CPUtime=1.49 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 1414 0 0 0 144 5 0 0 25 0 1 0 160454555 7483392 1384 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134557772 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 1827 1384 205 16 0 1266 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7308 [startup+3.10167 s] /proc/loadavg: 0.92 0.98 0.99 2/65 12183 /proc/meminfo: memFree=1779656/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=7308 CPUtime=3.09 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 1414 0 0 0 302 7 0 0 25 0 1 0 160454555 7483392 1384 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527664 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 1827 1384 205 16 0 1266 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7308 [startup+6.30122 s] /proc/loadavg: 0.93 0.98 0.99 2/65 12183 /proc/meminfo: memFree=1779464/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=7528 CPUtime=6.29 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 1475 0 0 0 621 8 0 0 25 0 1 0 160454555 7708672 1445 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 1882 1445 205 16 0 1321 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7528 [startup+12.7013 s] /proc/loadavg: 0.93 0.98 0.99 2/65 12183 /proc/meminfo: memFree=1777296/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=9712 CPUtime=12.69 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 2009 0 0 0 1258 11 0 0 25 0 1 0 160454555 9945088 1979 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 2428 1979 205 16 0 1867 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9712 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.99 2/65 12183 /proc/meminfo: memFree=1775312/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=11504 CPUtime=25.49 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 2454 0 0 0 2532 17 0 0 25 0 1 0 160454555 11780096 2424 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 2876 2424 205 16 0 2315 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11504 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.99 2/65 12183 /proc/meminfo: memFree=1774224/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=12460 CPUtime=51.07 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 2721 0 0 0 5079 28 0 0 25 0 1 0 160454555 12759040 2691 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 3115 2691 205 16 0 2554 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 12460 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 12183 /proc/meminfo: memFree=1771600/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=15144 CPUtime=102.26 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 3379 0 0 0 10176 50 0 0 25 0 1 0 160454555 15507456 3349 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527962 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 3786 3349 205 16 0 3225 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 15144 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 12183 /proc/meminfo: memFree=1771600/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=15144 CPUtime=162.24 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 3382 0 0 0 16150 74 0 0 25 0 1 0 160454555 15507456 3352 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 3786 3352 205 16 0 3225 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 15144 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 12183 /proc/meminfo: memFree=1770640/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=16032 CPUtime=222.22 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 3617 0 0 0 22124 98 0 0 25 0 1 0 160454555 16416768 3587 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559292 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 4008 3587 205 16 0 3447 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 16032 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 12183 /proc/meminfo: memFree=1766864/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=19904 CPUtime=282.2 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 4555 0 0 0 28100 120 0 0 25 0 1 0 160454555 20381696 4525 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 4976 4525 205 16 0 4415 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 19904 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 12183 /proc/meminfo: memFree=1766864/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=19780 CPUtime=342.18 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 4555 0 0 0 34070 148 0 0 25 0 1 0 160454555 20254720 4517 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 4945 4517 205 16 0 4384 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 19780 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 12183 /proc/meminfo: memFree=1766160/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=20592 CPUtime=402.16 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 4737 0 0 0 40038 178 0 0 25 0 1 0 160454555 21086208 4699 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 5148 4699 205 16 0 4587 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 20592 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 12183 /proc/meminfo: memFree=1766160/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=20592 CPUtime=462.15 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 4738 0 0 0 46018 197 0 0 25 0 1 0 160454555 21086208 4700 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134516706 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 5148 4700 205 16 0 4587 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 20592 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 12183 /proc/meminfo: memFree=1766160/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=20592 CPUtime=522.12 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 4738 0 0 0 51996 216 0 0 25 0 1 0 160454555 21086208 4700 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134557547 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 5148 4700 205 16 0 4587 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 20592 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 12183 /proc/meminfo: memFree=1766096/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=20592 CPUtime=582.1 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 4744 0 0 0 57976 234 0 0 25 0 1 0 160454555 21086208 4706 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 5148 4706 205 16 0 4587 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 20592 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 12183 /proc/meminfo: memFree=1765008/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=21644 CPUtime=642.09 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 5012 0 0 0 63934 275 0 0 25 0 1 0 160454555 22163456 4974 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134556233 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 5411 4974 205 16 0 4850 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 21644 ################ # More data... # ################ /proc/meminfo: memFree=1763600/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=22896 CPUtime=822.02 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 5410 0 0 0 81856 346 0 0 25 0 1 0 160454555 23445504 5286 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528560 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 5724 5286 205 16 0 5163 0 Current children cumulated CPU time (s) 822.02 Current children cumulated vsize (KiB) 22896 [startup+882.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 12183 /proc/meminfo: memFree=1763600/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=23116 CPUtime=882.01 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 5447 0 0 0 87832 369 0 0 25 0 1 0 160454555 23670784 5323 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 5779 5323 205 16 0 5218 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 23116 [startup+942.302 s] /proc/loadavg: 1.06 1.00 1.00 2/65 12183 /proc/meminfo: memFree=1763088/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=23692 CPUtime=941.99 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 5589 0 0 0 93806 393 0 0 25 0 1 0 160454555 24260608 5465 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134556321 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 5923 5465 205 16 0 5362 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 23692 [startup+1002.3 s] /proc/loadavg: 1.02 1.00 1.00 2/65 12183 /proc/meminfo: memFree=1760784/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=26040 CPUtime=1001.96 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 6151 0 0 0 99779 417 0 0 25 0 1 0 160454555 26664960 6027 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 6510 6027 205 16 0 5949 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 26040 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12183 /proc/meminfo: memFree=1760464/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=26120 CPUtime=1061.94 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 6234 0 0 0 105757 437 0 0 25 0 1 0 160454555 26746880 6070 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 6530 6070 205 16 0 5969 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 26120 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12183 /proc/meminfo: memFree=1758032/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=28548 CPUtime=1121.93 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 6872 0 0 0 111730 463 0 0 25 0 1 0 160454555 29233152 6677 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 7137 6677 205 16 0 6576 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 28548 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12183 /proc/meminfo: memFree=1758032/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=28548 CPUtime=1181.91 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 6872 0 0 0 117701 490 0 0 25 0 1 0 160454555 29233152 6677 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 7137 6677 205 16 0 6576 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 28548 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12183 /proc/meminfo: memFree=1758032/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=28548 CPUtime=1241.89 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 6873 0 0 0 123675 514 0 0 25 0 1 0 160454555 29233152 6678 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559323 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 7137 6678 205 16 0 6576 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 28548 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12183 /proc/meminfo: memFree=1758032/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=28548 CPUtime=1301.87 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 6873 0 0 0 129629 558 0 0 25 0 1 0 160454555 29233152 6678 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 7137 6678 205 16 0 6576 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 28548 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12185 /proc/meminfo: memFree=1757904/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=28548 CPUtime=1361.85 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 6875 0 0 0 135595 590 0 0 25 0 1 0 160454555 29233152 6680 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 7137 6680 205 16 0 6576 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 28548 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12185 /proc/meminfo: memFree=1755536/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=31072 CPUtime=1421.83 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 7496 0 0 0 141566 617 0 0 25 0 1 0 160454555 31817728 7301 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558602 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 7768 7301 205 16 0 7207 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 31072 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12185 /proc/meminfo: memFree=1754640/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=31892 CPUtime=1481.81 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 7704 0 0 0 147541 640 0 0 25 0 1 0 160454555 32657408 7509 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 7973 7509 205 16 0 7412 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 31892 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12185 /proc/meminfo: memFree=1749200/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=37416 CPUtime=1541.79 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 9068 0 0 0 153519 660 0 0 25 0 1 0 160454555 38313984 8873 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528619 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 9354 8873 205 16 0 8793 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 37416 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12185 /proc/meminfo: memFree=1749200/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=37212 CPUtime=1601.77 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 9073 0 0 0 159497 680 0 0 25 0 1 0 160454555 38105088 8832 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 9303 8832 205 16 0 8742 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 37212 [startup+1662.3 s] /proc/loadavg: 1.06 1.01 1.00 2/65 12185 /proc/meminfo: memFree=1749392/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=37212 CPUtime=1661.75 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 9077 0 0 0 165478 697 0 0 25 0 1 0 160454555 38105088 8836 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134519903 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 9303 8836 205 16 0 8742 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 37212 [startup+1722.3 s] /proc/loadavg: 1.07 1.03 1.00 2/65 12185 /proc/meminfo: memFree=1749392/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=37212 CPUtime=1721.73 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 9079 0 0 0 171457 716 0 0 25 0 1 0 160454555 38105088 8838 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 9303 8838 205 16 0 8742 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 37212 [startup+1782.3 s] /proc/loadavg: 1.07 1.03 1.00 2/65 12185 /proc/meminfo: memFree=1749392/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=37212 CPUtime=1781.72 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 9079 0 0 0 177433 739 0 0 25 0 1 0 160454555 38105088 8838 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 9303 8838 205 16 0 8742 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 37212 Solver just ended. Dumping a history of the last processes samples [startup+1783.11 s] /proc/loadavg: 1.07 1.03 1.00 2/65 12185 /proc/meminfo: memFree=1749392/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=37212 CPUtime=1782.52 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 9079 0 0 0 177512 740 0 0 25 0 1 0 160454555 38105088 8838 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 9303 8838 205 16 0 8742 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (KiB) 37212 [startup+1783.3 s] /proc/loadavg: 1.07 1.03 1.00 2/65 12185 /proc/meminfo: memFree=1749392/2055920 swapFree=4182972/4192956 [pid=12182] ppid=12180 vsize=37212 CPUtime=1782.72 /proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 9079 0 0 0 177532 740 0 0 25 0 1 0 160454555 38105088 8838 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12182/statm: 9303 8838 205 16 0 8742 0 Current children cumulated CPU time (s) 1782.72 Current children cumulated vsize (KiB) 37212 Child status: 10 Real time (s): 1783.32 CPU time (s): 1782.74 CPU user time (s): 1775.33 CPU system time (s): 7.40687 CPU usage (%): 99.9676 Max. virtual memory (cumulated for all children) (KiB): 37416 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1775.33 system time used= 7.40687 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9086 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= 17 involuntary context switches= 2765 runsolver used 1.18882 second user time and 3.68744 second system time The end
Begin job on node25 on Sat Apr 21 03:16:15 UTC 2007 IDJOB= 372710 IDBENCH= 24991 IDSOLVER= 165 FILE ID= node25/372710-1177125375 PBS_JOBID= 4648742 Free space on /tmp= 66366 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_009_area_delay.opb COMMAND LINE= Pueblo /tmp/evaluation/372710-1177125375/instance-372710-1177125375.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node25/convwatcher-372710-1177125375 -o ROOT/results/node25/conversion-372710-1177125375 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372710-1177125375/instance-372710-1177125375.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-372710-1177125375 -o ROOT/results/node25/solver-372710-1177125375 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/372710-1177125375/instance-372710-1177125375.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 2aa6eb5ee09e1484657dfe3626167241 RANDOM SEED= 152905280 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node25.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.261 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.261 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: 1785000 kB Buffers: 59420 kB Cached: 159732 kB SwapCached: 3684 kB Active: 52552 kB Inactive: 177460 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1785000 kB SwapTotal: 4192956 kB SwapFree: 4182972 kB Dirty: 2812 kB Writeback: 0 kB Mapped: 15572 kB Slab: 27012 kB Committed_AS: 4079908 kB PageTables: 1472 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= 66366 MiB End job on node25 on Sat Apr 21 03:45:58 UTC 2007