Trace number 33649

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.28SAT 888.034 848.615

General information on the benchmark

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.97 0.70 3/64 30802
/proc/meminfo: memFree=1416592/2055920 swapFree=4181844/4192956
[pid=30802] ppid=30800 vsize=5360 CPUtime=0
/proc/30802/stat : 30802 (runpbsmodels) S 30800 30802 30756 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227794778 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30802/statm: 1340 234 195 169 0 51 0
[pid=30803] ppid=30802 vsize=2504 CPUtime=0
/proc/30803/stat : 30803 (pbsmodels-v1.28) R 30802 30802 30756 0 -1 4194304 44 0 0 0 0 0 0 0 19 0 1 0 227794779 2564096 26 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 257201075477 0 0 4096 0 0 0 0 17 1 0 0
/proc/30803/statm: 626 26 19 3 0 5 0

[startup+10.0022 s]
/proc/loadavg: 1.07 0.98 0.71 3/69 30807
/proc/meminfo: memFree=1390824/2055920 swapFree=4181844/4192956
[pid=30802] ppid=30800 vsize=5360 CPUtime=0
/proc/30802/stat : 30802 (runpbsmodels) S 30800 30802 30756 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227794778 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30802/statm: 1340 234 195 169 0 51 0
[pid=30803] ppid=30802 vsize=12268 CPUtime=0
/proc/30803/stat : 30803 (pbsmodels-v1.28) S 30802 30802 30756 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227794779 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30803/statm: 3067 383 293 3 0 167 0
[pid=30804] ppid=30803 vsize=5356 CPUtime=0
/proc/30804/stat : 30804 (sh) S 30803 30802 30756 0 -1 4194304 311 0 0 0 0 0 0 0 18 0 1 0 227794779 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30804/statm: 1339 227 188 169 0 50 0
[pid=30805] ppid=30804 vsize=12400 CPUtime=9.97
/proc/30805/stat : 30805 (pbsmodels.trans) R 30804 30802 30756 0 -1 4194304 514 0 0 0 997 0 0 0 25 0 1 0 227794779 12697600 472 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 257217567491 0 0 4224 0 0 0 0 17 1 0 0
/proc/30805/statm: 3100 472 340 3 0 200 0
[pid=30806] ppid=30804 vsize=26460 CPUtime=5.33
/proc/30806/stat : 30806 (smodels) S 30804 30802 30756 0 -1 4194304 6284 0 0 0 530 3 0 0 16 0 1 0 227794780 27095040 6248 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/30806/statm: 6615 6248 205 20 0 6052 0
[pid=30807] ppid=30804 vsize=12268 CPUtime=0
/proc/30807/stat : 30807 (pbout.pl) S 30804 30802 30756 0 -1 4194304 418 0 0 0 0 0 0 0 21 0 1 0 227794780 12562432 377 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30807/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 15.3
Current children cumulated vsize (Kb) 61844

[startup+20.0098 s]
/proc/loadavg: 1.06 0.98 0.71 3/69 30807
/proc/meminfo: memFree=1366120/2055920 swapFree=4181844/4192956
[pid=30802] ppid=30800 vsize=5360 CPUtime=0
/proc/30802/stat : 30802 (runpbsmodels) S 30800 30802 30756 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227794778 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30802/statm: 1340 234 195 169 0 51 0
[pid=30803] ppid=30802 vsize=12268 CPUtime=0
/proc/30803/stat : 30803 (pbsmodels-v1.28) S 30802 30802 30756 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227794779 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30803/statm: 3067 383 293 3 0 167 0
[pid=30804] ppid=30803 vsize=5356 CPUtime=0
/proc/30804/stat : 30804 (sh) S 30803 30802 30756 0 -1 4194304 311 0 0 0 0 0 0 0 18 0 1 0 227794779 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30804/statm: 1339 227 188 169 0 50 0
[pid=30805] ppid=30804 vsize=12400 CPUtime=19.96
/proc/30805/stat : 30805 (pbsmodels.trans) R 30804 30802 30756 0 -1 4194304 514 0 0 0 1995 1 0 0 25 0 1 0 227794779 12697600 472 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 257217371625 0 0 4224 0 0 0 0 17 0 0 0
/proc/30805/statm: 3100 472 340 3 0 200 0
[pid=30806] ppid=30804 vsize=51276 CPUtime=11.09
/proc/30806/stat : 30806 (smodels) R 30804 30802 30756 0 -1 4194304 12501 0 0 0 1102 7 0 0 16 0 1 0 227794780 52506624 12465 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 6058401 0 0 4096 0 0 0 0 17 1 0 0
/proc/30806/statm: 12819 12465 205 20 0 12256 0
[pid=30807] ppid=30804 vsize=12268 CPUtime=0
/proc/30807/stat : 30807 (pbout.pl) S 30804 30802 30756 0 -1 4194304 418 0 0 0 0 0 0 0 21 0 1 0 227794780 12562432 377 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30807/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 31.05
Current children cumulated vsize (Kb) 86660

