Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | SAT | 723.149 | 723.475 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb |
MD5SUM | 051b48fdf5558d73afe4ee3d3cae609a |
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 | 5.9071 |
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 | 336 |
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.08 c INFO: OSL Context initialized. 21.71 c Initial problem consists of 2800 variables and 990082 constraints. 510.35 c Using non-optimization problem switches. 510.35 c No problem reductions applied in OPT. instance. 510.35 c preprocess terminated. Elapsed time: 510.1 510.35 c After prepocess the problem consists of 2800 variables and 942082 constraints. 518.90 c Restart #1 #Var: 2800 LB: 0 @ 518.65 530.53 c Restart #2 #Var: 2800 LB: 0 @ 530.27 547.91 c Restart #3 #Var: 2800 LB: 0 @ 547.65 561.20 c Restart #4 #Var: 2800 LB: 0 @ 560.93 601.93 c Restart #5 #Var: 2800 LB: 0 @ 601.64 657.76 c Restart #6 #Var: 2800 LB: 0 @ 657.46 690.79 c Restart #7 #Var: 2800 LB: 0 @ 690.48 701.72 c Restart #8 #Var: 2800 LB: 0 @ 701.4 723.38 c Sol. found (all assignments made)... 723.38 o 0 723.38 c NEW SOLUTION FOUND: 0 @ 723.06 723.38 s SATISFIABLE 723.38 c Cost: 0 723.38 v -x3 -x1601 -x4 -x1602 -x5 -x1603 -x6 -x1604 -x8 -x1605 -x9 -x1606 -x10 -x1607 -x12 -x1608 -x13 x1609 -x15 -x1610 -x17 -x1611 723.38 v -x18 -x1612 -x19 -x1613 -x23 -x1614 -x25 -x1615 -x26 -x1616 -x28 -x1617 -x29 -x1618 -x30 -x1619 -x31 -x1620 -x33 -x1621 -x34 723.38 v -x1622 -x35 -x1623 -x38 -x1624 -x39 -x1625 -x40 -x1626 -x1627 -x1628 -x1629 -x7 -x1630 -x1631 -x1632 -x11 -x1633 -x1634 723.38 v -x1635 -x14 -x1636 -x1637 -x1638 -x1639 -x1640 -x20 -x1641 -x21 -x1642 -x22 -x1643 -x24 -x1644 -x27 -x1645 -x1646 -x1647 723.38 v -x1648 -x32 -x1649 -x1650 -x1651 -x1652 x36 -x1653 -x37 -x1654 -x1655 -x1656 -x1 -x1657 -x2 -x1658 -x1659 -x1660 -x1661 723.38 v -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x16 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 723.38 v -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 723.38 v -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 723.38 v -x1713 x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 723.38 v -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 723.38 v -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 x1755 -x1756 -x1757 -x1758 -x1759 -x1760 x1761 -x1762 -x1763 -x1764 723.38 v -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 723.38 v -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 723.38 v -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 723.38 v -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 x1827 -x1828 -x1829 -x1830 -x1831 -x1832 723.38 v -x1833 -x1834 -x1835 -x1836 x1837 x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 723.38 v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 723.38 v -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 723.38 v -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 723.38 v -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 723.38 v -x1919 x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 723.38 v -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 x1951 -x1952 723.38 v -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 723.38 v -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 723.38 v -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 723.38 v -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 723.38 v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 723.38 v -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 723.38 v -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 723.38 v -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 723.38 v -x2089 -x2090 x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 723.38 v x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 x2123 -x2124 723.38 v -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 723.38 v -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 723.38 v -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 723.38 v -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x2190 -x2191 -x2192 723.38 v -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 723.38 v -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 723.38 v -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 723.38 v -x2244 x2245 -x2246 -x2247 x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 723.38 v -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 723.38 v -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 723.38 v -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 723.38 v -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 723.38 v -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 723.38 v -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 x2354 -x2355 x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 723.38 v -x2365 -x2366 -x2367 x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 723.38 v -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 x2398 723.38 v -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 723.38 v -x2416 -x2417 -x2418 x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 723.38 v -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 723.38 v -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 723.38 v -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 723.38 v -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 x2497 -x2498 -x2499 -x2500 723.38 v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 723.38 v -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 x2534 723.38 v -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 723.38 v -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 723.38 v -x2569 -x2570 x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 x2584 -x2585 -x2586 723.38 v -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 723.38 v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 723.38 v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 723.38 v -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 723.38 v -x2655 -x2656 -x2657 -x2658 x2659 -x2660 -x2661 -x2662 x2663 -x2664 -x2665 -x2666 -x2667 -x2668 x2669 -x2670 -x2671 -x2672 723.38 v -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 723.38 v -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 723.38 v -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 723.38 v -x2724 -x2725 -x2726 -x2727 -x2728 x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 x2738 -x2739 -x2740 -x2741 723.38 v -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 x2751 -x2752 -x2753 -x2754 x2755 -x2756 -x2757 -x2758 -x2759 723.38 v -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 723.38 v -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 x2789 -x2790 -x2791 -x2792 -x2793 723.38 v -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 723.38 v -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 -x81 723.38 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 -x105 723.38 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 723.38 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 723.38 v -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 723.38 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 723.38 v -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 723.38 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 723.38 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 723.38 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 723.38 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 723.38 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 723.38 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 723.38 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 723.38 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 723.38 v -x379 x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 723.38 v -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 723.38 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 723.38 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 723.38 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 723.38 v -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 723.38 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 723.38 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 723.38 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 723.38 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 723.38 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 723.38 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 723.38 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 723.38 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 723.38 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 723.38 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 723.38 v -x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 723.38 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 723.38 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 723.38 v -x778 x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 723.38 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 723.38 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 723.38 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 723.38 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 x877 -x878 -x879 -x880 -x881 -x882 723.38 v x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 723.38 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 723.38 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 x943 -x944 -x945 723.38 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 723.38 v -x967 -x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 723.38 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 723.38 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 723.38 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 723.38 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 723.38 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 x1072 -x1073 -x1074 723.38 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 -x1091 723.38 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 723.38 v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 723.38 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 723.38 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 723.38 v -x1160 -x1161 x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 723.38 v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 723.38 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 723.38 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 723.38 v -x1228 -x1229 x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 723.38 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 723.38 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 723.38 v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 723.38 v -x1296 -x1297 -x1298 -x1299 -x1300 x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 723.38 v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 723.38 v -x1330 -x1331 -x1332 x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 723.38 v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 723.38 v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 723.38 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 723.38 v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 723.38 v -x1415 x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 723.38 v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 723.38 v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 x1465 723.38 v -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 723.38 v -x1483 -x1484 -x1485 -x1486 x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 723.38 v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 723.38 v -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 723.38 v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 723.38 v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 723.38 v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 723.38 v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 723.38 c Exit Code: 10 723.38 c Total time: 723.06 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/node48/watcher-39631-1149226924 -o ROOT/results/node48/solver-39631-1149226924 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node48/39631-1149226924/instance-39631-1149226924.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.46 0.85 0.95 2/64 11489 /proc/meminfo: memFree=1311792/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=2900 CPUtime=0 /proc/11489/stat : 11489 (bsolo) D 11487 11489 11444 0 -1 0 43 0 0 0 0 0 0 0 19 0 1 0 188361668 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3531556 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/11489/statm: 725 27 19 55 0 38 0 [startup+10.0027 s] /proc/loadavg: 0.54 0.85 0.95 2/64 11489 /proc/meminfo: memFree=1085296/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=230720 CPUtime=9.9 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 56928 0 0 0 965 25 0 0 25 0 1 0 188361668 236257280 56843 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3966587 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 57680 56843 280 55 0 56572 0 Current children cumulated CPU time (s) 9.9 Current children cumulated vsize (Kb) 230720 [startup+20.0084 s] /proc/loadavg: 0.61 0.86 0.95 2/64 11489 /proc/meminfo: memFree=853936/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=462096 CPUtime=19.9 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 114695 0 0 0 1935 55 0 0 25 0 1 0 188361668 473186304 114610 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3966587 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 115524 114610 280 55 0 114416 0 Current children cumulated CPU time (s) 19.9 Current children cumulated vsize (Kb) 462096 [startup+30.0151 s] /proc/loadavg: 0.67 0.86 0.95 2/64 11489 /proc/meminfo: memFree=805872/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=510372 CPUtime=29.91 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 126697 0 0 0 2930 61 0 0 25 0 1 0 188361668 522620928 126612 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541672 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 127593 126612 288 55 0 126485 0 Current children cumulated CPU time (s) 29.91 Current children cumulated vsize (Kb) 510372 [startup+40.0208 s] /proc/loadavg: 0.72 0.87 0.95 2/64 11489 /proc/meminfo: memFree=805872/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=510372 CPUtime=39.92 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 126697 0 0 0 3931 61 0 0 25 0 1 0 188361668 522620928 126612 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 127593 126612 288 55 0 126485 0 Current children cumulated CPU time (s) 39.92 Current children cumulated vsize (Kb) 510372 [startup+50.0265 s] /proc/loadavg: 0.76 0.87 0.95 2/64 11489 /proc/meminfo: memFree=805872/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=510372 CPUtime=49.92 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 126697 0 0 0 4931 61 0 0 25 0 1 0 188361668 522620928 126612 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 127593 126612 288 55 0 126485 0 Current children cumulated CPU time (s) 49.92 Current children cumulated vsize (Kb) 510372 [startup+60.0322 s] /proc/loadavg: 0.80 0.87 0.95 2/64 11489 /proc/meminfo: memFree=805872/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=510372 CPUtime=59.92 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 126697 0 0 0 5931 61 0 0 25 0 1 0 188361668 522620928 126612 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 127593 126612 288 55 0 126485 0 Current children cumulated CPU time (s) 59.92 Current children cumulated vsize (Kb) 510372 [startup+70.0379 s] /proc/loadavg: 0.83 0.88 0.95 2/64 11489 /proc/meminfo: memFree=805872/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=510372 CPUtime=69.92 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 126697 0 0 0 6931 61 0 0 25 0 1 0 188361668 522620928 126612 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644875 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 127593 126612 288 55 0 126485 0 Current children cumulated CPU time (s) 69.92 Current children cumulated vsize (Kb) 510372 [startup+80.0436 s] /proc/loadavg: 0.85 0.88 0.95 2/64 11489 /proc/meminfo: memFree=805872/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=510372 CPUtime=79.92 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 126697 0 0 0 7931 61 0 0 25 0 1 0 188361668 522620928 126612 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 127593 126612 288 55 0 126485 0 Current children cumulated CPU time (s) 79.92 Current children cumulated vsize (Kb) 510372 [startup+90.0494 s] /proc/loadavg: 0.88 0.88 0.95 2/64 11489 /proc/meminfo: memFree=805872/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=510372 CPUtime=89.93 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 126697 0 0 0 8932 61 0 0 25 0 1 0 188361668 522620928 126612 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645022 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 127593 126612 288 55 0 126485 0 Current children cumulated CPU time (s) 89.93 Current children cumulated vsize (Kb) 510372 [startup+100.055 s] /proc/loadavg: 0.89 0.89 0.95 2/64 11489 /proc/meminfo: memFree=805872/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=510372 CPUtime=99.93 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 126697 0 0 0 9932 61 0 0 25 0 1 0 188361668 522620928 126612 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 127593 126612 288 55 0 126485 0 Current children cumulated CPU time (s) 99.93 Current children cumulated vsize (Kb) 510372 [startup+110.061 s] /proc/loadavg: 0.91 0.89 0.95 2/64 11489 /proc/meminfo: memFree=805872/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=510372 CPUtime=109.93 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 126697 0 0 0 10932 61 0 0 25 0 1 0 188361668 522620928 126612 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 127593 126612 288 55 0 126485 0 Current children cumulated CPU time (s) 109.93 Current children cumulated vsize (Kb) 510372 [startup+120.066 s] /proc/loadavg: 0.92 0.89 0.95 2/64 11489 /proc/meminfo: memFree=805872/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=510372 CPUtime=119.93 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 126697 0 0 0 11932 61 0 0 25 0 1 0 188361668 522620928 126612 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 127593 126612 288 55 0 126485 0 Current children cumulated CPU time (s) 119.93 Current children cumulated vsize (Kb) 510372 [startup+130.072 s] /proc/loadavg: 0.93 0.90 0.95 2/64 11489 /proc/meminfo: memFree=805872/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=510372 CPUtime=129.93 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 126697 0 0 0 12932 61 0 0 25 0 1 0 188361668 522620928 126612 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645298 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 127593 126612 288 55 0 126485 0 Current children cumulated CPU time (s) 129.93 Current children cumulated vsize (Kb) 510372 [startup+140.078 s] /proc/loadavg: 0.94 0.90 0.95 2/64 11489 /proc/meminfo: memFree=805872/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=510372 CPUtime=139.94 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 126697 0 0 0 13933 61 0 0 25 0 1 0 188361668 522620928 126612 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542092 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 127593 126612 288 55 0 126485 0 Current children cumulated CPU time (s) 139.94 Current children cumulated vsize (Kb) 510372 [startup+150.084 s] /proc/loadavg: 0.95 0.90 0.95 2/64 11489 /proc/meminfo: memFree=805872/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=510372 CPUtime=149.94 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 126697 0 0 0 14933 61 0 0 25 0 1 0 188361668 522620928 126612 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541672 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 127593 126612 288 55 0 126485 0 Current children cumulated CPU time (s) 149.94 Current children cumulated vsize (Kb) 510372 [startup+160.089 s] /proc/loadavg: 0.96 0.90 0.95 2/64 11489 /proc/meminfo: memFree=805872/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=510372 CPUtime=159.94 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 126697 0 0 0 15933 61 0 0 25 0 1 0 188361668 522620928 126612 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535142 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 127593 126612 288 55 0 126485 0 Current children cumulated CPU time (s) 159.94 Current children cumulated vsize (Kb) 510372 [startup+170.095 s] /proc/loadavg: 0.97 0.91 0.95 2/64 11489 /proc/meminfo: memFree=805872/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=510372 CPUtime=169.94 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 126697 0 0 0 16933 61 0 0 25 0 1 0 188361668 522620928 126612 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 127593 126612 288 55 0 126485 0 Current children cumulated CPU time (s) 169.94 Current children cumulated vsize (Kb) 510372 [startup+180.101 s] /proc/loadavg: 0.97 0.91 0.95 2/64 11489 /proc/meminfo: memFree=805872/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=510372 CPUtime=179.94 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 126697 0 0 0 17933 61 0 0 25 0 1 0 188361668 522620928 126612 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 127593 126612 288 55 0 126485 0 Current children cumulated CPU time (s) 179.94 Current children cumulated vsize (Kb) 510372 [startup+190.106 s] /proc/loadavg: 0.97 0.91 0.95 2/64 11489 /proc/meminfo: memFree=805872/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=510372 CPUtime=189.95 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 126697 0 0 0 18934 61 0 0 25 0 1 0 188361668 522620928 126612 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 127593 126612 288 55 0 126485 0 Current children cumulated CPU time (s) 189.95 Current children cumulated vsize (Kb) 510372 [startup+200.113 s] /proc/loadavg: 0.98 0.91 0.95 2/64 11489 /proc/meminfo: memFree=805872/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=510372 CPUtime=199.95 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 126697 0 0 0 19934 61 0 0 25 0 1 0 188361668 522620928 126612 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 127593 126612 288 55 0 126485 0 Current children cumulated CPU time (s) 199.95 Current children cumulated vsize (Kb) 510372 [startup+210.12 s] /proc/loadavg: 0.98 0.92 0.95 2/64 11489 /proc/meminfo: memFree=805872/2055920 swapFree=4181440/4192956 ################ # More data... # ################ /proc/11489/statm: 133898 132894 288 55 0 132790 0 Current children cumulated CPU time (s) 510.04 Current children cumulated vsize (Kb) 535592 [startup+520.307 s] /proc/loadavg: 0.99 0.96 0.95 2/64 11489 /proc/meminfo: memFree=780464/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=535724 CPUtime=520.04 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 133072 0 0 0 51939 65 0 0 25 0 1 0 188361668 548581376 132954 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528729 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 133931 132954 297 55 0 132823 0 Current children cumulated CPU time (s) 520.04 Current children cumulated vsize (Kb) 535724 [startup+530.314 s] /proc/loadavg: 0.99 0.96 0.95 2/64 11489 /proc/meminfo: memFree=780272/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=535856 CPUtime=530.04 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 133110 0 0 0 52939 65 0 0 25 0 1 0 188361668 548716544 132992 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 133964 132992 297 55 0 132856 0 Current children cumulated CPU time (s) 530.04 Current children cumulated vsize (Kb) 535856 [startup+540.32 s] /proc/loadavg: 0.99 0.96 0.95 2/64 11489 /proc/meminfo: memFree=780272/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=535856 CPUtime=540.05 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 133110 0 0 0 53939 66 0 0 25 0 1 0 188361668 548716544 132992 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 133964 132992 297 55 0 132856 0 Current children cumulated CPU time (s) 540.05 Current children cumulated vsize (Kb) 535856 [startup+550.327 s] /proc/loadavg: 0.99 0.96 0.95 2/64 11489 /proc/meminfo: memFree=780272/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=535988 CPUtime=550.05 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 133115 0 0 0 54939 66 0 0 25 0 1 0 188361668 548851712 132997 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 133997 132997 297 55 0 132889 0 Current children cumulated CPU time (s) 550.05 Current children cumulated vsize (Kb) 535988 [startup+560.334 s] /proc/loadavg: 0.99 0.96 0.95 2/64 11489 /proc/meminfo: memFree=780080/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=536120 CPUtime=560.06 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 133164 0 0 0 55938 68 0 0 25 0 1 0 188361668 548986880 133046 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 134030 133046 297 55 0 132922 0 Current children cumulated CPU time (s) 560.06 Current children cumulated vsize (Kb) 536120 [startup+570.341 s] /proc/loadavg: 0.99 0.96 0.95 2/64 11489 /proc/meminfo: memFree=780016/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=536252 CPUtime=570.06 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 133184 0 0 0 56938 68 0 0 25 0 1 0 188361668 549122048 133066 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540808 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 134063 133066 297 55 0 132955 0 Current children cumulated CPU time (s) 570.06 Current children cumulated vsize (Kb) 536252 [startup+580.347 s] /proc/loadavg: 0.99 0.97 0.95 2/64 11489 /proc/meminfo: memFree=779888/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=536252 CPUtime=580.06 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 133208 0 0 0 57938 68 0 0 25 0 1 0 188361668 549122048 133090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 134063 133090 297 55 0 132955 0 Current children cumulated CPU time (s) 580.06 Current children cumulated vsize (Kb) 536252 [startup+590.353 s] /proc/loadavg: 0.99 0.97 0.95 2/64 11489 /proc/meminfo: memFree=779824/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=536384 CPUtime=590.07 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 133227 0 0 0 58938 69 0 0 25 0 1 0 188361668 549257216 133109 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 134096 133109 297 55 0 132988 0 Current children cumulated CPU time (s) 590.07 Current children cumulated vsize (Kb) 536384 [startup+600.359 s] /proc/loadavg: 0.99 0.97 0.95 2/64 11489 /proc/meminfo: memFree=779760/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=536384 CPUtime=600.07 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 133240 0 0 0 59938 69 0 0 25 0 1 0 188361668 549257216 133122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 134096 133122 297 55 0 132988 0 Current children cumulated CPU time (s) 600.07 Current children cumulated vsize (Kb) 536384 [startup+610.365 s] /proc/loadavg: 0.99 0.97 0.95 2/64 11489 /proc/meminfo: memFree=779760/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=536516 CPUtime=610.07 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 133249 0 0 0 60937 70 0 0 25 0 1 0 188361668 549392384 133131 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 134129 133131 297 55 0 133021 0 Current children cumulated CPU time (s) 610.07 Current children cumulated vsize (Kb) 536516 [startup+620.371 s] /proc/loadavg: 0.99 0.97 0.95 2/64 11489 /proc/meminfo: memFree=779696/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=536516 CPUtime=620.07 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 133263 0 0 0 61937 70 0 0 25 0 1 0 188361668 549392384 133145 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 134129 133145 297 55 0 133021 0 Current children cumulated CPU time (s) 620.07 Current children cumulated vsize (Kb) 536516 [startup+630.377 s] /proc/loadavg: 0.99 0.97 0.95 2/64 11489 /proc/meminfo: memFree=779632/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=536648 CPUtime=630.08 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 133281 0 0 0 62937 71 0 0 25 0 1 0 188361668 549527552 133163 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 134162 133163 297 55 0 133054 0 Current children cumulated CPU time (s) 630.08 Current children cumulated vsize (Kb) 536648 [startup+640.383 s] /proc/loadavg: 0.99 0.97 0.95 2/64 11489 /proc/meminfo: memFree=779568/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=536648 CPUtime=640.08 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 133295 0 0 0 63937 71 0 0 25 0 1 0 188361668 549527552 133177 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 134162 133177 297 55 0 133054 0 Current children cumulated CPU time (s) 640.08 Current children cumulated vsize (Kb) 536648 [startup+650.388 s] /proc/loadavg: 0.99 0.97 0.95 2/64 11489 /proc/meminfo: memFree=779504/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=536780 CPUtime=650.08 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 133309 0 0 0 64937 71 0 0 25 0 1 0 188361668 549662720 133191 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 134195 133191 297 55 0 133087 0 Current children cumulated CPU time (s) 650.08 Current children cumulated vsize (Kb) 536780 [startup+660.394 s] /proc/loadavg: 0.99 0.97 0.95 2/64 11489 /proc/meminfo: memFree=779440/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=536780 CPUtime=660.08 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 133319 0 0 0 65936 72 0 0 25 0 1 0 188361668 549662720 133201 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 134195 133201 297 55 0 133087 0 Current children cumulated CPU time (s) 660.08 Current children cumulated vsize (Kb) 536780 [startup+670.4 s] /proc/loadavg: 0.99 0.97 0.95 2/64 11489 /proc/meminfo: memFree=779312/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=536780 CPUtime=670.09 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 133339 0 0 0 66936 73 0 0 25 0 1 0 188361668 549662720 133221 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 134195 133221 297 55 0 133087 0 Current children cumulated CPU time (s) 670.09 Current children cumulated vsize (Kb) 536780 [startup+680.405 s] /proc/loadavg: 0.99 0.97 0.95 2/64 11489 /proc/meminfo: memFree=779312/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=536912 CPUtime=680.09 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 133348 0 0 0 67936 73 0 0 25 0 1 0 188361668 549797888 133230 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535011 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 134228 133230 297 55 0 133120 0 Current children cumulated CPU time (s) 680.09 Current children cumulated vsize (Kb) 536912 [startup+690.411 s] /proc/loadavg: 0.99 0.97 0.95 2/64 11489 /proc/meminfo: memFree=778736/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=537440 CPUtime=690.09 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 133485 0 0 0 68936 73 0 0 25 0 1 0 188361668 550338560 133367 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 134360 133367 297 55 0 133252 0 Current children cumulated CPU time (s) 690.09 Current children cumulated vsize (Kb) 537440 [startup+700.417 s] /proc/loadavg: 0.99 0.97 0.95 2/64 11489 /proc/meminfo: memFree=777200/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=539048 CPUtime=700.1 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 133865 0 0 0 69936 74 0 0 25 0 1 0 188361668 551985152 133747 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533955 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 134762 133747 297 55 0 133654 0 Current children cumulated CPU time (s) 700.1 Current children cumulated vsize (Kb) 539048 [startup+710.423 s] /proc/loadavg: 0.99 0.97 0.95 2/64 11489 /proc/meminfo: memFree=776944/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=539312 CPUtime=710.09 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 133923 0 0 0 70935 74 0 0 25 0 1 0 188361668 552255488 133805 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 134828 133805 297 55 0 133720 0 Current children cumulated CPU time (s) 710.09 Current children cumulated vsize (Kb) 539312 [startup+720.428 s] /proc/loadavg: 0.99 0.97 0.95 2/64 11489 /proc/meminfo: memFree=776752/2055920 swapFree=4181440/4192956 [pid=11489] ppid=11487 vsize=539580 CPUtime=720.09 /proc/11489/stat : 11489 (bsolo) R 11487 11489 11444 0 -1 0 133982 0 0 0 71935 74 0 0 25 0 1 0 188361668 552529920 133864 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11489/statm: 134895 133864 297 55 0 133787 0 Current children cumulated CPU time (s) 720.09 Current children cumulated vsize (Kb) 539580 Child status: 10 Real time (s): 723.475 CPU time (s): 723.149 CPU user time (s): 722.314 CPU system time (s): 0.834873 CPU usage (%): 99.955 Max. virtual memory (cumulated for all children) (Kb): 539580
Begin job on node48 on Fri Jun 2 05:42:11 UTC 2006 FILE ID= 39631-1149226924 PBS_JOBID= 295950 BENCH NAME= ROOT/tmp/node48/39631-1149226924/instance-39631-1149226924.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node48/39631-1149226924/instance-39631-1149226924.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-39631-1149226924 -o ROOT/results/node48/solver-39631-1149226924 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node48/39631-1149226924/instance-39631-1149226924.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 051b48fdf5558d73afe4ee3d3cae609a RANDOM SEED= 676281199 /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.259 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.259 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1311736 kB Buffers: 21852 kB Cached: 649796 kB SwapCached: 3388 kB Active: 256540 kB Inactive: 423968 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1311736 kB SwapTotal: 4192956 kB SwapFree: 4181440 kB Dirty: 296 kB Writeback: 0 kB Mapped: 14856 kB Slab: 49688 kB Committed_AS: 199012 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node48 on Fri Jun 2 05:54:30 UTC 2006