Trace number 33648

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 848.122 811.692

General information on the benchmark

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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	0

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes

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

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node81/watcher-33648-1149621234 -o ROOT/results/node81/solver-33648-1149621234 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node81/33648-1149621234/instance-33648-1149621234.opb 639104180 ROOT/tmp/node81/33648-1149621234 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.96 0.68 2/68 25182
/proc/meminfo: memFree=1438552/2055892 swapFree=4085344/4096564
[pid=25182] ppid=25180 vsize=5220 CPUtime=0
/proc/25182/stat : 25182 (runpbsmodels) R 25180 25182 25136 0 -1 4194304 115 0 0 0 0 0 0 0 18 0 1 0 227763009 5345280 88 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 272559475300 0 0 4096 0 0 0 0 17 1 0 0
/proc/25182/statm: 1338 101 80 169 0 48 0

[startup+10.0049 s]
/proc/loadavg: 1.07 0.98 0.69 2/73 25187
/proc/meminfo: memFree=1411056/2055892 swapFree=4085344/4096564
[pid=25182] ppid=25180 vsize=5368 CPUtime=0
/proc/25182/stat : 25182 (runpbsmodels) S 25180 25182 25136 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227763009 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/25182/statm: 1342 233 194 169 0 52 0
[pid=25183] ppid=25182 vsize=12272 CPUtime=0
/proc/25183/stat : 25183 (pbsmodels-v1.28) S 25182 25182 25136 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227763009 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 272567943108 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/25183/statm: 3068 383 293 3 0 167 0
[pid=25184] ppid=25183 vsize=5364 CPUtime=0
/proc/25184/stat : 25184 (sh) S 25183 25182 25136 0 -1 4194304 310 0 0 0 0 0 0 0 18 0 1 0 227763010 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/25184/statm: 1341 225 186 169 0 51 0
[pid=25185] ppid=25184 vsize=12404 CPUtime=9.98
/proc/25185/stat : 25185 (pbsmodels.trans) R 25184 25182 25136 0 -1 4194304 515 0 0 0 997 1 0 0 25 0 1 0 227763010 12701696 474 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 272567939074 0 0 4224 0 0 0 0 17 1 0 0
/proc/25185/statm: 3101 474 342 3 0 200 0
[pid=25186] ppid=25184 vsize=28180 CPUtime=5.43
/proc/25186/stat : 25186 (smodels) R 25184 25182 25136 0 -1 4194304 6713 0 0 0 540 3 0 0 16 0 1 0 227763010 28856320 6677 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 10519409 0 0 4096 0 0 0 0 17 1 0 0
/proc/25186/statm: 7045 6677 202 20 0 6481 0
[pid=25187] ppid=25184 vsize=12272 CPUtime=0
/proc/25187/stat : 25187 (pbout.pl) S 25184 25182 25136 0 -1 4194304 419 0 0 0 0 0 0 0 21 0 1 0 227763010 12566528 379 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 272567939218 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/25187/statm: 3068 379 291 3 0 167 0
Current children cumulated CPU time (s) 15.41
Current children cumulated vsize (Kb) 63588

[startup+20.0118 s]
/proc/loadavg: 1.14 0.99 0.70 3/73 25187
/proc/meminfo: memFree=1385136/2055892 swapFree=4085344/4096564
[pid=25182] ppid=25180 vsize=5368 CPUtime=0
/proc/25182/stat : 25182 (runpbsmodels) S 25180 25182 25136 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227763009 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/25182/statm: 1342 233 194 169 0 52 0
[pid=25183] ppid=25182 vsize=12272 CPUtime=0
/proc/25183/stat : 25183 (pbsmodels-v1.28) S 25182 25182 25136 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227763009 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 272567943108 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/25183/statm: 3068 383 293 3 0 167 0
[pid=25184] ppid=25183 vsize=5364 CPUtime=0
/proc/25184/stat : 25184 (sh) S 25183 25182 25136 0 -1 4194304 310 0 0 0 0 0 0 0 18 0 1 0 227763010 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/25184/statm: 1341 225 186 169 0 51 0
[pid=25185] ppid=25184 vsize=12404 CPUtime=19.98
/proc/25185/stat : 25185 (pbsmodels.trans) R 25184 25182 25136 0 -1 4194304 515 0 0 0 1996 2 0 0 25 0 1 0 227763010 12701696 474 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 272576817162 0 0 4224 0 0 0 0 17 1 0 0
/proc/25185/statm: 3101 474 342 3 0 200 0
[pid=25186] ppid=25184 vsize=54052 CPUtime=10.97
/proc/25186/stat : 25186 (smodels) S 25184 25182 25136 0 -1 4194304 13186 0 0 0 1092 5 0 0 16 0 1 0 227763010 55349248 13150 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563651996 0 0 17 1 0 0
/proc/25186/statm: 13513 13150 202 20 0 12949 0
[pid=25187] ppid=25184 vsize=12272 CPUtime=0
/proc/25187/stat : 25187 (pbout.pl) S 25184 25182 25136 0 -1 4194304 419 0 0 0 0 0 0 0 21 0 1 0 227763010 12566528 379 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 272567939218 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/25187/statm: 3068 379 291 3 0 167 0
Current children cumulated CPU time (s) 30.95
Current children cumulated vsize (Kb) 89460

