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