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