[startup+30.0189 s]
/proc/loadavg: 1.19 1.01 0.70 2/73 25187
/proc/meminfo: memFree=1359472/2055892 swapFree=4085344/4096564
[pid=25182] ppid=25180 vsize=5368 CPUtime=0
/proc/25182/stat : 25182 (runpbsmodels) S 25180 25182 25136 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227763009 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/25182/statm: 1342 233 194 169 0 52 0
[pid=25183] ppid=25182 vsize=12272 CPUtime=0
/proc/25183/stat : 25183 (pbsmodels-v1.28) S 25182 25182 25136 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227763009 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 272567943108 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/25183/statm: 3068 383 293 3 0 167 0
[pid=25184] ppid=25183 vsize=5364 CPUtime=0
/proc/25184/stat : 25184 (sh) S 25183 25182 25136 0 -1 4194304 310 0 0 0 0 0 0 0 18 0 1 0 227763010 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/25184/statm: 1341 225 186 169 0 51 0
[pid=25185] ppid=25184 vsize=12404 CPUtime=29.96
/proc/25185/stat : 25185 (pbsmodels.trans) R 25184 25182 25136 0 -1 4194304 515 0 0 0 2993 3 0 0 25 0 1 0 227763010 12701696 474 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 272577314100 0 0 4224 0 0 0 0 17 1 0 0
/proc/25185/statm: 3101 474 342 3 0 200 0
[pid=25186] ppid=25184 vsize=79792 CPUtime=16.54
/proc/25186/stat : 25186 (smodels) S 25184 25182 25136 0 -1 4194304 19612 0 0 0 1645 9 0 0 16 0 1 0 227763010 81707008 19576 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563651996 0 0 17 1 0 0
/proc/25186/statm: 19948 19576 202 20 0 19384 0
[pid=25187] ppid=25184 vsize=12272 CPUtime=0
/proc/25187/stat : 25187 (pbout.pl) S 25184 25182 25136 0 -1 4194304 419 0 0 0 0 0 0 0 21 0 1 0 227763010 12566528 379 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 272567939218 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/25187/statm: 3068 379 291 3 0 167 0
Current children cumulated CPU time (s) 46.5
Current children cumulated vsize (Kb) 115200

