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