Trace number 45071

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
PB-smodels 1.31SAT 751.024 722.858

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

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

runsolver version 3.0.1 (c) roussel@cril.univ-artois.fr

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node87/watcher-45071-1149641825 -o ROOT/results/node87/solver-45071-1149641825 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node87/45071-1149641825/instance-45071-1149641825.opb 170065020 ROOT/tmp/node87/45071-1149641825 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.79 0.85 0.86 2/67 26826
/proc/meminfo: memFree=1321912/2055888 swapFree=4085404/4096564
[pid=26826] ppid=26824 vsize=5364 CPUtime=0
/proc/26826/stat : 26826 (runpbsmodels) R 26824 26826 26780 0 -1 4194304 174 0 0 0 0 0 0 0 18 0 1 0 229822153 5492736 144 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 230047402560 0 0 4096 0 0 0 0 17 1 0 0
/proc/26826/statm: 1341 152 125 169 0 51 0

[startup+10.0016 s]
/proc/loadavg: 0.82 0.85 0.86 3/72 26831
/proc/meminfo: memFree=1304152/2055888 swapFree=4085404/4096564
[pid=26826] ppid=26824 vsize=5368 CPUtime=0
/proc/26826/stat : 26826 (runpbsmodels) S 26824 26826 26780 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229822153 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/26826/statm: 1342 233 194 169 0 52 0
[pid=26827] ppid=26826 vsize=12272 CPUtime=0
/proc/26827/stat : 26827 (pbsmodels-v1.31) S 26826 26826 26780 0 -1 4194304 424 0 0 0 0 0 0 0 19 0 1 0 229822154 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 230056574916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/26827/statm: 3068 383 293 3 0 167 0
[pid=26828] ppid=26827 vsize=5364 CPUtime=0
/proc/26828/stat : 26828 (sh) S 26827 26826 26780 0 -1 4194304 308 0 0 0 0 0 0 0 20 0 1 0 229822154 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/26828/statm: 1341 225 186 169 0 51 0
[pid=26829] ppid=26828 vsize=12404 CPUtime=9.96
/proc/26829/stat : 26829 (pb2smodels) R 26828 26826 26780 0 -1 4194304 517 0 0 0 995 1 0 0 25 0 1 0 229822154 12701696 476 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 230065739536 0 0 4224 0 0 0 0 17 1 0 0
/proc/26829/statm: 3101 476 342 3 0 200 0
[pid=26830] ppid=26828 vsize=18152 CPUtime=4.44
/proc/26830/stat : 26830 (smodels-2.31) S 26828 26826 26780 0 -1 4194304 4216 0 0 0 442 2 0 0 16 0 1 0 229822155 18587648 4180 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563651996 0 0 17 1 0 0
/proc/26830/statm: 4538 4180 200 21 0 3973 0
[pid=26831] ppid=26828 vsize=12272 CPUtime=0
/proc/26831/stat : 26831 (pbout.new.pl) S 26828 26826 26780 0 -1 4194304 418 0 0 0 0 0 0 0 24 0 1 0 229822155 12566528 379 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 230056571026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/26831/statm: 3068 379 291 3 0 167 0
Current children cumulated CPU time (s) 14.4
Current children cumulated vsize (Kb) 53560

[startup+20.0078 s]
/proc/loadavg: 0.92 0.87 0.87 3/72 26831
/proc/meminfo: memFree=1288408/2055888 swapFree=4085404/4096564
[pid=26826] ppid=26824 vsize=5368 CPUtime=0
/proc/26826/stat : 26826 (runpbsmodels) S 26824 26826 26780 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229822153 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/26826/statm: 1342 233 194 169 0 52 0
[pid=26827] ppid=26826 vsize=12272 CPUtime=0
/proc/26827/stat : 26827 (pbsmodels-v1.31) S 26826 26826 26780 0 -1 4194304 424 0 0 0 0 0 0 0 19 0 1 0 229822154 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 230056574916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/26827/statm: 3068 383 293 3 0 167 0
[pid=26828] ppid=26827 vsize=5364 CPUtime=0
/proc/26828/stat : 26828 (sh) S 26827 26826 26780 0 -1 4194304 308 0 0 0 0 0 0 0 20 0 1 0 229822154 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/26828/statm: 1341 225 186 169 0 51 0
[pid=26829] ppid=26828 vsize=12404 CPUtime=19.97
/proc/26829/stat : 26829 (pb2smodels) R 26828 26826 26780 0 -1 4194304 517 0 0 0 1994 3 0 0 25 0 1 0 229822154 12701696 476 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 230065580779 0 0 4224 0 0 0 0 17 1 0 0
/proc/26829/statm: 3101 476 342 3 0 200 0
[pid=26830] ppid=26828 vsize=33992 CPUtime=8.97
/proc/26830/stat : 26830 (smodels-2.31) S 26828 26826 26780 0 -1 4194304 8155 0 0 0 892 5 0 0 16 0 1 0 229822155 34807808 8119 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563651996 0 0 17 1 0 0
/proc/26830/statm: 8498 8119 200 21 0 7933 0
[pid=26831] ppid=26828 vsize=12272 CPUtime=0
/proc/26831/stat : 26831 (pbout.new.pl) S 26828 26826 26780 0 -1 4194304 418 0 0 0 0 0 0 0 24 0 1 0 229822155 12566528 379 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 230056571026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/26831/statm: 3068 379 291 3 0 167 0
Current children cumulated CPU time (s) 28.94
Current children cumulated vsize (Kb) 69400