[startup+40.025 s]
/proc/loadavg: 1.16 1.01 0.71 2/73 25187
/proc/meminfo: memFree=1333616/2055892 swapFree=4085344/4096564
[pid=25182] ppid=25180 vsize=5368 CPUtime=0
/proc/25182/stat : 25182 (runpbsmodels) S 25180 25182 25136 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227763009 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/25182/statm: 1342 233 194 169 0 52 0
[pid=25183] ppid=25182 vsize=12272 CPUtime=0
/proc/25183/stat : 25183 (pbsmodels-v1.28) S 25182 25182 25136 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227763009 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 272567943108 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/25183/statm: 3068 383 293 3 0 167 0
[pid=25184] ppid=25183 vsize=5364 CPUtime=0
/proc/25184/stat : 25184 (sh) S 25183 25182 25136 0 -1 4194304 310 0 0 0 0 0 0 0 18 0 1 0 227763010 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/25184/statm: 1341 225 186 169 0 51 0
[pid=25185] ppid=25184 vsize=12404 CPUtime=39.97
/proc/25185/stat : 25185 (pbsmodels.trans) R 25184 25182 25136 0 -1 4194304 515 0 0 0 3992 5 0 0 25 0 1 0 227763010 12701696 474 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 272558919707 0 0 4224 0 0 0 0 17 1 0 0
/proc/25185/statm: 3101 474 342 3 0 200 0
[pid=25186] ppid=25184 vsize=105532 CPUtime=22.22
/proc/25186/stat : 25186 (smodels) S 25184 25182 25136 0 -1 4194304 26065 0 0 0 2209 13 0 0 16 0 1 0 227763010 108064768 26029 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563651996 0 0 17 1 0 0
/proc/25186/statm: 26383 26029 202 20 0 25819 0
[pid=25187] ppid=25184 vsize=12272 CPUtime=0
/proc/25187/stat : 25187 (pbout.pl) S 25184 25182 25136 0 -1 4194304 419 0 0 0 0 0 0 0 21 0 1 0 227763010 12566528 379 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 272567939218 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/25187/statm: 3068 379 291 3 0 167 0
Current children cumulated CPU time (s) 62.19
Current children cumulated vsize (Kb) 140940

[startup+50.0321 s]
/proc/loadavg: 1.29 1.04 0.72 2/73 25187
/proc/meminfo: memFree=1307952/2055892 swapFree=4085344/4096564
[pid=25182] ppid=25180 vsize=5368 CPUtime=0
/proc/25182/stat : 25182 (runpbsmodels) S 25180 25182 25136 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227763009 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/25182/statm: 1342 233 194 169 0 52 0
[pid=25183] ppid=25182 vsize=12272 CPUtime=0
/proc/25183/stat : 25183 (pbsmodels-v1.28) S 25182 25182 25136 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227763009 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 272567943108 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/25183/statm: 3068 383 293 3 0 167 0
[pid=25184] ppid=25183 vsize=5364 CPUtime=0
/proc/25184/stat : 25184 (sh) S 25183 25182 25136 0 -1 4194304 310 0 0 0 0 0 0 0 18 0 1 0 227763010 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/25184/statm: 1341 225 186 169 0 51 0
[pid=25185] ppid=25184 vsize=12404 CPUtime=49.96
/proc/25185/stat : 25185 (pbsmodels.trans) R 25184 25182 25136 0 -1 4194304 515 0 0 0 4990 6 0 0 25 0 1 0 227763010 12701696 474 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 272567939074 0 0 4224 0 0 0 0 17 1 0 0
/proc/25185/statm: 3101 474 342 3 0 200 0
[pid=25186] ppid=25184 vsize=131272 CPUtime=27.87
/proc/25186/stat : 25186 (smodels) R 25184 25182 25136 0 -1 4194304 32491 0 0 0 2769 18 0 0 16 0 1 0 227763010 134422528 32455 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 4160311893 0 0 4096 0 0 0 0 17 1 0 0
/proc/25186/statm: 32818 32456 202 20 0 32254 0
[pid=25187] ppid=25184 vsize=12272 CPUtime=0
/proc/25187/stat : 25187 (pbout.pl) S 25184 25182 25136 0 -1 4194304 419 0 0 0 0 0 0 0 21 0 1 0 227763010 12566528 379 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 272567939218 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/25187/statm: 3068 379 291 3 0 167 0
Current children cumulated CPU time (s) 77.83
Current children cumulated vsize (Kb) 166680