[startup+30.0155 s]
/proc/loadavg: 1.13 1.00 0.72 3/69 30807
/proc/meminfo: memFree=1341096/2055920 swapFree=4181844/4192956
[pid=30802] ppid=30800 vsize=5360 CPUtime=0
/proc/30802/stat : 30802 (runpbsmodels) S 30800 30802 30756 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227794778 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30802/statm: 1340 234 195 169 0 51 0
[pid=30803] ppid=30802 vsize=12268 CPUtime=0
/proc/30803/stat : 30803 (pbsmodels-v1.28) S 30802 30802 30756 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227794779 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30803/statm: 3067 383 293 3 0 167 0
[pid=30804] ppid=30803 vsize=5356 CPUtime=0
/proc/30804/stat : 30804 (sh) S 30803 30802 30756 0 -1 4194304 311 0 0 0 0 0 0 0 18 0 1 0 227794779 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30804/statm: 1339 227 188 169 0 50 0
[pid=30805] ppid=30804 vsize=12400 CPUtime=29.96
/proc/30805/stat : 30805 (pbsmodels.trans) R 30804 30802 30756 0 -1 4194304 514 0 0 0 2993 3 0 0 25 0 1 0 227794779 12697600 472 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 257212592226 0 0 4224 0 0 0 0 17 1 0 0
/proc/30805/statm: 3100 472 340 3 0 200 0
[pid=30806] ppid=30804 vsize=76356 CPUtime=17.01
/proc/30806/stat : 30806 (smodels) S 30804 30802 30756 0 -1 4194304 18774 0 0 0 1690 11 0 0 16 0 1 0 227794780 78188544 18738 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/30806/statm: 19089 18738 205 20 0 18526 0
[pid=30807] ppid=30804 vsize=12268 CPUtime=0
/proc/30807/stat : 30807 (pbout.pl) S 30804 30802 30756 0 -1 4194304 418 0 0 0 0 0 0 0 21 0 1 0 227794780 12562432 377 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30807/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 46.97
Current children cumulated vsize (Kb) 111740

