Trace number 45072

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 195.903 164.727

General information on the benchmark

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

Solver Data (download as text)

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.81 0.90 0.90 2/64 17833
/proc/meminfo: memFree=1520792/2055920 swapFree=4181476/4192956
[pid=17833] ppid=17831 vsize=5360 CPUtime=0
/proc/17833/stat : 17833 (runpbsmodels) S 17831 17833 17787 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846650 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17833/statm: 1340 234 195 169 0 51 0
[pid=17834] ppid=17833 vsize=5360 CPUtime=0
/proc/17834/stat : 17834 (runpbsmodels) D 17833 17833 17787 0 -1 4194368 18 0 0 0 0 0 0 0 18 0 1 0 229846651 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215781797159 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/17834/statm: 1340 234 195 169 0 51 0

[startup+10.0017 s]
/proc/loadavg: 1.00 0.93 0.91 2/69 17838
/proc/meminfo: memFree=1503160/2055920 swapFree=4181476/4192956
[pid=17833] ppid=17831 vsize=5360 CPUtime=0
/proc/17833/stat : 17833 (runpbsmodels) S 17831 17833 17787 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846650 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17833/statm: 1340 234 195 169 0 51 0
[pid=17834] ppid=17833 vsize=12268 CPUtime=0
/proc/17834/stat : 17834 (pbsmodels-v1.31) S 17833 17833 17787 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846651 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17834/statm: 3067 383 293 3 0 167 0
[pid=17835] ppid=17834 vsize=5356 CPUtime=0
/proc/17835/stat : 17835 (sh) S 17834 17833 17787 0 -1 4194304 309 0 0 0 0 0 0 0 18 0 1 0 229846653 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17835/statm: 1339 227 188 169 0 50 0
[pid=17836] ppid=17835 vsize=12400 CPUtime=9.95
/proc/17836/stat : 17836 (pb2smodels) R 17835 17833 17787 0 -1 4194304 516 0 0 0 994 1 0 0 25 0 1 0 229846653 12697600 474 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 215781670029 0 0 4224 0 0 0 0 17 1 0 0
/proc/17836/statm: 3100 474 340 3 0 200 0
[pid=17837] ppid=17835 vsize=18148 CPUtime=4.88
/proc/17837/stat : 17837 (smodels-2.31) S 17835 17833 17787 0 -1 4194304 4191 0 0 0 486 2 0 0 16 0 1 0 229846653 18583552 4155 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/17837/statm: 4537 4155 203 21 0 3973 0
[pid=17838] ppid=17835 vsize=12268 CPUtime=0
/proc/17838/stat : 17838 (pbout.new.pl) S 17835 17833 17787 0 -1 4194304 417 0 0 0 0 0 0 0 21 0 1 0 229846653 12562432 377 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/17838/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 14.83
Current children cumulated vsize (Kb) 53532

[startup+20.0086 s]
/proc/loadavg: 1.00 0.93 0.91 3/69 17838
/proc/meminfo: memFree=1487800/2055920 swapFree=4181476/4192956
[pid=17833] ppid=17831 vsize=5360 CPUtime=0
/proc/17833/stat : 17833 (runpbsmodels) S 17831 17833 17787 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846650 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17833/statm: 1340 234 195 169 0 51 0
[pid=17834] ppid=17833 vsize=12268 CPUtime=0
/proc/17834/stat : 17834 (pbsmodels-v1.31) S 17833 17833 17787 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846651 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17834/statm: 3067 383 293 3 0 167 0
[pid=17835] ppid=17834 vsize=5356 CPUtime=0
/proc/17835/stat : 17835 (sh) S 17834 17833 17787 0 -1 4194304 309 0 0 0 0 0 0 0 18 0 1 0 229846653 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17835/statm: 1339 227 188 169 0 50 0
[pid=17836] ppid=17835 vsize=12400 CPUtime=19.95
/proc/17836/stat : 17836 (pb2smodels) R 17835 17833 17787 0 -1 4194304 516 0 0 0 1994 1 0 0 25 0 1 0 229846653 12697600 474 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 215800022100 0 0 4224 0 0 0 0 17 1 0 0
/proc/17836/statm: 3100 474 340 3 0 200 0
[pid=17837] ppid=17835 vsize=33592 CPUtime=9.73
/proc/17837/stat : 17837 (smodels-2.31) S 17835 17833 17787 0 -1 4194304 8063 0 0 0 968 5 0 0 16 0 1 0 229846653 34398208 8027 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/17837/statm: 8398 8027 203 21 0 7834 0
[pid=17838] ppid=17835 vsize=12268 CPUtime=0
/proc/17838/stat : 17838 (pbout.new.pl) S 17835 17833 17787 0 -1 4194304 417 0 0 0 0 0 0 0 21 0 1 0 229846653 12562432 377 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/17838/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 29.68
Current children cumulated vsize (Kb) 68976