[startup+60.0382 s]
/proc/loadavg: 1.32 1.06 0.73 3/73 25187
/proc/meminfo: memFree=1282032/2055892 swapFree=4085344/4096564
[pid=25182] ppid=25180 vsize=5368 CPUtime=0
/proc/25182/stat : 25182 (runpbsmodels) S 25180 25182 25136 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227763009 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/25182/statm: 1342 233 194 169 0 52 0
[pid=25183] ppid=25182 vsize=12272 CPUtime=0
/proc/25183/stat : 25183 (pbsmodels-v1.28) S 25182 25182 25136 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227763009 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 272567943108 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/25183/statm: 3068 383 293 3 0 167 0
[pid=25184] ppid=25183 vsize=5364 CPUtime=0
/proc/25184/stat : 25184 (sh) S 25183 25182 25136 0 -1 4194304 310 0 0 0 0 0 0 0 18 0 1 0 227763010 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/25184/statm: 1341 225 186 169 0 51 0
[pid=25185] ppid=25184 vsize=12404 CPUtime=59.95
/proc/25185/stat : 25185 (pbsmodels.trans) R 25184 25182 25136 0 -1 4194304 515 0 0 0 5988 7 0 0 25 0 1 0 227763010 12701696 474 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 272577098815 0 0 4224 0 0 0 0 17 1 0 0
/proc/25185/statm: 3101 474 342 3 0 200 0
[pid=25186] ppid=25184 vsize=157144 CPUtime=33.57
/proc/25186/stat : 25186 (smodels) S 25184 25182 25136 0 -1 4194304 38953 0 0 0 3336 21 0 0 16 0 1 0 227763010 160915456 38917 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563651996 0 0 17 1 0 0
/proc/25186/statm: 39286 38917 202 20 0 38722 0
[pid=25187] ppid=25184 vsize=12272 CPUtime=0
/proc/25187/stat : 25187 (pbout.pl) S 25184 25182 25136 0 -1 4194304 419 0 0 0 0 0 0 0 21 0 1 0 227763010 12566528 379 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 272567939218 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/25187/statm: 3068 379 291 3 0 167 0
Current children cumulated CPU time (s) 93.52
Current children cumulated vsize (Kb) 192552

[startup+70.0467 s]
/proc/loadavg: 1.34 1.07 0.74 2/72 25187
/proc/meminfo: memFree=1238200/2055892 swapFree=4085344/4096564
[pid=25182] ppid=25180 vsize=5368 CPUtime=0
/proc/25182/stat : 25182 (runpbsmodels) S 25180 25182 25136 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227763009 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/25182/statm: 1342 233 194 169 0 52 0
[pid=25183] ppid=25182 vsize=12272 CPUtime=0
/proc/25183/stat : 25183 (pbsmodels-v1.28) S 25182 25182 25136 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227763009 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 272567943108 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/25183/statm: 3068 383 293 3 0 167 0
[pid=25184] ppid=25183 vsize=5364 CPUtime=64.73
/proc/25184/stat : 25184 (sh) S 25183 25182 25136 0 -1 4194304 310 599 0 0 0 0 6465 8 16 0 1 0 227763010 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/25184/statm: 1341 225 186 169 0 51 0
[pid=25186] ppid=25184 vsize=201572 CPUtime=41.94
/proc/25186/stat : 25186 (smodels) R 25184 25182 25136 0 -1 4194304 50060 0 0 0 4167 27 0 0 25 0 1 0 227763010 206409728 50024 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531543 0 0 4096 0 0 0 0 17 1 0 0
/proc/25186/statm: 50393 50024 206 20 0 49829 0
[pid=25187] ppid=25184 vsize=12272 CPUtime=0
/proc/25187/stat : 25187 (pbout.pl) S 25184 25182 25136 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227763010 12566528 390 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 272567939218 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/25187/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 106.67
Current children cumulated vsize (Kb) 236848

[startup+80.0534 s]
/proc/loadavg: 1.29 1.07 0.74 2/72 25187
/proc/meminfo: memFree=1238136/2055892 swapFree=4085344/4096564
[pid=25182] ppid=25180 vsize=5368 CPUtime=0
/proc/25182/stat : 25182 (runpbsmodels) S 25180 25182 25136 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227763009 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/25182/statm: 1342 233 194 169 0 52 0
[pid=25183] ppid=25182 vsize=12272 CPUtime=0
/proc/25183/stat : 25183 (pbsmodels-v1.28) S 25182 25182 25136 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227763009 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 272567943108 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/25183/statm: 3068 383 293 3 0 167 0
[pid=25184] ppid=25183 vsize=5364 CPUtime=64.73
/proc/25184/stat : 25184 (sh) S 25183 25182 25136 0 -1 4194304 310 599 0 0 0 0 6465 8 16 0 1 0 227763010 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/25184/statm: 1341 225 186 169 0 51 0
[pid=25186] ppid=25184 vsize=201572 CPUtime=51.94
/proc/25186/stat : 25186 (smodels) R 25184 25182 25136 0 -1 4194304 50060 0 0 0 5167 27 0 0 25 0 1 0 227763010 206409728 50024 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548934 0 0 4096 0 0 0 0 17 1 0 0
/proc/25186/statm: 50393 50024 206 20 0 49829 0
[pid=25187] ppid=25184 vsize=12272 CPUtime=0
/proc/25187/stat : 25187 (pbout.pl) S 25184 25182 25136 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227763010 12566528 390 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 272567939218 0 0 4224 0 18446744071563651996 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 756.9
Current children cumulated vsize (Kb) 236848

