Trace number 372976

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.4SAT16 1782.74 1783.37

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir06_area_delay.opb
MD5SUM21fb64899a6dc4867ccfcbb30d44d536
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark206.965
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15
Optimality of the best value was proved YES
Number of variables5537
Total number of constraints15855
Number of constraints which are clauses15855
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 2646
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 2646
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 2646
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.29/0.36	c starting to Solve
0.29/0.36	c #variables read: 5537 - #constraints read: 15411
0.29/0.36	o 19
0.29/0.36	o 18
1.49/1.58	o 17
1006.21/1006.58	o 16
1782.66/1783.36	c total time              : 1783 s
1782.66/1783.36	s SATISFIABLE
1782.66/1783.36	v -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344
1782.66/1783.36	v -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386
1782.66/1783.36	v -x388 -x390 -x392 -x394 -x396 -x398 x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428
1782.66/1783.36	v -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470
1782.66/1783.36	v -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512
1782.66/1783.36	v -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554
1782.66/1783.36	v -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596
1782.66/1783.36	v -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638
1782.66/1783.36	v -x640 -x642 -x644 -x646 -x648 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679
1782.66/1783.36	v -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721
1782.66/1783.36	v -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763
1782.66/1783.36	v -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805
1782.66/1783.36	v -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847
1782.66/1783.36	v -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 x877 -x879 -x881 -x883 -x885 -x887 -x889
1782.66/1783.36	v -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931
1782.66/1783.36	v -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973
1782.66/1783.36	v -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1006 -x1008 -x1010
1782.66/1783.36	v -x1012 -x1014 x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1041 -x1043
1782.66/1783.36	v -x1045 -x1047 -x1049 -x1051 -x1053 -x1054 -x1056 -x1058 -x1060 -x1061 -x1063 -x1065 -x1066 x1067 -x1069 -x1071 -x1073
1782.66/1783.36	v x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106
1782.66/1783.36	v -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140
1782.66/1783.36	v -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174
1782.66/1783.36	v -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1189 -x1191 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206
1782.66/1783.36	v -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240
1782.66/1783.36	v -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274
1782.66/1783.36	v -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308
1782.66/1783.36	v -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342
1782.66/1783.36	v -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376
1782.66/1783.36	v -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409
1782.66/1783.36	v -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 x1443
1782.66/1783.36	v -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477
1782.66/1783.36	v -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511
1782.66/1783.36	v -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545
1782.66/1783.36	v -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579
1782.66/1783.36	v -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613
1782.66/1783.36	v -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647
1782.66/1783.36	v -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681
1782.66/1783.36	v -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715
1782.66/1783.36	v -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749
1782.66/1783.36	v -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783
1782.66/1783.36	v -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817
1782.66/1783.36	v -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 x1841 -x1843 -x1845 -x1847 -x1849 -x1851
1782.66/1783.36	v -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884
1782.66/1783.36	v -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918
1782.66/1783.36	v -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952
1782.66/1783.36	v -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986
1782.66/1783.36	v -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2017 -x2019
1782.66/1783.36	v -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053
1782.66/1783.36	v -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087
1782.66/1783.36	v -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121
1782.66/1783.36	v -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155
1782.66/1783.36	v -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189
1782.66/1783.36	v -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223
1782.66/1783.36	v -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257
1782.66/1783.36	v -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291
1782.66/1783.36	v -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325
1782.66/1783.36	v -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359
1782.66/1783.36	v -x2361 -x2363 -x2365 -x2367 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392
1782.66/1783.36	v -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426
1782.66/1783.36	v -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460
1782.66/1783.36	v -x2462 -x2464 -x2466 -x2468 -x2470 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493
1782.66/1783.36	v -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526
1782.66/1783.36	v -x2528 -x2530 -x2532 -x2534 -x2536 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559
1782.66/1783.36	v -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593
1782.66/1783.36	v -x2595 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626
1782.66/1783.36	v -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660
1782.66/1783.36	v -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694
1782.66/1783.36	v -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728
1782.66/1783.36	v -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762
1782.66/1783.36	v -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796
1782.66/1783.36	v -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830
1782.66/1783.36	v -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864
1782.66/1783.36	v -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898
1782.66/1783.36	v -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932
1782.66/1783.36	v -x2934 -x2936 -x2938 -x2940 -x2942 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2964
1782.66/1783.36	v -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998
1782.66/1783.36	v -x3000 -x3002 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031
1782.66/1783.36	v -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065
1782.66/1783.36	v -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099
1782.66/1783.36	v -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133
1782.66/1783.36	v -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167
1782.66/1783.36	v -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201
1782.66/1783.36	v -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 x3232 x3234 -x3236
1782.66/1783.36	v -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3261 -x3263 -x3265 -x3267 -x3269
1782.66/1783.36	v -x3271 -x3273 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302
1782.66/1783.36	v -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3334
1782.66/1783.36	v -x3336 -x3338 -x3339 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 -x3366
1782.66/1783.36	v -x3368 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3388 -x3390 -x3392 -x3394 -x3396 -x3398
1782.66/1783.36	v -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432
1782.66/1783.36	v -x3434 -x3435 -x3437 -x3439 -x3441 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 x3460 -x3462 -x3464
1782.66/1783.36	v -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498
1782.66/1783.36	v -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3531
1782.66/1783.36	v -x3533 -x3535 -x3537 -x3539 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564
1782.66/1783.36	v -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598
1782.66/1783.36	v -x3600 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632
1782.66/1783.36	v -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666
1782.66/1783.36	v -x3668 -x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700
1782.66/1783.36	v -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734
1782.66/1783.36	v -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768
1782.66/1783.36	v -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802
1782.66/1783.36	v -x3804 -x3806 -x3807 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834
1782.66/1783.36	v -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868
1782.66/1783.36	v -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x3900 -x3902
1782.66/1783.36	v -x3904 -x3906 -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936
1782.66/1783.36	v -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970
1782.66/1783.36	v -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x4004
1782.66/1783.36	v -x4006 -x4008 -x4009 -x4011 -x4013 -x4015 -x4017 -x4019 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4035 -x4037
1782.66/1783.36	v -x4039 -x4041 -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071
1782.66/1783.36	v -x4073 -x4075 -x4077 -x4079 -x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4094 -x4096 -x4098 -x4100 -x4101 -x4102
1782.66/1783.36	v -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136
1782.66/1783.36	v -x4138 -x4140 -x4142 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x4158 -x4160 -x4161 -x4163 -x4165 -x4167 -x4169
1782.66/1783.36	v -x4171 -x4173 -x4175 -x4177 -x4179 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x4202
1782.66/1783.36	v -x4204 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234 -x4236
1782.66/1783.36	v -x4238 -x4240 -x4242 -x4244 -x4246 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x4268 -x4270
1782.66/1783.36	v -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4295 -x4297 -x4299 -x4301 -x4303
1782.66/1783.36	v -x4305 -x4307 -x4309 -x4310 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330 -x4332 -x4334 -x4336
1782.66/1783.36	v -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x4363 -x4365 -x4367 -x4369
1782.66/1783.36	v -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 -x4400 -x4402
1782.66/1783.36	v -x4404 -x4406 -x4407 -x4409 -x4411 -x4413 -x4415 -x4417 -x4418 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 -x4434
1782.66/1783.36	v -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 -x4461 -x4463 -x4465 -x4467
1782.66/1783.36	v -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x4481 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4499 -x4501
1782.66/1783.36	v -x4503 -x4505 -x4507 -x4509 -x4511 -x4513 -x4515 -x4517 -x4519 -x4521 -x4523 -x4525 -x4527 -x4529 -x4531 -x4533 -x4535
1782.66/1783.36	v -x4537 -x4539 -x4541 -x4543 -x4545 -x4547 -x4549 -x4551 -x4553 -x4555 -x4557 -x4559 -x4561 -x4563 -x4565 -x4567 -x4569
1782.66/1783.36	v -x4571 -x4573 -x4575 -x4577 -x4579 -x4581 -x4583 -x4585 -x4587 -x4589 -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 -x4603
1782.66/1783.36	v -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 x4636
1782.66/1783.36	v -x4638 -x4640 -x4642 -x4644 -x4646 -x4648 -x4650 -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 -x4664 -x4666 -x4668 -x4670
1782.66/1783.36	v -x4672 -x4674 -x4676 -x4678 -x4680 -x4682 -x4684 -x4686 -x4688 -x4690 -x4692 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704
1782.66/1783.36	v -x4706 -x4708 -x4710 -x4712 -x4714 -x4716 -x4718 -x4720 -x4722 -x4724 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738
1782.66/1783.36	v -x4740 -x4742 -x4744 -x4746 -x4748 -x4750 -x4752 -x4754 -x4756 -x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 -x4772
1782.66/1783.36	v -x4774 -x4776 -x4778 -x4780 -x4782 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x4798 -x4800 -x4802 -x4804 -x4806
1782.66/1783.36	v -x4808 -x4810 -x4812 -x4814 -x4816 -x4818 -x4820 -x4822 -x4824 -x4826 -x4828 -x4830 -x4832 -x4834 -x4836 -x4838 -x4840
1782.66/1783.36	v -x4842 -x4844 -x4846 -x4848 -x4850 -x4852 -x4854 -x4856 -x4858 -x4860 -x4862 -x4864 -x4866 -x4868 -x4870 -x4872 -x4874
1782.66/1783.36	v -x4876 x4878 -x4880 -x4882 -x4884 -x4886 -x4888 -x4890 -x4892 -x4894 -x4896 -x4898 -x4900 -x4902 -x4904 -x4905 -x4907
1782.66/1783.36	v -x4909 -x4911 -x4913 -x4915 -x4916 -x4918 -x4920 -x4922 -x4924 -x4926 -x4928 -x4930 -x4932 -x4934 -x4936 -x4938 -x4940
1782.66/1783.36	v -x4942 -x4944 -x4946 -x4948 -x4950 -x4952 -x4954 -x4956 -x4958 -x4960 -x4962 -x4964 -x4966 -x4968 -x4970 -x4972 -x4974
1782.66/1783.36	v -x4976 -x4978 -x4980 -x4982 -x4984 -x4986 -x4988 -x4990 -x4992 -x4994 -x4996 -x4998 -x5000 -x5002 -x5004 -x5006 -x5008
1782.66/1783.36	v -x5010 -x5012 -x5014 -x5016 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 -x5031 -x5033 -x5035 -x5037 -x5039 -x5041
1782.66/1783.36	v -x5043 -x5045 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x5058 -x5060 -x5062 -x5064 -x5066 -x5068 -x5070 -x5072 -x5074
1782.66/1783.36	v -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x5096 -x5098 -x5100 -x5102 -x5104 -x5106 -x5108
1782.66/1783.36	v -x5110 -x5112 -x5114 -x5116 -x5118 -x5120 -x5122 -x5124 -x5126 -x5128 -x5130 -x5132 -x5134 -x5136 -x5138 -x5140 -x5142
1782.66/1783.36	v -x5144 -x5146 -x5148 -x5150 -x5152 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5166 -x5168 -x5170 -x5172 -x5174 -x5176
1782.66/1783.36	v -x5178 -x5180 -x5182 -x5184 -x5186 -x5188 -x5190 -x5192 -x5194 -x5196 -x5198 -x5200 -x5202 -x5204 -x5206 -x5208 -x5210
1782.66/1783.36	v -x5212 -x5214 -x5216 -x5218 -x5220 -x5222 -x5224 -x5226 -x5228 -x5230 -x5232 -x5233 -x5235 -x5237 -x5239 -x5241 -x5243
1782.66/1783.36	v -x5245 -x5247 -x5249 -x5251 -x5253 -x5255 -x5257 -x5259 -x5261 -x5263 -x5265 -x5267 -x5269 -x5271 -x5273 -x5275 -x5277
1782.66/1783.36	v -x5279 -x5281 -x5283 -x5284 -x5286 -x5288 -x5290 -x5292 -x5294 -x5296 -x5298 -x5300 -x5302 -x5304 -x5306 -x5308 -x5310
1782.66/1783.36	v -x5312 -x5314 -x5316 -x5318 -x5320 -x5322 -x5324 -x5326 -x5328 -x5330 -x5332 -x5334 -x5336 -x5338 -x5340 -x5342 -x5344
1782.66/1783.36	v -x5346 -x5348 -x5350 -x5352 -x5354 -x5356 -x5358 -x5360 -x5362 -x5364 -x5366 -x5368 -x5370 -x5372 -x5374 -x5376 -x5378
1782.66/1783.36	v -x5380 -x5382 -x5384 -x5386 -x5388 -x5390 -x5392 -x5394 -x5396 -x5398 -x5400 -x5402 -x5404 -x5406 -x5408 -x5410 -x5412
1782.66/1783.36	v -x5414 -x5416 -x5418 -x5420 -x5422 -x5424 -x5426 -x5428 -x5430 -x5432 -x5434 -x5436 -x5438 -x5440 -x5442 -x5444 -x5446
1782.66/1783.36	v -x5448 -x5450 -x5452 -x5454 -x5456 -x5458 -x5460 -x5462 -x5464 -x5466 -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480
1782.66/1783.36	v -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x5500 -x5502 -x5504 -x5506 -x5508 -x5510 -x5512 -x5514
1782.66/1783.36	v -x5516 -x5518 -x5520 -x5522 -x5524 -x5526 -x5528 -x5529 -x5531 -x5533 -x5535 -x5537 -x303 -x305 -x307 -x309 -x311 -x313
1782.66/1783.36	v -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355
1782.66/1783.36	v -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397
1782.66/1783.36	v x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x1 -x431 -x433 -x435 -x437
1782.66/1783.36	v -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479
1782.66/1783.36	v -x481 -x483 -x485 -x487 -x489 -x491 -x2 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519
1782.66/1783.36	v -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x3 -x553 -x555 -x557 -x559
1782.66/1783.36	v -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x4 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599
1782.66/1783.36	v -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x5
1782.66/1783.36	v -x641 -x643 -x645 -x647 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x6 -x668 -x670 -x672 -x674 -x676 -x678 -x680
1782.66/1783.36	v -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x7 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x8 -x710 -x712 -x714 -x716 -x718
1782.66/1783.36	v -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760
1782.66/1783.36	v -x762 -x9 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x10 -x792 -x794 -x796 -x798
1782.66/1783.36	v -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x11 -x816 -x818 -x820 -x822 -x824 -x826 -x12 -x828 -x830 -x832 -x834 -x836
1782.66/1783.36	v -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x13 -x852 -x854 -x856 -x858 -x860 -x862 -x14 -x864 -x866 -x868 -x870 -x872 -x874
1782.66/1783.36	v x15 x876 -x878 -x880 -x16 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912
1782.66/1783.36	v -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x17 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952
1782.66/1783.36	v -x18 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x19 -x978 -x980 -x982 -x984 -x986 -x20 -x988
1782.66/1783.36	v -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x21 -x1004 -x22 -x1007 -x1009 -x1011 -x1013 x1015 x23 -x1017 -x24 -x1019 -x1021
1782.66/1783.36	v -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x25 -x1039 -x1042 -x1044 -x1046 -x26 -x1048 -x1050 -x1052 -x27
1782.66/1783.36	v -x1055 -x1057 -x28 -x1059 -x1062 x29 -x1064 -x30 x31 -x1068 -x1070 -x1072 x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086
1782.66/1783.36	v -x1088 -x1090 -x1092 -x1094 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121
1782.66/1783.36	v -x1123 -x32 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x33 -x1149 -x1151 -x1153
1782.66/1783.36	v -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x34 -x1171 -x1173 -x1175 -x35 -x1177 -x1179 -x1181 -x1183 -x1185
1782.66/1783.36	v -x1187 -x36 -x37 -x1190 -x1193 -x38 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217
1782.66/1783.36	v -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251
1782.66/1783.36	v -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285
1782.66/1783.36	v -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319
1782.66/1783.36	v -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353
1782.66/1783.36	v -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387
1782.66/1783.36	v -x1389 -x1391 -x1393 -x1395 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422
1782.66/1783.36	v -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 x1442 -x1444 -x39 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456
1782.66/1783.36	v -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490
1782.66/1783.36	v -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524
1782.66/1783.36	v -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558
1782.66/1783.36	v -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x40 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592
1782.66/1783.36	v -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626
1782.66/1783.36	v -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660
1782.66/1783.36	v -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694
1782.66/1783.36	v -x41 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728
1782.66/1783.36	v -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 x42 -x1758 -x1760 -x1762
1782.66/1783.36	v -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796
1782.66/1783.36	v -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830
1782.66/1783.36	v -x1832 -x1834 -x1836 -x1838 x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864
1782.66/1783.36	v -x1867 -x1869 -x1871 -x1873 -x43 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899
1782.66/1783.36	v -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933
1782.66/1783.36	v -x44 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967
1782.66/1783.36	v -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x45 -x1993 -x1995 -x1997 -x1999 -x2001
1782.66/1783.36	v -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2018 -x46 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036
1782.66/1783.36	v -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070
1782.66/1783.36	v -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104
1782.66/1783.36	v -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x47 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138
1782.66/1783.36	v -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172
1782.66/1783.36	v -x48 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206
1782.66/1783.36	v -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x49 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240
1782.66/1783.36	v -x2242 -x2244 -x2246 x50 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 x2270 -x2272 -x2274
1782.66/1783.36	v -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x51 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308
1782.66/1783.36	v -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x52 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342
1782.66/1783.36	v -x2344 -x2346 -x53 -x2348 -x2350 -x2352 -x2354 -x2356 -x54 -x2358 -x2360 -x2362 -x2364 -x2366 -x2369 -x2371 -x2373 -x2375
1782.66/1783.36	v -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409
1782.66/1783.36	v -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443
1782.66/1783.36	v -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x55 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2472 -x2474 -x2476 -x2478
1782.66/1783.36	v -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x56 -x2498 -x2500 -x2502 -x2504 -x2507 -x2509 -x2511 -x2513
1782.66/1783.36	v -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x57 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548
1782.66/1783.36	v -x2550 -x58 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582
1782.66/1783.36	v -x2584 -x2586 -x2588 -x59 -x2590 -x2592 -x2594 -x2597 -x2599 x60 -x2601 -x2603 -x2605 -x2607 x2609 -x2611 -x2613 -x2615
1782.66/1783.36	v -x61 -x2617 -x2619 -x62 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647
1782.66/1783.36	v -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x63 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681
1782.66/1783.36	v -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x64 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x65 -x2713
1782.66/1783.36	v -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x66 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x67 -x2739 -x2741 -x68 -x2743
1782.66/1783.36	v -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x69 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 x70 x2775
1782.66/1783.36	v -x2777 -x71 -x2779 -x2781 -x2783 -x72 -x2785 -x2787 -x2789 x73 -x2791 -x2793 -x74 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805
1782.66/1783.36	v -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839
1782.66/1783.36	v -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873
1782.66/1783.36	v -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x75 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907
1782.66/1783.36	v -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x76 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941
1782.66/1783.36	v -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x77 -x2962 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977
1782.66/1783.36	v -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3004 -x3006 -x3008 -x3010 -x3012
1782.66/1783.36	v -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046
1782.66/1783.36	v -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080
1782.66/1783.36	v -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x78 -x3110 -x3112 -x3114
1782.66/1783.36	v -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148
1782.66/1783.36	v -x3150 -x79 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x80 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180
1782.66/1783.36	v -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x81 -x3204 -x3206 -x3208 -x3210 -x3212 -x3215
1782.66/1783.36	v -x82 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 x83 -x3229 x3231 x3233 -x3235 -x84 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247
1782.66/1783.36	v -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3262 -x85 -x3264 -x3266 -x3268 -x86 -x3270 -x3272 -x87 -x3275 -x88 -x3277 -x3279
1782.66/1783.36	v -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x89 -x3309 -x3311 -x90
1782.66/1783.36	v -x3313 -x3315 -x3317 -x91 -x3319 -x3321 -x3324 -x92 -x3326 -x3328 -x3330 -x3332 -x3335 x93 -x3337 -x94 -x95 -x3341 -x96
1782.66/1783.36	v -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3370 -x97 -x3372 -x3374 -x3376
1782.66/1783.36	v -x98 -x3378 -x99 -x3380 -x3382 -x3384 -x100 -x3386 -x3389 -x101 -x3391 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405
1782.66/1783.36	v -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x102 -x3423 -x3425 -x3427 -x103 -x3429 -x3431 -x3433 -x104 -x105
1782.66/1783.36	v -x3436 -x3438 -x3440 -x106 -x107 x108 -x109 -x3443 -x3445 -x3447 -x3449 x110 -x3451 -x3453 -x3455 -x3457 x3459 x111 -x112
1782.66/1783.36	v -x113 x114 -x3461 -x115 -x3463 -x3465 -x3467 -x3469 -x3471 -x116 -x3473 -x117 -x3475 -x118 -x119 -x3477 -x3479 x120 -x121
1782.66/1783.36	v x122 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513
1782.66/1783.36	v -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3532 -x3534 -x3536 -x3538 -x3541 -x3543 -x3545 -x3547 -x3549
1782.66/1783.36	v -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583
1782.66/1783.36	v -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617
1782.66/1783.36	v -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3641 -x3643 -x3645 x3647 -x3649 -x3651
1782.66/1783.36	v -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685
1782.66/1783.36	v -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719
1782.66/1783.36	v -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x123 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751
1782.66/1783.36	v -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x3785
1782.66/1783.36	v -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821
1782.66/1783.36	v -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x124 -x3845 -x3847 -x3849 -x3851 -x3853
1782.66/1783.36	v -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887
1782.66/1783.36	v -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921
1782.66/1783.36	v -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 -x125
1782.66/1783.36	v -x3955 -x3957 -x3959 -x3961 -x3963 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987
1782.66/1783.36	v -x3989 -x3991 -x3993 -x3995 -x3997 -x126 -x3999 -x4001 -x4003 -x4005 -x4007 -x4010 -x4012 -x4014 -x4016 -x4018 -x4020
1782.66/1783.36	v -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x4054
1782.66/1783.36	v -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -x4084 -x4086 -x4088
1782.66/1783.36	v -x4090 -x4092 -x4095 -x4097 -x4099 -x127 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123
1782.66/1783.36	v -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x128 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155
1782.66/1783.36	v -x4157 -x4159 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x4176 -x4178 -x4181 -x129 -x4183 -x4185 -x4187 -x4189
1782.66/1783.36	v -x4191 -x4193 -x4195 -x130 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x4215 -x4217 -x4219 -x4221
1782.66/1783.36	v -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 -x4247 -x4249 -x4251 -x4253 -x4255
1782.66/1783.36	v -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4287 -x4289
1782.66/1783.36	v -x4291 -x4293 -x4296 -x4298 -x4300 -x131 -x4302 -x4304 -x4306 -x4308 -x4311 -x4313 -x4315 -x4317 -x4319 -x4321 -x4323
1782.66/1783.36	v -x4325 -x4327 -x132 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x4352 -x4354 -x4356
1782.66/1783.36	v -x4358 -x4360 -x4362 -x4364 -x4366 -x4368 -x133 -x4370 -x4372 -x4374 -x134 -x4376 -x4378 -x4380 -x4382 -x4384 -x4387 -x4389
1782.66/1783.36	v -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x4408 -x4410 -x4412 -x4414 -x135 -x4416 x136 -x4419 -x4421 -x4423
1782.66/1783.36	v -x4425 -x4427 -x4429 -x137 -x4431 -x4433 -x4435 -x4437 -x4439 -x4441 -x138 -x4443 -x139 -x4445 -x4447 -x4450 -x4452 -x4454
1782.66/1783.36	v -x4456 -x4458 -x4460 -x4462 -x4464 -x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x4486 -x4488
1782.66/1783.36	v -x4490 -x4492 -x4494 -x4496 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522
1782.66/1783.36	v -x4524 -x4526 -x4528 -x4530 -x4532 -x4534 -x4536 -x4538 -x4540 -x4542 -x140 -x4544 -x4546 -x4548 -x4550 -x4552 -x4554
1782.66/1783.36	v -x4556 -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 -x4574 -x4576 -x4578 -x141 -x4580 -x4582 -x4584 -x4586
1782.66/1783.36	v -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x142 -x4614 -x4616 -x4618
1782.66/1783.36	v -x4620 -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 x143 -x4637 -x4639 -x144 -x145 -x146 -x4641 -x4643 -x4645 -x4647
1782.66/1783.36	v -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 -x4661 -x4663 -x4665 -x4667 -x4669 -x4671 -x147 -x4673 -x4675 -x148 -x4677 -x4679
1782.66/1783.36	v -x4681 -x149 -x150 -x4683 -x4685 x151 -x152 -x153 -x4687 -x154 -x4689 -x4691 -x4693 -x4695 -x4697 -x4699 -x4701 -x4703
1782.66/1783.36	v -x4705 -x4707 -x4709 -x4711 -x4713 -x4715 -x4717 -x4719 -x4721 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x4737
1782.66/1783.36	v -x4739 -x4741 -x4743 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 -x4757 -x4759 -x4761 -x4763 -x4765 -x4767 -x4769 -x4771
1782.66/1783.36	v -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x4785 -x4787 -x155 -x4789 -x4791 -x4793 -x4795 -x4797 -x4799 -x4801 -x4803
1782.66/1783.36	v -x4805 -x4807 -x4809 -x4811 -x4813 -x4815 -x4817 -x4819 -x4821 -x4823 -x156 -x4825 -x4827 -x4829 -x4831 -x4833 -x4835
1782.66/1783.36	v -x4837 -x4839 -x4841 -x4843 -x157 -x4845 -x4847 -x158 -x4849 -x4851 -x4853 -x4855 -x4857 -x4859 -x4861 -x4863 -x159 -x4865
1782.66/1783.36	v -x4867 x160 -x161 -x4869 -x4871 -x4873 -x4875 x4877 -x4879 -x4881 -x4883 -x4885 -x4887 -x4889 -x4891 -x4893 -x4895 -x162
1782.66/1783.36	v -x4897 -x163 x164 -x165 -x4899 -x166 -x167 x168 -x169 -x4901 -x4903 -x4906 -x4908 -x4910 -x4912 -x4914 -x170 -x171 -x4917
1782.66/1783.36	v -x172 -x4919 -x173 -x174 x175 -x4921 -x176 -x4923 -x4925 -x4927 -x4929 -x4931 -x4933 -x4935 -x4937 -x4939 -x4941 -x4943
1782.66/1783.36	v -x4945 -x4947 -x177 -x4949 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x4951 -x4953 -x4955 -x185 -x186 x187 -x188 x189 -x190
1782.66/1783.36	v x191 -x192 -x4957 -x4959 -x4961 -x4963 -x4965 -x4967 -x4969 -x4971 -x4973 -x4975 -x4977 -x4979 -x4981 -x4983 -x4985 -x4987
1782.66/1783.36	v -x4989 -x4991 -x4993 -x4995 -x4997 -x4999 -x5001 -x5003 -x5005 -x5007 -x5009 -x5011 -x5013 -x5015 -x5018 -x5020 -x5022
1782.66/1783.36	v -x5024 -x5026 -x5028 -x5030 -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 -x193 -x5044 -x5047 -x5049 -x5051 -x5053 -x5055
1782.66/1783.36	v -x5057 -x5059 -x5061 -x5063 -x5065 -x5067 -x194 -x5069 -x5071 -x5073 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087
1782.66/1783.36	v -x5089 -x195 -x5091 -x5093 -x5095 -x196 -x5097 -x5099 -x5101 -x5103 -x5105 -x5107 -x5109 -x5111 -x5113 -x5115 -x5117 -x5119
1782.66/1783.36	v -x5121 -x5123 -x5125 -x5127 -x5129 -x5131 -x5133 -x5135 -x5137 -x5139 -x5141 -x5143 -x5145 -x5147 -x5149 -x5151 -x5153
1782.66/1783.36	v -x5155 -x5157 -x5159 -x5161 -x5163 -x5165 -x5167 -x5169 -x5171 -x5173 x197 -x5175 -x5177 -x5179 -x5181 -x5183 -x5185 -x5187
1782.66/1783.36	v -x5189 -x5191 -x5193 -x5195 -x198 -x5197 -x5199 -x5201 -x5203 -x5205 -x5207 -x5209 -x5211 -x199 -x5213 -x5215 x200 -x5217
1782.66/1783.36	v -x5219 -x5221 -x5223 -x5225 -x5227 -x5229 -x201 -x5231 -x202 -x5234 -x203 -x5236 -x5238 -x5240 -x5242 -x5244 -x5246 -x5248
1782.66/1783.36	v -x5250 -x5252 -x5254 -x5256 -x5258 -x5260 -x5262 -x5264 -x5266 -x5268 -x5270 -x5272 -x5274 -x5276 -x5278 -x5280 -x5282
1782.66/1783.36	v -x5285 -x5287 -x5289 -x5291 -x5293 -x5295 -x5297 -x5299 -x5301 -x5303 -x5305 -x5307 -x5309 -x5311 -x5313 -x5315 -x204
1782.66/1783.36	v -x5317 -x5319 -x5321 -x5323 -x5325 -x5327 -x205 -x5329 -x5331 -x5333 -x5335 -x5337 -x5339 -x5341 -x5343 -x5345 -x5347
1782.66/1783.36	v -x206 -x5349 -x5351 -x207 -x5353 -x5355 x208 -x5357 -x209 -x210 -x211 -x5359 -x5361 -x5363 -x5365 -x5367 -x212 -x213 -x214
1782.66/1783.36	v -x215 -x216 x217 -x218 -x5369 -x219 -x5371 -x5373 -x5375 -x5377 -x5379 -x5381 -x5383 -x5385 -x5387 -x5389 -x5391 -x5393
1782.66/1783.36	v -x5395 -x5397 -x5399 -x5401 -x5403 -x5405 -x5407 -x5409 -x5411 -x5413 -x5415 -x5417 -x5419 -x5421 -x5423 -x5425 -x5427
1782.66/1783.36	v -x5429 -x5431 -x5433 -x5435 -x5437 -x5439 -x5441 x220 -x5443 -x5445 -x5447 -x5449 -x5451 -x5453 -x5455 -x5457 -x5459 -x5461
1782.66/1783.36	v -x221 -x5463 -x5465 -x5467 -x5469 -x5471 -x5473 -x222 -x5475 -x223 -x5477 -x5479 -x5481 -x224 -x225 x226 -x227 -x5483 -x5485
1782.66/1783.36	v -x5487 -x5489 -x5491 -x5493 -x228 x229 x230 -x231 -x232 -x233 x234 x235 -x5495 -x5497 -x5499 -x236 -x237 -x238 -x239 x240
1782.66/1783.36	v -x241 -x242 -x243 -x5501 x244 -x245 -x246 -x247 x248 -x249 x250 x251 -x5503 -x5505 -x5507 -x5509 -x252 x253 -x5511 -x5513
1782.66/1783.36	v -x5515 x254 -x255 -x256 -x5517 -x5519 -x5521 -x5523 -x5525 -x257 -x258 x259 -x260 x261 x262 x263 -x264 -x5527 -x5530 -x5532
1782.66/1783.36	v -x265 -x266 x267 -x268 -x269 x270 -x271 x272 x273 -x274 -x275 x276 x277 x278 -x279 -x5534 -x5536 -x280 -x281 -x282 -x283 -x284
1782.66/1783.36	v x285 x286 -x287 -x288 -x289 x290 -x291 x292 x293 -x294 -x295 -x296 x297 -x298 -x299 x300 x301 x302

