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

OK	31

/tmp/evaluation/372472-1177099339/instance-372472-1177099339.opb is already a linear file

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

command line: runsolver --timestamp -w ROOT/results/node48/watcher-372472-1177099339 -o ROOT/results/node48/solver-372472-1177099339 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/372472-1177099339/instance-372472-1177099339.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 16977
/proc/meminfo: memFree=1765760/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=2552 CPUtime=0
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 64779200 2613248 230 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 3997399 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 638 230 193 16 0 77 0

[startup+0.095983 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 16977
/proc/meminfo: memFree=1765760/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=4016 CPUtime=0.09
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 644 0 0 0 9 0 0 0 18 0 1 0 64779200 4112384 614 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 3699472 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 1004 614 199 16 0 443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4016

[startup+0.101982 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 16977
/proc/meminfo: memFree=1765760/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=4148 CPUtime=0.09
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 661 0 0 0 9 0 0 0 18 0 1 0 64779200 4247552 631 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134544191 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 1037 631 199 16 0 476 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4148

[startup+0.302 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 16977
/proc/meminfo: memFree=1765760/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=6292 CPUtime=0.29
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 1184 0 0 0 29 0 0 0 19 0 1 0 64779200 6443008 1154 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134532451 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 1573 1154 203 16 0 1012 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6292

[startup+0.701037 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 16977
/proc/meminfo: memFree=1765760/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=7092 CPUtime=0.68
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 1346 0 0 0 66 2 0 0 22 0 1 0 64779200 7262208 1316 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558911 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 1773 1316 205 16 0 1212 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7092

[startup+1.50111 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 16978
/proc/meminfo: memFree=1761208/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=7092 CPUtime=1.49
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 1346 0 0 0 145 4 0 0 25 0 1 0 64779200 7262208 1316 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 1773 1316 205 16 0 1212 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7092

[startup+3.10126 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 16978
/proc/meminfo: memFree=1761080/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=7092 CPUtime=3.08
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 1346 0 0 0 303 5 0 0 25 0 1 0 64779200 7262208 1316 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528061 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 1773 1316 205 16 0 1212 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 7092

[startup+6.30155 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 16978
/proc/meminfo: memFree=1760504/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=7832 CPUtime=6.28
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 1558 0 0 0 619 9 0 0 25 0 1 0 64779200 8019968 1528 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 1958 1528 205 16 0 1397 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 7832

[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 16978
/proc/meminfo: memFree=1757944/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=10320 CPUtime=12.69
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 2170 0 0 0 1256 13 0 0 25 0 1 0 64779200 10567680 2140 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 2580 2140 205 16 0 2019 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10320

[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 16978
/proc/meminfo: memFree=1756216/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=11848 CPUtime=25.48
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 2528 0 0 0 2528 20 0 0 25 0 1 0 64779200 12132352 2498 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 2962 2498 205 16 0 2401 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 11848

[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 16978
/proc/meminfo: memFree=1754424/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=13652 CPUtime=51.07
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 2983 0 0 0 5078 29 0 0 25 0 1 0 64779200 13979648 2953 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 3413 2953 205 16 0 2852 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 13652

[startup+102.304 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 16978
/proc/meminfo: memFree=1754040/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=14032 CPUtime=102.26
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 3073 0 0 0 10171 55 0 0 25 0 1 0 64779200 14368768 3043 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134557729 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 3508 3043 205 16 0 2947 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 14032

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 16978
/proc/meminfo: memFree=1750328/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=17736 CPUtime=162.24
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 3998 0 0 0 16133 91 0 0 25 0 1 0 64779200 18161664 3968 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559503 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 4434 3968 205 16 0 3873 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 17736

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 16978
/proc/meminfo: memFree=1748792/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=19296 CPUtime=222.23
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 4399 0 0 0 22106 117 0 0 25 0 1 0 64779200 19759104 4369 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 4824 4369 205 16 0 4263 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 19296

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 16978
/proc/meminfo: memFree=1747768/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=20404 CPUtime=282.22
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 4649 0 0 0 28079 143 0 0 25 0 1 0 64779200 20893696 4619 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558849 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 5101 4619 205 16 0 4540 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 20404

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 16978
/proc/meminfo: memFree=1745464/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=22740 CPUtime=342.2
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 5214 0 0 0 34057 163 0 0 25 0 1 0 64779200 23285760 5184 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558904 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 5685 5184 205 16 0 5124 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 22740

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 16980
/proc/meminfo: memFree=1745400/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=22860 CPUtime=402.19
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 5250 0 0 0 40026 193 0 0 25 0 1 0 64779200 23408640 5220 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 5715 5220 205 16 0 5154 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 22860

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 16980
/proc/meminfo: memFree=1744120/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=24208 CPUtime=462.17
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 5552 0 0 0 46000 217 0 0 25 0 1 0 64779200 24788992 5522 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558673 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 6052 5522 205 16 0 5491 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 24208

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 16980
/proc/meminfo: memFree=1743224/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=24952 CPUtime=522.16
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 5812 0 0 0 51980 236 0 0 25 0 1 0 64779200 25550848 5728 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134519884 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 6238 5728 205 16 0 5677 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 24952

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 16980
/proc/meminfo: memFree=1743288/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=24952 CPUtime=582.15
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 5815 0 0 0 57959 256 0 0 25 0 1 0 64779200 25550848 5731 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558852 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 6238 5731 205 16 0 5677 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 24952

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 16980
/proc/meminfo: memFree=1740920/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=27444 CPUtime=642.13
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 6439 0 0 0 63936 277 0 0 25 0 1 0 64779200 28102656 6351 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559582 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 6861 6351 205 16 0 6300 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 27444


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

/proc/meminfo: memFree=1736760/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=31620 CPUtime=822.09
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 7459 0 0 0 81863 346 0 0 25 0 1 0 64779200 32378880 7371 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134529188 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 7905 7371 205 16 0 7344 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 31620

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 16980
/proc/meminfo: memFree=1736696/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=31620 CPUtime=882.08
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 7465 0 0 0 87837 371 0 0 25 0 1 0 64779200 32378880 7377 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 7905 7377 205 16 0 7344 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 31620

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 16980
/proc/meminfo: memFree=1736696/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=31592 CPUtime=942.06
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 7465 0 0 0 93820 386 0 0 25 0 1 0 64779200 32350208 7377 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558763 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 7898 7377 205 16 0 7337 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 31592

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 16980
/proc/meminfo: memFree=1736760/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=31592 CPUtime=1002.04
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 7465 0 0 0 99791 413 0 0 25 0 1 0 64779200 32350208 7377 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 7898 7377 205 16 0 7337 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 31592

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 16980
/proc/meminfo: memFree=1736824/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=31592 CPUtime=1062.02
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 7465 0 0 0 105766 436 0 0 25 0 1 0 64779200 32350208 7377 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 7898 7377 205 16 0 7337 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 31592

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 16980
/proc/meminfo: memFree=1736824/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=31592 CPUtime=1122.01
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 7465 0 0 0 111741 460 0 0 25 0 1 0 64779200 32350208 7377 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559503 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 7898 7377 205 16 0 7337 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 31592

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 16980
/proc/meminfo: memFree=1736824/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=31592 CPUtime=1181.99
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 7465 0 0 0 117714 485 0 0 25 0 1 0 64779200 32350208 7377 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 7898 7377 205 16 0 7337 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 31592

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 16980
/proc/meminfo: memFree=1736696/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=31592 CPUtime=1241.98
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 7465 0 0 0 123690 508 0 0 25 0 1 0 64779200 32350208 7377 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527724 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 7898 7377 205 16 0 7337 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 31592

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 16980
/proc/meminfo: memFree=1736696/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=31592 CPUtime=1301.97
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 7465 0 0 0 129670 527 0 0 25 0 1 0 64779200 32350208 7377 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558657 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 7898 7377 205 16 0 7337 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 31592

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 16980
/proc/meminfo: memFree=1735032/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=33268 CPUtime=1361.96
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 7872 0 0 0 135645 551 0 0 25 0 1 0 64779200 34066432 7784 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 8317 7784 205 16 0 7756 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 33268

[startup+1422.31 s]
/proc/loadavg: 1.03 1.00 1.00 2/65 16980
/proc/meminfo: memFree=1729528/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=38732 CPUtime=1421.94
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 9246 0 0 0 141618 576 0 0 25 0 1 0 64779200 39661568 9158 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528630 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 9683 9158 205 16 0 9122 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 38732

[startup+1482.3 s]
/proc/loadavg: 1.18 1.04 1.01 2/65 16980
/proc/meminfo: memFree=1729464/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=38732 CPUtime=1481.93
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 9250 0 0 0 147595 598 0 0 25 0 1 0 64779200 39661568 9162 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559548 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 9683 9162 205 16 0 9122 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 38732

[startup+1542.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/65 16980
/proc/meminfo: memFree=1729528/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=38732 CPUtime=1541.92
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 9252 0 0 0 153576 616 0 0 25 0 1 0 64779200 39661568 9164 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 9683 9164 205 16 0 9122 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 38732

[startup+1602.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 16980
/proc/meminfo: memFree=1729464/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=38728 CPUtime=1601.9
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 9252 0 0 0 159553 637 0 0 25 0 1 0 64779200 39657472 9164 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134519884 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 9682 9164 205 16 0 9121 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 38728

[startup+1662.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 16980
/proc/meminfo: memFree=1729464/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=38728 CPUtime=1661.88
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 9252 0 0 0 165533 655 0 0 25 0 1 0 64779200 39657472 9164 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 9682 9164 205 16 0 9121 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 38728

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 16980
/proc/meminfo: memFree=1729464/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=38728 CPUtime=1721.87
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 9252 0 0 0 171509 678 0 0 25 0 1 0 64779200 39657472 9164 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558688 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 9682 9164 205 16 0 9121 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 38728

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 16980
/proc/meminfo: memFree=1729400/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=38728 CPUtime=1781.86
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 9253 0 0 0 177477 709 0 0 25 0 1 0 64779200 39657472 9165 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559161 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 9682 9165 205 16 0 9121 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 38728

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

[startup+1782.7 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 16980
/proc/meminfo: memFree=1729400/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=38728 CPUtime=1782.26
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 9253 0 0 0 177517 709 0 0 25 0 1 0 64779200 39657472 9165 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 9682 9165 205 16 0 9121 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 38728

[startup+1783.11 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 16980
/proc/meminfo: memFree=1729400/2055920 swapFree=4184636/4192956
[pid=16977] ppid=16975 vsize=38728 CPUtime=1782.66
/proc/16977/stat : 16977 (Pueblo) R 16975 16977 16229 0 -1 4194304 9253 0 0 0 177557 709 0 0 25 0 1 0 64779200 39657472 9165 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16977/statm: 9682 9165 205 16 0 9121 0
Current children cumulated CPU time (s) 1782.66
Current children cumulated vsize (KiB) 38728

Child status: 10
Real time (s): 1783.19
CPU time (s): 1782.74
CPU user time (s): 1775.64
CPU system time (s): 7.10292
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 38732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1775.64
system time used= 7.10292
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9260
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= 2659

runsolver used 1.18282 second user time and 3.69144 second system time

The end

Begin job on node48 on Fri Apr 20 20:02:19 UTC 2007

IDJOB= 372472
IDBENCH= 24974
IDSOLVER= 165
FILE ID= node48/372472-1177099339

PBS_JOBID= 4640370

Free space on /tmp= 66483 MiB

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

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  45c2f7ac01d7ade9fbe465857931ee2b

RANDOM SEED= 660988894

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node48.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.238
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.238
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:       1766232 kB
Buffers:         30400 kB
Cached:         199520 kB
SwapCached:       2232 kB
Active:          85928 kB
Inactive:       153724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1766232 kB
SwapTotal:     4192956 kB
SwapFree:      4184636 kB
Dirty:            2780 kB
Writeback:           0 kB
Mapped:          16660 kB
Slab:            36108 kB
Committed_AS:  1102088 kB
PageTables:       1388 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= 66483 MiB

End job on node48 on Fri Apr 20 20:32:02 UTC 2007