Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 27 | 1782.75 | 1783.38 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_015_area_delay.opb |
MD5SUM | 90acfb7d1c18536583ef7e2a90905f54 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 201.49 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | YES |
Number of variables | 7798 |
Total number of constraints | 24318 |
Number of constraints which are clauses | 24318 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 3790 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 3790 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 3790 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 0.59/0.63 c starting to Solve 0.59/0.63 c #variables read: 7798 - #constraints read: 23709 0.59/0.63 o 41 0.59/0.64 o 40 0.69/0.75 o 34 0.69/0.77 o 32 0.69/0.77 o 31 2.69/2.74 o 30 203.52/203.68 o 29 203.62/203.77 o 28 800.51/800.85 o 27 1782.66/1783.36 c total time : 1783 s 1782.66/1783.36 s SATISFIABLE 1782.66/1783.36 v -x232 -x234 -x236 -x238 -x240 x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 1782.66/1783.36 v -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 1782.66/1783.36 v -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 1782.66/1783.36 v -x358 -x360 -x362 x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 1782.66/1783.36 v -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 1782.66/1783.36 v -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 1782.66/1783.36 v -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 1782.66/1783.36 v -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 1782.66/1783.36 v -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 1782.66/1783.36 v -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 1782.66/1783.36 v -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 1782.66/1783.36 v -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 1782.66/1783.36 v -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 1782.66/1783.36 v -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 1782.66/1783.36 v -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 1782.66/1783.36 v -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 1782.66/1783.36 v -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 1782.66/1783.36 v -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 1782.66/1783.36 v -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 1782.66/1783.36 v -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 1782.66/1783.36 v -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 1782.66/1783.36 v -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 1782.66/1783.36 v -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 1782.66/1783.36 v -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 1782.66/1783.36 v -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 1782.66/1783.36 v -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 1782.66/1783.36 v -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 1782.66/1783.36 v -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 1782.66/1783.36 v -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 1782.66/1783.36 v -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 1782.66/1783.36 v -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 1782.66/1783.36 v -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 1782.66/1783.36 v -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 1782.66/1783.36 v -x1500 -x1502 x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 1782.66/1783.36 v -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 1782.66/1783.36 v -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 1782.66/1783.36 v -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 1782.66/1783.36 v -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 1782.66/1783.36 v -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 1782.66/1783.36 v -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 1782.66/1783.36 v -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 1782.66/1783.36 v -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 1782.66/1783.36 v -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1837 1782.66/1783.36 v -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 1782.66/1783.36 v -x1873 -x1875 -x1877 -x1879 x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 1782.66/1783.36 v -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 1782.66/1783.36 v -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 1782.66/1783.36 v -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 1782.66/1783.36 v -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 1782.66/1783.36 v -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 1782.66/1783.36 v -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 1782.66/1783.36 v -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 1782.66/1783.36 v -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 1782.66/1783.36 v -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 1782.66/1783.36 v -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 1782.66/1783.36 v -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 1782.66/1783.36 v -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2304 -x2306 -x2308 -x2310 -x2312 1782.66/1783.36 v -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 1782.66/1783.36 v -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 1782.66/1783.36 v -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 1782.66/1783.36 v -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 1782.66/1783.36 v -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 1782.66/1783.36 v -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 1782.66/1783.36 v -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 1782.66/1783.36 v -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 1782.66/1783.36 v -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 1782.66/1783.36 v -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 1782.66/1783.36 v -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 1782.66/1783.36 v -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 1782.66/1783.36 v -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 1782.66/1783.36 v -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 1782.66/1783.36 v -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 1782.66/1783.36 v -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 1782.66/1783.36 v -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 1782.66/1783.36 v -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 1782.66/1783.36 v -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 1782.66/1783.36 v -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 1782.66/1783.36 v -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 1782.66/1783.36 v -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 1782.66/1783.36 v -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 1782.66/1783.36 v -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 1782.66/1783.36 v -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 1782.66/1783.36 v -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 1782.66/1783.36 v -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 1782.66/1783.36 v -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 1782.66/1783.36 v -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 1782.66/1783.36 v -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 1782.66/1783.36 v -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 1782.66/1783.36 v -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x3394 -x3396 -x3398 1782.66/1783.36 v -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 1782.66/1783.36 v -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 1782.66/1783.36 v -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 1782.66/1783.36 v -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 1782.66/1783.36 v -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 1782.66/1783.36 v -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 1782.66/1783.36 v -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 1782.66/1783.36 v -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3663 -x3665 -x3667 -x3669 1782.66/1783.36 v x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 1782.66/1783.36 v -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 1782.66/1783.36 v -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 1782.66/1783.36 v -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 1782.66/1783.36 v -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 1782.66/1783.36 v -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 1782.66/1783.36 v -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3906 1782.66/1783.36 v -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 1782.66/1783.36 v -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 1782.66/1783.36 v -x3976 -x3978 -x3980 -x3982 -x3984 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 1782.66/1783.36 v -x4010 -x4012 -x4014 -x4016 -x4018 -x4020 -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042 1782.66/1783.36 v -x4044 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 1782.66/1783.36 v -x4078 -x4080 -x4082 -x4084 -x4086 -x4088 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x4104 -x4106 -x4108 -x4110 1782.66/1783.36 v -x4112 -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x4144 1782.66/1783.36 v -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x4158 -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x4176 -x4178 1782.66/1783.36 v -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x4202 -x4204 x4206 -x4208 -x4210 -x4212 1782.66/1783.36 v -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234 x4236 -x4238 -x4240 -x4242 -x4244 -x4246 1782.66/1783.36 v -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 1782.66/1783.36 v -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4312 -x4314 1782.66/1783.36 v -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 1782.66/1783.36 v -x4349 -x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x4363 -x4365 -x4367 -x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 1782.66/1783.36 v -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x4407 -x4409 -x4411 -x4413 -x4415 1782.66/1783.36 v -x4417 -x4419 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 -x4435 -x4437 -x4439 -x4441 -x4443 -x4445 -x4447 -x4449 1782.66/1783.36 v -x4451 -x4453 -x4455 -x4457 -x4459 -x4461 -x4463 -x4465 -x4467 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x4481 -x4483 1782.66/1783.36 v -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4499 -x4501 -x4503 -x4505 -x4507 -x4509 -x4511 -x4513 -x4515 -x4517 1782.66/1783.36 v -x4519 -x4521 -x4523 -x4525 -x4527 -x4529 -x4531 -x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4547 -x4549 -x4551 1782.66/1783.36 v -x4553 -x4555 -x4557 -x4559 -x4561 -x4563 -x4565 -x4567 -x4569 -x4571 -x4573 -x4575 -x4577 -x4579 -x4581 -x4583 -x4585 1782.66/1783.36 v -x4587 -x4589 -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x4619 1782.66/1783.36 v -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 -x4637 -x4639 -x4641 -x4643 -x4645 -x4647 -x4649 -x4651 -x4653 1782.66/1783.36 v -x4655 -x4657 -x4659 -x4661 -x4663 -x4665 -x4667 -x4669 -x4671 -x4673 -x4675 -x4677 -x4679 -x4681 -x4683 -x4685 -x4687 1782.66/1783.36 v -x4689 -x4691 -x4693 -x4695 -x4697 -x4699 -x4701 -x4703 -x4705 -x4707 -x4709 -x4711 -x4713 -x4715 -x4717 -x4719 -x4721 1782.66/1783.36 v -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x4737 -x4739 -x4741 -x4743 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 1782.66/1783.36 v -x4757 -x4759 -x4761 -x4763 -x4765 -x4767 -x4769 -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 x4785 -x4787 -x4789 1782.66/1783.36 v -x4791 -x4793 -x4795 -x4797 -x4799 -x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813 -x4815 -x4817 -x4819 -x4821 -x4823 1782.66/1783.36 v -x4825 -x4827 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x4841 -x4843 -x4845 -x4847 -x4849 -x4851 -x4853 -x4855 -x4857 1782.66/1783.36 v -x4859 -x4861 -x4863 -x4865 -x4867 -x4869 -x4871 -x4873 -x4875 -x4877 -x4879 -x4881 -x4883 -x4885 -x4887 -x4889 -x4891 1782.66/1783.36 v -x4893 -x4895 -x4897 -x4899 -x4901 -x4903 -x4905 -x4907 -x4909 -x4911 -x4913 -x4915 -x4917 -x4919 -x4921 -x4923 -x4925 1782.66/1783.36 v -x4927 -x4929 -x4931 -x4933 -x4935 -x4937 -x4939 -x4941 -x4943 -x4945 -x4947 -x4949 -x4951 -x4953 -x4955 -x4957 -x4959 1782.66/1783.36 v -x4961 -x4963 -x4965 -x4967 -x4969 -x4971 -x4973 -x4975 -x4977 -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 -x4993 1782.66/1783.36 v -x4995 -x4997 -x4999 -x5001 -x5003 -x5005 -x5007 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 1782.66/1783.36 v -x5029 -x5031 -x5033 -x5035 -x5037 -x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051 -x5053 -x5055 -x5057 -x5059 -x5061 1782.66/1783.36 v -x5063 -x5065 -x5067 -x5069 -x5071 -x5073 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x5091 -x5093 -x5095 1782.66/1783.36 v -x5097 -x5099 -x5101 -x5103 -x5105 -x5107 -x5109 -x5111 -x5113 -x5115 -x5117 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129 1782.66/1783.36 v -x5131 -x5133 -x5135 -x5137 -x5139 -x5141 -x5143 -x5145 -x5147 -x5149 x5151 -x5153 -x5155 -x5157 -x5159 -x5161 -x5163 1782.66/1783.36 v -x5165 -x5167 -x5169 -x5171 -x5173 -x5175 -x5177 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x5193 -x5195 -x5197 1782.66/1783.36 v -x5199 -x5201 -x5203 -x5205 -x5207 -x5209 -x5211 -x5213 -x5215 -x5217 -x5219 -x5221 -x5223 -x5225 -x5227 -x5229 -x5231 1782.66/1783.36 v -x5233 -x5235 -x5237 -x5239 -x5241 -x5243 -x5245 -x5247 -x5249 -x5251 -x5253 -x5255 -x5257 -x5259 -x5261 -x5263 -x5265 1782.66/1783.36 v -x5267 -x5269 -x5271 -x5273 -x5275 -x5277 -x5279 -x5281 -x5283 -x5285 -x5287 -x5289 -x5291 -x5293 -x5295 -x5297 -x5299 1782.66/1783.36 v -x5301 -x5303 -x5305 -x5307 -x5309 -x5311 -x5313 -x5315 -x5317 -x5319 -x5321 -x5323 -x5325 -x5327 -x5329 -x5331 -x5333 1782.66/1783.36 v -x5335 -x5337 -x5339 -x5341 -x5343 -x5345 -x5347 -x5349 -x5351 -x5353 -x5355 -x5357 -x5359 -x5361 -x5363 -x5365 -x5367 1782.66/1783.36 v -x5369 -x5371 -x5373 -x5375 -x5377 -x5379 -x5381 -x5383 -x5385 -x5387 -x5389 -x5391 -x5393 -x5395 -x5397 -x5399 -x5401 1782.66/1783.36 v -x5403 -x5405 -x5407 -x5408 -x5410 -x5412 -x5414 -x5416 -x5418 -x5420 -x5422 -x5424 -x5425 -x5427 -x5429 -x5431 -x5433 1782.66/1783.36 v -x5435 -x5437 -x5439 -x5441 -x5443 -x5445 -x5447 -x5449 -x5451 -x5453 -x5455 -x5457 -x5459 -x5461 -x5463 -x5465 -x5467 1782.66/1783.36 v -x5469 -x5471 -x5473 x5475 -x5477 -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493 -x5495 -x5497 -x5499 -x5501 1782.66/1783.36 v -x5503 -x5505 -x5507 -x5509 -x5511 -x5513 -x5515 -x5517 -x5519 -x5521 -x5523 -x5525 -x5527 -x5529 -x5531 -x5533 -x5535 1782.66/1783.36 v -x5537 -x5539 -x5541 -x5543 -x5545 -x5547 -x5549 -x5551 -x5553 -x5555 -x5557 -x5559 -x5561 -x5563 -x5565 -x5567 -x5569 1782.66/1783.36 v -x5571 -x5573 -x5575 -x5577 -x5579 -x5581 -x5583 -x5585 -x5587 -x5589 -x5591 -x5593 -x5595 -x5597 -x5599 -x5601 -x5603 1782.66/1783.36 v -x5605 -x5607 -x5609 -x5611 -x5613 -x5615 -x5617 -x5619 -x5621 -x5623 -x5625 -x5627 -x5629 -x5631 -x5633 -x5635 -x5637 1782.66/1783.36 v -x5639 -x5641 -x5643 -x5645 -x5647 -x5649 -x5651 -x5653 -x5655 -x5657 -x5659 -x5661 -x5663 -x5665 -x5667 -x5669 -x5671 1782.66/1783.36 v -x5673 -x5675 -x5677 -x5679 -x5681 -x5683 -x5685 -x5687 -x5689 -x5691 -x5693 -x5695 -x5697 -x5699 -x5701 -x5703 -x5705 1782.66/1783.36 v -x5707 -x5709 -x5711 -x5713 -x5715 -x5717 -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 -x5731 -x5733 -x5735 -x5737 x5739 1782.66/1783.36 v -x5741 -x5743 -x5745 -x5747 -x5749 -x5751 -x5753 -x5755 -x5757 -x5759 -x5761 -x5763 -x5765 -x5767 -x5769 -x5771 -x5773 1782.66/1783.36 v -x5775 -x5777 -x5779 -x5781 -x5783 -x5785 -x5787 -x5789 -x5791 -x5793 -x5795 -x5797 -x5799 -x5801 -x5803 -x5805 -x5807 1782.66/1783.36 v -x5809 -x5811 -x5813 -x5815 -x5817 -x5819 x5821 -x5823 -x5825 -x5827 -x5829 -x5831 -x5833 -x5835 -x5837 -x5839 -x5841 1782.66/1783.36 v -x5843 -x5845 -x5847 -x5849 -x5851 -x5853 -x5855 -x5857 -x5859 -x5861 -x5863 -x5865 -x5867 -x5869 -x5871 -x5873 -x5875 1782.66/1783.36 v -x5877 -x5879 -x5881 -x5883 -x5885 -x5887 -x5889 -x5891 -x5893 -x5895 -x5897 -x5899 -x5901 -x5903 -x5905 -x5907 -x5909 1782.66/1783.36 v -x5911 -x5913 -x5915 -x5917 -x5919 -x5921 -x5923 -x5925 -x5927 -x5929 -x5931 -x5933 -x5935 -x5937 -x5939 -x5941 -x5943 1782.66/1783.36 v -x5945 -x5947 -x5949 -x5951 -x5953 -x5955 -x5957 -x5959 -x5961 -x5963 -x5965 -x5967 -x5969 -x5971 -x5973 -x5975 -x5977 1782.66/1783.36 v -x5979 -x5981 -x5983 -x5985 -x5987 -x5989 -x5991 -x5993 -x5995 -x5997 -x5998 -x6000 -x6002 -x6004 -x6006 -x6008 -x6010 1782.66/1783.36 v -x6012 -x6014 -x6016 -x6018 -x6020 -x6022 -x6023 -x6025 -x6027 -x6029 -x6031 -x6033 -x6035 -x6037 -x6039 -x6041 -x6043 1782.66/1783.36 v -x6045 -x6047 -x6049 -x6051 -x6053 -x6055 -x6057 -x6059 -x6061 -x6063 -x6065 -x6067 -x6069 -x6071 -x6073 -x6075 -x6077 1782.66/1783.36 v -x6079 -x6081 -x6083 -x6085 -x6087 -x6089 -x6091 -x6093 -x6095 -x6097 -x6099 -x6101 -x6103 -x6105 -x6107 -x6109 -x6111 1782.66/1783.36 v -x6113 -x6115 -x6117 -x6119 -x6121 -x6123 -x6125 -x6127 -x6129 -x6131 -x6133 -x6135 -x6137 -x6139 -x6141 -x6143 -x6145 1782.66/1783.36 v -x6147 -x6149 -x6151 -x6153 -x6155 -x6157 -x6159 -x6161 -x6163 -x6165 -x6167 -x6169 -x6171 -x6173 -x6175 -x6177 -x6179 1782.66/1783.36 v -x6181 -x6183 -x6185 -x6187 -x6189 -x6191 -x6193 -x6195 -x6197 -x6199 -x6201 -x6203 -x6205 -x6207 -x6209 -x6211 -x6213 1782.66/1783.36 v -x6215 -x6217 -x6219 -x6221 -x6223 -x6225 -x6227 -x6229 -x6231 -x6233 -x6235 -x6237 -x6239 -x6241 -x6243 -x6245 -x6247 1782.66/1783.36 v -x6249 -x6251 -x6253 -x6255 -x6257 -x6259 -x6261 -x6263 -x6265 -x6267 -x6269 -x6271 -x6273 -x6275 -x6277 -x6279 -x6281 1782.66/1783.36 v -x6283 -x6285 -x6287 -x6289 -x6291 -x6293 -x6295 -x6297 -x6299 -x6301 -x6303 -x6305 -x6307 -x6309 -x6311 -x6313 -x6315 1782.66/1783.36 v -x6317 -x6319 -x6321 -x6323 -x6325 -x6327 -x6329 -x6331 -x6333 -x6335 -x6337 -x6339 -x6341 -x6343 -x6345 -x6347 -x6349 1782.66/1783.36 v -x6351 -x6353 -x6355 -x6357 -x6359 -x6361 -x6363 -x6365 -x6367 -x6369 -x6371 -x6373 -x6375 -x6377 -x6379 -x6381 -x6383 1782.66/1783.36 v -x6385 -x6387 -x6389 -x6391 -x6393 -x6395 -x6397 -x6399 -x6401 -x6403 -x6405 -x6407 -x6409 -x6411 -x6413 -x6415 -x6417 1782.66/1783.36 v -x6419 -x6421 -x6423 -x6425 -x6427 -x6429 -x6431 -x6433 -x6435 -x6437 -x6439 -x6441 -x6443 -x6445 -x6447 -x6449 -x6451 1782.66/1783.36 v -x6453 -x6455 -x6457 -x6459 -x6461 -x6463 -x6465 -x6467 -x6469 -x6471 -x6473 -x6475 -x6477 -x6479 -x6481 -x6483 -x6485 1782.66/1783.36 v -x6487 -x6489 -x6491 -x6493 -x6495 -x6497 -x6499 -x6501 -x6503 -x6505 -x6507 -x6509 -x6511 -x6513 -x6515 -x6517 -x6519 1782.66/1783.36 v -x6521 -x6523 -x6525 -x6527 -x6529 -x6531 -x6533 -x6535 -x6537 -x6539 -x6541 -x6543 -x6545 -x6547 -x6549 -x6551 -x6553 1782.66/1783.36 v -x6555 -x6557 -x6559 -x6561 -x6563 -x6565 -x6567 -x6569 -x6571 -x6573 -x6575 -x6577 -x6579 -x6581 -x6583 x6585 -x6587 1782.66/1783.36 v -x6589 -x6591 -x6593 -x6595 -x6597 -x6599 -x6601 -x6603 -x6605 -x6607 -x6609 -x6611 -x6613 -x6615 -x6617 -x6619 -x6621 1782.66/1783.36 v -x6623 -x6625 -x6627 -x6629 -x6631 -x6633 -x6635 -x6637 -x6639 -x6641 -x6643 -x6645 -x6647 -x6649 -x6651 -x6653 -x6655 1782.66/1783.36 v -x6657 -x6659 -x6661 -x6663 -x6665 -x6667 -x6669 -x6671 -x6673 -x6675 -x6677 -x6679 -x6681 -x6683 -x6685 -x6687 -x6689 1782.66/1783.36 v -x6691 -x6693 -x6695 -x6697 -x6699 -x6701 -x6703 -x6705 -x6707 -x6709 -x6711 -x6713 -x6715 -x6717 -x6719 -x6721 -x6723 1782.66/1783.36 v -x6725 -x6727 -x6729 -x6731 -x6733 -x6735 -x6737 -x6739 -x6741 -x6743 -x6745 -x6747 -x6749 -x6751 -x6753 -x6755 -x6757 1782.66/1783.36 v -x6759 -x6761 -x6763 -x6765 -x6767 -x6769 -x6771 -x6773 -x6775 -x6777 -x6779 -x6781 -x6783 -x6785 -x6787 -x6789 -x6791 1782.66/1783.36 v -x6793 -x6795 -x6797 -x6799 -x6801 -x6803 -x6805 -x6807 -x6809 -x6811 -x6813 -x6815 -x6817 -x6819 -x6821 -x6823 -x6825 1782.66/1783.36 v -x6827 -x6829 -x6831 -x6833 -x6835 -x6837 -x6839 -x6841 -x6843 -x6845 -x6847 -x6849 -x6851 -x6853 -x6855 -x6857 -x6859 1782.66/1783.36 v -x6861 -x6863 -x6865 -x6867 -x6869 -x6871 -x6873 -x6875 -x6877 -x6879 -x6881 -x6883 -x6885 -x6887 -x6889 -x6891 -x6893 1782.66/1783.36 v -x6895 -x6897 -x6899 -x6901 -x6903 -x6905 -x6907 -x6909 -x6911 -x6913 -x6915 -x6917 -x6919 -x6921 -x6923 -x6925 -x6927 1782.66/1783.36 v -x6929 -x6931 -x6933 -x6935 -x6937 -x6939 -x6941 -x6943 -x6945 -x6947 -x6949 -x6951 -x6953 -x6955 -x6957 -x6959 -x6961 1782.66/1783.36 v -x6963 -x6965 -x6967 -x6969 -x6971 -x6973 -x6975 -x6977 -x6979 -x6981 -x6983 -x6985 -x6987 -x6989 -x6991 -x6993 -x6995 1782.66/1783.36 v -x6997 -x6999 -x7001 -x7003 -x7005 -x7007 -x7009 -x7011 -x7013 -x7015 -x7017 -x7019 -x7021 -x7023 -x7025 -x7027 -x7029 1782.66/1783.36 v -x7031 -x7033 -x7035 -x7037 -x7039 -x7041 -x7043 -x7045 -x7047 -x7049 -x7051 -x7053 -x7055 -x7057 -x7059 -x7061 -x7063 1782.66/1783.36 v -x7065 -x7067 -x7069 -x7071 -x7073 -x7075 -x7077 -x7079 -x7081 -x7083 -x7085 -x7087 -x7089 -x7091 -x7093 -x7095 -x7097 1782.66/1783.36 v -x7099 -x7101 -x7103 -x7105 -x7107 -x7109 -x7111 -x7113 -x7115 -x7117 -x7119 -x7121 -x7123 -x7125 -x7127 -x7129 -x7131 1782.66/1783.36 v -x7133 -x7135 -x7137 -x7139 -x7141 -x7143 -x7145 -x7147 -x7149 -x7151 -x7153 -x7155 -x7157 -x7159 -x7161 -x7163 -x7165 1782.66/1783.36 v -x7167 -x7169 -x7171 -x7173 -x7175 -x7177 -x7179 -x7181 -x7183 -x7185 -x7187 -x7189 -x7191 -x7193 -x7195 -x7197 -x7199 1782.66/1783.36 v -x7201 -x7203 -x7205 -x7207 -x7209 -x7211 -x7213 -x7215 -x7217 -x7219 -x7221 -x7223 -x7225 -x7227 -x7229 -x7231 -x7233 1782.66/1783.36 v -x7235 -x7237 -x7239 -x7241 -x7243 -x7245 -x7247 -x7249 -x7251 -x7253 -x7255 -x7257 -x7259 -x7261 -x7263 -x7265 -x7267 1782.66/1783.36 v -x7269 -x7271 -x7273 -x7275 -x7277 -x7279 -x7281 -x7283 -x7285 -x7287 -x7289 -x7291 -x7293 -x7295 -x7297 -x7299 -x7301 1782.66/1783.36 v -x7303 -x7305 -x7307 -x7309 -x7311 -x7313 -x7315 -x7317 -x7319 -x7321 -x7323 -x7325 -x7327 -x7329 -x7331 -x7333 -x7335 1782.66/1783.36 v -x7337 -x7339 -x7341 -x7343 -x7345 -x7347 -x7349 -x7351 x7353 -x7355 -x7357 -x7359 -x7361 -x7363 -x7365 -x7367 -x7369 1782.66/1783.36 v -x7371 -x7373 -x7375 -x7377 -x7379 -x7381 -x7383 -x7385 x7387 -x7389 -x7391 -x7393 -x7395 x7397 -x7399 -x7401 -x7403 -x7405 1782.66/1783.36 v -x7407 -x7409 -x7411 -x7413 -x7415 -x7416 -x7418 -x7420 -x7422 -x7424 -x7426 -x7428 -x7430 -x7432 -x7434 -x7436 -x7438 1782.66/1783.36 v -x7440 -x7442 -x7444 -x7446 -x7448 -x7450 -x7452 -x7454 -x7456 -x7458 -x7460 -x7462 -x7464 -x7466 -x7468 -x7470 -x7472 1782.66/1783.36 v -x7474 -x7476 -x7478 -x7480 -x7482 -x7484 -x7486 -x7488 -x7490 -x7492 -x7494 -x7496 -x7498 -x7500 -x7502 -x7504 -x7506 1782.66/1783.36 v -x7508 -x7510 -x7512 -x7514 -x7516 -x7518 -x7520 -x7522 -x7524 -x7526 -x7528 -x7530 -x7532 -x7534 -x7536 -x7538 -x7540 1782.66/1783.36 v x7542 -x7544 -x7546 -x7548 -x7550 -x7552 -x7554 -x7556 -x7558 -x7560 -x7562 -x7564 -x7566 -x7568 -x7570 -x7572 -x7574 1782.66/1783.36 v -x7576 -x7578 -x7580 -x7582 -x7584 -x7586 -x7588 -x7590 -x7592 -x7594 -x7596 -x7598 -x7600 -x7602 -x7604 -x7606 -x7608 1782.66/1783.36 v -x7610 -x7612 -x7614 -x7616 -x7618 -x7620 -x7622 -x7624 -x7626 -x7628 -x7630 -x7632 -x7634 -x7636 -x7638 -x7640 -x7642 1782.66/1783.36 v -x7644 -x7646 -x7648 -x7650 -x7652 x7654 -x7656 -x7658 -x7660 -x7662 -x7664 x7666 -x7668 -x7670 -x7672 -x7674 -x7676 x7678 1782.66/1783.36 v -x7680 -x7682 -x7684 -x7686 -x7688 -x7690 -x7692 -x7694 -x7696 -x7698 -x7700 -x7702 -x7704 -x7706 -x7708 -x7710 -x7712 1782.66/1783.36 v -x7714 -x7716 -x7718 -x7720 -x7722 -x7724 -x7726 -x7728 -x7730 -x7732 -x7734 -x7736 -x7738 -x7740 -x7742 -x7744 -x7746 1782.66/1783.36 v -x7748 x7750 -x7752 -x7754 -x7756 -x7758 -x7760 -x7762 -x7764 -x7766 -x7768 -x7770 -x7772 -x7774 -x7776 x7778 -x7780 -x7782 1782.66/1783.36 v -x7784 -x7786 x7788 x7790 -x7792 -x7794 -x7796 -x7798 -x231 -x233 -x235 -x237 -x239 x241 -x243 -x245 -x247 -x249 -x251 -x253 1782.66/1783.36 v -x255 -x257 -x259 -x261 -x1 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x2 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x3 -x291 1782.66/1783.36 v -x293 -x295 -x297 x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x4 -x327 -x329 -x331 1782.66/1783.36 v -x333 -x335 -x337 -x339 -x5 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x6 -x355 -x357 -x359 -x361 x363 -x365 -x367 -x369 -x371 1782.66/1783.36 v -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 1782.66/1783.36 v -x415 -x417 -x419 -x421 -x7 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x8 1782.66/1783.36 v -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x9 -x483 -x485 -x487 -x489 -x491 1782.66/1783.36 v -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 1782.66/1783.36 v -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 1782.66/1783.36 v -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 1782.66/1783.36 v -x619 -x621 -x10 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 1782.66/1783.36 v -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x11 -x685 -x687 -x689 -x691 -x693 -x695 -x697 1782.66/1783.36 v -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 1782.66/1783.36 v -x741 -x743 -x745 -x12 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x13 -x777 1782.66/1783.36 v -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 1782.66/1783.36 v -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x14 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 1782.66/1783.36 v -x861 -x863 -x865 -x867 -x15 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x16 1782.66/1783.36 v -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x17 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 1782.66/1783.36 v -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x18 -x975 -x977 1782.66/1783.36 v -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x19 -x1005 -x1007 -x1009 -x1011 -x1013 1782.66/1783.36 v -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x20 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x21 1782.66/1783.36 v -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x22 -x1077 -x1079 1782.66/1783.36 v -x1081 -x1083 -x1085 -x1087 -x1089 -x23 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x24 -x1105 -x1107 -x1109 -x25 1782.66/1783.36 v -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x26 -x1141 -x1143 1782.66/1783.36 v -x1145 -x1147 -x1149 -x1151 -x1153 -x27 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x28 -x1169 -x1171 -x1173 -x29 1782.66/1783.36 v -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 1782.66/1783.36 v -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x30 -x1237 -x1239 -x1241 1782.66/1783.36 v -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x31 -x1267 -x1269 -x1271 -x1273 -x1275 1782.66/1783.36 v -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x32 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 1782.66/1783.36 v -x33 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x34 -x1341 1782.66/1783.36 v -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x35 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x36 -x1369 -x1371 -x1373 1782.66/1783.36 v -x37 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x38 -x1405 1782.66/1783.36 v -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x39 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x40 -x1433 -x1435 -x1437 1782.66/1783.36 v -x41 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x42 -x1453 -x1455 -x1457 -x43 -x1459 -x1461 -x1463 -x44 -x1465 -x1467 1782.66/1783.36 v -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 1782.66/1783.36 v x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x45 -x1529 -x1531 -x1533 -x1535 1782.66/1783.36 v -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 1782.66/1783.36 v -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 1782.66/1783.36 v -x1605 -x1607 -x1609 -x1611 -x1613 x1615 -x1617 -x1619 -x46 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 1782.66/1783.36 v -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x47 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 1782.66/1783.36 v -x1673 -x1675 -x1677 -x1679 -x48 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 1782.66/1783.36 v -x1707 -x1709 -x49 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 1782.66/1783.36 v -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 1782.66/1783.36 v -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 1782.66/1783.36 v -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1838 -x1840 -x1842 1782.66/1783.36 v -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 1782.66/1783.36 v -x1878 x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 1782.66/1783.36 v -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 1782.66/1783.36 v -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x50 -x1978 1782.66/1783.36 v -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 1782.66/1783.36 v -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 1782.66/1783.36 v -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 1782.66/1783.36 v -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x51 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 1782.66/1783.36 v -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 1782.66/1783.36 v -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 1782.66/1783.36 v -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 1782.66/1783.36 v -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x52 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 1782.66/1783.36 v -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 1782.66/1783.36 v -x2286 -x2288 -x2290 -x53 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 1782.66/1783.36 v -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 1782.66/1783.36 v -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 1782.66/1783.36 v -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x54 -x2417 -x2419 -x2421 1782.66/1783.36 v -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 1782.66/1783.36 v -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x55 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 1782.66/1783.36 v -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 1782.66/1783.36 v -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x56 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 1782.66/1783.36 v -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x57 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 1782.66/1783.36 v -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 1782.66/1783.36 v -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 1782.66/1783.36 v -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 1782.66/1783.36 v -x2695 -x58 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 1782.66/1783.36 v -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x59 -x2758 -x2760 -x2762 1782.66/1783.36 v -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 1782.66/1783.36 v -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x60 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 1782.66/1783.36 v -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x61 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 1782.66/1783.36 v -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 1782.66/1783.36 v -x2901 -x2903 -x2905 -x2907 -x2909 -x62 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 1782.66/1783.36 v -x2935 -x2937 -x2939 -x63 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 1782.66/1783.36 v -x2969 -x64 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x65 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 1782.66/1783.36 v -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 1782.66/1783.36 v -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 1782.66/1783.36 v -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 1782.66/1783.36 v -x3103 -x3105 -x3107 -x3109 -x66 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 1782.66/1783.36 v -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 1782.66/1783.36 v -x3171 -x67 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 1782.66/1783.36 v -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x68 -x3235 -x3237 1782.66/1783.36 v -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x69 -x3265 -x3267 -x3269 -x3271 1782.66/1783.36 v -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 1782.66/1783.36 v -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x70 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 1782.66/1783.36 v -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x71 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 1782.66/1783.36 v -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x72 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3399 -x73 -x3401 -x3403 -x3405 1782.66/1783.36 v -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 1782.66/1783.36 v -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x74 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 1782.66/1783.36 v -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x75 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 1782.66/1783.36 v -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x76 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x77 -x3537 -x3539 1782.66/1783.36 v -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x78 -x3567 -x3569 -x3571 -x3573 1782.66/1783.36 v -x3575 -x3577 -x3579 -x79 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x80 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 1782.66/1783.36 v -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 1782.66/1783.36 v -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3664 -x3666 -x3668 x3670 -x3672 -x3674 1782.66/1783.36 v -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 1782.66/1783.36 v -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x81 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 1782.66/1783.36 v -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 1782.66/1783.36 v -x3778 -x3780 -x3782 -x82 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 1782.66/1783.36 v -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x3844 1782.66/1783.36 v -x83 -x3846 -x3848 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x84 -x3876 1782.66/1783.36 v -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x3900 -x3902 -x3904 -x3907 -x3909 -x3911 1782.66/1783.36 v -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x85 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 1782.66/1783.36 v -x3947 -x3949 -x3951 -x3953 -x3955 -x3957 -x3959 -x3961 -x3963 -x86 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 1782.66/1783.36 v -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x87 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 1782.66/1783.36 v -x4015 -x4017 -x4019 -x4021 -x4023 -x88 -x4025 -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -x89 -x4039 -x4041 -x4043 -x4045 1782.66/1783.36 v -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 -x4075 -x4077 -x4079 1782.66/1783.36 v -x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x90 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 1782.66/1783.36 v -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 -x91 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 1782.66/1783.36 v -x4149 -x4151 -x4153 -x4155 -x92 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x93 -x4171 -x4173 -x4175 -x4177 -x4179 1782.66/1783.36 v -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 x94 -x4201 -x4203 x4205 -x4207 -x4209 -x4211 -x4213 1782.66/1783.36 v -x95 -x4215 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 x4235 -x4237 -x4239 -x4241 -x96 -x4243 -x4245 1782.66/1783.36 v -x4247 -x97 -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 1782.66/1783.36 v -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x4309 -x4311 -x4313 1782.66/1783.36 v -x4315 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 1782.66/1783.36 v -x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x4366 -x4368 -x4370 -x4372 -x98 -x4374 -x4376 -x4378 -x4380 -x4382 1782.66/1783.36 v -x4384 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 -x4400 -x4402 -x4404 -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 1782.66/1783.36 v -x4418 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 -x4434 -x99 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4450 1782.66/1783.36 v -x4452 -x4454 -x4456 -x4458 -x4460 -x4462 -x4464 -x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 1782.66/1783.36 v -x4486 -x4488 -x4490 -x4492 -x4494 -x4496 -x100 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 1782.66/1783.36 v -x4518 -x4520 -x4522 -x4524 -x4526 -x101 -x4528 -x4530 -x4532 -x4534 -x4536 -x4538 -x4540 -x4542 -x4544 -x4546 -x4548 1782.66/1783.36 v -x4550 -x4552 -x4554 -x4556 -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 -x4574 -x4576 -x4578 -x4580 -x4582 1782.66/1783.36 v -x4584 -x4586 -x4588 -x102 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 1782.66/1783.36 v -x4616 -x4618 -x103 -x4620 -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 -x4636 -x4638 -x4640 -x4642 -x4644 -x4646 1782.66/1783.36 v -x4648 -x104 -x4650 -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 -x105 -x4664 -x4666 -x4668 -x4670 -x4672 -x4674 -x4676 -x4678 1782.66/1783.36 v -x4680 -x4682 -x4684 -x4686 -x4688 -x4690 -x4692 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 -x4706 -x4708 -x4710 -x4712 1782.66/1783.36 v -x4714 -x4716 -x4718 -x4720 -x4722 -x4724 -x106 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 -x4740 -x4742 -x4744 1782.66/1783.36 v -x4746 -x4748 -x4750 -x4752 -x4754 -x107 -x4756 -x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 -x4772 -x4774 -x4776 1782.66/1783.36 v -x4778 -x4780 -x4782 x4784 x108 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x4798 -x109 -x4800 -x4802 -x4804 -x4806 -x4808 1782.66/1783.36 v -x4810 -x4812 -x4814 -x4816 -x4818 -x4820 -x4822 -x4824 -x4826 -x4828 -x110 -x4830 -x4832 -x4834 -x4836 -x4838 -x4840 1782.66/1783.36 v -x4842 -x111 -x4844 -x4846 -x4848 -x4850 -x4852 -x4854 -x4856 -x112 -x4858 -x4860 -x4862 -x113 -x4864 -x4866 -x4868 -x4870 1782.66/1783.36 v -x4872 -x4874 -x4876 -x4878 -x4880 -x4882 -x4884 -x4886 -x4888 -x4890 -x4892 -x4894 -x4896 -x4898 -x4900 -x4902 -x4904 1782.66/1783.36 v -x4906 -x4908 -x4910 -x4912 -x4914 -x4916 -x4918 -x4920 -x4922 -x4924 -x114 -x4926 -x4928 -x4930 -x4932 -x4934 -x4936 1782.66/1783.36 v -x4938 -x4940 -x4942 -x4944 -x4946 -x4948 -x4950 -x4952 -x4954 -x115 -x4956 -x4958 -x4960 -x4962 -x4964 -x4966 -x4968 1782.66/1783.36 v -x4970 -x4972 -x4974 -x4976 -x4978 -x4980 -x4982 -x4984 -x116 -x4986 -x4988 -x4990 -x4992 -x4994 -x4996 -x4998 -x117 -x5000 1782.66/1783.36 v -x5002 -x5004 -x5006 -x5008 -x5010 -x5012 -x5014 -x5016 -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 -x118 -x5030 -x5032 1782.66/1783.36 v -x5034 -x5036 -x5038 -x5040 -x5042 -x119 -x5044 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x120 -x5058 -x5060 -x121 -x5062 1782.66/1783.36 v -x5064 -x5066 -x5068 -x5070 -x5072 -x5074 -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x122 -x5092 -x5094 1782.66/1783.36 v -x5096 -x5098 -x5100 -x5102 -x5104 -x123 -x5106 -x5108 -x5110 -x5112 -x5114 -x5116 -x5118 -x124 -x5120 -x5122 -x5124 -x125 1782.66/1783.36 v -x5126 -x5128 -x5130 -x5132 -x5134 -x5136 -x5138 -x126 -x5140 -x5142 -x5144 -x127 -x5146 -x5148 x5150 x128 -x5152 -x129 1782.66/1783.36 v -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5166 -x5168 -x5170 -x5172 -x5174 -x5176 -x5178 -x5180 -x5182 -x130 -x5184 1782.66/1783.36 v -x5186 -x5188 -x5190 -x5192 -x5194 -x5196 -x5198 -x5200 -x5202 -x5204 -x5206 -x5208 -x5210 -x5212 -x131 -x5214 -x5216 1782.66/1783.36 v -x5218 -x5220 -x5222 -x5224 -x5226 -x132 -x5228 -x5230 -x5232 -x5234 -x5236 -x5238 -x5240 -x5242 -x5244 -x5246 -x5248 1782.66/1783.36 v -x5250 -x5252 -x5254 -x5256 -x5258 -x5260 -x5262 -x5264 -x5266 -x5268 -x5270 -x5272 -x5274 -x5276 -x5278 -x5280 -x5282 1782.66/1783.36 v -x5284 -x5286 -x5288 -x5290 -x5292 -x5294 -x5296 -x5298 -x5300 -x5302 -x5304 -x5306 -x5308 -x5310 -x5312 -x5314 -x5316 1782.66/1783.36 v -x5318 -x5320 -x5322 -x5324 -x5326 -x5328 -x5330 -x5332 -x5334 -x5336 -x5338 -x5340 -x5342 -x5344 -x5346 -x5348 -x5350 1782.66/1783.36 v -x5352 -x133 -x5354 -x5356 -x5358 -x5360 -x5362 -x5364 -x5366 -x5368 -x5370 -x5372 -x5374 -x5376 -x5378 -x5380 -x5382 1782.66/1783.36 v -x5384 -x5386 -x5388 -x5390 -x5392 -x5394 -x5396 -x5398 -x5400 -x5402 -x5404 -x5406 -x5409 -x5411 -x5413 -x134 -x5415 1782.66/1783.36 v -x5417 -x5419 -x5421 -x5423 -x5426 -x5428 -x5430 -x5432 -x5434 -x5436 -x5438 -x5440 -x5442 -x5444 -x5446 -x5448 -x5450 1782.66/1783.36 v -x5452 -x5454 -x5456 -x5458 -x5460 -x5462 -x5464 -x5466 -x5468 -x5470 -x5472 x5474 -x5476 -x5478 -x5480 -x5482 -x5484 1782.66/1783.36 v -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x5500 -x5502 -x135 -x5504 -x5506 -x5508 -x5510 -x5512 -x5514 -x5516 1782.66/1783.36 v -x5518 -x5520 -x5522 -x5524 -x5526 -x5528 -x5530 -x5532 -x5534 -x5536 -x5538 -x5540 -x5542 -x5544 -x5546 -x5548 -x5550 1782.66/1783.36 v -x5552 -x5554 -x5556 -x5558 -x5560 -x5562 -x5564 -x136 -x5566 -x5568 -x5570 -x5572 -x5574 -x5576 -x5578 -x5580 -x5582 1782.66/1783.36 v -x5584 -x5586 -x5588 -x5590 -x5592 -x5594 -x137 -x5596 -x5598 -x5600 -x5602 -x5604 -x5606 -x5608 -x5610 -x5612 -x5614 1782.66/1783.36 v -x5616 -x5618 -x5620 -x5622 -x5624 -x138 -x5626 -x5628 -x5630 -x5632 -x5634 -x5636 -x5638 -x139 -x5640 -x5642 -x5644 -x5646 1782.66/1783.36 v -x5648 -x5650 -x5652 -x5654 -x5656 -x5658 -x5660 -x5662 -x5664 -x5666 -x5668 -x5670 -x5672 -x5674 -x5676 -x5678 -x5680 1782.66/1783.36 v -x5682 -x5684 -x5686 -x5688 -x5690 -x5692 -x5694 -x5696 -x5698 -x5700 -x140 -x5702 -x5704 -x5706 -x5708 -x5710 -x5712 1782.66/1783.36 v -x5714 -x5716 -x5718 -x5720 -x5722 -x5724 -x5726 -x5728 -x5730 -x5732 -x5734 -x5736 x5738 -x5740 -x5742 -x5744 -x5746 1782.66/1783.36 v -x5748 -x5750 -x5752 -x5754 -x5756 -x5758 -x5760 -x141 -x5762 -x5764 -x5766 -x5768 -x5770 -x5772 -x5774 -x142 -x5776 -x5778 1782.66/1783.36 v -x5780 -x5782 -x5784 -x5786 -x5788 -x5790 -x5792 -x5794 -x5796 -x5798 -x5800 -x5802 -x5804 -x143 -x5806 -x5808 -x5810 1782.66/1783.36 v -x5812 -x5814 -x5816 -x5818 x5820 -x5822 -x5824 -x5826 -x5828 -x5830 -x5832 -x144 -x5834 -x5836 -x5838 -x145 -x5840 -x5842 1782.66/1783.36 v -x5844 -x5846 -x5848 -x5850 -x5852 -x5854 -x5856 -x5858 -x5860 -x5862 -x5864 -x5866 -x5868 -x5870 -x5872 -x5874 -x5876 1782.66/1783.36 v -x5878 -x5880 -x5882 -x5884 -x5886 -x5888 -x5890 -x5892 -x5894 -x5896 -x5898 -x5900 -x5902 -x5904 -x5906 -x5908 -x5910 1782.66/1783.36 v -x5912 -x5914 -x5916 -x5918 -x5920 -x5922 -x5924 -x5926 -x5928 -x5930 -x5932 -x5934 -x5936 -x5938 -x5940 -x5942 -x5944 1782.66/1783.36 v -x5946 -x5948 -x5950 -x5952 -x5954 -x5956 -x5958 -x5960 -x5962 -x5964 -x146 -x5966 -x5968 -x5970 -x5972 -x5974 -x5976 1782.66/1783.36 v -x5978 -x5980 -x5982 -x5984 -x5986 -x5988 -x5990 -x5992 -x5994 -x5996 -x5999 -x6001 -x6003 -x6005 -x6007 -x6009 -x6011 1782.66/1783.36 v -x6013 -x6015 -x6017 -x6019 -x6021 -x147 -x6024 -x6026 -x6028 -x6030 -x6032 -x6034 -x6036 -x6038 -x6040 -x6042 -x6044 1782.66/1783.36 v -x6046 -x6048 -x6050 -x6052 -x6054 -x6056 -x6058 -x6060 -x6062 -x6064 -x6066 -x6068 -x6070 -x6072 -x6074 -x6076 -x6078 1782.66/1783.36 v -x6080 -x6082 -x6084 -x148 -x6086 -x6088 -x6090 -x6092 -x6094 -x6096 -x6098 -x6100 -x6102 -x6104 -x6106 -x6108 -x6110 1782.66/1783.36 v -x6112 -x6114 -x149 -x6116 -x6118 -x6120 -x6122 -x6124 -x6126 -x6128 -x6130 -x6132 -x6134 -x6136 -x6138 -x6140 -x6142 1782.66/1783.36 v -x6144 -x6146 -x6148 -x6150 -x6152 -x6154 -x6156 -x6158 -x6160 -x6162 -x6164 -x6166 -x6168 -x6170 -x6172 -x6174 -x6176 1782.66/1783.36 v -x150 -x6178 -x6180 -x6182 -x6184 -x6186 -x6188 -x6190 -x6192 -x6194 -x6196 -x6198 -x6200 -x6202 -x6204 -x6206 -x151 -x6208 1782.66/1783.36 v -x6210 -x6212 -x6214 -x6216 -x6218 -x6220 -x6222 -x6224 -x6226 -x6228 -x6230 -x6232 -x6234 -x6236 -x152 -x6238 -x6240 1782.66/1783.36 v -x6242 -x6244 -x6246 -x6248 -x6250 -x153 -x6252 -x6254 -x6256 -x6258 -x6260 -x6262 -x6264 -x6266 -x6268 -x6270 -x6272 1782.66/1783.36 v -x6274 -x6276 -x6278 -x6280 -x6282 -x6284 -x6286 -x6288 -x6290 -x6292 -x6294 -x6296 -x6298 -x6300 -x6302 -x6304 -x6306 1782.66/1783.36 v -x6308 -x6310 -x6312 -x154 -x6314 -x6316 -x6318 -x6320 -x6322 -x6324 -x6326 -x6328 -x6330 -x6332 -x6334 -x6336 -x6338 1782.66/1783.36 v -x6340 -x6342 -x155 -x6344 -x6346 -x6348 -x6350 -x6352 -x6354 -x6356 -x6358 -x6360 -x6362 -x6364 -x6366 -x6368 -x6370 1782.66/1783.36 v -x6372 -x156 -x6374 -x6376 -x6378 -x6380 -x6382 -x6384 -x6386 -x157 -x6388 -x6390 -x6392 -x6394 -x6396 -x6398 -x6400 -x6402 1782.66/1783.36 v -x6404 -x6406 -x6408 -x6410 -x6412 -x6414 -x6416 -x158 -x6418 -x6420 -x6422 -x6424 -x6426 -x6428 -x6430 -x159 -x6432 -x6434 1782.66/1783.36 v -x6436 -x6438 -x6440 -x6442 -x6444 -x160 -x6446 -x6448 -x6450 -x161 -x6452 -x6454 -x6456 -x6458 -x6460 -x6462 -x6464 -x6466 1782.66/1783.36 v -x6468 -x6470 -x6472 -x6474 -x6476 -x6478 -x6480 -x6482 -x6484 -x6486 -x6488 -x6490 -x6492 -x6494 -x6496 -x6498 -x6500 1782.66/1783.36 v -x6502 -x6504 -x6506 -x6508 -x6510 -x6512 -x162 -x6514 -x6516 -x6518 -x6520 -x6522 -x6524 -x6526 -x6528 -x6530 -x6532 1782.66/1783.36 v -x6534 -x6536 -x6538 -x6540 -x6542 -x163 -x6544 -x6546 -x6548 -x6550 -x6552 -x6554 -x6556 -x6558 -x6560 -x6562 -x6564 1782.66/1783.36 v -x6566 -x6568 -x6570 -x6572 -x6574 -x6576 -x6578 -x6580 -x6582 x6584 -x6586 -x164 -x6588 -x6590 -x6592 -x6594 -x6596 -x6598 1782.66/1783.36 v -x6600 -x6602 -x6604 -x6606 -x6608 -x6610 -x6612 -x6614 -x6616 -x165 -x6618 -x6620 -x6622 -x6624 -x6626 -x6628 -x6630 1782.66/1783.36 v -x166 -x6632 -x6634 -x6636 -x6638 -x6640 -x6642 -x6644 -x167 -x6646 -x6648 -x6650 -x168 -x6652 -x6654 -x6656 -x6658 -x6660 1782.66/1783.36 v -x6662 -x6664 -x6666 -x6668 -x6670 -x6672 -x6674 -x6676 -x6678 -x6680 -x169 -x6682 -x6684 -x6686 -x6688 -x6690 -x6692 1782.66/1783.36 v -x6694 -x170 -x6696 -x6698 -x6700 -x6702 -x6704 -x6706 -x6708 -x171 -x6710 -x6712 -x6714 -x172 -x6716 -x6718 -x6720 -x6722 1782.66/1783.36 v -x6724 -x6726 -x6728 -x173 -x6730 -x6732 -x6734 -x174 -x6736 -x6738 -x6740 -x175 -x6742 -x176 -x6744 -x6746 -x6748 -x6750 1782.66/1783.36 v -x6752 -x6754 -x6756 -x6758 -x6760 -x6762 -x6764 -x6766 -x6768 -x6770 -x6772 -x6774 -x6776 -x6778 -x6780 -x6782 -x6784 1782.66/1783.36 v -x6786 -x6788 -x6790 -x6792 -x6794 -x6796 -x6798 -x6800 -x6802 -x6804 -x177 -x6806 -x6808 -x6810 -x6812 -x6814 -x6816 1782.66/1783.36 v -x6818 -x6820 -x6822 -x6824 -x6826 -x6828 -x6830 -x6832 -x6834 -x178 -x6836 -x6838 -x6840 -x6842 -x6844 -x6846 -x6848 1782.66/1783.36 v -x6850 -x6852 -x6854 -x6856 -x6858 -x6860 -x6862 -x6864 -x179 -x6866 -x6868 -x6870 -x6872 -x6874 -x6876 -x6878 -x6880 1782.66/1783.36 v -x6882 -x6884 -x6886 -x6888 -x6890 -x6892 -x6894 -x180 -x6896 -x6898 -x6900 -x6902 -x6904 -x6906 -x6908 -x181 -x6910 -x6912 1782.66/1783.36 v -x6914 -x6916 -x6918 -x6920 -x6922 -x6924 -x6926 -x6928 -x6930 -x6932 -x6934 -x6936 -x6938 -x6940 -x6942 -x6944 -x6946 1782.66/1783.36 v -x6948 -x6950 -x6952 -x6954 -x6956 -x6958 -x6960 -x6962 -x6964 -x6966 -x6968 -x6970 -x182 -x6972 -x6974 -x6976 -x6978 1782.66/1783.36 v -x6980 -x6982 -x6984 -x6986 -x6988 -x6990 -x6992 -x6994 -x6996 -x6998 -x7000 -x183 -x7002 -x7004 -x7006 -x7008 -x7010 1782.66/1783.36 v -x7012 -x7014 -x7016 -x7018 -x7020 -x7022 -x7024 -x7026 -x7028 -x7030 -x184 -x7032 -x7034 -x7036 -x7038 -x7040 -x7042 1782.66/1783.36 v -x7044 -x185 -x7046 -x7048 -x7050 -x7052 -x7054 -x7056 -x7058 -x7060 -x7062 -x7064 -x7066 -x7068 -x7070 -x7072 -x7074 1782.66/1783.36 v -x186 -x7076 -x7078 -x7080 -x7082 -x7084 -x7086 -x7088 -x187 -x7090 -x7092 -x7094 -x7096 -x7098 -x7100 -x7102 -x188 -x7104 1782.66/1783.36 v -x7106 -x7108 -x189 -x7110 -x7112 -x7114 -x7116 -x7118 -x7120 -x7122 -x7124 -x7126 -x7128 -x7130 -x7132 -x7134 -x7136 1782.66/1783.36 v -x7138 -x7140 -x7142 -x7144 -x7146 -x7148 -x7150 -x7152 -x7154 -x7156 -x7158 -x7160 -x7162 -x7164 -x7166 -x7168 -x7170 1782.66/1783.36 v -x190 -x7172 -x7174 -x7176 -x7178 -x7180 -x7182 -x7184 -x7186 -x7188 -x7190 -x7192 -x7194 -x7196 -x7198 -x191 -x7200 -x7202 1782.66/1783.36 v -x7204 -x7206 -x7208 -x7210 -x7212 -x7214 -x7216 -x7218 -x7220 -x7222 -x7224 -x7226 -x7228 -x192 -x7230 -x7232 -x7234 1782.66/1783.36 v -x7236 -x7238 -x7240 -x7242 -x193 -x7244 -x7246 -x7248 -x7250 -x7252 -x7254 -x7256 -x7258 -x7260 -x7262 -x7264 -x7266 1782.66/1783.36 v -x7268 -x7270 -x7272 -x194 -x7274 -x7276 -x7278 -x7280 -x7282 -x7284 -x195 -x7286 -x7288 -x7290 -x7292 -x7294 -x7296 -x7298 1782.66/1783.36 v -x196 -x7300 -x7302 -x7304 -x197 -x7306 -x7308 -x7310 -x7312 -x7314 -x7316 -x7318 -x7320 -x7322 -x7324 -x7326 -x7328 -x7330 1782.66/1783.36 v -x7332 -x7334 -x198 -x7336 -x7338 -x7340 -x7342 -x7344 -x7346 -x7348 x199 -x7350 x7352 -x7354 -x7356 -x7358 -x7360 -x7362 1782.66/1783.36 v -x200 -x7364 -x7366 -x201 -x7368 -x7370 -x7372 -x7374 -x7376 -x7378 -x7380 -x202 -x7382 -x7384 x7386 x203 -x7388 -x7390 1782.66/1783.36 v -x7392 -x204 -x7394 x7396 -x7398 -x7400 -x7402 -x7404 -x7406 -x7408 -x7410 -x7412 -x7414 -x7417 -x7419 -x7421 -x7423 -x7425 1782.66/1783.36 v -x7427 -x7429 -x7431 -x7433 -x7435 -x7437 -x7439 -x7441 -x7443 -x7445 -x7447 -x7449 -x205 -x7451 -x7453 -x7455 -x7457 1782.66/1783.36 v -x7459 -x7461 -x7463 -x7465 -x7467 -x7469 -x7471 -x7473 -x7475 -x7477 -x7479 -x206 -x7481 -x7483 -x7485 -x7487 -x7489 1782.66/1783.36 v -x7491 -x7493 -x7495 -x7497 -x7499 -x7501 -x7503 -x7505 -x7507 -x7509 -x207 -x7511 -x7513 -x7515 -x7517 -x7519 -x7521 1782.66/1783.36 v -x7523 -x7525 -x7527 -x7529 -x7531 -x7533 -x7535 -x7537 -x7539 x7541 -x7543 -x7545 -x7547 -x7549 -x7551 -x7553 -x208 -x7555 1782.66/1783.36 v -x7557 -x7559 -x7561 -x7563 -x7565 -x7567 -x209 -x7569 -x7571 -x7573 -x7575 -x7577 -x7579 -x7581 -x210 -x7583 -x7585 -x7587 1782.66/1783.36 v -x211 -x7589 -x7591 -x7593 -x7595 -x7597 -x7599 -x7601 -x7603 -x7605 -x7607 -x7609 -x7611 -x7613 -x7615 -x7617 -x212 -x7619 1782.66/1783.36 v -x7621 -x7623 -x7625 -x7627 -x7629 -x7631 -x213 -x7633 -x7635 -x7637 -x7639 -x7641 -x7643 -x7645 -x214 -x7647 -x7649 -x7651 1782.66/1783.36 v x7653 -x7655 -x7657 -x7659 -x7661 -x7663 x7665 x215 -x7667 -x7669 -x7671 -x216 -x7673 -x7675 x7677 x217 -x7679 -x218 -x7681 1782.66/1783.36 v -x7683 -x7685 -x7687 -x7689 -x7691 -x7693 -x7695 -x7697 -x7699 -x7701 -x7703 -x7705 -x219 -x7707 -x7709 -x7711 -x7713 1782.66/1783.36 v -x7715 -x7717 -x7719 -x220 -x7721 -x7723 -x7725 -x7727 -x7729 -x7731 -x7733 -x221 -x7735 -x7737 -x7739 -x7741 -x7743 -x7745 1782.66/1783.36 v -x7747 x7749 -x7751 -x7753 -x222 -x7755 -x7757 -x223 -x7759 -x7761 -x7763 -x224 -x7765 -x225 -x7767 -x7769 -x7771 -x7773 1782.66/1783.36 v -x7775 x7777 -x7779 -x7781 -x7783 -x7785 x7787 x7789 x226 -x7791 -x227 -x7793 -x7795 -x228 -x7797 -x229 x230
OK 27
/tmp/evaluation/372570-1177107312/instance-372570-1177107312.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-372570-1177107312 -o ROOT/results/node20/solver-372570-1177107312 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/372570-1177107312/instance-372570-1177107312.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.16 1.03 1.01 3/77 12508 /proc/meminfo: memFree=1776240/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=2552 CPUtime=0 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 158648547 2613248 232 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 8085207 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 638 232 193 16 0 77 0 [startup+0.0312311 s] /proc/loadavg: 1.16 1.03 1.01 3/77 12508 /proc/meminfo: memFree=1776240/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=3216 CPUtime=0.02 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 430 0 0 0 2 0 0 0 18 0 1 0 158648547 3293184 400 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 8085207 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 804 400 199 16 0 243 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3216 [startup+0.101241 s] /proc/loadavg: 1.16 1.03 1.01 3/77 12508 /proc/meminfo: memFree=1776240/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=4284 CPUtime=0.09 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 695 0 0 0 9 0 0 0 18 0 1 0 158648547 4386816 665 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 8085207 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 1071 665 199 16 0 510 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4284 [startup+0.301272 s] /proc/loadavg: 1.16 1.03 1.01 3/77 12508 /proc/meminfo: memFree=1776240/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=7364 CPUtime=0.29 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 1475 0 0 0 29 0 0 0 19 0 1 0 158648547 7540736 1445 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134532446 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 1841 1445 203 16 0 1280 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7364 [startup+0.701352 s] /proc/loadavg: 1.16 1.03 1.01 3/77 12508 /proc/meminfo: memFree=1776240/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=8264 CPUtime=0.69 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 1711 0 0 0 69 0 0 0 22 0 1 0 158648547 8462336 1681 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 2066 1681 205 16 0 1505 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8264 [startup+1.50151 s] /proc/loadavg: 1.16 1.03 1.01 2/78 12509 /proc/meminfo: memFree=1770280/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=8264 CPUtime=1.49 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 1711 0 0 0 146 3 0 0 25 0 1 0 158648547 8462336 1681 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559161 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 2066 1681 205 16 0 1505 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8264 [startup+3.10184 s] /proc/loadavg: 1.15 1.03 1.01 2/78 12509 /proc/meminfo: memFree=1770088/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=8264 CPUtime=3.09 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 1711 0 0 0 305 4 0 0 25 0 1 0 158648547 8462336 1681 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 2066 1681 205 16 0 1505 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8264 [startup+6.30148 s] /proc/loadavg: 1.15 1.03 1.01 2/78 12509 /proc/meminfo: memFree=1770088/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=8424 CPUtime=6.28 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 1718 0 0 0 623 5 0 0 25 0 1 0 158648547 8626176 1688 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 2106 1688 205 16 0 1545 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 8424 [startup+12.7018 s] /proc/loadavg: 1.12 1.03 1.01 2/78 12509 /proc/meminfo: memFree=1768936/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=9696 CPUtime=12.69 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 2047 0 0 0 1260 9 0 0 25 0 1 0 158648547 9928704 2017 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558656 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 2424 2017 205 16 0 1863 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9696 [startup+25.5013 s] /proc/loadavg: 1.10 1.03 1.01 2/78 12509 /proc/meminfo: memFree=1765480/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=13076 CPUtime=25.48 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 2896 0 0 0 2534 14 0 0 25 0 1 0 158648547 13389824 2866 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 3269 2866 205 16 0 2708 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 13076 [startup+51.1015 s] /proc/loadavg: 1.07 1.03 1.01 2/78 12509 /proc/meminfo: memFree=1763048/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=15464 CPUtime=51.07 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 3486 0 0 0 5084 23 0 0 25 0 1 0 158648547 15835136 3456 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134519949 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 3866 3456 205 16 0 3305 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 15464 [startup+102.306 s] /proc/loadavg: 1.02 1.02 1.00 2/78 12509 /proc/meminfo: memFree=1759208/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=19340 CPUtime=102.26 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 4442 0 0 0 10189 37 0 0 25 0 1 0 158648547 19804160 4412 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 4835 4412 205 16 0 4274 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 19340 [startup+162.302 s] /proc/loadavg: 1.01 1.02 1.00 2/78 12509 /proc/meminfo: memFree=1756456/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=22132 CPUtime=162.23 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 5121 0 0 0 16173 50 0 0 25 0 1 0 158648547 22663168 5091 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559435 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 5533 5091 205 16 0 4972 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 22132 [startup+222.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 12509 /proc/meminfo: memFree=1751464/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=27052 CPUtime=222.21 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 6361 0 0 0 22158 63 0 0 25 0 1 0 158648547 27701248 6331 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 6763 6331 205 16 0 6202 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 27052 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12509 /proc/meminfo: memFree=1749480/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=29096 CPUtime=282.19 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 6855 0 0 0 28141 78 0 0 25 0 1 0 158648547 29794304 6825 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134556267 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 7274 6825 205 16 0 6713 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 29096 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12509 /proc/meminfo: memFree=1749416/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=28888 CPUtime=342.17 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 6861 0 0 0 34114 103 0 0 25 0 1 0 158648547 29581312 6789 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 7222 6789 205 16 0 6661 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 28888 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12509 /proc/meminfo: memFree=1749480/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=28852 CPUtime=402.15 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 6861 0 0 0 40086 129 0 0 25 0 1 0 158648547 29544448 6780 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 7213 6780 205 16 0 6652 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 28852 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12509 /proc/meminfo: memFree=1749608/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=28852 CPUtime=462.13 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 6861 0 0 0 46067 146 0 0 25 0 1 0 158648547 29544448 6780 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 7213 6780 205 16 0 6652 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 28852 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12509 /proc/meminfo: memFree=1749672/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=28852 CPUtime=522.11 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 6865 0 0 0 52048 163 0 0 25 0 1 0 158648547 29544448 6784 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134557547 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 7213 6784 205 16 0 6652 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 28852 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12509 /proc/meminfo: memFree=1749672/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=28852 CPUtime=582.09 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 6867 0 0 0 58035 174 0 0 25 0 1 0 158648547 29544448 6786 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558942 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 7213 6786 205 16 0 6652 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 28852 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12509 /proc/meminfo: memFree=1749672/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=28852 CPUtime=642.06 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 6867 0 0 0 64022 184 0 0 25 0 1 0 158648547 29544448 6786 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 7213 6786 205 16 0 6652 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 28852 ################ # More data... # ################ /proc/meminfo: memFree=1749672/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=28852 CPUtime=822 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 6872 0 0 0 81968 232 0 0 25 0 1 0 158648547 29544448 6791 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 7213 6791 205 16 0 6652 0 Current children cumulated CPU time (s) 822 Current children cumulated vsize (KiB) 28852 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12509 /proc/meminfo: memFree=1746536/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=32076 CPUtime=881.98 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 7655 0 0 0 87947 251 0 0 25 0 1 0 158648547 32845824 7574 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 8019 7574 205 16 0 7458 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 32076 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12509 /proc/meminfo: memFree=1736104/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=42472 CPUtime=941.96 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 10257 0 0 0 93928 268 0 0 25 0 1 0 158648547 43491328 10176 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 10618 10176 205 16 0 10057 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 42472 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12509 /proc/meminfo: memFree=1736104/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=42472 CPUtime=1001.94 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 10258 0 0 0 99908 286 0 0 25 0 1 0 158648547 43491328 10177 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 10618 10177 205 16 0 10057 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 42472 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12509 /proc/meminfo: memFree=1736104/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=42472 CPUtime=1061.92 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 10260 0 0 0 105891 301 0 0 25 0 1 0 158648547 43491328 10179 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 10618 10179 205 16 0 10057 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 42472 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12509 /proc/meminfo: memFree=1736104/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=42432 CPUtime=1121.9 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 10262 0 0 0 111870 320 0 0 25 0 1 0 158648547 43450368 10172 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558804 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 10608 10172 205 16 0 10047 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 42432 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12509 /proc/meminfo: memFree=1736104/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=42336 CPUtime=1181.87 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 10262 0 0 0 117849 338 0 0 25 0 1 0 158648547 43352064 10148 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 10584 10148 205 16 0 10023 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 42336 [startup+1242.3 s] /proc/loadavg: 1.06 1.01 1.00 2/78 12509 /proc/meminfo: memFree=1736104/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=42336 CPUtime=1241.85 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 10267 0 0 0 123834 351 0 0 25 0 1 0 158648547 43352064 10153 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558657 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 10584 10153 205 16 0 10023 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 42336 [startup+1302.3 s] /proc/loadavg: 1.02 1.01 1.00 2/78 12509 /proc/meminfo: memFree=1736104/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=42336 CPUtime=1301.84 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 10267 0 0 0 129814 370 0 0 25 0 1 0 158648547 43352064 10153 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528788 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 10584 10153 205 16 0 10023 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 42336 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12509 /proc/meminfo: memFree=1736040/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=42336 CPUtime=1361.81 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 10267 0 0 0 135792 389 0 0 25 0 1 0 158648547 43352064 10153 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 10584 10153 205 16 0 10023 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 42336 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12509 /proc/meminfo: memFree=1736040/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=42336 CPUtime=1421.79 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 10267 0 0 0 141773 406 0 0 25 0 1 0 158648547 43352064 10153 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528041 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 10584 10153 205 16 0 10023 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 42336 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12511 /proc/meminfo: memFree=1736104/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=42336 CPUtime=1481.77 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 10267 0 0 0 147756 421 0 0 25 0 1 0 158648547 43352064 10153 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 10584 10153 205 16 0 10023 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 42336 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12511 /proc/meminfo: memFree=1736232/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=42336 CPUtime=1541.75 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 10267 0 0 0 153740 435 0 0 25 0 1 0 158648547 43352064 10153 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559503 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 10584 10153 205 16 0 10023 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 42336 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12511 /proc/meminfo: memFree=1736168/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=42336 CPUtime=1601.73 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 10267 0 0 0 159721 452 0 0 25 0 1 0 158648547 43352064 10153 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559503 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 10584 10153 205 16 0 10023 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 42336 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12511 /proc/meminfo: memFree=1736232/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=42336 CPUtime=1661.7 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 10267 0 0 0 165703 467 0 0 25 0 1 0 158648547 43352064 10153 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 10584 10153 205 16 0 10023 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 42336 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12511 /proc/meminfo: memFree=1736232/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=42336 CPUtime=1721.68 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 10267 0 0 0 171687 481 0 0 25 0 1 0 158648547 43352064 10153 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559503 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 10584 10153 205 16 0 10023 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 42336 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12511 /proc/meminfo: memFree=1736168/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=42336 CPUtime=1781.66 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 10267 0 0 0 177667 499 0 0 25 0 1 0 158648547 43352064 10153 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528842 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 10584 10153 205 16 0 10023 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 42336 Solver just ended. Dumping a history of the last processes samples [startup+1783.11 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12511 /proc/meminfo: memFree=1736168/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=42336 CPUtime=1782.46 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 10267 0 0 0 177747 499 0 0 25 0 1 0 158648547 43352064 10153 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 10584 10153 205 16 0 10023 0 Current children cumulated CPU time (s) 1782.46 Current children cumulated vsize (KiB) 42336 [startup+1783.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12511 /proc/meminfo: memFree=1736168/2055920 swapFree=4155232/4192956 [pid=12508] ppid=12506 vsize=42336 CPUtime=1782.66 /proc/12508/stat : 12508 (Pueblo) R 12506 12508 11486 0 -1 4194304 10267 0 0 0 177767 499 0 0 25 0 1 0 158648547 43352064 10153 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12508/statm: 10584 10153 205 16 0 10023 0 Current children cumulated CPU time (s) 1782.66 Current children cumulated vsize (KiB) 42336 Child status: 10 Real time (s): 1783.38 CPU time (s): 1782.75 CPU user time (s): 1777.74 CPU system time (s): 5.00724 CPU usage (%): 99.9646 Max. virtual memory (cumulated for all children) (KiB): 42472 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1777.74 system time used= 5.00724 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10274 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 16 involuntary context switches= 2057 runsolver used 2.07368 second user time and 4.03739 second system time The end
Begin job on node20 on Fri Apr 20 22:15:12 UTC 2007 IDJOB= 372570 IDBENCH= 24981 IDSOLVER= 165 FILE ID= node20/372570-1177107312 PBS_JOBID= 4640402 Free space on /tmp= 66454 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_015_area_delay.opb COMMAND LINE= Pueblo /tmp/evaluation/372570-1177107312/instance-372570-1177107312.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node20/convwatcher-372570-1177107312 -o ROOT/results/node20/conversion-372570-1177107312 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372570-1177107312/instance-372570-1177107312.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-372570-1177107312 -o ROOT/results/node20/solver-372570-1177107312 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/372570-1177107312/instance-372570-1177107312.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 90acfb7d1c18536583ef7e2a90905f54 RANDOM SEED= 850624397 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.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.265 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.265 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: 1776712 kB Buffers: 37488 kB Cached: 155752 kB SwapCached: 16064 kB Active: 136176 kB Inactive: 80824 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1776712 kB SwapTotal: 4192956 kB SwapFree: 4155232 kB Dirty: 2984 kB Writeback: 0 kB Mapped: 30860 kB Slab: 47788 kB Committed_AS: 1979504 kB PageTables: 1744 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= 66454 MiB End job on node20 on Fri Apr 20 22:44:56 UTC 2007