Trace number 372613

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
glpPB 0.2OPT24 574.927 575.102

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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	24

Conversion Script Data (download as text)

/tmp/evaluation/372613-1177364171/instance-372613-1177364171.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node41/watcher-372613-1177364171 -o ROOT/results/node41/solver-372613-1177364171 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/372613-1177364171/instance-372613-1177364171.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.89 0.95 0.91 3/77 32238
/proc/meminfo: memFree=1863456/2055920 swapFree=4169756/4192956
[pid=32238] ppid=32236 vsize=2644 CPUtime=0
/proc/32238/stat : 32238 (glpPBv3) R 32236 32238 31380 0 -1 0 258 0 0 0 0 0 0 0 18 0 1 0 184329046 2707456 230 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 2428631 0 0 4096 0 0 0 0 17 1 0 0
/proc/32238/statm: 661 230 192 40 0 76 0

[startup+0.0903609 s]
/proc/loadavg: 0.89 0.95 0.91 3/77 32238
/proc/meminfo: memFree=1863456/2055920 swapFree=4169756/4192956
[pid=32238] ppid=32236 vsize=4248 CPUtime=0.08
/proc/32238/stat : 32238 (glpPBv3) R 32236 32238 31380 0 -1 0 658 0 0 0 8 0 0 0 18 0 1 0 184329046 4349952 630 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 2428631 0 0 4096 0 0 0 0 17 1 0 0
/proc/32238/statm: 1062 630 199 40 0 477 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4248

[startup+0.101362 s]
/proc/loadavg: 0.89 0.95 0.91 3/77 32238
/proc/meminfo: memFree=1863456/2055920 swapFree=4169756/4192956
[pid=32238] ppid=32236 vsize=4380 CPUtime=0.09
/proc/32238/stat : 32238 (glpPBv3) R 32236 32238 31380 0 -1 0 691 0 0 0 9 0 0 0 18 0 1 0 184329046 4485120 663 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 2428631 0 0 4096 0 0 0 0 17 1 0 0
/proc/32238/statm: 1095 663 199 40 0 510 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4380

[startup+0.301379 s]
/proc/loadavg: 0.89 0.95 0.91 3/77 32238
/proc/meminfo: memFree=1863456/2055920 swapFree=4169756/4192956
[pid=32238] ppid=32236 vsize=11604 CPUtime=0.29
/proc/32238/stat : 32238 (glpPBv3) R 32236 32238 31380 0 -1 0 2595 0 0 0 29 0 0 0 19 0 1 0 184329046 11882496 2470 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/32238/statm: 2901 2470 204 40 0 2316 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11604

[startup+0.701414 s]
/proc/loadavg: 0.89 0.95 0.91 3/77 32238
/proc/meminfo: memFree=1863456/2055920 swapFree=4169756/4192956
[pid=32238] ppid=32236 vsize=19244 CPUtime=0.69
/proc/32238/stat : 32238 (glpPBv3) R 32236 32238 31380 0 -1 0 4962 0 0 0 68 1 0 0 23 0 1 0 184329046 19705856 4427 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134582410 0 0 4096 0 0 0 0 17 1 0 0
/proc/32238/statm: 4811 4427 221 40 0 4226 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19244

[startup+1.50148 s]
/proc/loadavg: 0.89 0.95 0.91 2/78 32239
/proc/meminfo: memFree=1846168/2055920 swapFree=4169756/4192956
[pid=32238] ppid=32236 vsize=19364 CPUtime=1.49
/proc/32238/stat : 32238 (glpPBv3) R 32236 32238 31380 0 -1 0 5144 0 0 0 147 2 0 0 25 0 1 0 184329046 19828736 4459 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134643284 0 0 4096 0 0 0 0 17 1 0 0
/proc/32238/statm: 4841 4459 221 40 0 4256 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19364

[startup+3.10162 s]
/proc/loadavg: 0.89 0.95 0.91 2/78 32239
/proc/meminfo: memFree=1846040/2055920 swapFree=4169756/4192956
[pid=32238] ppid=32236 vsize=19364 CPUtime=3.09
/proc/32238/stat : 32238 (glpPBv3) R 32236 32238 31380 0 -1 0 5594 0 0 0 307 2 0 0 25 0 1 0 184329046 19828736 4459 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32238/statm: 4841 4459 221 40 0 4256 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19364

