Trace number 45065

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 240.371 211.731

General information on the benchmark

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

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/node80/watcher-45065-1149641791 -o ROOT/results/node80/solver-45065-1149641791 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node80/45065-1149641791/instance-45065-1149641791.opb 964548908 ROOT/tmp/node80/45065-1149641791 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.88 0.93 0.90 2/67 2084
/proc/meminfo: memFree=1674576/2055888 swapFree=4085452/4096564
[pid=2084] ppid=2082 vsize=5368 CPUtime=0
/proc/2084/stat : 2084 (runpbsmodels) S 2082 2084 2038 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229818080 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/2084/statm: 1342 233 194 169 0 52 0
[pid=2085] ppid=2084 vsize=2504 CPUtime=0
/proc/2085/stat : 2085 (pbsmodels-v1.31) R 2084 2084 2038 0 -1 4194304 45 0 0 0 0 0 0 0 20 0 1 0 229818081 2564096 27 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268449149781 0 0 4096 0 0 0 0 17 1 0 0
/proc/2085/statm: 639 33 26 3 0 5 0

[startup+10.0027 s]
/proc/loadavg: 0.90 0.93 0.90 2/72 2089
/proc/meminfo: memFree=1656752/2055888 swapFree=4085452/4096564
[pid=2084] ppid=2082 vsize=5368 CPUtime=0
/proc/2084/stat : 2084 (runpbsmodels) S 2082 2084 2038 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229818080 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/2084/statm: 1342 233 194 169 0 52 0
[pid=2085] ppid=2084 vsize=12272 CPUtime=0
/proc/2085/stat : 2085 (pbsmodels-v1.31) S 2084 2084 2038 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229818081 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268460670916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/2085/statm: 3068 383 293 3 0 167 0
[pid=2086] ppid=2085 vsize=5364 CPUtime=0
/proc/2086/stat : 2086 (sh) S 2085 2084 2038 0 -1 4194304 308 0 0 0 0 0 0 0 18 0 1 0 229818081 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/2086/statm: 1341 225 186 169 0 51 0
[pid=2087] ppid=2086 vsize=12404 CPUtime=9.97
/proc/2087/stat : 2087 (pb2smodels) R 2086 2084 2038 0 -1 4194304 517 0 0 0 996 1 0 0 25 0 1 0 229818082 12701696 476 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 268465380231 0 0 4224 0 0 0 0 17 1 0 0
/proc/2087/statm: 3101 476 342 3 0 200 0
[pid=2088] ppid=2086 vsize=18416 CPUtime=4.53
/proc/2088/stat : 2088 (smodels-2.31) S 2086 2084 2038 0 -1 4194304 4255 0 0 0 451 2 0 0 16 0 1 0 229818082 18857984 4219 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563651996 0 0 17 1 0 0
/proc/2088/statm: 4604 4219 200 21 0 4039 0
[pid=2089] ppid=2086 vsize=12272 CPUtime=0
/proc/2089/stat : 2089 (pbout.new.pl) S 2086 2084 2038 0 -1 4194304 418 0 0 0 0 0 0 0 21 0 1 0 229818082 12566528 379 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268460667026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/2089/statm: 3068 379 291 3 0 167 0
Current children cumulated CPU time (s) 14.5
Current children cumulated vsize (Kb) 53824