[startup+30.0139 s]
/proc/loadavg: 1.01 0.89 0.88 3/72 26831
/proc/meminfo: memFree=1272728/2055888 swapFree=4085404/4096564
[pid=26826] ppid=26824 vsize=5368 CPUtime=0
/proc/26826/stat : 26826 (runpbsmodels) S 26824 26826 26780 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229822153 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/26826/statm: 1342 233 194 169 0 52 0
[pid=26827] ppid=26826 vsize=12272 CPUtime=0
/proc/26827/stat : 26827 (pbsmodels-v1.31) S 26826 26826 26780 0 -1 4194304 424 0 0 0 0 0 0 0 19 0 1 0 229822154 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 230056574916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/26827/statm: 3068 383 293 3 0 167 0
[pid=26828] ppid=26827 vsize=5364 CPUtime=0
/proc/26828/stat : 26828 (sh) S 26827 26826 26780 0 -1 4194304 308 0 0 0 0 0 0 0 20 0 1 0 229822154 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/26828/statm: 1341 225 186 169 0 51 0
[pid=26829] ppid=26828 vsize=12404 CPUtime=29.96
/proc/26829/stat : 26829 (pb2smodels) R 26828 26826 26780 0 -1 4194304 517 0 0 0 2992 4 0 0 25 0 1 0 229822154 12701696 476 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 230065736607 0 0 4224 0 0 0 0 17 1 0 0
/proc/26829/statm: 3101 476 342 3 0 200 0
[pid=26830] ppid=26828 vsize=49700 CPUtime=13.59
/proc/26830/stat : 26830 (smodels-2.31) S 26828 26826 26780 0 -1 4194304 12086 0 0 0 1351 8 0 0 16 0 1 0 229822155 50892800 12050 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563651996 0 0 17 1 0 0
/proc/26830/statm: 12425 12050 200 21 0 11860 0
[pid=26831] ppid=26828 vsize=12272 CPUtime=0
/proc/26831/stat : 26831 (pbout.new.pl) S 26828 26826 26780 0 -1 4194304 418 0 0 0 0 0 0 0 24 0 1 0 229822155 12566528 379 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 230056571026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/26831/statm: 3068 379 291 3 0 167 0
Current children cumulated CPU time (s) 43.55
Current children cumulated vsize (Kb) 85108

