Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | SAT | 651.978 | 652.262 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb |
MD5SUM | f5d8cf0048d52cf223a3574d281ac8f8 |
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 | 8.02978 |
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 | 350 |
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.02 c INFO: OSL Context initialized. 20.68 c Initial problem consists of 2800 variables and 990082 constraints. 490.79 c Using non-optimization problem switches. 490.79 c No problem reductions applied in OPT. instance. 490.79 c preprocess terminated. Elapsed time: 490.56 490.79 c After prepocess the problem consists of 2800 variables and 942082 constraints. 499.24 c Restart #1 #Var: 2800 LB: 0 @ 499 511.52 c Restart #2 #Var: 2800 LB: 0 @ 511.28 526.51 c Restart #3 #Var: 2800 LB: 0 @ 526.26 550.14 c Restart #4 #Var: 2800 LB: 0 @ 549.89 572.62 c Restart #5 #Var: 2800 LB: 0 @ 572.36 600.72 c Restart #6 #Var: 2800 LB: 0 @ 600.46 635.46 c Restart #7 #Var: 2800 LB: 0 @ 635.19 646.67 c Restart #8 #Var: 2800 LB: 0 @ 646.39 652.17 c Sol. found (all assignments made)... 652.18 o 0 652.18 c NEW SOLUTION FOUND: 0 @ 651.9 652.18 s SATISFIABLE 652.18 c Cost: 0 652.18 v -x2 -x1601 -x3 -x1602 -x4 -x1603 -x5 -x1604 -x6 -x1605 -x7 -x1606 -x8 -x1607 -x10 -x1608 -x11 -x1609 x12 -x1610 -x13 -x1611 652.18 v -x14 -x1612 -x15 -x1613 -x16 -x1614 -x19 -x1615 -x20 -x1616 -x21 -x1617 -x22 -x1618 -x24 -x1619 -x25 -x1620 -x26 -x1621 -x31 652.18 v -x1622 -x33 -x1623 -x34 x1624 -x35 -x1625 -x36 -x1626 -x39 -x1627 -x1 -x1628 -x1629 -x1630 -x1631 -x1632 -x9 x1633 -x1634 652.18 v -x1635 -x1636 -x1637 -x17 -x1638 -x18 -x1639 -x1640 -x1641 -x1642 x1643 -x1644 -x28 -x1645 -x29 -x1646 -x30 -x1647 -x1648 652.18 v -x32 -x1649 -x1650 -x1651 -x1652 -x1653 -x37 -x1654 -x38 -x1655 -x1656 -x40 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 652.18 v -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x23 -x1675 -x1676 -x1677 -x1678 -x27 -x1679 652.18 v -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 x1694 x1695 -x1696 -x1697 652.18 v -x1698 -x1699 -x1700 -x1701 x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 652.18 v -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 652.18 v -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 652.18 v -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 652.18 v -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 652.18 v -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 652.18 v -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 652.18 v -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 652.18 v -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 652.18 v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 652.18 v -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 652.18 v -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 652.18 v -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 652.18 v -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 x1930 -x1931 -x1932 -x1933 -x1934 -x1935 652.18 v -x1936 -x1937 -x1938 x1939 -x1940 x1941 -x1942 -x1943 x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 652.18 v -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 652.18 v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 652.18 v -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 x2002 -x2003 -x2004 652.18 v -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 x2016 -x2017 -x2018 -x2019 -x2020 -x2021 652.18 v -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 x2034 -x2035 -x2036 x2037 -x2038 -x2039 652.18 v -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 652.18 v -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 -x2070 -x2071 -x2072 -x2073 652.18 v x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 652.18 v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 x2102 -x2103 -x2104 -x2105 -x2106 -x2107 652.18 v -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 652.18 v -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 652.18 v -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 652.18 v -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 x2166 -x2167 x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 652.18 v -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 x2193 -x2194 652.18 v x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 652.18 v -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 652.18 v -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 652.18 v -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 x2259 -x2260 -x2261 -x2262 652.18 v -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 652.18 v -x2280 -x2281 x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 652.18 v -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 652.18 v -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 -x2330 652.18 v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 652.18 v -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 652.18 v -x2365 x2366 -x2367 -x2368 x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 652.18 v -x2383 x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 652.18 v -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 652.18 v -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 652.18 v -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 652.18 v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 652.18 v -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 652.18 v -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 652.18 v -x2502 -x2503 -x2504 -x2505 x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 652.18 v -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 652.18 v -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 652.18 v -x2553 -x2554 -x2555 x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 652.18 v -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 652.18 v -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 652.18 v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 652.18 v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 652.18 v -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 652.18 v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 652.18 v -x2672 -x2673 -x2674 -x2675 x2676 -x2677 -x2678 x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 652.18 v -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 652.18 v -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 652.18 v -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 652.18 v -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 652.18 v -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 652.18 v -x2775 -x2776 -x2777 x2778 -x2779 x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 652.18 v -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 652.18 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 652.18 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 652.18 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 652.18 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 652.18 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 652.18 v -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 652.18 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 652.18 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 652.18 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 652.18 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 652.18 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 652.18 v -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 652.18 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 652.18 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 652.18 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 652.18 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 652.18 v x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 652.18 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 652.18 v -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 652.18 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 652.18 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 652.18 v -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 652.18 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 x543 -x544 -x545 -x546 652.18 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 652.18 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 652.18 v x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 652.18 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 652.18 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 652.18 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 652.18 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 652.18 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 652.18 v x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 652.18 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 -x756 652.18 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 652.18 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 652.18 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 652.18 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 652.18 v x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 652.18 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 652.18 v -x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 652.18 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 652.18 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 652.18 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 652.18 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 652.18 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 652.18 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 652.18 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 -x1040 652.18 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 652.18 v -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 652.18 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 652.18 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 652.18 v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 652.18 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 x1138 -x1139 -x1140 -x1141 -x1142 652.18 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 652.18 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 652.18 v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 652.18 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 652.18 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 652.18 v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 652.18 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 652.18 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 652.18 v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 652.18 v -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 x1310 -x1311 -x1312 652.18 v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 652.18 v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 652.18 v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 x1363 -x1364 652.18 v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 652.18 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 652.18 v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 652.18 v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 652.18 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 652.18 v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 652.18 v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 652.18 v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 652.18 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 652.18 v -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 x1531 -x1532 -x1533 -x1534 652.18 v -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 652.18 v -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 652.18 v -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 652.18 v -x1586 -x1587 x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 652.18 c Exit Code: 10 652.18 c Total time: 651.9 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/node87/watcher-39634-1149519368 -o ROOT/results/node87/solver-39634-1149519368 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node87/39634-1149519368/instance-39634-1149519368.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.07 0.02 0.00 2/67 16948 /proc/meminfo: memFree=1482992/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=3228 CPUtime=0 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 54 0 0 0 0 0 0 0 19 0 1 0 217577280 3305472 38 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11240372 0 0 4096 0 0 0 0 17 1 0 0 /proc/16948/statm: 842 38 28 55 0 40 0 [startup+10.003 s] /proc/loadavg: 0.21 0.05 0.01 2/67 16948 /proc/meminfo: memFree=1241784/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=245376 CPUtime=9.98 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 60590 0 0 0 971 27 0 0 25 0 1 0 217577280 251265024 60506 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11675691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 61344 60507 277 55 0 60235 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 245376 [startup+20.0101 s] /proc/loadavg: 0.33 0.08 0.02 2/67 16948 /proc/meminfo: memFree=1003896/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=483512 CPUtime=19.98 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 119975 0 0 0 1942 56 0 0 25 0 1 0 217577280 495116288 119891 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537025 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 120878 119891 278 55 0 119769 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 483512 [startup+30.0163 s] /proc/loadavg: 0.44 0.11 0.03 2/67 16948 /proc/meminfo: memFree=977976/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=509492 CPUtime=29.98 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 126453 0 0 0 2940 58 0 0 25 0 1 0 217577280 521719808 126369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541672 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 127373 126369 285 55 0 126264 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 509492 [startup+40.0224 s] /proc/loadavg: 0.52 0.14 0.04 2/67 16948 /proc/meminfo: memFree=977976/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=509492 CPUtime=39.98 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 126453 0 0 0 3940 58 0 0 25 0 1 0 217577280 521719808 126369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 127373 126369 285 55 0 126264 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 509492 [startup+50.0285 s] /proc/loadavg: 0.60 0.16 0.05 2/67 16948 /proc/meminfo: memFree=977976/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=509492 CPUtime=49.99 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 126453 0 0 0 4941 58 0 0 25 0 1 0 217577280 521719808 126369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 127373 126369 285 55 0 126264 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 509492 [startup+60.0347 s] /proc/loadavg: 0.66 0.19 0.06 2/67 16948 /proc/meminfo: memFree=977912/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=509492 CPUtime=59.99 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 126453 0 0 0 5941 58 0 0 25 0 1 0 217577280 521719808 126369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644917 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 127373 126369 285 55 0 126264 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 509492 [startup+70.0408 s] /proc/loadavg: 0.71 0.22 0.07 2/67 16948 /proc/meminfo: memFree=977912/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=509492 CPUtime=69.99 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 126453 0 0 0 6941 58 0 0 25 0 1 0 217577280 521719808 126369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 127373 126369 285 55 0 126264 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 509492 [startup+80.047 s] /proc/loadavg: 0.75 0.24 0.08 2/67 16948 /proc/meminfo: memFree=977912/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=509492 CPUtime=80 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 126453 0 0 0 7942 58 0 0 25 0 1 0 217577280 521719808 126369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541672 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 127373 126369 285 55 0 126264 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 509492 [startup+90.0521 s] /proc/loadavg: 0.79 0.27 0.09 2/67 16948 /proc/meminfo: memFree=977912/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=509492 CPUtime=90 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 126453 0 0 0 8942 58 0 0 25 0 1 0 217577280 521719808 126369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 127373 126369 285 55 0 126264 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 509492 [startup+100.058 s] /proc/loadavg: 0.82 0.29 0.10 2/67 16948 /proc/meminfo: memFree=977912/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=509492 CPUtime=100 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 126453 0 0 0 9942 58 0 0 25 0 1 0 217577280 521719808 126369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 127373 126369 285 55 0 126264 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 509492 [startup+110.064 s] /proc/loadavg: 0.85 0.31 0.11 2/67 16948 /proc/meminfo: memFree=977912/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=509492 CPUtime=110.01 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 126453 0 0 0 10943 58 0 0 25 0 1 0 217577280 521719808 126369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 127373 126369 285 55 0 126264 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 509492 [startup+120.071 s] /proc/loadavg: 0.87 0.34 0.12 2/67 16948 /proc/meminfo: memFree=977912/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=509492 CPUtime=120.01 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 126453 0 0 0 11943 58 0 0 25 0 1 0 217577280 521719808 126369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 127373 126369 285 55 0 126264 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 509492 [startup+130.077 s] /proc/loadavg: 0.89 0.36 0.13 2/67 16948 /proc/meminfo: memFree=977912/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=509492 CPUtime=130.01 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 126453 0 0 0 12943 58 0 0 25 0 1 0 217577280 521719808 126369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 127373 126369 285 55 0 126264 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 509492 [startup+140.082 s] /proc/loadavg: 0.91 0.38 0.14 2/67 16948 /proc/meminfo: memFree=977912/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=509492 CPUtime=140.02 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 126453 0 0 0 13944 58 0 0 25 0 1 0 217577280 521719808 126369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 127373 126369 285 55 0 126264 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 509492 [startup+150.088 s] /proc/loadavg: 0.92 0.40 0.15 2/67 16948 /proc/meminfo: memFree=977912/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=509492 CPUtime=150.02 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 126453 0 0 0 14944 58 0 0 25 0 1 0 217577280 521719808 126369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557734 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 127373 126369 285 55 0 126264 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 509492 [startup+160.094 s] /proc/loadavg: 0.93 0.42 0.15 2/67 16948 /proc/meminfo: memFree=977912/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=509492 CPUtime=160.02 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 126453 0 0 0 15944 58 0 0 25 0 1 0 217577280 521719808 126369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541672 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 127373 126369 285 55 0 126264 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 509492 [startup+170.1 s] /proc/loadavg: 0.94 0.44 0.16 2/67 16948 /proc/meminfo: memFree=977912/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=509492 CPUtime=170.03 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 126453 0 0 0 16945 58 0 0 25 0 1 0 217577280 521719808 126369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 127373 126369 285 55 0 126264 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 509492 [startup+180.106 s] /proc/loadavg: 0.95 0.45 0.17 2/67 16948 /proc/meminfo: memFree=977912/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=509492 CPUtime=180.03 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 126453 0 0 0 17945 58 0 0 25 0 1 0 217577280 521719808 126369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 127373 126369 285 55 0 126264 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 509492 [startup+190.113 s] /proc/loadavg: 0.96 0.47 0.18 2/67 16948 /proc/meminfo: memFree=977912/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=509492 CPUtime=190.03 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 126453 0 0 0 18945 58 0 0 25 0 1 0 217577280 521719808 126369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557739 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 127373 126369 285 55 0 126264 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 509492 [startup+200.118 s] /proc/loadavg: 0.96 0.49 0.19 2/67 16948 /proc/meminfo: memFree=977912/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=509492 CPUtime=200.04 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 126453 0 0 0 19946 58 0 0 25 0 1 0 217577280 521719808 126369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 127373 126369 285 55 0 126264 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 509492 [startup+210.124 s] /proc/loadavg: 0.97 0.51 0.20 2/67 16948 /proc/meminfo: memFree=977912/2055888 swapFree=4085404/4096564 ################ # More data... # ################ /proc/16948/statm: 127373 126369 285 55 0 126264 0 Current children cumulated CPU time (s) 440.03 Current children cumulated vsize (Kb) 509492 [startup+450.27 s] /proc/loadavg: 0.99 0.77 0.37 2/67 17143 /proc/meminfo: memFree=977528/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=509492 CPUtime=450.04 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 126453 0 0 0 44945 59 0 0 25 0 1 0 217577280 521719808 126369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644958 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 127373 126369 285 55 0 126264 0 Current children cumulated CPU time (s) 450.04 Current children cumulated vsize (Kb) 509492 [startup+460.276 s] /proc/loadavg: 0.99 0.78 0.38 2/67 17143 /proc/meminfo: memFree=977528/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=509492 CPUtime=460.04 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 126453 0 0 0 45945 59 0 0 25 0 1 0 217577280 521719808 126369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 127373 126369 285 55 0 126264 0 Current children cumulated CPU time (s) 460.04 Current children cumulated vsize (Kb) 509492 [startup+470.282 s] /proc/loadavg: 0.99 0.78 0.38 2/67 17143 /proc/meminfo: memFree=977528/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=509492 CPUtime=470.04 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 126453 0 0 0 46945 59 0 0 25 0 1 0 217577280 521719808 126369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 127373 126369 285 55 0 126264 0 Current children cumulated CPU time (s) 470.04 Current children cumulated vsize (Kb) 509492 [startup+480.289 s] /proc/loadavg: 0.99 0.79 0.39 2/67 17143 /proc/meminfo: memFree=977528/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=509492 CPUtime=480.05 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 126453 0 0 0 47946 59 0 0 25 0 1 0 217577280 521719808 126369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 127373 126369 285 55 0 126264 0 Current children cumulated CPU time (s) 480.05 Current children cumulated vsize (Kb) 509492 [startup+490.295 s] /proc/loadavg: 0.99 0.80 0.39 2/67 17143 /proc/meminfo: memFree=952632/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=534584 CPUtime=490.05 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 132738 0 0 0 48943 62 0 0 25 0 1 0 217577280 547414016 132621 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557729 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 133646 132621 285 55 0 132537 0 Current children cumulated CPU time (s) 490.05 Current children cumulated vsize (Kb) 534584 [startup+500.3 s] /proc/loadavg: 0.99 0.80 0.40 2/67 17143 /proc/meminfo: memFree=952312/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=534972 CPUtime=500.06 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 132836 0 0 0 49943 63 0 0 25 0 1 0 217577280 547811328 132719 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 133743 132719 294 55 0 132634 0 Current children cumulated CPU time (s) 500.06 Current children cumulated vsize (Kb) 534972 [startup+510.306 s] /proc/loadavg: 0.99 0.81 0.40 2/67 17143 /proc/meminfo: memFree=952120/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=535104 CPUtime=510.06 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 132870 0 0 0 50943 63 0 0 25 0 1 0 217577280 547946496 132753 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537690 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 133776 132753 294 55 0 132667 0 Current children cumulated CPU time (s) 510.06 Current children cumulated vsize (Kb) 535104 [startup+520.312 s] /proc/loadavg: 0.99 0.81 0.41 2/67 17143 /proc/meminfo: memFree=951992/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=535236 CPUtime=520.06 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 132903 0 0 0 51943 63 0 0 25 0 1 0 217577280 548081664 132786 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 133809 132786 294 55 0 132700 0 Current children cumulated CPU time (s) 520.06 Current children cumulated vsize (Kb) 535236 [startup+530.318 s] /proc/loadavg: 0.99 0.82 0.42 2/67 17143 /proc/meminfo: memFree=951928/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=535236 CPUtime=530.07 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 132917 0 0 0 52943 64 0 0 25 0 1 0 217577280 548081664 132800 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 133809 132800 294 55 0 132700 0 Current children cumulated CPU time (s) 530.07 Current children cumulated vsize (Kb) 535236 [startup+540.324 s] /proc/loadavg: 0.99 0.83 0.42 2/67 17143 /proc/meminfo: memFree=951800/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=535368 CPUtime=540.07 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 132960 0 0 0 53943 64 0 0 25 0 1 0 217577280 548216832 132843 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 133842 132843 294 55 0 132733 0 Current children cumulated CPU time (s) 540.07 Current children cumulated vsize (Kb) 535368 [startup+550.331 s] /proc/loadavg: 0.99 0.83 0.43 2/67 17143 /proc/meminfo: memFree=951672/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=535500 CPUtime=550.07 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 132986 0 0 0 54943 64 0 0 25 0 1 0 217577280 548352000 132869 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 133875 132869 294 55 0 132766 0 Current children cumulated CPU time (s) 550.07 Current children cumulated vsize (Kb) 535500 [startup+560.336 s] /proc/loadavg: 0.99 0.84 0.43 2/67 17143 /proc/meminfo: memFree=951608/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=535500 CPUtime=560.08 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 132999 0 0 0 55943 65 0 0 25 0 1 0 217577280 548352000 132882 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 133875 132882 294 55 0 132766 0 Current children cumulated CPU time (s) 560.08 Current children cumulated vsize (Kb) 535500 [startup+570.342 s] /proc/loadavg: 0.99 0.84 0.44 2/67 17143 /proc/meminfo: memFree=951416/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=535764 CPUtime=570.07 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 133058 0 0 0 56942 65 0 0 25 0 1 0 217577280 548622336 132941 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 133941 132941 294 55 0 132832 0 Current children cumulated CPU time (s) 570.07 Current children cumulated vsize (Kb) 535764 [startup+580.348 s] /proc/loadavg: 0.99 0.85 0.45 2/67 17143 /proc/meminfo: memFree=951288/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=535896 CPUtime=580.08 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 133085 0 0 0 57942 66 0 0 25 0 1 0 217577280 548757504 132968 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 133974 132968 294 55 0 132865 0 Current children cumulated CPU time (s) 580.08 Current children cumulated vsize (Kb) 535896 [startup+590.354 s] /proc/loadavg: 0.99 0.85 0.45 2/67 17143 /proc/meminfo: memFree=950904/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=536308 CPUtime=590.08 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 133180 0 0 0 58941 67 0 0 25 0 1 0 217577280 549179392 133063 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540688 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 134077 133063 294 55 0 132968 0 Current children cumulated CPU time (s) 590.08 Current children cumulated vsize (Kb) 536308 [startup+600.36 s] /proc/loadavg: 0.99 0.85 0.46 2/67 17143 /proc/meminfo: memFree=950776/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=536440 CPUtime=600.08 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 133226 0 0 0 59941 67 0 0 25 0 1 0 217577280 549314560 133109 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 134110 133109 294 55 0 133001 0 Current children cumulated CPU time (s) 600.08 Current children cumulated vsize (Kb) 536440 [startup+610.365 s] /proc/loadavg: 0.99 0.86 0.46 2/67 17143 /proc/meminfo: memFree=950648/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=536572 CPUtime=610.09 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 133241 0 0 0 60940 69 0 0 25 0 1 0 217577280 549449728 133124 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 134143 133124 294 55 0 133034 0 Current children cumulated CPU time (s) 610.09 Current children cumulated vsize (Kb) 536572 [startup+620.372 s] /proc/loadavg: 0.99 0.86 0.47 2/67 17143 /proc/meminfo: memFree=950584/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=536704 CPUtime=620.09 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 133270 0 0 0 61940 69 0 0 25 0 1 0 217577280 549584896 133153 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 134176 133153 294 55 0 133067 0 Current children cumulated CPU time (s) 620.09 Current children cumulated vsize (Kb) 536704 [startup+630.378 s] /proc/loadavg: 0.99 0.87 0.47 2/67 17143 /proc/meminfo: memFree=950392/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=536836 CPUtime=630.1 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 133310 0 0 0 62940 70 0 0 25 0 1 0 217577280 549720064 133193 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 134209 133193 294 55 0 133100 0 Current children cumulated CPU time (s) 630.1 Current children cumulated vsize (Kb) 536836 [startup+640.384 s] /proc/loadavg: 0.99 0.87 0.48 2/67 17143 /proc/meminfo: memFree=949944/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=537232 CPUtime=640.1 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 133431 0 0 0 63940 70 0 0 25 0 1 0 217577280 550125568 133314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 134308 133314 294 55 0 133199 0 Current children cumulated CPU time (s) 640.1 Current children cumulated vsize (Kb) 537232 [startup+650.39 s] /proc/loadavg: 0.99 0.87 0.48 2/67 17143 /proc/meminfo: memFree=948280/2055888 swapFree=4085404/4096564 [pid=16948] ppid=16946 vsize=539112 CPUtime=650.11 /proc/16948/stat : 16948 (bsolo) R 16946 16948 16902 0 -1 0 133858 0 0 0 64939 72 0 0 25 0 1 0 217577280 552050688 133741 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540702 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16948/statm: 134778 133741 294 55 0 133669 0 Current children cumulated CPU time (s) 650.11 Current children cumulated vsize (Kb) 539112 Child status: 10 Real time (s): 652.262 CPU time (s): 651.978 CPU user time (s): 651.178 CPU system time (s): 0.799878 CPU usage (%): 99.9565 Max. virtual memory (cumulated for all children) (Kb): 539112
Begin job on node87 on Mon Jun 5 14:56:15 UTC 2006 FILE ID= 39634-1149519368 PBS_JOBID= 315819 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node87/39634-1149519368/instance-39634-1149519368.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node87/watcher-39634-1149519368 -o ROOT/results/node87/solver-39634-1149519368 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node87/39634-1149519368/instance-39634-1149519368.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= f5d8cf0048d52cf223a3574d281ac8f8 RANDOM SEED= 38026569 /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.234 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 : 6006.17 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.234 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 : 5999.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1483072 kB Buffers: 37652 kB Cached: 467144 kB SwapCached: 2348 kB Active: 159996 kB Inactive: 353448 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1483072 kB SwapTotal: 4096564 kB SwapFree: 4085404 kB Dirty: 240 kB Writeback: 0 kB Mapped: 16760 kB Slab: 46020 kB Committed_AS: 363196 kB PageTables: 1280 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node87 on Mon Jun 5 15:07:14 UTC 2006