Trace number 33651

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 879.147 839.764

General information on the benchmark

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.84 0.93 0.67 2/64 14063
/proc/meminfo: memFree=1499104/2055920 swapFree=4182204/4192956
[pid=14063] ppid=14061 vsize=5360 CPUtime=0
/proc/14063/stat : 14063 (runpbsmodels) S 14061 14063 14017 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227797065 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14063/statm: 1340 234 195 169 0 51 0
[pid=14064] ppid=14063 vsize=2504 CPUtime=0
/proc/14064/stat : 14064 (pbsmodels-v1.28) R 14063 14063 14017 0 -1 4194304 44 0 0 0 0 0 0 0 19 0 1 0 227797065 2564096 26 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 227605017993 0 0 4096 0 0 0 0 17 1 0 0
/proc/14064/statm: 626 26 19 3 0 5 0

[startup+10.0028 s]
/proc/loadavg: 1.02 0.96 0.69 2/69 14068
/proc/meminfo: memFree=1473904/2055920 swapFree=4182204/4192956
[pid=14063] ppid=14061 vsize=5360 CPUtime=0
/proc/14063/stat : 14063 (runpbsmodels) S 14061 14063 14017 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227797065 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14063/statm: 1340 234 195 169 0 51 0
[pid=14064] ppid=14063 vsize=12268 CPUtime=0
/proc/14064/stat : 14064 (pbsmodels-v1.28) S 14063 14063 14017 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227797065 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14064/statm: 3067 383 293 3 0 167 0
[pid=14065] ppid=14064 vsize=5356 CPUtime=0
/proc/14065/stat : 14065 (sh) S 14064 14063 14017 0 -1 4194304 311 0 0 0 0 0 0 0 18 0 1 0 227797066 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14065/statm: 1339 227 188 169 0 50 0
[pid=14066] ppid=14065 vsize=12400 CPUtime=9.98
/proc/14066/stat : 14066 (pbsmodels.trans) R 14065 14063 14017 0 -1 4194304 514 0 0 0 998 0 0 0 25 0 1 0 227797066 12697600 472 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 227621672546 0 0 4224 0 0 0 0 17 1 0 0
/proc/14066/statm: 3100 472 340 3 0 200 0
[pid=14067] ppid=14065 vsize=25668 CPUtime=4.99
/proc/14067/stat : 14067 (smodels) S 14065 14063 14017 0 -1 4194304 6093 0 0 0 496 3 0 0 16 0 1 0 227797066 26284032 6057 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/14067/statm: 6417 6057 205 20 0 5854 0
[pid=14068] ppid=14065 vsize=12268 CPUtime=0
/proc/14068/stat : 14068 (pbout.pl) S 14065 14063 14017 0 -1 4194304 418 0 0 0 0 0 0 0 21 0 1 0 227797066 12562432 377 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14068/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 14.97
Current children cumulated vsize (Kb) 61052

[startup+20.015 s]
/proc/loadavg: 1.10 0.98 0.70 2/69 14068
/proc/meminfo: memFree=1449072/2055920 swapFree=4182204/4192956
[pid=14063] ppid=14061 vsize=5360 CPUtime=0
/proc/14063/stat : 14063 (runpbsmodels) S 14061 14063 14017 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227797065 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14063/statm: 1340 234 195 169 0 51 0
[pid=14064] ppid=14063 vsize=12268 CPUtime=0
/proc/14064/stat : 14064 (pbsmodels-v1.28) S 14063 14063 14017 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227797065 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14064/statm: 3067 383 293 3 0 167 0
[pid=14065] ppid=14064 vsize=5356 CPUtime=0
/proc/14065/stat : 14065 (sh) S 14064 14063 14017 0 -1 4194304 311 0 0 0 0 0 0 0 18 0 1 0 227797066 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14065/statm: 1339 227 188 169 0 50 0
[pid=14066] ppid=14065 vsize=12400 CPUtime=19.98
/proc/14066/stat : 14066 (pbsmodels.trans) R 14065 14063 14017 0 -1 4194304 514 0 0 0 1997 1 0 0 25 0 1 0 227797066 12697600 472 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 227616534482 0 0 4224 0 0 0 0 17 1 0 0
/proc/14066/statm: 3100 472 340 3 0 200 0
[pid=14067] ppid=14065 vsize=50616 CPUtime=10.77
/proc/14067/stat : 14067 (smodels) R 14065 14063 14017 0 -1 4194304 12323 0 0 0 1071 6 0 0 16 0 1 0 227797066 51830784 12287 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 4160243515 0 0 4096 0 0 0 0 17 1 0 0
/proc/14067/statm: 12654 12287 205 20 0 12091 0
[pid=14068] ppid=14065 vsize=12268 CPUtime=0
/proc/14068/stat : 14068 (pbout.pl) S 14065 14063 14017 0 -1 4194304 418 0 0 0 0 0 0 0 21 0 1 0 227797066 12562432 377 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14068/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 30.75
Current children cumulated vsize (Kb) 86000