[startup+30.0155 s]
/proc/loadavg: 1.00 0.93 0.91 3/69 17838
/proc/meminfo: memFree=1472312/2055920 swapFree=4181476/4192956
[pid=17833] ppid=17831 vsize=5360 CPUtime=0
/proc/17833/stat : 17833 (runpbsmodels) S 17831 17833 17787 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846650 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17833/statm: 1340 234 195 169 0 51 0
[pid=17834] ppid=17833 vsize=12268 CPUtime=0
/proc/17834/stat : 17834 (pbsmodels-v1.31) S 17833 17833 17787 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846651 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17834/statm: 3067 383 293 3 0 167 0
[pid=17835] ppid=17834 vsize=5356 CPUtime=0
/proc/17835/stat : 17835 (sh) S 17834 17833 17787 0 -1 4194304 309 0 0 0 0 0 0 0 18 0 1 0 229846653 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17835/statm: 1339 227 188 169 0 50 0
[pid=17836] ppid=17835 vsize=12400 CPUtime=29.95
/proc/17836/stat : 17836 (pb2smodels) R 17835 17833 17787 0 -1 4194304 516 0 0 0 2993 2 0 0 25 0 1 0 229846653 12697600 474 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 215800055388 0 0 4224 0 0 0 0 17 1 0 0
/proc/17836/statm: 3100 474 340 3 0 200 0
[pid=17837] ppid=17835 vsize=49168 CPUtime=14.76
/proc/17837/stat : 17837 (smodels-2.31) S 17835 17833 17787 0 -1 4194304 11964 0 0 0 1468 8 0 0 16 0 1 0 229846653 50348032 11928 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/17837/statm: 12292 11928 203 21 0 11728 0
[pid=17838] ppid=17835 vsize=12268 CPUtime=0
/proc/17838/stat : 17838 (pbout.new.pl) S 17835 17833 17787 0 -1 4194304 417 0 0 0 0 0 0 0 21 0 1 0 229846653 12562432 377 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/17838/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 44.71
Current children cumulated vsize (Kb) 84552

[startup+40.0224 s]
/proc/loadavg: 1.00 0.94 0.91 2/69 17838
/proc/meminfo: memFree=1456824/2055920 swapFree=4181476/4192956
[pid=17833] ppid=17831 vsize=5360 CPUtime=0
/proc/17833/stat : 17833 (runpbsmodels) S 17831 17833 17787 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846650 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17833/statm: 1340 234 195 169 0 51 0
[pid=17834] ppid=17833 vsize=12268 CPUtime=0
/proc/17834/stat : 17834 (pbsmodels-v1.31) S 17833 17833 17787 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846651 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17834/statm: 3067 383 293 3 0 167 0
[pid=17835] ppid=17834 vsize=5356 CPUtime=0
/proc/17835/stat : 17835 (sh) S 17834 17833 17787 0 -1 4194304 309 0 0 0 0 0 0 0 18 0 1 0 229846653 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17835/statm: 1339 227 188 169 0 50 0
[pid=17836] ppid=17835 vsize=12400 CPUtime=39.94
/proc/17836/stat : 17836 (pb2smodels) R 17835 17833 17787 0 -1 4194304 516 0 0 0 3991 3 0 0 25 0 1 0 229846653 12697600 474 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 215799714802 0 0 4224 0 0 0 0 17 1 0 0
/proc/17836/statm: 3100 474 340 3 0 200 0
[pid=17837] ppid=17835 vsize=64612 CPUtime=19.74
/proc/17837/stat : 17837 (smodels-2.31) S 17835 17833 17787 0 -1 4194304 15813 0 0 0 1964 10 0 0 16 0 1 0 229846653 66162688 15777 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/17837/statm: 16153 15777 203 21 0 15589 0
[pid=17838] ppid=17835 vsize=12268 CPUtime=0
/proc/17838/stat : 17838 (pbout.new.pl) S 17835 17833 17787 0 -1 4194304 417 0 0 0 0 0 0 0 21 0 1 0 229846653 12562432 377 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/17838/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 59.68
Current children cumulated vsize (Kb) 99996

