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