[startup+730.472 s]
/proc/loadavg: 1.00 1.00 0.84 2/72 25187
/proc/meminfo: memFree=1238072/2055892 swapFree=4085344/4096564
[pid=25182] ppid=25180 vsize=5368 CPUtime=0
/proc/25182/stat : 25182 (runpbsmodels) S 25180 25182 25136 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227763009 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/25182/statm: 1342 233 194 169 0 52 0
[pid=25183] ppid=25182 vsize=12272 CPUtime=0
/proc/25183/stat : 25183 (pbsmodels-v1.28) S 25182 25182 25136 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227763009 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 272567943108 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/25183/statm: 3068 383 293 3 0 167 0
[pid=25184] ppid=25183 vsize=5364 CPUtime=64.73
/proc/25184/stat : 25184 (sh) S 25183 25182 25136 0 -1 4194304 310 599 0 0 0 0 6465 8 16 0 1 0 227763010 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/25184/statm: 1341 225 186 169 0 51 0
[pid=25186] ppid=25184 vsize=201572 CPUtime=702.17
/proc/25186/stat : 25186 (smodels) R 25184 25182 25136 0 -1 4194304 50062 0 0 0 70190 27 0 0 25 0 1 0 227763010 206409728 50026 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548919 0 0 4096 0 0 0 0 17 1 0 0
/proc/25186/statm: 50393 50026 206 20 0 49829 0
[pid=25187] ppid=25184 vsize=12272 CPUtime=0
/proc/25187/stat : 25187 (pbout.pl) S 25184 25182 25136 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227763010 12566528 390 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 272567939218 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/25187/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 766.9
Current children cumulated vsize (Kb) 236848

[startup+740.479 s]
/proc/loadavg: 1.00 1.00 0.84 2/72 25187
/proc/meminfo: memFree=1238072/2055892 swapFree=4085344/4096564
[pid=25182] ppid=25180 vsize=5368 CPUtime=0
/proc/25182/stat : 25182 (runpbsmodels) S 25180 25182 25136 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227763009 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/25182/statm: 1342 233 194 169 0 52 0
[pid=25183] ppid=25182 vsize=12272 CPUtime=0
/proc/25183/stat : 25183 (pbsmodels-v1.28) S 25182 25182 25136 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227763009 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 272567943108 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/25183/statm: 3068 383 293 3 0 167 0
[pid=25184] ppid=25183 vsize=5364 CPUtime=64.73
/proc/25184/stat : 25184 (sh) S 25183 25182 25136 0 -1 4194304 310 599 0 0 0 0 6465 8 16 0 1 0 227763010 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/25184/statm: 1341 225 186 169 0 51 0
[pid=25186] ppid=25184 vsize=201572 CPUtime=712.18
/proc/25186/stat : 25186 (smodels) R 25184 25182 25136 0 -1 4194304 50062 0 0 0 71191 27 0 0 25 0 1 0 227763010 206409728 50026 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531159 0 0 4096 0 0 0 0 17 1 0 0
/proc/25186/statm: 50393 50026 206 20 0 49829 0
[pid=25187] ppid=25184 vsize=12272 CPUtime=0
/proc/25187/stat : 25187 (pbout.pl) S 25184 25182 25136 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227763010 12566528 390 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 272567939218 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/25187/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 776.91
Current children cumulated vsize (Kb) 236848