[startup+50.0283 s]
/proc/loadavg: 1.00 0.94 0.91 3/69 17838
/proc/meminfo: memFree=1441336/2055920 swapFree=4181476/4192956
[pid=17833] ppid=17831 vsize=5360 CPUtime=0
/proc/17833/stat : 17833 (runpbsmodels) S 17831 17833 17787 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846650 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17833/statm: 1340 234 195 169 0 51 0
[pid=17834] ppid=17833 vsize=12268 CPUtime=0
/proc/17834/stat : 17834 (pbsmodels-v1.31) S 17833 17833 17787 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846651 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17834/statm: 3067 383 293 3 0 167 0
[pid=17835] ppid=17834 vsize=5356 CPUtime=0
/proc/17835/stat : 17835 (sh) S 17834 17833 17787 0 -1 4194304 309 0 0 0 0 0 0 0 18 0 1 0 229846653 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17835/statm: 1339 227 188 169 0 50 0
[pid=17836] ppid=17835 vsize=12400 CPUtime=49.92
/proc/17836/stat : 17836 (pb2smodels) R 17835 17833 17787 0 -1 4194304 516 0 0 0 4988 4 0 0 25 0 1 0 229846653 12697600 474 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 215799712423 0 0 4224 0 0 0 0 17 0 0 0
/proc/17836/statm: 3100 474 340 3 0 200 0
[pid=17837] ppid=17835 vsize=80056 CPUtime=24.88
/proc/17837/stat : 17837 (smodels-2.31) R 17835 17833 17787 0 -1 4194304 19699 0 0 0 2475 13 0 0 16 0 1 0 229846653 81977344 19663 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4160244210 0 0 4096 0 0 0 0 17 1 0 0
/proc/17837/statm: 20014 19663 203 21 0 19450 0
[pid=17838] ppid=17835 vsize=12268 CPUtime=0
/proc/17838/stat : 17838 (pbout.new.pl) S 17835 17833 17787 0 -1 4194304 417 0 0 0 0 0 0 0 21 0 1 0 229846653 12562432 377 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/17838/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 74.8
Current children cumulated vsize (Kb) 115440

[startup+60.0343 s]
/proc/loadavg: 1.15 0.97 0.92 3/69 17838
/proc/meminfo: memFree=1425848/2055920 swapFree=4181476/4192956
[pid=17833] ppid=17831 vsize=5360 CPUtime=0
/proc/17833/stat : 17833 (runpbsmodels) S 17831 17833 17787 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846650 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17833/statm: 1340 234 195 169 0 51 0
[pid=17834] ppid=17833 vsize=12268 CPUtime=0
/proc/17834/stat : 17834 (pbsmodels-v1.31) S 17833 17833 17787 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846651 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17834/statm: 3067 383 293 3 0 167 0
[pid=17835] ppid=17834 vsize=5356 CPUtime=0
/proc/17835/stat : 17835 (sh) S 17834 17833 17787 0 -1 4194304 309 0 0 0 0 0 0 0 18 0 1 0 229846653 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17835/statm: 1339 227 188 169 0 50 0
[pid=17836] ppid=17835 vsize=12536 CPUtime=59.92
/proc/17836/stat : 17836 (pb2smodels) R 17835 17833 17787 0 -1 4194304 520 0 0 0 5987 5 0 0 25 0 1 0 229846653 12836864 478 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 215800022846 0 0 4224 0 0 0 0 17 1 0 0
/proc/17836/statm: 3134 478 340 3 0 234 0
[pid=17837] ppid=17835 vsize=95500 CPUtime=29.99
/proc/17837/stat : 17837 (smodels-2.31) S 17835 17833 17787 0 -1 4194304 23560 0 0 0 2984 15 0 0 16 0 1 0 229846653 97792000 23524 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/17837/statm: 23875 23524 207 21 0 23311 0
[pid=17838] ppid=17835 vsize=12268 CPUtime=0
/proc/17838/stat : 17838 (pbout.new.pl) S 17835 17833 17787 0 -1 4194304 417 0 0 0 0 0 0 0 21 0 1 0 229846653 12562432 377 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/17838/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 89.91
Current children cumulated vsize (Kb) 131020

