Trace number 351189

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.4SAT-82060 1782.74 1783.19

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-recipe.opb
MD5SUMafb312a519ee7dfceb0c5aec9cb860b5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-111787
Best CPU time to get the best result obtained on this benchmark1800.47
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -118677
Optimality of the best value was proved NO
Number of variables3671
Total number of constraints159
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints159
Minimum length of a constraint10
Maximum length of a constraint420
Number of terms in the objective function 1055
Biggest coefficient in the objective function 58802
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 524960
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262113
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524960
Number of bits of the biggest sum of numbers20
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.00/0.08	c starting to Solve
0.00/0.08	c #variables read: 3671 - #constraints read: 224
0.10/0.13	o 420686
0.10/0.17	o 420666
0.19/0.23	o 420665
0.19/0.28	o 420664
0.29/0.35	o 420663
1782.64/1783.19	c total time              : 1783 s
1782.64/1783.19	s SATISFIABLE
1782.64/1783.19	v -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 x1503 -x1504 x1505 -x1506 -x1507 -x1508 -x1626
1782.64/1783.19	v -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640 -x1641 -x1748 -x1749
1782.64/1783.19	v -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 x1759 -x1760 x1761 -x1762 -x1763 -x1764 -x1877 -x1878 -x1879
1782.64/1783.19	v -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 -x1997 -x1998 -x1999 -x2000 -x2001
1782.64/1783.19	v -x2002 -x2003 -x2004 -x2005 -x2006 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069
1782.64/1783.19	v -x2070 -x2071 x2072 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193
1782.64/1783.19	v -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 x2204 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433
1782.64/1783.19	v -x2434 -x2435 -x2436 -x2437 -x2438 x2439 -x2440 x2441 -x2442 -x2443 -x2444 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515
1782.64/1783.19	v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647
1782.64/1783.19	v -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771
1782.64/1783.19	v -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899
1782.64/1783.19	v -x1900 -x1901 -x1902 x1903 x1904 -x1905 -x1906 -x1907 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016
1782.64/1783.19	v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082
1782.64/1783.19	v x2083 -x2084 x2085 -x2086 -x2087 -x2088 -x2089 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215
1782.64/1783.19	v -x2216 x2217 x2218 -x2219 -x2220 -x2221 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333
1782.64/1783.19	v -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454
1782.64/1783.19	v -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535
1782.64/1783.19	v -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667
1782.64/1783.19	v x1668 x1669 -x1670 x1671 -x1672 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793
1782.64/1783.19	v -x1794 -x1795 -x1796 -x1797 x1908 x1909 x1910 x1911 x1912 x1913 x1914 x1915 x1916 x1917 -x1918 -x1919 x1920 -x1921 -x2090
1782.64/1783.19	v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 x2100 -x2101 -x2102 -x2103 -x2222 -x2223 -x2224 -x2225
1782.64/1783.19	v -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 x2233 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349
1782.64/1783.19	v -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473
1782.64/1783.19	v -x2474 -x2475 -x2476 -x2477 -x2478 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554
1782.64/1783.19	v -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683
1782.64/1783.19	v -x1684 -x1685 -x1686 -x1687 -x1688 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809
1782.64/1783.19	v -x1810 -x1811 -x1812 -x1813 -x1814 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933
1782.64/1783.19	v -x1934 x1935 -x1936 -x1937 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036
1782.64/1783.19	v -x2037 -x2038 -x2039 -x2040 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 x2116
1782.64/1783.19	v -x2117 -x2118 -x2119 -x2120 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246
1782.64/1783.19	v x2247 -x2248 -x2249 -x2250 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368
1782.64/1783.19	v -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489
1782.64/1783.19	v -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570
1782.64/1783.19	v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 x1699
1782.64/1783.19	v x1700 -x1701 x1702 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829
1782.64/1783.19	v -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 x1948 x1949 -x1950 -x1951 -x2121 -x2122 -x2123 -x2124
1782.64/1783.19	v -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 x2132 -x2133 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258
1782.64/1783.19	v -x2259 -x2260 x2261 x2262 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388
1782.64/1783.19	v -x2389 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512
1782.64/1783.19	v -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593
1782.64/1783.19	v -x1594 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718
1782.64/1783.19	v -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846
1782.64/1783.19	v -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 x1965 -x1966 -x1967 -x2041
1782.64/1783.19	v -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2134
1782.64/1783.19	v -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2263
1782.64/1783.19	v -x2264 -x2265 x2266 -x2267 -x2268 -x2269 x2270 -x2271 -x2272 -x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279 -x2390 -x2391
1782.64/1783.19	v -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408
1782.64/1783.19	v -x2409 -x2410 -x2411 -x2412 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525
1782.64/1783.19	v -x2526 -x2527 -x2528 -x2529 -x2530 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606
1782.64/1783.19	v -x1607 -x1608 -x1609 -x1610 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 x1729 x1730 -x1731 x1732
1782.64/1783.19	v -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1968 -x1969
1782.64/1783.19	v -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 x1978 x1979 -x1980 -x1981 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156
1782.64/1783.19	v -x2157 -x2158 -x2159 -x2160 -x2161 x2162 x2163 -x2164 -x2280 -x2281 -x2282 x2283 x2284 x2285 x2286 -x2287 x2288 x2289 -x2290
1782.64/1783.19	v x2291 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2531
1782.64/1783.19	v -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x1611 -x1612
1782.64/1783.19	v -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 x1622 -x1623 x1624 -x1625 -x1733 -x1734 -x1735 -x1736 -x1737
1782.64/1783.19	v -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 x1747 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868
1782.64/1783.19	v -x1869 -x1870 -x1871 -x1872 x1873 -x1874 x1875 -x1876 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991
1782.64/1783.19	v -x1992 -x1993 -x1994 -x1995 x1996 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176
1782.64/1783.19	v -x2177 -x2178 x2179 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305
1782.64/1783.19	v x2306 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 x2558 -x2559 x2560 -x2561 -x2307 -x2308
1782.64/1783.19	v -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x1351 -x1352 -x1353 -x1354
1782.64/1783.19	v -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1398 -x1399 -x1400 -x1401
1782.64/1783.19	v -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1445 -x1446 -x1447 -x1448
1782.64/1783.19	v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1321 -x1322 -x1323 -x1324
1782.64/1783.19	v -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341
1782.64/1783.19	v -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375
1782.64/1783.19	v -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392
1782.64/1783.19	v -x1393 -x1394 -x1395 -x1396 -x1397 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426
1782.64/1783.19	v -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443
1782.64/1783.19	v -x1444 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477
1782.64/1783.19	v -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x901 -x902 -x903 -x904
1782.64/1783.19	v -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925
1782.64/1783.19	v -x926 -x927 -x928 -x929 -x930 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574
1782.64/1783.19	v -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591
1782.64/1783.19	v -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608
1782.64/1783.19	v -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2682 -x2683 -x2684 -x2685
1782.64/1783.19	v -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702
1782.64/1783.19	v -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779
1782.64/1783.19	v -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796
1782.64/1783.19	v -x2797 -x2798 -x2799 -x2800 -x2801 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873
1782.64/1783.19	v -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890
1782.64/1783.19	v -x2891 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26
1782.64/1783.19	v -x27 -x28 -x29 -x30 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109
1782.64/1783.19	v -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
1782.64/1783.19	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x271
1782.64/1783.19	v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292
1782.64/1783.19	v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373
1782.64/1783.19	v -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x451 -x452 -x453 -x454
1782.64/1783.19	v -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475
1782.64/1783.19	v -x476 -x477 -x478 -x479 -x480 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556
1782.64/1783.19	v -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x631 -x632 -x633 -x634 -x635 -x636 -x637
1782.64/1783.19	v -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658
1782.64/1783.19	v -x659 -x660 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739
1782.64/1783.19	v -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820
1782.64/1783.19	v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x931
1782.64/1783.19	v -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952
1782.64/1783.19	v -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632
1782.64/1783.19	v -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649
1782.64/1783.19	v -x2650 -x2651 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726
1782.64/1783.19	v -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2802 -x2803
1782.64/1783.19	v -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820
1782.64/1783.19	v -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897
1782.64/1783.19	v -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914
1782.64/1783.19	v -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45
1782.64/1783.19	v -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129
1782.64/1783.19	v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
1782.64/1783.19	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1782.64/1783.19	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312
1782.64/1783.19	v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x391 -x392 -x393
1782.64/1783.19	v -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414
1782.64/1783.19	v -x415 -x416 -x417 -x418 -x419 -x420 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495
1782.64/1783.19	v -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x571 -x572 -x573 -x574 -x575 -x576
1782.64/1783.19	v -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597
1782.64/1783.19	v -x598 -x599 -x600 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678
1782.64/1783.19	v -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759
1782.64/1783.19	v -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780
1782.64/1783.19	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861
1782.64/1783.19	v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972
1782.64/1783.19	v -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x2652 -x2653
1782.64/1783.19	v -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670
1782.64/1783.19	v -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747
1782.64/1783.19	v -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764
1782.64/1783.19	v -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841
1782.64/1783.19	v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858
1782.64/1783.19	v -x2859 -x2860 -x2861 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935
1782.64/1783.19	v -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x61 -x62
1782.64/1783.19	v -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88
1782.64/1783.19	v -x89 -x90 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
1782.64/1783.19	v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
1782.64/1783.19	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x331
1782.64/1783.19	v -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352
1782.64/1783.19	v -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433
1782.64/1783.19	v -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x511 -x512 -x513 -x514
1782.64/1783.19	v -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535
1782.64/1783.19	v -x536 -x537 -x538 -x539 -x540 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616
1782.64/1783.19	v -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x691 -x692 -x693 -x694 -x695 -x696 -x697
1782.64/1783.19	v -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718
1782.64/1783.19	v -x719 -x720 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799
1782.64/1783.19	v -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880
1782.64/1783.19	v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x991
1782.64/1783.19	v -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010
1782.64/1783.19	v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027
1782.64/1783.19	v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044
1782.64/1783.19	v -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061
1782.64/1783.19	v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078
1782.64/1783.19	v -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095
1782.64/1783.19	v -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112
1782.64/1783.19	v -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129
1782.64/1783.19	v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146
1782.64/1783.19	v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163
1782.64/1783.19	v -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180
1782.64/1783.19	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197
1782.64/1783.19	v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214
1782.64/1783.19	v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231
1782.64/1783.19	v -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248
1782.64/1783.19	v -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265
1782.64/1783.19	v -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282
1782.64/1783.19	v -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299
1782.64/1783.19	v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316
1782.64/1783.19	v -x1317 -x1318 -x1319 -x1320 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964
1782.64/1783.19	v -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981
1782.64/1783.19	v -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328
1782.64/1783.19	v -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3042 -x3043 -x3044 -x3045
1782.64/1783.19	v -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062
1782.64/1783.19	v -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409
1782.64/1783.19	v -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426
1782.64/1783.19	v -x3427 -x3428 -x3429 -x3430 -x3431 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143
1782.64/1783.19	v -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160
1782.64/1783.19	v -x3161 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507
1782.64/1783.19	v -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3222 -x3223 -x3224
1782.64/1783.19	v -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241
1782.64/1783.19	v -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588
1782.64/1783.19	v -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605
1782.64/1783.19	v -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992
1782.64/1783.19	v -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009
1782.64/1783.19	v -x3010 -x3011 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356
1782.64/1783.19	v -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3072 -x3073
1782.64/1783.19	v -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090
1782.64/1783.19	v -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437
1782.64/1783.19	v -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454
1782.64/1783.19	v -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171
1782.64/1783.19	v -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188
1782.64/1783.19	v -x3189 -x3190 -x3191 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535
1782.64/1783.19	v -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3252
1782.64/1783.19	v -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269
1782.64/1783.19	v -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3612 -x3613 -x3614 -x3615 -x3616
1782.64/1783.19	v -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633
1782.64/1783.19	v -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020
1782.64/1783.19	v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037
1782.64/1783.19	v -x3038 -x3039 -x3040 -x3041 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384
1782.64/1783.19	v -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401
1782.64/1783.19	v -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118
1782.64/1783.19	v -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3462 -x3463 -x3464 -x3465
1782.64/1783.19	v -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482
1782.64/1783.19	v -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199
1782.64/1783.19	v -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216
1782.64/1783.19	v -x3217 -x3218 -x3219 -x3220 -x3221 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563
1782.64/1783.19	v -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580
1782.64/1783.19	v -x3581 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297
1782.64/1783.19	v -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3642 -x3643 -x3644
1782.64/1783.19	v -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661
1782.64/1783.19	v -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671

