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