[startup+750.485 s]
/proc/loadavg: 1.00 1.00 0.84 2/72 25187
/proc/meminfo: memFree=1238008/2055892 swapFree=4085344/4096564
[pid=25182] ppid=25180 vsize=5368 CPUtime=0
/proc/25182/stat : 25182 (runpbsmodels) S 25180 25182 25136 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227763009 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/25182/statm: 1342 233 194 169 0 52 0
[pid=25183] ppid=25182 vsize=12272 CPUtime=0
/proc/25183/stat : 25183 (pbsmodels-v1.28) S 25182 25182 25136 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227763009 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 272567943108 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/25183/statm: 3068 383 293 3 0 167 0
[pid=25184] ppid=25183 vsize=5364 CPUtime=64.73
/proc/25184/stat : 25184 (sh) S 25183 25182 25136 0 -1 4194304 310 599 0 0 0 0 6465 8 16 0 1 0 227763010 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/25184/statm: 1341 225 186 169 0 51 0
[pid=25186] ppid=25184 vsize=201572 CPUtime=722.18
/proc/25186/stat : 25186 (smodels) R 25184 25182 25136 0 -1 4194304 50062 0 0 0 72191 27 0 0 25 0 1 0 227763010 206409728 50026 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531543 0 0 4096 0 0 0 0 17 1 0 0
/proc/25186/statm: 50393 50026 206 20 0 49829 0
[pid=25187] ppid=25184 vsize=12272 CPUtime=0
/proc/25187/stat : 25187 (pbout.pl) S 25184 25182 25136 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227763010 12566528 390 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 272567939218 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/25187/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 786.91
Current children cumulated vsize (Kb) 236848

[startup+760.491 s]
/proc/loadavg: 1.00 1.00 0.85 2/72 25187
/proc/meminfo: memFree=1238008/2055892 swapFree=4085344/4096564
[pid=25182] ppid=25180 vsize=5368 CPUtime=0
/proc/25182/stat : 25182 (runpbsmodels) S 25180 25182 25136 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227763009 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/25182/statm: 1342 233 194 169 0 52 0
[pid=25183] ppid=25182 vsize=12272 CPUtime=0
/proc/25183/stat : 25183 (pbsmodels-v1.28) S 25182 25182 25136 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227763009 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 272567943108 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/25183/statm: 3068 383 293 3 0 167 0
[pid=25184] ppid=25183 vsize=5364 CPUtime=64.73
/proc/25184/stat : 25184 (sh) S 25183 25182 25136 0 -1 4194304 310 599 0 0 0 0 6465 8 16 0 1 0 227763010 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/25184/statm: 1341 225 186 169 0 51 0
[pid=25186] ppid=25184 vsize=201572 CPUtime=732.18
/proc/25186/stat : 25186 (smodels) R 25184 25182 25136 0 -1 4194304 50062 0 0 0 73191 27 0 0 25 0 1 0 227763010 206409728 50026 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548969 0 0 4096 0 0 0 0 17 1 0 0
/proc/25186/statm: 50393 50026 206 20 0 49829 0
[pid=25187] ppid=25184 vsize=12272 CPUtime=0
/proc/25187/stat : 25187 (pbout.pl) S 25184 25182 25136 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227763010 12566528 390 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 272567939218 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/25187/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 796.91
Current children cumulated vsize (Kb) 236848

[startup+770.497 s]
/proc/loadavg: 1.00 1.00 0.85 2/72 25187
/proc/meminfo: memFree=1238008/2055892 swapFree=4085344/4096564
[pid=25182] ppid=25180 vsize=5368 CPUtime=0
/proc/25182/stat : 25182 (runpbsmodels) S 25180 25182 25136 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227763009 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/25182/statm: 1342 233 194 169 0 52 0
[pid=25183] ppid=25182 vsize=12272 CPUtime=0
/proc/25183/stat : 25183 (pbsmodels-v1.28) S 25182 25182 25136 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227763009 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 272567943108 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/25183/statm: 3068 383 293 3 0 167 0
[pid=25184] ppid=25183 vsize=5364 CPUtime=64.73
/proc/25184/stat : 25184 (sh) S 25183 25182 25136 0 -1 4194304 310 599 0 0 0 0 6465 8 16 0 1 0 227763010 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/25184/statm: 1341 225 186 169 0 51 0
[pid=25186] ppid=25184 vsize=201572 CPUtime=742.19
/proc/25186/stat : 25186 (smodels) R 25184 25182 25136 0 -1 4194304 50062 0 0 0 74192 27 0 0 25 0 1 0 227763010 206409728 50026 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531154 0 0 4096 0 0 0 0 17 1 0 0
/proc/25186/statm: 50393 50026 206 20 0 49829 0
[pid=25187] ppid=25184 vsize=12272 CPUtime=0
/proc/25187/stat : 25187 (pbout.pl) S 25184 25182 25136 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227763010 12566528 390 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 272567939218 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/25187/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 806.92
Current children cumulated vsize (Kb) 236848