[startup+40.0211 s]
/proc/loadavg: 1.18 1.02 0.73 2/69 30807
/proc/meminfo: memFree=1316200/2055920 swapFree=4181844/4192956
[pid=30802] ppid=30800 vsize=5360 CPUtime=0
/proc/30802/stat : 30802 (runpbsmodels) S 30800 30802 30756 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227794778 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30802/statm: 1340 234 195 169 0 51 0
[pid=30803] ppid=30802 vsize=12268 CPUtime=0
/proc/30803/stat : 30803 (pbsmodels-v1.28) S 30802 30802 30756 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227794779 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30803/statm: 3067 383 293 3 0 167 0
[pid=30804] ppid=30803 vsize=5356 CPUtime=0
/proc/30804/stat : 30804 (sh) S 30803 30802 30756 0 -1 4194304 311 0 0 0 0 0 0 0 18 0 1 0 227794779 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30804/statm: 1339 227 188 169 0 50 0
[pid=30805] ppid=30804 vsize=12400 CPUtime=39.95
/proc/30805/stat : 30805 (pbsmodels.trans) R 30804 30802 30756 0 -1 4194304 514 0 0 0 3992 3 0 0 25 0 1 0 227794779 12697600 472 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 257203369248 0 0 4224 0 0 0 0 17 1 0 0
/proc/30805/statm: 3100 472 340 3 0 200 0
[pid=30806] ppid=30804 vsize=101172 CPUtime=22.9
/proc/30806/stat : 30806 (smodels) S 30804 30802 30756 0 -1 4194304 24973 0 0 0 2276 14 0 0 16 0 1 0 227794780 103600128 24937 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/30806/statm: 25293 24937 205 20 0 24730 0
[pid=30807] ppid=30804 vsize=12268 CPUtime=0
/proc/30807/stat : 30807 (pbout.pl) S 30804 30802 30756 0 -1 4194304 418 0 0 0 0 0 0 0 21 0 1 0 227794780 12562432 377 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30807/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 62.85
Current children cumulated vsize (Kb) 136556

[startup+50.0277 s]
/proc/loadavg: 1.15 1.02 0.73 3/69 30807
/proc/meminfo: memFree=1291176/2055920 swapFree=4181844/4192956
[pid=30802] ppid=30800 vsize=5360 CPUtime=0
/proc/30802/stat : 30802 (runpbsmodels) S 30800 30802 30756 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227794778 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30802/statm: 1340 234 195 169 0 51 0
[pid=30803] ppid=30802 vsize=12268 CPUtime=0
/proc/30803/stat : 30803 (pbsmodels-v1.28) S 30802 30802 30756 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227794779 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30803/statm: 3067 383 293 3 0 167 0
[pid=30804] ppid=30803 vsize=5356 CPUtime=0
/proc/30804/stat : 30804 (sh) S 30803 30802 30756 0 -1 4194304 311 0 0 0 0 0 0 0 18 0 1 0 227794779 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30804/statm: 1339 227 188 169 0 50 0
[pid=30805] ppid=30804 vsize=12400 CPUtime=49.95
/proc/30805/stat : 30805 (pbsmodels.trans) R 30804 30802 30756 0 -1 4194304 514 0 0 0 4991 4 0 0 25 0 1 0 227794779 12697600 472 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 257203567571 0 0 4224 0 0 0 0 17 1 0 0
/proc/30805/statm: 3100 472 340 3 0 200 0
[pid=30806] ppid=30804 vsize=126252 CPUtime=28.93
/proc/30806/stat : 30806 (smodels) S 30804 30802 30756 0 -1 4194304 31229 0 0 0 2875 18 0 0 16 0 1 0 227794780 129282048 31193 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/30806/statm: 31563 31193 205 20 0 31000 0
[pid=30807] ppid=30804 vsize=12268 CPUtime=0
/proc/30807/stat : 30807 (pbout.pl) S 30804 30802 30756 0 -1 4194304 418 0 0 0 0 0 0 0 21 0 1 0 227794780 12562432 377 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30807/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 78.88
Current children cumulated vsize (Kb) 161636