Verifier Data (download as text)

OK	16

Conversion Script Data (download as text)

/tmp/evaluation/372976-1177152189/instance-372976-1177152189.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/node24/watcher-372976-1177152189 -o ROOT/results/node24/solver-372976-1177152189 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/372976-1177152189/instance-372976-1177152189.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: 1.07 1.02 1.00 3/77 28331
/proc/meminfo: memFree=1434760/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=2552 CPUtime=0
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 261 0 0 0 0 0 0 0 18 0 1 0 163136943 2613248 231 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 3040891 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 638 232 193 16 0 77 0

[startup+0.0373019 s]
/proc/loadavg: 1.07 1.02 1.00 3/77 28331
/proc/meminfo: memFree=1434760/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=3216 CPUtime=0.03
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 434 0 0 0 3 0 0 0 18 0 1 0 163136943 3293184 404 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134546743 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 804 404 199 16 0 243 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3216

[startup+0.101308 s]
/proc/loadavg: 1.07 1.02 1.00 3/77 28331
/proc/meminfo: memFree=1434760/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=4016 CPUtime=0.09
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 644 0 0 0 9 0 0 0 18 0 1 0 163136943 4112384 614 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 3071703 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 1004 614 199 16 0 443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4016

[startup+0.301332 s]
/proc/loadavg: 1.07 1.02 1.00 3/77 28331
/proc/meminfo: memFree=1434760/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=6236 CPUtime=0.29
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 1153 0 0 0 29 0 0 0 19 0 1 0 163136943 6385664 1123 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 3040891 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 1559 1123 204 16 0 998 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6236