[startup+30.0222 s]
/proc/loadavg: 1.23 1.01 0.71 2/69 14068
/proc/meminfo: memFree=1423920/2055920 swapFree=4182204/4192956
[pid=14063] ppid=14061 vsize=5360 CPUtime=0
/proc/14063/stat : 14063 (runpbsmodels) S 14061 14063 14017 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227797065 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14063/statm: 1340 234 195 169 0 51 0
[pid=14064] ppid=14063 vsize=12268 CPUtime=0
/proc/14064/stat : 14064 (pbsmodels-v1.28) S 14063 14063 14017 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227797065 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14064/statm: 3067 383 293 3 0 167 0
[pid=14065] ppid=14064 vsize=5356 CPUtime=0
/proc/14065/stat : 14065 (sh) S 14064 14063 14017 0 -1 4194304 311 0 0 0 0 0 0 0 18 0 1 0 227797066 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14065/statm: 1339 227 188 169 0 50 0
[pid=14066] ppid=14065 vsize=12400 CPUtime=29.98
/proc/14066/stat : 14066 (pbsmodels.trans) R 14065 14063 14017 0 -1 4194304 514 0 0 0 2996 2 0 0 25 0 1 0 227797066 12697600 472 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 227621290224 0 0 4224 0 0 0 0 17 1 0 0
/proc/14066/statm: 3100 472 340 3 0 200 0
[pid=14067] ppid=14065 vsize=75696 CPUtime=16.73
/proc/14067/stat : 14067 (smodels) S 14065 14063 14017 0 -1 4194304 18611 0 0 0 1661 12 0 0 16 0 1 0 227797066 77512704 18575 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/14067/statm: 18924 18575 205 20 0 18361 0
[pid=14068] ppid=14065 vsize=12268 CPUtime=0
/proc/14068/stat : 14068 (pbout.pl) S 14065 14063 14017 0 -1 4194304 418 0 0 0 0 0 0 0 21 0 1 0 227797066 12562432 377 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14068/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 46.71
Current children cumulated vsize (Kb) 111080