[startup+6.3019 s]
/proc/loadavg: 0.90 0.95 0.91 2/78 32239
/proc/meminfo: memFree=1845400/2055920 swapFree=4169756/4192956
[pid=32238] ppid=32236 vsize=19892 CPUtime=6.29
/proc/32238/stat : 32238 (glpPBv3) R 32236 32238 31380 0 -1 0 7541 0 0 0 626 3 0 0 25 0 1 0 184329046 20369408 4591 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134583698 0 0 4096 0 0 0 0 17 1 0 0
/proc/32238/statm: 4973 4591 221 40 0 4388 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19892

[startup+12.7015 s]
/proc/loadavg: 0.91 0.95 0.91 2/78 32239
/proc/meminfo: memFree=1845336/2055920 swapFree=4169756/4192956
[pid=32238] ppid=32236 vsize=19892 CPUtime=12.69
/proc/32238/stat : 32238 (glpPBv3) R 32236 32238 31380 0 -1 0 9791 0 0 0 1265 4 0 0 25 0 1 0 184329046 20369408 4591 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134643606 0 0 4096 0 0 0 0 17 1 0 0
/proc/32238/statm: 4973 4591 221 40 0 4388 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19892

[startup+25.5016 s]
/proc/loadavg: 0.93 0.96 0.91 2/78 32239
/proc/meminfo: memFree=1845336/2055920 swapFree=4169756/4192956
[pid=32238] ppid=32236 vsize=19892 CPUtime=25.49
/proc/32238/stat : 32238 (glpPBv3) R 32236 32238 31380 0 -1 0 15191 0 0 0 2541 8 0 0 25 0 1 0 184329046 20369408 4591 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134581732 0 0 4096 0 0 0 0 17 1 0 0
/proc/32238/statm: 4973 4591 221 40 0 4388 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19892

[startup+51.1018 s]
/proc/loadavg: 0.95 0.96 0.91 2/78 32239
/proc/meminfo: memFree=1838872/2055920 swapFree=4169756/4192956
[pid=32238] ppid=32236 vsize=26384 CPUtime=51.07
/proc/32238/stat : 32238 (glpPBv3) R 32236 32238 31380 0 -1 0 36504 0 0 0 5090 17 0 0 25 0 1 0 184329046 27017216 6220 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134626346 0 0 4096 0 0 0 0 17 1 0 0
/proc/32238/statm: 6596 6220 227 40 0 6011 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 26384

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.91 2/78 32239
/proc/meminfo: memFree=1835736/2055920 swapFree=4169756/4192956
[pid=32238] ppid=32236 vsize=29884 CPUtime=102.27
/proc/32238/stat : 32238 (glpPBv3) R 32236 32238 31380 0 -1 0 88400 0 0 0 10186 41 0 0 25 0 1 0 184329046 30601216 7063 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134643172 0 0 4096 0 0 0 0 17 1 0 0
/proc/32238/statm: 7471 7063 227 40 0 6886 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 29884

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 32239
/proc/meminfo: memFree=1838872/2055920 swapFree=4169756/4192956
[pid=32238] ppid=32236 vsize=26384 CPUtime=162.25
/proc/32238/stat : 32238 (glpPBv3) R 32236 32238 31380 0 -1 0 139452 0 0 0 16158 67 0 0 25 0 1 0 184329046 27017216 6220 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 1 0 0
/proc/32238/statm: 6596 6220 227 40 0 6011 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 26384

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 32241
/proc/meminfo: memFree=1838936/2055920 swapFree=4169756/4192956
[pid=32238] ppid=32236 vsize=26568 CPUtime=222.24
/proc/32238/stat : 32238 (glpPBv3) R 32236 32238 31380 0 -1 0 399864 0 0 0 22038 186 0 0 25 0 1 0 184329046 27205632 6266 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 2428631 0 0 4096 0 0 0 0 17 1 0 0
/proc/32238/statm: 6642 6266 227 40 0 6057 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 26568

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 32241
/proc/meminfo: memFree=1838936/2055920 swapFree=4169756/4192956
[pid=32238] ppid=32236 vsize=29944 CPUtime=282.22
/proc/32238/stat : 32238 (glpPBv3) R 32236 32238 31380 0 -1 0 925486 0 0 0 27804 418 0 0 25 0 1 0 184329046 30662656 7078 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134585139 0 0 4096 0 0 0 0 17 1 0 0
/proc/32238/statm: 7486 7078 227 40 0 6901 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 29944

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 32241
/proc/meminfo: memFree=1838872/2055920 swapFree=4169756/4192956
[pid=32238] ppid=32236 vsize=26384 CPUtime=342.21
/proc/32238/stat : 32238 (glpPBv3) R 32236 32238 31380 0 -1 0 1500741 0 0 0 33549 672 0 0 25 0 1 0 184329046 27017216 6220 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32238/statm: 6596 6220 227 40 0 6011 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 26384

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 32241
/proc/meminfo: memFree=1838936/2055920 swapFree=4169756/4192956
[pid=32238] ppid=32236 vsize=26568 CPUtime=402.2
/proc/32238/stat : 32238 (glpPBv3) R 32236 32238 31380 0 -1 0 1974795 0 0 0 39337 883 0 0 25 0 1 0 184329046 27205632 6266 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134542262 0 0 4096 0 0 0 0 17 1 0 0
/proc/32238/statm: 6642 6266 227 40 0 6057 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 26568

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 32241
/proc/meminfo: memFree=1835160/2055920 swapFree=4169756/4192956
[pid=32238] ppid=32236 vsize=29792 CPUtime=462.18
/proc/32238/stat : 32238 (glpPBv3) R 32236 32238 31380 0 -1 0 2314624 0 0 0 45182 1036 0 0 25 0 1 0 184329046 30507008 7063 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134641498 0 0 4096 0 0 0 0 17 1 0 0
/proc/32238/statm: 7448 7063 227 40 0 6863 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 29792

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 32241
/proc/meminfo: memFree=1835416/2055920 swapFree=4169756/4192956
[pid=32238] ppid=32236 vsize=30184 CPUtime=522.16
/proc/32238/stat : 32238 (glpPBv3) R 32236 32238 31380 0 -1 0 2991065 0 0 0 50891 1325 0 0 25 0 1 0 184329046 30908416 7170 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134643494 0 0 4096 0 0 0 0 17 1 0 0
/proc/32238/statm: 7546 7170 227 40 0 6961 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 30184

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