[startup+60.0344 s]
/proc/loadavg: 1.28 1.05 0.74 2/69 30807
/proc/meminfo: memFree=1266408/2055920 swapFree=4181844/4192956
[pid=30802] ppid=30800 vsize=5360 CPUtime=0
/proc/30802/stat : 30802 (runpbsmodels) S 30800 30802 30756 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227794778 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30802/statm: 1340 234 195 169 0 51 0
[pid=30803] ppid=30802 vsize=12268 CPUtime=0
/proc/30803/stat : 30803 (pbsmodels-v1.28) S 30802 30802 30756 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227794779 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30803/statm: 3067 383 293 3 0 167 0
[pid=30804] ppid=30803 vsize=5356 CPUtime=0
/proc/30804/stat : 30804 (sh) S 30803 30802 30756 0 -1 4194304 311 0 0 0 0 0 0 0 18 0 1 0 227794779 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30804/statm: 1339 227 188 169 0 50 0
[pid=30805] ppid=30804 vsize=12400 CPUtime=59.94
/proc/30805/stat : 30805 (pbsmodels.trans) R 30804 30802 30756 0 -1 4194304 514 0 0 0 5989 5 0 0 25 0 1 0 227794779 12697600 472 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 257217564250 0 0 4224 0 0 0 0 17 1 0 0
/proc/30805/statm: 3100 472 340 3 0 200 0
[pid=30806] ppid=30804 vsize=150936 CPUtime=34.84
/proc/30806/stat : 30806 (smodels) S 30804 30802 30756 0 -1 4194304 37420 0 0 0 3462 22 0 0 16 0 1 0 227794780 154558464 37384 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/30806/statm: 37734 37384 205 20 0 37171 0
[pid=30807] ppid=30804 vsize=12268 CPUtime=0
/proc/30807/stat : 30807 (pbout.pl) S 30804 30802 30756 0 -1 4194304 418 0 0 0 0 0 0 0 21 0 1 0 227794780 12562432 377 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30807/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 94.78
Current children cumulated vsize (Kb) 186320

[startup+70.041 s]
/proc/loadavg: 1.31 1.06 0.75 2/68 30807
/proc/meminfo: memFree=1216368/2055920 swapFree=4181844/4192956
[pid=30802] ppid=30800 vsize=5360 CPUtime=0
/proc/30802/stat : 30802 (runpbsmodels) S 30800 30802 30756 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227794778 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30802/statm: 1340 234 195 169 0 51 0
[pid=30803] ppid=30802 vsize=12268 CPUtime=0
/proc/30803/stat : 30803 (pbsmodels-v1.28) S 30802 30802 30756 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227794779 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30803/statm: 3067 383 293 3 0 167 0
[pid=30804] ppid=30803 vsize=5356 CPUtime=67.32
/proc/30804/stat : 30804 (sh) S 30803 30802 30756 0 -1 4194304 311 599 0 0 0 0 6726 6 16 0 1 0 227794779 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30804/statm: 1339 227 188 169 0 50 0
[pid=30806] ppid=30804 vsize=201532 CPUtime=42.36
/proc/30806/stat : 30806 (smodels) R 30804 30802 30756 0 -1 4194304 50058 0 0 0 4207 29 0 0 20 0 1 0 227794780 206368768 50022 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551928 0 0 4096 0 0 0 0 17 1 0 0
/proc/30806/statm: 50383 50022 208 20 0 49820 0
[pid=30807] ppid=30804 vsize=12268 CPUtime=0
/proc/30807/stat : 30807 (pbout.pl) S 30804 30802 30756 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227794780 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30807/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 109.68
Current children cumulated vsize (Kb) 236784

[startup+80.0477 s]
/proc/loadavg: 1.26 1.06 0.75 2/68 30807
/proc/meminfo: memFree=1216368/2055920 swapFree=4181844/4192956
[pid=30802] ppid=30800 vsize=5360 CPUtime=0
/proc/30802/stat : 30802 (runpbsmodels) S 30800 30802 30756 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227794778 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30802/statm: 1340 234 195 169 0 51 0
[pid=30803] ppid=30802 vsize=12268 CPUtime=0
/proc/30803/stat : 30803 (pbsmodels-v1.28) S 30802 30802 30756 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227794779 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30803/statm: 3067 383 293 3 0 167 0
[pid=30804] ppid=30803 vsize=5356 CPUtime=67.32
/proc/30804/stat : 30804 (sh) S 30803 30802 30756 0 -1 4194304 311 599 0 0 0 0 6726 6 16 0 1 0 227794779 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30804/statm: 1339 227 188 169 0 50 0
[pid=30806] ppid=30804 vsize=201532 CPUtime=52.37
/proc/30806/stat : 30806 (smodels) R 30804 30802 30756 0 -1 4194304 50064 0 0 0 5208 29 0 0 25 0 1 0 227794780 206368768 50028 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548919 0 0 4096 0 0 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 789.9
Current children cumulated vsize (Kb) 236784