[startup+40.0294 s]
/proc/loadavg: 1.27 1.03 0.72 2/69 14068
/proc/meminfo: memFree=1399280/2055920 swapFree=4182204/4192956
[pid=14063] ppid=14061 vsize=5360 CPUtime=0
/proc/14063/stat : 14063 (runpbsmodels) S 14061 14063 14017 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227797065 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14063/statm: 1340 234 195 169 0 51 0
[pid=14064] ppid=14063 vsize=12268 CPUtime=0
/proc/14064/stat : 14064 (pbsmodels-v1.28) S 14063 14063 14017 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227797065 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14064/statm: 3067 383 293 3 0 167 0
[pid=14065] ppid=14064 vsize=5356 CPUtime=0
/proc/14065/stat : 14065 (sh) S 14064 14063 14017 0 -1 4194304 311 0 0 0 0 0 0 0 18 0 1 0 227797066 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14065/statm: 1339 227 188 169 0 50 0
[pid=14066] ppid=14065 vsize=12400 CPUtime=39.97
/proc/14066/stat : 14066 (pbsmodels.trans) R 14065 14063 14017 0 -1 4194304 514 0 0 0 3994 3 0 0 25 0 1 0 227797066 12697600 472 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 227616534482 0 0 4224 0 0 0 0 17 1 0 0
/proc/14066/statm: 3100 472 340 3 0 200 0
[pid=14067] ppid=14065 vsize=100512 CPUtime=22.63
/proc/14067/stat : 14067 (smodels) R 14065 14063 14017 0 -1 4194304 24807 0 0 0 2247 16 0 0 16 0 1 0 227797066 102924288 24771 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 4160243967 0 0 4096 0 0 0 0 17 1 0 0
/proc/14067/statm: 25128 24771 205 20 0 24565 0
[pid=14068] ppid=14065 vsize=12268 CPUtime=0
/proc/14068/stat : 14068 (pbout.pl) S 14065 14063 14017 0 -1 4194304 418 0 0 0 0 0 0 0 21 0 1 0 227797066 12562432 377 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14068/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 62.6
Current children cumulated vsize (Kb) 135896

[startup+50.0357 s]
/proc/loadavg: 1.30 1.04 0.73 3/69 14068
/proc/meminfo: memFree=1374192/2055920 swapFree=4182204/4192956
[pid=14063] ppid=14061 vsize=5360 CPUtime=0
/proc/14063/stat : 14063 (runpbsmodels) S 14061 14063 14017 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227797065 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14063/statm: 1340 234 195 169 0 51 0
[pid=14064] ppid=14063 vsize=12268 CPUtime=0
/proc/14064/stat : 14064 (pbsmodels-v1.28) S 14063 14063 14017 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227797065 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14064/statm: 3067 383 293 3 0 167 0
[pid=14065] ppid=14064 vsize=5356 CPUtime=0
/proc/14065/stat : 14065 (sh) S 14064 14063 14017 0 -1 4194304 311 0 0 0 0 0 0 0 18 0 1 0 227797066 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14065/statm: 1339 227 188 169 0 50 0
[pid=14066] ppid=14065 vsize=12400 CPUtime=49.97
/proc/14066/stat : 14066 (pbsmodels.trans) R 14065 14063 14017 0 -1 4194304 514 0 0 0 4993 4 0 0 25 0 1 0 227797066 12697600 472 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 227621505717 0 0 4224 0 0 0 0 17 1 0 0
/proc/14066/statm: 3100 472 340 3 0 200 0
[pid=14067] ppid=14065 vsize=125592 CPUtime=28.67
/proc/14067/stat : 14067 (smodels) S 14065 14063 14017 0 -1 4194304 31071 0 0 0 2847 20 0 0 16 0 1 0 227797066 128606208 31035 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/14067/statm: 31398 31035 205 20 0 30835 0
[pid=14068] ppid=14065 vsize=12268 CPUtime=0
/proc/14068/stat : 14068 (pbout.pl) S 14065 14063 14017 0 -1 4194304 418 0 0 0 0 0 0 0 21 0 1 0 227797066 12562432 377 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14068/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 78.64
Current children cumulated vsize (Kb) 160976

