Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | -82060 | 1782.74 | 1783.19 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-recipe.opb |
MD5SUM | afb312a519ee7dfceb0c5aec9cb860b5 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -111787 |
Best CPU time to get the best result obtained on this benchmark | 1800.47 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -118677 |
Optimality of the best value was proved | NO |
Number of variables | 3671 |
Total number of constraints | 159 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 159 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 420 |
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 numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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
OK -82060
/tmp/evaluation/351189-1176585272/instance-351189-1176585272.opb is already a linear file
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
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