[startup+40.0201 s]
/proc/loadavg: 1.16 0.93 0.89 2/72 26831
/proc/meminfo: memFree=1257112/2055888 swapFree=4085404/4096564
[pid=26826] ppid=26824 vsize=5368 CPUtime=0
/proc/26826/stat : 26826 (runpbsmodels) S 26824 26826 26780 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229822153 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/26826/statm: 1342 233 194 169 0 52 0
[pid=26827] ppid=26826 vsize=12272 CPUtime=0
/proc/26827/stat : 26827 (pbsmodels-v1.31) S 26826 26826 26780 0 -1 4194304 424 0 0 0 0 0 0 0 19 0 1 0 229822154 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 230056574916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/26827/statm: 3068 383 293 3 0 167 0
[pid=26828] ppid=26827 vsize=5364 CPUtime=0
/proc/26828/stat : 26828 (sh) S 26827 26826 26780 0 -1 4194304 308 0 0 0 0 0 0 0 20 0 1 0 229822154 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/26828/statm: 1341 225 186 169 0 51 0
[pid=26829] ppid=26828 vsize=12404 CPUtime=39.96
/proc/26829/stat : 26829 (pb2smodels) R 26828 26826 26780 0 -1 4194304 517 0 0 0 3990 6 0 0 25 0 1 0 229822154 12701696 476 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 230065907958 0 0 4224 0 0 0 0 17 1 0 0
/proc/26829/statm: 3101 476 342 3 0 200 0
[pid=26830] ppid=26828 vsize=65276 CPUtime=18.22
/proc/26830/stat : 26830 (smodels-2.31) S 26828 26826 26780 0 -1 4194304 15997 0 0 0 1811 11 0 0 16 0 1 0 229822155 66842624 15961 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563651996 0 0 17 1 0 0
/proc/26830/statm: 16319 15961 200 21 0 15754 0
[pid=26831] ppid=26828 vsize=12272 CPUtime=0
/proc/26831/stat : 26831 (pbout.new.pl) S 26828 26826 26780 0 -1 4194304 418 0 0 0 0 0 0 0 24 0 1 0 229822155 12566528 379 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 230056571026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/26831/statm: 3068 379 291 3 0 167 0
Current children cumulated CPU time (s) 58.18
Current children cumulated vsize (Kb) 100684

[startup+50.0273 s]
/proc/loadavg: 1.13 0.93 0.89 2/72 26831
/proc/meminfo: memFree=1241368/2055888 swapFree=4085404/4096564
[pid=26826] ppid=26824 vsize=5368 CPUtime=0
/proc/26826/stat : 26826 (runpbsmodels) S 26824 26826 26780 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229822153 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/26826/statm: 1342 233 194 169 0 52 0
[pid=26827] ppid=26826 vsize=12272 CPUtime=0
/proc/26827/stat : 26827 (pbsmodels-v1.31) S 26826 26826 26780 0 -1 4194304 424 0 0 0 0 0 0 0 19 0 1 0 229822154 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 230056574916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/26827/statm: 3068 383 293 3 0 167 0
[pid=26828] ppid=26827 vsize=5364 CPUtime=0
/proc/26828/stat : 26828 (sh) S 26827 26826 26780 0 -1 4194304 308 0 0 0 0 0 0 0 20 0 1 0 229822154 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/26828/statm: 1341 225 186 169 0 51 0
[pid=26829] ppid=26828 vsize=12404 CPUtime=49.95
/proc/26829/stat : 26829 (pb2smodels) R 26828 26826 26780 0 -1 4194304 517 0 0 0 4988 7 0 0 25 0 1 0 229822154 12701696 476 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 230047506624 0 0 4224 0 0 0 0 17 1 0 0
/proc/26829/statm: 3101 476 342 3 0 200 0
[pid=26830] ppid=26828 vsize=80984 CPUtime=22.88
/proc/26830/stat : 26830 (smodels-2.31) S 26828 26826 26780 0 -1 4194304 19920 0 0 0 2276 12 0 0 16 0 1 0 229822155 82927616 19884 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563651996 0 0 17 1 0 0
/proc/26830/statm: 20246 19884 200 21 0 19681 0
[pid=26831] ppid=26828 vsize=12272 CPUtime=0
/proc/26831/stat : 26831 (pbout.new.pl) S 26828 26826 26780 0 -1 4194304 418 0 0 0 0 0 0 0 24 0 1 0 229822155 12566528 379 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 230056571026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/26831/statm: 3068 379 291 3 0 167 0
Current children cumulated CPU time (s) 72.83
Current children cumulated vsize (Kb) 116392