[startup+60.0419 s]
/proc/loadavg: 1.41 1.07 0.74 3/69 14068
/proc/meminfo: memFree=1349296/2055920 swapFree=4182204/4192956
[pid=14063] ppid=14061 vsize=5360 CPUtime=0
/proc/14063/stat : 14063 (runpbsmodels) S 14061 14063 14017 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227797065 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14063/statm: 1340 234 195 169 0 51 0
[pid=14064] ppid=14063 vsize=12268 CPUtime=0
/proc/14064/stat : 14064 (pbsmodels-v1.28) S 14063 14063 14017 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227797065 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14064/statm: 3067 383 293 3 0 167 0
[pid=14065] ppid=14064 vsize=5356 CPUtime=0
/proc/14065/stat : 14065 (sh) S 14064 14063 14017 0 -1 4194304 311 0 0 0 0 0 0 0 18 0 1 0 227797066 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14065/statm: 1339 227 188 169 0 50 0
[pid=14066] ppid=14065 vsize=12400 CPUtime=59.97
/proc/14066/stat : 14066 (pbsmodels.trans) R 14065 14063 14017 0 -1 4194304 514 0 0 0 5991 6 0 0 25 0 1 0 227797066 12697600 472 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 227621506545 0 0 4224 0 0 0 0 17 1 0 0
/proc/14066/statm: 3100 472 340 3 0 200 0
[pid=14067] ppid=14065 vsize=150408 CPUtime=34.61
/proc/14067/stat : 14067 (smodels) S 14065 14063 14017 0 -1 4194304 37273 0 0 0 3437 24 0 0 16 0 1 0 227797066 154017792 37237 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/14067/statm: 37602 37237 205 20 0 37039 0
[pid=14068] ppid=14065 vsize=12268 CPUtime=0
/proc/14068/stat : 14068 (pbout.pl) S 14065 14063 14017 0 -1 4194304 418 0 0 0 0 0 0 0 21 0 1 0 227797066 12562432 377 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14068/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 94.58
Current children cumulated vsize (Kb) 185792

[startup+70.0491 s]
/proc/loadavg: 1.42 1.09 0.75 2/68 14068
/proc/meminfo: memFree=1298552/2055920 swapFree=4182204/4192956
[pid=14063] ppid=14061 vsize=5360 CPUtime=0
/proc/14063/stat : 14063 (runpbsmodels) S 14061 14063 14017 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227797065 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14063/statm: 1340 234 195 169 0 51 0
[pid=14064] ppid=14063 vsize=12268 CPUtime=0
/proc/14064/stat : 14064 (pbsmodels-v1.28) S 14063 14063 14017 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227797065 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14064/statm: 3067 383 293 3 0 167 0
[pid=14065] ppid=14064 vsize=5356 CPUtime=67.57
/proc/14065/stat : 14065 (sh) S 14064 14063 14017 0 -1 4194304 311 599 0 0 0 0 6750 7 16 0 1 0 227797066 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14065/statm: 1339 227 188 169 0 50 0
[pid=14067] ppid=14065 vsize=201528 CPUtime=42.06
/proc/14067/stat : 14067 (smodels) R 14065 14063 14017 0 -1 4194304 50061 0 0 0 4173 33 0 0 19 0 1 0 227797066 206364672 50025 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548801 0 0 4096 0 0 0 0 17 1 0 0
/proc/14067/statm: 50382 50025 208 20 0 49819 0
[pid=14068] ppid=14065 vsize=12268 CPUtime=0
/proc/14068/stat : 14068 (pbout.pl) S 14065 14063 14017 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227797066 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14068/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 109.63
Current children cumulated vsize (Kb) 236780

[startup+80.0563 s]
/proc/loadavg: 1.35 1.08 0.75 2/68 14068
/proc/meminfo: memFree=1298552/2055920 swapFree=4182204/4192956
[pid=14063] ppid=14061 vsize=5360 CPUtime=0
/proc/14063/stat : 14063 (runpbsmodels) S 14061 14063 14017 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227797065 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14063/statm: 1340 234 195 169 0 51 0
[pid=14064] ppid=14063 vsize=12268 CPUtime=0
/proc/14064/stat : 14064 (pbsmodels-v1.28) S 14063 14063 14017 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227797065 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14064/statm: 3067 383 293 3 0 167 0
[pid=14065] ppid=14064 vsize=5356 CPUtime=67.57
/proc/14065/stat : 14065 (sh) S 14064 14063 14017 0 -1 4194304 311 599 0 0 0 0 6750 7 16 0 1 0 227797066 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14065/statm: 1339 227 188 169 0 50 0
[pid=14067] ppid=14065 vsize=201528 CPUtime=52.06
/proc/14067/stat : 14067 (smodels) R 14065 14063 14017 0 -1 4194304 50067 0 0 0 5173 33 0 0 25 0 1 0 227797066 206364672 50031 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548919 0 0 4096 0 0 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 779.88
Current children cumulated vsize (Kb) 236780