Verifier Data (download as text)

OK	-82060

Conversion Script Data (download as text)

/tmp/evaluation/351189-1176585272/instance-351189-1176585272.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/node27/watcher-351189-1176585272 -o ROOT/results/node27/solver-351189-1176585272 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/351189-1176585272/instance-351189-1176585272.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.00 1.00 1.00 3/65 27744
/proc/meminfo: memFree=1801568/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=2552 CPUtime=0
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 71223112 2613248 228 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 1933015 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 638 228 193 16 0 77 0

[startup+0.104579 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 27744
/proc/meminfo: memFree=1801568/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=4400 CPUtime=0.1
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 751 0 0 0 10 0 0 0 18 0 1 0 71223112 4505600 721 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 1100 721 205 16 0 539 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 4400

[startup+0.202588 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 27744
/proc/meminfo: memFree=1801568/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=4532 CPUtime=0.19
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 773 0 0 0 19 0 0 0 19 0 1 0 71223112 4640768 743 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 1133 743 205 16 0 572 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 4532

[startup+0.30261 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 27744
/proc/meminfo: memFree=1801568/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=4660 CPUtime=0.29
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 799 0 0 0 29 0 0 0 20 0 1 0 71223112 4771840 769 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528560 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 1165 769 205 16 0 604 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4660

[startup+0.701639 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 27744
/proc/meminfo: memFree=1801568/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=5172 CPUtime=0.69
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 916 0 0 0 69 0 0 0 22 0 1 0 71223112 5296128 886 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528577 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 1293 886 205 16 0 732 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5172

[startup+1.50172 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27745
/proc/meminfo: memFree=1798488/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=5428 CPUtime=1.49
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 990 0 0 0 149 0 0 0 25 0 1 0 71223112 5558272 960 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527656 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 1357 960 205 16 0 796 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5428

[startup+3.10188 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27745
/proc/meminfo: memFree=1798296/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=5520 CPUtime=3.09
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 1010 0 0 0 308 1 0 0 25 0 1 0 71223112 5652480 980 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 1380 980 205 16 0 819 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5520

[startup+6.30121 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27745
/proc/meminfo: memFree=1797912/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=5672 CPUtime=6.29
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 1070 0 0 0 627 2 0 0 25 0 1 0 71223112 5808128 1039 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 1418 1039 205 16 0 857 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5672

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27745
/proc/meminfo: memFree=1797920/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=5672 CPUtime=12.69
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 1070 0 0 0 1264 5 0 0 25 0 1 0 71223112 5808128 1039 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 1418 1039 205 16 0 857 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 5672

[startup+25.5022 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27745
/proc/meminfo: memFree=1797920/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=5672 CPUtime=25.49
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 1070 0 0 0 2541 8 0 0 25 0 1 0 71223112 5808128 1039 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527953 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 1418 1039 205 16 0 857 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 5672

[startup+51.1028 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27745
/proc/meminfo: memFree=1797792/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=5908 CPUtime=51.08
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 1116 0 0 0 5093 15 0 0 25 0 1 0 71223112 6049792 1085 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 1477 1085 205 16 0 916 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 5908

[startup+102.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27745
/proc/meminfo: memFree=1797600/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=6008 CPUtime=102.27
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 1145 0 0 0 10200 27 0 0 25 0 1 0 71223112 6152192 1114 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 1502 1114 205 16 0 941 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 6008

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27745
/proc/meminfo: memFree=1797408/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=6220 CPUtime=162.25
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 1195 0 0 0 16181 44 0 0 25 0 1 0 71223112 6369280 1164 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 1555 1164 205 16 0 994 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 6220

[startup+222.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27745
/proc/meminfo: memFree=1797216/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=6432 CPUtime=222.24
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 1239 0 0 0 22164 60 0 0 25 0 1 0 71223112 6586368 1207 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 1608 1207 205 16 0 1047 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 6432

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27745
/proc/meminfo: memFree=1797088/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=6432 CPUtime=282.22
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 1260 0 0 0 28144 78 0 0 25 0 1 0 71223112 6586368 1228 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 1608 1228 205 16 0 1047 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 6432

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27745
/proc/meminfo: memFree=1796896/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=6668 CPUtime=342.2
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 1301 0 0 0 34118 102 0 0 25 0 1 0 71223112 6828032 1268 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 1667 1268 205 16 0 1106 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 6668

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27745
/proc/meminfo: memFree=1796640/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=6816 CPUtime=402.19
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 1367 0 0 0 40098 121 0 0 25 0 1 0 71223112 6979584 1325 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134558602 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 1704 1325 205 16 0 1143 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 6816

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27745
/proc/meminfo: memFree=1796576/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=6924 CPUtime=462.18
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 1383 0 0 0 46078 140 0 0 25 0 1 0 71223112 7090176 1341 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 1731 1341 205 16 0 1170 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 6924

[startup+522.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27745
/proc/meminfo: memFree=1796640/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=6924 CPUtime=522.16
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 1390 0 0 0 52057 159 0 0 25 0 1 0 71223112 7090176 1348 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 1731 1348 205 16 0 1170 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 6924

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27745
/proc/meminfo: memFree=1796640/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=6924 CPUtime=582.14
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 1390 0 0 0 58042 172 0 0 25 0 1 0 71223112 7090176 1348 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528577 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 1731 1348 205 16 0 1170 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 6924

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27745
/proc/meminfo: memFree=1796512/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=7036 CPUtime=642.13
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 1417 0 0 0 64025 188 0 0 25 0 1 0 71223112 7204864 1375 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 1759 1375 205 16 0 1198 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 7036


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

/proc/meminfo: memFree=1793760/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=9732 CPUtime=942.05
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 2080 0 0 0 93955 250 0 0 25 0 1 0 71223112 9965568 2038 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 2433 2038 205 16 0 1872 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 9732

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27747
/proc/meminfo: memFree=1793696/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=9732 CPUtime=1002.04
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 2088 0 0 0 99943 261 0 0 25 0 1 0 71223112 9965568 2046 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 2433 2046 205 16 0 1872 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 9732

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27747
/proc/meminfo: memFree=1793696/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=9732 CPUtime=1062.02
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 2088 0 0 0 105922 280 0 0 25 0 1 0 71223112 9965568 2046 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 2433 2046 205 16 0 1872 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 9732

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27747
/proc/meminfo: memFree=1793696/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=9732 CPUtime=1122.01
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 2088 0 0 0 111903 298 0 0 25 0 1 0 71223112 9965568 2046 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 2433 2046 205 16 0 1872 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 9732

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27747
/proc/meminfo: memFree=1793376/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=10116 CPUtime=1181.99
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 2175 0 0 0 117891 308 0 0 25 0 1 0 71223112 10358784 2133 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 2529 2133 205 16 0 1968 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 10116

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27747
/proc/meminfo: memFree=1792672/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=10764 CPUtime=1241.97
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 2344 0 0 0 123875 322 0 0 25 0 1 0 71223112 11022336 2302 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 2691 2302 205 16 0 2130 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 10764

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27747
/proc/meminfo: memFree=1792544/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=10892 CPUtime=1301.96
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 2372 0 0 0 129861 335 0 0 25 0 1 0 71223112 11153408 2330 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 2723 2330 205 16 0 2162 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 10892

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27747
/proc/meminfo: memFree=1792416/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=11020 CPUtime=1361.95
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 2397 0 0 0 135848 347 0 0 25 0 1 0 71223112 11284480 2355 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 2755 2355 205 16 0 2194 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 11020

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27747
/proc/meminfo: memFree=1792352/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=11020 CPUtime=1421.93
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 2415 0 0 0 141828 365 0 0 25 0 1 0 71223112 11284480 2373 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 2755 2373 205 16 0 2194 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 11020

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27747
/proc/meminfo: memFree=1792096/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=11272 CPUtime=1481.91
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 2468 0 0 0 147815 376 0 0 25 0 1 0 71223112 11542528 2426 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 2818 2426 205 16 0 2257 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 11272

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27747
/proc/meminfo: memFree=1792032/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=11236 CPUtime=1541.91
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 2472 0 0 0 153799 392 0 0 25 0 1 0 71223112 11505664 2430 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 2809 2430 205 16 0 2248 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 11236

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27747
/proc/meminfo: memFree=1792032/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=11236 CPUtime=1601.89
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 2472 0 0 0 159780 409 0 0 25 0 1 0 71223112 11505664 2430 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 2809 2430 205 16 0 2248 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 11236

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27747
/proc/meminfo: memFree=1792032/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=11188 CPUtime=1661.87
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 2472 0 0 0 165761 426 0 0 25 0 1 0 71223112 11456512 2418 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 2797 2418 205 16 0 2236 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 11188

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27747
/proc/meminfo: memFree=1791904/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=11316 CPUtime=1721.86
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 2503 0 0 0 171744 442 0 0 25 0 1 0 71223112 11587584 2449 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 2829 2449 205 16 0 2268 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 11316

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27747
/proc/meminfo: memFree=1791904/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=11316 CPUtime=1781.84
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 2503 0 0 0 177726 458 0 0 25 0 1 0 71223112 11587584 2449 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 2829 2449 205 16 0 2268 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 11316

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

[startup+1782.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27747
/proc/meminfo: memFree=1791904/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=11316 CPUtime=1781.94
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 2503 0 0 0 177736 458 0 0 25 0 1 0 71223112 11587584 2449 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 2829 2449 205 16 0 2268 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 11316

[startup+1782.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27747
/proc/meminfo: memFree=1791904/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=11316 CPUtime=1782.34
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 2503 0 0 0 177776 458 0 0 25 0 1 0 71223112 11587584 2449 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 2829 2449 205 16 0 2268 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 11316

[startup+1783 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27747
/proc/meminfo: memFree=1791904/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=11316 CPUtime=1782.54
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 2503 0 0 0 177796 458 0 0 25 0 1 0 71223112 11587584 2449 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 2829 2449 205 16 0 2268 0
Current children cumulated CPU time (s) 1782.54
Current children cumulated vsize (KiB) 11316

[startup+1783.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27747
/proc/meminfo: memFree=1791904/2055920 swapFree=4192812/4192956
[pid=27744] ppid=27742 vsize=11316 CPUtime=1782.64
/proc/27744/stat : 27744 (Pueblo) R 27742 27744 21596 0 -1 4194304 2503 0 0 0 177806 458 0 0 25 0 1 0 71223112 11587584 2449 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27744/statm: 2829 2449 205 16 0 2268 0
Current children cumulated CPU time (s) 1782.64
Current children cumulated vsize (KiB) 11316

Child status: 10
Real time (s): 1783.19
CPU time (s): 1782.74
CPU user time (s): 1778.15
CPU system time (s): 4.5893
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 11316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1778.15
system time used= 4.5893
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2510
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= 15
involuntary context switches= 1188

runsolver used 1.26581 second user time and 3.68944 second system time

The end

Launcher Data (download as text)

Begin job on node27 on Sat Apr 14 21:14:32 UTC 2007

IDJOB= 351189
IDBENCH= 1683
IDSOLVER= 165
FILE ID= node27/351189-1176585272

PBS_JOBID= 4556923

Free space on /tmp= 66562 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-recipe.opb
COMMAND LINE= Pueblo /tmp/evaluation/351189-1176585272/instance-351189-1176585272.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node27/convwatcher-351189-1176585272 -o ROOT/results/node27/conversion-351189-1176585272 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351189-1176585272/instance-351189-1176585272.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  afb312a519ee7dfceb0c5aec9cb860b5

RANDOM SEED= 384824553

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node27.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.213
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	: 5931.00
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.213
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:       1801912 kB
Buffers:         24672 kB
Cached:         119692 kB
SwapCached:          0 kB
Active:          25024 kB
Inactive:       138652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1801912 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2456 kB
Writeback:           0 kB
Mapped:          29144 kB
Slab:            76256 kB
Committed_AS:   706032 kB
PageTables:       1424 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= 66562 MiB

End job on node27 on Sat Apr 14 21:44:15 UTC 2007