[startup+70.0412 s]
/proc/loadavg: 1.13 0.97 0.92 2/68 17838
/proc/meminfo: memFree=1389952/2055920 swapFree=4181476/4192956
[pid=17833] ppid=17831 vsize=5360 CPUtime=0
/proc/17833/stat : 17833 (runpbsmodels) S 17831 17833 17787 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846650 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17833/statm: 1340 234 195 169 0 51 0
[pid=17834] ppid=17833 vsize=12268 CPUtime=0
/proc/17834/stat : 17834 (pbsmodels-v1.31) S 17833 17833 17787 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846651 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17834/statm: 3067 383 293 3 0 167 0
[pid=17835] ppid=17834 vsize=5356 CPUtime=61.58
/proc/17835/stat : 17835 (sh) S 17834 17833 17787 0 -1 4194304 309 601 0 0 0 0 6152 6 16 0 1 0 229846653 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17835/statm: 1339 227 188 169 0 50 0
[pid=17837] ppid=17835 vsize=132072 CPUtime=39.64
/proc/17837/stat : 17837 (smodels-2.31) R 17835 17833 17787 0 -1 4194304 32684 0 0 0 3945 19 0 0 25 0 1 0 229846653 135241728 32648 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0
/proc/17837/statm: 33018 32648 211 21 0 32454 0
[pid=17838] ppid=17835 vsize=12268 CPUtime=0
/proc/17838/stat : 17838 (pbout.new.pl) S 17835 17833 17787 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229846653 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/17838/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 101.22
Current children cumulated vsize (Kb) 167324

[startup+80.0481 s]
/proc/loadavg: 1.11 0.97 0.92 3/68 17838
/proc/meminfo: memFree=1389888/2055920 swapFree=4181476/4192956
[pid=17833] ppid=17831 vsize=5360 CPUtime=0
/proc/17833/stat : 17833 (runpbsmodels) S 17831 17833 17787 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846650 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17833/statm: 1340 234 195 169 0 51 0
[pid=17834] ppid=17833 vsize=12268 CPUtime=0
/proc/17834/stat : 17834 (pbsmodels-v1.31) S 17833 17833 17787 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846651 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17834/statm: 3067 383 293 3 0 167 0
[pid=17835] ppid=17834 vsize=5356 CPUtime=61.58
/proc/17835/stat : 17835 (sh) S 17834 17833 17787 0 -1 4194304 309 601 0 0 0 0 6152 6 16 0 1 0 229846653 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17835/statm: 1339 227 188 169 0 50 0
[pid=17837] ppid=17835 vsize=132072 CPUtime=49.64
/proc/17837/stat : 17837 (smodels-2.31) R 17835 17833 17787 0 -1 4194304 32696 0 0 0 4945 19 0 0 25 0 1 0 229846653 135241728 32660 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533271 0 0 4096 0 0 0 0 17 1 0 0
/proc/17837/statm: 33018 32660 211 21 0 32454 0
[pid=17838] ppid=17835 vsize=12268 CPUtime=0
/proc/17838/stat : 17838 (pbout.new.pl) S 17835 17833 17787 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229846653 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/17838/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 111.22
Current children cumulated vsize (Kb) 167324

[startup+90.055 s]
/proc/loadavg: 1.09 0.97 0.92 2/68 17838
/proc/meminfo: memFree=1389824/2055920 swapFree=4181476/4192956
[pid=17833] ppid=17831 vsize=5360 CPUtime=0
/proc/17833/stat : 17833 (runpbsmodels) S 17831 17833 17787 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846650 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17833/statm: 1340 234 195 169 0 51 0
[pid=17834] ppid=17833 vsize=12268 CPUtime=0
/proc/17834/stat : 17834 (pbsmodels-v1.31) S 17833 17833 17787 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846651 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17834/statm: 3067 383 293 3 0 167 0
[pid=17835] ppid=17834 vsize=5356 CPUtime=61.58
/proc/17835/stat : 17835 (sh) S 17834 17833 17787 0 -1 4194304 309 601 0 0 0 0 6152 6 16 0 1 0 229846653 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17835/statm: 1339 227 188 169 0 50 0
[pid=17837] ppid=17835 vsize=132072 CPUtime=59.65
/proc/17837/stat : 17837 (smodels-2.31) R 17835 17833 17787 0 -1 4194304 32706 0 0 0 5946 19 0 0 25 0 1 0 229846653 135241728 32670 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0
/proc/17837/statm: 33018 32670 211 21 0 32454 0
[pid=17838] ppid=17835 vsize=12268 CPUtime=0
/proc/17838/stat : 17838 (pbout.new.pl) S 17835 17833 17787 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229846653 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/17838/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 121.23
Current children cumulated vsize (Kb) 167324