[startup+760.476 s]
/proc/loadavg: 1.00 1.00 0.85 2/68 30807
/proc/meminfo: memFree=1216176/2055920 swapFree=4181844/4192956
[pid=30802] ppid=30800 vsize=5360 CPUtime=0
/proc/30802/stat : 30802 (runpbsmodels) S 30800 30802 30756 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227794778 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30802/statm: 1340 234 195 169 0 51 0
[pid=30803] ppid=30802 vsize=12268 CPUtime=0
/proc/30803/stat : 30803 (pbsmodels-v1.28) S 30802 30802 30756 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227794779 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30803/statm: 3067 383 293 3 0 167 0
[pid=30804] ppid=30803 vsize=5356 CPUtime=67.32
/proc/30804/stat : 30804 (sh) S 30803 30802 30756 0 -1 4194304 311 599 0 0 0 0 6726 6 16 0 1 0 227794779 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30804/statm: 1339 227 188 169 0 50 0
[pid=30806] ppid=30804 vsize=201532 CPUtime=732.58
/proc/30806/stat : 30806 (smodels) R 30804 30802 30756 0 -1 4194304 50066 0 0 0 73229 29 0 0 25 0 1 0 227794780 206368768 50030 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531159 0 0 4096 0 0 0 0 17 1 0 0
/proc/30806/statm: 50383 50030 209 20 0 49820 0
[pid=30807] ppid=30804 vsize=12268 CPUtime=0
/proc/30807/stat : 30807 (pbout.pl) S 30804 30802 30756 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227794780 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30807/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 799.9
Current children cumulated vsize (Kb) 236784

[startup+770.483 s]
/proc/loadavg: 1.00 1.00 0.85 2/68 30807
/proc/meminfo: memFree=1216176/2055920 swapFree=4181844/4192956
[pid=30802] ppid=30800 vsize=5360 CPUtime=0
/proc/30802/stat : 30802 (runpbsmodels) S 30800 30802 30756 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227794778 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30802/statm: 1340 234 195 169 0 51 0
[pid=30803] ppid=30802 vsize=12268 CPUtime=0
/proc/30803/stat : 30803 (pbsmodels-v1.28) S 30802 30802 30756 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227794779 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30803/statm: 3067 383 293 3 0 167 0
[pid=30804] ppid=30803 vsize=5356 CPUtime=67.32
/proc/30804/stat : 30804 (sh) S 30803 30802 30756 0 -1 4194304 311 599 0 0 0 0 6726 6 16 0 1 0 227794779 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30804/statm: 1339 227 188 169 0 50 0
[pid=30806] ppid=30804 vsize=201532 CPUtime=742.58
/proc/30806/stat : 30806 (smodels) R 30804 30802 30756 0 -1 4194304 50066 0 0 0 74229 29 0 0 25 0 1 0 227794780 206368768 50030 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531159 0 0 4096 0 0 0 0 17 1 0 0
/proc/30806/statm: 50383 50030 209 20 0 49820 0
[pid=30807] ppid=30804 vsize=12268 CPUtime=0
/proc/30807/stat : 30807 (pbout.pl) S 30804 30802 30756 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227794780 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30807/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 809.9
Current children cumulated vsize (Kb) 236784

