Trace number 372612

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
Pueblo 1.4SAT28 1782.74 1783.49

General information on the benchmark

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

Verifier Data (download as text)

OK	28

Conversion Script Data (download as text)

/tmp/evaluation/372612-1177112916/instance-372612-1177112916.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node33/watcher-372612-1177112916 -o ROOT/results/node33/solver-372612-1177112916 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/372612-1177112916/instance-372612-1177112916.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 16140
/proc/meminfo: memFree=1705088/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=2552 CPUtime=0
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 159207134 2613248 232 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 11411159 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 638 232 193 16 0 77 0

[startup+0.028355 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 16140
/proc/meminfo: memFree=1705088/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=3084 CPUtime=0.02
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 412 0 0 0 2 0 0 0 18 0 1 0 159207134 3158016 382 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 11380347 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 771 384 199 16 0 210 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3084

[startup+0.101369 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 16140
/proc/meminfo: memFree=1705088/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=4148 CPUtime=0.09
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 687 0 0 0 9 0 0 0 18 0 1 0 159207134 4247552 657 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 1037 657 199 16 0 476 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4148

[startup+0.30141 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 16140
/proc/meminfo: memFree=1705088/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=7184 CPUtime=0.29
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 1409 0 0 0 29 0 0 0 19 0 1 0 159207134 7356416 1379 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134532045 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 1796 1379 203 16 0 1235 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7184

[startup+0.702493 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 16140
/proc/meminfo: memFree=1705088/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=8132 CPUtime=0.69
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 1652 0 0 0 68 1 0 0 22 0 1 0 159207134 8327168 1622 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 2033 1622 205 16 0 1472 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8132

[startup+1.50166 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16141
/proc/meminfo: memFree=1699320/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=8132 CPUtime=1.49
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 1652 0 0 0 146 3 0 0 25 0 1 0 159207134 8327168 1622 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 2033 1622 205 16 0 1472 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8132

[startup+3.10199 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16141
/proc/meminfo: memFree=1699192/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=8132 CPUtime=3.1
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 1652 0 0 0 305 5 0 0 25 0 1 0 159207134 8327168 1622 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558702 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 2033 1622 205 16 0 1472 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 8132

[startup+6.30164 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 16141
/proc/meminfo: memFree=1699064/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=8132 CPUtime=6.29
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 1659 0 0 0 623 6 0 0 25 0 1 0 159207134 8327168 1629 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 2033 1629 205 16 0 1472 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8132

[startup+12.702 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16141
/proc/meminfo: memFree=1697848/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=9524 CPUtime=12.69
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 2003 0 0 0 1259 10 0 0 25 0 1 0 159207134 9752576 1973 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134557519 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 2381 1973 205 16 0 1820 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9524

[startup+25.5016 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16141
/proc/meminfo: memFree=1694136/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=13020 CPUtime=25.48
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 2874 0 0 0 2529 19 0 0 25 0 1 0 159207134 13332480 2844 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558769 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 3255 2844 205 16 0 2694 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 13020

[startup+51.1019 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16141
/proc/meminfo: memFree=1693112/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=14088 CPUtime=51.07
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 3145 0 0 0 5078 29 0 0 25 0 1 0 159207134 14426112 3115 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 3522 3115 205 16 0 2961 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 14088

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16141
/proc/meminfo: memFree=1689400/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=17824 CPUtime=102.26
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 4084 0 0 0 10180 46 0 0 25 0 1 0 159207134 18251776 4054 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 4456 4054 205 16 0 3895 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 17824

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16141
/proc/meminfo: memFree=1684536/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=22904 CPUtime=162.24
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 5302 0 0 0 16162 62 0 0 25 0 1 0 159207134 23453696 5272 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527658 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 5726 5272 205 16 0 5165 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 22904

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16141
/proc/meminfo: memFree=1681720/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=25680 CPUtime=222.21
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 6000 0 0 0 22140 81 0 0 25 0 1 0 159207134 26296320 5970 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 6420 5970 205 16 0 5859 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 25680

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16141
/proc/meminfo: memFree=1681656/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=25680 CPUtime=282.19
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 6003 0 0 0 28126 93 0 0 25 0 1 0 159207134 26296320 5973 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559115 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 6420 5973 205 16 0 5859 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 25680

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16141
/proc/meminfo: memFree=1681656/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=25680 CPUtime=342.17
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 6011 0 0 0 34110 107 0 0 25 0 1 0 159207134 26296320 5981 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 6420 5981 205 16 0 5859 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 25680

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16141
/proc/meminfo: memFree=1681592/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=25680 CPUtime=402.14
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 6011 0 0 0 40090 124 0 0 25 0 1 0 159207134 26296320 5981 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527973 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 6420 5981 205 16 0 5859 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 25680

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16141
/proc/meminfo: memFree=1681592/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=25680 CPUtime=462.13
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 6011 0 0 0 46073 140 0 0 25 0 1 0 159207134 26296320 5981 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 6420 5981 205 16 0 5859 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 25680

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16141
/proc/meminfo: memFree=1681592/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=25680 CPUtime=522.11
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 6011 0 0 0 52048 163 0 0 25 0 1 0 159207134 26296320 5981 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 6420 5981 205 16 0 5859 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 25680

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16141
/proc/meminfo: memFree=1678968/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=28300 CPUtime=582.09
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 6669 0 0 0 58029 180 0 0 25 0 1 0 159207134 28979200 6639 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 7075 6639 205 16 0 6514 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 28300

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16141
/proc/meminfo: memFree=1676792/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=30556 CPUtime=642.06
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 7211 0 0 0 64011 195 0 0 25 0 1 0 159207134 31289344 7181 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 7639 7181 205 16 0 7078 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 30556


################
# More data... #
################

/proc/meminfo: memFree=1675448/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=31604 CPUtime=881.87
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 7470 0 0 0 87926 261 0 0 25 0 1 0 159207134 32362496 7440 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 7901 7440 205 16 0 7340 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 31604

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16339
/proc/meminfo: memFree=1675448/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=31604 CPUtime=941.84
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 7470 0 0 0 93906 278 0 0 25 0 1 0 159207134 32362496 7440 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 7901 7440 205 16 0 7340 0
Current children cumulated CPU time (s) 941.84
Current children cumulated vsize (KiB) 31604

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16339
/proc/meminfo: memFree=1675256/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=32148 CPUtime=1001.82
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 7568 0 0 0 99887 295 0 0 25 0 1 0 159207134 32919552 7538 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 8037 7538 205 16 0 7476 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 32148

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16339
/proc/meminfo: memFree=1674168/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=33264 CPUtime=1061.8
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 7841 0 0 0 105870 310 0 0 25 0 1 0 159207134 34062336 7811 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 8316 7811 205 16 0 7755 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 33264

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16339
/proc/meminfo: memFree=1674040/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=33700 CPUtime=1121.78
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 7895 0 0 0 111856 322 0 0 25 0 1 0 159207134 34508800 7865 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 8425 7865 205 16 0 7864 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 33700

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16339
/proc/meminfo: memFree=1670584/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=37120 CPUtime=1181.76
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 8766 0 0 0 117834 342 0 0 25 0 1 0 159207134 38010880 8736 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 9280 8736 205 16 0 8719 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 37120

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16339
/proc/meminfo: memFree=1670584/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=36960 CPUtime=1241.74
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 8766 0 0 0 123812 362 0 0 25 0 1 0 159207134 37847040 8719 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 9240 8719 205 16 0 8679 0
Current children cumulated CPU time (s) 1241.74
Current children cumulated vsize (KiB) 36960

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16339
/proc/meminfo: memFree=1670584/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=36960 CPUtime=1301.72
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 8766 0 0 0 129788 384 0 0 25 0 1 0 159207134 37847040 8719 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 9240 8719 205 16 0 8679 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 36960

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16339
/proc/meminfo: memFree=1670584/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=36960 CPUtime=1361.69
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 8767 0 0 0 135763 406 0 0 25 0 1 0 159207134 37847040 8720 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134557772 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 9240 8720 205 16 0 8679 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 36960

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16339
/proc/meminfo: memFree=1667832/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=39976 CPUtime=1421.68
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 9469 0 0 0 141741 427 0 0 25 0 1 0 159207134 40935424 9422 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558602 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 9994 9422 205 16 0 9433 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 39976

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16339
/proc/meminfo: memFree=1667768/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=39976 CPUtime=1481.65
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 9469 0 0 0 147720 445 0 0 25 0 1 0 159207134 40935424 9422 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 9994 9422 205 16 0 9433 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 39976

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16339
/proc/meminfo: memFree=1667768/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=39976 CPUtime=1541.63
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 9469 0 0 0 153700 463 0 0 25 0 1 0 159207134 40935424 9422 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 9994 9422 205 16 0 9433 0
Current children cumulated CPU time (s) 1541.63
Current children cumulated vsize (KiB) 39976

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16339
/proc/meminfo: memFree=1667768/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=39976 CPUtime=1601.61
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 9469 0 0 0 159679 482 0 0 25 0 1 0 159207134 40935424 9422 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134529134 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 9994 9422 205 16 0 9433 0
Current children cumulated CPU time (s) 1601.61
Current children cumulated vsize (KiB) 39976

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16339
/proc/meminfo: memFree=1667896/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=39976 CPUtime=1661.59
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 9469 0 0 0 165657 502 0 0 25 0 1 0 159207134 40935424 9422 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 9994 9422 205 16 0 9433 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 39976

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16339
/proc/meminfo: memFree=1667832/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=39976 CPUtime=1721.56
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 9474 0 0 0 171641 515 0 0 25 0 1 0 159207134 40935424 9427 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558904 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 9994 9427 205 16 0 9433 0
Current children cumulated CPU time (s) 1721.56
Current children cumulated vsize (KiB) 39976

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16339
/proc/meminfo: memFree=1667000/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=40820 CPUtime=1781.54
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 9676 0 0 0 177625 529 0 0 25 0 1 0 159207134 41799680 9629 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 10205 9629 205 16 0 9644 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (KiB) 40820

Solver just ended. Dumping a history of the last processes samples

[startup+1783.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16339
/proc/meminfo: memFree=1667000/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=40820 CPUtime=1782.35
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 9676 0 0 0 177705 530 0 0 25 0 1 0 159207134 41799680 9629 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134556417 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 10205 9629 205 16 0 9644 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 40820

[startup+1783.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16339
/proc/meminfo: memFree=1667000/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=40820 CPUtime=1782.55
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 9676 0 0 0 177725 530 0 0 25 0 1 0 159207134 41799680 9629 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 10205 9629 205 16 0 9644 0
Current children cumulated CPU time (s) 1782.55
Current children cumulated vsize (KiB) 40820

[startup+1783.4 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16339
/proc/meminfo: memFree=1667000/2055920 swapFree=4180512/4192956
[pid=16140] ppid=16138 vsize=40820 CPUtime=1782.64
/proc/16140/stat : 16140 (Pueblo) R 16138 16140 15341 0 -1 4194304 9676 0 0 0 177734 530 0 0 25 0 1 0 159207134 41799680 9629 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16140/statm: 10205 9629 205 16 0 9644 0
Current children cumulated CPU time (s) 1782.64
Current children cumulated vsize (KiB) 40820

Child status: 10
Real time (s): 1783.49
CPU time (s): 1782.74
CPU user time (s): 1777.43
CPU system time (s): 5.31119
CPU usage (%): 99.958
Max. virtual memory (cumulated for all children) (KiB): 40820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1777.43
system time used= 5.31119
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9683
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17
involuntary context switches= 4241

runsolver used 2.20966 second user time and 4.14637 second system time

The end

Launcher Data (download as text)

Begin job on node33 on Fri Apr 20 23:48:36 UTC 2007

IDJOB= 372612
IDBENCH= 24984
IDSOLVER= 165
FILE ID= node33/372612-1177112916

PBS_JOBID= 4640422

Free space on /tmp= 66474 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_019_area_delay.opb
COMMAND LINE= Pueblo /tmp/evaluation/372612-1177112916/instance-372612-1177112916.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node33/convwatcher-372612-1177112916 -o ROOT/results/node33/conversion-372612-1177112916 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372612-1177112916/instance-372612-1177112916.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node33/watcher-372612-1177112916 -o ROOT/results/node33/solver-372612-1177112916 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/372612-1177112916/instance-372612-1177112916.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  0b594d74f3df9901bfa97fac996b1847

RANDOM SEED= 301682876

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node33.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.272
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.272
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:       1705560 kB
Buffers:         40240 kB
Cached:         211600 kB
SwapCached:       2276 kB
Active:         210200 kB
Inactive:        86312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1705560 kB
SwapTotal:     4192956 kB
SwapFree:      4180512 kB
Dirty:            2944 kB
Writeback:           0 kB
Mapped:          59556 kB
Slab:            39196 kB
Committed_AS:  1732732 kB
PageTables:       1992 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66474 MiB

End job on node33 on Sat Apr 21 00:18:20 UTC 2007