[startup+60.0344 s]
/proc/loadavg: 1.27 0.97 0.90 3/72 26831
/proc/meminfo: memFree=1225496/2055888 swapFree=4085404/4096564
[pid=26826] ppid=26824 vsize=5368 CPUtime=0
/proc/26826/stat : 26826 (runpbsmodels) S 26824 26826 26780 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229822153 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/26826/statm: 1342 233 194 169 0 52 0
[pid=26827] ppid=26826 vsize=12272 CPUtime=0
/proc/26827/stat : 26827 (pbsmodels-v1.31) S 26826 26826 26780 0 -1 4194304 424 0 0 0 0 0 0 0 19 0 1 0 229822154 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 230056574916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/26827/statm: 3068 383 293 3 0 167 0
[pid=26828] ppid=26827 vsize=5364 CPUtime=0
/proc/26828/stat : 26828 (sh) S 26827 26826 26780 0 -1 4194304 308 0 0 0 0 0 0 0 20 0 1 0 229822154 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/26828/statm: 1341 225 186 169 0 51 0
[pid=26829] ppid=26828 vsize=12536 CPUtime=59.94
/proc/26829/stat : 26829 (pb2smodels) R 26828 26826 26780 0 -1 4194304 522 0 0 0 5987 7 0 0 25 0 1 0 229822154 12836864 481 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 230066023121 0 0 4224 0 0 0 0 17 1 0 0
/proc/26829/statm: 3134 481 342 3 0 233 0
[pid=26830] ppid=26828 vsize=96956 CPUtime=27.8
/proc/26830/stat : 26830 (smodels-2.31) S 26828 26826 26780 0 -1 4194304 23899 0 0 0 2765 15 0 0 16 0 1 0 229822155 99282944 23863 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563651996 0 0 17 1 0 0
/proc/26830/statm: 24239 23863 204 21 0 23674 0
[pid=26831] ppid=26828 vsize=12272 CPUtime=0
/proc/26831/stat : 26831 (pbout.new.pl) S 26828 26826 26780 0 -1 4194304 418 0 0 0 0 0 0 0 24 0 1 0 229822155 12566528 379 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 230056571026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/26831/statm: 3068 379 291 3 0 167 0
Current children cumulated CPU time (s) 87.74
Current children cumulated vsize (Kb) 132496

[startup+70.0406 s]
/proc/loadavg: 1.23 0.97 0.90 2/71 26831
/proc/meminfo: memFree=1190944/2055888 swapFree=4085404/4096564
[pid=26826] ppid=26824 vsize=5368 CPUtime=0
/proc/26826/stat : 26826 (runpbsmodels) S 26824 26826 26780 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229822153 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/26826/statm: 1342 233 194 169 0 52 0
[pid=26827] ppid=26826 vsize=12272 CPUtime=0
/proc/26827/stat : 26827 (pbsmodels-v1.31) S 26826 26826 26780 0 -1 4194304 424 0 0 0 0 0 0 0 19 0 1 0 229822154 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 230056574916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/26827/statm: 3068 383 293 3 0 167 0
[pid=26828] ppid=26827 vsize=5364 CPUtime=60.83
/proc/26828/stat : 26828 (sh) S 26827 26826 26780 0 -1 4194304 308 601 0 0 0 0 6075 8 16 0 1 0 229822154 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/26828/statm: 1341 225 186 169 0 51 0
[pid=26830] ppid=26828 vsize=131996 CPUtime=37.6
/proc/26830/stat : 26830 (smodels-2.31) R 26828 26826 26780 0 -1 4194304 32683 0 0 0 3742 18 0 0 25 0 1 0 229822155 135163904 32647 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538396 0 0 4096 0 0 0 0 17 1 0 0
/proc/26830/statm: 32999 32647 208 21 0 32434 0
[pid=26831] ppid=26828 vsize=12272 CPUtime=0
/proc/26831/stat : 26831 (pbout.new.pl) S 26828 26826 26780 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229822155 12566528 390 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 230056571026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/26831/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 98.43
Current children cumulated vsize (Kb) 167272

[startup+80.0468 s]
/proc/loadavg: 1.19 0.97 0.90 2/71 26831
/proc/meminfo: memFree=1190880/2055888 swapFree=4085404/4096564
[pid=26826] ppid=26824 vsize=5368 CPUtime=0
/proc/26826/stat : 26826 (runpbsmodels) S 26824 26826 26780 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229822153 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/26826/statm: 1342 233 194 169 0 52 0
[pid=26827] ppid=26826 vsize=12272 CPUtime=0
/proc/26827/stat : 26827 (pbsmodels-v1.31) S 26826 26826 26780 0 -1 4194304 424 0 0 0 0 0 0 0 19 0 1 0 229822154 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 230056574916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/26827/statm: 3068 383 293 3 0 167 0
[pid=26828] ppid=26827 vsize=5364 CPUtime=60.83
/proc/26828/stat : 26828 (sh) S 26827 26826 26780 0 -1 4194304 308 601 0 0 0 0 6075 8 16 0 1 0 229822154 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/26828/statm: 1341 225 186 169 0 51 0
[pid=26830] ppid=26828 vsize=132128 CPUtime=47.6
/proc/26830/stat : 26830 (smodels-2.31) R 26828 26826 26780 0 -1 4194304 32695 0 0 0 4742 18 0 0 25 0 1 0 229822155 135299072 32659 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0
/proc/26830/statm: 33032 32659 208 21 0 32467 0
[pid=26831] ppid=26828 vsize=12272 CPUtime=0
/proc/26831/stat : 26831 (pbout.new.pl) S 26828 26826 26780 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229822155 12566528 390 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 230056571026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0