[startup+750.502 s]
/proc/loadavg: 1.00 1.00 0.85 2/68 14068
/proc/meminfo: memFree=1298368/2055920 swapFree=4182204/4192956
[pid=14063] ppid=14061 vsize=5360 CPUtime=0
/proc/14063/stat : 14063 (runpbsmodels) S 14061 14063 14017 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227797065 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14063/statm: 1340 234 195 169 0 51 0
[pid=14064] ppid=14063 vsize=12268 CPUtime=0
/proc/14064/stat : 14064 (pbsmodels-v1.28) S 14063 14063 14017 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227797065 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14064/statm: 3067 383 293 3 0 167 0
[pid=14065] ppid=14064 vsize=5356 CPUtime=67.57
/proc/14065/stat : 14065 (sh) S 14064 14063 14017 0 -1 4194304 311 599 0 0 0 0 6750 7 16 0 1 0 227797066 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14065/statm: 1339 227 188 169 0 50 0
[pid=14067] ppid=14065 vsize=201528 CPUtime=722.31
/proc/14067/stat : 14067 (smodels) R 14065 14063 14017 0 -1 4194304 50069 0 0 0 72195 36 0 0 25 0 1 0 227797066 206364672 50033 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531543 0 0 4096 0 0 0 0 17 1 0 0
/proc/14067/statm: 50382 50033 209 20 0 49819 0
[pid=14068] ppid=14065 vsize=12268 CPUtime=0
/proc/14068/stat : 14068 (pbout.pl) S 14065 14063 14017 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227797066 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14068/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 789.88
Current children cumulated vsize (Kb) 236780

[startup+760.508 s]
/proc/loadavg: 1.00 1.00 0.85 2/68 14068
/proc/meminfo: memFree=1298304/2055920 swapFree=4182204/4192956
[pid=14063] ppid=14061 vsize=5360 CPUtime=0
/proc/14063/stat : 14063 (runpbsmodels) S 14061 14063 14017 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227797065 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14063/statm: 1340 234 195 169 0 51 0
[pid=14064] ppid=14063 vsize=12268 CPUtime=0
/proc/14064/stat : 14064 (pbsmodels-v1.28) S 14063 14063 14017 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227797065 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14064/statm: 3067 383 293 3 0 167 0
[pid=14065] ppid=14064 vsize=5356 CPUtime=67.57
/proc/14065/stat : 14065 (sh) S 14064 14063 14017 0 -1 4194304 311 599 0 0 0 0 6750 7 16 0 1 0 227797066 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14065/statm: 1339 227 188 169 0 50 0
[pid=14067] ppid=14065 vsize=201528 CPUtime=732.32
/proc/14067/stat : 14067 (smodels) R 14065 14063 14017 0 -1 4194304 50069 0 0 0 73196 36 0 0 25 0 1 0 227797066 206364672 50033 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531543 0 0 4096 0 0 0 0 17 1 0 0
/proc/14067/statm: 50382 50033 209 20 0 49819 0
[pid=14068] ppid=14065 vsize=12268 CPUtime=0
/proc/14068/stat : 14068 (pbout.pl) S 14065 14063 14017 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227797066 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14068/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 799.89
Current children cumulated vsize (Kb) 236780

