Trace number 39631

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
bsolo 2006/05SAT 723.149 723.475

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb
MD5SUM051b48fdf5558d73afe4ee3d3cae609a
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark5.9071
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables2800
Total number of constraints990001
Number of constraints which are clauses986760
Number of constraints which are cardinality constraints (but not clauses)81
Number of constraints which are nor clauses,nor cardinality constraints3160
Minimum length of a constraint2
Maximum length of a constraint1200
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 numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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

Verifier Data (download as text)

OK	0

Watcher Data (download as text)

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

Launcher Data (download as text)

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