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