[startup+20.0098 s]
/proc/loadavg: 0.92 0.93 0.90 2/72 2089
/proc/meminfo: memFree=1640944/2055888 swapFree=4085452/4096564
[pid=2084] ppid=2082 vsize=5368 CPUtime=0
/proc/2084/stat : 2084 (runpbsmodels) S 2082 2084 2038 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229818080 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/2084/statm: 1342 233 194 169 0 52 0
[pid=2085] ppid=2084 vsize=12272 CPUtime=0
/proc/2085/stat : 2085 (pbsmodels-v1.31) S 2084 2084 2038 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229818081 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268460670916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/2085/statm: 3068 383 293 3 0 167 0
[pid=2086] ppid=2085 vsize=5364 CPUtime=0
/proc/2086/stat : 2086 (sh) S 2085 2084 2038 0 -1 4194304 308 0 0 0 0 0 0 0 18 0 1 0 229818081 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/2086/statm: 1341 225 186 169 0 51 0
[pid=2087] ppid=2086 vsize=12404 CPUtime=19.96
/proc/2087/stat : 2087 (pb2smodels) R 2086 2084 2038 0 -1 4194304 517 0 0 0 1995 1 0 0 25 0 1 0 229818082 12701696 476 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 268465767173 0 0 4224 0 0 0 0 17 1 0 0
/proc/2087/statm: 3101 476 342 3 0 200 0
[pid=2088] ppid=2086 vsize=34256 CPUtime=9.16
/proc/2088/stat : 2088 (smodels-2.31) S 2086 2084 2038 0 -1 4194304 8237 0 0 0 911 5 0 0 16 0 1 0 229818082 35078144 8201 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563651996 0 0 17 1 0 0
/proc/2088/statm: 8564 8201 200 21 0 7999 0
[pid=2089] ppid=2086 vsize=12272 CPUtime=0
/proc/2089/stat : 2089 (pbout.new.pl) S 2086 2084 2038 0 -1 4194304 418 0 0 0 0 0 0 0 21 0 1 0 229818082 12566528 379 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268460667026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/2089/statm: 3068 379 291 3 0 167 0
Current children cumulated CPU time (s) 29.12
Current children cumulated vsize (Kb) 69664

[startup+30.0169 s]
/proc/loadavg: 0.93 0.93 0.91 3/72 2089
/proc/meminfo: memFree=1625264/2055888 swapFree=4085452/4096564
[pid=2084] ppid=2082 vsize=5368 CPUtime=0
/proc/2084/stat : 2084 (runpbsmodels) S 2082 2084 2038 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229818080 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/2084/statm: 1342 233 194 169 0 52 0
[pid=2085] ppid=2084 vsize=12272 CPUtime=0
/proc/2085/stat : 2085 (pbsmodels-v1.31) S 2084 2084 2038 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229818081 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268460670916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/2085/statm: 3068 383 293 3 0 167 0
[pid=2086] ppid=2085 vsize=5364 CPUtime=0
/proc/2086/stat : 2086 (sh) S 2085 2084 2038 0 -1 4194304 308 0 0 0 0 0 0 0 18 0 1 0 229818081 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/2086/statm: 1341 225 186 169 0 51 0
[pid=2087] ppid=2086 vsize=12404 CPUtime=29.95
/proc/2087/stat : 2087 (pb2smodels) R 2086 2084 2038 0 -1 4194304 517 0 0 0 2993 2 0 0 25 0 1 0 229818082 12701696 476 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 268465433345 0 0 4224 0 0 0 0 17 1 0 0
/proc/2087/statm: 3101 476 342 3 0 200 0
[pid=2088] ppid=2086 vsize=50096 CPUtime=13.81
/proc/2088/stat : 2088 (smodels-2.31) S 2086 2084 2038 0 -1 4194304 12179 0 0 0 1374 7 0 0 16 0 1 0 229818082 51298304 12143 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563651996 0 0 17 1 0 0
/proc/2088/statm: 12524 12143 200 21 0 11959 0
[pid=2089] ppid=2086 vsize=12272 CPUtime=0
/proc/2089/stat : 2089 (pbout.new.pl) S 2086 2084 2038 0 -1 4194304 418 0 0 0 0 0 0 0 21 0 1 0 229818082 12566528 379 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268460667026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/2089/statm: 3068 379 291 3 0 167 0
Current children cumulated CPU time (s) 43.76
Current children cumulated vsize (Kb) 85504

