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