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