[startup+40.0229 s]
/proc/loadavg: 0.94 0.93 0.91 3/72 2089
/proc/meminfo: memFree=1609392/2055888 swapFree=4085452/4096564
[pid=2084] ppid=2082 vsize=5368 CPUtime=0
/proc/2084/stat : 2084 (runpbsmodels) S 2082 2084 2038 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229818080 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/2084/statm: 1342 233 194 169 0 52 0
[pid=2085] ppid=2084 vsize=12272 CPUtime=0
/proc/2085/stat : 2085 (pbsmodels-v1.31) S 2084 2084 2038 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229818081 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268460670916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/2085/statm: 3068 383 293 3 0 167 0
[pid=2086] ppid=2085 vsize=5364 CPUtime=0
/proc/2086/stat : 2086 (sh) S 2085 2084 2038 0 -1 4194304 308 0 0 0 0 0 0 0 18 0 1 0 229818081 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/2086/statm: 1341 225 186 169 0 51 0
[pid=2087] ppid=2086 vsize=12404 CPUtime=39.95
/proc/2087/stat : 2087 (pb2smodels) R 2086 2084 2038 0 -1 4194304 517 0 0 0 3992 3 0 0 25 0 1 0 229818082 12701696 476 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 268465923650 0 0 4224 0 0 0 0 17 1 0 0
/proc/2087/statm: 3101 476 342 3 0 200 0
[pid=2088] ppid=2086 vsize=65936 CPUtime=18.57
/proc/2088/stat : 2088 (smodels-2.31) S 2086 2084 2038 0 -1 4194304 16139 0 0 0 1847 10 0 0 16 0 1 0 229818082 67518464 16103 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563651996 0 0 17 1 0 0
/proc/2088/statm: 16484 16103 200 21 0 15919 0
[pid=2089] ppid=2086 vsize=12272 CPUtime=0
/proc/2089/stat : 2089 (pbout.new.pl) S 2086 2084 2038 0 -1 4194304 418 0 0 0 0 0 0 0 21 0 1 0 229818082 12566528 379 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268460667026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/2089/statm: 3068 379 291 3 0 167 0
Current children cumulated CPU time (s) 58.52
Current children cumulated vsize (Kb) 101344

[startup+50.03 s]
/proc/loadavg: 0.95 0.94 0.91 3/72 2089
/proc/meminfo: memFree=1593712/2055888 swapFree=4085452/4096564
[pid=2084] ppid=2082 vsize=5368 CPUtime=0
/proc/2084/stat : 2084 (runpbsmodels) S 2082 2084 2038 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229818080 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/2084/statm: 1342 233 194 169 0 52 0
[pid=2085] ppid=2084 vsize=12272 CPUtime=0
/proc/2085/stat : 2085 (pbsmodels-v1.31) S 2084 2084 2038 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229818081 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268460670916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/2085/statm: 3068 383 293 3 0 167 0
[pid=2086] ppid=2085 vsize=5364 CPUtime=0
/proc/2086/stat : 2086 (sh) S 2085 2084 2038 0 -1 4194304 308 0 0 0 0 0 0 0 18 0 1 0 229818081 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/2086/statm: 1341 225 186 169 0 51 0
[pid=2087] ppid=2086 vsize=12404 CPUtime=49.9
/proc/2087/stat : 2087 (pb2smodels) R 2086 2084 2038 0 -1 4194304 517 0 0 0 4986 4 0 0 25 0 1 0 229818082 12701696 476 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 268465543378 0 0 4224 0 0 0 0 17 1 0 0
/proc/2087/statm: 3101 476 342 3 0 200 0
[pid=2088] ppid=2086 vsize=81512 CPUtime=23.28
/proc/2088/stat : 2088 (smodels-2.31) S 2086 2084 2038 0 -1 4194304 20052 0 0 0 2316 12 0 0 16 0 1 0 229818082 83468288 20016 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563651996 0 0 17 1 0 0
/proc/2088/statm: 20378 20016 200 21 0 19813 0
[pid=2089] ppid=2086 vsize=12272 CPUtime=0
/proc/2089/stat : 2089 (pbout.new.pl) S 2086 2084 2038 0 -1 4194304 418 0 0 0 0 0 0 0 21 0 1 0 229818082 12566528 379 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268460667026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/2089/statm: 3068 379 291 3 0 167 0
Current children cumulated CPU time (s) 73.18
Current children cumulated vsize (Kb) 116920