################
# More data... #
################

Current children cumulated CPU time (s) 658.57
Current children cumulated vsize (Kb) 167668

[startup+640.408 s]
/proc/loadavg: 1.00 0.97 0.91 2/71 27026
/proc/meminfo: memFree=1190432/2055888 swapFree=4085404/4096564
[pid=26826] ppid=26824 vsize=5368 CPUtime=0
/proc/26826/stat : 26826 (runpbsmodels) S 26824 26826 26780 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229822153 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/26826/statm: 1342 233 194 169 0 52 0
[pid=26827] ppid=26826 vsize=12272 CPUtime=0
/proc/26827/stat : 26827 (pbsmodels-v1.31) S 26826 26826 26780 0 -1 4194304 424 0 0 0 0 0 0 0 19 0 1 0 229822154 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 230056574916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/26827/statm: 3068 383 293 3 0 167 0
[pid=26828] ppid=26827 vsize=5364 CPUtime=60.83
/proc/26828/stat : 26828 (sh) S 26827 26826 26780 0 -1 4194304 308 601 0 0 0 0 6075 8 16 0 1 0 229822154 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/26828/statm: 1341 225 186 169 0 51 0
[pid=26830] ppid=26828 vsize=132392 CPUtime=607.74
/proc/26830/stat : 26830 (smodels-2.31) R 26828 26826 26780 0 -1 4194304 32759 0 0 0 60756 18 0 0 25 0 1 0 229822155 135569408 32723 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0
/proc/26830/statm: 33098 32723 208 21 0 32533 0
[pid=26831] ppid=26828 vsize=12272 CPUtime=0
/proc/26831/stat : 26831 (pbout.new.pl) S 26828 26826 26780 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229822155 12566528 390 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 230056571026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/26831/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 668.57
Current children cumulated vsize (Kb) 167668

[startup+650.415 s]
/proc/loadavg: 1.00 0.97 0.91 2/71 27026
/proc/meminfo: memFree=1190432/2055888 swapFree=4085404/4096564
[pid=26826] ppid=26824 vsize=5368 CPUtime=0
/proc/26826/stat : 26826 (runpbsmodels) S 26824 26826 26780 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229822153 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/26826/statm: 1342 233 194 169 0 52 0
[pid=26827] ppid=26826 vsize=12272 CPUtime=0
/proc/26827/stat : 26827 (pbsmodels-v1.31) S 26826 26826 26780 0 -1 4194304 424 0 0 0 0 0 0 0 19 0 1 0 229822154 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 230056574916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/26827/statm: 3068 383 293 3 0 167 0
[pid=26828] ppid=26827 vsize=5364 CPUtime=60.83
/proc/26828/stat : 26828 (sh) S 26827 26826 26780 0 -1 4194304 308 601 0 0 0 0 6075 8 16 0 1 0 229822154 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/26828/statm: 1341 225 186 169 0 51 0
[pid=26830] ppid=26828 vsize=132392 CPUtime=617.75
/proc/26830/stat : 26830 (smodels-2.31) R 26828 26826 26780 0 -1 4194304 32759 0 0 0 61757 18 0 0 25 0 1 0 229822155 135569408 32723 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533271 0 0 4096 0 0 0 0 17 1 0 0
/proc/26830/statm: 33098 32723 208 21 0 32533 0
[pid=26831] ppid=26828 vsize=12272 CPUtime=0
/proc/26831/stat : 26831 (pbout.new.pl) S 26828 26826 26780 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229822155 12566528 390 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 230056571026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/26831/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 678.58
Current children cumulated vsize (Kb) 167668

