Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | SAT | 12122 | 1782.73 | 1783.42 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-fiber.opb |
MD5SUM | 32662df0ae948242aace0258625ea4cc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 6358 |
Best CPU time to get the best result obtained on this benchmark | 1800.46 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6277 |
Optimality of the best value was proved | NO |
Number of variables | 2574 |
Total number of constraints | 363 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 36 |
Number of constraints which are nor clauses,nor cardinality constraints | 327 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 61 |
Number of terms in the objective function | 1254 |
Biggest coefficient in the objective function | 7958 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 524887 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261914 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524887 |
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 c Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 0.03 c starting to Solve 0.03 c #variables read: 2574 - #constraints read: 712 0.04 o 30674 0.04 o 30200 0.04 o 29876 0.05 o 29702 0.05 o 29547 0.06 o 29479 0.06 o 29392 0.07 o 29320 0.07 o 29233 0.08 o 29059 0.08 o 28904 0.08 o 28836 0.09 o 28749 0.09 o 28677 0.10 o 28604 0.11 o 28536 0.11 o 28449 0.12 o 28377 0.12 o 28326 0.13 o 28239 0.13 o 28167 0.14 o 28080 0.14 o 27925 0.15 o 27857 0.15 o 27770 0.15 o 27698 0.16 o 27647 0.17 o 27621 0.17 o 27553 0.18 o 27466 0.18 o 27394 0.19 o 27324 0.19 o 27252 0.20 o 27229 0.21 o 27142 0.21 o 27070 0.22 o 27026 0.23 o 27009 0.23 o 26939 0.24 o 26867 0.24 o 26844 0.25 o 26757 0.26 o 26729 0.26 o 26657 0.27 o 26634 0.27 o 26547 0.28 o 26475 0.30 o 26374 0.30 o 26219 0.31 o 26151 0.32 o 26064 0.32 o 25992 0.33 o 25984 0.34 o 25945 0.35 o 25771 0.35 o 25616 0.36 o 25548 0.36 o 25461 0.37 o 25316 0.38 o 25248 0.38 o 25161 0.39 o 25089 0.40 o 25065 0.40 o 24910 0.41 o 24842 0.42 o 24731 0.43 o 24663 0.43 o 24576 0.44 o 24504 0.44 o 24418 0.45 o 24346 0.47 o 24322 0.48 o 24236 0.49 o 24164 0.54 o 24083 0.55 o 24079 0.56 o 24055 0.57 o 23969 0.58 o 23897 0.59 o 23869 0.61 o 23845 0.62 o 23759 0.62 o 23687 0.70 o 23616 0.71 o 23544 0.72 o 23458 0.72 o 23386 0.74 o 23362 0.75 o 23276 0.76 o 23204 0.86 o 23130 0.92 o 23099 0.93 o 23071 0.93 o 22999 0.99 o 22981 1.00 o 22953 1.01 o 22881 1.09 o 22817 1.12 o 22799 1.13 o 22771 1.13 o 22699 1.22 o 22653 1.42 o 22533 1.43 o 22290 1.43 o 22088 1.44 o 21946 1.45 o 21823 1.46 o 21681 1.47 o 21438 1.47 o 21236 1.48 o 21037 1.49 o 20835 1.50 o 20821 1.51 o 20619 1.52 o 20454 1.53 o 20252 1.54 o 20238 1.55 o 20036 1.56 o 19845 1.57 o 19761 1.59 o 19742 1.60 o 19658 1.62 o 19609 1.63 o 19525 1.72 o 19471 1.74 o 19422 1.75 o 19338 2.01 o 19236 2.02 o 19172 2.04 o 19152 2.05 o 19088 2.11 o 19041 2.13 o 19004 2.18 o 18999 2.20 o 18897 2.21 o 18833 2.22 o 18665 2.23 o 18529 2.23 o 18465 2.25 o 18429 2.26 o 18293 2.26 o 18229 6.49 o 16770 6.50 o 16600 6.51 o 16449 6.52 o 16383 12.65 o 15680 12.66 o 15510 12.67 o 15359 12.68 o 15293 12.68 o 15208 12.69 o 15137 12.70 o 15094 12.71 o 15072 12.72 o 15050 12.73 o 15007 12.74 o 14965 12.75 o 14930 12.76 o 14890 12.77 o 14544 12.79 o 14537 12.80 o 14399 12.81 o 14356 12.82 o 14124 12.84 o 14117 12.85 o 14074 12.88 o 13962 13.04 o 13956 13.46 o 13899 13.62 o 13856 13.96 o 13817 14.46 o 13786 14.55 o 13743 14.57 o 13704 14.58 o 13685 14.68 o 13646 14.84 o 13612 14.84 o 13569 14.86 o 13530 17.34 o 13526 17.99 o 13524 18.00 o 13482 18.01 o 13478 18.01 o 13439 18.31 o 13429 18.32 o 13424 18.33 o 13381 18.37 o 13350 18.38 o 13313 18.39 o 13308 18.40 o 13265 18.82 o 13233 18.99 o 13196 19.03 o 13162 19.06 o 13104 19.07 o 13065 19.07 o 13022 19.10 o 12988 19.11 o 12945 19.12 o 12906 19.95 o 12899 19.97 o 12892 19.98 o 12808 19.98 o 12771 20.00 o 12701 20.00 o 12605 20.01 o 12484 20.06 o 12479 20.07 o 12401 20.07 o 12395 20.08 o 12358 20.12 o 12319 20.80 o 12301 20.81 o 12185 20.82 o 12142 283.84 o 12122 1783.41 c total time : 1783 s 1783.41 s SATISFIABLE 1783.41 v -x1 -x1687 -x1798 -x1909 -x2020 -x2131 -x2242 -x2353 -x2464 -x2 -x113 -x224 -x1610 -x1621 -x1632 -x1643 -x1654 -x1665 -x1676 1783.41 v -x1688 -x1699 -x1710 -x1721 -x1732 -x1743 -x1754 -x1765 -x1776 -x1787 -x1799 -x1810 -x1821 -x1832 -x1843 -x1854 -x1865 1783.41 v x1876 -x1887 -x1898 -x1910 -x1921 -x1932 -x1943 -x1954 -x1965 -x1976 -x1987 -x1998 -x2009 -x2021 -x2032 -x2043 -x2054 1783.41 v -x2065 -x2076 -x2087 -x2098 -x2109 -x2120 -x2132 -x2143 -x2154 -x2165 -x2176 -x2187 -x2198 -x2209 -x2220 -x2231 -x2243 1783.41 v -x2254 -x2265 -x2276 -x2287 -x2298 -x2309 -x2320 -x2331 -x2342 -x2354 -x2365 -x2376 -x2387 -x2398 -x2409 -x2420 -x2431 1783.41 v -x2442 -x2453 -x2465 -x2476 -x2487 -x2498 -x2509 -x2520 -x2531 -x2542 -x2553 -x2564 -x3 -x14 -x25 -x36 -x47 -x58 -x69 -x80 1783.41 v -x91 -x102 -x114 -x125 x136 -x147 -x158 -x169 -x180 -x191 -x202 -x213 -x225 -x236 -x247 -x258 -x269 -x280 -x436 -x737 -x1038 1783.41 v -x1339 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 1783.41 v -x1628 -x1629 -x1630 -x1631 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1644 -x1645 -x1646 1783.41 v -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 1783.41 v -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 x1672 x1673 -x1674 x1675 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 1783.41 v -x1685 -x1686 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 x1696 -x1697 -x1698 -x1700 -x1701 -x1702 -x1703 -x1704 1783.41 v x1705 -x1706 -x1707 -x1708 -x1709 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1722 -x1723 1783.41 v -x1724 -x1725 -x1726 -x1727 x1728 -x1729 -x1730 -x1731 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 1783.41 v -x1742 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 1783.41 v -x1761 -x1762 -x1763 -x1764 -x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1777 -x1778 -x1779 1783.41 v -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 1783.41 v -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 1783.41 v -x1818 -x1819 -x1820 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1833 -x1834 -x1835 -x1836 1783.41 v -x1837 -x1838 -x1839 -x1840 -x1841 x1842 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x1850 -x1851 -x1852 -x1853 -x1855 -x1856 1783.41 v -x1857 x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 1783.41 v -x1875 -x1877 -x1878 x1879 x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 1783.41 v x1895 -x1896 -x1897 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1911 -x1912 -x1913 -x1914 1783.41 v -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 x1930 -x1931 -x1933 1783.41 v -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 1783.41 v -x1952 -x1953 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1966 -x1967 -x1968 -x1969 -x1970 1783.41 v -x1971 -x1972 -x1973 -x1974 -x1975 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1988 -x1989 1783.41 v -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 1783.41 v -x2008 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2022 -x2023 x2024 -x2025 -x2026 -x2027 1783.41 v -x2028 -x2029 -x2030 x2031 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 x2044 -x2045 -x2046 -x2047 1783.41 v -x2048 -x2049 -x2050 -x2051 x2052 -x2053 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2066 1783.41 v -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2077 -x2078 x2079 x2080 -x2081 -x2082 -x2083 -x2084 -x2085 1783.41 v -x2086 -x2088 -x2089 x2090 x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 1783.41 v -x2106 -x2107 -x2108 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2121 -x2122 -x2123 -x2124 1783.41 v -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2144 1783.41 v -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 1783.41 v -x2163 -x2164 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2177 -x2178 -x2179 -x2180 -x2181 1783.41 v -x2182 -x2183 -x2184 -x2185 -x2186 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2199 x2200 1783.41 v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 1783.41 v -x2219 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 x2232 -x2233 -x2234 -x2235 -x2236 -x2237 1783.41 v -x2238 -x2239 -x2240 -x2241 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2255 -x2256 -x2257 1783.41 v -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 1783.41 v -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 x2284 -x2285 -x2286 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 1783.41 v -x2295 -x2296 -x2297 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2310 -x2311 -x2312 x2313 1783.41 v -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 -x2330 x2332 -x2333 1783.41 v -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 1783.41 v -x2352 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 1783.41 v -x2372 -x2373 x2374 -x2375 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2388 -x2389 -x2390 1783.41 v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 1783.41 v -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2421 -x2422 x2423 -x2424 -x2425 -x2426 -x2427 1783.41 v -x2428 -x2429 -x2430 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 x2439 -x2440 -x2441 -x2443 -x2444 -x2445 -x2446 1783.41 v -x2447 -x2448 -x2449 -x2450 -x2451 x2452 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2466 1783.41 v -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 1783.41 v -x2485 -x2486 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2499 -x2500 -x2501 -x2502 -x2503 1783.41 v -x2504 -x2505 -x2506 -x2507 -x2508 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2521 -x2522 1783.41 v -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 1783.41 v -x2541 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 1783.41 v -x2560 -x2561 -x2562 -x2563 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 x2572 -x2573 -x2574 -x4 -x5 -x6 -x7 -x8 -x9 1783.41 v -x10 x11 -x12 -x13 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x37 -x38 1783.41 v -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 1783.41 v -x67 -x68 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x92 -x93 -x94 -x95 1783.41 v -x96 -x97 -x98 -x99 -x100 -x101 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x115 -x116 -x117 -x118 -x119 1783.41 v -x120 -x121 -x122 -x123 -x124 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x137 -x138 -x139 -x140 -x141 -x142 1783.41 v -x143 -x144 -x145 -x146 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x159 -x160 -x161 -x162 -x163 -x164 -x165 1783.41 v -x166 -x167 -x168 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1783.41 v -x189 -x190 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 1783.41 v -x212 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 1783.41 v -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x259 1783.41 v -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x281 -x282 1783.41 v -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 x297 x298 -x299 x300 -x301 -x302 -x303 1783.41 v -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 1783.41 v -x566 -x567 -x568 -x569 x570 x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 1783.41 v -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 1783.41 v -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 1783.41 v -x629 x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 1783.41 v -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 1783.41 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 1783.41 v -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 1783.41 v -x713 -x714 -x715 -x716 -x717 -x718 x719 -x720 x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 1783.41 v -x734 -x735 -x736 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 1783.41 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1783.41 v -x777 -x778 x779 -x780 x781 x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1783.41 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 x809 -x810 x811 -x812 x813 x814 -x815 -x816 -x817 -x818 1783.41 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1783.41 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x316 -x317 -x318 1783.41 v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 x328 x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 1783.41 v -x340 -x341 -x342 -x343 -x344 -x345 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 1783.41 v -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 1783.41 v -x894 -x895 -x896 -x897 -x898 x899 -x900 x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 1783.41 v -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 -x930 -x931 -x932 -x933 -x934 -x935 1783.41 v -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 1783.41 v -x957 -x958 x959 -x960 -x961 -x962 -x963 x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 1783.41 v -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 x990 x991 -x992 -x993 x994 -x995 -x996 -x997 -x998 1783.41 v -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 1783.41 v -x1016 -x1017 -x1018 x1019 x1020 x1021 x1022 x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 1783.41 v -x1034 -x1035 -x1036 -x1037 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 1783.41 v -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 1783.41 v -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 x1083 -x1084 -x1085 -x1086 1783.41 v -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 1783.41 v -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 1783.41 v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 1783.41 v -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 1783.41 v -x1155 -x1156 -x1157 -x1158 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 -x361 1783.41 v -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 1783.41 v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 1783.41 v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 x1198 1783.41 v x1199 x1200 x1201 -x1202 x1203 -x1204 x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 1783.41 v -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 1783.41 v -x1234 -x1235 -x1236 x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 1783.41 v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 x1260 -x1261 x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 1783.41 v -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 1783.41 v -x1286 -x1287 -x1288 -x1289 x1290 x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 1783.41 v -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 x1320 1783.41 v -x1321 x1322 -x1323 -x1324 x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 1783.41 v -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 -x1352 x1353 -x1354 x1355 x1356 -x1357 1783.41 v -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 1783.41 v -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 -x1384 x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 1783.41 v -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 1783.41 v -x1410 -x1411 -x1412 x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 1783.41 v -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 1783.41 v -x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x376 -x377 1783.41 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1783.41 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 1783.41 v x1471 -x1472 -x1473 x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 1783.41 v -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 -x1502 -x1503 -x1504 -x1505 1783.41 v -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 1783.41 v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 x1531 x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 1783.41 v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 1783.41 v -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 1783.41 v -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 1783.41 v -x1592 x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 1783.41 v -x1609 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 x418 x419 -x420 -x421 -x422 x423 -x424 -x425 1783.41 v -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 1783.41 v x448 x449 x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 1783.41 v -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 x479 x480 x481 x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 1783.41 v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 1783.41 v -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 1783.41 v -x533 -x534 -x535 -x536 -x537 x538 x539 -x540 x541 -x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 1783.41 v -x554 -x555 -x556
OK 12122
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node6/watcher-37739-1149360065 -o ROOT/results/node6/solver-37739-1149360065 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node6/37739-1149360065/instance-37739-1149360065.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.01 1.01 0.99 2/64 18579 /proc/meminfo: memFree=1306848/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=2572 CPUtime=0 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 201668611 2633728 235 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 2653911 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 643 235 193 16 0 84 0 [startup+10.0027 s] /proc/loadavg: 1.01 1.01 0.99 2/64 18579 /proc/meminfo: memFree=1303136/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=6108 CPUtime=9.99 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1162 0 0 0 984 15 0 0 25 0 1 0 201668611 6254592 1133 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 1527 1133 205 16 0 968 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 6108 [startup+20.0086 s] /proc/loadavg: 1.01 1.01 0.99 2/64 18579 /proc/meminfo: memFree=1303072/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=6288 CPUtime=20 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1203 0 0 0 1972 28 0 0 25 0 1 0 201668611 6438912 1174 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134530506 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 1572 1174 205 16 0 1013 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 6288 [startup+30.0146 s] /proc/loadavg: 1.01 1.00 0.99 2/64 18579 /proc/meminfo: memFree=1303136/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=6432 CPUtime=30 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1207 0 0 0 2961 39 0 0 25 0 1 0 201668611 6586368 1178 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 1608 1178 205 16 0 1049 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 6432 [startup+40.0206 s] /proc/loadavg: 1.01 1.00 0.99 2/64 18579 /proc/meminfo: memFree=1303008/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=6432 CPUtime=40 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1223 0 0 0 3918 82 0 0 25 0 1 0 201668611 6586368 1194 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 1608 1194 205 16 0 1049 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 6432 [startup+50.0266 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18579 /proc/meminfo: memFree=1303008/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=6564 CPUtime=50 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1239 0 0 0 4886 114 0 0 25 0 1 0 201668611 6721536 1210 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 1641 1210 205 16 0 1082 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 6564 [startup+60.0326 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18579 /proc/meminfo: memFree=1302816/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=6692 CPUtime=60.01 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1294 0 0 0 5867 134 0 0 25 0 1 0 201668611 6852608 1265 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 1673 1265 205 16 0 1114 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 6692 [startup+70.0385 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18579 /proc/meminfo: memFree=1302560/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=6952 CPUtime=70 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1354 0 0 0 6853 147 0 0 25 0 1 0 201668611 7118848 1325 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 1738 1325 205 16 0 1179 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 6952 [startup+80.0445 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18579 /proc/meminfo: memFree=1302560/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=6952 CPUtime=80.01 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1356 0 0 0 7828 173 0 0 25 0 1 0 201668611 7118848 1327 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 1738 1327 205 16 0 1179 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 6952 [startup+90.0505 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18579 /proc/meminfo: memFree=1302368/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=7208 CPUtime=90.01 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1405 0 0 0 8809 192 0 0 25 0 1 0 201668611 7380992 1376 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 1802 1376 205 16 0 1243 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 7208 [startup+100.056 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18579 /proc/meminfo: memFree=1302304/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=7208 CPUtime=100.02 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1405 0 0 0 9795 207 0 0 25 0 1 0 201668611 7380992 1376 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 1802 1376 205 16 0 1243 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 7208 [startup+110.062 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18579 /proc/meminfo: memFree=1302240/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=7208 CPUtime=110.01 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1421 0 0 0 10782 219 0 0 25 0 1 0 201668611 7380992 1392 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 1802 1392 205 16 0 1243 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 7208 [startup+120.068 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18579 /proc/meminfo: memFree=1302240/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=7208 CPUtime=120.02 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1430 0 0 0 11771 231 0 0 25 0 1 0 201668611 7380992 1401 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527917 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 1802 1401 205 16 0 1243 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 7208 [startup+130.074 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18579 /proc/meminfo: memFree=1302112/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=7340 CPUtime=130.02 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1454 0 0 0 12756 246 0 0 25 0 1 0 201668611 7516160 1425 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 1835 1425 205 16 0 1276 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 7340 [startup+140.08 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18579 /proc/meminfo: memFree=1302112/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=7340 CPUtime=140.02 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1465 0 0 0 13740 262 0 0 25 0 1 0 201668611 7516160 1436 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 1835 1436 205 16 0 1276 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 7340 [startup+150.086 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18579 /proc/meminfo: memFree=1302048/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=7468 CPUtime=150.02 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1474 0 0 0 14724 278 0 0 25 0 1 0 201668611 7647232 1445 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 1867 1445 205 16 0 1308 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 7468 [startup+160.092 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18579 /proc/meminfo: memFree=1301984/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=7468 CPUtime=160.03 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1494 0 0 0 15709 294 0 0 25 0 1 0 201668611 7647232 1465 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 1867 1465 205 16 0 1308 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 7468 [startup+170.098 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18579 /proc/meminfo: memFree=1301920/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=7604 CPUtime=170.03 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1510 0 0 0 16698 305 0 0 25 0 1 0 201668611 7786496 1481 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 1901 1481 205 16 0 1342 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 7604 [startup+180.104 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18579 /proc/meminfo: memFree=1301856/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=7604 CPUtime=180.03 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1524 0 0 0 17688 315 0 0 25 0 1 0 201668611 7786496 1495 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 1901 1495 205 16 0 1342 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 7604 [startup+190.11 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18579 /proc/meminfo: memFree=1301792/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=7736 CPUtime=190.03 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1532 0 0 0 18677 326 0 0 25 0 1 0 201668611 7921664 1503 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 1934 1503 205 16 0 1375 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 7736 [startup+200.116 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18579 /proc/meminfo: memFree=1301792/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=7736 CPUtime=200.04 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1534 0 0 0 19667 337 0 0 25 0 1 0 201668611 7921664 1505 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 1934 1505 205 16 0 1375 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 7736 [startup+210.122 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18579 /proc/meminfo: memFree=1301856/2055924 swapFree=4181416/4192956 ################ # More data... # ################ /proc/18579/statm: 2937 2513 205 16 0 2378 0 Current children cumulated CPU time (s) 1590.35 Current children cumulated vsize (Kb) 11748 [startup+1600.98 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18774 /proc/meminfo: memFree=1297632/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=11748 CPUtime=1600.36 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2542 0 0 0 158166 1870 0 0 25 0 1 0 201668611 12029952 2513 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 2937 2513 205 16 0 2378 0 Current children cumulated CPU time (s) 1600.36 Current children cumulated vsize (Kb) 11748 [startup+1610.98 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18774 /proc/meminfo: memFree=1297632/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=11748 CPUtime=1610.36 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2542 0 0 0 159156 1880 0 0 25 0 1 0 201668611 12029952 2513 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 2937 2513 205 16 0 2378 0 Current children cumulated CPU time (s) 1610.36 Current children cumulated vsize (Kb) 11748 [startup+1620.99 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18774 /proc/meminfo: memFree=1297632/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=11748 CPUtime=1620.37 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2542 0 0 0 160147 1890 0 0 25 0 1 0 201668611 12029952 2513 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 2937 2513 205 16 0 2378 0 Current children cumulated CPU time (s) 1620.37 Current children cumulated vsize (Kb) 11748 [startup+1631 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18774 /proc/meminfo: memFree=1297632/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=11748 CPUtime=1630.37 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2542 0 0 0 161136 1901 0 0 25 0 1 0 201668611 12029952 2513 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 2937 2513 205 16 0 2378 0 Current children cumulated CPU time (s) 1630.37 Current children cumulated vsize (Kb) 11748 [startup+1641 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18774 /proc/meminfo: memFree=1297632/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=11748 CPUtime=1640.37 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2542 0 0 0 162125 1912 0 0 25 0 1 0 201668611 12029952 2513 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 2937 2513 205 16 0 2378 0 Current children cumulated CPU time (s) 1640.37 Current children cumulated vsize (Kb) 11748 [startup+1651.01 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18774 /proc/meminfo: memFree=1297632/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=11748 CPUtime=1650.37 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2542 0 0 0 163115 1922 0 0 25 0 1 0 201668611 12029952 2513 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 2937 2513 205 16 0 2378 0 Current children cumulated CPU time (s) 1650.37 Current children cumulated vsize (Kb) 11748 [startup+1661.01 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18774 /proc/meminfo: memFree=1297632/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=11748 CPUtime=1660.37 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2542 0 0 0 164107 1930 0 0 25 0 1 0 201668611 12029952 2513 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 2937 2513 205 16 0 2378 0 Current children cumulated CPU time (s) 1660.37 Current children cumulated vsize (Kb) 11748 [startup+1671.02 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18774 /proc/meminfo: memFree=1297632/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=11748 CPUtime=1670.37 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2542 0 0 0 165099 1938 0 0 25 0 1 0 201668611 12029952 2513 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 2937 2513 205 16 0 2378 0 Current children cumulated CPU time (s) 1670.37 Current children cumulated vsize (Kb) 11748 [startup+1681.03 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18774 /proc/meminfo: memFree=1297632/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=11748 CPUtime=1680.38 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2542 0 0 0 166093 1945 0 0 25 0 1 0 201668611 12029952 2513 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 2937 2513 205 16 0 2378 0 Current children cumulated CPU time (s) 1680.38 Current children cumulated vsize (Kb) 11748 [startup+1691.03 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18774 /proc/meminfo: memFree=1297568/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=11748 CPUtime=1690.38 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2542 0 0 0 167086 1952 0 0 25 0 1 0 201668611 12029952 2513 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 2937 2513 205 16 0 2378 0 Current children cumulated CPU time (s) 1690.38 Current children cumulated vsize (Kb) 11748 [startup+1701.04 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18774 /proc/meminfo: memFree=1297568/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=11748 CPUtime=1700.38 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2543 0 0 0 168077 1961 0 0 25 0 1 0 201668611 12029952 2514 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 2937 2514 205 16 0 2378 0 Current children cumulated CPU time (s) 1700.38 Current children cumulated vsize (Kb) 11748 [startup+1711.04 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18774 /proc/meminfo: memFree=1297568/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=11748 CPUtime=1710.39 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2543 0 0 0 169069 1970 0 0 25 0 1 0 201668611 12029952 2514 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 2937 2514 205 16 0 2378 0 Current children cumulated CPU time (s) 1710.39 Current children cumulated vsize (Kb) 11748 [startup+1721.05 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18774 /proc/meminfo: memFree=1297568/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=11748 CPUtime=1720.39 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2543 0 0 0 170059 1980 0 0 25 0 1 0 201668611 12029952 2514 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 2937 2514 205 16 0 2378 0 Current children cumulated CPU time (s) 1720.39 Current children cumulated vsize (Kb) 11748 [startup+1731.06 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18774 /proc/meminfo: memFree=1297568/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=11748 CPUtime=1730.39 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2543 0 0 0 171048 1991 0 0 25 0 1 0 201668611 12029952 2514 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 2937 2514 205 16 0 2378 0 Current children cumulated CPU time (s) 1730.39 Current children cumulated vsize (Kb) 11748 [startup+1741.06 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18774 /proc/meminfo: memFree=1297568/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=11748 CPUtime=1740.39 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2543 0 0 0 172037 2002 0 0 25 0 1 0 201668611 12029952 2514 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 2937 2514 205 16 0 2378 0 Current children cumulated CPU time (s) 1740.39 Current children cumulated vsize (Kb) 11748 [startup+1751.07 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18774 /proc/meminfo: memFree=1297568/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=11748 CPUtime=1750.4 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2543 0 0 0 173025 2015 0 0 25 0 1 0 201668611 12029952 2514 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 2937 2514 205 16 0 2378 0 Current children cumulated CPU time (s) 1750.4 Current children cumulated vsize (Kb) 11748 [startup+1761.07 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18774 /proc/meminfo: memFree=1297568/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=11748 CPUtime=1760.39 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2543 0 0 0 174014 2025 0 0 25 0 1 0 201668611 12029952 2514 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 2937 2514 205 16 0 2378 0 Current children cumulated CPU time (s) 1760.39 Current children cumulated vsize (Kb) 11748 [startup+1771.08 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18774 /proc/meminfo: memFree=1297568/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=11748 CPUtime=1770.4 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2543 0 0 0 175006 2034 0 0 25 0 1 0 201668611 12029952 2514 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 2937 2514 205 16 0 2378 0 Current children cumulated CPU time (s) 1770.4 Current children cumulated vsize (Kb) 11748 [startup+1781.09 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18774 /proc/meminfo: memFree=1297568/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=11748 CPUtime=1780.4 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2543 0 0 0 175998 2042 0 0 25 0 1 0 201668611 12029952 2514 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 2937 2514 205 16 0 2378 0 Current children cumulated CPU time (s) 1780.4 Current children cumulated vsize (Kb) 11748 [startup+1782.09 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18774 /proc/meminfo: memFree=1297568/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=11748 CPUtime=1781.41 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2543 0 0 0 176098 2043 0 0 25 0 1 0 201668611 12029952 2514 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 2937 2514 205 16 0 2378 0 Current children cumulated CPU time (s) 1781.41 Current children cumulated vsize (Kb) 11748 [startup+1783.1 s] /proc/loadavg: 1.00 1.00 0.99 2/64 18774 /proc/meminfo: memFree=1297568/2055924 swapFree=4181416/4192956 [pid=18579] ppid=18577 vsize=11748 CPUtime=1782.41 /proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2543 0 0 0 176198 2043 0 0 25 0 1 0 201668611 12029952 2514 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18579/statm: 2937 2514 205 16 0 2378 0 Current children cumulated CPU time (s) 1782.41 Current children cumulated vsize (Kb) 11748 Child status: 10 Real time (s): 1783.42 CPU time (s): 1782.73 CPU user time (s): 1762.29 CPU system time (s): 20.4429 CPU usage (%): 99.9618 Max. virtual memory (cumulated for all children) (Kb): 11748
Begin job on node6 on Sat Jun 3 18:41:05 UTC 2006 FILE ID= 37739-1149360065 PBS_JOBID= 311460 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-fiber.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node6/37739-1149360065/instance-37739-1149360065.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-37739-1149360065 -o ROOT/results/node6/solver-37739-1149360065 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node6/37739-1149360065/instance-37739-1149360065.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 32662df0ae948242aace0258625ea4cc RANDOM SEED= 603579873 /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.268 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.268 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: 2055924 kB MemFree: 1307120 kB Buffers: 30304 kB Cached: 647300 kB SwapCached: 3348 kB Active: 80212 kB Inactive: 606200 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1307120 kB SwapTotal: 4192956 kB SwapFree: 4181416 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14924 kB Slab: 48448 kB Committed_AS: 334900 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node6 on Sat Jun 3 19:10:48 UTC 2006