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