[startup+660.422 s]
/proc/loadavg: 1.00 0.97 0.91 2/71 27026
/proc/meminfo: memFree=1190432/2055888 swapFree=4085404/4096564
[pid=26826] ppid=26824 vsize=5368 CPUtime=0
/proc/26826/stat : 26826 (runpbsmodels) S 26824 26826 26780 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229822153 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/26826/statm: 1342 233 194 169 0 52 0
[pid=26827] ppid=26826 vsize=12272 CPUtime=0
/proc/26827/stat : 26827 (pbsmodels-v1.31) S 26826 26826 26780 0 -1 4194304 424 0 0 0 0 0 0 0 19 0 1 0 229822154 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 230056574916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/26827/statm: 3068 383 293 3 0 167 0
[pid=26828] ppid=26827 vsize=5364 CPUtime=60.83
/proc/26828/stat : 26828 (sh) S 26827 26826 26780 0 -1 4194304 308 601 0 0 0 0 6075 8 16 0 1 0 229822154 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/26828/statm: 1341 225 186 169 0 51 0
[pid=26830] ppid=26828 vsize=132392 CPUtime=627.75
/proc/26830/stat : 26830 (smodels-2.31) R 26828 26826 26780 0 -1 4194304 32759 0 0 0 62757 18 0 0 25 0 1 0 229822155 135569408 32723 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0
/proc/26830/statm: 33098 32723 208 21 0 32533 0
[pid=26831] ppid=26828 vsize=12272 CPUtime=0
/proc/26831/stat : 26831 (pbout.new.pl) S 26828 26826 26780 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229822155 12566528 390 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 230056571026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/26831/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 688.58
Current children cumulated vsize (Kb) 167668

[startup+670.428 s]
/proc/loadavg: 1.00 0.97 0.91 2/71 27026
/proc/meminfo: memFree=1190432/2055888 swapFree=4085404/4096564
[pid=26826] ppid=26824 vsize=5368 CPUtime=0
/proc/26826/stat : 26826 (runpbsmodels) S 26824 26826 26780 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229822153 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/26826/statm: 1342 233 194 169 0 52 0
[pid=26827] ppid=26826 vsize=12272 CPUtime=0
/proc/26827/stat : 26827 (pbsmodels-v1.31) S 26826 26826 26780 0 -1 4194304 424 0 0 0 0 0 0 0 19 0 1 0 229822154 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 230056574916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/26827/statm: 3068 383 293 3 0 167 0
[pid=26828] ppid=26827 vsize=5364 CPUtime=60.83
/proc/26828/stat : 26828 (sh) S 26827 26826 26780 0 -1 4194304 308 601 0 0 0 0 6075 8 16 0 1 0 229822154 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/26828/statm: 1341 225 186 169 0 51 0
[pid=26830] ppid=26828 vsize=132392 CPUtime=637.76
/proc/26830/stat : 26830 (smodels-2.31) R 26828 26826 26780 0 -1 4194304 32759 0 0 0 63758 18 0 0 25 0 1 0 229822155 135569408 32723 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0
/proc/26830/statm: 33098 32723 208 21 0 32533 0
[pid=26831] ppid=26828 vsize=12272 CPUtime=0
/proc/26831/stat : 26831 (pbout.new.pl) S 26828 26826 26780 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229822155 12566528 390 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 230056571026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/26831/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 698.59
Current children cumulated vsize (Kb) 167668

[startup+680.434 s]
/proc/loadavg: 1.00 0.97 0.91 2/71 27026
/proc/meminfo: memFree=1190432/2055888 swapFree=4085404/4096564
[pid=26826] ppid=26824 vsize=5368 CPUtime=0
/proc/26826/stat : 26826 (runpbsmodels) S 26824 26826 26780 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229822153 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/26826/statm: 1342 233 194 169 0 52 0
[pid=26827] ppid=26826 vsize=12272 CPUtime=0
/proc/26827/stat : 26827 (pbsmodels-v1.31) S 26826 26826 26780 0 -1 4194304 424 0 0 0 0 0 0 0 19 0 1 0 229822154 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 230056574916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/26827/statm: 3068 383 293 3 0 167 0
[pid=26828] ppid=26827 vsize=5364 CPUtime=60.83
/proc/26828/stat : 26828 (sh) S 26827 26826 26780 0 -1 4194304 308 601 0 0 0 0 6075 8 16 0 1 0 229822154 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/26828/statm: 1341 225 186 169 0 51 0
[pid=26830] ppid=26828 vsize=132392 CPUtime=647.76
/proc/26830/stat : 26830 (smodels-2.31) R 26828 26826 26780 0 -1 4194304 32759 0 0 0 64758 18 0 0 25 0 1 0 229822155 135569408 32723 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0
/proc/26830/statm: 33098 32723 208 21 0 32533 0
[pid=26831] ppid=26828 vsize=12272 CPUtime=0
/proc/26831/stat : 26831 (pbout.new.pl) S 26828 26826 26780 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229822155 12566528 390 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 230056571026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/26831/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 708.59
Current children cumulated vsize (Kb) 167668