[startup+780.49 s]
/proc/loadavg: 1.00 1.00 0.85 2/68 30807
/proc/meminfo: memFree=1216112/2055920 swapFree=4181844/4192956
[pid=30802] ppid=30800 vsize=5360 CPUtime=0
/proc/30802/stat : 30802 (runpbsmodels) S 30800 30802 30756 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227794778 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30802/statm: 1340 234 195 169 0 51 0
[pid=30803] ppid=30802 vsize=12268 CPUtime=0
/proc/30803/stat : 30803 (pbsmodels-v1.28) S 30802 30802 30756 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227794779 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30803/statm: 3067 383 293 3 0 167 0
[pid=30804] ppid=30803 vsize=5356 CPUtime=67.32
/proc/30804/stat : 30804 (sh) S 30803 30802 30756 0 -1 4194304 311 599 0 0 0 0 6726 6 16 0 1 0 227794779 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30804/statm: 1339 227 188 169 0 50 0
[pid=30806] ppid=30804 vsize=201532 CPUtime=752.59
/proc/30806/stat : 30806 (smodels) R 30804 30802 30756 0 -1 4194304 50066 0 0 0 75230 29 0 0 25 0 1 0 227794780 206368768 50030 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531543 0 0 4096 0 0 0 0 17 1 0 0
/proc/30806/statm: 50383 50030 209 20 0 49820 0
[pid=30807] ppid=30804 vsize=12268 CPUtime=0
/proc/30807/stat : 30807 (pbout.pl) S 30804 30802 30756 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227794780 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30807/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 819.91
Current children cumulated vsize (Kb) 236784

[startup+790.496 s]
/proc/loadavg: 1.00 1.00 0.86 2/68 30807
/proc/meminfo: memFree=1216112/2055920 swapFree=4181844/4192956
[pid=30802] ppid=30800 vsize=5360 CPUtime=0
/proc/30802/stat : 30802 (runpbsmodels) S 30800 30802 30756 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227794778 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30802/statm: 1340 234 195 169 0 51 0
[pid=30803] ppid=30802 vsize=12268 CPUtime=0
/proc/30803/stat : 30803 (pbsmodels-v1.28) S 30802 30802 30756 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227794779 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30803/statm: 3067 383 293 3 0 167 0
[pid=30804] ppid=30803 vsize=5356 CPUtime=67.32
/proc/30804/stat : 30804 (sh) S 30803 30802 30756 0 -1 4194304 311 599 0 0 0 0 6726 6 16 0 1 0 227794779 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30804/statm: 1339 227 188 169 0 50 0
[pid=30806] ppid=30804 vsize=201532 CPUtime=762.59
/proc/30806/stat : 30806 (smodels) R 30804 30802 30756 0 -1 4194304 50066 0 0 0 76230 29 0 0 25 0 1 0 227794780 206368768 50030 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531159 0 0 4096 0 0 0 0 17 1 0 0
/proc/30806/statm: 50383 50030 209 20 0 49820 0
[pid=30807] ppid=30804 vsize=12268 CPUtime=0
/proc/30807/stat : 30807 (pbout.pl) S 30804 30802 30756 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227794780 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30807/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 829.91
Current children cumulated vsize (Kb) 236784

[startup+800.503 s]
/proc/loadavg: 1.00 1.00 0.86 2/68 30807
/proc/meminfo: memFree=1216112/2055920 swapFree=4181844/4192956
[pid=30802] ppid=30800 vsize=5360 CPUtime=0
/proc/30802/stat : 30802 (runpbsmodels) S 30800 30802 30756 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227794778 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30802/statm: 1340 234 195 169 0 51 0
[pid=30803] ppid=30802 vsize=12268 CPUtime=0
/proc/30803/stat : 30803 (pbsmodels-v1.28) S 30802 30802 30756 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227794779 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30803/statm: 3067 383 293 3 0 167 0
[pid=30804] ppid=30803 vsize=5356 CPUtime=67.32
/proc/30804/stat : 30804 (sh) S 30803 30802 30756 0 -1 4194304 311 599 0 0 0 0 6726 6 16 0 1 0 227794779 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30804/statm: 1339 227 188 169 0 50 0
[pid=30806] ppid=30804 vsize=201532 CPUtime=772.59
/proc/30806/stat : 30806 (smodels) R 30804 30802 30756 0 -1 4194304 50066 0 0 0 77230 29 0 0 25 0 1 0 227794780 206368768 50030 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531159 0 0 4096 0 0 0 0 17 1 0 0
/proc/30806/statm: 50383 50030 209 20 0 49820 0
[pid=30807] ppid=30804 vsize=12268 CPUtime=0
/proc/30807/stat : 30807 (pbout.pl) S 30804 30802 30756 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227794780 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30807/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 839.91
Current children cumulated vsize (Kb) 236784

