Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-smodels 1.31 | SAT (TO) | -7373 | 1800.79 | 1800.26 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mzzv11.opb |
MD5SUM | a74bcf40291587dc368e3a23fd278be9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -7904 |
Best CPU time to get the best result obtained on this benchmark | 1800.48 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -10639 |
Optimality of the best value was proved | NO |
Number of variables | 11247 |
Total number of constraints | 9744 |
Number of constraints which are clauses | 77 |
Number of constraints which are cardinality constraints (but not clauses) | 5755 |
Number of constraints which are nor clauses,nor cardinality constraints | 3912 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 68 |
Number of terms in the objective function | 773 |
Biggest coefficient in the objective function | 1000 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 76861 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 1999 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 76861 |
Number of bits of the biggest sum of numbers | 17 |
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 c Running pbsmodels-v1.31 212.01 o -6515 279.32 o -6689 378.17 o -6854 780.33 o -7264 869.83 o -7278 869.86 o -7283 869.88 o -7293 869.95 o -7333 1052.41 o -7368 1052.44 o -7373 1800.24 sh: line 1: 28401 Done pb2smodels ROOT/tmp/node56/45528-1154038897/instance-45528-1154038897.opb ROOT/tmp/node56/45528-1154038897 1800.24 28402 Terminated | smodels-2.31 0 -seed 776921173 1800.24 28403 Terminated | pbout.new.pl ROOT/tmp/node56/45528-1154038897/instance-45528-1154038897.opb ROOT/tmp/node56/45528-1154038897 1800.24 s SATISFIABLE 1800.24 v x1754 x3245 x5483 x6648 x7809 x8958 x10107 x2 x461 x602 x755 x1037 x1168 x1307 x1454 x1617 x1755 x1905 x2368 x2519 x2657 x3357 1800.24 v x3468 x3579 x3801 x4023 x4245 x4357 x4468 x4579 x4690 x4801 x4912 x5484 x5486 x5719 x5948 x6184 x6881 x7353 x7354 x7581 x7582 1800.24 v x7925 x7926 x7927 x8040 x8041 x8042 x8387 x8500 x8501 x8844 x8845 x8959 x8960 x9302 x9303 x9419 x10222 x10336 x10564 x10906 1800.24 v x11135 x4 x231 x378 x406 x433 x463 x491 x634 x663 x665 x697 x727 x775 x808 x1051 x1064 x1116 x1142 x1169 x1263 x1265 x1278 x1279 1800.24 v x1437 x1440 x1456 x1458 x1489 x1491 x1537 x1539 x1553 x1554 x1557 x1585 x1586 x1589 x1631 x1632 x1644 x1670 x1699 x1700 x1740 1800.24 v x1741 x1742 x1756 x1785 x1812 x1856 x1857 x1861 x1873 x1875 x1877 x1890 x1891 x1928 x1931 x1934 x1945 x1946 x1948 x1949 x1950 1800.24 v x1963 x1965 x1966 x1967 x1979 x1980 x1985 x1996 x1997 x1998 x1999 x2000 x2001 x2030 x2031 x2032 x2033 x2036 x2049 x2050 x2053 1800.24 v x2067 x2071 x2082 x2086 x2088 x2099 x2101 x2102 x2105 x2119 x2122 x2165 x2167 x2179 x2180 x2183 x2290 x2295 x2308 x2309 x2310 1800.24 v x2322 x2323 x2324 x2326 x2353 x2354 x2399 x2400 x2402 x2416 x2418 x2419 x2432 x2433 x2434 x2437 x2451 x2464 x2466 x2478 x2480 1800.24 v x2493 x2494 x2496 x2582 x2583 x2584 x2595 x2596 x2598 x2599 x2626 x2631 x2642 x2644 x2645 x2646 x2658 x2663 x2679 x2690 x2692 1800.24 v x2693 x2694 x2706 x2707 x2708 x2709 x2847 x2848 x2849 x2851 x2852 x2865 x2866 x2868 x2880 x2881 x2883 x2959 x2960 x2961 x2963 1800.24 v x2974 x2975 x2976 x2978 x2989 x2990 x2991 x2993 x3019 x3020 x3021 x3023 x3066 x3067 x3071 x3083 x3086 x3087 x3098 x3099 x3101 1800.24 v x3102 x3103 x3115 x3118 x3120 x3132 x3133 x3134 x3136 x3147 x3150 x3152 x3163 x3166 x3168 x268 x269 x270 x279 x284 x285 x288 1800.24 v x290 x291 x292 x298 x299 x302 x303 x306 x307 x310 x311 x312 x314 x316 x318 x319 x321 x327 x328 x329 x331 x332 x333 x335 x343 x349 1800.24 v x352 x355 x357 x2523 x2518 x2529 x2537 x2553 x2654 x2758 x2759 x2767 x3033 x3032 x3074 x3076 x3077 x3122 x3121 x3156 x3194 1800.24 v x3191 x3221 x3224 x3226 x3241 x3243 x3249 x3268 x3266 x3300 x3301 x3326 x3323 x3359 x3360 x3379 x3378 x3381 x3503 x3500 x3543 1800.24 v x3744 x3740 x2737 x2738 x2751 x2762 x2763 x2764 x2775 x2776 x2777 x4042 x4039 x4048 x4058 x4065 x4074 x4081 x2789 x2790 x4089 1800.24 v x2802 x2803 x2804 x4251 x4249 x4254 x4260 x4266 x4273 x4280 x4634 x4630 x4871 x4870 x4959 x4961 x5014 x5013 x5015 x5130 x5128 1800.24 v x5133 x5136 x5169 x5170 x5171 x5803 x5802 x5811 x5818 x5816 x5827 x5839 x5829 x5848 x6033 x6030 x6320 x3813 x3968 x6526 x6524 1800.24 v x4057 x4135 x4190 x4257 x4323 x6696 x6698 x6702 x4391 x4413 x4524 x4624 x6798 x6797 x6800 x6803 x6806 x4691 x4757 x6834 x6835 1800.24 v x4824 x4890 x4957 x5094 x5105 x5143 x5187 x5220 x5291 x5302 x5324 x7049 x7082 x7086 x7090 x7094 x7103 x7109 x7114 x7190 x7189 1800.24 v x7203 x7250 x7252 x7255 x7256 x7315 x7312 x7317 x7323 x7329 x7392 x7388 x7393 x7397 x7402 x7408 x7484 x7486 x7488 x7554 x7558 1800.24 v x8026 x8024 x9060 x9066 x9070 x9080 x9085 x9091 x9095 x9377 x9375 x9382 x9390 x9398 x9405 x9413 x9426 x9434 x9440 x9447 x9452 1800.24 v x9459 x7040 x7029 x7073 x7276 x10365 x10363 x10434 x10468 x8653 x8642 x10548 x10544 x10551 x10559 x10571 x10578 x10587 1800.24 v x10786 x10863 x9143 x9176 x9203 x9225 x9236 x11216 x11214 x11217 x11227 x77 x75 x199 x245 x908 x2188 x819 x598 x612 x623 x637 1800.24 v x1643 x1147 x1006 x1230 x1049 x1917 x1179 x473 x484 x1335 x495 x508 x2223 x513 x522 x658 x764 x799 x798 x800 x803 x805 x815 1800.24 v x855 x909 x1004 x1048 x1050 x1055 x1057 x1059 x1061 x1063 x1068 x2411 x1145 x1149 x1153 x1993 x1180 x1229 x1231 x1233 x1238 1800.24 v x1240 x1271 x1272 x1334 x1341 x1343 x1386 x1385 x1387 x1637 x1648 x1656 x1667 x1679 x2054 x1991 x1988 x2393 x2391 x2394 x2397 1800.24 v x2407 x2221 x2224 x2227 x2297 x2439 x2187 -x1 -x4356 -x902 -x2064 -x2217 -x2801 -x2958 -x3114 -x3246 -x3690 -x3912 -x4134 1800.24 v -x5023 -x5024 -x5025 -x5026 -x5027 -x5138 -x5139 -x5140 -x5141 -x5142 -x5253 -x5254 -x5255 -x5256 -x5257 -x5368 -x5369 1800.24 v -x5370 -x5371 -x5372 -x5485 -x5487 -x5488 -x5489 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5716 -x5717 -x5718 -x5720 1800.24 v -x5721 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x6065 -x6066 -x6067 -x6068 1800.24 v -x6069 -x6070 -x6071 -x6182 -x6183 -x6185 -x6186 -x6187 -x6188 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6416 1800.24 v -x6417 -x6418 -x6419 -x6420 -x6421 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 1800.24 v -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6999 -x7000 -x7001 -x7002 1800.24 v -x7003 -x7004 -x7005 -x7006 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7235 -x7236 -x7237 -x7238 -x7239 1800.24 v -x7240 -x7241 -x7242 -x7355 -x7356 -x7467 -x7468 -x7469 -x7470 -x7583 -x7584 -x7695 -x7696 -x7697 -x7698 -x7810 -x7811 1800.24 v -x7812 -x7813 -x7814 -x7928 -x7929 -x8043 -x8044 -x8155 -x8156 -x8157 -x8158 -x8159 -x8270 -x8271 -x8272 -x8273 -x8274 1800.24 v -x8385 -x8386 -x8388 -x8389 -x8502 -x8503 -x8504 -x8615 -x8616 -x8617 -x8618 -x8619 -x8730 -x8731 -x8732 -x8733 -x8846 1800.24 v -x8847 -x8961 -x8962 -x9073 -x9074 -x9075 -x9076 -x9187 -x9188 -x9189 -x9190 -x9191 -x9304 -x9305 -x9306 -x9417 -x9418 1800.24 v -x9420 -x9421 -x9532 -x9533 -x9534 -x9535 -x9536 -x9647 -x9648 -x9649 -x9650 -x9651 -x9762 -x9763 -x9764 -x9765 -x9766 1800.24 v -x9877 -x9878 -x9879 -x9880 -x9881 -x9992 -x9993 -x9994 -x9995 -x9996 -x10108 -x10109 -x10110 -x10111 -x10223 -x10224 1800.24 v -x10225 -x10337 -x10338 -x10339 -x10450 -x10451 -x10452 -x10453 -x10565 -x10566 -x10567 -x10678 -x10679 -x10680 -x10681 1800.24 v -x10792 -x10793 -x10794 -x10795 -x10907 -x10908 -x10909 -x11020 -x11021 -x11022 -x11023 -x11134 -x11136 -x11137 -x3 1800.24 v -x5 -x6 -x117 -x118 -x119 -x120 -x232 -x233 -x234 -x363 -x364 -x365 -x366 -x377 -x379 -x380 -x391 -x392 -x393 -x394 -x405 1800.24 v -x407 -x408 -x419 -x420 -x421 -x422 -x434 -x435 -x436 -x447 -x448 -x449 -x450 -x462 -x464 -x465 -x476 -x477 -x478 -x479 -x490 1800.24 v -x492 -x493 -x504 -x505 -x506 -x507 -x518 -x519 -x520 -x521 -x532 -x533 -x534 -x535 -x546 -x547 -x548 -x549 -x560 -x561 -x562 1800.24 v -x563 -x574 -x575 -x576 -x577 -x588 -x589 -x590 -x591 -x603 -x604 -x605 -x606 -x617 -x618 -x619 -x620 -x631 -x632 -x633 -x635 1800.24 v -x636 -x647 -x648 -x649 -x650 -x651 -x652 -x664 -x666 -x667 -x668 -x679 -x680 -x681 -x682 -x683 -x684 -x695 -x696 -x698 -x699 1800.24 v -x710 -x711 -x712 -x713 -x714 -x725 -x726 -x728 -x729 -x740 -x741 -x742 -x743 -x744 -x756 -x757 -x758 -x759 -x760 -x761 -x762 1800.24 v -x773 -x774 -x776 -x777 -x778 -x779 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x807 -x809 -x810 -x811 -x812 -x813 -x824 -x825 1800.24 v -x826 -x837 -x838 -x839 -x850 -x851 -x852 -x863 -x864 -x865 -x876 -x877 -x878 -x889 -x890 -x891 -x903 -x904 -x905 -x916 -x917 1800.24 v -x918 -x929 -x930 -x931 -x942 -x943 -x944 -x955 -x956 -x957 -x968 -x969 -x970 -x981 -x982 -x983 -x984 -x995 -x996 -x997 -x998 1800.24 v -x1009 -x1010 -x1011 -x1012 -x1023 -x1024 -x1025 -x1026 -x1038 -x1039 -x1040 -x1052 -x1053 -x1065 -x1066 -x1077 -x1078 1800.24 v -x1079 -x1090 -x1091 -x1092 -x1103 -x1104 -x1105 -x1117 -x1118 -x1129 -x1130 -x1131 -x1143 -x1144 -x1155 -x1156 -x1157 1800.24 v -x1170 -x1171 -x1182 -x1183 -x1184 -x1195 -x1196 -x1197 -x1208 -x1209 -x1210 -x1221 -x1222 -x1223 -x1234 -x1235 -x1236 1800.24 v -x1247 -x1248 -x1249 -x1250 -x1251 -x1262 -x1264 -x1266 -x1277 -x1280 -x1281 -x1292 -x1293 -x1294 -x1295 -x1296 -x1308 1800.24 v -x1309 -x1310 -x1311 -x1322 -x1323 -x1324 -x1325 -x1336 -x1337 -x1338 -x1339 -x1350 -x1351 -x1352 -x1353 -x1364 -x1365 1800.24 v -x1366 -x1367 -x1378 -x1379 -x1380 -x1381 -x1392 -x1393 -x1394 -x1395 -x1406 -x1407 -x1408 -x1409 -x1420 -x1421 -x1422 1800.24 v -x1423 -x1424 -x1425 -x1426 -x1438 -x1439 -x1441 -x1442 -x1443 -x1455 -x1457 -x1459 -x1460 -x1461 -x1472 -x1473 -x1474 1800.24 v -x1475 -x1476 -x1477 -x1478 -x1490 -x1492 -x1493 -x1494 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1521 -x1522 -x1523 1800.24 v -x1524 -x1525 -x1526 -x1538 -x1540 -x1541 -x1542 -x1555 -x1556 -x1558 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1587 1800.24 v -x1588 -x1590 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1618 -x1619 -x1620 -x1633 -x1645 -x1646 -x1657 -x1658 -x1659 1800.24 v -x1671 -x1672 -x1673 -x1684 -x1685 -x1686 -x1687 -x1698 -x1701 -x1712 -x1713 -x1714 -x1715 -x1726 -x1727 -x1728 -x1729 1800.24 v -x1743 -x1757 -x1758 -x1759 -x1770 -x1771 -x1772 -x1773 -x1784 -x1786 -x1787 -x1798 -x1799 -x1800 -x1801 -x1813 -x1814 1800.24 v -x1815 -x1826 -x1827 -x1828 -x1829 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1858 -x1859 -x1860 -x1862 -x1874 -x1876 1800.24 v -x1878 -x1879 -x1892 -x1893 -x1894 -x1929 -x1930 -x1932 -x1933 -x1947 -x1951 -x1962 -x1964 -x1968 -x1981 -x1982 -x1983 1800.24 v -x1984 -x2002 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2034 -x2035 -x2047 -x2048 -x2051 -x2052 -x2065 -x2066 1800.24 v -x2068 -x2069 -x2070 -x2083 -x2084 -x2085 -x2087 -x2100 -x2103 -x2104 -x2116 -x2117 -x2118 -x2120 -x2121 -x2133 -x2134 1800.24 v -x2135 -x2136 -x2137 -x2148 -x2149 -x2150 -x2151 -x2152 -x2163 -x2164 -x2166 -x2168 -x2181 -x2182 -x2184 -x2229 -x2230 1800.24 v -x2231 -x2232 -x2233 -x2234 -x2245 -x2246 -x2247 -x2248 -x2249 -x2260 -x2261 -x2262 -x2263 -x2264 -x2275 -x2276 -x2277 1800.24 v -x2278 -x2279 -x2291 -x2292 -x2293 -x2294 -x2306 -x2307 -x2311 -x2325 -x2337 -x2338 -x2339 -x2340 -x2341 -x2352 -x2355 1800.24 v -x2356 -x2357 -x2369 -x2370 -x2371 -x2372 -x2373 -x2384 -x2385 -x2386 -x2387 -x2388 -x2401 -x2403 -x2404 -x2405 -x2417 1800.24 v -x2420 -x2421 -x2435 -x2436 -x2438 -x2449 -x2450 -x2452 -x2463 -x2465 -x2467 -x2479 -x2481 -x2482 -x2495 -x2497 -x2564 1800.24 v -x2565 -x2566 -x2567 -x2568 -x2569 -x2580 -x2581 -x2597 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2627 -x2628 -x2629 1800.24 v -x2630 -x2643 -x2659 -x2660 -x2661 -x2662 -x2674 -x2675 -x2676 -x2677 -x2678 -x2691 -x2705 -x2720 -x2721 -x2722 -x2723 1800.24 v -x2724 -x2725 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2850 -x2863 -x2864 1800.24 v -x2867 -x2879 -x2882 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2926 -x2927 1800.24 v -x2928 -x2929 -x2930 -x2931 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2962 -x2977 -x2992 -x3004 -x3005 -x3006 -x3007 1800.24 v -x3008 -x3022 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3050 -x3051 -x3052 -x3053 -x3054 -x3065 -x3068 -x3069 -x3070 1800.24 v -x3082 -x3084 -x3085 -x3100 -x3116 -x3117 -x3119 -x3131 -x3135 -x3148 -x3149 -x3151 -x3164 -x3165 -x3167 -x266 -x267 -x271 1800.24 v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x281 -x282 -x283 -x286 -x287 -x289 -x293 -x294 -x295 -x296 -x297 -x300 -x301 -x304 1800.24 v -x305 -x308 -x309 -x313 -x315 -x317 -x320 -x322 -x323 -x324 -x325 -x326 -x330 -x334 -x336 -x337 -x338 -x339 -x340 -x341 -x342 1800.24 v -x344 -x345 -x346 -x347 -x348 -x351 -x353 -x354 -x356 -x2443 -x2456 -x2446 -x2447 -x2448 -x2453 -x2454 -x2455 -x2468 -x2457 1800.24 v -x2458 -x2459 -x2460 -x2461 -x2462 -x2475 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2486 -x2476 -x2477 -x2483 -x2484 1800.24 v -x2485 -x2492 -x2487 -x2488 -x2489 -x2490 -x2491 -x2503 -x2504 -x2505 -x2498 -x2499 -x2500 -x2501 -x2502 -x2512 -x2513 1800.24 v -x2514 -x2515 -x2506 -x2507 -x2509 -x2510 -x2511 -x2524 -x2525 -x2526 -x2516 -x2517 -x2521 -x2522 -x2533 -x2534 -x2535 1800.24 v -x2536 -x2527 -x2528 -x2530 -x2532 -x2543 -x2544 -x2545 -x2546 -x2538 -x2539 -x2540 -x2541 -x2552 -x2554 -x2555 -x2556 1800.24 v -x2547 -x2548 -x2549 -x2550 -x2551 -x2562 -x2563 -x2570 -x2571 -x2557 -x2558 -x2559 -x2560 -x2561 -x2577 -x2578 -x2579 1800.24 v -x2585 -x2572 -x2573 -x2574 -x2575 -x2576 -x2588 -x2589 -x2590 -x2591 -x2586 -x2587 -x2592 -x2593 -x2594 -x2600 -x2441 1800.24 v -x2440 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 1800.24 v -x2623 -x2624 -x2625 -x2632 -x2531 -x2542 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2647 -x2648 1800.24 v -x2649 -x2650 -x2651 -x2652 -x2653 -x2655 -x2656 -x2664 -x2665 -x2666 -x2444 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 1800.24 v -x2673 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 1800.24 v -x2701 -x2702 -x2703 -x2704 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2442 -x2719 -x2726 -x2727 1800.24 v -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2752 1800.24 v -x2747 -x2748 -x2753 -x2754 -x2755 -x2756 -x2757 -x2760 -x2761 -x2765 -x2766 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 1800.24 v -x2781 -x2774 -x2778 -x2779 -x2780 -x2786 -x2782 -x2783 -x2784 -x2785 -x2794 -x2787 -x2791 -x2792 -x2793 -x2799 -x2795 1800.24 v -x2796 -x2797 -x2798 -x2808 -x2800 -x2805 -x2806 -x2807 -x2812 -x2813 -x2809 -x2810 -x2811 -x2823 -x2824 -x2825 -x2814 1800.24 v -x2821 -x2822 -x2829 -x2830 -x2837 -x2826 -x2827 -x2828 -x2841 -x2842 -x2843 -x2838 -x2839 -x2840 -x2853 -x2854 -x2855 1800.24 v -x2844 -x2845 -x2846 -x2859 -x2860 -x2861 -x2856 -x2857 -x2858 -x2871 -x2872 -x2873 -x2862 -x2869 -x2870 -x2877 -x2878 1800.24 v -x2884 -x2874 -x2875 -x2876 -x2886 -x2887 -x2888 -x2885 -x2889 -x2890 -x2891 -x2892 -x2893 -x2900 -x2901 -x2902 -x2903 1800.24 v -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2932 1800.24 v -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 1800.24 v -x2956 -x2957 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2979 -x2980 -x2981 -x2982 -x2983 1800.24 v -x2984 -x2985 -x2986 -x2987 -x2988 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3012 -x3009 1800.24 v -x3010 -x3011 -x3016 -x3013 -x3014 -x3015 -x3025 -x3017 -x3018 -x3024 -x3029 -x3026 -x3027 -x3028 -x3030 -x3031 -x3043 1800.24 v -x3044 -x3040 -x3041 -x3042 -x3048 -x3049 -x3055 -x3045 -x3046 -x3047 -x3057 -x3058 -x3059 -x3056 -x3060 -x3061 -x3062 1800.24 v -x3063 -x3064 -x3072 -x3073 -x3075 -x3078 -x3079 -x3080 -x3081 -x3088 -x3089 -x3093 -x3090 -x3091 -x3092 -x3097 -x3094 1800.24 v -x3095 -x3096 -x3107 -x3104 -x3105 -x3106 -x3111 -x3108 -x3109 -x3110 -x3112 -x3113 -x3126 -x3127 -x3123 -x3124 -x3125 1800.24 v -x3137 -x3138 -x3139 -x3128 -x3129 -x3130 -x3141 -x3142 -x3143 -x3140 -x3144 -x3145 -x3146 -x3153 -x3154 -x3155 -x3157 1800.24 v -x3158 -x3159 -x3160 -x3161 -x3162 -x3169 -x3170 -x3171 -x3172 -x3176 -x3173 -x3174 -x3175 -x3181 -x3177 -x3178 -x3180 1800.24 v -x3185 -x3182 -x3183 -x3184 -x3189 -x3186 -x3187 -x3188 -x3192 -x3193 -x3198 -x3199 -x3195 -x3196 -x3197 -x3204 -x3205 1800.24 v -x3206 -x3200 -x3202 -x3203 -x3208 -x3209 -x3210 -x3207 -x3211 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 1800.24 v -x3225 -x3222 -x3227 -x3228 -x3229 -x3230 -x3235 -x3236 -x3231 -x3232 -x3233 -x3239 -x3240 -x3237 -x3238 -x3244 -x3248 1800.24 v -x3242 -x3251 -x3252 -x3250 -x3255 -x3256 -x3253 -x3254 -x3260 -x3261 -x3257 -x3259 -x3262 -x3263 -x3265 -x3264 -x3267 1800.24 v -x3272 -x3270 -x3271 -x3274 -x3273 -x3276 -x3275 -x3278 -x3277 -x3282 -x3279 -x3281 -x3284 -x3283 -x3285 -x3286 -x3287 1800.24 v -x3288 -x3289 -x3294 -x3295 -x3290 -x3292 -x3293 -x3298 -x3299 -x3296 -x3297 -x3304 -x3305 -x3303 -x3308 -x3309 -x3306 1800.24 v -x3307 -x3312 -x3314 -x3310 -x3311 -x3317 -x3318 -x3315 -x3316 -x3319 -x3320 -x3322 -x3321 -x3325 -x3329 -x3327 -x3328 1800.24 v -x3331 -x3330 -x3333 -x3332 -x3336 -x3334 -x3339 -x3337 -x3338 -x3341 -x3340 -x3342 -x3343 -x3344 -x3345 -x3347 -x3351 1800.24 v -x3352 -x3348 -x3349 -x3350 -x3355 -x3356 -x3353 -x3354 -x3362 -x3363 -x3361 -x3366 -x3367 -x3364 -x3365 -x3371 -x3368 1800.24 v -x3370 -x3374 -x3375 -x3372 -x3373 -x3376 -x3377 -x3383 -x3382 -x3386 -x3384 -x3385 -x3388 -x3387 -x3392 -x3389 -x3390 1800.24 v -x3395 -x3393 -x3394 -x3398 -x3396 -x3397 -x3400 -x3399 -x3401 -x3403 -x3404 -x3405 -x3406 -x3410 -x3411 -x3407 -x3408 1800.24 v -x3409 -x3416 -x3417 -x3412 -x3414 -x3415 -x3421 -x3422 -x3418 -x3419 -x3420 -x3427 -x3428 -x3423 -x3425 -x3426 -x3432 1800.24 v -x3433 -x3429 -x3430 -x3431 -x3438 -x3439 -x3434 -x3436 -x3437 -x3443 -x3444 -x3440 -x3441 -x3442 -x3445 -x3447 -x3449 1800.24 v -x3448 -x3451 -x3450 -x3453 -x3452 -x3455 -x3454 -x3458 -x3456 -x3461 -x3462 -x3459 -x3460 -x3466 -x3467 -x3463 -x3464 1800.24 v -x3465 -x3473 -x3474 -x3470 -x3471 -x3472 -x3477 -x3478 -x3475 -x3476 -x3482 -x3483 -x3479 -x3481 -x3486 -x3487 -x3484 1800.24 v -x3485 -x3490 -x3492 -x3493 -x3488 -x3489 -x3496 -x3497 -x3498 -x3494 -x3495 -x3499 -x3501 -x3504 -x3505 -x3507 -x3506 1800.24 v -x3510 -x3508 -x3509 -x3514 -x3511 -x3512 -x3517 -x3515 -x3516 -x3520 -x3518 -x3519 -x3522 -x3521 -x3525 -x3523 -x3528 1800.24 v -x3526 -x3527 -x3531 -x3529 -x3530 -x3534 -x3532 -x3533 -x3538 -x3536 -x3537 -x3540 -x3539 -x3542 -x3541 -x3544 -x3545 1800.24 v -x3547 -x3550 -x3548 -x3549 -x3553 -x3551 -x3552 -x3556 -x3554 -x3555 -x3560 -x3558 -x3559 -x3563 -x3561 -x3562 -x3564 1800.24 v -x3565 -x3566 -x3567 -x3572 -x3569 -x3570 -x3571 -x3576 -x3573 -x3574 -x3575 -x3582 -x3577 -x3578 -x3581 -x3586 -x3583 1800.24 v -x3584 -x3585 -x3589 -x3587 -x3588 -x3592 -x3590 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3603 1800.24 v -x3606 -x3604 -x3605 -x3609 -x3607 -x3608 -x3612 -x3610 -x3611 -x3616 -x3614 -x3615 -x3619 -x3617 -x3618 -x3621 -x3620 1800.24 v -x3622 -x3623 -x3625 -x3628 -x3626 -x3627 -x3631 -x3632 -x3629 -x3630 -x3636 -x3637 -x3633 -x3634 -x3640 -x3641 -x3638 1800.24 v -x3639 -x3644 -x3645 -x3642 -x3643 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3658 -x3659 1800.24 v -x3663 -x3664 -x3660 -x3661 -x3662 -x3667 -x3669 -x3665 -x3666 -x3670 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 1800.24 v -x3671 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3692 -x3680 -x3694 -x3695 -x3696 -x3697 -x3698 1800.24 v -x3693 -x3699 -x3700 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3701 -x3709 -x3710 -x3712 -x3714 -x3715 -x3716 -x3717 1800.24 v -x3718 -x3711 -x3719 -x3720 -x3722 -x3723 -x3725 -x3726 -x3727 -x3728 -x3721 -x3729 -x3730 -x3732 -x3733 -x3734 -x3736 1800.24 v -x3737 -x3738 -x3731 -x3739 -x3742 -x3743 -x3745 -x3741 -x3749 -x3750 -x3751 -x3752 -x3747 -x3748 -x3755 -x3756 -x3758 1800.24 v -x3759 -x3753 -x3754 -x3762 -x3763 -x3764 -x3765 -x3760 -x3761 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3766 -x3767 1800.24 v -x3777 -x3778 -x3780 -x3781 -x3775 -x3776 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3782 -x3783 -x3793 -x3794 -x3795 1800.24 v -x3796 -x3791 -x3792 -x3799 -x3800 -x3803 -x3804 -x3805 -x3806 -x3797 -x3798 -x2736 -x3809 -x3810 -x3811 -x3812 -x3814 1800.24 v -x3815 -x3807 -x3808 -x3820 -x3821 -x3816 -x3817 -x3818 -x3819 -x3827 -x3828 -x3829 -x3830 -x3822 -x3823 -x3825 -x3826 1800.24 v -x3836 -x3837 -x3838 -x3839 -x3831 -x3832 -x3833 -x3834 -x3844 -x3845 -x3847 -x3848 -x3840 -x3841 -x3842 -x3843 -x3853 1800.24 v -x3854 -x3855 -x3856 -x3849 -x3850 -x3851 -x3852 -x3862 -x3863 -x3864 -x3865 -x3858 -x3859 -x3860 -x3861 -x3871 -x3872 1800.24 v -x3873 -x3874 -x3866 -x3867 -x3869 -x3870 -x3880 -x3881 -x3875 -x3876 -x3877 -x3878 -x3886 -x3887 -x3882 -x3883 -x3884 1800.24 v -x3885 -x2749 -x2750 -x3893 -x3894 -x3888 -x3889 -x3891 -x3892 -x3899 -x3900 -x3895 -x3896 -x3897 -x3898 -x3906 -x3907 1800.24 v -x3908 -x3902 -x3903 -x3904 -x3905 -x3915 -x3916 -x3917 -x3909 -x3910 -x3911 -x3914 -x3922 -x3923 -x3925 -x3918 -x3919 1800.24 v -x3920 -x3921 -x3930 -x3931 -x3932 -x3926 -x3927 -x3928 -x3929 -x3938 -x3939 -x3933 -x3934 -x3936 -x3937 -x3944 -x3945 1800.24 v -x3940 -x3941 -x3942 -x3943 -x3951 -x3952 -x3947 -x3948 -x3949 -x3950 -x3958 -x3959 -x3953 -x3954 -x3955 -x3956 -x3964 1800.24 v -x3965 -x3960 -x3961 -x3962 -x3963 -x3971 -x3972 -x3966 -x3967 -x3969 -x3970 -x3977 -x3978 -x3973 -x3974 -x3975 -x3976 1800.24 v -x3982 -x3983 -x3980 -x3981 -x3984 -x3985 -x3987 -x3986 -x3991 -x3988 -x3989 -x3995 -x3996 -x3992 -x3993 -x3994 -x3998 1800.24 v -x3999 -x3997 -x4003 -x4004 -x4000 -x4002 -x4007 -x4008 -x4005 -x4006 -x4015 -x4016 -x4009 -x4010 -x4011 -x4013 -x4014 1800.24 v -x4022 -x4025 -x4017 -x4018 -x4019 -x4020 -x4021 -x4032 -x4033 -x4034 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4041 1800.24 v -x4043 -x4036 -x4037 -x4038 -x4040 -x4051 -x4052 -x4053 -x4044 -x4045 -x4047 -x4049 -x4050 -x4060 -x4061 -x4062 -x4054 1800.24 v -x4055 -x4056 -x4059 -x4069 -x4070 -x4063 -x4064 -x4066 -x4067 -x4076 -x4077 -x4071 -x4072 -x4073 -x4075 -x4084 -x4085 1800.24 v -x4078 -x4080 -x4082 -x4083 -x2788 -x4092 -x4093 -x4086 -x4087 -x4088 -x4091 -x4099 -x4100 -x4094 -x4095 -x4096 -x4097 1800.24 v -x4098 -x4106 -x4107 -x4102 -x4103 -x4104 -x4105 -x4113 -x4114 -x4108 -x4109 -x4110 -x4111 -x4119 -x4120 -x4115 -x4116 1800.24 v -x4117 -x4118 -x4126 -x4127 -x4121 -x4122 -x4124 -x4125 -x4132 -x4133 -x4128 -x4129 -x4130 -x4131 -x4137 -x4138 -x4136 1800.24 v -x4140 -x4141 -x4142 -x4143 -x4139 -x4145 -x4147 -x4148 -x4149 -x4144 -x4151 -x4152 -x4153 -x4154 -x4150 -x4158 -x4159 1800.24 v -x4155 -x4156 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4172 -x4173 -x4166 -x4167 -x4169 -x4170 -x4171 -x4180 -x4181 1800.24 v -x4174 -x4175 -x4176 -x4177 -x4178 -x4186 -x4187 -x4182 -x4183 -x4184 -x4185 -x4194 -x4195 -x4196 -x4188 -x4189 -x4191 1800.24 v -x4192 -x4193 -x4203 -x4204 -x4205 -x4197 -x4198 -x4199 -x4200 -x4202 -x4209 -x4210 -x4211 -x4206 -x4207 -x4208 -x4215 1800.24 v -x4216 -x4217 -x4213 -x4214 -x4220 -x4221 -x4222 -x4218 -x4219 -x4226 -x4227 -x4228 -x4224 -x4225 -x4231 -x4232 -x4233 1800.24 v -x4229 -x4230 -x4237 -x4238 -x4239 -x4235 -x4236 -x4240 -x4241 -x4242 -x4243 -x4244 -x4247 -x4248 -x4250 -x4256 -x4252 1800.24 v -x4253 -x4255 -x4262 -x4258 -x4259 -x4261 -x4269 -x4263 -x4264 -x4265 -x4267 -x4275 -x4270 -x4271 -x4272 -x4274 -x4282 1800.24 v -x4276 -x4277 -x4278 -x4281 -x4288 -x4283 -x4284 -x4285 -x4286 -x4287 -x4296 -x4289 -x4291 -x4292 -x4293 -x4294 -x4295 1800.24 v -x4304 -x4297 -x4298 -x4299 -x4300 -x4302 -x4303 -x4313 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4322 -x4314 1800.24 v -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4333 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 1800.24 v -x4344 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4355 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 1800.24 v -x4352 -x4353 -x4354 -x4367 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4377 -x4368 -x4370 -x4371 -x4372 1800.24 v -x4373 -x4374 -x4375 -x4376 -x4387 -x4378 -x4379 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4397 -x4388 -x4389 -x4390 1800.24 v -x4392 -x4393 -x4394 -x4395 -x4396 -x4407 -x4398 -x4399 -x4400 -x4401 -x4403 -x4404 -x4405 -x4406 -x4415 -x4408 -x4409 1800.24 v -x4410 -x4411 -x4412 -x4414 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4425 -x4426 -x4427 -x4428 -x4429 1800.24 v -x4430 -x4431 -x4432 -x4433 -x4434 -x4436 -x4437 -x4442 -x4443 -x4438 -x4439 -x4440 -x4441 -x4449 -x4450 -x4444 -x4445 1800.24 v -x4447 -x4448 -x4455 -x4456 -x4458 -x4451 -x4452 -x4453 -x4454 -x4463 -x4464 -x4465 -x4459 -x4460 -x4461 -x4462 -x4472 1800.24 v -x4473 -x4474 -x4466 -x4467 -x4470 -x4471 -x4479 -x4481 -x4482 -x4475 -x4476 -x4477 -x4478 -x4487 -x4488 -x4489 -x4483 1800.24 v -x4484 -x4485 -x4486 -x4494 -x4495 -x4496 -x4490 -x4492 -x4493 -x4500 -x4501 -x4503 -x4497 -x4498 -x4499 -x4504 -x4505 1800.24 v -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 1800.24 v -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 1800.24 v -x4543 -x4544 -x4545 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4558 -x4561 -x4559 -x4560 1800.24 v -x4565 -x4562 -x4563 -x4564 -x4569 -x4566 -x4567 -x4572 -x4570 -x4571 -x4574 -x4573 -x4577 -x4575 -x4576 -x4578 -x4581 1800.24 v -x4583 -x4582 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 1800.24 v -x4600 -x4601 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4610 -x4611 -x4612 -x4609 -x4614 -x4616 -x4617 -x4618 -x4619 1800.24 v -x4620 -x4621 -x4622 -x4615 -x4625 -x4626 -x4627 -x4628 -x4629 -x4623 -x4632 -x4633 -x4631 -x4638 -x4639 -x4640 -x4636 1800.24 v -x4637 -x4643 -x4644 -x4641 -x4642 -x4648 -x4649 -x4645 -x4647 -x4652 -x4653 -x4650 -x4651 -x4656 -x4658 -x4654 -x4655 1800.24 v -x4661 -x4662 -x4659 -x4660 -x4665 -x4666 -x4663 -x4664 -x4667 -x4669 -x4670 -x4671 -x4672 -x4677 -x4678 -x4673 -x4674 1800.24 v -x4675 -x4676 -x4684 -x4685 -x4680 -x4681 -x4682 -x4683 -x4692 -x4693 -x4686 -x4687 -x4688 -x4689 -x4698 -x4699 -x4694 1800.24 v -x4695 -x4696 -x4697 -x4705 -x4706 -x4700 -x4701 -x4703 -x4704 -x4711 -x4712 -x4707 -x4708 -x4709 -x4710 -x4718 -x4719 1800.24 v -x4714 -x4715 -x4716 -x4717 -x4725 -x4726 -x4720 -x4721 -x4722 -x4723 -x4729 -x4730 -x4727 -x4728 -x4731 -x4732 -x4733 1800.24 v -x4734 -x4736 -x4737 -x4744 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4752 -x4745 -x4747 -x4748 -x4749 -x4750 -x4751 1800.24 v -x4760 -x4761 -x4753 -x4754 -x4755 -x4756 -x4758 -x4759 -x4767 -x4769 -x4762 -x4763 -x4764 -x4765 -x4766 -x4775 -x4776 1800.24 v -x4770 -x4771 -x4772 -x4773 -x4774 -x4784 -x4785 -x4786 -x4777 -x4778 -x4780 -x4781 -x4782 -x4783 -x4795 -x4796 -x4797 1800.24 v -x4787 -x4788 -x4789 -x4791 -x4792 -x4793 -x4794 -x4807 -x4808 -x4809 -x4798 -x4799 -x4800 -x4803 -x4804 -x4805 -x4806 1800.24 v -x4817 -x4818 -x4810 -x4811 -x4812 -x4814 -x4815 -x4816 -x4822 -x4823 -x4819 -x4820 -x4821 -x4828 -x4829 -x4825 -x4826 1800.24 v -x4827 -x4833 -x4834 -x4830 -x4831 -x4832 -x4839 -x4840 -x4836 -x4837 -x4838 -x4844 -x4845 -x4841 -x4842 -x4843 -x4847 1800.24 v -x4848 -x4850 -x4851 -x4849 -x4853 -x4854 -x4852 -x4856 -x4858 -x4855 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 1800.24 v -x4866 -x4867 -x4869 -x4877 -x4872 -x4873 -x4874 -x4875 -x4876 -x4885 -x4878 -x4880 -x4881 -x4882 -x4883 -x4884 -x4894 1800.24 v -x4886 -x4887 -x4888 -x4889 -x4891 -x4892 -x4893 -x4902 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4910 -x4903 -x4904 1800.24 v -x4905 -x4906 -x4907 -x4908 -x4909 -x4919 -x4911 -x4914 -x4915 -x4916 -x4917 -x4918 -x4925 -x4920 -x4921 -x4922 -x4923 1800.24 v -x4930 -x4926 -x4927 -x4928 -x4929 -x4936 -x4931 -x4932 -x4933 -x4934 -x4941 -x4937 -x4938 -x4939 -x4940 -x4945 -x4942 1800.24 v -x4943 -x4944 -x4949 -x4947 -x4948 -x4952 -x4950 -x4951 -x4954 -x4953 -x4955 -x4956 -x4958 -x4960 -x4962 -x4963 -x4964 1800.24 v -x4965 -x4966 -x4967 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4980 -x4981 -x4982 -x4983 1800.24 v -x4984 -x4985 -x4986 -x4987 -x4988 -x4991 -x4989 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x5000 -x5002 -x5003 1800.24 v -x4999 -x5004 -x5006 -x5007 -x5005 -x5008 -x5009 -x5011 -x2195 -x5010 -x2206 -x5016 -x2218 -x5017 -x5018 -x5019 -x5020 1800.24 v -x5021 -x5032 -x5033 -x5022 -x5029 -x5030 -x5031 -x5038 -x5040 -x5034 -x5035 -x5036 -x5037 -x5045 -x5046 -x5047 -x5041 1800.24 v -x5042 -x5043 -x5044 -x5052 -x5053 -x5054 -x5048 -x5049 -x5051 -x5058 -x5059 -x5060 -x5055 -x5056 -x5057 -x5062 -x5063 1800.24 v -x5064 -x5065 -x5069 -x5066 -x5067 -x5068 -x5074 -x5070 -x5071 -x5073 -x5079 -x5075 -x5076 -x5077 -x5078 -x5084 -x5080 1800.24 v -x5081 -x5082 -x5090 -x5085 -x5086 -x5087 -x5088 -x5089 -x5097 -x5091 -x5092 -x5093 -x5095 -x5096 -x5102 -x5098 -x5099 1800.24 v -x5100 -x5101 -x5108 -x5103 -x5104 -x5106 -x5107 -x5113 -x5109 -x5110 -x5111 -x5112 -x5119 -x5114 -x5115 -x5117 -x5118 1800.24 v -x5124 -x5120 -x5121 -x5122 -x5123 -x5125 -x5126 -x5129 -x5131 -x5132 -x5134 -x5135 -x5137 -x5144 -x5145 -x5146 -x5147 1800.24 v -x5148 -x5149 -x5150 -x5151 -x5156 -x5152 -x5153 -x5155 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5166 1800.24 v -x5167 -x5168 -x5172 -x5173 -x5174 -x5175 -x5177 -x5181 -x5178 -x5179 -x5180 -x5184 -x5182 -x5183 -x5188 -x5185 -x5186 1800.24 v -x5191 -x5192 -x5189 -x5190 -x5195 -x5196 -x5193 -x5194 -x5197 -x5199 -x5200 -x5201 -x5205 -x5202 -x5203 -x5204 -x5210 1800.24 v -x5206 -x5207 -x5208 -x5214 -x5211 -x5212 -x5213 -x5218 -x5215 -x5216 -x5217 -x5223 -x5219 -x5221 -x5222 -x5227 -x5228 1800.24 v -x5224 -x5225 -x5226 -x5233 -x5234 -x5229 -x5230 -x5232 -x5238 -x5239 -x5235 -x5236 -x5237 -x5244 -x5245 -x5240 -x5241 1800.24 v -x5243 -x5249 -x5250 -x5251 -x5252 -x5246 -x5247 -x5248 -x5262 -x5263 -x5264 -x5265 -x5259 -x5260 -x5261 -x5270 -x5271 1800.24 v -x5272 -x5273 -x5266 -x5267 -x5268 -x5277 -x5278 -x5279 -x5281 -x5274 -x5275 -x5276 -x5285 -x5286 -x5287 -x5288 -x5282 1800.24 v -x5283 -x5284 -x5293 -x5294 -x5295 -x5296 -x5289 -x5290 -x5292 -x5300 -x5301 -x5303 -x5304 -x5297 -x5298 -x5299 -x5306 1800.24 v -x5307 -x5308 -x5309 -x5305 -x5310 -x5311 -x5316 -x5312 -x5314 -x5315 -x5320 -x5317 -x5318 -x5319 -x5323 -x5321 -x5322 1800.24 v -x5326 -x5325 -x5327 -x5328 -x5331 -x5329 -x5330 -x5332 -x5333 -x5334 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 1800.24 v -x5343 -x5344 -x5345 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5358 -x5362 -x5359 -x5360 1800.24 v -x5361 -x5365 -x5363 -x5364 -x5374 -x5366 -x5367 -x5377 -x5375 -x5376 -x5380 -x5378 -x5379 -x5383 -x5381 -x5382 -x5386 1800.24 v -x5385 -x5388 -x5387 -x5390 -x5389 -x5392 -x5391 -x5394 -x5393 -x5397 -x5396 -x5399 -x5398 -x5401 -x5400 -x5403 -x5402 1800.24 v -x5405 -x5404 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5418 -x5419 -x5420 -x5421 -x5422 1800.24 v -x5423 -x5424 -x5425 -x5426 -x5427 -x5429 -x5430 -x5431 -x5432 -x5433 -x5435 -x5434 -x5436 -x5437 -x5438 -x5440 -x5441 1800.24 v -x5445 -x5442 -x5443 -x5444 -x5449 -x5446 -x5447 -x5448 -x5454 -x5451 -x5452 -x5453 -x5458 -x5455 -x5456 -x5457 -x5463 1800.24 v -x5459 -x5460 -x5462 -x5467 -x5468 -x5464 -x5465 -x5466 -x5473 -x5474 -x5475 -x5469 -x5470 -x5471 -x5479 -x5480 -x5481 1800.24 v -x5476 -x5477 -x5478 -x5491 -x5492 -x5493 -x5482 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5502 -x5503 -x5504 1800.24 v -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5514 -x5513 -x5516 -x5515 -x5518 -x5517 -x5520 -x5519 -x5522 -x5521 1800.24 v -x5525 -x5524 -x5527 -x5526 -x5529 -x5528 -x5530 -x5531 -x5532 -x5533 -x5535 -x5536 -x5540 -x5537 -x5538 -x5539 -x5544 1800.24 v -x5541 -x5542 -x5543 -x5549 -x5546 -x5547 -x5548 -x5553 -x5550 -x5551 -x5552 -x5558 -x5554 -x5555 -x5557 -x5562 -x5563 1800.24 v -x5559 -x5560 -x5561 -x5568 -x5569 -x5570 -x5564 -x5565 -x5566 -x5574 -x5575 -x5576 -x5571 -x5572 -x5573 -x5579 -x5580 1800.24 v -x5581 -x5577 -x5582 -x5583 -x5584 -x5585 -x5586 -x5590 -x5587 -x5588 -x5593 -x5591 -x5592 -x5594 -x5595 -x5596 -x5597 1800.24 v -x5598 -x5599 -x5607 -x5608 -x5610 -x5609 -x5612 -x5611 -x5614 -x5613 -x5616 -x5615 -x5619 -x5618 -x5621 -x5620 -x5623 1800.24 v -x5622 -x5625 -x5624 -x5626 -x5627 -x5629 -x5630 -x5631 -x5634 -x5632 -x5633 -x5636 -x5635 -x5637 -x5638 -x5640 -x5641 1800.24 v -x5645 -x5642 -x5643 -x5644 -x5649 -x5646 -x5647 -x5648 -x5654 -x5651 -x5652 -x5653 -x5658 -x5655 -x5656 -x5657 -x5663 1800.24 v -x5659 -x5660 -x5662 -x5667 -x5668 -x5664 -x5665 -x5666 -x5673 -x5674 -x5675 -x5669 -x5670 -x5671 -x5679 -x5680 -x5681 1800.24 v -x5676 -x5677 -x5678 -x5686 -x5687 -x5688 -x5682 -x5684 -x5685 -x5692 -x5693 -x5695 -x5696 -x5689 -x5690 -x5691 -x5700 1800.24 v -x5701 -x5702 -x5703 -x5697 -x5698 -x5699 -x5708 -x5709 -x5710 -x5711 -x5704 -x5706 -x5707 -x5713 -x5714 -x5715 -x5723 1800.24 v -x5712 -x5724 -x5726 -x5725 -x5728 -x5727 -x5730 -x5729 -x5732 -x5731 -x5736 -x5734 -x5735 -x5737 -x5738 -x5739 -x5740 1800.24 v -x5741 -x5742 -x5743 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5758 -x5756 -x5757 -x5761 1800.24 v -x5759 -x5760 -x5763 -x5762 -x5765 -x5764 -x5768 -x5767 -x5770 -x5769 -x5772 -x5771 -x5774 -x5773 -x5776 -x5775 -x5779 1800.24 v -x5778 -x5781 -x5780 -x5783 -x5782 -x5784 -x5785 -x5786 -x5787 -x5789 -x5790 -x5791 -x5792 -x5793 -x5796 -x5797 -x5794 1800.24 v -x5795 -x5801 -x5798 -x5800 -x5804 -x5805 -x5807 -x5806 -x5809 -x5808 -x5814 -x5815 -x5812 -x5813 -x5817 -x5820 -x5819 1800.24 v -x5822 -x5823 -x5825 -x5824 -x5826 -x5828 -x5831 -x5830 -x5842 -x5840 -x5841 -x5844 -x5843 -x5845 -x5846 -x5847 -x5851 1800.24 v -x5850 -x5852 -x5855 -x5856 -x5853 -x5854 -x5859 -x5857 -x5858 -x5861 -x5862 -x5864 -x5863 -x5866 -x5865 -x5868 -x5867 1800.24 v -x5869 -x5870 -x5872 -x5873 -x5874 -x5879 -x5875 -x5876 -x5877 -x5878 -x5885 -x5880 -x5881 -x5883 -x5884 -x5889 -x5886 1800.24 v -x5887 -x5888 -x5894 -x5890 -x5891 -x5892 -x5897 -x5898 -x5895 -x5896 -x5901 -x5902 -x5899 -x5900 -x5906 -x5907 -x5903 1800.24 v -x5905 -x5910 -x5911 -x5908 -x5909 -x5912 -x5914 -x5916 -x5913 -x5917 -x5920 -x5921 -x5918 -x5919 -x5924 -x5925 -x5922 1800.24 v -x5923 -x5929 -x5930 -x5927 -x5928 -x5933 -x5934 -x5931 -x5932 -x5938 -x5939 -x5935 -x5936 -x5942 -x5943 -x5940 -x5941 1800.24 v -x5946 -x5947 -x5944 -x5945 -x5958 -x5959 -x5956 -x5957 -x5962 -x5963 -x5960 -x5961 -x5967 -x5968 -x5964 -x5965 -x5971 1800.24 v -x5972 -x5969 -x5970 -x5975 -x5976 -x5973 -x5974 -x5980 -x5981 -x5978 -x5979 -x5984 -x5985 -x5982 -x5983 -x5989 -x5990 1800.24 v -x5986 -x5987 -x5993 -x5994 -x5991 -x5992 -x5997 -x5998 -x6000 -x5995 -x5996 -x6003 -x6004 -x6005 -x6001 -x6002 -x6008 1800.24 v -x6009 -x6011 -x6006 -x6007 -x6014 -x6015 -x6016 -x6012 -x6013 -x6019 -x6020 -x6022 -x6023 -x6017 -x6018 -x6026 -x6027 1800.24 v -x6028 -x6029 -x6024 -x6025 -x6034 -x6035 -x6036 -x6031 -x6039 -x6040 -x6041 -x6042 -x6037 -x6038 -x6044 -x6045 -x6046 1800.24 v -x6047 -x6051 -x6052 -x6048 -x6049 -x6050 -x6057 -x6058 -x6053 -x6055 -x6056 -x6062 -x6063 -x6059 -x6060 -x6061 -x6075 1800.24 v -x6076 -x6064 -x6073 -x6074 -x6080 -x6081 -x6077 -x6078 -x6079 -x6086 -x6087 -x6082 -x6084 -x6085 -x6091 -x6092 -x6088 1800.24 v -x6089 -x6090 -x6097 -x6098 -x6093 -x6095 -x6096 -x6102 -x6103 -x6099 -x6100 -x6101 -x6108 -x6109 -x6104 -x6106 -x6107 1800.24 v -x6113 -x6114 -x6110 -x6111 -x6112 -x6119 -x6120 -x6115 -x6117 -x6118 -x6124 -x6125 -x6121 -x6122 -x6123 -x6130 -x6126 1800.24 v -x6128 -x6129 -x6134 -x6131 -x6132 -x6133 -x6139 -x6135 -x6136 -x6137 -x6143 -x6140 -x6141 -x6142 -x6147 -x6144 -x6145 1800.24 v -x6146 -x6152 -x6148 -x6150 -x6151 -x6156 -x6153 -x6154 -x6155 -x6161 -x6157 -x6158 -x6159 -x6165 -x6162 -x6163 -x6164 1800.24 v -x6169 -x6166 -x6167 -x6168 -x6174 -x6170 -x6172 -x6173 -x6178 -x6179 -x6175 -x6176 -x6177 -x6191 -x6192 -x6180 -x6181 1800.24 v -x6190 -x6196 -x6197 -x6193 -x6194 -x6195 -x6202 -x6203 -x6198 -x6199 -x6201 -x6207 -x6208 -x6204 -x6205 -x6206 -x6209 1800.24 v -x6210 -x6213 -x6212 -x6215 -x6214 -x6217 -x6216 -x6220 -x6218 -x6219 -x6223 -x6221 -x6226 -x6224 -x6225 -x6228 -x6227 1800.24 v -x6230 -x6229 -x6234 -x6231 -x6232 -x6236 -x6235 -x6239 -x6237 -x6238 -x6241 -x6240 -x6245 -x6242 -x6243 -x6249 -x6246 1800.24 v -x6247 -x6248 -x6253 -x6250 -x6251 -x6252 -x6258 -x6254 -x6256 -x6257 -x6262 -x6259 -x6260 -x6261 -x6267 -x6268 -x6263 1800.24 v -x6264 -x6265 -x6272 -x6273 -x6269 -x6270 -x6271 -x6278 -x6279 -x6274 -x6275 -x6276 -x3179 -x3190 -x3201 -x3212 -x3223 1800.24 v -x3234 -x3247 -x3258 -x3269 -x3280 -x3291 -x3302 -x6283 -x6284 -x6280 -x6281 -x6282 -x6289 -x6290 -x6285 -x6286 -x6287 1800.24 v -x6294 -x6295 -x6291 -x6292 -x6293 -x6298 -x6307 -x6296 -x6297 -x6309 -x6308 -x6311 -x6312 -x6310 -x6314 -x6313 -x6316 1800.24 v -x6315 -x6318 -x6319 -x6323 -x6321 -x6322 -x3313 -x3324 -x3335 -x3346 -x3358 -x3369 -x6326 -x6324 -x6325 -x6329 -x6327 1800.24 v -x6331 -x6332 -x6330 -x6334 -x6335 -x6333 -x6337 -x6338 -x6336 -x6340 -x6342 -x6341 -x6343 -x6344 -x6345 -x6346 -x3380 1800.24 v -x3391 -x3402 -x3413 -x3424 -x3435 -x6347 -x6348 -x6349 -x6351 -x6352 -x6353 -x3446 -x3457 -x3469 -x3480 -x3491 -x3502 1800.24 v -x3513 -x3524 -x3535 -x3546 -x3557 -x3568 -x3580 -x3591 -x3602 -x3613 -x3624 -x3635 -x6354 -x6355 -x6356 -x6357 -x6362 1800.24 v -x6358 -x6359 -x6360 -x6366 -x6363 -x6364 -x6365 -x6370 -x6367 -x6368 -x6369 -x6375 -x6371 -x6373 -x6374 -x6379 -x6380 1800.24 v -x6376 -x6377 -x6378 -x6385 -x6381 -x6382 -x6384 -x6388 -x6386 -x6387 -x6391 -x6389 -x6390 -x6395 -x6392 -x6393 -x3646 1800.24 v -x3657 -x3668 -x3679 -x3691 -x3702 -x6396 -x6397 -x6398 -x6399 -x6403 -x6404 -x6400 -x6401 -x6402 -x6409 -x6410 -x6406 1800.24 v -x6407 -x6408 -x6414 -x6411 -x6412 -x6413 -x6415 -x6423 -x6426 -x6424 -x6425 -x6430 -x6427 -x6428 -x6429 -x6436 -x6431 1800.24 v -x6432 -x6434 -x6435 -x6440 -x6437 -x6438 -x6439 -x6443 -x6441 -x6442 -x3713 -x3724 -x3735 -x3746 -x3757 -x3768 -x6447 1800.24 v -x6445 -x6446 -x6450 -x6448 -x6449 -x6453 -x6451 -x6452 -x6457 -x6458 -x6454 -x6456 -x6459 -x6461 -x6460 -x6462 -x6463 1800.24 v -x6464 -x6465 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x3779 -x3790 -x3802 -x3824 -x3835 -x3846 -x3857 -x3868 -x3879 1800.24 v -x3890 -x3901 -x6473 -x6474 -x6475 -x6476 -x6478 -x6479 -x6480 -x3913 -x3924 -x3935 -x3946 -x3957 -x6484 -x6481 -x6482 1800.24 v -x6483 -x6489 -x6485 -x6486 -x6487 -x6493 -x6490 -x6491 -x6492 -x6497 -x6494 -x6495 -x6496 -x6502 -x6498 -x6500 -x6501 1800.24 v -x6506 -x6503 -x6504 -x6505 -x6511 -x6507 -x6508 -x6509 -x6515 -x6516 -x6512 -x6513 -x6514 -x6520 -x6522 -x6517 -x6518 1800.24 v -x6519 -x6527 -x6523 -x6525 -x3979 -x3990 -x4001 -x4012 -x4024 -x4035 -x4046 -x4068 -x6531 -x6539 -x6528 -x6529 -x6530 1800.24 v -x6543 -x6544 -x6540 -x6541 -x6542 -x6548 -x6550 -x6545 -x6546 -x6547 -x6554 -x6555 -x6551 -x6552 -x6553 -x6559 -x6561 1800.24 v -x6556 -x6557 -x6558 -x6565 -x6566 -x6562 -x6563 -x6564 -x6570 -x6572 -x6567 -x6568 -x6569 -x6576 -x6577 -x6573 -x6574 1800.24 v -x6575 -x6581 -x6583 -x6578 -x6579 -x6580 -x6587 -x6588 -x6584 -x6585 -x6586 -x4079 -x4090 -x4101 -x4112 -x4123 -x6592 1800.24 v -x6589 -x6590 -x6591 -x6597 -x6594 -x6595 -x6596 -x6601 -x6598 -x6599 -x6600 -x6606 -x6602 -x6603 -x6605 -x6610 -x6607 1800.24 v -x6608 -x6609 -x6614 -x6611 -x6612 -x6613 -x6619 -x6616 -x6617 -x6618 -x6623 -x6620 -x6621 -x6622 -x6628 -x6624 -x6625 1800.24 v -x6627 -x6632 -x6629 -x6630 -x6631 -x4146 -x4157 -x4168 -x4179 -x4201 -x6636 -x6633 -x6634 -x6635 -x6641 -x6638 -x6639 1800.24 v -x6640 -x6644 -x6642 -x6643 -x6647 -x6645 -x6646 -x6658 -x6656 -x6657 -x6661 -x6659 -x6660 -x6664 -x6662 -x6663 -x6668 1800.24 v -x6665 -x6667 -x6671 -x6669 -x6670 -x6673 -x6672 -x4212 -x4223 -x4234 -x4246 -x4268 -x6674 -x6675 -x6676 -x6678 -x6679 1800.24 v -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x4279 -x4290 1800.24 v -x4301 -x4312 -x4334 -x6697 -x6700 -x6701 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6711 -x6712 -x6713 -x6714 1800.24 v -x6715 -x6716 -x6717 -x4345 -x4358 -x4369 -x4380 -x4402 -x6718 -x6719 -x6720 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 1800.24 v -x6728 -x6729 -x6730 -x4424 -x4435 -x4446 -x4457 -x4469 -x4480 -x4491 -x6731 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 1800.24 v -x6739 -x6740 -x6741 -x6742 -x6744 -x6745 -x6746 -x6747 -x6748 -x4502 -x4513 -x4535 -x4546 -x4557 -x6749 -x6750 -x6751 1800.24 v -x6752 -x6753 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6763 -x6764 -x6762 -x6773 -x6774 -x6772 -x4568 -x4580 1800.24 v -x4591 -x4602 -x4613 -x6776 -x6777 -x6775 -x6779 -x6780 -x6778 -x6783 -x6784 -x6781 -x6787 -x6788 -x6785 -x6786 -x6791 1800.24 v -x6789 -x6790 -x6795 -x6792 -x6794 -x6796 -x6801 -x6799 -x6805 -x6802 -x6808 -x6807 -x4635 -x4646 -x4657 -x4668 -x4679 1800.24 v -x6811 -x6809 -x6810 -x6814 -x6812 -x6813 -x6818 -x6816 -x6817 -x6820 -x6819 -x6821 -x6822 -x6823 -x6824 -x6825 -x6827 1800.24 v -x4702 -x4713 -x4724 -x4735 -x4746 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6836 -x6838 -x4768 -x4779 -x4790 -x4802 1800.24 v -x4813 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6849 -x6854 -x6850 -x6851 -x6852 -x6853 -x6860 1800.24 v -x6855 -x6856 -x6857 -x6858 -x6865 -x6861 -x6862 -x6863 -x6864 -x4835 -x4846 -x4857 -x4868 -x4879 -x6871 -x6866 -x6867 1800.24 v -x6868 -x6869 -x6876 -x6872 -x6873 -x6874 -x6875 -x6890 -x6877 -x6878 -x6879 -x6880 -x6895 -x6891 -x6892 -x6893 -x6894 1800.24 v -x6901 -x6896 -x6897 -x6898 -x6899 -x6906 -x6902 -x6903 -x6904 -x6905 -x6910 -x6907 -x6908 -x6909 -x6912 -x6913 -x6914 1800.24 v -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x4901 -x4913 -x4924 -x4935 -x4946 -x6923 -x6924 -x6925 -x6926 -x6927 1800.24 v -x6928 -x6929 -x4968 -x6930 -x6931 -x5012 -x4979 -x6932 -x6934 -x6935 -x5028 -x4990 -x6936 -x6937 -x6938 -x5039 -x5001 1800.24 v -x6939 -x6940 -x6941 -x5050 -x6942 -x6943 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6956 1800.24 v -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6967 -x6968 -x5061 -x5072 -x5083 -x5116 -x5127 -x5154 1800.24 v -x5165 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6986 1800.24 v -x6987 -x6989 -x6985 -x6991 -x6992 -x6993 -x6994 -x6990 -x5176 -x5198 -x5209 -x5231 -x5242 -x5258 -x6996 -x6997 -x6998 1800.24 v -x7008 -x6995 -x7010 -x7011 -x7012 -x7013 -x7009 -x7014 -x7016 -x7017 -x7015 -x7019 -x7021 -x7022 -x7020 -x7023 -x7026 1800.24 v -x7027 -x7028 -x7030 -x7024 -x7025 -x7033 -x7034 -x7031 -x7032 -x7036 -x7037 -x7035 -x7038 -x7039 -x7041 -x7042 -x7043 1800.24 v -x7044 -x5269 -x5280 -x5313 -x5335 -x5346 -x7045 -x7046 -x7047 -x7048 -x7054 -x7055 -x7050 -x7052 -x7053 -x7059 -x7060 1800.24 v -x7056 -x7057 -x7058 -x7064 -x7065 -x7061 -x7063 -x7066 -x7069 -x7070 -x7067 -x7068 -x7072 -x7074 -x7071 -x7075 -x7076 1800.24 v -x7077 -x7078 -x7079 -x7080 -x5373 -x5384 -x5395 -x5357 -x7081 -x7083 -x7088 -x7085 -x7087 -x7092 -x7089 -x7091 -x7097 1800.24 v -x7093 -x7096 -x7098 -x7099 -x7100 -x7101 -x7102 -x7104 -x7105 -x7107 -x7108 -x7110 -x7111 -x7112 -x7113 -x7115 -x7116 1800.24 v -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7133 -x7132 -x5417 -x5428 -x5439 -x5450 -x5406 -x7135 -x7134 -x7138 -x7137 1800.24 v -x7140 -x7139 -x7142 -x7141 -x7145 -x7143 -x7144 -x7148 -x7146 -x7151 -x7149 -x7150 -x7154 -x7152 -x7153 -x7157 -x7155 1800.24 v -x7156 -x7161 -x7159 -x7160 -x5490 -x5501 -x5512 -x5523 -x5461 -x5472 -x7163 -x7162 -x7166 -x7164 -x7165 -x7168 -x7167 1800.24 v -x7172 -x7170 -x7171 -x7175 -x7173 -x7174 -x7178 -x7176 -x7177 -x7183 -x7179 -x7181 -x7182 -x7187 -x7184 -x7185 -x7186 1800.24 v -x7188 -x7194 -x7192 -x7193 -x5556 -x5567 -x5534 -x5545 -x7196 -x7195 -x7197 -x7198 -x7199 -x7200 -x7201 -x7204 -x7205 1800.24 v -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x5578 -x5589 -x5606 -x5617 -x7212 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 1800.24 v -x7220 -x7221 -x7222 -x7223 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x5650 -x5661 -x5628 -x5639 1800.24 v -x7234 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7251 -x7253 -x7257 -x5694 -x5705 -x5672 -x5683 -x7258 -x7259 -x5744 1800.24 v -x5755 -x5766 -x5722 -x5733 -x7260 -x7261 -x7262 -x7263 -x7268 -x7264 -x7266 -x7267 -x7272 -x7269 -x7270 -x7271 -x7277 1800.24 v -x7273 -x7274 -x7275 -x7281 -x7278 -x7279 -x7280 -x5799 -x5810 -x5821 -x5777 -x5788 -x7285 -x7282 -x7283 -x7284 -x7290 1800.24 v -x7286 -x7288 -x7289 -x7294 -x7291 -x7292 -x7293 -x7299 -x7300 -x7295 -x7296 -x7297 -x7304 -x7305 -x7301 -x7302 -x7303 1800.24 v -x7310 -x7311 -x7306 -x7307 -x7308 -x7316 -x7313 -x7314 -x7321 -x7322 -x7318 -x7319 -x7326 -x7327 -x7324 -x7325 -x7332 1800.24 v -x7333 -x7328 -x7330 -x5871 -x5882 -x5893 -x5838 -x5849 -x5860 -x7337 -x7338 -x7334 -x7335 -x7336 -x7343 -x7344 -x7339 1800.24 v -x7340 -x7341 -x7348 -x7349 -x7345 -x7346 -x7347 -x7358 -x7359 -x7350 -x7351 -x7352 -x7363 -x7364 -x7360 -x7361 -x7362 1800.24 v -x7369 -x7370 -x7365 -x7366 -x7367 -x7374 -x7371 -x7372 -x7373 -x7378 -x7375 -x7376 -x7377 -x7383 -x7380 -x7381 -x7382 1800.24 v -x7387 -x7384 -x7385 -x7386 -x5937 -x5955 -x5966 -x5904 -x5915 -x5926 -x7389 -x7391 -x7396 -x7394 -x7395 -x7400 -x7398 1800.24 v -x7399 -x7405 -x7403 -x7404 -x7409 -x7406 -x7407 -x7414 -x7410 -x7411 -x7413 -x7418 -x7415 -x7416 -x7417 -x7422 -x7419 1800.24 v -x7420 -x7421 -x7426 -x7424 -x7425 -x7429 -x7427 -x7428 -x5999 -x6010 -x6021 -x5977 -x5988 -x7432 -x7430 -x7431 -x7436 1800.24 v -x7433 -x7435 -x7439 -x7437 -x7438 -x7442 -x7440 -x7441 -x7446 -x7443 -x7444 -x7448 -x7447 -x7449 -x7450 -x7451 -x7452 1800.24 v -x7453 -x7454 -x7455 -x7457 -x6072 -x6083 -x6094 -x6032 -x6043 -x6054 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 1800.24 v -x7465 -x7466 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7483 -x6138 -x6149 -x6160 -x6105 1800.24 v -x6116 -x6127 -x7485 -x7487 -x7489 -x7490 -x7491 -x7492 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 1800.24 v -x6211 -x6222 -x6233 -x6171 -x6189 -x6200 -x7503 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x6277 1800.24 v -x6288 -x6306 -x6244 -x6255 -x6266 -x7514 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7527 1800.24 v -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x6317 -x6328 -x7536 -x7538 -x7539 -x7540 -x7542 -x7543 -x7541 1800.24 v -x7545 -x7546 -x7544 -x7549 -x7550 -x7547 -x7552 -x7553 -x7551 -x7555 -x7556 -x7557 -x7561 -x7560 -x6350 -x6339 -x7564 1800.24 v -x7562 -x7563 -x7567 -x7565 -x7566 -x7571 -x7568 -x7569 -x7574 -x7572 -x7573 -x7577 -x7575 -x7576 -x7580 -x7578 -x7579 1800.24 v -x7588 -x7586 -x7587 -x7591 -x7589 -x7590 -x7594 -x7592 -x7593 -x7595 -x6372 -x6361 -x7597 -x7598 -x7599 -x7600 -x7601 1800.24 v -x7602 -x7603 -x7604 -x7605 -x7606 -x6394 -x6383 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 1800.24 v -x6422 -x6405 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7636 -x7637 -x7628 -x7630 -x7631 -x7632 1800.24 v -x7633 -x7634 -x7635 -x7646 -x7647 -x7638 -x7639 -x7641 -x7642 -x7643 -x7644 -x7645 -x7655 -x7656 -x7648 -x7649 -x7650 1800.24 v -x7652 -x7653 -x7654 -x7664 -x7665 -x7666 -x7657 -x7658 -x7659 -x7660 -x7661 -x7663 -x7674 -x7675 -x7676 -x7677 -x7678 1800.24 v -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7686 -x7687 -x7688 -x7689 -x7690 -x7679 -x7680 -x7681 -x7682 -x7683 -x7685 1800.24 v -x7701 -x7702 -x7703 -x7704 -x7705 -x7691 -x7692 -x7693 -x7694 -x7700 -x7711 -x7712 -x7713 -x7714 -x7715 -x7706 -x7707 1800.24 v -x7708 -x7709 -x6444 -x6433 -x7720 -x7722 -x7716 -x7717 -x7718 -x7719 -x7727 -x7728 -x7723 -x7724 -x7725 -x7726 -x7734 1800.24 v -x7735 -x7736 -x7737 -x7729 -x7730 -x7731 -x7733 -x7742 -x7744 -x7745 -x7746 -x7738 -x7739 -x7740 -x7741 -x7751 -x7752 1800.24 v -x7753 -x7755 -x7747 -x7748 -x7749 -x7750 -x7760 -x7761 -x7762 -x7763 -x7764 -x7766 -x7756 -x7757 -x7758 -x7759 -x7771 1800.24 v -x7772 -x7767 -x7768 -x7769 -x7770 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7773 -x7774 -x7775 -x7777 -x7789 -x7790 1800.24 v -x7784 -x7785 -x7786 -x7788 -x7795 -x7796 -x7791 -x7792 -x7793 -x7794 -x6466 -x6455 -x7802 -x7803 -x7797 -x7799 -x7800 1800.24 v -x7801 -x7808 -x7816 -x7804 -x7805 -x7806 -x7807 -x7820 -x7821 -x7817 -x7818 -x7819 -x7825 -x7827 -x7822 -x7823 -x7824 1800.24 v -x7831 -x7832 -x7828 -x7829 -x7830 -x7836 -x7838 -x7833 -x7834 -x7835 -x7842 -x7843 -x7839 -x7840 -x7841 -x7844 -x7845 1800.24 v -x7846 -x7847 -x7849 -x7850 -x7851 -x7852 -x7853 -x7863 -x7854 -x7855 -x7856 -x7857 -x7858 -x7860 -x7861 -x7862 -x7873 1800.24 v -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7871 -x7872 -x6488 -x6477 -x7883 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 1800.24 v -x7880 -x7882 -x7893 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7902 -x7894 -x7895 -x7896 -x7897 -x7898 1800.24 v -x7899 -x7900 -x7901 -x7912 -x7913 -x7915 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7924 -x7931 -x7932 1800.24 v -x7933 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7943 -x7944 -x7945 -x7946 -x7934 -x7935 -x7936 -x7937 1800.24 v -x7938 -x7939 -x7940 -x7942 -x7955 -x7956 -x7957 -x7958 -x7947 -x7948 -x7949 -x7950 -x7951 -x7953 -x7954 -x7967 -x7968 1800.24 v -x7969 -x7970 -x7959 -x7960 -x7961 -x7962 -x7964 -x7965 -x7966 -x7979 -x7980 -x7981 -x7982 -x7971 -x7972 -x7973 -x7975 1800.24 v -x7976 -x7977 -x7978 -x7991 -x7992 -x7993 -x7994 -x7983 -x7984 -x7986 -x7987 -x7988 -x7989 -x7990 -x6510 -x6499 -x8003 1800.24 v -x8004 -x8005 -x8006 -x7995 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8015 -x8016 -x8008 -x8009 -x8010 -x8011 -x8012 1800.24 v -x8013 -x8014 -x8025 -x8017 -x8019 -x8020 -x8021 -x8022 -x8023 -x8035 -x8036 -x8027 -x8028 -x8030 -x8031 -x8032 -x8033 1800.24 v -x8034 -x8050 -x8051 -x8037 -x8038 -x8039 -x8046 -x8047 -x8048 -x8049 -x8060 -x8061 -x8052 -x8053 -x8054 -x8055 -x8057 1800.24 v -x8058 -x8059 -x8070 -x8071 -x8062 -x8063 -x8064 -x8065 -x8066 -x8068 -x8069 -x8080 -x8081 -x8072 -x8073 -x8074 -x8075 1800.24 v -x8076 -x8077 -x8079 -x8090 -x8091 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8099 -x8101 -x8092 -x8093 -x8094 1800.24 v -x8095 -x8096 -x8097 -x8098 -x6549 -x6521 -x6538 -x8109 -x8110 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8119 1800.24 v -x8120 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8129 -x8130 -x8121 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 1800.24 v -x8139 -x8140 -x8131 -x8132 -x8134 -x8135 -x8136 -x8137 -x8138 -x8149 -x8150 -x8141 -x8142 -x8143 -x8145 -x8146 -x8147 1800.24 v -x8148 -x8164 -x8165 -x8166 -x8151 -x8152 -x8153 -x8154 -x8161 -x8162 -x8163 -x8175 -x8176 -x8177 -x8167 -x8168 -x8169 1800.24 v -x8170 -x8172 -x8173 -x8174 -x8186 -x8187 -x8188 -x8178 -x8179 -x8180 -x8181 -x8183 -x8184 -x8185 -x8197 -x8198 -x8199 1800.24 v -x8189 -x8190 -x8191 -x8192 -x8194 -x8195 -x8196 -x8208 -x8209 -x8210 -x8200 -x8201 -x8202 -x8203 -x8205 -x8206 -x8207 1800.24 v -x6582 -x6560 -x6571 -x8219 -x8220 -x8221 -x8211 -x8212 -x8213 -x8214 -x8216 -x8217 -x8218 -x8230 -x8231 -x8232 -x8222 1800.24 v -x8223 -x8224 -x8225 -x8227 -x8228 -x8229 -x8241 -x8242 -x8243 -x8233 -x8234 -x8235 -x8236 -x8238 -x8239 -x8240 -x8252 1800.24 v -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8244 -x8245 -x8246 -x8247 -x8249 -x8250 -x8251 -x8267 -x8268 -x8269 -x8276 1800.24 v -x8277 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8285 -x8287 -x8288 -x8289 -x8278 -x8279 -x8280 -x8281 -x8282 1800.24 v -x8283 -x8284 -x8298 -x8299 -x8300 -x8301 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8310 -x8311 -x8312 -x8313 1800.24 v -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8309 -x8322 -x8323 -x8324 -x8325 -x8314 -x8315 -x8316 -x8317 -x8318 -x8320 1800.24 v -x8321 -x8334 -x8335 -x8336 -x8337 -x8326 -x8327 -x8328 -x8329 -x8331 -x8332 -x8333 -x6626 -x6593 -x6604 -x6615 -x8346 1800.24 v -x8347 -x8348 -x8349 -x8338 -x8339 -x8340 -x8342 -x8343 -x8344 -x8345 -x8358 -x8359 -x8360 -x8361 -x8362 -x8364 -x8365 1800.24 v -x8366 -x8367 -x8350 -x8351 -x8353 -x8354 -x8355 -x8356 -x8357 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 1800.24 v -x8383 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8396 -x8397 -x8398 -x8399 -x8400 -x8402 -x8403 -x8404 -x8405 -x8384 1800.24 v -x8391 -x8392 -x8393 -x8394 -x8395 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8406 -x8407 -x8408 1800.24 v -x8409 -x8410 -x8411 -x8429 -x8430 -x8431 -x8432 -x8433 -x8435 -x8436 -x8437 -x8438 -x8422 -x8424 -x8425 -x8426 -x8427 1800.24 v -x8428 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8460 -x8461 -x8462 1800.24 v -x8463 -x8464 -x8465 -x8466 -x8453 -x8454 -x8455 -x8457 -x8458 -x8459 -x8473 -x8474 -x8475 -x8476 -x8477 -x8479 -x8480 1800.24 v -x8468 -x8469 -x8470 -x8471 -x8472 -x8486 -x8487 -x8488 -x8490 -x8491 -x8492 -x8493 -x8481 -x8482 -x8483 -x8484 -x8485 1800.24 v -x6677 -x6637 -x6655 -x6666 -x8499 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8494 -x8495 -x8496 -x8497 -x8498 -x8517 1800.24 v -x8518 -x8519 -x8512 -x8513 -x8514 -x8515 -x8522 -x8523 -x8524 -x8525 -x8526 -x8528 -x8529 -x8520 -x8521 -x8532 -x8533 1800.24 v -x8534 -x8535 -x8536 -x8530 -x8531 -x8540 -x8541 -x8542 -x8543 -x8544 -x8537 -x8539 -x8547 -x8548 -x8550 -x8551 -x8552 1800.24 v -x8553 -x8554 -x8545 -x8546 -x8557 -x8558 -x8559 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8555 -x8556 -x8568 -x8569 1800.24 v -x8570 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8567 -x8578 -x8579 -x8580 -x8581 -x8583 -x8584 -x8585 -x8586 -x8587 1800.24 v -x6721 -x6688 -x6699 -x6710 -x8588 -x8589 -x8590 -x8591 -x8592 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 1800.24 v -x8602 -x8603 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8627 -x8621 -x8622 -x8623 -x8624 1800.24 v -x8625 -x8626 -x8637 -x8628 -x8629 -x8630 -x8632 -x8633 -x8634 -x8635 -x8636 -x8647 -x8638 -x8639 -x8640 -x8641 -x8643 1800.24 v -x8644 -x8645 -x8646 -x8658 -x8648 -x8649 -x8650 -x8651 -x8652 -x8654 -x8655 -x8656 -x8657 -x8669 -x8659 -x8660 -x8661 1800.24 v -x8662 -x8663 -x8665 -x8666 -x8667 -x8668 -x6743 -x6732 -x8680 -x8670 -x8671 -x8672 -x8673 -x8674 -x8676 -x8677 -x8678 1800.24 v -x8679 -x8692 -x8681 -x8682 -x8683 -x8684 -x8685 -x8687 -x8688 -x8689 -x8690 -x8691 -x8704 -x8693 -x8694 -x8695 -x8696 1800.24 v -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8716 -x8705 -x8706 -x8707 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 1800.24 v -x8728 -x8717 -x8718 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8743 -x8729 -x8735 -x8736 -x8737 -x8738 1800.24 v -x8739 -x8740 -x8741 -x8742 -x8754 -x8744 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8765 -x8755 -x8757 1800.24 v -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8776 -x8766 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 1800.24 v -x8787 -x8777 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x6754 -x6771 -x8797 -x8788 -x8790 -x8791 -x8792 1800.24 v -x8793 -x8794 -x8795 -x8796 -x8806 -x8798 -x8799 -x8801 -x8802 -x8803 -x8804 -x8805 -x8815 -x8807 -x8808 -x8809 -x8810 1800.24 v -x8812 -x8813 -x8814 -x8824 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8823 -x8832 -x8825 -x8826 -x8827 -x8828 -x8829 1800.24 v -x8830 -x8831 -x8841 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8854 -x8842 -x8843 -x8849 -x8850 -x8851 -x8852 1800.24 v -x8853 -x8862 -x8863 -x8855 -x8856 -x8857 -x8858 -x8860 -x8861 -x8868 -x8869 -x8864 -x8865 -x8866 -x8867 -x8875 -x8876 1800.24 v -x8871 -x8872 -x8873 -x8874 -x6782 -x6793 -x8884 -x8885 -x8877 -x8878 -x8879 -x8880 -x8882 -x8883 -x8893 -x8894 -x8886 1800.24 v -x8887 -x8888 -x8889 -x8890 -x8891 -x8901 -x8902 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8910 -x8911 -x8904 -x8905 1800.24 v -x8906 -x8907 -x8908 -x8909 -x8919 -x8912 -x8913 -x8915 -x8916 -x8917 -x8918 -x8924 -x8920 -x8921 -x8922 -x8923 -x8928 1800.24 v -x8926 -x8927 -x8929 -x8930 -x8931 -x8932 -x6804 -x6815 -x8934 -x8933 -x8937 -x8935 -x8939 -x8938 -x8941 -x8942 -x8940 1800.24 v -x8944 -x8945 -x8943 -x8949 -x8950 -x8946 -x8948 -x8954 -x8955 -x8956 -x8951 -x8952 -x8953 -x8964 -x8965 -x8966 -x8967 1800.24 v -x8957 -x8969 -x8970 -x8971 -x8968 -x8973 -x8975 -x8976 -x8972 -x6826 -x6837 -x8978 -x8979 -x8980 -x8977 -x8982 -x8983 1800.24 v -x8984 -x8981 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8997 -x8998 -x8999 -x9000 -x9001 1800.24 v -x9002 -x9003 -x9004 -x9005 -x9006 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9019 -x6870 1800.24 v -x6848 -x6859 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 1800.24 v -x9036 -x9037 -x9038 -x9039 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9052 -x9053 -x9054 1800.24 v -x9055 -x9056 -x9057 -x9058 -x9059 -x9061 -x9063 -x9064 -x9065 -x9067 -x6911 -x6889 -x6900 -x9068 -x9069 -x9071 -x9072 1800.24 v -x9078 -x9079 -x9081 -x9082 -x9083 -x9084 -x9086 -x9087 -x9089 -x9090 -x9092 -x9098 -x9093 -x9094 -x9096 -x9097 -x9105 1800.24 v -x9106 -x9100 -x9101 -x9102 -x9103 -x9104 -x9113 -x9114 -x9115 -x9107 -x9108 -x9109 -x9111 -x9112 -x9122 -x9123 -x9116 1800.24 v -x9117 -x9118 -x9119 -x9120 -x9129 -x9124 -x9125 -x9126 -x9127 -x9128 -x9137 -x9138 -x9139 -x9130 -x9131 -x9133 -x9134 1800.24 v -x9135 -x9136 -x6933 -x6922 -x9146 -x9140 -x9141 -x9142 -x9144 -x9145 -x9153 -x9155 -x9156 -x9147 -x9148 -x9149 -x9150 1800.24 v -x9151 -x9152 -x9163 -x9164 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9171 -x9172 -x9173 -x9166 -x9167 -x9168 -x9169 1800.24 v -x9170 -x9180 -x9181 -x9182 -x9174 -x9175 -x9177 -x9178 -x9179 -x9194 -x9195 -x9183 -x9184 -x9185 -x9186 -x9193 -x9201 1800.24 v -x9202 -x9204 -x9196 -x9197 -x9198 -x9199 -x9200 -x9210 -x9211 -x9205 -x9206 -x9207 -x9208 -x9209 -x9217 -x9218 -x9219 1800.24 v -x9212 -x9213 -x9215 -x9216 -x9224 -x9220 -x9221 -x9222 -x9223 -x6944 -x9230 -x9231 -x9232 -x9226 -x9227 -x9228 -x9229 1800.24 v -x9237 -x9238 -x9239 -x9233 -x9234 -x9235 -x9242 -x9240 -x9241 -x9245 -x9243 -x9244 -x9249 -x9246 -x9248 -x9252 -x9250 1800.24 v -x9251 -x9255 -x9253 -x9254 -x9259 -x9260 -x9256 -x9257 -x9263 -x9264 -x9265 -x9261 -x9262 -x9268 -x9270 -x9271 -x9266 1800.24 v -x9267 -x6955 -x9274 -x9275 -x9276 -x9272 -x9273 -x9279 -x9281 -x9282 -x9277 -x9278 -x9285 -x9286 -x9287 -x9283 -x9284 1800.24 v -x9290 -x9292 -x9293 -x9288 -x9289 -x9296 -x9297 -x9298 -x9294 -x9295 -x9301 -x9308 -x9309 -x9299 -x9300 -x9312 -x9313 1800.24 v -x9314 -x9310 -x9311 -x9317 -x9319 -x9320 -x9315 -x9316 -x9323 -x9324 -x9325 -x9321 -x9322 -x9328 -x9330 -x9331 -x9326 1800.24 v -x9327 -x9334 -x9335 -x9336 -x9332 -x9333 -x9339 -x9341 -x9342 -x9337 -x9338 -x9345 -x9346 -x9347 -x9343 -x9344 -x9348 1800.24 v -x9349 -x9350 -x9352 -x9353 -x9354 -x9355 -x9363 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9370 -x9364 -x9365 -x9366 1800.24 v -x9367 -x9368 -x9369 -x9371 -x9372 -x9374 -x9376 -x9385 -x9378 -x9379 -x9380 -x9381 -x9383 -x9392 -x9386 -x9387 -x9388 1800.24 v -x9389 -x9391 -x9400 -x9393 -x9394 -x9396 -x9397 -x9399 -x6977 -x6988 -x7007 -x6966 -x9408 -x9401 -x9402 -x9403 -x9404 1800.24 v -x9407 -x9415 -x9409 -x9410 -x9411 -x9412 -x9414 -x9428 -x9416 -x9423 -x9424 -x9425 -x9427 -x9436 -x9429 -x9430 -x9431 1800.24 v -x9432 -x9435 -x9442 -x9437 -x9438 -x9439 -x9441 -x9449 -x9443 -x9445 -x9446 -x9448 -x9454 -x9450 -x9451 -x9453 -x9461 1800.24 v -x9456 -x9457 -x9458 -x9460 -x9468 -x9462 -x9463 -x9464 -x9465 -x9467 -x9475 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 1800.24 v -x7018 -x7051 -x9483 -x9476 -x9478 -x9479 -x9480 -x9481 -x9482 -x9491 -x9484 -x9485 -x9486 -x9487 -x9489 -x9490 -x9498 1800.24 v -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9506 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9513 -x9507 -x9508 -x9509 1800.24 v -x9511 -x9512 -x9519 -x9514 -x9515 -x9516 -x9517 -x9518 -x9527 -x9520 -x9522 -x9523 -x9524 -x9525 -x9526 -x9540 -x9528 1800.24 v -x9529 -x9530 -x9531 -x9538 -x9539 -x9547 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9554 -x9549 -x9550 -x9551 -x9552 1800.24 v -x9553 -x7062 -x7095 -x7106 -x7125 -x7136 -x7084 -x9561 -x9555 -x9556 -x9557 -x9558 -x9560 -x9567 -x9562 -x9563 -x9564 1800.24 v -x9565 -x9566 -x9574 -x9568 -x9569 -x9571 -x9572 -x9573 -x9580 -x9575 -x9576 -x9577 -x9578 -x9579 -x9586 -x9582 -x9583 1800.24 v -x9584 -x9585 -x9591 -x9587 -x9588 -x9589 -x9590 -x9597 -x9593 -x9594 -x9595 -x9596 -x9601 -x9598 -x9599 -x9600 -x9606 1800.24 v -x9602 -x9604 -x9605 -x9608 -x9607 -x7147 -x7158 -x7169 -x7180 -x7191 -x7202 -x7213 -x9611 -x9609 -x9610 -x9615 -x9612 1800.24 v -x9613 -x9618 -x9616 -x9617 -x9621 -x9619 -x9620 -x9624 -x9622 -x9623 -x9628 -x9629 -x9626 -x9627 -x9632 -x9633 -x9630 1800.24 v -x9631 -x9635 -x9637 -x9634 -x9639 -x9640 -x9641 -x9638 -x9643 -x9644 -x9645 -x9642 -x7224 -x7243 -x7254 -x7265 -x9653 1800.24 v -x9654 -x9655 -x9646 -x9657 -x9658 -x9659 -x9656 -x9662 -x9664 -x9665 -x9660 -x9661 -x9668 -x9669 -x9670 -x9671 -x9666 1800.24 v -x9667 -x9675 -x9676 -x9677 -x9678 -x9672 -x9673 -x9681 -x9682 -x9683 -x9684 -x9679 -x9680 -x9688 -x9689 -x9690 -x9691 1800.24 v -x9686 -x9687 -x9694 -x9695 -x9697 -x9698 -x9692 -x9693 -x9701 -x9702 -x9703 -x9704 -x9699 -x9700 -x9708 -x9709 -x9710 1800.24 v -x9711 -x9705 -x9706 -x7342 -x7287 -x7298 -x7309 -x7320 -x7331 -x9714 -x9715 -x9716 -x9717 -x9712 -x9713 -x9721 -x9722 1800.24 v -x9723 -x9724 -x9719 -x9720 -x9726 -x9727 -x9728 -x9730 -x9725 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 1800.24 v -x9739 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9752 -x9753 -x7401 -x7357 -x7368 -x7379 1800.24 v -x7390 -x9757 -x9754 -x9755 -x9756 -x9768 -x9758 -x9759 -x9760 -x9761 -x9773 -x9769 -x9770 -x9771 -x9772 -x9779 -x9774 1800.24 v -x9775 -x9776 -x9777 -x9783 -x9784 -x9780 -x9781 -x9782 -x9790 -x9791 -x9785 -x9786 -x9787 -x9788 -x9795 -x9796 -x9792 1800.24 v -x9793 -x9794 -x9799 -x9801 -x9797 -x9798 -x9805 -x9806 -x9802 -x9803 -x9804 -x9810 -x9812 -x9807 -x9808 -x9809 -x7434 1800.24 v -x7412 -x7423 -x9815 -x9816 -x9813 -x9814 -x9820 -x9821 -x9817 -x9818 -x9819 -x9827 -x9828 -x9829 -x9823 -x9824 -x9825 1800.24 v -x9826 -x9835 -x9836 -x9837 -x9830 -x9831 -x9832 -x9834 -x9841 -x9842 -x9843 -x9838 -x9839 -x9840 -x9848 -x9849 -x9850 1800.24 v -x9845 -x9846 -x9847 -x9854 -x9856 -x9857 -x9851 -x9852 -x9853 -x9860 -x9861 -x9862 -x9863 -x9858 -x9859 -x9865 -x9867 1800.24 v -x9868 -x9869 -x9864 -x9871 -x9872 -x9873 -x9874 -x9870 -x7493 -x7445 -x7456 -x7471 -x7482 -x9876 -x9883 -x9884 -x9885 1800.24 v -x9875 -x9887 -x9888 -x9889 -x9890 -x9886 -x9892 -x9894 -x9895 -x9896 -x9891 -x9898 -x9899 -x9900 -x9901 -x9897 -x9903 1800.24 v -x9905 -x9906 -x9907 -x9902 -x9909 -x9910 -x9911 -x9912 -x9908 -x9914 -x9916 -x9917 -x9918 -x9913 -x9920 -x9921 -x9922 1800.24 v -x9923 -x9919 -x9925 -x9927 -x9928 -x9929 -x9924 -x9932 -x9933 -x9934 -x9935 -x9930 -x9931 -x7537 -x7504 -x7515 -x7526 1800.24 v -x9938 -x9939 -x9940 -x9941 -x9936 -x9943 -x9944 -x9945 -x9946 -x9942 -x9950 -x9951 -x9952 -x9953 -x9947 -x9949 -x9955 1800.24 v -x9956 -x9957 -x9954 -x9958 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9971 -x9972 -x9973 1800.24 v -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9982 -x9983 -x9984 -x7585 -x7548 -x7559 -x7570 -x9985 -x9986 -x9987 1800.24 v -x9988 -x9989 -x9990 -x9991 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10009 -x10010 1800.24 v -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10020 -x10021 -x10022 -x10023 -x10024 -x10029 -x10025 1800.24 v -x10026 -x10027 -x10028 -x10035 -x10036 -x10031 -x10032 -x10033 -x10034 -x7640 -x7596 -x7607 -x7618 -x7629 -x10042 -x10043 1800.24 v -x10037 -x10038 -x10039 -x10040 -x10048 -x10049 -x10050 -x10044 -x10045 -x10046 -x10047 -x10056 -x10057 -x10058 -x10051 1800.24 v -x10053 -x10054 -x10055 -x10064 -x10065 -x10066 -x10059 -x10060 -x10061 -x10062 -x10071 -x10072 -x10073 -x10067 -x10068 1800.24 v -x10069 -x10070 -x10079 -x10080 -x10081 -x10075 -x10076 -x10077 -x10078 -x10087 -x10088 -x10089 -x10082 -x10083 -x10084 1800.24 v -x10086 -x10094 -x10095 -x10097 -x10090 -x10091 -x10092 -x10093 -x10102 -x10103 -x10104 -x10105 -x10098 -x10099 -x10100 1800.24 v -x10101 -x10116 -x10117 -x10118 -x10119 -x10106 -x10113 -x10114 -x10115 -x7699 -x7651 -x7662 -x7673 -x7684 -x10125 -x10126 1800.24 v -x10127 -x10128 -x10120 -x10121 -x10122 -x10124 -x10133 -x10135 -x10136 -x10137 -x10129 -x10130 -x10131 -x10132 -x10142 1800.24 v -x10143 -x10144 -x10146 -x10138 -x10139 -x10140 -x10141 -x10151 -x10152 -x10153 -x10154 -x10147 -x10148 -x10149 -x10150 1800.24 v -x10160 -x10161 -x10162 -x10163 -x10155 -x10157 -x10158 -x10159 -x10168 -x10169 -x10164 -x10165 -x10166 -x10173 -x10174 1800.24 v -x10175 -x10176 -x10170 -x10171 -x10172 -x10177 -x10179 -x10180 -x7743 -x7710 -x7721 -x7732 -x10181 -x10182 -x10183 1800.24 v -x10184 -x10185 -x10186 -x10187 -x10188 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 1800.24 v -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x7787 -x7754 -x7765 -x7776 -x10209 -x10210 -x10212 1800.24 v -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 1800.24 v -x10233 -x10234 -x10235 -x10236 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10249 1800.24 v -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x7837 -x7798 -x7815 -x7826 -x10258 -x10260 -x10261 1800.24 v -x10262 -x10263 -x10264 -x10268 -x10265 -x10266 -x10267 -x10272 -x10269 -x10271 -x10274 -x10273 -x10276 -x10275 -x10278 1800.24 v -x10277 -x10280 -x10279 -x10283 -x10284 -x10282 -x10286 -x10287 -x10285 -x7881 -x7848 -x7859 -x7870 -x10288 -x7930 -x7941 1800.24 v -x7892 -x7903 -x7914 -x10289 -x7974 -x7985 -x7996 -x7952 -x7963 -x8029 -x8045 -x8056 -x8007 -x8018 -x8067 -x8078 -x8089 1800.24 v -x8100 -x8111 -x8122 -x8133 -x8144 -x8160 -x8171 -x8182 -x8193 -x8204 -x8215 -x8226 -x8237 -x8248 -x8259 -x8275 -x8286 1800.24 v -x8297 -x8308 -x8319 -x8341 -x8330 -x8352 -x8363 -x10290 -x10291 -x10293 -x10294 -x10295 -x10296 -x10297 -x10305 -x10298 1800.24 v -x10299 -x10300 -x10301 -x10302 -x10304 -x10312 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10320 -x10313 -x10315 1800.24 v -x10316 -x10317 -x10318 -x10319 -x10327 -x10321 -x10322 -x10323 -x10324 -x10326 -x10333 -x10328 -x10329 -x10330 -x10331 1800.24 v -x10332 -x10344 -x10345 -x10334 -x10335 -x10341 -x10342 -x10343 -x10350 -x10352 -x10346 -x10347 -x10348 -x10349 -x8374 1800.24 v -x8390 -x8401 -x8412 -x8423 -x10355 -x10356 -x10353 -x10354 -x10359 -x10360 -x10357 -x10358 -x10364 -x10361 -x10368 1800.24 v -x10369 -x10366 -x10367 -x10372 -x10374 -x10370 -x10371 -x10375 -x10376 -x10377 -x10378 -x10379 -x10385 -x10380 -x10381 1800.24 v -x10382 -x10383 -x10390 -x10386 -x10387 -x10388 -x10389 -x10396 -x10391 -x10392 -x10393 -x10394 -x10401 -x10397 -x10398 1800.24 v -x10399 -x10400 -x8478 -x8434 -x8445 -x8456 -x8467 -x10407 -x10402 -x10403 -x10404 -x10405 -x10412 -x10408 -x10409 -x10410 1800.24 v -x10411 -x10415 -x10413 -x10414 -x10416 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 1800.24 v -x10429 -x8538 -x8489 -x8505 -x8516 -x8527 -x10430 -x10431 -x10432 -x10433 -x10435 -x10436 -x10437 -x10438 -x10440 -x10441 1800.24 v -x10442 -x10444 -x10443 -x10446 -x10445 -x10448 -x10447 -x10455 -x10449 -x8593 -x8549 -x8560 -x8571 -x8582 -x10457 -x10456 1800.24 v -x10459 -x10458 -x10461 -x10460 -x10463 -x10462 -x10466 -x10464 -x10467 -x10470 -x10469 -x10472 -x10471 -x10474 -x10473 1800.24 v -x8604 -x8620 -x8631 -x10475 -x8708 -x8664 -x8675 -x8686 -x8697 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 1800.24 v -x10484 -x10491 -x10485 -x10486 -x10488 -x10489 -x10490 -x10497 -x10492 -x10493 -x10494 -x10495 -x10496 -x10504 -x10499 1800.24 v -x10500 -x10501 -x10502 -x10503 -x8767 -x8719 -x8734 -x8745 -x8756 -x10511 -x10505 -x10506 -x10507 -x10508 -x10510 -x10517 1800.24 v -x10512 -x10513 -x10514 -x10515 -x10516 -x10524 -x10525 -x10518 -x10519 -x10521 -x10522 -x10523 -x10532 -x10533 -x10526 1800.24 v -x10527 -x10528 -x10529 -x10530 -x10539 -x10540 -x10534 -x10535 -x10536 -x10537 -x10538 -x10547 -x10541 -x10543 -x10545 1800.24 v -x10546 -x10555 -x10556 -x10549 -x10550 -x10552 -x10554 -x10562 -x10563 -x10557 -x10558 -x10560 -x10561 -x10574 -x10575 1800.24 v -x10569 -x10570 -x10572 -x10573 -x10582 -x10583 -x10576 -x10577 -x10580 -x10581 -x8811 -x8778 -x8789 -x8800 -x10589 1800.24 v -x10591 -x10584 -x10585 -x10586 -x10588 -x10597 -x10598 -x10592 -x10593 -x10594 -x10595 -x10596 -x10605 -x10606 -x10599 1800.24 v -x10600 -x10602 -x10603 -x10604 -x10611 -x10613 -x10607 -x10608 -x10609 -x10610 -x10616 -x10617 -x10614 -x10615 -x10620 1800.24 v -x10621 -x10618 -x10619 -x10625 -x10626 -x10622 -x10624 -x10629 -x10630 -x10627 -x10628 -x10633 -x10635 -x10631 -x10632 1800.24 v -x10636 -x10637 -x10638 -x10639 -x10640 -x8859 -x8822 -x8833 -x8848 -x10646 -x10641 -x10642 -x10643 -x10644 -x10651 1800.24 v -x10647 -x10648 -x10649 -x10650 -x10657 -x10652 -x10653 -x10654 -x10655 -x10662 -x10658 -x10659 -x10660 -x10661 -x10668 1800.24 v -x10663 -x10664 -x10665 -x10666 -x10673 -x10669 -x10670 -x10671 -x10672 -x10683 -x10674 -x10675 -x10676 -x10677 -x10688 1800.24 v -x10684 -x10685 -x10686 -x10687 -x10694 -x10689 -x10690 -x10691 -x10692 -x10699 -x10695 -x10696 -x10697 -x10698 -x8903 1800.24 v -x8870 -x8881 -x8892 -x10705 -x10700 -x10701 -x10702 -x10703 -x10710 -x10706 -x10707 -x10708 -x10709 -x10716 -x10711 1800.24 v -x10712 -x10713 -x10714 -x10721 -x10717 -x10718 -x10719 -x10720 -x10727 -x10728 -x10722 -x10723 -x10724 -x10725 -x10733 1800.24 v -x10734 -x10729 -x10730 -x10731 -x10732 -x10738 -x10739 -x10735 -x10736 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 1800.24 v -x10752 -x10746 -x10747 -x10749 -x10750 -x10751 -x10757 -x10753 -x10754 -x10755 -x10756 -x8947 -x8914 -x8925 -x8936 1800.24 v -x10762 -x10758 -x10760 -x10761 -x10766 -x10763 -x10764 -x10765 -x10771 -x10767 -x10768 -x10769 -x10775 -x10772 -x10773 1800.24 v -x10774 -x10779 -x10776 -x10777 -x10778 -x10783 -x10780 -x10782 -x10784 -x10785 -x10790 -x10787 -x10788 -x10789 -x10799 1800.24 v -x10791 -x10797 -x10798 -x10803 -x10800 -x10801 -x10802 -x8996 -x8963 -x8974 -x8985 -x10808 -x10804 -x10805 -x10806 1800.24 v -x10811 -x10809 -x10810 -x10814 -x10812 -x10813 -x10817 -x10815 -x10816 -x10821 -x10819 -x10820 -x10824 -x10822 -x10823 1800.24 v -x10827 -x10825 -x10826 -x10831 -x10828 -x10830 -x10834 -x10832 -x10833 -x10837 -x10838 -x10835 -x10836 -x9029 -x9007 1800.24 v -x9018 -x10841 -x10842 -x10843 -x10839 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10852 -x10853 -x10854 1800.24 v -x10855 -x10856 -x10857 -x10858 -x10859 -x9062 -x9040 -x9051 -x10860 -x10861 -x10864 -x10865 -x10866 -x10867 -x10868 1800.24 v -x10869 -x10870 -x10871 -x10872 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x9088 -x9077 -x10882 1800.24 v -x10883 -x9099 -x9110 -x10885 -x9121 -x9132 -x9154 -x9165 -x9192 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 1800.24 v -x10893 -x10902 -x10894 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10915 -x10903 -x10904 -x10905 -x10911 -x10912 1800.24 v -x10913 -x10914 -x10924 -x10916 -x10917 -x10918 -x10919 -x10920 -x10922 -x10923 -x10933 -x10925 -x10926 -x10927 -x10928 1800.24 v -x10929 -x10930 -x10931 -x10941 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10949 -x10950 -x10942 -x10944 1800.24 v -x10945 -x10946 -x10947 -x10948 -x10958 -x10959 -x10951 -x10952 -x10953 -x10955 -x10956 -x10957 -x10967 -x10968 -x10960 1800.24 v -x10961 -x10962 -x10963 -x10964 -x10966 -x10975 -x10977 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10984 -x10985 1800.24 v -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10993 -x10994 -x10986 -x10988 -x10989 -x10990 -x10991 -x10992 -x11001 1800.24 v -x11002 -x10995 -x10996 -x10997 -x10999 -x11000 -x11008 -x11010 -x11003 -x11004 -x11005 -x11006 -x11007 -x11016 -x11017 1800.24 v -x11011 -x11012 -x11013 -x11014 -x11015 -x11027 -x11028 -x11018 -x11019 -x11025 -x11026 -x11031 -x11032 -x11029 -x11030 1800.24 v -x11036 -x11037 -x11033 -x11034 -x11040 -x11041 -x11038 -x11039 -x11044 -x11045 -x11042 -x11043 -x11049 -x11050 -x11047 1800.24 v -x11048 -x11051 -x11052 -x11053 -x11054 -x11055 -x11056 -x11062 -x11058 -x11059 -x11060 -x11061 -x11067 -x11063 -x11064 1800.24 v -x11065 -x11066 -x11073 -x11069 -x11070 -x11071 -x11072 -x11078 -x11074 -x11075 -x11076 -x11077 -x11084 -x11080 -x11081 1800.24 v -x11082 -x11083 -x11089 -x11085 -x11086 -x11087 -x11088 -x9214 -x11095 -x11091 -x11092 -x11093 -x11094 -x11100 -x11096 1800.24 v -x11097 -x11098 -x11099 -x11106 -x11102 -x11103 -x11104 -x11105 -x11111 -x11107 -x11108 -x11109 -x11110 -x11117 -x11113 1800.24 v -x11114 -x11115 -x11116 -x11122 -x11118 -x11119 -x11120 -x11121 -x11128 -x11124 -x11125 -x11126 -x11127 -x11133 -x11129 1800.24 v -x11130 -x11131 -x11132 -x11139 -x11140 -x9247 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11150 1800.24 v -x11151 -x11152 -x11153 -x11154 -x11155 -x11156 -x11157 -x11158 -x11159 -x11161 -x9258 -x9269 -x11164 -x11162 -x11163 1800.24 v -x11167 -x11165 -x11166 -x11168 -x11169 -x11172 -x11170 -x11174 -x11173 -x11176 -x11175 -x11178 -x11177 -x11180 -x11179 1800.24 v -x11183 -x11181 -x11185 -x11184 -x9280 -x9291 -x11187 -x11186 -x11189 -x11188 -x11191 -x11190 -x11194 -x11192 -x11196 1800.24 v -x11195 -x11198 -x11197 -x11200 -x11199 -x11202 -x11201 -x11205 -x11203 -x11207 -x11206 -x9307 -x9318 -x11209 -x11208 1800.24 v -x11211 -x11210 -x11213 -x11212 -x9329 -x9340 -x11218 -x11219 -x9351 -x9362 -x9373 -x9384 -x9433 -x9444 -x9395 -x9406 1800.24 v -x9422 -x11220 -x11221 -x11222 -x11223 -x9488 -x9499 -x9455 -x9466 -x9477 -x11224 -x11225 -x11228 -x11229 -x11230 -x11231 1800.24 v -x11232 -x11233 -x11234 -x11235 -x11244 -x11236 -x11238 -x11239 -x11240 -x11241 -x11242 -x11243 -x12 -x11245 -x11246 1800.24 v -x11247 -x8 -x9 -x10 -x11 -x20 -x13 -x14 -x15 -x16 -x17 -x19 -x27 -x21 -x22 -x23 -x24 -x25 -x26 -x35 -x28 -x30 -x31 -x32 -x33 1800.24 v -x34 -x43 -x44 -x36 -x37 -x38 -x39 -x41 -x42 -x52 -x53 -x45 -x46 -x47 -x48 -x49 -x50 -x9548 -x9559 -x9510 -x9521 -x9537 -x60 1800.24 v -x61 -x54 -x55 -x56 -x57 -x58 -x59 -x68 -x69 -x63 -x64 -x65 -x66 -x67 -x76 -x70 -x71 -x72 -x74 -x83 -x85 -x78 -x79 -x80 -x81 -x82 1800.24 v -x90 -x91 -x86 -x87 -x88 -x89 -x94 -x96 -x92 -x93 -x99 -x100 -x97 -x98 -x103 -x104 -x101 -x102 -x108 -x109 -x105 -x107 -x112 1800.24 v -x113 -x110 -x111 -x9603 -x9614 -x9570 -x9581 -x9592 -x114 -x115 -x116 -x122 -x123 -x128 -x124 -x125 -x126 -x127 -x134 -x129 1800.24 v -x130 -x131 -x133 -x139 -x135 -x136 -x137 -x138 -x145 -x140 -x141 -x142 -x144 -x150 -x146 -x147 -x148 -x149 -x156 -x151 -x152 1800.24 v -x153 -x155 -x161 -x157 -x158 -x159 -x160 -x167 -x162 -x163 -x164 -x166 -x172 -x168 -x169 -x170 -x171 -x9663 -x9674 -x9625 1800.24 v -x9636 -x9652 -x178 -x173 -x174 -x175 -x177 -x183 -x179 -x180 -x181 -x182 -x186 -x184 -x185 -x188 -x189 -x190 -x191 -x192 1800.24 v -x193 -x194 -x195 -x196 -x197 -x200 -x9718 -x9729 -x9685 -x9696 -x9707 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x210 1800.24 v -x211 -x214 -x212 -x213 -x217 -x215 -x216 -x218 -x219 -x222 -x221 -x224 -x223 -x9778 -x9789 -x9740 -x9751 -x9767 -x226 -x225 1800.24 v -x228 -x227 -x230 -x229 -x237 -x236 -x239 -x238 -x241 -x240 -x243 -x242 -x244 -x248 -x247 -x250 -x249 -x9833 -x9844 -x9800 1800.24 v -x9811 -x9822 -x252 -x251 -x254 -x253 -x256 -x255 -x259 -x258 -x261 -x260 -x263 -x262 -x9893 -x9904 -x9855 -x9866 -x9882 1800.24 v -x264 -x9948 -x9959 -x9915 -x9926 -x9937 -x10008 -x10019 -x9970 -x9981 -x9997 -x265 -x862 -x868 -x871 -x874 -x880 -x883 1800.24 v -x886 -x892 -x895 -x10063 -x10074 -x10030 -x10041 -x10052 -x898 -x901 -x911 -x914 -x920 -x923 -x926 -x932 -x935 -x10085 1800.24 v -x10096 -x938 -x941 -x946 -x10112 -x10123 -x10134 -x10145 -x10156 -x10167 -x10178 -x10189 -x10200 -x10211 -x10226 -x10237 1800.24 v -x10248 -x10259 -x10270 -x10281 -x10292 -x10303 -x10314 -x10325 -x10340 -x10351 -x10362 -x10373 -x10384 -x10395 -x10406 1800.24 v -x10417 -x10428 -x10498 -x10439 -x10454 -x10465 -x10476 -x10487 -x10542 -x10509 -x10520 -x10531 -x10590 -x10601 -x10553 1800.24 v -x10568 -x10579 -x10612 -x10623 -x10645 -x10634 -x10667 -x10656 -x10693 -x10682 -x2314 -x2318 -x2319 -x2328 -x2329 -x2333 1800.24 v -x2334 -x2343 -x2344 -x2367 -x2380 -x10715 -x10704 -x1418 -x1419 -x1431 -x1432 -x1433 -x1446 -x1447 -x1448 -x1462 -x1463 1800.24 v -x1464 -x1470 -x10737 -x10726 -x1471 -x1479 -x1485 -x1486 -x1487 -x1499 -x1298 -x1302 -x1500 -x1501 -x1709 -x1303 -x1312 1800.24 v -x1520 -x1717 -x1719 -x1313 -x1317 -x1527 -x1528 -x1723 -x1318 -x1326 -x1731 -x1732 -x1734 -x2076 -x2080 -x1327 -x1340 1800.24 v -x1739 -x1744 -x1746 -x2081 -x2092 -x1345 -x1751 -x1752 -x1760 -x2093 -x2097 -x1583 -x1764 -x1766 -x2098 -x2109 -x10759 1800.24 v -x10748 -x1584 -x1591 -x1599 -x2110 -x2114 -x1600 -x1607 -x1615 -x2115 -x2127 -x1616 -x1621 -x1628 -x2128 -x2138 -x1629 1800.24 v -x1630 -x1638 -x2139 -x2143 -x1107 -x1639 -x1640 -x1649 -x2144 -x2147 -x1110 -x1650 -x1651 -x1660 -x2153 -x2157 -x1113 1800.24 v -x1661 -x1662 -x1668 -x2158 -x2162 -x1115 -x1669 -x1674 -x1680 -x2169 -x2173 -x1681 -x1682 -x1811 -x2174 -x2178 -x1821 1800.24 v -x1822 -x2185 -x10781 -x10770 -x2189 -x10807 -x10796 -x367 -x371 -x372 -x376 -x381 -x385 -x386 -x390 -x10829 -x10818 -x395 1800.24 v -x399 -x404 -x400 -x413 -x409 -x418 -x10851 -x10840 -x414 -x427 -x686 -x423 -x676 -x432 -x691 -x428 -x687 -x441 -x701 -x10873 1800.24 v -x10862 -x437 -x692 -x446 -x706 -x442 -x702 -x455 -x716 -x451 -x707 -x460 -x721 -x456 -x717 -x10910 -x10884 -x10895 -x578 1800.24 v -x802 -x466 -x722 -x10932 -x582 -x806 -x10976 -x586 -x817 -x10943 -x10921 -x10998 -x11009 -x592 -x593 -x818 -x11024 -x11035 1800.24 v -x594 -x820 -x595 -x821 -x11046 -x11057 -x596 -x597 -x822 -x823 -x10965 -x10954 -x11068 -x827 -x599 -x11090 -x601 -x607 1800.24 v -x829 -x11101 -x11112 -x608 -x609 -x830 -x831 -x10987 -x11123 -x610 -x832 -x11138 -x611 -x833 -x11149 -x834 -x11171 -x614 1800.24 v -x836 -x11182 -x11193 -x615 -x616 -x840 -x841 -x11204 -x11215 -x621 -x622 -x842 -x843 -x11226 -x844 -x7 -x625 -x846 -x18 1800.24 v -x29 -x626 -x627 -x847 -x848 -x40 -x51 -x628 -x629 -x849 -x853 -x62 -x515 -x782 -x854 -x523 -x527 -x95 -x528 -x536 -x154 -x537 1800.24 v -x642 -x653 -x1106 -x1109 -x1112 -x1114 -x11079 -x1434 -x1449 -x1465 -x1562 -x1576 -x1592 -x1641 -x1652 -x1663 -x1480 1800.24 v -x1488 -x1502 -x1514 -x1529 -x1536 -x1549 -x1563 -x1577 -x1593 -x1608 -x1609 -x1675 -x1622 -x1623 -x1634 -x1635 -x1642 1800.24 v -x1653 -x1654 -x2154 -x1664 -x1665 -x2159 -x1683 -x11160 -x1676 -x1677 -x2170 -x1853 -x1688 -x1897 -x2175 -x2186 -x1689 1800.24 v -x11237 -x73 -x84 -x106 -x121 -x132 -x143 -x165 -x176 -x187 -x198 -x209 -x220 -x235 -x246 -x257 -x280 -x350 -x358 -x359 -x1127 1800.24 v -x949 -x1128 -x950 -x951 -x953 -x1132 -x1134 -x1135 -x360 -x361 -x362 -x954 -x1137 -x368 -x369 -x370 -x959 -x1138 -x960 1800.24 v -x963 -x1140 -x1141 -x373 -x374 -x375 -x964 -x1146 -x965 -x971 -x974 -x1150 -x1151 -x382 -x383 -x384 -x387 -x388 -x389 -x977 1800.24 v -x1152 -x396 -x397 -x398 -x980 -x1158 -x987 -x1161 -x990 -x1164 -x401 -x402 -x403 -x993 -x1261 -x1000 -x1003 -x1013 -x1015 1800.24 v -x1018 -x1021 -x1027 -x1029 -x1217 -x1219 -x1224 -x1226 -x1228 -x410 -x411 -x412 -x1031 -x1033 -x1232 -x1035 -x1237 -x1041 1800.24 v -x1239 -x415 -x416 -x417 -x1043 -x1241 -x1045 -x1243 -x1047 -x1245 -x424 -x425 -x426 -x1252 -x1054 -x1254 -x429 -x430 -x431 1800.24 v -x1056 -x1256 -x1058 -x1258 -x438 -x439 -x440 -x1060 -x1260 -x443 -x444 -x445 -x1062 -x1267 -x1067 -x452 -x453 -x454 -x1069 1800.24 v -x1906 -x457 -x458 -x459 -x1071 -x1073 -x467 -x468 -x1074 -x1166 -x1173 -x1176 -x1185 -x1188 -x469 -x470 -x1191 -x1194 1800.24 v -x1199 -x1202 -x1203 -x1204 -x1206 -x1207 -x1211 -x1213 -x471 -x472 -x1214 -x1215 -x474 -x475 -x480 -x481 -x482 -x483 -x485 1800.24 v -x486 -x487 -x488 -x489 -x494 -x1329 -x1691 -x1693 -x1695 -x1697 -x1702 -x1704 -x1707 -x1711 -x1736 -x1748 -x1761 -x1705 1800.24 v -x1708 -x1331 -x1333 -x1349 -x1357 -x1716 -x1721 -x1722 -x1725 -x1730 -x1737 -x1738 -x1910 -x1913 -x2192 -x1342 -x1361 1800.24 v -x1749 -x1750 -x1916 -x2194 -x1346 -x1762 -x1763 -x1961 -x2197 -x1354 -x1938 -x2199 -x1358 -x1369 -x1920 -x1942 -x1975 1800.24 v -x2201 -x2205 -x496 -x497 -x498 -x1362 -x1373 -x1923 -x1953 -x1989 -x2203 -x2210 -x1120 -x1370 -x1377 -x1926 -x1958 -x1995 1800.24 v -x2207 -x2214 -x499 -x500 -x1122 -x1374 -x1794 -x1972 -x2008 -x2021 -x2211 -x2219 -x1124 -x1382 -x1803 -x1986 -x2215 -x2222 1800.24 v -x501 -x502 -x1125 -x1795 -x1796 -x2220 -x1808 -x2225 -x503 -x509 -x1804 -x1805 -x1818 -x2228 -x1809 -x1810 -x1824 -x2226 1800.24 v -x2237 -x510 -x511 -x512 -x514 -x1819 -x1820 -x2235 -x2239 -x1825 -x1830 -x2238 -x516 -x517 -x524 -x525 -x526 -x529 -x530 1800.24 v -x531 -x538 -x539 -x541 -x540 -x543 -x542 -x545 -x544 -x551 -x550 -x553 -x552 -x555 -x554 -x557 -x556 -x559 -x558 -x565 -x564 1800.24 v -x567 -x566 -x569 -x568 -x571 -x570 -x573 -x572 -x580 -x579 -x583 -x581 -x585 -x584 -x587 -x600 -x613 -x624 -x630 -x638 -x639 1800.24 v -x640 -x641 -x643 -x644 -x645 -x646 -x654 -x655 -x656 -x657 -x659 -x660 -x661 -x662 -x669 -x670 -x2305 -x2313 -x2315 -x2317 1800.24 v -x2320 -x2327 -x2330 -x2332 -x2335 -x2342 -x2410 -x1414 -x1415 -x1417 -x1427 -x1428 -x1430 -x1435 -x1436 -x1445 -x1450 1800.24 v -x1451 -x1453 -x1466 -x1467 -x1469 -x1481 -x1482 -x1484 -x1290 -x1297 -x1495 -x1496 -x1498 -x1299 -x1301 -x1503 -x1504 1800.24 v -x1512 -x1304 -x1306 -x1515 -x1516 -x1519 -x1314 -x1316 -x1530 -x1531 -x1534 -x2073 -x2075 -x1319 -x1321 -x1543 -x1544 1800.24 v -x1547 -x2077 -x2079 -x1375 -x1550 -x1551 -x1560 -x2089 -x2091 -x1564 -x1565 -x1568 -x2094 -x2096 -x1578 -x1579 -x1582 1800.24 v -x2106 -x2108 -x1594 -x1595 -x1598 -x2111 -x2113 -x1610 -x1611 -x1614 -x2123 -x2126 -x1624 -x1627 -x2129 -x2132 -x2142 1800.24 v -x673 -x675 -x677 -x685 -x688 -x690 -x693 -x700 -x703 -x705 -x708 -x715 -x718 -x720 -x860 -x724 -x730 -x731 -x732 -x733 -x734 1800.24 v -x736 -x737 -x738 -x739 -x745 -x746 -x748 -x749 -x750 -x751 -x752 -x753 -x671 -x763 -x765 -x766 -x767 -x768 -x769 -x771 -x772 1800.24 v -x780 -x781 -x672 -x674 -x678 -x689 -x694 -x704 -x709 -x719 -x723 -x735 -x747 -x754 -x770 -x783 -x784 -x786 -x785 -x788 -x787 1800.24 v -x797 -x789 -x801 -x804 -x814 -x816 -x828 -x835 -x845 -x856 -x857 -x858 -x2508 -x859 -x2520 -x861 -x866 -x869 -x867 -x872 1800.24 v -x870 -x875 -x873 -x881 -x879 -x884 -x882 -x887 -x885 -x893 -x888 -x896 -x894 -x899 -x897 -x906 -x900 -x907 -x912 -x910 -x915 1800.24 v -x913 -x921 -x919 -x924 -x922 -x927 -x925 -x933 -x928 -x936 -x934 -x939 -x937 -x945 -x940 -x947 -x948 -x952 -x958 -x961 -x962 1800.24 v -x966 -x967 -x972 -x973 -x975 -x976 -x978 -x979 -x985 -x986 -x988 -x989 -x991 -x992 -x994 -x999 -x1001 -x1002 -x1005 -x1007 1800.24 v -x1008 -x1014 -x1016 -x1017 -x1019 -x1020 -x1022 -x1028 -x1030 -x1032 -x1034 -x1036 -x1042 -x1044 -x1046 -x1070 -x1072 1800.24 v -x1075 -x1076 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1093 -x1094 -x1095 -x1096 -x1097 1800.24 v -x2345 -x2347 -x2349 -x2351 -x2359 -x2361 -x2365 -x2363 -x2376 -x2374 -x2381 -x2389 -x2392 -x2395 -x1098 -x2378 -x2398 1800.24 v -x2408 -x1099 -x1100 -x1101 -x1102 -x1108 -x1111 -x1119 -x1121 -x1123 -x1126 -x1133 -x1136 -x1139 -x1148 -x1154 -x1832 1800.24 v -x1835 -x1836 -x1838 -x1839 -x1847 -x1848 -x1850 -x1851 -x1855 -x1866 -x1870 -x1852 -x1159 -x1160 -x1863 -x1864 -x1881 1800.24 v -x1867 -x1868 -x1871 -x1872 -x1885 -x2242 -x1882 -x1883 -x1889 -x2244 -x2253 -x1886 -x1887 -x1899 -x2251 -x2256 -x1895 1800.24 v -x1896 -x1927 -x2254 -x2267 -x1162 -x1163 -x1900 -x1901 -x1937 -x2257 -x1941 -x1954 -x1969 -x2280 -x1952 -x1959 -x1976 1800.24 v -x1957 -x1973 -x1990 -x1971 -x1987 -x2003 -x1165 -x1167 -x1978 -x2009 -x1992 -x2006 -x2022 -x2005 -x2012 -x2026 -x2011 1800.24 v -x2024 -x2037 -x2028 -x2041 -x1174 -x1172 -x2039 -x2044 -x1177 -x1175 -x1178 -x1186 -x1181 -x1189 -x1187 -x1192 -x1190 1800.24 v -x1198 -x1193 -x1200 -x1201 -x1205 -x1212 -x1216 -x1218 -x1220 -x1225 -x1227 -x1242 -x1244 -x1246 -x1253 -x1255 -x2190 1800.24 v -x1257 -x2055 -x1259 -x1268 -x1269 -x1270 -x1273 -x1274 -x1275 -x1276 -x1282 -x2240 -x1283 -x1284 -x1285 -x1286 -x1287 1800.24 v -x1288 -x1289 -x1291 -x1300 -x1305 -x1315 -x1320 -x1328 -x1330 -x1332 -x1344 -x1347 -x1348 -x1355 -x1356 -x1359 -x1360 1800.24 v -x1363 -x1368 -x1371 -x1372 -x1376 -x1383 -x1384 -x1388 -x1390 -x1389 -x1396 -x1391 -x1398 -x1397 -x1400 -x1399 -x1402 1800.24 v -x1401 -x1404 -x1403 -x1410 -x1405 -x1412 -x1411 -x1413 -x1416 -x1429 -x1444 -x1452 -x1468 -x1483 -x1497 -x1513 -x1511 1800.24 v -x1517 -x1518 -x1535 -x1532 -x1533 -x1548 -x1545 -x1546 -x1561 -x1552 -x1559 -x1575 -x1566 -x1567 -x1580 -x1581 -x1596 1800.24 v -x1597 -x1612 -x1613 -x1625 -x1626 -x1636 -x1647 -x1655 -x1666 -x1678 -x1690 -x1692 -x1694 -x1696 -x1703 -x1706 -x1710 1800.24 v -x1720 -x1718 -x1724 -x1735 -x1733 -x1747 -x1745 -x1753 -x1767 -x1768 -x1765 -x1774 -x1775 -x1769 -x1777 -x1778 -x1776 1800.24 v -x1780 -x1781 -x1779 -x1783 -x1788 -x1782 -x1790 -x1791 -x1789 -x1793 -x1792 -x1802 -x1797 -x1807 -x1806 -x1817 -x1816 1800.24 v -x1823 -x1831 -x1833 -x1834 -x1837 -x1846 -x1849 -x1854 -x1865 -x1869 -x1880 -x1884 -x1888 -x1898 -x1902 -x1903 -x1907 1800.24 v -x1904 -x1909 -x1908 -x1912 -x1911 -x1915 -x1914 -x1919 -x1918 -x1922 -x1921 -x2312 -x2316 -x2321 -x2331 -x1925 -x1924 1800.24 v -x1936 -x1935 -x1940 -x1939 -x2074 -x2078 -x2090 -x2095 -x2107 -x2112 -x2125 -x2131 -x2141 -x2146 -x1944 -x1943 -x2156 1800.24 v -x2161 -x2172 -x2177 -x1956 -x1955 -x1970 -x1960 -x1977 -x1974 -x2004 -x1994 -x2010 -x2007 -x2346 -x2358 -x2350 -x2362 1800.24 v -x2360 -x2366 -x2364 -x2377 -x2375 -x2382 -x2379 -x2390 -x2383 -x2023 -x2020 -x2396 -x2406 -x2409 -x2412 -x2027 -x2025 1800.24 v -x2038 -x2029 -x2191 -x2193 -x2196 -x2198 -x2200 -x2202 -x2204 -x2209 -x2208 -x2213 -x2212 -x2216 -x2042 -x2040 -x2236 1800.24 v -x2045 -x2043 -x2046 -x2241 -x2243 -x2250 -x2252 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2072 -x2259 1800.24 v -x2258 -x2266 -x2265 -x2269 -x2268 -x2271 -x2270 -x2273 -x2272 -x2281 -x2274 -x2283 -x2282 -x2285 -x2284 -x2287 -x2286 1800.24 v -x2289 -x2288 -x2296 -x2299 -x2298 -x2301 -x2300 -x2303 -x2302 -x2304 -x2413 -x2415 -x2423 -x2425 -x2427 -x2429 -x2124 1800.24 v -x2130 -x2140 -x2145 -x2155 -x2160 -x2171 -x2176 -x2348 -x2445 -x2414 -x2422 -x2424 -x2426 -x2428 -x2430 -x2255 -x2336 1800.24 v -x2431 1800.25 c Somebody sent me a SIGTERM 1800.25 smodels-2.31: no process killed 1800.25 pb2smodels: no process killed
OK -7373
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node56/watcher-45528-1154038897 -o ROOT/results/node56/solver-45528-1154038897 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node56/45528-1154038897/instance-45528-1154038897.opb 776921173 ROOT/tmp/node56/45528-1154038897 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 0.99 2/64 28398 /proc/meminfo: memFree=1635000/2055920 swapFree=4182032/4192956 [pid=28398] ppid=28396 vsize=5360 CPUtime=0 /proc/28398/stat : 28398 (runpbsmodels) S 28396 28398 28349 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150759697 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28398/statm: 1340 234 195 169 0 51 0 [pid=28399] ppid=28398 vsize=11860 CPUtime=0 /proc/28399/stat : 28399 (pbsmodels-v1.31) R 28398 28398 28349 0 -1 4194304 127 0 0 0 0 0 0 0 20 0 1 0 150759697 12144640 92 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 253324444040 0 0 4096 0 0 0 0 17 1 0 0 /proc/28399/statm: 2965 108 77 3 0 65 0 [startup+10.0017 s] /proc/loadavg: 1.07 1.02 1.00 2/68 28403 /proc/meminfo: memFree=1627544/2055920 swapFree=4182032/4192956 [pid=28398] ppid=28396 vsize=5360 CPUtime=0 /proc/28398/stat : 28398 (runpbsmodels) S 28396 28398 28349 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150759697 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28398/statm: 1340 234 195 169 0 51 0 [pid=28399] ppid=28398 vsize=12268 CPUtime=0 /proc/28399/stat : 28399 (pbsmodels-v1.31) S 28398 28398 28349 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150759697 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/28399/statm: 3067 383 293 3 0 167 0 [pid=28400] ppid=28399 vsize=5356 CPUtime=1.78 /proc/28400/stat : 28400 (sh) S 28399 28398 28349 0 -1 4194304 309 573 0 0 0 0 178 0 16 0 1 0 150759698 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28400/statm: 1339 227 188 169 0 50 0 [pid=28402] ppid=28400 vsize=8228 CPUtime=9.28 /proc/28402/stat : 28402 (smodels-2.31) R 28400 28398 28349 0 -1 4194304 1715 0 0 0 927 1 0 0 25 0 1 0 150759698 8425472 1679 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532349 0 0 4096 0 0 0 0 17 1 0 0 /proc/28402/statm: 2057 1679 211 21 0 1493 0 [pid=28403] ppid=28400 vsize=12268 CPUtime=0 /proc/28403/stat : 28403 (pbout.new.pl) S 28400 28398 28349 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 150759698 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/28403/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 11.06 Current children cumulated vsize (Kb) 43480 [startup+20.0086 s] /proc/loadavg: 1.06 1.02 1.00 2/68 28403 /proc/meminfo: memFree=1627672/2055920 swapFree=4182032/4192956 [pid=28398] ppid=28396 vsize=5360 CPUtime=0 /proc/28398/stat : 28398 (runpbsmodels) S 28396 28398 28349 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150759697 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28398/statm: 1340 234 195 169 0 51 0 [pid=28399] ppid=28398 vsize=12268 CPUtime=0 /proc/28399/stat : 28399 (pbsmodels-v1.31) S 28398 28398 28349 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150759697 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/28399/statm: 3067 383 293 3 0 167 0 [pid=28400] ppid=28399 vsize=5356 CPUtime=1.78 /proc/28400/stat : 28400 (sh) S 28399 28398 28349 0 -1 4194304 309 573 0 0 0 0 178 0 16 0 1 0 150759698 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28400/statm: 1339 227 188 169 0 50 0 [pid=28402] ppid=28400 vsize=8228 CPUtime=19.28 /proc/28402/stat : 28402 (smodels-2.31) R 28400 28398 28349 0 -1 4194304 1715 0 0 0 1927 1 0 0 25 0 1 0 150759698 8425472 1679 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539299 0 0 4096 0 0 0 0 17 1 0 0 /proc/28402/statm: 2057 1679 211 21 0 1493 0 [pid=28403] ppid=28400 vsize=12268 CPUtime=0 /proc/28403/stat : 28403 (pbout.new.pl) S 28400 28398 28349 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 150759698 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/28403/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 21.06 Current children cumulated vsize (Kb) 43480 [startup+30.0156 s] /proc/loadavg: 1.05 1.01 1.00 2/68 28403 /proc/meminfo: memFree=1627672/2055920 swapFree=4182032/4192956 [pid=28398] ppid=28396 vsize=5360 CPUtime=0 /proc/28398/stat : 28398 (runpbsmodels) S 28396 28398 28349 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150759697 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28398/statm: 1340 234 195 169 0 51 0 [pid=28399] ppid=28398 vsize=12268 CPUtime=0 /proc/28399/stat : 28399 (pbsmodels-v1.31) S 28398 28398 28349 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150759697 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/28399/statm: 3067 383 293 3 0 167 0 [pid=28400] ppid=28399 vsize=5356 CPUtime=1.78 /proc/28400/stat : 28400 (sh) S 28399 28398 28349 0 -1 4194304 309 573 0 0 0 0 178 0 16 0 1 0 150759698 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28400/statm: 1339 227 188 169 0 50 0 [pid=28402] ppid=28400 vsize=8228 CPUtime=29.29 /proc/28402/stat : 28402 (smodels-2.31) R 28400 28398 28349 0 -1 4194304 1715 0 0 0 2928 1 0 0 25 0 1 0 150759698 8425472 1679 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539728 0 0 4096 0 0 0 0 17 1 0 0 /proc/28402/statm: 2057 1679 211 21 0 1493 0 [pid=28403] ppid=28400 vsize=12268 CPUtime=0 /proc/28403/stat : 28403 (pbout.new.pl) S 28400 28398 28349 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 150759698 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/28403/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 31.07 Current children cumulated vsize (Kb) 43480 [startup+40.0226 s] /proc/loadavg: 1.04 1.01 1.00 2/68 28403 /proc/meminfo: memFree=1627672/2055920 swapFree=4182032/4192956 [pid=28398] ppid=28396 vsize=5360 CPUtime=0 /proc/28398/stat : 28398 (runpbsmodels) S 28396 28398 28349 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150759697 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28398/statm: 1340 234 195 169 0 51 0 [pid=28399] ppid=28398 vsize=12268 CPUtime=0 /proc/28399/stat : 28399 (pbsmodels-v1.31) S 28398 28398 28349 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150759697 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/28399/statm: 3067 383 293 3 0 167 0 [pid=28400] ppid=28399 vsize=5356 CPUtime=1.78 /proc/28400/stat : 28400 (sh) S 28399 28398 28349 0 -1 4194304 309 573 0 0 0 0 178 0 16 0 1 0 150759698 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28400/statm: 1339 227 188 169 0 50 0 [pid=28402] ppid=28400 vsize=8228 CPUtime=39.29 /proc/28402/stat : 28402 (smodels-2.31) R 28400 28398 28349 0 -1 4194304 1716 0 0 0 3928 1 0 0 25 0 1 0 150759698 8425472 1680 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539627 0 0 4096 0 0 0 0 17 1 0 0 /proc/28402/statm: 2057 1680 211 21 0 1493 0 [pid=28403] ppid=28400 vsize=12268 CPUtime=0 /proc/28403/stat : 28403 (pbout.new.pl) S 28400 28398 28349 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 150759698 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/28403/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 41.07 Current children cumulated vsize (Kb) 43480 [startup+50.0296 s] /proc/loadavg: 1.04 1.01 1.00 2/68 28403 /proc/meminfo: memFree=1627736/2055920 swapFree=4182032/4192956 [pid=28398] ppid=28396 vsize=5360 CPUtime=0 /proc/28398/stat : 28398 (runpbsmodels) S 28396 28398 28349 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150759697 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28398/statm: 1340 234 195 169 0 51 0 [pid=28399] ppid=28398 vsize=12268 CPUtime=0 /proc/28399/stat : 28399 (pbsmodels-v1.31) S 28398 28398 28349 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150759697 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/28399/statm: 3067 383 293 3 0 167 0 [pid=28400] ppid=28399 vsize=5356 CPUtime=1.78 /proc/28400/stat : 28400 (sh) S 28399 28398 28349 0 -1 4194304 309 573 0 0 0 0 178 0 16 0 1 0 150759698 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28400/statm: 1339 227 188 169 0 50 0 [pid=28402] ppid=28400 vsize=8228 CPUtime=49.29 /proc/28402/stat : 28402 (smodels-2.31) R 28400 28398 28349 0 -1 4194304 1718 0 0 0 4928 1 0 0 25 0 1 0 150759698 8425472 1682 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538410 0 0 4096 0 0 0 0 17 1 0 0 /proc/28402/statm: 2057 1682 211 21 0 1493 0 [pid=28403] ppid=28400 vsize=12268 CPUtime=0 /proc/28403/stat : 28403 (pbout.new.pl) S 28400 28398 28349 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 150759698 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/28403/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (Kb) 43480 [startup+60.0356 s] /proc/loadavg: 1.03 1.01 1.00 2/68 28403 /proc/meminfo: memFree=1627736/2055920 swapFree=4182032/4192956 [pid=28398] ppid=28396 vsize=5360 CPUtime=0 /proc/28398/stat : 28398 (runpbsmodels) S 28396 28398 28349 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150759697 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28398/statm: 1340 234 195 169 0 51 0 [pid=28399] ppid=28398 vsize=12268 CPUtime=0 /proc/28399/stat : 28399 (pbsmodels-v1.31) S 28398 28398 28349 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150759697 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/28399/statm: 3067 383 293 3 0 167 0 [pid=28400] ppid=28399 vsize=5356 CPUtime=1.78 /proc/28400/stat : 28400 (sh) S 28399 28398 28349 0 -1 4194304 309 573 0 0 0 0 178 0 16 0 1 0 150759698 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28400/statm: 1339 227 188 169 0 50 0 [pid=28402] ppid=28400 vsize=8228 CPUtime=59.3 /proc/28402/stat : 28402 (smodels-2.31) R 28400 28398 28349 0 -1 4194304 1719 0 0 0 5929 1 0 0 25 0 1 0 150759698 8425472 1683 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134520150 0 0 4096 0 0 0 0 17 1 0 0 /proc/28402/statm: 2057 1683 211 21 0 1493 0 [pid=28403] ppid=28400 vsize=12268 CPUtime=0 /proc/28403/stat : 28403 (pbout.new.pl) S 28400 28398 28349 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 150759698 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/28403/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 61.08 Current children cumulated vsize (Kb) 43480 [startup+70.0416 s] /proc/loadavg: 1.02 1.01 1.00 2/68 28403 /proc/meminfo: memFree=1627736/2055920 swapFree=4182032/4192956 [pid=28398] ppid=28396 vsize=5360 CPUtime=0 /proc/28398/stat : 28398 (runpbsmodels) S 28396 28398 28349 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150759697 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28398/statm: 1340 234 195 169 0 51 0 [pid=28399] ppid=28398 vsize=12268 CPUtime=0 /proc/28399/stat : 28399 (pbsmodels-v1.31) S 28398 28398 28349 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150759697 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/28399/statm: 3067 383 293 3 0 167 0 [pid=28400] ppid=28399 vsize=5356 CPUtime=1.78 /proc/28400/stat : 28400 (sh) S 28399 28398 28349 0 -1 4194304 309 573 0 0 0 0 178 0 16 0 1 0 150759698 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28400/statm: 1339 227 188 169 0 50 0 [pid=28402] ppid=28400 vsize=8228 CPUtime=69.3 /proc/28402/stat : 28402 (smodels-2.31) R 28400 28398 28349 0 -1 4194304 1723 0 0 0 6929 1 0 0 25 0 1 0 150759698 8425472 1687 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538425 0 0 4096 0 0 0 0 17 1 0 0 /proc/28402/statm: 2057 1687 211 21 0 1493 0 [pid=28403] ppid=28400 vsize=12268 CPUtime=0 /proc/28403/stat : 28403 (pbout.new.pl) S 28400 28398 28349 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 150759698 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/28403/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 71.08 Current children cumulated vsize (Kb) 43480 [startup+80.0486 s] /proc/loadavg: 1.02 1.01 1.00 2/68 28403 /proc/meminfo: memFree=1627736/2055920 swapFree=4182032/4192956 [pid=28398] ppid=28396 vsize=5360 CPUtime=0 /proc/28398/stat : 28398 (runpbsmodels) S 28396 28398 28349 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150759697 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28398/statm: 1340 234 195 169 0 51 0 [pid=28399] ppid=28398 vsize=12268 CPUtime=0 /proc/28399/stat : 28399 (pbsmodels-v1.31) S 28398 28398 28349 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150759697 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/28399/statm: 3067 383 293 3 0 167 0 [pid=28400] ppid=28399 vsize=5356 CPUtime=1.78 /proc/28400/stat : 28400 (sh) S 28399 28398 28349 0 -1 4194304 309 573 0 0 0 0 178 0 16 0 1 0 150759698 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28400/statm: 1339 227 188 169 0 50 0 [pid=28402] ppid=28400 vsize=8228 CPUtime=79.3 /proc/28402/stat : 28402 (smodels-2.31) R 28400 28398 28349 0 -1 4194304 1723 0 0 0 7929 1 0 0 25 0 1 0 150759698 8425472 1687 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539737 0 0 4096 0 0 0 0 17 1 0 0 /proc/28402/statm: 2057 1687 211 21 0 1493 0 [pid=28403] ppid=28400 vsize=12268 CPUtime=0 /proc/28403/stat : 28403 (pbout.new.pl) S 28400 28398 28349 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 150759698 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/28403/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 81.08 Current children cumulated vsize (Kb) 43480 [startup+90.0546 s] /proc/loadavg: 1.02 1.01 1.00 2/68 28403 /proc/meminfo: memFree=1627736/2055920 swapFree=4182032/4192956 [pid=28398] ppid=28396 vsize=5360 CPUtime=0 /proc/28398/stat : 28398 (runpbsmodels) S 28396 28398 28349 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150759697 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28398/statm: 1340 234 195 169 0 51 0 [pid=28399] ppid=28398 vsize=12268 CPUtime=0 /proc/28399/stat : 28399 (pbsmodels-v1.31) S 28398 28398 28349 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150759697 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/28399/statm: 3067 383 293 3 0 167 0 [pid=28400] ppid=28399 vsize=5356 CPUtime=1.78 /proc/28400/stat : 28400 (sh) S 28399 28398 28349 0 -1 4194304 309 573 0 0 0 0 178 0 16 0 1 0 150759698 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 ################ # More data... # ################ /proc/28402/stat : 28402 (smodels-2.31) R 28400 28398 28349 0 -1 4194304 2017 0 0 0 179195 2 0 0 25 0 1 0 150759698 9641984 1981 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539747 0 0 4096 0 0 0 0 17 1 0 0 /proc/28402/statm: 2354 1981 214 21 0 1790 0 [pid=28403] ppid=28400 vsize=12732 CPUtime=0 /proc/28403/stat : 28403 (pbout.new.pl) S 28400 28398 28349 0 -1 4194304 560 0 0 0 0 0 0 0 16 0 1 0 150759698 13037568 520 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/28403/statm: 3183 520 333 3 0 283 0 Current children cumulated CPU time (s) 1793.75 Current children cumulated vsize (Kb) 45132 [startup+1794.2 s] /proc/loadavg: 1.00 1.00 1.00 2/68 28405 /proc/meminfo: memFree=1625688/2055920 swapFree=4182032/4192956 [pid=28398] ppid=28396 vsize=5360 CPUtime=0 /proc/28398/stat : 28398 (runpbsmodels) S 28396 28398 28349 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150759697 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28398/statm: 1340 234 195 169 0 51 0 [pid=28399] ppid=28398 vsize=12268 CPUtime=0 /proc/28399/stat : 28399 (pbsmodels-v1.31) S 28398 28398 28349 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150759697 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/28399/statm: 3067 383 293 3 0 167 0 [pid=28400] ppid=28399 vsize=5356 CPUtime=1.78 /proc/28400/stat : 28400 (sh) S 28399 28398 28349 0 -1 4194304 309 573 0 0 0 0 178 0 16 0 1 0 150759698 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28400/statm: 1339 227 188 169 0 50 0 [pid=28402] ppid=28400 vsize=9416 CPUtime=1792.98 /proc/28402/stat : 28402 (smodels-2.31) R 28400 28398 28349 0 -1 4194304 2017 0 0 0 179296 2 0 0 25 0 1 0 150759698 9641984 1981 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553171 0 0 4096 0 0 0 0 17 1 0 0 /proc/28402/statm: 2354 1981 214 21 0 1790 0 [pid=28403] ppid=28400 vsize=12732 CPUtime=0 /proc/28403/stat : 28403 (pbout.new.pl) S 28400 28398 28349 0 -1 4194304 560 0 0 0 0 0 0 0 16 0 1 0 150759698 13037568 520 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/28403/statm: 3183 520 333 3 0 283 0 Current children cumulated CPU time (s) 1794.76 Current children cumulated vsize (Kb) 45132 [startup+1795.2 s] /proc/loadavg: 1.00 1.00 1.00 2/68 28405 /proc/meminfo: memFree=1625688/2055920 swapFree=4182032/4192956 [pid=28398] ppid=28396 vsize=5360 CPUtime=0 /proc/28398/stat : 28398 (runpbsmodels) S 28396 28398 28349 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150759697 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28398/statm: 1340 234 195 169 0 51 0 [pid=28399] ppid=28398 vsize=12268 CPUtime=0 /proc/28399/stat : 28399 (pbsmodels-v1.31) S 28398 28398 28349 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150759697 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/28399/statm: 3067 383 293 3 0 167 0 [pid=28400] ppid=28399 vsize=5356 CPUtime=1.78 /proc/28400/stat : 28400 (sh) S 28399 28398 28349 0 -1 4194304 309 573 0 0 0 0 178 0 16 0 1 0 150759698 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28400/statm: 1339 227 188 169 0 50 0 [pid=28402] ppid=28400 vsize=9416 CPUtime=1793.98 /proc/28402/stat : 28402 (smodels-2.31) R 28400 28398 28349 0 -1 4194304 2017 0 0 0 179396 2 0 0 25 0 1 0 150759698 9641984 1981 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552542 0 0 4096 0 0 0 0 17 1 0 0 /proc/28402/statm: 2354 1981 214 21 0 1790 0 [pid=28403] ppid=28400 vsize=12732 CPUtime=0 /proc/28403/stat : 28403 (pbout.new.pl) S 28400 28398 28349 0 -1 4194304 560 0 0 0 0 0 0 0 16 0 1 0 150759698 13037568 520 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/28403/statm: 3183 520 333 3 0 283 0 Current children cumulated CPU time (s) 1795.76 Current children cumulated vsize (Kb) 45132 [startup+1796.21 s] /proc/loadavg: 1.00 1.00 1.00 2/68 28405 /proc/meminfo: memFree=1625688/2055920 swapFree=4182032/4192956 [pid=28398] ppid=28396 vsize=5360 CPUtime=0 /proc/28398/stat : 28398 (runpbsmodels) S 28396 28398 28349 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150759697 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28398/statm: 1340 234 195 169 0 51 0 [pid=28399] ppid=28398 vsize=12268 CPUtime=0 /proc/28399/stat : 28399 (pbsmodels-v1.31) S 28398 28398 28349 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150759697 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/28399/statm: 3067 383 293 3 0 167 0 [pid=28400] ppid=28399 vsize=5356 CPUtime=1.78 /proc/28400/stat : 28400 (sh) S 28399 28398 28349 0 -1 4194304 309 573 0 0 0 0 178 0 16 0 1 0 150759698 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28400/statm: 1339 227 188 169 0 50 0 [pid=28402] ppid=28400 vsize=9416 CPUtime=1794.99 /proc/28402/stat : 28402 (smodels-2.31) R 28400 28398 28349 0 -1 4194304 2017 0 0 0 179497 2 0 0 25 0 1 0 150759698 9641984 1981 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539525 0 0 4096 0 0 0 0 17 1 0 0 /proc/28402/statm: 2354 1981 214 21 0 1790 0 [pid=28403] ppid=28400 vsize=12732 CPUtime=0 /proc/28403/stat : 28403 (pbout.new.pl) S 28400 28398 28349 0 -1 4194304 560 0 0 0 0 0 0 0 16 0 1 0 150759698 13037568 520 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/28403/statm: 3183 520 333 3 0 283 0 Current children cumulated CPU time (s) 1796.77 Current children cumulated vsize (Kb) 45132 [startup+1797.21 s] /proc/loadavg: 1.00 1.00 1.00 2/68 28405 /proc/meminfo: memFree=1625688/2055920 swapFree=4182032/4192956 [pid=28398] ppid=28396 vsize=5360 CPUtime=0 /proc/28398/stat : 28398 (runpbsmodels) S 28396 28398 28349 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150759697 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28398/statm: 1340 234 195 169 0 51 0 [pid=28399] ppid=28398 vsize=12268 CPUtime=0 /proc/28399/stat : 28399 (pbsmodels-v1.31) S 28398 28398 28349 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150759697 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/28399/statm: 3067 383 293 3 0 167 0 [pid=28400] ppid=28399 vsize=5356 CPUtime=1.78 /proc/28400/stat : 28400 (sh) S 28399 28398 28349 0 -1 4194304 309 573 0 0 0 0 178 0 16 0 1 0 150759698 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28400/statm: 1339 227 188 169 0 50 0 [pid=28402] ppid=28400 vsize=9416 CPUtime=1795.99 /proc/28402/stat : 28402 (smodels-2.31) R 28400 28398 28349 0 -1 4194304 2017 0 0 0 179597 2 0 0 25 0 1 0 150759698 9641984 1981 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539285 0 0 4096 0 0 0 0 17 1 0 0 /proc/28402/statm: 2354 1981 214 21 0 1790 0 [pid=28403] ppid=28400 vsize=12732 CPUtime=0 /proc/28403/stat : 28403 (pbout.new.pl) S 28400 28398 28349 0 -1 4194304 560 0 0 0 0 0 0 0 16 0 1 0 150759698 13037568 520 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/28403/statm: 3183 520 333 3 0 283 0 Current children cumulated CPU time (s) 1797.77 Current children cumulated vsize (Kb) 45132 [startup+1798.22 s] /proc/loadavg: 1.00 1.00 1.00 2/68 28405 /proc/meminfo: memFree=1625688/2055920 swapFree=4182032/4192956 [pid=28398] ppid=28396 vsize=5360 CPUtime=0 /proc/28398/stat : 28398 (runpbsmodels) S 28396 28398 28349 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150759697 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28398/statm: 1340 234 195 169 0 51 0 [pid=28399] ppid=28398 vsize=12268 CPUtime=0 /proc/28399/stat : 28399 (pbsmodels-v1.31) S 28398 28398 28349 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150759697 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/28399/statm: 3067 383 293 3 0 167 0 [pid=28400] ppid=28399 vsize=5356 CPUtime=1.78 /proc/28400/stat : 28400 (sh) S 28399 28398 28349 0 -1 4194304 309 573 0 0 0 0 178 0 16 0 1 0 150759698 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28400/statm: 1339 227 188 169 0 50 0 [pid=28402] ppid=28400 vsize=9416 CPUtime=1797 /proc/28402/stat : 28402 (smodels-2.31) R 28400 28398 28349 0 -1 4194304 2017 0 0 0 179698 2 0 0 25 0 1 0 150759698 9641984 1981 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532935 0 0 4096 0 0 0 0 17 1 0 0 /proc/28402/statm: 2354 1981 214 21 0 1790 0 [pid=28403] ppid=28400 vsize=12732 CPUtime=0 /proc/28403/stat : 28403 (pbout.new.pl) S 28400 28398 28349 0 -1 4194304 560 0 0 0 0 0 0 0 16 0 1 0 150759698 13037568 520 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/28403/statm: 3183 520 333 3 0 283 0 Current children cumulated CPU time (s) 1798.78 Current children cumulated vsize (Kb) 45132 [startup+1799.23 s] /proc/loadavg: 1.00 1.00 1.00 2/68 28405 /proc/meminfo: memFree=1625688/2055920 swapFree=4182032/4192956 [pid=28398] ppid=28396 vsize=5360 CPUtime=0 /proc/28398/stat : 28398 (runpbsmodels) S 28396 28398 28349 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150759697 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28398/statm: 1340 234 195 169 0 51 0 [pid=28399] ppid=28398 vsize=12268 CPUtime=0 /proc/28399/stat : 28399 (pbsmodels-v1.31) S 28398 28398 28349 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150759697 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/28399/statm: 3067 383 293 3 0 167 0 [pid=28400] ppid=28399 vsize=5356 CPUtime=1.78 /proc/28400/stat : 28400 (sh) S 28399 28398 28349 0 -1 4194304 309 573 0 0 0 0 178 0 16 0 1 0 150759698 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28400/statm: 1339 227 188 169 0 50 0 [pid=28402] ppid=28400 vsize=9416 CPUtime=1798 /proc/28402/stat : 28402 (smodels-2.31) R 28400 28398 28349 0 -1 4194304 2017 0 0 0 179798 2 0 0 25 0 1 0 150759698 9641984 1981 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539660 0 0 4096 0 0 0 0 17 1 0 0 /proc/28402/statm: 2354 1981 214 21 0 1790 0 [pid=28403] ppid=28400 vsize=12732 CPUtime=0 /proc/28403/stat : 28403 (pbout.new.pl) S 28400 28398 28349 0 -1 4194304 560 0 0 0 0 0 0 0 16 0 1 0 150759698 13037568 520 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/28403/statm: 3183 520 333 3 0 283 0 Current children cumulated CPU time (s) 1799.78 Current children cumulated vsize (Kb) 45132 [startup+1800.23 s] /proc/loadavg: 1.00 1.00 1.00 2/68 28405 /proc/meminfo: memFree=1625688/2055920 swapFree=4182032/4192956 [pid=28398] ppid=28396 vsize=5360 CPUtime=0 /proc/28398/stat : 28398 (runpbsmodels) S 28396 28398 28349 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150759697 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28398/statm: 1340 234 195 169 0 51 0 [pid=28399] ppid=28398 vsize=12268 CPUtime=0 /proc/28399/stat : 28399 (pbsmodels-v1.31) S 28398 28398 28349 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150759697 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/28399/statm: 3067 383 293 3 0 167 0 [pid=28400] ppid=28399 vsize=5356 CPUtime=1.78 /proc/28400/stat : 28400 (sh) S 28399 28398 28349 0 -1 4194304 309 573 0 0 0 0 178 0 16 0 1 0 150759698 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28400/statm: 1339 227 188 169 0 50 0 [pid=28402] ppid=28400 vsize=9416 CPUtime=1799.01 /proc/28402/stat : 28402 (smodels-2.31) R 28400 28398 28349 0 -1 4194304 2017 0 0 0 179899 2 0 0 25 0 1 0 150759698 9641984 1981 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134518848 0 0 4096 0 0 0 0 17 1 0 0 /proc/28402/statm: 2354 1981 214 21 0 1790 0 [pid=28403] ppid=28400 vsize=12732 CPUtime=0 /proc/28403/stat : 28403 (pbout.new.pl) S 28400 28398 28349 0 -1 4194304 560 0 0 0 0 0 0 0 16 0 1 0 150759698 13037568 520 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/28403/statm: 3183 520 333 3 0 283 0 Current children cumulated CPU time (s) 1800.79 Current children cumulated vsize (Kb) 45132 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.23 s] /proc/loadavg: 1.00 1.00 1.00 2/68 28405 /proc/meminfo: memFree=1625688/2055920 swapFree=4182032/4192956 [pid=28398] ppid=28396 vsize=5360 CPUtime=0 /proc/28398/stat : 28398 (runpbsmodels) S 28396 28398 28349 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150759697 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28398/statm: 1340 234 195 169 0 51 0 [pid=28399] ppid=28398 vsize=12268 CPUtime=0 /proc/28399/stat : 28399 (pbsmodels-v1.31) S 28398 28398 28349 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150759697 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 253316087700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/28399/statm: 3067 383 293 3 0 167 0 [pid=28400] ppid=28399 vsize=5356 CPUtime=1.78 /proc/28400/stat : 28400 (sh) S 28399 28398 28349 0 -1 4194304 309 573 0 0 0 0 178 0 16 0 1 0 150759698 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28400/statm: 1339 227 188 169 0 50 0 [pid=28402] ppid=28400 vsize=9416 CPUtime=1799.01 /proc/28402/stat : 28402 (smodels-2.31) R 28400 28398 28349 0 -1 4194304 2017 0 0 0 179899 2 0 0 25 0 1 0 150759698 9641984 1981 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134550847 0 0 4096 0 0 0 0 17 1 0 0 /proc/28402/statm: 2354 1981 214 21 0 1790 0 [pid=28403] ppid=28400 vsize=12732 CPUtime=0 /proc/28403/stat : 28403 (pbout.new.pl) S 28400 28398 28349 0 -1 4194304 560 0 0 0 0 0 0 0 16 0 1 0 150759698 13037568 520 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 253316083810 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/28403/statm: 3183 520 333 3 0 283 0 Current children cumulated CPU time (s) 1800.79 Current children cumulated vsize (Kb) 45132 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) !!! problem with CPU time !!! wait4(...,&childrusage) returns 28398 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=999 CPU time returned by wait4() is 0.001998 while last known CPU time is 1800.79 Solver probably didn't/couldn't wait for its children Using last known CPU time as value... Real time (s): 1800.26 CPU time (s): 1800.79 CPU user time (s): 1800.77 CPU system time (s): 0.02 CPU usage (%): 100.03 Max. virtual memory (cumulated for all children) (Kb): 45132 The end
Begin job on node56 on Thu Jul 27 22:21:37 UTC 2006 FILE ID= 45528-1154038897 PBS_JOBID= 881257 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node56/45528-1154038897/instance-45528-1154038897.opb 776921173 ROOT/tmp/node56/45528-1154038897 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-45528-1154038897 -o ROOT/results/node56/solver-45528-1154038897 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node56/45528-1154038897/instance-45528-1154038897.opb 776921173 ROOT/tmp/node56/45528-1154038897 MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4 MD5SUM BENCH= a74bcf40291587dc368e3a23fd278be9 RANDOM SEED= 776921173 TIMEOUT= 1800 seconds /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.227 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.227 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: 1635208 kB Buffers: 25288 kB Cached: 343704 kB SwapCached: 4396 kB Active: 195132 kB Inactive: 183576 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1635208 kB SwapTotal: 4192956 kB SwapFree: 4182032 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14496 kB Slab: 28008 kB Committed_AS: 655904 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node56 on Thu Jul 27 22:51:37 UTC 2006