[startup+690.44 s]
/proc/loadavg: 1.00 0.97 0.91 2/71 27026
/proc/meminfo: memFree=1190432/2055888 swapFree=4085404/4096564
[pid=26826] ppid=26824 vsize=5368 CPUtime=0
/proc/26826/stat : 26826 (runpbsmodels) S 26824 26826 26780 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229822153 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/26826/statm: 1342 233 194 169 0 52 0
[pid=26827] ppid=26826 vsize=12272 CPUtime=0
/proc/26827/stat : 26827 (pbsmodels-v1.31) S 26826 26826 26780 0 -1 4194304 424 0 0 0 0 0 0 0 19 0 1 0 229822154 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 230056574916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/26827/statm: 3068 383 293 3 0 167 0
[pid=26828] ppid=26827 vsize=5364 CPUtime=60.83
/proc/26828/stat : 26828 (sh) S 26827 26826 26780 0 -1 4194304 308 601 0 0 0 0 6075 8 16 0 1 0 229822154 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/26828/statm: 1341 225 186 169 0 51 0
[pid=26830] ppid=26828 vsize=132392 CPUtime=657.76
/proc/26830/stat : 26830 (smodels-2.31) R 26828 26826 26780 0 -1 4194304 32759 0 0 0 65758 18 0 0 25 0 1 0 229822155 135569408 32723 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0
/proc/26830/statm: 33098 32723 208 21 0 32533 0
[pid=26831] ppid=26828 vsize=12272 CPUtime=0
/proc/26831/stat : 26831 (pbout.new.pl) S 26828 26826 26780 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229822155 12566528 390 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 230056571026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/26831/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 718.59
Current children cumulated vsize (Kb) 167668

[startup+700.447 s]
/proc/loadavg: 1.00 0.97 0.91 2/71 27026
/proc/meminfo: memFree=1190432/2055888 swapFree=4085404/4096564
[pid=26826] ppid=26824 vsize=5368 CPUtime=0
/proc/26826/stat : 26826 (runpbsmodels) S 26824 26826 26780 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229822153 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/26826/statm: 1342 233 194 169 0 52 0
[pid=26827] ppid=26826 vsize=12272 CPUtime=0
/proc/26827/stat : 26827 (pbsmodels-v1.31) S 26826 26826 26780 0 -1 4194304 424 0 0 0 0 0 0 0 19 0 1 0 229822154 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 230056574916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/26827/statm: 3068 383 293 3 0 167 0
[pid=26828] ppid=26827 vsize=5364 CPUtime=60.83
/proc/26828/stat : 26828 (sh) S 26827 26826 26780 0 -1 4194304 308 601 0 0 0 0 6075 8 16 0 1 0 229822154 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/26828/statm: 1341 225 186 169 0 51 0
[pid=26830] ppid=26828 vsize=132392 CPUtime=667.77
/proc/26830/stat : 26830 (smodels-2.31) R 26828 26826 26780 0 -1 4194304 32761 0 0 0 66759 18 0 0 25 0 1 0 229822155 135569408 32725 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538389 0 0 4096 0 0 0 0 17 1 0 0
/proc/26830/statm: 33098 32725 208 21 0 32533 0
[pid=26831] ppid=26828 vsize=12272 CPUtime=0
/proc/26831/stat : 26831 (pbout.new.pl) S 26828 26826 26780 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229822155 12566528 390 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 230056571026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/26831/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 728.6
Current children cumulated vsize (Kb) 167668