[startup+60.0361 s]
/proc/loadavg: 1.11 0.97 0.92 3/72 2089
/proc/meminfo: memFree=1577200/2055888 swapFree=4085452/4096564
[pid=2084] ppid=2082 vsize=5368 CPUtime=0
/proc/2084/stat : 2084 (runpbsmodels) S 2082 2084 2038 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229818080 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/2084/statm: 1342 233 194 169 0 52 0
[pid=2085] ppid=2084 vsize=12272 CPUtime=0
/proc/2085/stat : 2085 (pbsmodels-v1.31) S 2084 2084 2038 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229818081 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268460670916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/2085/statm: 3068 383 293 3 0 167 0
[pid=2086] ppid=2085 vsize=5364 CPUtime=0
/proc/2086/stat : 2086 (sh) S 2085 2084 2038 0 -1 4194304 308 0 0 0 0 0 0 0 18 0 1 0 229818081 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/2086/statm: 1341 225 186 169 0 51 0
[pid=2087] ppid=2086 vsize=12536 CPUtime=59.89
/proc/2087/stat : 2087 (pb2smodels) R 2086 2084 2038 0 -1 4194304 522 0 0 0 5984 5 0 0 25 0 1 0 229818082 12836864 481 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 268465552916 0 0 4224 0 0 0 0 17 0 0 0
/proc/2087/statm: 3134 481 342 3 0 233 0
[pid=2088] ppid=2086 vsize=98144 CPUtime=28.49
/proc/2088/stat : 2088 (smodels-2.31) R 2086 2084 2038 0 -1 4194304 24195 0 0 0 2834 15 0 0 16 0 1 0 229818082 100499456 24159 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 11874689 0 0 4096 0 0 0 0 17 1 0 0
/proc/2088/statm: 24536 24159 204 21 0 23971 0
[pid=2089] ppid=2086 vsize=12272 CPUtime=0
/proc/2089/stat : 2089 (pbout.new.pl) S 2086 2084 2038 0 -1 4194304 418 0 0 0 0 0 0 0 21 0 1 0 229818082 12566528 379 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268460667026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/2089/statm: 3068 379 291 3 0 167 0
Current children cumulated CPU time (s) 88.38
Current children cumulated vsize (Kb) 133684

[startup+70.0421 s]
/proc/loadavg: 1.09 0.97 0.92 2/71 2089
/proc/meminfo: memFree=1543800/2055888 swapFree=4085452/4096564
[pid=2084] ppid=2082 vsize=5368 CPUtime=0
/proc/2084/stat : 2084 (runpbsmodels) S 2082 2084 2038 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229818080 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/2084/statm: 1342 233 194 169 0 52 0
[pid=2085] ppid=2084 vsize=12272 CPUtime=0
/proc/2085/stat : 2085 (pbsmodels-v1.31) S 2084 2084 2038 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229818081 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268460670916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/2085/statm: 3068 383 293 3 0 167 0
[pid=2086] ppid=2085 vsize=5364 CPUtime=60.32
/proc/2086/stat : 2086 (sh) S 2085 2084 2038 0 -1 4194304 308 601 0 0 0 0 6027 5 16 0 1 0 229818081 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/2086/statm: 1341 225 186 169 0 51 0
[pid=2088] ppid=2086 vsize=132012 CPUtime=38.39
/proc/2088/stat : 2088 (smodels-2.31) R 2086 2084 2038 0 -1 4194304 32684 0 0 0 3822 17 0 0 25 0 1 0 229818082 135180288 32648 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0
/proc/2088/statm: 33003 32648 208 21 0 32438 0
[pid=2089] ppid=2086 vsize=12272 CPUtime=0
/proc/2089/stat : 2089 (pbout.new.pl) S 2086 2084 2038 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229818082 12566528 390 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268460667026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/2089/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 98.71
Current children cumulated vsize (Kb) 167288

