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