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