[startup+80.0482 s]
/proc/loadavg: 1.08 0.97 0.92 2/71 2089
/proc/meminfo: memFree=1543736/2055888 swapFree=4085452/4096564
[pid=2084] ppid=2082 vsize=5368 CPUtime=0
/proc/2084/stat : 2084 (runpbsmodels) S 2082 2084 2038 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229818080 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/2084/statm: 1342 233 194 169 0 52 0
[pid=2085] ppid=2084 vsize=12272 CPUtime=0
/proc/2085/stat : 2085 (pbsmodels-v1.31) S 2084 2084 2038 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229818081 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268460670916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/2085/statm: 3068 383 293 3 0 167 0
[pid=2086] ppid=2085 vsize=5364 CPUtime=60.32
/proc/2086/stat : 2086 (sh) S 2085 2084 2038 0 -1 4194304 308 601 0 0 0 0 6027 5 16 0 1 0 229818081 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/2086/statm: 1341 225 186 169 0 51 0
[pid=2088] ppid=2086 vsize=132144 CPUtime=48.39
/proc/2088/stat : 2088 (smodels-2.31) R 2086 2084 2038 0 -1 4194304 32698 0 0 0 4822 17 0 0 25 0 1 0 229818082 135315456 32662 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533271 0 0 4096 0 0 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 148.72
Current children cumulated vsize (Kb) 167552

[startup+130.079 s]
/proc/loadavg: 1.03 0.97 0.92 2/71 2089
/proc/meminfo: memFree=1543608/2055888 swapFree=4085452/4096564
[pid=2084] ppid=2082 vsize=5368 CPUtime=0
/proc/2084/stat : 2084 (runpbsmodels) S 2082 2084 2038 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229818080 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/2084/statm: 1342 233 194 169 0 52 0
[pid=2085] ppid=2084 vsize=12272 CPUtime=0
/proc/2085/stat : 2085 (pbsmodels-v1.31) S 2084 2084 2038 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229818081 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268460670916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/2085/statm: 3068 383 293 3 0 167 0
[pid=2086] ppid=2085 vsize=5364 CPUtime=60.32
/proc/2086/stat : 2086 (sh) S 2085 2084 2038 0 -1 4194304 308 601 0 0 0 0 6027 5 16 0 1 0 229818081 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/2086/statm: 1341 225 186 169 0 51 0
[pid=2088] ppid=2086 vsize=132276 CPUtime=98.4
/proc/2088/stat : 2088 (smodels-2.31) R 2086 2084 2038 0 -1 4194304 32729 0 0 0 9823 17 0 0 25 0 1 0 229818082 135450624 32693 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0
/proc/2088/statm: 33069 32693 208 21 0 32504 0
[pid=2089] ppid=2086 vsize=12272 CPUtime=0
/proc/2089/stat : 2089 (pbout.new.pl) S 2086 2084 2038 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229818082 12566528 390 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268460667026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/2089/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 158.72
Current children cumulated vsize (Kb) 167552

[startup+140.085 s]
/proc/loadavg: 1.03 0.97 0.92 2/71 2089
/proc/meminfo: memFree=1543544/2055888 swapFree=4085452/4096564
[pid=2084] ppid=2082 vsize=5368 CPUtime=0
/proc/2084/stat : 2084 (runpbsmodels) S 2082 2084 2038 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229818080 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/2084/statm: 1342 233 194 169 0 52 0
[pid=2085] ppid=2084 vsize=12272 CPUtime=0
/proc/2085/stat : 2085 (pbsmodels-v1.31) S 2084 2084 2038 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229818081 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268460670916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/2085/statm: 3068 383 293 3 0 167 0
[pid=2086] ppid=2085 vsize=5364 CPUtime=60.32
/proc/2086/stat : 2086 (sh) S 2085 2084 2038 0 -1 4194304 308 601 0 0 0 0 6027 5 16 0 1 0 229818081 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/2086/statm: 1341 225 186 169 0 51 0
[pid=2088] ppid=2086 vsize=132276 CPUtime=108.4
/proc/2088/stat : 2088 (smodels-2.31) R 2086 2084 2038 0 -1 4194304 32737 0 0 0 10823 17 0 0 25 0 1 0 229818082 135450624 32701 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0
/proc/2088/statm: 33069 32701 208 21 0 32504 0
[pid=2089] ppid=2086 vsize=12272 CPUtime=0
/proc/2089/stat : 2089 (pbout.new.pl) S 2086 2084 2038 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229818082 12566528 390 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268460667026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/2089/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 168.72
Current children cumulated vsize (Kb) 167552