[startup+710.454 s]
/proc/loadavg: 1.00 0.97 0.91 2/71 27026
/proc/meminfo: memFree=1190368/2055888 swapFree=4085404/4096564
[pid=26826] ppid=26824 vsize=5368 CPUtime=0
/proc/26826/stat : 26826 (runpbsmodels) S 26824 26826 26780 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229822153 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/26826/statm: 1342 233 194 169 0 52 0
[pid=26827] ppid=26826 vsize=12272 CPUtime=0
/proc/26827/stat : 26827 (pbsmodels-v1.31) S 26826 26826 26780 0 -1 4194304 424 0 0 0 0 0 0 0 19 0 1 0 229822154 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 230056574916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/26827/statm: 3068 383 293 3 0 167 0
[pid=26828] ppid=26827 vsize=5364 CPUtime=60.83
/proc/26828/stat : 26828 (sh) S 26827 26826 26780 0 -1 4194304 308 601 0 0 0 0 6075 8 16 0 1 0 229822154 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/26828/statm: 1341 225 186 169 0 51 0
[pid=26830] ppid=26828 vsize=132392 CPUtime=677.77
/proc/26830/stat : 26830 (smodels-2.31) R 26828 26826 26780 0 -1 4194304 32765 0 0 0 67759 18 0 0 25 0 1 0 229822155 135569408 32729 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533271 0 0 4096 0 0 0 0 17 1 0 0
/proc/26830/statm: 33098 32729 208 21 0 32533 0
[pid=26831] ppid=26828 vsize=12272 CPUtime=0
/proc/26831/stat : 26831 (pbout.new.pl) S 26828 26826 26780 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229822155 12566528 390 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 230056571026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/26831/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 738.6
Current children cumulated vsize (Kb) 167668

[startup+720.461 s]
/proc/loadavg: 1.00 0.97 0.91 2/71 27026
/proc/meminfo: memFree=1190368/2055888 swapFree=4085404/4096564
[pid=26826] ppid=26824 vsize=5368 CPUtime=0
/proc/26826/stat : 26826 (runpbsmodels) S 26824 26826 26780 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 229822153 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/26826/statm: 1342 233 194 169 0 52 0
[pid=26827] ppid=26826 vsize=12272 CPUtime=0
/proc/26827/stat : 26827 (pbsmodels-v1.31) S 26826 26826 26780 0 -1 4194304 424 0 0 0 0 0 0 0 19 0 1 0 229822154 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 230056574916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/26827/statm: 3068 383 293 3 0 167 0
[pid=26828] ppid=26827 vsize=5364 CPUtime=60.83
/proc/26828/stat : 26828 (sh) S 26827 26826 26780 0 -1 4194304 308 601 0 0 0 0 6075 8 16 0 1 0 229822154 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 230047672900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/26828/statm: 1341 225 186 169 0 51 0
[pid=26830] ppid=26828 vsize=132392 CPUtime=687.78
/proc/26830/stat : 26830 (smodels-2.31) R 26828 26826 26780 0 -1 4194304 32766 0 0 0 68760 18 0 0 25 0 1 0 229822155 135569408 32730 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538379 0 0 4096 0 0 0 0 17 1 0 0
/proc/26830/statm: 33098 32730 208 21 0 32533 0
[pid=26831] ppid=26828 vsize=12272 CPUtime=0
/proc/26831/stat : 26831 (pbout.new.pl) S 26828 26826 26780 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229822155 12566528 390 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 230056571026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/26831/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 748.61
Current children cumulated vsize (Kb) 167668

Child status: 0
Real time (s): 722.858
CPU time (s): 751.024
CPU user time (s): 750.725
CPU system time (s): 0.298954
CPU usage (%): 103.896
Max. virtual memory (cumulated for all children) (Kb): 167668
The end

Launcher Data (download as text)

Begin job on node87 on Wed Jun  7 00:57:10 UTC 2006


FILE ID= 45071-1149641825

PBS_JOBID= 323570

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node87/45071-1149641825/instance-45071-1149641825.opb 170065020  ROOT/tmp/node87/45071-1149641825
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node87/watcher-45071-1149641825 -o ROOT/results/node87/solver-45071-1149641825 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node87/45071-1149641825/instance-45071-1149641825.opb 170065020  ROOT/tmp/node87/45071-1149641825

MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4
MD5SUM BENCH=  051b48fdf5558d73afe4ee3d3cae609a

RANDOM SEED= 170065020


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6006.17
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1322120 kB
Buffers:         33300 kB
Cached:         633812 kB
SwapCached:       2348 kB
Active:          67264 kB
Inactive:       608436 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1322120 kB
SwapTotal:     4096564 kB
SwapFree:      4085404 kB
Dirty:             252 kB
Writeback:           0 kB
Mapped:          16768 kB
Slab:            44760 kB
Committed_AS:   370496 kB
PageTables:       1280 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node87 on Wed Jun  7 01:09:13 UTC 2006