[startup+770.514 s]
/proc/loadavg: 1.00 1.00 0.85 2/68 14068
/proc/meminfo: memFree=1298304/2055920 swapFree=4182204/4192956
[pid=14063] ppid=14061 vsize=5360 CPUtime=0
/proc/14063/stat : 14063 (runpbsmodels) S 14061 14063 14017 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227797065 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14063/statm: 1340 234 195 169 0 51 0
[pid=14064] ppid=14063 vsize=12268 CPUtime=0
/proc/14064/stat : 14064 (pbsmodels-v1.28) S 14063 14063 14017 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227797065 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14064/statm: 3067 383 293 3 0 167 0
[pid=14065] ppid=14064 vsize=5356 CPUtime=67.57
/proc/14065/stat : 14065 (sh) S 14064 14063 14017 0 -1 4194304 311 599 0 0 0 0 6750 7 16 0 1 0 227797066 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14065/statm: 1339 227 188 169 0 50 0
[pid=14067] ppid=14065 vsize=201528 CPUtime=742.32
/proc/14067/stat : 14067 (smodels) R 14065 14063 14017 0 -1 4194304 50069 0 0 0 74196 36 0 0 25 0 1 0 227797066 206364672 50033 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551066 0 0 4096 0 0 0 0 17 1 0 0
/proc/14067/statm: 50382 50033 209 20 0 49819 0
[pid=14068] ppid=14065 vsize=12268 CPUtime=0
/proc/14068/stat : 14068 (pbout.pl) S 14065 14063 14017 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227797066 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14068/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 809.89
Current children cumulated vsize (Kb) 236780

[startup+780.52 s]
/proc/loadavg: 1.00 1.00 0.85 2/68 14068
/proc/meminfo: memFree=1298304/2055920 swapFree=4182204/4192956
[pid=14063] ppid=14061 vsize=5360 CPUtime=0
/proc/14063/stat : 14063 (runpbsmodels) S 14061 14063 14017 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227797065 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14063/statm: 1340 234 195 169 0 51 0
[pid=14064] ppid=14063 vsize=12268 CPUtime=0
/proc/14064/stat : 14064 (pbsmodels-v1.28) S 14063 14063 14017 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227797065 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14064/statm: 3067 383 293 3 0 167 0
[pid=14065] ppid=14064 vsize=5356 CPUtime=67.57
/proc/14065/stat : 14065 (sh) S 14064 14063 14017 0 -1 4194304 311 599 0 0 0 0 6750 7 16 0 1 0 227797066 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14065/statm: 1339 227 188 169 0 50 0
[pid=14067] ppid=14065 vsize=201528 CPUtime=752.32
/proc/14067/stat : 14067 (smodels) R 14065 14063 14017 0 -1 4194304 50069 0 0 0 75196 36 0 0 25 0 1 0 227797066 206364672 50033 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531159 0 0 4096 0 0 0 0 17 1 0 0
/proc/14067/statm: 50382 50033 209 20 0 49819 0
[pid=14068] ppid=14065 vsize=12268 CPUtime=0
/proc/14068/stat : 14068 (pbout.pl) S 14065 14063 14017 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227797066 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14068/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 819.89
Current children cumulated vsize (Kb) 236780

[startup+790.528 s]
/proc/loadavg: 1.00 1.00 0.85 2/68 14068
/proc/meminfo: memFree=1298304/2055920 swapFree=4182204/4192956
[pid=14063] ppid=14061 vsize=5360 CPUtime=0
/proc/14063/stat : 14063 (runpbsmodels) S 14061 14063 14017 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227797065 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14063/statm: 1340 234 195 169 0 51 0
[pid=14064] ppid=14063 vsize=12268 CPUtime=0
/proc/14064/stat : 14064 (pbsmodels-v1.28) S 14063 14063 14017 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227797065 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14064/statm: 3067 383 293 3 0 167 0
[pid=14065] ppid=14064 vsize=5356 CPUtime=67.57
/proc/14065/stat : 14065 (sh) S 14064 14063 14017 0 -1 4194304 311 599 0 0 0 0 6750 7 16 0 1 0 227797066 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14065/statm: 1339 227 188 169 0 50 0
[pid=14067] ppid=14065 vsize=201528 CPUtime=762.33
/proc/14067/stat : 14067 (smodels) R 14065 14063 14017 0 -1 4194304 50069 0 0 0 76197 36 0 0 25 0 1 0 227797066 206364672 50033 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531159 0 0 4096 0 0 0 0 17 1 0 0
/proc/14067/statm: 50382 50033 209 20 0 49819 0
[pid=14068] ppid=14065 vsize=12268 CPUtime=0
/proc/14068/stat : 14068 (pbout.pl) S 14065 14063 14017 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227797066 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14068/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 829.9
Current children cumulated vsize (Kb) 236780

