Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | SAT | 779.038 | 779.348 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb |
MD5SUM | 409a20f37901eec51bb3d0d7a35b01e1 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 6.39703 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 2800 |
Total number of constraints | 990001 |
Number of constraints which are clauses | 986760 |
Number of constraints which are cardinality constraints (but not clauses) | 81 |
Number of constraints which are nor clauses,nor cardinality constraints | 3160 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1200 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 368 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1239 |
Number of bits of the biggest sum of numbers | 11 |
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 Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 19.01 c Initial problem consists of 2800 variables and 990082 constraints. 504.57 c Using non-optimization problem switches. 504.57 c No problem reductions applied in OPT. instance. 504.57 c preprocess terminated. Elapsed time: 504.36 504.57 c After prepocess the problem consists of 2800 variables and 942082 constraints. 514.15 c Restart #1 #Var: 2800 LB: 0 @ 513.94 530.72 c Restart #2 #Var: 2800 LB: 0 @ 530.51 551.48 c Restart #3 #Var: 2800 LB: 0 @ 551.25 576.92 c Restart #4 #Var: 2800 LB: 0 @ 576.69 626.81 c Restart #5 #Var: 2800 LB: 0 @ 626.56 685.46 c Restart #6 #Var: 2800 LB: 0 @ 685.19 738.50 c Restart #7 #Var: 2800 LB: 0 @ 738.21 772.05 c Restart #8 #Var: 2800 LB: 0 @ 771.75 779.26 c Sol. found (all assignments made)... 779.26 o 0 779.26 c NEW SOLUTION FOUND: 0 @ 778.95 779.26 s SATISFIABLE 779.26 c Cost: 0 779.26 v -x2 -x1601 -x3 -x1602 -x5 -x1603 -x6 -x1604 x7 -x1605 -x8 -x1606 -x9 -x1607 -x11 -x1608 -x12 -x1609 -x14 -x1610 -x15 -x1611 779.26 v -x16 -x1612 -x18 -x1613 -x20 -x1614 -x22 -x1615 -x23 -x1616 -x24 -x1617 -x25 -x1618 -x26 -x1619 -x27 -x1620 -x28 -x1621 -x29 779.26 v -x1622 -x30 -x1623 -x31 -x1624 -x32 -x1625 -x33 -x1626 -x34 -x1627 -x35 -x1628 -x37 -x1629 -x39 -x1630 -x1 -x1631 -x1632 779.26 v -x4 -x1633 -x1634 -x1635 -x1636 -x1637 -x13 -x1638 -x1639 -x1640 -x17 -x1641 -x19 -x1642 -x1643 -x21 -x1644 -x1645 -x1646 779.26 v -x1647 -x1648 -x1649 -x1650 -x1651 x1652 -x1653 -x1654 -x1655 -x38 -x1656 -x1657 -x40 -x1658 -x1659 -x1660 -x1661 -x1662 779.26 v -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 779.26 v -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x10 -x1693 -x1694 -x1695 -x1696 779.26 v -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x36 -x1713 779.26 v x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 779.26 v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 779.26 v -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 x1762 -x1763 -x1764 779.26 v -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 779.26 v -x1782 -x1783 -x1784 x1785 -x1786 -x1787 -x1788 -x1789 -x1790 x1791 -x1792 -x1793 -x1794 -x1795 x1796 -x1797 x1798 -x1799 779.26 v -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 x1815 -x1816 779.26 v -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 779.26 v -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x1850 -x1851 779.26 v -x1852 x1853 -x1854 -x1855 -x1856 -x1857 -x1858 x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 779.26 v -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 779.26 v -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 779.26 v x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 779.26 v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 779.26 v -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 x1951 -x1952 -x1953 -x1954 779.26 v -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 779.26 v -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 x1986 -x1987 -x1988 779.26 v -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 779.26 v -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 779.26 v -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 779.26 v -x2040 -x2041 -x2042 -x2043 -x2044 x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 779.26 v -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 779.26 v -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 779.26 v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 779.26 v -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 -x2121 -x2122 -x2123 -x2124 779.26 v -x2125 -x2126 -x2127 -x2128 x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 779.26 v -x2142 x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 779.26 v -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 779.26 v -x2176 -x2177 x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 779.26 v -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 779.26 v -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 779.26 v -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 x2240 -x2241 -x2242 -x2243 779.26 v -x2244 -x2245 -x2246 -x2247 -x2248 x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 779.26 v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 779.26 v -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 x2290 -x2291 -x2292 -x2293 -x2294 779.26 v -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 x2309 -x2310 -x2311 779.26 v -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 779.26 v -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 779.26 v -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 779.26 v -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 779.26 v -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 779.26 v -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 779.26 v -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 x2426 -x2427 -x2428 x2429 -x2430 -x2431 779.26 v -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 779.26 v -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 779.26 v -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 779.26 v -x2483 -x2484 x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 779.26 v -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 779.26 v -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 x2531 -x2532 -x2533 779.26 v -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 779.26 v -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 779.26 v -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 779.26 v -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 779.26 v -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 779.26 v -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 779.26 v -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 x2652 779.26 v -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 779.26 v -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 779.26 v -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 x2699 -x2700 -x2701 -x2702 -x2703 779.26 v -x2704 x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 779.26 v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 779.26 v -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 779.26 v -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 779.26 v -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 779.26 v -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 779.26 v x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 779.26 v -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 779.26 v -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 779.26 v -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 779.26 v -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 779.26 v -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 779.26 v -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 779.26 v -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 779.26 v -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 779.26 v -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 779.26 v -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 779.26 v -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 779.26 v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 779.26 v -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 779.26 v -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 779.26 v x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 779.26 v -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 779.26 v -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 779.26 v -x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 779.26 v -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 779.26 v -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 779.26 v -x500 -x501 -x502 -x503 -x504 -x505 -x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 779.26 v -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 779.26 v -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 779.26 v -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 779.26 v -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 779.26 v -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 779.26 v -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 779.26 v -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 779.26 v -x668 -x669 -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 779.26 v -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 779.26 v -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 779.26 v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 779.26 v -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 779.26 v -x773 -x774 x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 779.26 v -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 779.26 v -x815 -x816 -x817 -x818 -x819 -x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 779.26 v -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 779.26 v -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 779.26 v -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 779.26 v -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 779.26 v -x920 -x921 -x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 779.26 v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 779.26 v -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 779.26 v -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 x997 -x998 -x999 -x1000 -x1001 -x1002 779.26 v -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 779.26 v -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 779.26 v -x1037 -x1038 -x1039 x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 779.26 v -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 779.26 v -x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 779.26 v -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 779.26 v -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 779.26 v -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 779.26 v -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 779.26 v -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 779.26 v -x1173 -x1174 -x1175 -x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 779.26 v -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 779.26 v -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 779.26 v -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 779.26 v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 779.26 v -x1258 -x1259 -x1260 -x1261 -x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 779.26 v -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 779.26 v -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 779.26 v -x1309 -x1310 -x1311 -x1312 x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 x1325 -x1326 779.26 v -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 779.26 v -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 779.26 v -x1361 -x1362 x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 779.26 v -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 779.26 v -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 779.26 v -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 779.26 v -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 779.26 v -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 779.26 v -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 -x1479 779.26 v -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 x1493 -x1494 -x1495 -x1496 779.26 v -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 779.26 v -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 779.26 v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 x1546 -x1547 779.26 v -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 779.26 v -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 779.26 v -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 779.26 v -x1599 -x1600 779.26 c Exit Code: 10 779.26 c Total time: 778.95 s
OK 0
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-39632-1149227026 -o ROOT/results/node6/solver-39632-1149227026 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node6/39632-1149227026/instance-39632-1149227026.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.55 0.86 0.88 2/64 703 /proc/meminfo: memFree=1367336/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=4924 CPUtime=0 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 271 0 0 0 0 0 0 0 18 0 1 0 188366198 5042176 241 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 1231 244 155 55 0 123 0 [startup+10.0023 s] /proc/loadavg: 0.62 0.87 0.89 2/64 703 /proc/meminfo: memFree=1095976/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=275476 CPUtime=9.98 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 68114 0 0 0 964 34 0 0 25 0 1 0 188366198 282087424 68029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 68869 68029 280 55 0 67761 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 275476 [startup+20.0093 s] /proc/loadavg: 0.68 0.87 0.89 2/64 703 /proc/meminfo: memFree=861160/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=510632 CPUtime=19.98 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 126740 0 0 0 1932 66 0 0 25 0 1 0 188366198 522887168 126655 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645414 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 127658 126655 288 55 0 126550 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 510632 [startup+30.0163 s] /proc/loadavg: 0.73 0.87 0.89 2/64 703 /proc/meminfo: memFree=861160/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=510632 CPUtime=29.99 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 126740 0 0 0 2933 66 0 0 25 0 1 0 188366198 522887168 126655 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 127658 126655 288 55 0 126550 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 510632 [startup+40.0223 s] /proc/loadavg: 0.77 0.88 0.89 2/64 703 /proc/meminfo: memFree=861096/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=510632 CPUtime=39.99 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 126740 0 0 0 3933 66 0 0 25 0 1 0 188366198 522887168 126655 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557864 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 127658 126655 288 55 0 126550 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 510632 [startup+50.0282 s] /proc/loadavg: 0.80 0.88 0.89 2/64 703 /proc/meminfo: memFree=861096/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=510632 CPUtime=49.99 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 126740 0 0 0 4933 66 0 0 25 0 1 0 188366198 522887168 126655 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 127658 126655 288 55 0 126550 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 510632 [startup+60.0342 s] /proc/loadavg: 0.83 0.88 0.89 2/64 703 /proc/meminfo: memFree=861096/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=510632 CPUtime=59.99 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 126740 0 0 0 5933 66 0 0 25 0 1 0 188366198 522887168 126655 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 127658 126655 288 55 0 126550 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 510632 [startup+70.0412 s] /proc/loadavg: 0.86 0.89 0.89 2/64 703 /proc/meminfo: memFree=861096/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=510632 CPUtime=70 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 126740 0 0 0 6934 66 0 0 25 0 1 0 188366198 522887168 126655 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 127658 126655 288 55 0 126550 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 510632 [startup+80.0472 s] /proc/loadavg: 0.88 0.89 0.89 2/64 703 /proc/meminfo: memFree=861096/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=510632 CPUtime=80 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 126740 0 0 0 7934 66 0 0 25 0 1 0 188366198 522887168 126655 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540876 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 127658 126655 288 55 0 126550 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 510632 [startup+90.0532 s] /proc/loadavg: 0.90 0.89 0.89 2/64 703 /proc/meminfo: memFree=861096/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=510632 CPUtime=90 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 126740 0 0 0 8934 66 0 0 25 0 1 0 188366198 522887168 126655 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 127658 126655 288 55 0 126550 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 510632 [startup+100.059 s] /proc/loadavg: 0.91 0.90 0.89 2/64 703 /proc/meminfo: memFree=861096/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=510632 CPUtime=100 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 126740 0 0 0 9934 66 0 0 25 0 1 0 188366198 522887168 126655 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 127658 126655 288 55 0 126550 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 510632 [startup+110.065 s] /proc/loadavg: 0.93 0.90 0.89 2/64 703 /proc/meminfo: memFree=861096/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=510632 CPUtime=110.01 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 126740 0 0 0 10935 66 0 0 25 0 1 0 188366198 522887168 126655 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645298 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 127658 126655 288 55 0 126550 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 510632 [startup+120.071 s] /proc/loadavg: 0.94 0.90 0.90 2/64 703 /proc/meminfo: memFree=861096/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=510632 CPUtime=120.01 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 126740 0 0 0 11935 66 0 0 25 0 1 0 188366198 522887168 126655 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 127658 126655 288 55 0 126550 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 510632 [startup+130.077 s] /proc/loadavg: 0.95 0.91 0.90 2/64 703 /proc/meminfo: memFree=861032/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=510632 CPUtime=130.02 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 126740 0 0 0 12936 66 0 0 25 0 1 0 188366198 522887168 126655 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541680 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 127658 126655 288 55 0 126550 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 510632 [startup+140.088 s] /proc/loadavg: 0.95 0.91 0.90 2/64 703 /proc/meminfo: memFree=861032/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=510632 CPUtime=140.02 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 126740 0 0 0 13936 66 0 0 25 0 1 0 188366198 522887168 126655 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542072 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 127658 126655 288 55 0 126550 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 510632 [startup+150.094 s] /proc/loadavg: 0.96 0.91 0.90 2/64 703 /proc/meminfo: memFree=861032/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=510632 CPUtime=150.02 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 126740 0 0 0 14936 66 0 0 25 0 1 0 188366198 522887168 126655 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 127658 126655 288 55 0 126550 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 510632 [startup+160.1 s] /proc/loadavg: 0.97 0.91 0.90 2/64 703 /proc/meminfo: memFree=861032/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=510632 CPUtime=160.02 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 126740 0 0 0 15936 66 0 0 25 0 1 0 188366198 522887168 126655 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541672 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 127658 126655 288 55 0 126550 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 510632 [startup+170.106 s] /proc/loadavg: 0.97 0.92 0.90 2/64 703 /proc/meminfo: memFree=861032/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=510632 CPUtime=170.02 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 126740 0 0 0 16936 66 0 0 25 0 1 0 188366198 522887168 126655 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540876 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 127658 126655 288 55 0 126550 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 510632 [startup+180.112 s] /proc/loadavg: 0.98 0.92 0.90 2/64 703 /proc/meminfo: memFree=861032/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=510632 CPUtime=180.02 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 126740 0 0 0 17936 66 0 0 25 0 1 0 188366198 522887168 126655 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541658 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 127658 126655 288 55 0 126550 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 510632 [startup+190.118 s] /proc/loadavg: 0.98 0.92 0.90 2/64 703 /proc/meminfo: memFree=861032/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=510632 CPUtime=190.03 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 126740 0 0 0 18937 66 0 0 25 0 1 0 188366198 522887168 126655 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645333 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 127658 126655 288 55 0 126550 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 510632 [startup+200.124 s] /proc/loadavg: 0.98 0.92 0.90 2/64 703 /proc/meminfo: memFree=861032/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=510632 CPUtime=200.03 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 126740 0 0 0 19937 66 0 0 25 0 1 0 188366198 522887168 126655 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645156 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 127658 126655 288 55 0 126550 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 510632 [startup+210.13 s] /proc/loadavg: 0.98 0.92 0.90 2/64 703 /proc/meminfo: memFree=861032/2055924 swapFree=4181416/4192956 ################ # More data... # ################ /proc/703/statm: 134088 133069 297 55 0 132980 0 Current children cumulated CPU time (s) 560.11 Current children cumulated vsize (Kb) 536352 [startup+570.352 s] /proc/loadavg: 0.99 0.97 0.91 2/64 703 /proc/meminfo: memFree=835240/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=536476 CPUtime=570.12 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 133196 0 0 0 56940 72 0 0 25 0 1 0 188366198 549351424 133078 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 134119 133078 297 55 0 133011 0 Current children cumulated CPU time (s) 570.12 Current children cumulated vsize (Kb) 536476 [startup+580.358 s] /proc/loadavg: 0.99 0.97 0.91 2/64 703 /proc/meminfo: memFree=835112/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=536476 CPUtime=580.12 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 133219 0 0 0 57940 72 0 0 25 0 1 0 188366198 549351424 133101 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 134119 133101 297 55 0 133011 0 Current children cumulated CPU time (s) 580.12 Current children cumulated vsize (Kb) 536476 [startup+590.365 s] /proc/loadavg: 0.99 0.97 0.91 2/64 703 /proc/meminfo: memFree=835048/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=536608 CPUtime=590.12 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 133236 0 0 0 58940 72 0 0 25 0 1 0 188366198 549486592 133118 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 134152 133118 297 55 0 133044 0 Current children cumulated CPU time (s) 590.12 Current children cumulated vsize (Kb) 536608 [startup+600.372 s] /proc/loadavg: 0.99 0.97 0.91 2/64 703 /proc/meminfo: memFree=834984/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=536608 CPUtime=600.12 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 133250 0 0 0 59939 73 0 0 25 0 1 0 188366198 549486592 133132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 134152 133132 297 55 0 133044 0 Current children cumulated CPU time (s) 600.12 Current children cumulated vsize (Kb) 536608 [startup+610.378 s] /proc/loadavg: 0.99 0.97 0.91 2/64 703 /proc/meminfo: memFree=834984/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=536740 CPUtime=610.13 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 133267 0 0 0 60939 74 0 0 25 0 1 0 188366198 549621760 133149 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 134185 133149 297 55 0 133077 0 Current children cumulated CPU time (s) 610.13 Current children cumulated vsize (Kb) 536740 [startup+620.384 s] /proc/loadavg: 0.99 0.97 0.91 2/64 703 /proc/meminfo: memFree=834920/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=536740 CPUtime=620.12 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 133277 0 0 0 61938 74 0 0 25 0 1 0 188366198 549621760 133159 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540723 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 134185 133159 297 55 0 133077 0 Current children cumulated CPU time (s) 620.12 Current children cumulated vsize (Kb) 536740 [startup+630.391 s] /proc/loadavg: 0.99 0.97 0.91 2/64 703 /proc/meminfo: memFree=834856/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=536740 CPUtime=630.13 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 133285 0 0 0 62938 75 0 0 25 0 1 0 188366198 549621760 133167 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 134185 133167 297 55 0 133077 0 Current children cumulated CPU time (s) 630.13 Current children cumulated vsize (Kb) 536740 [startup+640.397 s] /proc/loadavg: 0.99 0.97 0.91 2/64 703 /proc/meminfo: memFree=834856/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=536872 CPUtime=640.14 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 133296 0 0 0 63938 76 0 0 25 0 1 0 188366198 549756928 133178 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 134218 133178 297 55 0 133110 0 Current children cumulated CPU time (s) 640.14 Current children cumulated vsize (Kb) 536872 [startup+650.403 s] /proc/loadavg: 0.99 0.97 0.91 2/64 703 /proc/meminfo: memFree=834792/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=536872 CPUtime=650.13 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 133309 0 0 0 64937 76 0 0 25 0 1 0 188366198 549756928 133191 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 134218 133191 297 55 0 133110 0 Current children cumulated CPU time (s) 650.13 Current children cumulated vsize (Kb) 536872 [startup+660.41 s] /proc/loadavg: 0.99 0.97 0.91 2/64 703 /proc/meminfo: memFree=834728/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=536872 CPUtime=660.14 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 133320 0 0 0 65937 77 0 0 25 0 1 0 188366198 549756928 133202 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 134218 133202 297 55 0 133110 0 Current children cumulated CPU time (s) 660.14 Current children cumulated vsize (Kb) 536872 [startup+670.416 s] /proc/loadavg: 0.99 0.97 0.91 2/64 703 /proc/meminfo: memFree=834664/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=537004 CPUtime=670.14 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 133338 0 0 0 66937 77 0 0 25 0 1 0 188366198 549892096 133220 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541260 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 134251 133220 297 55 0 133143 0 Current children cumulated CPU time (s) 670.14 Current children cumulated vsize (Kb) 537004 [startup+680.422 s] /proc/loadavg: 0.99 0.97 0.91 2/64 703 /proc/meminfo: memFree=834600/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=537004 CPUtime=680.15 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 133351 0 0 0 67937 78 0 0 25 0 1 0 188366198 549892096 133233 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 134251 133233 297 55 0 133143 0 Current children cumulated CPU time (s) 680.15 Current children cumulated vsize (Kb) 537004 [startup+690.428 s] /proc/loadavg: 0.99 0.97 0.91 2/64 703 /proc/meminfo: memFree=834472/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=537136 CPUtime=690.15 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 133384 0 0 0 68936 79 0 0 25 0 1 0 188366198 550027264 133266 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 134284 133266 297 55 0 133176 0 Current children cumulated CPU time (s) 690.15 Current children cumulated vsize (Kb) 537136 [startup+700.434 s] /proc/loadavg: 0.99 0.97 0.91 2/64 703 /proc/meminfo: memFree=834344/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=537268 CPUtime=700.15 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 133401 0 0 0 69936 79 0 0 25 0 1 0 188366198 550162432 133283 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537786 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 134317 133283 297 55 0 133209 0 Current children cumulated CPU time (s) 700.15 Current children cumulated vsize (Kb) 537268 [startup+710.44 s] /proc/loadavg: 0.99 0.97 0.91 2/64 703 /proc/meminfo: memFree=834408/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=537268 CPUtime=710.15 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 133410 0 0 0 70936 79 0 0 25 0 1 0 188366198 550162432 133292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 134317 133292 297 55 0 133209 0 Current children cumulated CPU time (s) 710.15 Current children cumulated vsize (Kb) 537268 [startup+720.446 s] /proc/loadavg: 0.99 0.97 0.91 2/64 703 /proc/meminfo: memFree=834344/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=537268 CPUtime=720.15 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 133422 0 0 0 71935 80 0 0 25 0 1 0 188366198 550162432 133304 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 134317 133304 297 55 0 133209 0 Current children cumulated CPU time (s) 720.15 Current children cumulated vsize (Kb) 537268 [startup+730.452 s] /proc/loadavg: 0.99 0.97 0.91 2/64 703 /proc/meminfo: memFree=834280/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=537400 CPUtime=730.15 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 133435 0 0 0 72935 80 0 0 25 0 1 0 188366198 550297600 133317 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 134350 133317 297 55 0 133242 0 Current children cumulated CPU time (s) 730.15 Current children cumulated vsize (Kb) 537400 [startup+740.458 s] /proc/loadavg: 0.99 0.97 0.91 2/64 703 /proc/meminfo: memFree=834024/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=537532 CPUtime=740.16 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 133486 0 0 0 73935 81 0 0 25 0 1 0 188366198 550432768 133368 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 134383 133368 297 55 0 133275 0 Current children cumulated CPU time (s) 740.16 Current children cumulated vsize (Kb) 537532 [startup+750.464 s] /proc/loadavg: 0.99 0.97 0.91 2/64 703 /proc/meminfo: memFree=833576/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=538068 CPUtime=750.16 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 133604 0 0 0 74935 81 0 0 25 0 1 0 188366198 550981632 133486 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 134517 133486 297 55 0 133409 0 Current children cumulated CPU time (s) 750.16 Current children cumulated vsize (Kb) 538068 [startup+760.47 s] /proc/loadavg: 0.99 0.97 0.91 2/64 703 /proc/meminfo: memFree=833256/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=538336 CPUtime=760.16 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 133684 0 0 0 75934 82 0 0 25 0 1 0 188366198 551256064 133566 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535002 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 134584 133566 297 55 0 133476 0 Current children cumulated CPU time (s) 760.16 Current children cumulated vsize (Kb) 538336 [startup+770.476 s] /proc/loadavg: 0.99 0.97 0.91 2/64 703 /proc/meminfo: memFree=832936/2055924 swapFree=4181416/4192956 [pid=703] ppid=701 vsize=538732 CPUtime=770.17 /proc/703/stat : 703 (bsolo) R 701 703 658 0 -1 0 133761 0 0 0 76935 82 0 0 25 0 1 0 188366198 551661568 133643 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540688 0 0 4096 16384 0 0 0 17 1 0 0 /proc/703/statm: 134683 133643 297 55 0 133575 0 Current children cumulated CPU time (s) 770.17 Current children cumulated vsize (Kb) 538732 Child status: 10 Real time (s): 779.348 CPU time (s): 779.038 CPU user time (s): 778.125 CPU system time (s): 0.912861 CPU usage (%): 99.9601 Max. virtual memory (cumulated for all children) (Kb): 538732
Begin job on node6 on Fri Jun 2 05:43:50 UTC 2006 FILE ID= 39632-1149227026 PBS_JOBID= 295967 BENCH NAME= ROOT/tmp/node6/39632-1149227026/instance-39632-1149227026.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node6/39632-1149227026/instance-39632-1149227026.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-39632-1149227026 -o ROOT/results/node6/solver-39632-1149227026 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node6/39632-1149227026/instance-39632-1149227026.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 409a20f37901eec51bb3d0d7a35b01e1 RANDOM SEED= 368999185 /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: 1367288 kB Buffers: 33896 kB Cached: 579748 kB SwapCached: 3592 kB Active: 377904 kB Inactive: 244804 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1367288 kB SwapTotal: 4192956 kB SwapFree: 4181416 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14912 kB Slab: 51992 kB Committed_AS: 192972 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 Fri Jun 2 05:57:00 UTC 2006