[startup+810.51 s]
/proc/loadavg: 1.00 1.00 0.86 2/68 30807
/proc/meminfo: memFree=1216112/2055920 swapFree=4181844/4192956
[pid=30802] ppid=30800 vsize=5360 CPUtime=0
/proc/30802/stat : 30802 (runpbsmodels) S 30800 30802 30756 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227794778 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30802/statm: 1340 234 195 169 0 51 0
[pid=30803] ppid=30802 vsize=12268 CPUtime=0
/proc/30803/stat : 30803 (pbsmodels-v1.28) S 30802 30802 30756 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227794779 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30803/statm: 3067 383 293 3 0 167 0
[pid=30804] ppid=30803 vsize=5356 CPUtime=67.32
/proc/30804/stat : 30804 (sh) S 30803 30802 30756 0 -1 4194304 311 599 0 0 0 0 6726 6 16 0 1 0 227794779 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30804/statm: 1339 227 188 169 0 50 0
[pid=30806] ppid=30804 vsize=201532 CPUtime=782.6
/proc/30806/stat : 30806 (smodels) R 30804 30802 30756 0 -1 4194304 50066 0 0 0 78231 29 0 0 25 0 1 0 227794780 206368768 50030 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531159 0 0 4096 0 0 0 0 17 1 0 0
/proc/30806/statm: 50383 50030 209 20 0 49820 0
[pid=30807] ppid=30804 vsize=12268 CPUtime=0
/proc/30807/stat : 30807 (pbout.pl) S 30804 30802 30756 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227794780 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30807/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 849.92
Current children cumulated vsize (Kb) 236784

[startup+820.516 s]
/proc/loadavg: 1.00 1.00 0.86 2/68 30807
/proc/meminfo: memFree=1216112/2055920 swapFree=4181844/4192956
[pid=30802] ppid=30800 vsize=5360 CPUtime=0
/proc/30802/stat : 30802 (runpbsmodels) S 30800 30802 30756 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227794778 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30802/statm: 1340 234 195 169 0 51 0
[pid=30803] ppid=30802 vsize=12268 CPUtime=0
/proc/30803/stat : 30803 (pbsmodels-v1.28) S 30802 30802 30756 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227794779 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30803/statm: 3067 383 293 3 0 167 0
[pid=30804] ppid=30803 vsize=5356 CPUtime=67.32
/proc/30804/stat : 30804 (sh) S 30803 30802 30756 0 -1 4194304 311 599 0 0 0 0 6726 6 16 0 1 0 227794779 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30804/statm: 1339 227 188 169 0 50 0
[pid=30806] ppid=30804 vsize=201532 CPUtime=792.6
/proc/30806/stat : 30806 (smodels) R 30804 30802 30756 0 -1 4194304 50066 0 0 0 79231 29 0 0 25 0 1 0 227794780 206368768 50030 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531159 0 0 4096 0 0 0 0 17 1 0 0
/proc/30806/statm: 50383 50030 209 20 0 49820 0
[pid=30807] ppid=30804 vsize=12268 CPUtime=0
/proc/30807/stat : 30807 (pbout.pl) S 30804 30802 30756 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227794780 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30807/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 859.92
Current children cumulated vsize (Kb) 236784

[startup+830.523 s]
/proc/loadavg: 1.00 1.00 0.86 2/68 30807
/proc/meminfo: memFree=1216112/2055920 swapFree=4181844/4192956
[pid=30802] ppid=30800 vsize=5360 CPUtime=0
/proc/30802/stat : 30802 (runpbsmodels) S 30800 30802 30756 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227794778 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30802/statm: 1340 234 195 169 0 51 0
[pid=30803] ppid=30802 vsize=12268 CPUtime=0
/proc/30803/stat : 30803 (pbsmodels-v1.28) S 30802 30802 30756 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227794779 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30803/statm: 3067 383 293 3 0 167 0
[pid=30804] ppid=30803 vsize=5356 CPUtime=67.32
/proc/30804/stat : 30804 (sh) S 30803 30802 30756 0 -1 4194304 311 599 0 0 0 0 6726 6 16 0 1 0 227794779 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30804/statm: 1339 227 188 169 0 50 0
[pid=30806] ppid=30804 vsize=201532 CPUtime=802.6
/proc/30806/stat : 30806 (smodels) R 30804 30802 30756 0 -1 4194304 50066 0 0 0 80231 29 0 0 25 0 1 0 227794780 206368768 50030 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531543 0 0 4096 0 0 0 0 17 1 0 0
/proc/30806/statm: 50383 50030 209 20 0 49820 0
[pid=30807] ppid=30804 vsize=12268 CPUtime=0
/proc/30807/stat : 30807 (pbout.pl) S 30804 30802 30756 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227794780 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30807/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 869.92
Current children cumulated vsize (Kb) 236784

