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