[startup+150.091 s]
/proc/loadavg: 1.02 0.97 0.92 2/71 2089
/proc/meminfo: memFree=1543544/2055888 swapFree=4085452/4096564
[pid=2084] ppid=2082 vsize=5368 CPUtime=0
/proc/2084/stat : 2084 (runpbsmodels) S 2082 2084 2038 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229818080 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/2084/statm: 1342 233 194 169 0 52 0
[pid=2085] ppid=2084 vsize=12272 CPUtime=0
/proc/2085/stat : 2085 (pbsmodels-v1.31) S 2084 2084 2038 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229818081 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268460670916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/2085/statm: 3068 383 293 3 0 167 0
[pid=2086] ppid=2085 vsize=5364 CPUtime=60.32
/proc/2086/stat : 2086 (sh) S 2085 2084 2038 0 -1 4194304 308 601 0 0 0 0 6027 5 16 0 1 0 229818081 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/2086/statm: 1341 225 186 169 0 51 0
[pid=2088] ppid=2086 vsize=132276 CPUtime=118.41
/proc/2088/stat : 2088 (smodels-2.31) R 2086 2084 2038 0 -1 4194304 32738 0 0 0 11824 17 0 0 25 0 1 0 229818082 135450624 32702 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533264 0 0 4096 0 0 0 0 17 1 0 0
/proc/2088/statm: 33069 32702 208 21 0 32504 0
[pid=2089] ppid=2086 vsize=12272 CPUtime=0
/proc/2089/stat : 2089 (pbout.new.pl) S 2086 2084 2038 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229818082 12566528 390 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268460667026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/2089/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 178.73
Current children cumulated vsize (Kb) 167552

[startup+160.097 s]
/proc/loadavg: 1.02 0.97 0.92 2/71 2089
/proc/meminfo: memFree=1543544/2055888 swapFree=4085452/4096564
[pid=2084] ppid=2082 vsize=5368 CPUtime=0
/proc/2084/stat : 2084 (runpbsmodels) S 2082 2084 2038 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229818080 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/2084/statm: 1342 233 194 169 0 52 0
[pid=2085] ppid=2084 vsize=12272 CPUtime=0
/proc/2085/stat : 2085 (pbsmodels-v1.31) S 2084 2084 2038 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229818081 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268460670916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/2085/statm: 3068 383 293 3 0 167 0
[pid=2086] ppid=2085 vsize=5364 CPUtime=60.32
/proc/2086/stat : 2086 (sh) S 2085 2084 2038 0 -1 4194304 308 601 0 0 0 0 6027 5 16 0 1 0 229818081 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/2086/statm: 1341 225 186 169 0 51 0
[pid=2088] ppid=2086 vsize=132276 CPUtime=128.41
/proc/2088/stat : 2088 (smodels-2.31) R 2086 2084 2038 0 -1 4194304 32739 0 0 0 12824 17 0 0 25 0 1 0 229818082 135450624 32703 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0
/proc/2088/statm: 33069 32703 208 21 0 32504 0
[pid=2089] ppid=2086 vsize=12272 CPUtime=0
/proc/2089/stat : 2089 (pbout.new.pl) S 2086 2084 2038 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229818082 12566528 390 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268460667026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/2089/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 188.73
Current children cumulated vsize (Kb) 167552

[startup+170.104 s]
/proc/loadavg: 1.02 0.97 0.92 2/71 2089
/proc/meminfo: memFree=1543480/2055888 swapFree=4085452/4096564
[pid=2084] ppid=2082 vsize=5368 CPUtime=0
/proc/2084/stat : 2084 (runpbsmodels) S 2082 2084 2038 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229818080 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/2084/statm: 1342 233 194 169 0 52 0
[pid=2085] ppid=2084 vsize=12272 CPUtime=0
/proc/2085/stat : 2085 (pbsmodels-v1.31) S 2084 2084 2038 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229818081 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268460670916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/2085/statm: 3068 383 293 3 0 167 0
[pid=2086] ppid=2085 vsize=5364 CPUtime=60.32
/proc/2086/stat : 2086 (sh) S 2085 2084 2038 0 -1 4194304 308 601 0 0 0 0 6027 5 16 0 1 0 229818081 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/2086/statm: 1341 225 186 169 0 51 0
[pid=2088] ppid=2086 vsize=132276 CPUtime=138.41
/proc/2088/stat : 2088 (smodels-2.31) R 2086 2084 2038 0 -1 4194304 32740 0 0 0 13824 17 0 0 25 0 1 0 229818082 135450624 32704 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0
/proc/2088/statm: 33069 32704 208 21 0 32504 0
[pid=2089] ppid=2086 vsize=12272 CPUtime=0
/proc/2089/stat : 2089 (pbout.new.pl) S 2086 2084 2038 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229818082 12566528 390 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268460667026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/2089/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 198.73
Current children cumulated vsize (Kb) 167552