[startup+0.701373 s]
/proc/loadavg: 1.07 1.02 1.00 3/77 28331
/proc/meminfo: memFree=1434760/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=6636 CPUtime=0.69
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 1277 0 0 0 66 3 0 0 23 0 1 0 163136943 6795264 1247 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 1659 1247 205 16 0 1098 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6636

[startup+1.50146 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 28332
/proc/meminfo: memFree=1430528/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=6636 CPUtime=1.49
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 1277 0 0 0 144 5 0 0 25 0 1 0 163136943 6795264 1247 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559503 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 1659 1247 205 16 0 1098 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6636

[startup+3.10163 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 28332
/proc/meminfo: memFree=1430336/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=6636 CPUtime=3.09
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 1277 0 0 0 302 7 0 0 25 0 1 0 163136943 6795264 1247 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 1659 1247 205 16 0 1098 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6636

[startup+6.30197 s]
/proc/loadavg: 1.07 1.02 1.00 3/78 28332
/proc/meminfo: memFree=1430144/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=7244 CPUtime=6.29
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 1407 0 0 0 620 9 0 0 25 0 1 0 163136943 7417856 1377 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 1811 1377 205 16 0 1250 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7244

[startup+12.7017 s]
/proc/loadavg: 1.06 1.01 1.00 2/78 28332
/proc/meminfo: memFree=1428160/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=8848 CPUtime=12.69
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 1823 0 0 0 1257 12 0 0 25 0 1 0 163136943 9060352 1793 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 2212 1793 205 16 0 1651 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8848

[startup+25.501 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 28332
/proc/meminfo: memFree=1428032/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=9212 CPUtime=25.49
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 1906 0 0 0 2530 19 0 0 25 0 1 0 163136943 9433088 1876 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 2303 1876 205 16 0 1742 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 9212

[startup+51.1018 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 28332
/proc/meminfo: memFree=1425472/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=11788 CPUtime=51.08
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 2527 0 0 0 5069 39 0 0 25 0 1 0 163136943 12070912 2497 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 2947 2497 205 16 0 2386 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 11788

[startup+102.305 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 28332
/proc/meminfo: memFree=1423872/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=13400 CPUtime=102.27
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 2920 0 0 0 10165 62 0 0 25 0 1 0 163136943 13721600 2890 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 3350 2890 205 16 0 2789 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 13400

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28332
/proc/meminfo: memFree=1423360/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=13756 CPUtime=162.24
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 3032 0 0 0 16127 97 0 0 25 0 1 0 163136943 14086144 3002 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 3439 3002 205 16 0 2878 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 13756

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28332
/proc/meminfo: memFree=1420864/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=16444 CPUtime=222.23
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 3676 0 0 0 22098 125 0 0 25 0 1 0 163136943 16838656 3646 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 4111 3646 205 16 0 3550 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 16444

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28332
/proc/meminfo: memFree=1420096/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=17020 CPUtime=282.21
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 3838 0 0 0 28072 149 0 0 25 0 1 0 163136943 17428480 3808 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 4255 3808 205 16 0 3694 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 17020

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28332
/proc/meminfo: memFree=1420160/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=17020 CPUtime=342.19
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 3838 0 0 0 34020 199 0 0 25 0 1 0 163136943 17428480 3808 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134516725 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 4255 3808 205 16 0 3694 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 17020

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28332
/proc/meminfo: memFree=1420160/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=17020 CPUtime=402.17
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 3838 0 0 0 39990 227 0 0 25 0 1 0 163136943 17428480 3808 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558937 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 4255 3808 205 16 0 3694 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 17020

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28332
/proc/meminfo: memFree=1415168/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=22212 CPUtime=462.16
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 5093 0 0 0 45971 245 0 0 25 0 1 0 163136943 22745088 5063 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559402 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 5553 5063 205 16 0 4992 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 22212

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28332
/proc/meminfo: memFree=1412608/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=24780 CPUtime=522.14
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 5737 0 0 0 51955 259 0 0 25 0 1 0 163136943 25374720 5707 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 6195 5707 205 16 0 5634 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 24780

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28332
/proc/meminfo: memFree=1412608/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=24948 CPUtime=582.12
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 5743 0 0 0 57937 275 0 0 25 0 1 0 163136943 25546752 5713 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134520108 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 6237 5713 205 16 0 5676 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 24948

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28332
/proc/meminfo: memFree=1412608/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=24948 CPUtime=642.11
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 5746 0 0 0 63910 301 0 0 25 0 1 0 163136943 25546752 5716 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 6237 5716 205 16 0 5676 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 24948


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

/proc/meminfo: memFree=1412608/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=24948 CPUtime=822.05
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 5748 0 0 0 81829 376 0 0 25 0 1 0 163136943 25546752 5718 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 6237 5718 205 16 0 5676 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 24948

[startup+882.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 28332
/proc/meminfo: memFree=1412608/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=24948 CPUtime=882.04
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 5748 0 0 0 87805 399 0 0 25 0 1 0 163136943 25546752 5718 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 6237 5718 205 16 0 5676 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 24948

[startup+942.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 28332
/proc/meminfo: memFree=1412608/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=24948 CPUtime=942.02
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 5748 0 0 0 93781 421 0 0 25 0 1 0 163136943 25546752 5718 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 6237 5718 205 16 0 5676 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 24948

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28332
/proc/meminfo: memFree=1412608/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=24948 CPUtime=1002.01
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 5753 0 0 0 99761 440 0 0 25 0 1 0 163136943 25546752 5723 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 6237 5723 205 16 0 5676 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 24948

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28332
/proc/meminfo: memFree=1412544/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=24948 CPUtime=1061.99
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 5753 0 0 0 105734 465 0 0 25 0 1 0 163136943 25546752 5723 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 6237 5723 205 16 0 5676 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 24948

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 28508
/proc/meminfo: memFree=1411272/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=24948 CPUtime=1121.87
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 5753 0 0 0 111702 485 0 0 25 0 1 0 163136943 25546752 5723 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 6237 5723 205 16 0 5676 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 24948

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28530
/proc/meminfo: memFree=1407616/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=29644 CPUtime=1181.84
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 6936 0 0 0 117682 502 0 0 25 0 1 0 163136943 30355456 6906 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134557772 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 7411 6906 205 16 0 6850 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 29644

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28530
/proc/meminfo: memFree=1407616/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=29644 CPUtime=1241.82
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 6939 0 0 0 123660 522 0 0 25 0 1 0 163136943 30355456 6909 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 7411 6909 205 16 0 6850 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 29644

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28530
/proc/meminfo: memFree=1407616/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=29428 CPUtime=1301.81
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 6939 0 0 0 129641 540 0 0 25 0 1 0 163136943 30134272 6865 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558904 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 7357 6865 205 16 0 6796 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 29428

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28530
/proc/meminfo: memFree=1407616/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=29428 CPUtime=1361.79
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 6939 0 0 0 135615 564 0 0 25 0 1 0 163136943 30134272 6865 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 7357 6865 205 16 0 6796 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 29428

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28530
/proc/meminfo: memFree=1407808/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=29428 CPUtime=1421.78
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 6940 0 0 0 141590 588 0 0 25 0 1 0 163136943 30134272 6866 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 7357 6866 205 16 0 6796 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 29428

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28530
/proc/meminfo: memFree=1407872/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=29428 CPUtime=1481.75
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 6940 0 0 0 147568 607 0 0 25 0 1 0 163136943 30134272 6866 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559170 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 7357 6866 205 16 0 6796 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 29428

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28530
/proc/meminfo: memFree=1408000/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=29428 CPUtime=1541.74
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 6943 0 0 0 153551 623 0 0 25 0 1 0 163136943 30134272 6869 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528061 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 7357 6869 205 16 0 6796 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 29428

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28530
/proc/meminfo: memFree=1407936/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=29428 CPUtime=1601.72
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 6943 0 0 0 159535 637 0 0 25 0 1 0 163136943 30134272 6869 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 7357 6869 205 16 0 6796 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 29428

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28530
/proc/meminfo: memFree=1407936/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=29428 CPUtime=1661.7
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 6943 0 0 0 165520 650 0 0 25 0 1 0 163136943 30134272 6869 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 7357 6869 205 16 0 6796 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 29428

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28530
/proc/meminfo: memFree=1407936/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=29428 CPUtime=1721.68
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 6943 0 0 0 171503 665 0 0 25 0 1 0 163136943 30134272 6869 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528061 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 7357 6869 205 16 0 6796 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 29428

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28530
/proc/meminfo: memFree=1407936/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=29428 CPUtime=1781.67
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 6943 0 0 0 177487 680 0 0 25 0 1 0 163136943 30134272 6869 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134553145 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 7357 6869 205 16 0 6796 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 29428

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

[startup+1783.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28530
/proc/meminfo: memFree=1407936/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=29428 CPUtime=1782.47
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 6943 0 0 0 177567 680 0 0 25 0 1 0 163136943 30134272 6869 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528842 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 7357 6869 205 16 0 6796 0
Current children cumulated CPU time (s) 1782.47
Current children cumulated vsize (KiB) 29428

[startup+1783.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28530
/proc/meminfo: memFree=1407936/2055920 swapFree=4144308/4192956
[pid=28331] ppid=28329 vsize=29428 CPUtime=1782.66
/proc/28331/stat : 28331 (Pueblo) R 28329 28331 27376 0 -1 4194304 6943 0 0 0 177586 680 0 0 25 0 1 0 163136943 30134272 6869 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 7357 6869 205 16 0 6796 0
Current children cumulated CPU time (s) 1782.66
Current children cumulated vsize (KiB) 29428

Child status: 10
Real time (s): 1783.37
CPU time (s): 1782.74
CPU user time (s): 1775.93
CPU system time (s): 6.81196
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 29644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1775.93
system time used= 6.81196
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6950
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 37421

runsolver used 2.07768 second user time and 4.32634 second system time

The end

Launcher Data (download as text)

Begin job on node24 on Sat Apr 21 10:43:09 UTC 2007

IDJOB= 372976
IDBENCH= 25010
IDSOLVER= 165
FILE ID= node24/372976-1177152189

PBS_JOBID= 4648860

Free space on /tmp= 66232 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir06_area_delay.opb
COMMAND LINE= Pueblo /tmp/evaluation/372976-1177152189/instance-372976-1177152189.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node24/convwatcher-372976-1177152189 -o ROOT/results/node24/conversion-372976-1177152189 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372976-1177152189/instance-372976-1177152189.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  21fb64899a6dc4867ccfcbb30d44d536

RANDOM SEED= 603023902

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node24.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.238
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.238
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:       1435168 kB
Buffers:         67900 kB
Cached:         463880 kB
SwapCached:      16708 kB
Active:         230252 kB
Inactive:       326936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1435168 kB
SwapTotal:     4192956 kB
SwapFree:      4144308 kB
Dirty:            2884 kB
Writeback:           0 kB
Mapped:          30792 kB
Slab:            49060 kB
Committed_AS:  3708744 kB
PageTables:       1808 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= 66232 MiB

End job on node24 on Sat Apr 21 11:12:53 UTC 2007