[startup+800.535 s]
/proc/loadavg: 1.00 1.00 0.85 2/68 14068
/proc/meminfo: memFree=1298368/2055920 swapFree=4182204/4192956
[pid=14063] ppid=14061 vsize=5360 CPUtime=0
/proc/14063/stat : 14063 (runpbsmodels) S 14061 14063 14017 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227797065 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14063/statm: 1340 234 195 169 0 51 0
[pid=14064] ppid=14063 vsize=12268 CPUtime=0
/proc/14064/stat : 14064 (pbsmodels-v1.28) S 14063 14063 14017 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227797065 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14064/statm: 3067 383 293 3 0 167 0
[pid=14065] ppid=14064 vsize=5356 CPUtime=67.57
/proc/14065/stat : 14065 (sh) S 14064 14063 14017 0 -1 4194304 311 599 0 0 0 0 6750 7 16 0 1 0 227797066 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14065/statm: 1339 227 188 169 0 50 0
[pid=14067] ppid=14065 vsize=201528 CPUtime=772.33
/proc/14067/stat : 14067 (smodels) R 14065 14063 14017 0 -1 4194304 50069 0 0 0 77197 36 0 0 25 0 1 0 227797066 206364672 50033 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531159 0 0 4096 0 0 0 0 17 1 0 0
/proc/14067/statm: 50382 50033 209 20 0 49819 0
[pid=14068] ppid=14065 vsize=12268 CPUtime=0
/proc/14068/stat : 14068 (pbout.pl) S 14065 14063 14017 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227797066 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14068/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 839.9
Current children cumulated vsize (Kb) 236780

[startup+810.542 s]
/proc/loadavg: 1.00 1.00 0.85 2/68 14068
/proc/meminfo: memFree=1298368/2055920 swapFree=4182204/4192956
[pid=14063] ppid=14061 vsize=5360 CPUtime=0
/proc/14063/stat : 14063 (runpbsmodels) S 14061 14063 14017 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227797065 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14063/statm: 1340 234 195 169 0 51 0
[pid=14064] ppid=14063 vsize=12268 CPUtime=0
/proc/14064/stat : 14064 (pbsmodels-v1.28) S 14063 14063 14017 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227797065 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14064/statm: 3067 383 293 3 0 167 0
[pid=14065] ppid=14064 vsize=5356 CPUtime=67.57
/proc/14065/stat : 14065 (sh) S 14064 14063 14017 0 -1 4194304 311 599 0 0 0 0 6750 7 16 0 1 0 227797066 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14065/statm: 1339 227 188 169 0 50 0
[pid=14067] ppid=14065 vsize=201528 CPUtime=782.33
/proc/14067/stat : 14067 (smodels) R 14065 14063 14017 0 -1 4194304 50069 0 0 0 78197 36 0 0 25 0 1 0 227797066 206364672 50033 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531159 0 0 4096 0 0 0 0 17 1 0 0
/proc/14067/statm: 50382 50033 209 20 0 49819 0
[pid=14068] ppid=14065 vsize=12268 CPUtime=0
/proc/14068/stat : 14068 (pbout.pl) S 14065 14063 14017 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227797066 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14068/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 849.9
Current children cumulated vsize (Kb) 236780