[startup+840.529 s]
/proc/loadavg: 1.00 1.00 0.86 2/68 30807
/proc/meminfo: memFree=1216112/2055920 swapFree=4181844/4192956
[pid=30802] ppid=30800 vsize=5360 CPUtime=0
/proc/30802/stat : 30802 (runpbsmodels) S 30800 30802 30756 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227794778 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30802/statm: 1340 234 195 169 0 51 0
[pid=30803] ppid=30802 vsize=12268 CPUtime=0
/proc/30803/stat : 30803 (pbsmodels-v1.28) S 30802 30802 30756 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227794779 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30803/statm: 3067 383 293 3 0 167 0
[pid=30804] ppid=30803 vsize=5356 CPUtime=67.32
/proc/30804/stat : 30804 (sh) S 30803 30802 30756 0 -1 4194304 311 599 0 0 0 0 6726 6 16 0 1 0 227794779 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30804/statm: 1339 227 188 169 0 50 0
[pid=30806] ppid=30804 vsize=201532 CPUtime=812.61
/proc/30806/stat : 30806 (smodels) R 30804 30802 30756 0 -1 4194304 50066 0 0 0 81232 29 0 0 25 0 1 0 227794780 206368768 50030 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548932 0 0 4096 0 0 0 0 17 1 0 0
/proc/30806/statm: 50383 50030 209 20 0 49820 0
[pid=30807] ppid=30804 vsize=12268 CPUtime=0
/proc/30807/stat : 30807 (pbout.pl) S 30804 30802 30756 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227794780 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30807/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 879.93
Current children cumulated vsize (Kb) 236784

Child status: 0
Real time (s): 848.615
CPU time (s): 888.034
CPU user time (s): 887.625
CPU system time (s): 0.408937
CPU usage (%): 104.645
Max. virtual memory (cumulated for all children) (Kb): 236784
The end

Launcher Data (download as text)

Begin job on node65 on Tue Jun  6 19:14:14 UTC 2006


FILE ID= 33649-1149621253

PBS_JOBID= 322468

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node65/33649-1149621253/instance-33649-1149621253.opb 936152345  ROOT/tmp/node65/33649-1149621253
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node65/watcher-33649-1149621253 -o ROOT/results/node65/solver-33649-1149621253 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node65/33649-1149621253/instance-33649-1149621253.opb 936152345  ROOT/tmp/node65/33649-1149621253

MD5SUM SOLVER= f639f6b7f53e3afd14340f75c0e271ee 82c14a26114306e436bf36ef1d1c85a0 c893ceb51a2aaa4ab2f96d97b043cdf0 8c810dcfce02286b111d075d14837741 79b233270d136fcdcf9d8f80d20efef0
MD5SUM BENCH=  409a20f37901eec51bb3d0d7a35b01e1

RANDOM SEED= 936152345


/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.283
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.283
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:       1416992 kB
Buffers:         25076 kB
Cached:         544028 kB
SwapCached:       2776 kB
Active:          62384 kB
Inactive:       515408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1416992 kB
SwapTotal:     4192956 kB
SwapFree:      4181844 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          14756 kB
Slab:            47168 kB
Committed_AS:   436980 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node65 on Tue Jun  6 19:28:23 UTC 2006