[startup+780.505 s]
/proc/loadavg: 1.00 1.00 0.85 2/72 25187
/proc/meminfo: memFree=1238008/2055892 swapFree=4085344/4096564
[pid=25182] ppid=25180 vsize=5368 CPUtime=0
/proc/25182/stat : 25182 (runpbsmodels) S 25180 25182 25136 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227763009 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/25182/statm: 1342 233 194 169 0 52 0
[pid=25183] ppid=25182 vsize=12272 CPUtime=0
/proc/25183/stat : 25183 (pbsmodels-v1.28) S 25182 25182 25136 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227763009 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 272567943108 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/25183/statm: 3068 383 293 3 0 167 0
[pid=25184] ppid=25183 vsize=5364 CPUtime=64.73
/proc/25184/stat : 25184 (sh) S 25183 25182 25136 0 -1 4194304 310 599 0 0 0 0 6465 8 16 0 1 0 227763010 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/25184/statm: 1341 225 186 169 0 51 0
[pid=25186] ppid=25184 vsize=201572 CPUtime=752.19
/proc/25186/stat : 25186 (smodels) R 25184 25182 25136 0 -1 4194304 50062 0 0 0 75192 27 0 0 25 0 1 0 227763010 206409728 50026 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548919 0 0 4096 0 0 0 0 17 1 0 0
/proc/25186/statm: 50393 50026 206 20 0 49829 0
[pid=25187] ppid=25184 vsize=12272 CPUtime=0
/proc/25187/stat : 25187 (pbout.pl) S 25184 25182 25136 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227763010 12566528 390 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 272567939218 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/25187/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 816.92
Current children cumulated vsize (Kb) 236848

[startup+790.512 s]
/proc/loadavg: 1.00 1.00 0.85 2/72 25187
/proc/meminfo: memFree=1238072/2055892 swapFree=4085344/4096564
[pid=25182] ppid=25180 vsize=5368 CPUtime=0
/proc/25182/stat : 25182 (runpbsmodels) S 25180 25182 25136 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227763009 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/25182/statm: 1342 233 194 169 0 52 0
[pid=25183] ppid=25182 vsize=12272 CPUtime=0
/proc/25183/stat : 25183 (pbsmodels-v1.28) S 25182 25182 25136 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227763009 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 272567943108 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/25183/statm: 3068 383 293 3 0 167 0
[pid=25184] ppid=25183 vsize=5364 CPUtime=64.73
/proc/25184/stat : 25184 (sh) S 25183 25182 25136 0 -1 4194304 310 599 0 0 0 0 6465 8 16 0 1 0 227763010 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/25184/statm: 1341 225 186 169 0 51 0
[pid=25186] ppid=25184 vsize=201572 CPUtime=762.2
/proc/25186/stat : 25186 (smodels) R 25184 25182 25136 0 -1 4194304 50062 0 0 0 76193 27 0 0 25 0 1 0 227763010 206409728 50026 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531543 0 0 4096 0 0 0 0 17 1 0 0
/proc/25186/statm: 50393 50026 206 20 0 49829 0
[pid=25187] ppid=25184 vsize=12272 CPUtime=0
/proc/25187/stat : 25187 (pbout.pl) S 25184 25182 25136 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227763010 12566528 390 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 272567939218 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/25187/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 826.93
Current children cumulated vsize (Kb) 236848

