Trace number 45528

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
PB-smodels 1.31SAT (TO)-7373 1800.79 1800.26

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mzzv11.opb
MD5SUMa74bcf40291587dc368e3a23fd278be9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-7904
Best CPU time to get the best result obtained on this benchmark1800.48
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -10639
Optimality of the best value was proved NO
Number of variables11247
Total number of constraints9744
Number of constraints which are clauses77
Number of constraints which are cardinality constraints (but not clauses)5755
Number of constraints which are nor clauses,nor cardinality constraints3912
Minimum length of a constraint2
Maximum length of a constraint68
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 numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

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

Verifier Data (download as text)

OK	-7373

Watcher Data (download as text)

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

Launcher Data (download as text)

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