[startup+537.501 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 32241
/proc/meminfo: memFree=1835416/2055920 swapFree=4169756/4192956
[pid=32238] ppid=32236 vsize=30184 CPUtime=537.36
/proc/32238/stat : 32238 (glpPBv3) R 32236 32238 31380 0 -1 0 3028743 0 0 0 52393 1343 0 0 25 0 1 0 184329046 30908416 7170 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134643347 0 0 4096 0 0 0 0 17 1 0 0
/proc/32238/statm: 7546 7170 227 40 0 6961 0
Current children cumulated CPU time (s) 537.36
Current children cumulated vsize (KiB) 30184

[startup+550.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 32241
/proc/meminfo: memFree=1838680/2055920 swapFree=4169756/4192956
[pid=32238] ppid=32236 vsize=26384 CPUtime=550.16
/proc/32238/stat : 32238 (glpPBv3) R 32236 32238 31380 0 -1 0 3083967 0 0 0 53648 1368 0 0 25 0 1 0 184329046 27017216 6220 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32238/statm: 6596 6220 227 40 0 6011 0
Current children cumulated CPU time (s) 550.16
Current children cumulated vsize (KiB) 26384

[startup+563.101 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 32241
/proc/meminfo: memFree=1835480/2055920 swapFree=4169756/4192956
[pid=32238] ppid=32236 vsize=30184 CPUtime=562.96
/proc/32238/stat : 32238 (glpPBv3) R 32236 32238 31380 0 -1 0 3165277 0 0 0 54894 1402 0 0 25 0 1 0 184329046 30908416 7138 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134643614 0 0 4096 0 0 0 0 17 1 0 0
/proc/32238/statm: 7546 7138 227 40 0 6961 0
Current children cumulated CPU time (s) 562.96
Current children cumulated vsize (KiB) 30184

[startup+569.502 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 32241
/proc/meminfo: memFree=1838744/2055920 swapFree=4169756/4192956
[pid=32238] ppid=32236 vsize=26752 CPUtime=569.35
/proc/32238/stat : 32238 (glpPBv3) R 32236 32238 31380 0 -1 0 3235349 0 0 0 55504 1431 0 0 25 0 1 0 184329046 27394048 6312 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/32238/statm: 6688 6312 227 40 0 6103 0
Current children cumulated CPU time (s) 569.35
Current children cumulated vsize (KiB) 26752

[startup+572.701 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 32241
/proc/meminfo: memFree=1835096/2055920 swapFree=4169756/4192956
[pid=32238] ppid=32236 vsize=30184 CPUtime=572.55
/proc/32238/stat : 32238 (glpPBv3) R 32236 32238 31380 0 -1 0 3245217 0 0 0 55820 1435 0 0 25 0 1 0 184329046 30908416 7170 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134643557 0 0 4096 0 0 0 0 17 1 0 0
/proc/32238/statm: 7546 7170 227 40 0 6961 0
Current children cumulated CPU time (s) 572.55
Current children cumulated vsize (KiB) 30184

[startup+574.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 32241
/proc/meminfo: memFree=1838744/2055920 swapFree=4169756/4192956
[pid=32238] ppid=32236 vsize=26752 CPUtime=574.15
/proc/32238/stat : 32238 (glpPBv3) R 32236 32238 31380 0 -1 0 3273665 0 0 0 55967 1448 0 0 25 0 1 0 184329046 27394048 6312 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134626399 0 0 4096 0 0 0 0 17 1 0 0
/proc/32238/statm: 6688 6312 227 40 0 6103 0
Current children cumulated CPU time (s) 574.15
Current children cumulated vsize (KiB) 26752

[startup+574.701 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 32241
/proc/meminfo: memFree=1838744/2055920 swapFree=4169756/4192956
[pid=32238] ppid=32236 vsize=30184 CPUtime=574.55
/proc/32238/stat : 32238 (glpPBv3) R 32236 32238 31380 0 -1 0 3277217 0 0 0 56006 1449 0 0 25 0 1 0 184329046 30908416 7138 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134587126 0 0 4096 0 0 0 0 17 1 0 0
/proc/32238/statm: 7546 7138 227 40 0 6961 0
Current children cumulated CPU time (s) 574.55
Current children cumulated vsize (KiB) 30184

[startup+575.101 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 32241
/proc/meminfo: memFree=1838744/2055920 swapFree=4169756/4192956
[pid=32238] ppid=32236 vsize=0 CPUtime=574.92
/proc/32238/stat : 32238 (glpPBv3) D 32236 32238 31380 0 -1 4 3277678 0 0 0 56042 1450 0 0 17 0 1 0 184329046 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744072100051646 0 0 17 1 0 0
/proc/32238/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 574.92
Current children cumulated vsize (KiB) 0

Child status: 30
Real time (s): 575.102
CPU time (s): 574.927
CPU user time (s): 560.422
CPU system time (s): 14.5048
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 30912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 560.422
system time used= 14.5048
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3277678
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= 14
involuntary context switches= 12058

runsolver used 0.498924 second user time and 1.34879 second system time

The end

Launcher Data (download as text)

Begin job on node41 on Mon Apr 23 21:36:12 UTC 2007

IDJOB= 372613
IDBENCH= 24984
IDSOLVER= 166
FILE ID= node41/372613-1177364171

PBS_JOBID= 4675233

Free space on /tmp= 66345 MiB

SOLVER NAME= glpPB 0.2
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_019_area_delay.opb
COMMAND LINE= glpPBv3 /tmp/evaluation/372613-1177364171/instance-372613-1177364171.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node41/convwatcher-372613-1177364171 -o ROOT/results/node41/conversion-372613-1177364171 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372613-1177364171/instance-372613-1177364171.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node41/watcher-372613-1177364171 -o ROOT/results/node41/solver-372613-1177364171 -C 1800 -W 3600 -M 1800 --output-limit 1,15  glpPBv3 /tmp/evaluation/372613-1177364171/instance-372613-1177364171.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  0b594d74f3df9901bfa97fac996b1847

RANDOM SEED= 725532252

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1863800 kB
Buffers:         36300 kB
Cached:          79024 kB
SwapCached:       2724 kB
Active:          42280 kB
Inactive:        97276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1863800 kB
SwapTotal:     4192956 kB
SwapFree:      4169756 kB
Dirty:            3144 kB
Writeback:           0 kB
Mapped:          32164 kB
Slab:            37804 kB
Committed_AS:  3416060 kB
PageTables:       2012 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= 66345 MiB

End job on node41 on Mon Apr 23 21:45:47 UTC 2007