[startup+100.062 s]
/proc/loadavg: 1.08 0.97 0.92 2/68 17838
/proc/meminfo: memFree=1389824/2055920 swapFree=4181476/4192956
[pid=17833] ppid=17831 vsize=5360 CPUtime=0
/proc/17833/stat : 17833 (runpbsmodels) S 17831 17833 17787 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846650 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17833/statm: 1340 234 195 169 0 51 0
[pid=17834] ppid=17833 vsize=12268 CPUtime=0
/proc/17834/stat : 17834 (pbsmodels-v1.31) S 17833 17833 17787 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846651 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17834/statm: 3067 383 293 3 0 167 0
[pid=17835] ppid=17834 vsize=5356 CPUtime=61.58
/proc/17835/stat : 17835 (sh) S 17834 17833 17787 0 -1 4194304 309 601 0 0 0 0 6152 6 16 0 1 0 229846653 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17835/statm: 1339 227 188 169 0 50 0
[pid=17837] ppid=17835 vsize=132204 CPUtime=69.65
/proc/17837/stat : 17837 (smodels-2.31) R 17835 17833 17787 0 -1 4194304 32713 0 0 0 6946 19 0 0 25 0 1 0 229846653 135376896 32677 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532759 0 0 4096 0 0 0 0 17 1 0 0
/proc/17837/statm: 33051 32677 211 21 0 32487 0
[pid=17838] ppid=17835 vsize=12268 CPUtime=0
/proc/17838/stat : 17838 (pbout.new.pl) S 17835 17833 17787 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229846653 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/17838/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 131.23
Current children cumulated vsize (Kb) 167456

[startup+110.068 s]
/proc/loadavg: 1.06 0.97 0.92 2/68 17838
/proc/meminfo: memFree=1389824/2055920 swapFree=4181476/4192956
[pid=17833] ppid=17831 vsize=5360 CPUtime=0
/proc/17833/stat : 17833 (runpbsmodels) S 17831 17833 17787 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846650 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17833/statm: 1340 234 195 169 0 51 0
[pid=17834] ppid=17833 vsize=12268 CPUtime=0
/proc/17834/stat : 17834 (pbsmodels-v1.31) S 17833 17833 17787 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846651 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17834/statm: 3067 383 293 3 0 167 0
[pid=17835] ppid=17834 vsize=5356 CPUtime=61.58
/proc/17835/stat : 17835 (sh) S 17834 17833 17787 0 -1 4194304 309 601 0 0 0 0 6152 6 16 0 1 0 229846653 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17835/statm: 1339 227 188 169 0 50 0
[pid=17837] ppid=17835 vsize=132204 CPUtime=79.65
/proc/17837/stat : 17837 (smodels-2.31) R 17835 17833 17787 0 -1 4194304 32717 0 0 0 7946 19 0 0 25 0 1 0 229846653 135376896 32681 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539750 0 0 4096 0 0 0 0 17 1 0 0
/proc/17837/statm: 33051 32681 211 21 0 32487 0
[pid=17838] ppid=17835 vsize=12268 CPUtime=0
/proc/17838/stat : 17838 (pbout.new.pl) S 17835 17833 17787 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229846653 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/17838/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 141.23
Current children cumulated vsize (Kb) 167456

