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

OK	27

/tmp/evaluation/372710-1177125375/instance-372710-1177125375.opb is already a linear file

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

command line: runsolver --timestamp -w ROOT/results/node25/watcher-372710-1177125375 -o ROOT/results/node25/solver-372710-1177125375 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/372710-1177125375/instance-372710-1177125375.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 12182
/proc/meminfo: memFree=1784528/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=2552 CPUtime=0
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 160454555 2613248 233 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134543013 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 638 233 193 16 0 77 0

[startup+0.0311621 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 12182
/proc/meminfo: memFree=1784528/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=3216 CPUtime=0.02
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 422 0 0 0 2 0 0 0 18 0 1 0 160454555 3293184 392 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 10493655 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 804 392 199 16 0 243 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3216

[startup+0.101161 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 12182
/proc/meminfo: memFree=1784528/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=4148 CPUtime=0.09
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 665 0 0 0 9 0 0 0 18 0 1 0 160454555 4247552 635 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 1037 635 199 16 0 476 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4148

[startup+0.301194 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 12182
/proc/meminfo: memFree=1784528/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=6520 CPUtime=0.29
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 1225 0 0 0 29 0 0 0 19 0 1 0 160454555 6676480 1195 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134532045 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 1630 1195 203 16 0 1069 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6520

[startup+0.701262 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 12182
/proc/meminfo: memFree=1784528/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=7308 CPUtime=0.69
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 1414 0 0 0 67 2 0 0 23 0 1 0 160454555 7483392 1384 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 1827 1384 205 16 0 1266 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7308

[startup+1.5014 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 12183
/proc/meminfo: memFree=1779784/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=7308 CPUtime=1.49
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 1414 0 0 0 144 5 0 0 25 0 1 0 160454555 7483392 1384 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134557772 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 1827 1384 205 16 0 1266 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7308

[startup+3.10167 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 12183
/proc/meminfo: memFree=1779656/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=7308 CPUtime=3.09
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 1414 0 0 0 302 7 0 0 25 0 1 0 160454555 7483392 1384 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527664 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 1827 1384 205 16 0 1266 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7308

[startup+6.30122 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 12183
/proc/meminfo: memFree=1779464/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=7528 CPUtime=6.29
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 1475 0 0 0 621 8 0 0 25 0 1 0 160454555 7708672 1445 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 1882 1445 205 16 0 1321 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7528

[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 12183
/proc/meminfo: memFree=1777296/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=9712 CPUtime=12.69
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 2009 0 0 0 1258 11 0 0 25 0 1 0 160454555 9945088 1979 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 2428 1979 205 16 0 1867 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9712

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 12183
/proc/meminfo: memFree=1775312/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=11504 CPUtime=25.49
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 2454 0 0 0 2532 17 0 0 25 0 1 0 160454555 11780096 2424 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 2876 2424 205 16 0 2315 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11504

[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 12183
/proc/meminfo: memFree=1774224/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=12460 CPUtime=51.07
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 2721 0 0 0 5079 28 0 0 25 0 1 0 160454555 12759040 2691 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 3115 2691 205 16 0 2554 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 12460

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 12183
/proc/meminfo: memFree=1771600/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=15144 CPUtime=102.26
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 3379 0 0 0 10176 50 0 0 25 0 1 0 160454555 15507456 3349 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527962 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 3786 3349 205 16 0 3225 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 15144

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12183
/proc/meminfo: memFree=1771600/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=15144 CPUtime=162.24
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 3382 0 0 0 16150 74 0 0 25 0 1 0 160454555 15507456 3352 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 3786 3352 205 16 0 3225 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 15144

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12183
/proc/meminfo: memFree=1770640/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=16032 CPUtime=222.22
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 3617 0 0 0 22124 98 0 0 25 0 1 0 160454555 16416768 3587 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559292 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 4008 3587 205 16 0 3447 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 16032

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12183
/proc/meminfo: memFree=1766864/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=19904 CPUtime=282.2
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 4555 0 0 0 28100 120 0 0 25 0 1 0 160454555 20381696 4525 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 4976 4525 205 16 0 4415 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 19904

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12183
/proc/meminfo: memFree=1766864/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=19780 CPUtime=342.18
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 4555 0 0 0 34070 148 0 0 25 0 1 0 160454555 20254720 4517 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 4945 4517 205 16 0 4384 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 19780

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12183
/proc/meminfo: memFree=1766160/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=20592 CPUtime=402.16
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 4737 0 0 0 40038 178 0 0 25 0 1 0 160454555 21086208 4699 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 5148 4699 205 16 0 4587 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 20592

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12183
/proc/meminfo: memFree=1766160/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=20592 CPUtime=462.15
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 4738 0 0 0 46018 197 0 0 25 0 1 0 160454555 21086208 4700 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134516706 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 5148 4700 205 16 0 4587 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 20592

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12183
/proc/meminfo: memFree=1766160/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=20592 CPUtime=522.12
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 4738 0 0 0 51996 216 0 0 25 0 1 0 160454555 21086208 4700 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134557547 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 5148 4700 205 16 0 4587 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 20592

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12183
/proc/meminfo: memFree=1766096/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=20592 CPUtime=582.1
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 4744 0 0 0 57976 234 0 0 25 0 1 0 160454555 21086208 4706 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 5148 4706 205 16 0 4587 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 20592

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12183
/proc/meminfo: memFree=1765008/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=21644 CPUtime=642.09
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 5012 0 0 0 63934 275 0 0 25 0 1 0 160454555 22163456 4974 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134556233 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 5411 4974 205 16 0 4850 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 21644


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

/proc/meminfo: memFree=1763600/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=22896 CPUtime=822.02
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 5410 0 0 0 81856 346 0 0 25 0 1 0 160454555 23445504 5286 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528560 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 5724 5286 205 16 0 5163 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 22896

[startup+882.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12183
/proc/meminfo: memFree=1763600/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=23116 CPUtime=882.01
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 5447 0 0 0 87832 369 0 0 25 0 1 0 160454555 23670784 5323 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 5779 5323 205 16 0 5218 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 23116

[startup+942.302 s]
/proc/loadavg: 1.06 1.00 1.00 2/65 12183
/proc/meminfo: memFree=1763088/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=23692 CPUtime=941.99
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 5589 0 0 0 93806 393 0 0 25 0 1 0 160454555 24260608 5465 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134556321 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 5923 5465 205 16 0 5362 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 23692

[startup+1002.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/65 12183
/proc/meminfo: memFree=1760784/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=26040 CPUtime=1001.96
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 6151 0 0 0 99779 417 0 0 25 0 1 0 160454555 26664960 6027 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 6510 6027 205 16 0 5949 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 26040

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12183
/proc/meminfo: memFree=1760464/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=26120 CPUtime=1061.94
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 6234 0 0 0 105757 437 0 0 25 0 1 0 160454555 26746880 6070 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 6530 6070 205 16 0 5969 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 26120

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12183
/proc/meminfo: memFree=1758032/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=28548 CPUtime=1121.93
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 6872 0 0 0 111730 463 0 0 25 0 1 0 160454555 29233152 6677 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 7137 6677 205 16 0 6576 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 28548

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12183
/proc/meminfo: memFree=1758032/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=28548 CPUtime=1181.91
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 6872 0 0 0 117701 490 0 0 25 0 1 0 160454555 29233152 6677 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 7137 6677 205 16 0 6576 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 28548

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12183
/proc/meminfo: memFree=1758032/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=28548 CPUtime=1241.89
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 6873 0 0 0 123675 514 0 0 25 0 1 0 160454555 29233152 6678 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559323 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 7137 6678 205 16 0 6576 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 28548

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12183
/proc/meminfo: memFree=1758032/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=28548 CPUtime=1301.87
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 6873 0 0 0 129629 558 0 0 25 0 1 0 160454555 29233152 6678 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 7137 6678 205 16 0 6576 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 28548

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12185
/proc/meminfo: memFree=1757904/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=28548 CPUtime=1361.85
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 6875 0 0 0 135595 590 0 0 25 0 1 0 160454555 29233152 6680 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 7137 6680 205 16 0 6576 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 28548

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12185
/proc/meminfo: memFree=1755536/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=31072 CPUtime=1421.83
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 7496 0 0 0 141566 617 0 0 25 0 1 0 160454555 31817728 7301 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558602 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 7768 7301 205 16 0 7207 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 31072

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12185
/proc/meminfo: memFree=1754640/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=31892 CPUtime=1481.81
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 7704 0 0 0 147541 640 0 0 25 0 1 0 160454555 32657408 7509 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 7973 7509 205 16 0 7412 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 31892

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12185
/proc/meminfo: memFree=1749200/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=37416 CPUtime=1541.79
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 9068 0 0 0 153519 660 0 0 25 0 1 0 160454555 38313984 8873 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528619 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 9354 8873 205 16 0 8793 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 37416

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12185
/proc/meminfo: memFree=1749200/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=37212 CPUtime=1601.77
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 9073 0 0 0 159497 680 0 0 25 0 1 0 160454555 38105088 8832 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 9303 8832 205 16 0 8742 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 37212

[startup+1662.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 12185
/proc/meminfo: memFree=1749392/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=37212 CPUtime=1661.75
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 9077 0 0 0 165478 697 0 0 25 0 1 0 160454555 38105088 8836 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134519903 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 9303 8836 205 16 0 8742 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 37212

[startup+1722.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/65 12185
/proc/meminfo: memFree=1749392/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=37212 CPUtime=1721.73
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 9079 0 0 0 171457 716 0 0 25 0 1 0 160454555 38105088 8838 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 9303 8838 205 16 0 8742 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 37212

[startup+1782.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/65 12185
/proc/meminfo: memFree=1749392/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=37212 CPUtime=1781.72
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 9079 0 0 0 177433 739 0 0 25 0 1 0 160454555 38105088 8838 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 9303 8838 205 16 0 8742 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 37212

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

[startup+1783.11 s]
/proc/loadavg: 1.07 1.03 1.00 2/65 12185
/proc/meminfo: memFree=1749392/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=37212 CPUtime=1782.52
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 9079 0 0 0 177512 740 0 0 25 0 1 0 160454555 38105088 8838 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 9303 8838 205 16 0 8742 0
Current children cumulated CPU time (s) 1782.52
Current children cumulated vsize (KiB) 37212

[startup+1783.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/65 12185
/proc/meminfo: memFree=1749392/2055920 swapFree=4182972/4192956
[pid=12182] ppid=12180 vsize=37212 CPUtime=1782.72
/proc/12182/stat : 12182 (Pueblo) R 12180 12182 10956 0 -1 4194304 9079 0 0 0 177532 740 0 0 25 0 1 0 160454555 38105088 8838 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12182/statm: 9303 8838 205 16 0 8742 0
Current children cumulated CPU time (s) 1782.72
Current children cumulated vsize (KiB) 37212

Child status: 10
Real time (s): 1783.32
CPU time (s): 1782.74
CPU user time (s): 1775.33
CPU system time (s): 7.40687
CPU usage (%): 99.9676
Max. virtual memory (cumulated for all children) (KiB): 37416

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

runsolver used 1.18882 second user time and 3.68744 second system time

The end

Begin job on node25 on Sat Apr 21 03:16:15 UTC 2007

IDJOB= 372710
IDBENCH= 24991
IDSOLVER= 165
FILE ID= node25/372710-1177125375

PBS_JOBID= 4648742

Free space on /tmp= 66366 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_009_area_delay.opb
COMMAND LINE= Pueblo /tmp/evaluation/372710-1177125375/instance-372710-1177125375.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node25/convwatcher-372710-1177125375 -o ROOT/results/node25/conversion-372710-1177125375 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372710-1177125375/instance-372710-1177125375.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  2aa6eb5ee09e1484657dfe3626167241

RANDOM SEED= 152905280

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node25.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.261
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.261
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1785000 kB
Buffers:         59420 kB
Cached:         159732 kB
SwapCached:       3684 kB
Active:          52552 kB
Inactive:       177460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1785000 kB
SwapTotal:     4192956 kB
SwapFree:      4182972 kB
Dirty:            2812 kB
Writeback:           0 kB
Mapped:          15572 kB
Slab:            27012 kB
Committed_AS:  4079908 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66366 MiB

End job on node25 on Sat Apr 21 03:45:58 UTC 2007