[startup+820.548 s]
/proc/loadavg: 1.00 1.00 0.86 2/68 14068
/proc/meminfo: memFree=1298368/2055920 swapFree=4182204/4192956
[pid=14063] ppid=14061 vsize=5360 CPUtime=0
/proc/14063/stat : 14063 (runpbsmodels) S 14061 14063 14017 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227797065 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14063/statm: 1340 234 195 169 0 51 0
[pid=14064] ppid=14063 vsize=12268 CPUtime=0
/proc/14064/stat : 14064 (pbsmodels-v1.28) S 14063 14063 14017 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227797065 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14064/statm: 3067 383 293 3 0 167 0
[pid=14065] ppid=14064 vsize=5356 CPUtime=67.57
/proc/14065/stat : 14065 (sh) S 14064 14063 14017 0 -1 4194304 311 599 0 0 0 0 6750 7 16 0 1 0 227797066 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14065/statm: 1339 227 188 169 0 50 0
[pid=14067] ppid=14065 vsize=201528 CPUtime=792.34
/proc/14067/stat : 14067 (smodels) R 14065 14063 14017 0 -1 4194304 50069 0 0 0 79198 36 0 0 25 0 1 0 227797066 206364672 50033 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531543 0 0 4096 0 0 0 0 17 1 0 0
/proc/14067/statm: 50382 50033 209 20 0 49819 0
[pid=14068] ppid=14065 vsize=12268 CPUtime=0
/proc/14068/stat : 14068 (pbout.pl) S 14065 14063 14017 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227797066 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14068/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 859.91
Current children cumulated vsize (Kb) 236780

[startup+830.555 s]
/proc/loadavg: 1.00 1.00 0.86 2/68 14068
/proc/meminfo: memFree=1298368/2055920 swapFree=4182204/4192956
[pid=14063] ppid=14061 vsize=5360 CPUtime=0
/proc/14063/stat : 14063 (runpbsmodels) S 14061 14063 14017 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 227797065 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14063/statm: 1340 234 195 169 0 51 0
[pid=14064] ppid=14063 vsize=12268 CPUtime=0
/proc/14064/stat : 14064 (pbsmodels-v1.28) S 14063 14063 14017 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 227797065 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 227616538516 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14064/statm: 3067 383 293 3 0 167 0
[pid=14065] ppid=14064 vsize=5356 CPUtime=67.57
/proc/14065/stat : 14065 (sh) S 14064 14063 14017 0 -1 4194304 311 599 0 0 0 0 6750 7 16 0 1 0 227797066 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14065/statm: 1339 227 188 169 0 50 0
[pid=14067] ppid=14065 vsize=201528 CPUtime=802.34
/proc/14067/stat : 14067 (smodels) R 14065 14063 14017 0 -1 4194304 50069 0 0 0 80198 36 0 0 25 0 1 0 227797066 206364672 50033 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531159 0 0 4096 0 0 0 0 17 1 0 0
/proc/14067/statm: 50382 50033 209 20 0 49819 0
[pid=14068] ppid=14065 vsize=12268 CPUtime=0
/proc/14068/stat : 14068 (pbout.pl) S 14065 14063 14017 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 227797066 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14068/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 869.91
Current children cumulated vsize (Kb) 236780

Child status: 0
Real time (s): 839.764
CPU time (s): 879.147
CPU user time (s): 878.664
CPU system time (s): 0.482926
CPU usage (%): 104.69
Max. virtual memory (cumulated for all children) (Kb): 236780
The end

Launcher Data (download as text)

Begin job on node66 on Tue Jun  6 19:14:49 UTC 2006


FILE ID= 33651-1149621288

PBS_JOBID= 322470

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

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

RANDOM SEED= 88404290


/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.225
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.225
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:       1499312 kB
Buffers:         28284 kB
Cached:         454612 kB
SwapCached:       2420 kB
Active:          64832 kB
Inactive:       426720 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1499312 kB
SwapTotal:     4192956 kB
SwapFree:      4182204 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          15092 kB
Slab:            51080 kB
Committed_AS:   379156 kB
PageTables:       1400 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node66 on Tue Jun  6 19:28:49 UTC 2006