[startup+120.075 s]
/proc/loadavg: 1.05 0.97 0.92 2/68 17838
/proc/meminfo: memFree=1389760/2055920 swapFree=4181476/4192956
[pid=17833] ppid=17831 vsize=5360 CPUtime=0
/proc/17833/stat : 17833 (runpbsmodels) S 17831 17833 17787 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846650 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17833/statm: 1340 234 195 169 0 51 0
[pid=17834] ppid=17833 vsize=12268 CPUtime=0
/proc/17834/stat : 17834 (pbsmodels-v1.31) S 17833 17833 17787 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846651 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17834/statm: 3067 383 293 3 0 167 0
[pid=17835] ppid=17834 vsize=5356 CPUtime=61.58
/proc/17835/stat : 17835 (sh) S 17834 17833 17787 0 -1 4194304 309 601 0 0 0 0 6152 6 16 0 1 0 229846653 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17835/statm: 1339 227 188 169 0 50 0
[pid=17837] ppid=17835 vsize=132204 CPUtime=89.66
/proc/17837/stat : 17837 (smodels-2.31) R 17835 17833 17787 0 -1 4194304 32724 0 0 0 8947 19 0 0 25 0 1 0 229846653 135376896 32688 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533111 0 0 4096 0 0 0 0 17 1 0 0
/proc/17837/statm: 33051 32688 211 21 0 32487 0
[pid=17838] ppid=17835 vsize=12268 CPUtime=0
/proc/17838/stat : 17838 (pbout.new.pl) S 17835 17833 17787 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229846653 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/17838/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 151.24
Current children cumulated vsize (Kb) 167456

[startup+130.081 s]
/proc/loadavg: 1.04 0.97 0.92 2/68 17838
/proc/meminfo: memFree=1389760/2055920 swapFree=4181476/4192956
[pid=17833] ppid=17831 vsize=5360 CPUtime=0
/proc/17833/stat : 17833 (runpbsmodels) S 17831 17833 17787 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846650 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17833/statm: 1340 234 195 169 0 51 0
[pid=17834] ppid=17833 vsize=12268 CPUtime=0
/proc/17834/stat : 17834 (pbsmodels-v1.31) S 17833 17833 17787 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846651 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17834/statm: 3067 383 293 3 0 167 0
[pid=17835] ppid=17834 vsize=5356 CPUtime=61.58
/proc/17835/stat : 17835 (sh) S 17834 17833 17787 0 -1 4194304 309 601 0 0 0 0 6152 6 16 0 1 0 229846653 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17835/statm: 1339 227 188 169 0 50 0
[pid=17837] ppid=17835 vsize=132204 CPUtime=99.66
/proc/17837/stat : 17837 (smodels-2.31) R 17835 17833 17787 0 -1 4194304 32726 0 0 0 9947 19 0 0 25 0 1 0 229846653 135376896 32690 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0
/proc/17837/statm: 33051 32690 211 21 0 32487 0
[pid=17838] ppid=17835 vsize=12268 CPUtime=0
/proc/17838/stat : 17838 (pbout.new.pl) S 17835 17833 17787 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229846653 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/17838/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 161.24
Current children cumulated vsize (Kb) 167456

[startup+140.087 s]
/proc/loadavg: 1.04 0.97 0.92 2/68 17838
/proc/meminfo: memFree=1389696/2055920 swapFree=4181476/4192956
[pid=17833] ppid=17831 vsize=5360 CPUtime=0
/proc/17833/stat : 17833 (runpbsmodels) S 17831 17833 17787 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846650 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17833/statm: 1340 234 195 169 0 51 0
[pid=17834] ppid=17833 vsize=12268 CPUtime=0
/proc/17834/stat : 17834 (pbsmodels-v1.31) S 17833 17833 17787 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846651 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17834/statm: 3067 383 293 3 0 167 0
[pid=17835] ppid=17834 vsize=5356 CPUtime=61.58
/proc/17835/stat : 17835 (sh) S 17834 17833 17787 0 -1 4194304 309 601 0 0 0 0 6152 6 16 0 1 0 229846653 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17835/statm: 1339 227 188 169 0 50 0
[pid=17837] ppid=17835 vsize=132204 CPUtime=109.67
/proc/17837/stat : 17837 (smodels-2.31) R 17835 17833 17787 0 -1 4194304 32728 0 0 0 10948 19 0 0 25 0 1 0 229846653 135376896 32692 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553400 0 0 4096 0 0 0 0 17 1 0 0
/proc/17837/statm: 33051 32692 211 21 0 32487 0
[pid=17838] ppid=17835 vsize=12268 CPUtime=0
/proc/17838/stat : 17838 (pbout.new.pl) S 17835 17833 17787 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229846653 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/17838/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 171.25
Current children cumulated vsize (Kb) 167456

