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