[startup+800.519 s]
/proc/loadavg: 1.00 1.00 0.85 2/72 25187
/proc/meminfo: memFree=1238072/2055892 swapFree=4085344/4096564
[pid=25182] ppid=25180 vsize=5368 CPUtime=0
/proc/25182/stat : 25182 (runpbsmodels) S 25180 25182 25136 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227763009 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/25182/statm: 1342 233 194 169 0 52 0
[pid=25183] ppid=25182 vsize=12272 CPUtime=0
/proc/25183/stat : 25183 (pbsmodels-v1.28) S 25182 25182 25136 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227763009 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 272567943108 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/25183/statm: 3068 383 293 3 0 167 0
[pid=25184] ppid=25183 vsize=5364 CPUtime=64.73
/proc/25184/stat : 25184 (sh) S 25183 25182 25136 0 -1 4194304 310 599 0 0 0 0 6465 8 16 0 1 0 227763010 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/25184/statm: 1341 225 186 169 0 51 0
[pid=25186] ppid=25184 vsize=201572 CPUtime=772.2
/proc/25186/stat : 25186 (smodels) R 25184 25182 25136 0 -1 4194304 50062 0 0 0 77193 27 0 0 25 0 1 0 227763010 206409728 50026 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531159 0 0 4096 0 0 0 0 17 1 0 0
/proc/25186/statm: 50393 50026 206 20 0 49829 0
[pid=25187] ppid=25184 vsize=12272 CPUtime=0
/proc/25187/stat : 25187 (pbout.pl) S 25184 25182 25136 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227763010 12566528 390 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 272567939218 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/25187/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 836.93
Current children cumulated vsize (Kb) 236848

[startup+810.525 s]
/proc/loadavg: 1.00 1.00 0.85 2/72 25187
/proc/meminfo: memFree=1238008/2055892 swapFree=4085344/4096564
[pid=25182] ppid=25180 vsize=5368 CPUtime=0
/proc/25182/stat : 25182 (runpbsmodels) S 25180 25182 25136 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 227763009 5496832 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/25182/statm: 1342 233 194 169 0 52 0
[pid=25183] ppid=25182 vsize=12272 CPUtime=0
/proc/25183/stat : 25183 (pbsmodels-v1.28) S 25182 25182 25136 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 227763009 12566528 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 272567943108 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/25183/statm: 3068 383 293 3 0 167 0
[pid=25184] ppid=25183 vsize=5364 CPUtime=64.73
/proc/25184/stat : 25184 (sh) S 25183 25182 25136 0 -1 4194304 310 599 0 0 0 0 6465 8 16 0 1 0 227763010 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 272559041092 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/25184/statm: 1341 225 186 169 0 51 0
[pid=25186] ppid=25184 vsize=201572 CPUtime=782.2
/proc/25186/stat : 25186 (smodels) R 25184 25182 25136 0 -1 4194304 50062 0 0 0 78193 27 0 0 25 0 1 0 227763010 206409728 50026 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531159 0 0 4096 0 0 0 0 17 1 0 0
/proc/25186/statm: 50393 50026 206 20 0 49829 0
[pid=25187] ppid=25184 vsize=12272 CPUtime=0
/proc/25187/stat : 25187 (pbout.pl) S 25184 25182 25136 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227763010 12566528 390 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 272567939218 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/25187/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 846.93
Current children cumulated vsize (Kb) 236848

Child status: 0
Real time (s): 811.692
CPU time (s): 848.122
CPU user time (s): 847.72
CPU system time (s): 0.401938
CPU usage (%): 104.488
Max. virtual memory (cumulated for all children) (Kb): 236848
The end

Launcher Data (download as text)

Begin job on node81 on Tue Jun  6 19:13:55 UTC 2006


FILE ID= 33648-1149621234

PBS_JOBID= 322467

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

MD5SUM SOLVER= f639f6b7f53e3afd14340f75c0e271ee 82c14a26114306e436bf36ef1d1c85a0 c893ceb51a2aaa4ab2f96d97b043cdf0 8c810dcfce02286b111d075d14837741 79b233270d136fcdcf9d8f80d20efef0
MD5SUM BENCH=  051b48fdf5558d73afe4ee3d3cae609a

RANDOM SEED= 639104180


/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.248
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.19
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.248
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:      2055892 kB
MemFree:       1438952 kB
Buffers:         37536 kB
Cached:         505516 kB
SwapCached:       2716 kB
Active:          64736 kB
Inactive:       487344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1438952 kB
SwapTotal:     4096564 kB
SwapFree:      4085344 kB
Dirty:             156 kB
Writeback:           0 kB
Mapped:          16588 kB
Slab:            51456 kB
Committed_AS:   367760 kB
PageTables:       1288 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node81 on Tue Jun  6 19:27:27 UTC 2006