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

OK	39

/tmp/evaluation/373340-1177185025/instance-373340-1177185025.opb is already a linear file

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node2/watcher-373340-1177185025 -o ROOT/results/node2/solver-373340-1177185025 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/373340-1177185025/instance-373340-1177185025.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 8786
/proc/meminfo: memFree=1784824/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=2552 CPUtime=0
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 194540340 2613248 230 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 11001559 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 638 232 193 16 0 77 0

[startup+0.00938102 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 8786
/proc/meminfo: memFree=1784824/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=2684 CPUtime=0
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 194540340 2748416 265 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 11001559 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 671 265 193 16 0 110 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2684

[startup+0.10139 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 8786
/proc/meminfo: memFree=1784824/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=4148 CPUtime=0.09
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 663 0 0 0 9 0 0 0 18 0 1 0 194540340 4247552 633 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 11001559 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 1037 633 199 16 0 476 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4148

[startup+0.301411 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 8786
/proc/meminfo: memFree=1784824/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=6272 CPUtime=0.29
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 1178 0 0 0 29 0 0 0 19 0 1 0 194540340 6422528 1148 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 1568 1148 205 16 0 1007 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6272

[startup+0.701452 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 8786
/proc/meminfo: memFree=1784824/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=6272 CPUtime=0.69
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 1178 0 0 0 68 1 0 0 23 0 1 0 194540340 6422528 1148 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 1568 1148 205 16 0 1007 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6272

[startup+1.50153 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8787
/proc/meminfo: memFree=1781040/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=6272 CPUtime=1.49
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 1178 0 0 0 133 16 0 0 25 0 1 0 194540340 6422528 1148 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 1568 1148 205 16 0 1007 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6272

[startup+3.1027 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8787
/proc/meminfo: memFree=1780848/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=6272 CPUtime=3.09
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 1178 0 0 0 271 38 0 0 25 0 1 0 194540340 6422528 1148 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 1568 1148 205 16 0 1007 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6272

[startup+6.30103 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8787
/proc/meminfo: memFree=1780656/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=6624 CPUtime=6.29
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 1257 0 0 0 545 84 0 0 25 0 1 0 194540340 6782976 1227 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558756 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 1656 1227 205 16 0 1095 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6624

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8787
/proc/meminfo: memFree=1779248/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=7788 CPUtime=12.69
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 1554 0 0 0 1179 90 0 0 25 0 1 0 194540340 7974912 1524 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 1947 1524 205 16 0 1386 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7788

[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8787
/proc/meminfo: memFree=1777712/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=9320 CPUtime=25.48
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 1935 0 0 0 2405 143 0 0 25 0 1 0 194540340 9543680 1905 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 2330 1905 205 16 0 1769 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 9320

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8787
/proc/meminfo: memFree=1776944/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=10168 CPUtime=51.08
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 2116 0 0 0 4937 171 0 0 25 0 1 0 194540340 10412032 2086 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 2542 2086 205 16 0 1981 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 10168

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8787
/proc/meminfo: memFree=1774768/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=12300 CPUtime=102.27
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 2668 0 0 0 9957 270 0 0 25 0 1 0 194540340 12595200 2638 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 3075 2638 205 16 0 2514 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 12300

[startup+162.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 8787
/proc/meminfo: memFree=1773552/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=13512 CPUtime=162.25
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 2965 0 0 0 15925 300 0 0 25 0 1 0 194540340 13836288 2935 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 3378 2935 205 16 0 2817 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 13512

[startup+222.302 s]
/proc/loadavg: 1.15 1.05 1.01 2/78 8787
/proc/meminfo: memFree=1773040/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=14016 CPUtime=222.24
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 3087 0 0 0 21824 400 0 0 25 0 1 0 194540340 14352384 3057 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 3504 3057 205 16 0 2943 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 14016

[startup+282.302 s]
/proc/loadavg: 1.20 1.07 1.02 2/78 8787
/proc/meminfo: memFree=1770352/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=16748 CPUtime=282.22
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 3764 0 0 0 27651 571 0 0 25 0 1 0 194540340 17149952 3734 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 4187 3734 205 16 0 3626 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 16748

[startup+342.302 s]
/proc/loadavg: 1.19 1.09 1.02 2/78 8787
/proc/meminfo: memFree=1770096/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=17056 CPUtime=342.21
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 3833 0 0 0 33569 652 0 0 25 0 1 0 194540340 17465344 3798 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558657 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 4264 3798 205 16 0 3703 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 17056

[startup+402.301 s]
/proc/loadavg: 1.13 1.08 1.02 2/78 8787
/proc/meminfo: memFree=1770032/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=17028 CPUtime=402.19
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 3833 0 0 0 39538 681 0 0 25 0 1 0 194540340 17436672 3798 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 4257 3798 205 16 0 3696 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 17028

[startup+462.301 s]
/proc/loadavg: 1.05 1.07 1.01 2/78 8787
/proc/meminfo: memFree=1769904/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=17252 CPUtime=462.17
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 3899 0 0 0 45509 708 0 0 25 0 1 0 194540340 17666048 3864 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 4313 3864 205 16 0 3752 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 17252

[startup+522.302 s]
/proc/loadavg: 1.02 1.05 1.01 2/78 8787
/proc/meminfo: memFree=1769328/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=17872 CPUtime=522.16
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 4045 0 0 0 51464 752 0 0 25 0 1 0 194540340 18300928 4010 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 10969175 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 4468 4010 205 16 0 3907 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 17872

[startup+582.302 s]
/proc/loadavg: 1.00 1.04 1.00 2/78 8787
/proc/meminfo: memFree=1767408/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=19872 CPUtime=582.14
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 4535 0 0 0 57415 799 0 0 25 0 1 0 194540340 20348928 4500 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 4968 4500 205 16 0 4407 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 19872

[startup+642.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/84 8859
/proc/meminfo: memFree=1760504/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=25444 CPUtime=642.1
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 5924 0 0 0 63366 844 0 0 25 0 1 0 194540340 26054656 5889 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 6361 5889 205 16 0 5800 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 25444


################
# More data... #
################

/proc/meminfo: memFree=1761200/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=25800 CPUtime=881.96
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 6023 0 0 0 86446 1750 0 0 25 0 1 0 194540340 26419200 5988 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 6450 5988 205 16 0 5889 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 25800

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8985
/proc/meminfo: memFree=1761264/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=25800 CPUtime=941.95
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 6023 0 0 0 92432 1763 0 0 25 0 1 0 194540340 26419200 5988 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 6450 5988 205 16 0 5889 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 25800

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8985
/proc/meminfo: memFree=1761328/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=25800 CPUtime=1001.94
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 6023 0 0 0 98417 1777 0 0 25 0 1 0 194540340 26419200 5988 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 6450 5988 205 16 0 5889 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 25800

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8985
/proc/meminfo: memFree=1761328/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=25800 CPUtime=1061.92
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 6023 0 0 0 104395 1797 0 0 25 0 1 0 194540340 26419200 5988 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 6450 5988 205 16 0 5889 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 25800

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8985
/proc/meminfo: memFree=1761392/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=25800 CPUtime=1121.9
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 6023 0 0 0 110373 1817 0 0 25 0 1 0 194540340 26419200 5988 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558922 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 6450 5988 205 16 0 5889 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 25800

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8985
/proc/meminfo: memFree=1761328/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=25800 CPUtime=1181.89
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 6023 0 0 0 116352 1837 0 0 25 0 1 0 194540340 26419200 5988 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 6450 5988 205 16 0 5889 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 25800

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8985
/proc/meminfo: memFree=1761328/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=25800 CPUtime=1241.88
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 6023 0 0 0 122325 1863 0 0 25 0 1 0 194540340 26419200 5988 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 6450 5988 205 16 0 5889 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 25800

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8985
/proc/meminfo: memFree=1761328/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=25800 CPUtime=1301.87
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 6023 0 0 0 128293 1894 0 0 25 0 1 0 194540340 26419200 5988 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134529063 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 6450 5988 205 16 0 5889 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 25800

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8985
/proc/meminfo: memFree=1761264/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=25800 CPUtime=1361.84
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 6023 0 0 0 134256 1928 0 0 25 0 1 0 194540340 26419200 5988 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 6450 5988 205 16 0 5889 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 25800

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8985
/proc/meminfo: memFree=1761200/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=25800 CPUtime=1421.84
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 6023 0 0 0 140230 1954 0 0 25 0 1 0 194540340 26419200 5988 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 6450 5988 205 16 0 5889 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 25800

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8985
/proc/meminfo: memFree=1761264/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=25800 CPUtime=1481.81
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 6023 0 0 0 146206 1975 0 0 25 0 1 0 194540340 26419200 5988 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 6450 5988 205 16 0 5889 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 25800

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8985
/proc/meminfo: memFree=1761200/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=25800 CPUtime=1541.8
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 6023 0 0 0 152167 2013 0 0 25 0 1 0 194540340 26419200 5988 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 6450 5988 205 16 0 5889 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 25800

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8985
/proc/meminfo: memFree=1761200/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=25800 CPUtime=1601.78
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 6023 0 0 0 158110 2068 0 0 25 0 1 0 194540340 26419200 5988 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 6450 5988 205 16 0 5889 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 25800

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8985
/proc/meminfo: memFree=1761264/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=25800 CPUtime=1661.77
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 6023 0 0 0 164054 2123 0 0 25 0 1 0 194540340 26419200 5988 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 6450 5988 205 16 0 5889 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 25800

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8985
/proc/meminfo: memFree=1761264/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=25800 CPUtime=1721.75
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 6023 0 0 0 170036 2139 0 0 25 0 1 0 194540340 26419200 5988 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 6450 5988 205 16 0 5889 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 25800

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8985
/proc/meminfo: memFree=1761328/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=25800 CPUtime=1781.74
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 6023 0 0 0 176017 2157 0 0 25 0 1 0 194540340 26419200 5988 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 6450 5988 205 16 0 5889 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 25800

Solver just ended. Dumping a history of the last processes samples

[startup+1782.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8985
/proc/meminfo: memFree=1761328/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=25800 CPUtime=1782.14
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 6023 0 0 0 176057 2157 0 0 25 0 1 0 194540340 26419200 5988 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 6450 5988 205 16 0 5889 0
Current children cumulated CPU time (s) 1782.14
Current children cumulated vsize (KiB) 25800

[startup+1783.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8985
/proc/meminfo: memFree=1761328/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=25800 CPUtime=1782.54
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 6023 0 0 0 176097 2157 0 0 25 0 1 0 194540340 26419200 5988 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 6450 5988 205 16 0 5889 0
Current children cumulated CPU time (s) 1782.54
Current children cumulated vsize (KiB) 25800

[startup+1783.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8985
/proc/meminfo: memFree=1761328/2055920 swapFree=4149064/4192956
[pid=8786] ppid=8784 vsize=25800 CPUtime=1782.64
/proc/8786/stat : 8786 (Pueblo) R 8784 8786 8234 0 -1 4194304 6023 0 0 0 176107 2157 0 0 25 0 1 0 194540340 26419200 5988 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559515 0 0 4096 0 0 0 0 17 1 0 0
/proc/8786/statm: 6450 5988 205 16 0 5889 0
Current children cumulated CPU time (s) 1782.64
Current children cumulated vsize (KiB) 25800

Child status: 10
Real time (s): 1783.3
CPU time (s): 1782.74
CPU user time (s): 1761.16
CPU system time (s): 21.5777
CPU usage (%): 99.9687
Max. virtual memory (cumulated for all children) (KiB): 25800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1761.16
system time used= 21.5777
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6030
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17
involuntary context switches= 36517

runsolver used 1.74773 second user time and 4.08438 second system time

The end

Begin job on node2 on Sat Apr 21 19:50:25 UTC 2007

IDJOB= 373340
IDBENCH= 25036
IDSOLVER= 165
FILE ID= node2/373340-1177185025

PBS_JOBID= 4649013

Free space on /tmp= 66402 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir05_area_opers.opb
COMMAND LINE= Pueblo /tmp/evaluation/373340-1177185025/instance-373340-1177185025.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node2/convwatcher-373340-1177185025 -o ROOT/results/node2/conversion-373340-1177185025 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373340-1177185025/instance-373340-1177185025.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-373340-1177185025 -o ROOT/results/node2/solver-373340-1177185025 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/373340-1177185025/instance-373340-1177185025.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  fb30dc68ef00299e3d850b79fb8a2728

RANDOM SEED= 336402774

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node2.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.234
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.234
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:       1785296 kB
Buffers:         63692 kB
Cached:         127832 kB
SwapCached:      12204 kB
Active:         147580 kB
Inactive:        69428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1785296 kB
SwapTotal:     4192956 kB
SwapFree:      4149064 kB
Dirty:            2656 kB
Writeback:           0 kB
Mapped:          30308 kB
Slab:            39016 kB
Committed_AS:  8216548 kB
PageTables:       1860 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= 66402 MiB

End job on node2 on Sat Apr 21 20:20:09 UTC 2007