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