[startup+180.111 s]
/proc/loadavg: 1.01 0.97 0.92 2/71 2089
/proc/meminfo: memFree=1543480/2055888 swapFree=4085452/4096564
[pid=2084] ppid=2082 vsize=5368 CPUtime=0
/proc/2084/stat : 2084 (runpbsmodels) S 2082 2084 2038 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229818080 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/2084/statm: 1342 233 194 169 0 52 0
[pid=2085] ppid=2084 vsize=12272 CPUtime=0
/proc/2085/stat : 2085 (pbsmodels-v1.31) S 2084 2084 2038 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229818081 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268460670916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/2085/statm: 3068 383 293 3 0 167 0
[pid=2086] ppid=2085 vsize=5364 CPUtime=60.32
/proc/2086/stat : 2086 (sh) S 2085 2084 2038 0 -1 4194304 308 601 0 0 0 0 6027 5 16 0 1 0 229818081 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/2086/statm: 1341 225 186 169 0 51 0
[pid=2088] ppid=2086 vsize=132276 CPUtime=148.41
/proc/2088/stat : 2088 (smodels-2.31) R 2086 2084 2038 0 -1 4194304 32740 0 0 0 14824 17 0 0 25 0 1 0 229818082 135450624 32704 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539728 0 0 4096 0 0 0 0 17 1 0 0
/proc/2088/statm: 33069 32704 208 21 0 32504 0
[pid=2089] ppid=2086 vsize=12272 CPUtime=0
/proc/2089/stat : 2089 (pbout.new.pl) S 2086 2084 2038 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229818082 12566528 390 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268460667026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/2089/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 208.73
Current children cumulated vsize (Kb) 167552

[startup+190.118 s]
/proc/loadavg: 1.01 0.97 0.92 2/71 2089
/proc/meminfo: memFree=1543480/2055888 swapFree=4085452/4096564
[pid=2084] ppid=2082 vsize=5368 CPUtime=0
/proc/2084/stat : 2084 (runpbsmodels) S 2082 2084 2038 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229818080 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/2084/statm: 1342 233 194 169 0 52 0
[pid=2085] ppid=2084 vsize=12272 CPUtime=0
/proc/2085/stat : 2085 (pbsmodels-v1.31) S 2084 2084 2038 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229818081 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268460670916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/2085/statm: 3068 383 293 3 0 167 0
[pid=2086] ppid=2085 vsize=5364 CPUtime=60.32
/proc/2086/stat : 2086 (sh) S 2085 2084 2038 0 -1 4194304 308 601 0 0 0 0 6027 5 16 0 1 0 229818081 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/2086/statm: 1341 225 186 169 0 51 0
[pid=2088] ppid=2086 vsize=132276 CPUtime=158.42
/proc/2088/stat : 2088 (smodels-2.31) R 2086 2084 2038 0 -1 4194304 32745 0 0 0 15825 17 0 0 25 0 1 0 229818082 135450624 32709 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533111 0 0 4096 0 0 0 0 17 1 0 0
/proc/2088/statm: 33069 32709 208 21 0 32504 0
[pid=2089] ppid=2086 vsize=12272 CPUtime=0
/proc/2089/stat : 2089 (pbout.new.pl) S 2086 2084 2038 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229818082 12566528 390 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268460667026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/2089/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 218.74
Current children cumulated vsize (Kb) 167552