[startup+150.094 s]
/proc/loadavg: 1.03 0.97 0.92 2/68 17838
/proc/meminfo: memFree=1389760/2055920 swapFree=4181476/4192956
[pid=17833] ppid=17831 vsize=5360 CPUtime=0
/proc/17833/stat : 17833 (runpbsmodels) S 17831 17833 17787 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846650 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17833/statm: 1340 234 195 169 0 51 0
[pid=17834] ppid=17833 vsize=12268 CPUtime=0
/proc/17834/stat : 17834 (pbsmodels-v1.31) S 17833 17833 17787 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846651 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17834/statm: 3067 383 293 3 0 167 0
[pid=17835] ppid=17834 vsize=5356 CPUtime=61.58
/proc/17835/stat : 17835 (sh) S 17834 17833 17787 0 -1 4194304 309 601 0 0 0 0 6152 6 16 0 1 0 229846653 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17835/statm: 1339 227 188 169 0 50 0
[pid=17837] ppid=17835 vsize=132204 CPUtime=119.67
/proc/17837/stat : 17837 (smodels-2.31) R 17835 17833 17787 0 -1 4194304 32735 0 0 0 11948 19 0 0 25 0 1 0 229846653 135376896 32699 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0
/proc/17837/statm: 33051 32699 211 21 0 32487 0
[pid=17838] ppid=17835 vsize=12268 CPUtime=0
/proc/17838/stat : 17838 (pbout.new.pl) S 17835 17833 17787 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229846653 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/17838/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 181.25
Current children cumulated vsize (Kb) 167456

[startup+160.099 s]
/proc/loadavg: 1.03 0.97 0.92 2/68 17838
/proc/meminfo: memFree=1389760/2055920 swapFree=4181476/4192956
[pid=17833] ppid=17831 vsize=5360 CPUtime=0
/proc/17833/stat : 17833 (runpbsmodels) S 17831 17833 17787 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846650 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17833/statm: 1340 234 195 169 0 51 0
[pid=17834] ppid=17833 vsize=12268 CPUtime=0
/proc/17834/stat : 17834 (pbsmodels-v1.31) S 17833 17833 17787 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846651 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17834/statm: 3067 383 293 3 0 167 0
[pid=17835] ppid=17834 vsize=5356 CPUtime=61.58
/proc/17835/stat : 17835 (sh) S 17834 17833 17787 0 -1 4194304 309 601 0 0 0 0 6152 6 16 0 1 0 229846653 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17835/statm: 1339 227 188 169 0 50 0
[pid=17837] ppid=17835 vsize=132204 CPUtime=129.67
/proc/17837/stat : 17837 (smodels-2.31) R 17835 17833 17787 0 -1 4194304 32736 0 0 0 12948 19 0 0 25 0 1 0 229846653 135376896 32700 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533275 0 0 4096 0 0 0 0 17 1 0 0
/proc/17837/statm: 33051 32700 211 21 0 32487 0
[pid=17838] ppid=17835 vsize=12268 CPUtime=0
/proc/17838/stat : 17838 (pbout.new.pl) S 17835 17833 17787 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229846653 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/17838/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 191.25
Current children cumulated vsize (Kb) 167456

Child status: 0
Real time (s): 164.727
CPU time (s): 195.903
CPU user time (s): 195.611
CPU system time (s): 0.291955
CPU usage (%): 118.926
Max. virtual memory (cumulated for all children) (Kb): 167456
The end

Launcher Data (download as text)

Begin job on node25 on Wed Jun  7 00:57:12 UTC 2006


FILE ID= 45072-1149641827

PBS_JOBID= 323571

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

MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4
MD5SUM BENCH=  409a20f37901eec51bb3d0d7a35b01e1

RANDOM SEED= 330902065


/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.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1521000 kB
Buffers:         35136 kB
Cached:         436828 kB
SwapCached:       3220 kB
Active:         182580 kB
Inactive:       298104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1521000 kB
SwapTotal:     4192956 kB
SwapFree:      4181476 kB
Dirty:             256 kB
Writeback:           0 kB
Mapped:          14748 kB
Slab:            40256 kB
Committed_AS:   401504 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node25 on Wed Jun  7 00:59:58 UTC 2006