[startup+200.125 s]
/proc/loadavg: 1.01 0.97 0.92 2/71 2089
/proc/meminfo: memFree=1543544/2055888 swapFree=4085452/4096564
[pid=2084] ppid=2082 vsize=5368 CPUtime=0
/proc/2084/stat : 2084 (runpbsmodels) S 2082 2084 2038 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229818080 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/2084/statm: 1342 233 194 169 0 52 0
[pid=2085] ppid=2084 vsize=12272 CPUtime=0
/proc/2085/stat : 2085 (pbsmodels-v1.31) S 2084 2084 2038 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229818081 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268460670916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/2085/statm: 3068 383 293 3 0 167 0
[pid=2086] ppid=2085 vsize=5364 CPUtime=60.32
/proc/2086/stat : 2086 (sh) S 2085 2084 2038 0 -1 4194304 308 601 0 0 0 0 6027 5 16 0 1 0 229818081 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/2086/statm: 1341 225 186 169 0 51 0
[pid=2088] ppid=2086 vsize=132276 CPUtime=168.42
/proc/2088/stat : 2088 (smodels-2.31) R 2086 2084 2038 0 -1 4194304 32747 0 0 0 16825 17 0 0 25 0 1 0 229818082 135450624 32711 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0
/proc/2088/statm: 33069 32711 208 21 0 32504 0
[pid=2089] ppid=2086 vsize=12272 CPUtime=0
/proc/2089/stat : 2089 (pbout.new.pl) S 2086 2084 2038 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229818082 12566528 390 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268460667026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/2089/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 228.74
Current children cumulated vsize (Kb) 167552

[startup+210.132 s]
/proc/loadavg: 1.01 0.97 0.92 2/71 2089
/proc/meminfo: memFree=1543544/2055888 swapFree=4085452/4096564
[pid=2084] ppid=2082 vsize=5368 CPUtime=0
/proc/2084/stat : 2084 (runpbsmodels) S 2082 2084 2038 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229818080 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/2084/statm: 1342 233 194 169 0 52 0
[pid=2085] ppid=2084 vsize=12272 CPUtime=0
/proc/2085/stat : 2085 (pbsmodels-v1.31) S 2084 2084 2038 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229818081 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268460670916 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/2085/statm: 3068 383 293 3 0 167 0
[pid=2086] ppid=2085 vsize=5364 CPUtime=60.32
/proc/2086/stat : 2086 (sh) S 2085 2084 2038 0 -1 4194304 308 601 0 0 0 0 6027 5 16 0 1 0 229818081 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268451768900 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/2086/statm: 1341 225 186 169 0 51 0
[pid=2088] ppid=2086 vsize=132276 CPUtime=178.42
/proc/2088/stat : 2088 (smodels-2.31) R 2086 2084 2038 0 -1 4194304 32748 0 0 0 17825 17 0 0 25 0 1 0 229818082 135450624 32712 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0
/proc/2088/statm: 33069 32712 208 21 0 32504 0
[pid=2089] ppid=2086 vsize=12272 CPUtime=0
/proc/2089/stat : 2089 (pbout.new.pl) S 2086 2084 2038 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229818082 12566528 390 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268460667026 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/2089/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 238.74
Current children cumulated vsize (Kb) 167552

Child status: 0
Real time (s): 211.731
CPU time (s): 240.371
CPU user time (s): 240.108
CPU system time (s): 0.26296
CPU usage (%): 113.527
Max. virtual memory (cumulated for all children) (Kb): 167552
The end

Launcher Data (download as text)

Begin job on node80 on Wed Jun  7 00:56:35 UTC 2006


FILE ID= 45065-1149641791

PBS_JOBID= 323564

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

MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4
MD5SUM BENCH=  d54403a51e1ff3d34cd210d836adfe84

RANDOM SEED= 964548908


/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.264
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.16
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.264
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.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1674912 kB
Buffers:         28824 kB
Cached:         286544 kB
SwapCached:       2464 kB
Active:         113280 kB
Inactive:       210884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1674912 kB
SwapTotal:     4096564 kB
SwapFree:      4085452 kB
Dirty:             144 kB
Writeback:           0 kB
Mapped:          16656 kB
Slab:            43428 kB
Committed_AS:   460584 kB
PageTables:       1276 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node80 on Wed Jun  7 01:00:07 UTC 2006