Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 346 | 1782.79 | 1783.38 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ10_3.opb |
MD5SUM | 2821538067d8c071dc9bd4a000c6d040 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 340 |
Best CPU time to get the best result obtained on this benchmark | 1782.81 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 340 |
Optimality of the best value was proved | NO |
Number of variables | 2700 |
Total number of constraints | 42620 |
Number of constraints which are clauses | 20220 |
Number of constraints which are cardinality constraints (but not clauses) | 800 |
Number of constraints which are nor clauses,nor cardinality constraints | 21600 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 36 |
Number of terms in the objective function | 900 |
Biggest coefficient in the objective function | 5 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 2500 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 32 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 2500 |
Number of bits of the biggest sum of numbers | 12 |
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 Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 1.29 c starting to Solve 1.29 c #variables read: 2700 - #constraints read: 43071 2.00 o 402 2.01 o 394 2.20 o 392 3.96 o 388 3.96 o 376 15.98 o 374 65.11 o 372 119.11 o 370 154.35 o 368 161.43 o 366 331.71 o 362 558.74 o 358 558.75 o 354 616.99 o 350 617.00 o 348 617.04 o 346 1783.32 c total time : 1783 s 1783.32 s SATISFIABLE 1783.32 v x1801 x1802 -x1803 -x1804 -x1805 -x1806 x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 x1817 -x1818 1783.32 v -x1819 -x1820 -x1821 -x1822 x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 1783.32 v x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x1850 -x1851 -x1852 -x1853 -x1854 1783.32 v -x1855 -x1856 -x1857 x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 -x1871 -x1872 1783.32 v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 1783.32 v x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 x1901 -x1902 -x1903 -x1904 -x1905 x1906 x1907 x1908 1783.32 v -x1909 -x1910 -x1911 x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 1783.32 v -x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 1783.32 v -x1945 -x1946 -x1947 x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 x1959 -x1960 -x1961 -x1962 1783.32 v -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 1783.32 v x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 1783.32 v x1999 -x2000 x2001 x2002 x2003 -x2004 -x2005 x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 x2013 -x2014 -x2015 -x2016 1783.32 v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 1783.32 v -x2035 -x2036 x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 1783.32 v x2052 -x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 x2064 -x2065 -x2066 -x2067 -x2068 -x2069 1783.32 v -x2070 -x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 1783.32 v -x2087 x2088 -x2089 -x2090 x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 x2099 -x2100 x2101 -x2102 x2103 x2104 1783.32 v -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 -x2121 -x2122 1783.32 v -x2123 -x2124 -x2125 -x2126 x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 1783.32 v -x2141 -x2142 -x2143 -x2144 -x2145 x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 1783.32 v -x2158 -x2159 x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 x2171 -x2172 -x2173 -x2174 -x2175 1783.32 v -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 x2186 -x2187 -x2188 -x2189 -x2190 x2191 -x2192 -x2193 1783.32 v -x2194 -x2195 -x2196 x2197 x2198 -x2199 x2200 x2201 x2202 x2203 -x2204 x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 1783.32 v -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 x2228 -x2229 -x2230 1783.32 v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 1783.32 v -x2249 -x2250 -x2251 x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 x2262 -x2263 -x2264 -x2265 -x2266 1783.32 v -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279 -x2280 -x2281 x2282 -x2283 -x2284 1783.32 v -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 x2291 -x2292 -x2293 -x2294 -x2295 x2296 x2297 -x2298 -x2299 -x2300 x2301 x2302 1783.32 v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 1783.32 v -x2320 -x2321 x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 x2336 -x2337 1783.32 v -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 1783.32 v x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 1783.32 v x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 x2385 -x2386 -x2387 -x2388 -x2389 -x2390 1783.32 v -x2391 x2392 -x2393 -x2394 -x2395 -x2396 -x2397 x2398 x2399 x2400 -x2401 x2402 -x2403 x2404 -x2405 -x2406 -x2407 -x2408 1783.32 v -x2409 -x2410 -x2411 -x2412 -x2413 x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 x2424 -x2425 -x2426 1783.32 v -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2439 -x2440 -x2441 -x2442 x2443 -x2444 1783.32 v -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 x2459 -x2460 -x2461 -x2462 1783.32 v -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 1783.32 v -x2480 -x2481 x2482 -x2483 -x2484 -x2485 -x2486 x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 x2494 -x2495 -x2496 x2497 1783.32 v -x2498 x2499 x2500 x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 1783.32 v -x2516 -x2517 -x2518 x2519 -x2520 x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 1783.32 v -x2534 -x2535 -x2536 -x2537 x2538 -x2539 -x2540 -x2541 x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 1783.32 v x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568 -x2569 1783.32 v -x2570 -x2571 -x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 -x2586 x2587 1783.32 v -x2588 -x2589 -x2590 -x2591 -x2592 x2593 -x2594 x2595 -x2596 -x2597 -x2598 x2599 x2600 -x2601 -x2602 -x2603 -x2604 -x2605 1783.32 v -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 x2619 -x2620 -x2621 x2622 -x2623 1783.32 v -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 1783.32 v x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 -x2658 1783.32 v -x2659 -x2660 -x2661 -x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 x2673 -x2674 -x2675 -x2676 1783.32 v -x2677 -x2678 -x2679 -x2680 -x2681 x2682 x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 x2693 x2694 1783.32 v -x2695 -x2696 -x2697 x2698 x2699 x2700 -x2 -x102 -x202 x302 -x402 -x502 -x602 -x702 -x802 -x902 -x1002 -x1102 -x1202 -x1302 1783.32 v -x1402 -x1502 -x1602 -x1702 -x3 -x103 -x203 -x303 -x403 -x503 -x603 -x703 x803 -x903 -x1003 -x1103 -x1203 -x1303 -x1403 1783.32 v -x1503 -x1603 -x1703 -x4 -x104 -x204 -x304 -x404 -x504 -x604 -x704 -x804 -x904 -x1004 -x1104 -x1204 -x1304 -x1404 x1504 1783.32 v -x1604 -x1704 -x5 -x105 -x205 -x305 -x405 -x505 -x605 -x705 -x805 -x905 x1005 -x1105 -x1205 -x1305 -x1405 -x1505 -x1605 1783.32 v -x1705 -x6 -x106 -x206 -x306 -x406 -x506 -x606 -x706 -x806 x906 -x1006 -x1106 -x1206 -x1306 -x1406 -x1506 -x1606 -x1706 1783.32 v -x7 -x107 -x207 -x307 -x407 -x507 -x607 -x707 -x807 -x907 -x1007 -x1107 -x1207 -x1307 x1407 -x1507 -x1607 -x1707 -x8 -x108 1783.32 v -x208 -x308 -x408 -x508 -x608 -x708 -x808 -x908 -x1008 -x1108 -x1208 x1308 -x1408 -x1508 -x1608 -x1708 -x9 -x109 -x209 -x309 1783.32 v x409 -x509 -x609 -x709 -x809 -x909 -x1009 -x1109 -x1209 -x1309 -x1409 -x1509 -x1609 -x1709 -x10 -x110 -x210 -x310 -x410 1783.32 v x510 -x610 -x710 -x810 -x910 -x1010 -x1110 -x1210 -x1310 -x1410 -x1510 -x1610 -x1710 x11 -x111 -x211 -x311 -x411 -x511 -x611 1783.32 v -x711 -x811 -x911 -x1011 -x1111 -x1211 -x1311 -x1411 -x1511 -x1611 -x1711 -x13 -x113 -x213 -x313 -x413 -x513 -x613 -x713 1783.32 v -x813 -x913 -x1013 -x1113 -x1213 x1313 -x1413 -x1513 -x1613 -x1713 -x14 -x114 -x214 -x314 -x414 -x514 -x614 x714 -x814 -x914 1783.32 v -x1014 -x1114 -x1214 -x1314 -x1414 -x1514 -x1614 -x1714 -x15 -x115 -x215 -x315 -x415 -x515 -x615 -x715 -x815 -x915 -x1015 1783.32 v -x1115 -x1215 -x1315 x1415 -x1515 -x1615 -x1715 -x16 -x116 -x216 -x316 -x416 -x516 -x616 -x716 -x816 -x916 x1016 -x1116 1783.32 v -x1216 -x1316 -x1416 -x1516 -x1616 -x1716 -x17 -x117 -x217 -x317 -x417 -x517 x617 -x717 -x817 -x917 -x1017 -x1117 -x1217 1783.32 v -x1317 -x1417 -x1517 -x1617 -x1717 -x18 -x118 -x218 -x318 -x418 -x518 -x618 -x718 -x818 x918 -x1018 -x1118 -x1218 -x1318 1783.32 v -x1418 -x1518 -x1618 -x1718 -x19 -x119 -x219 -x319 -x419 x519 -x619 -x719 -x819 -x919 -x1019 -x1119 -x1219 -x1319 -x1419 1783.32 v -x1519 -x1619 -x1719 -x20 -x120 x220 -x320 -x420 -x520 -x620 -x720 -x820 -x920 -x1020 -x1120 -x1220 -x1320 -x1420 -x1520 1783.32 v -x1620 -x1720 -x21 -x121 -x221 -x321 -x421 -x521 -x621 -x721 -x821 -x921 -x1021 -x1121 -x1221 -x1321 -x1421 -x1521 x1621 1783.32 v -x1721 -x22 -x122 -x222 -x322 -x422 -x522 -x622 -x722 -x822 -x922 -x1022 -x1122 -x1222 -x1322 -x1422 -x1522 -x1622 x1722 1783.32 v -x24 -x124 -x224 -x324 -x424 -x524 x624 -x724 -x824 -x924 -x1024 -x1124 -x1224 -x1324 -x1424 -x1524 -x1624 -x1724 -x25 x125 1783.32 v -x225 -x325 -x425 -x525 -x625 -x725 -x825 -x925 -x1025 -x1125 -x1225 -x1325 -x1425 -x1525 -x1625 -x1725 -x26 -x126 -x226 1783.32 v -x326 -x426 -x526 -x626 -x726 -x826 -x926 -x1026 -x1126 -x1226 -x1326 x1426 -x1526 -x1626 -x1726 -x27 -x127 -x227 -x327 1783.32 v -x427 -x527 -x627 x727 -x827 -x927 -x1027 -x1127 -x1227 -x1327 -x1427 -x1527 -x1627 -x1727 -x28 -x128 x228 -x328 -x428 -x528 1783.32 v -x628 -x728 -x828 -x928 -x1028 -x1128 -x1228 -x1328 -x1428 -x1528 -x1628 -x1728 -x29 -x129 -x229 -x329 -x429 -x529 -x629 1783.32 v -x729 -x829 -x929 x1029 -x1129 -x1229 -x1329 -x1429 -x1529 -x1629 -x1729 -x30 -x130 -x230 x330 -x430 -x530 -x630 -x730 -x830 1783.32 v -x930 -x1030 -x1130 -x1230 -x1330 -x1430 -x1530 -x1630 -x1730 -x31 x131 -x231 -x331 -x431 -x531 -x631 -x731 -x831 -x931 1783.32 v -x1031 -x1131 -x1231 -x1331 -x1431 -x1531 -x1631 -x1731 -x32 -x132 -x232 -x332 -x432 -x532 -x632 -x732 -x832 -x932 -x1032 1783.32 v -x1132 x1232 -x1332 -x1432 -x1532 -x1632 -x1732 -x33 -x133 -x233 -x333 -x433 -x533 -x633 -x733 -x833 x933 -x1033 -x1133 1783.32 v -x1233 -x1333 -x1433 -x1533 -x1633 -x1733 -x35 -x135 -x235 x335 -x435 -x535 -x635 -x735 -x835 -x935 -x1035 -x1135 -x1235 1783.32 v -x1335 -x1435 -x1535 -x1635 -x1735 -x36 -x136 -x236 -x336 x436 -x536 -x636 -x736 -x836 -x936 -x1036 -x1136 -x1236 -x1336 1783.32 v -x1436 -x1536 -x1636 -x1736 -x37 -x137 -x237 -x337 -x437 -x537 -x637 -x737 x837 -x937 -x1037 -x1137 -x1237 -x1337 -x1437 1783.32 v -x1537 -x1637 -x1737 x38 -x138 -x238 -x338 -x438 -x538 -x638 -x738 -x838 -x938 -x1038 -x1138 -x1238 -x1338 -x1438 -x1538 1783.32 v -x1638 -x1738 -x39 -x139 -x239 -x339 -x439 -x539 -x639 -x739 -x839 -x939 -x1039 -x1139 -x1239 -x1339 x1439 -x1539 -x1639 1783.32 v -x1739 -x40 -x140 -x240 -x340 -x440 -x540 -x640 -x740 -x840 -x940 -x1040 -x1140 -x1240 x1340 -x1440 -x1540 -x1640 -x1740 1783.32 v -x41 -x141 x241 -x341 -x441 -x541 -x641 -x741 -x841 -x941 -x1041 -x1141 -x1241 -x1341 -x1441 -x1541 -x1641 -x1741 -x42 -x142 1783.32 v -x242 -x342 x442 -x542 -x642 -x742 -x842 -x942 -x1042 -x1142 -x1242 -x1342 -x1442 -x1542 -x1642 -x1742 -x43 -x143 -x243 1783.32 v -x343 -x443 x543 -x643 -x743 -x843 -x943 -x1043 -x1143 -x1243 -x1343 -x1443 -x1543 -x1643 -x1743 -x44 -x144 -x244 -x344 1783.32 v -x444 -x544 -x644 -x744 -x844 -x944 -x1044 x1144 -x1244 -x1344 -x1444 -x1544 -x1644 -x1744 x46 -x146 -x246 -x346 -x446 -x546 1783.32 v -x646 -x746 -x846 -x946 -x1046 -x1146 -x1246 -x1346 -x1446 -x1546 -x1646 -x1746 -x47 -x147 -x247 -x347 -x447 -x547 -x647 1783.32 v -x747 -x847 -x947 -x1047 -x1147 -x1247 x1347 -x1447 -x1547 -x1647 -x1747 -x48 -x148 -x248 -x348 -x448 -x548 -x648 -x748 1783.32 v -x848 -x948 -x1048 -x1148 -x1248 -x1348 -x1448 x1548 -x1648 -x1748 -x49 -x149 -x249 -x349 -x449 -x549 x649 -x749 -x849 -x949 1783.32 v -x1049 -x1149 -x1249 -x1349 -x1449 -x1549 -x1649 -x1749 -x50 -x150 -x250 -x350 -x450 -x550 -x650 -x750 x850 -x950 -x1050 1783.32 v -x1150 -x1250 -x1350 -x1450 -x1550 -x1650 -x1750 -x51 -x151 -x251 -x351 -x451 -x551 -x651 -x751 -x851 -x951 -x1051 x1151 1783.32 v -x1251 -x1351 -x1451 -x1551 -x1651 -x1751 -x52 -x152 -x252 -x352 -x452 -x552 -x652 -x752 -x852 -x952 -x1052 -x1152 -x1252 1783.32 v -x1352 -x1452 -x1552 x1652 -x1752 -x53 -x153 -x253 -x353 -x453 -x553 -x653 -x753 -x853 -x953 -x1053 -x1153 x1253 -x1353 1783.32 v -x1453 -x1553 -x1653 -x1753 -x54 -x154 -x254 -x354 -x454 -x554 -x654 -x754 -x854 -x954 -x1054 -x1154 -x1254 -x1354 -x1454 1783.32 v -x1554 -x1654 x1754 -x55 -x155 -x255 -x355 -x455 -x555 -x655 x755 -x855 -x955 -x1055 -x1155 -x1255 -x1355 -x1455 -x1555 1783.32 v -x1655 -x1755 -x57 -x157 x257 -x357 -x457 -x557 -x657 -x757 -x857 -x957 -x1057 -x1157 -x1257 -x1357 -x1457 -x1557 -x1657 1783.32 v -x1757 -x58 -x158 -x258 -x358 -x458 x558 -x658 -x758 -x858 -x958 -x1058 -x1158 -x1258 -x1358 -x1458 -x1558 -x1658 -x1758 1783.32 v -x59 -x159 -x259 -x359 -x459 -x559 -x659 -x759 -x859 -x959 -x1059 -x1159 -x1259 x1359 -x1459 -x1559 -x1659 -x1759 -x60 -x160 1783.32 v -x260 -x360 -x460 -x560 x660 -x760 -x860 -x960 -x1060 -x1160 -x1260 -x1360 -x1460 -x1560 -x1660 -x1760 -x61 -x161 -x261 1783.32 v -x361 -x461 -x561 -x661 -x761 -x861 -x961 -x1061 -x1161 -x1261 -x1361 -x1461 -x1561 -x1661 x1761 -x62 x162 -x262 -x362 -x462 1783.32 v -x562 -x662 -x762 -x862 -x962 -x1062 -x1162 -x1262 -x1362 -x1462 -x1562 -x1662 -x1762 -x63 -x163 -x263 -x363 -x463 -x563 1783.32 v -x663 -x763 -x863 -x963 -x1063 x1163 -x1263 -x1363 -x1463 -x1563 -x1663 -x1763 -x64 -x164 -x264 -x364 -x464 x564 -x664 -x764 1783.32 v -x864 -x964 -x1064 -x1164 -x1264 -x1364 -x1464 -x1564 -x1664 -x1764 -x65 -x165 -x265 -x365 -x465 -x565 -x665 -x765 -x865 1783.32 v x965 -x1065 -x1165 -x1265 -x1365 -x1465 -x1565 -x1665 -x1765 -x66 -x166 -x266 -x366 -x466 -x566 -x666 -x766 -x866 -x966 1783.32 v -x1066 -x1166 -x1266 -x1366 -x1466 x1566 -x1666 -x1766 -x68 -x168 -x268 -x368 -x468 -x568 -x668 -x768 -x868 -x968 -x1068 1783.32 v -x1168 -x1268 -x1368 -x1468 -x1568 x1668 -x1768 x69 -x169 -x269 -x369 -x469 -x569 -x669 -x769 -x869 -x969 -x1069 -x1169 1783.32 v -x1269 -x1369 -x1469 -x1569 -x1669 -x1769 -x70 -x170 -x270 -x370 -x470 -x570 -x670 -x770 -x870 -x970 x1070 -x1170 -x1270 1783.32 v -x1370 -x1470 -x1570 -x1670 -x1770 -x71 -x171 -x271 -x371 -x471 -x571 x671 -x771 -x871 -x971 -x1071 -x1171 -x1271 -x1371 1783.32 v -x1471 -x1571 -x1671 -x1771 -x72 -x172 -x272 -x372 -x472 -x572 -x672 -x772 -x872 -x972 -x1072 x1172 -x1272 -x1372 -x1472 1783.32 v -x1572 -x1672 -x1772 -x73 -x173 -x273 -x373 x473 -x573 -x673 -x773 -x873 -x973 -x1073 -x1173 -x1273 -x1373 -x1473 -x1573 1783.32 v -x1673 -x1773 -x74 -x174 -x274 -x374 -x474 -x574 -x674 -x774 -x874 -x974 x1074 -x1174 -x1274 -x1374 -x1474 -x1574 -x1674 1783.32 v -x1774 -x75 -x175 -x275 -x375 -x475 -x575 -x675 -x775 -x875 -x975 -x1075 -x1175 x1275 -x1375 -x1475 -x1575 -x1675 -x1775 1783.32 v -x76 -x176 -x276 -x376 -x476 -x576 -x676 -x776 x876 -x976 -x1076 -x1176 -x1276 -x1376 -x1476 -x1576 -x1676 -x1776 -x77 -x177 1783.32 v -x277 x377 -x477 -x577 -x677 -x777 -x877 -x977 -x1077 -x1177 -x1277 -x1377 -x1477 -x1577 -x1677 -x1777 -x79 -x179 -x279 1783.32 v -x379 -x479 -x579 -x679 -x779 -x879 -x979 -x1079 -x1179 -x1279 -x1379 -x1479 -x1579 -x1679 x1779 -x80 -x180 -x280 -x380 1783.32 v -x480 -x580 -x680 -x780 -x880 -x980 -x1080 -x1180 -x1280 -x1380 x1480 -x1580 -x1680 -x1780 -x81 -x181 -x281 -x381 -x481 1783.32 v -x581 -x681 x781 -x881 -x981 -x1081 -x1181 -x1281 -x1381 -x1481 -x1581 -x1681 -x1781 -x82 -x182 -x282 -x382 -x482 -x582 1783.32 v -x682 -x782 x882 -x982 -x1082 -x1182 -x1282 -x1382 -x1482 -x1582 -x1682 -x1782 -x83 -x183 -x283 -x383 -x483 -x583 -x683 1783.32 v -x783 -x883 -x983 -x1083 -x1183 -x1283 -x1383 -x1483 x1583 -x1683 -x1783 -x84 -x184 x284 -x384 -x484 -x584 -x684 -x784 -x884 1783.32 v -x984 -x1084 -x1184 -x1284 -x1384 -x1484 -x1584 -x1684 -x1784 -x85 -x185 -x285 -x385 -x485 -x585 -x685 -x785 -x885 -x985 1783.32 v -x1085 -x1185 -x1285 -x1385 -x1485 -x1585 x1685 -x1785 -x86 -x186 -x286 x386 -x486 -x586 -x686 -x786 -x886 -x986 -x1086 1783.32 v -x1186 -x1286 -x1386 -x1486 -x1586 -x1686 -x1786 -x87 -x187 -x287 -x387 -x487 -x587 -x687 -x787 -x887 -x987 -x1087 -x1187 1783.32 v x1287 -x1387 -x1487 -x1587 -x1687 -x1787 -x88 x188 -x288 -x388 -x488 -x588 -x688 -x788 -x888 -x988 -x1088 -x1188 -x1288 1783.32 v -x1388 -x1488 -x1588 -x1688 -x1788 -x90 -x190 -x290 -x390 -x490 -x590 -x690 -x790 -x890 x990 -x1090 -x1190 -x1290 -x1390 1783.32 v -x1490 -x1590 -x1690 -x1790 -x91 -x191 -x291 -x391 -x491 -x591 -x691 -x791 -x891 -x991 -x1091 -x1191 x1291 -x1391 -x1491 1783.32 v -x1591 -x1691 -x1791 -x92 -x192 -x292 -x392 -x492 -x592 -x692 -x792 -x892 -x992 -x1092 -x1192 -x1292 -x1392 -x1492 x1592 1783.32 v -x1692 -x1792 x93 -x193 -x293 -x393 -x493 -x593 -x693 -x793 -x893 -x993 -x1093 -x1193 -x1293 -x1393 -x1493 -x1593 -x1693 1783.32 v -x1793 -x94 -x194 -x294 -x394 -x494 -x594 -x694 -x794 -x894 -x994 -x1094 -x1194 -x1294 -x1394 -x1494 -x1594 x1694 -x1794 1783.32 v -x95 -x195 -x295 -x395 -x495 -x595 -x695 -x795 -x895 -x995 -x1095 -x1195 -x1295 -x1395 -x1495 -x1595 -x1695 x1795 -x96 x196 1783.32 v -x296 -x396 -x496 -x596 -x696 -x796 -x896 -x996 -x1096 -x1196 -x1296 -x1396 -x1496 -x1596 -x1696 -x1796 -x97 -x197 -x297 1783.32 v -x397 x497 -x597 -x697 -x797 -x897 -x997 -x1097 -x1197 -x1297 -x1397 -x1497 -x1597 -x1697 -x1797 -x98 -x198 -x298 -x398 1783.32 v -x498 -x598 -x698 x798 -x898 -x998 -x1098 -x1198 -x1298 -x1398 -x1498 -x1598 -x1698 -x1798 -x99 -x199 -x299 -x399 -x499 1783.32 v -x599 -x699 -x799 -x899 -x999 -x1099 x1199 -x1299 -x1399 -x1499 -x1599 -x1699 -x1799 -x12 x112 -x212 x312 x412 -x512 -x612 1783.32 v -x712 x812 -x912 -x1012 x1112 x1212 -x1312 -x1412 x1512 x1612 x1712 x23 -x123 -x223 -x323 x423 x523 -x623 -x723 x823 x923 1783.32 v -x1023 x1123 x1223 x1323 -x1423 x1523 -x1623 -x1723 -x34 -x134 x234 -x334 -x434 x534 x634 x734 -x834 -x934 x1034 x1134 -x1234 1783.32 v -x1334 -x1434 x1534 x1634 x1734 -x45 x145 -x245 x345 -x445 -x545 -x645 x745 -x845 x945 x1045 -x1145 x1245 -x1345 x1445 -x1545 1783.32 v x1645 x1745 x56 x156 -x256 x356 x456 -x556 -x656 -x756 x856 x956 x1056 -x1156 -x1256 -x1356 x1456 x1556 -x1656 -x1756 -x67 1783.32 v -x167 x267 x367 x467 -x567 x667 x767 x867 -x967 -x1067 -x1167 x1267 x1367 x1467 -x1567 -x1667 -x1767 x78 x178 x278 -x378 -x478 1783.32 v x578 -x678 x778 -x878 x978 -x1078 -x1178 -x1278 x1378 -x1478 x1578 x1678 -x1778 x89 -x189 -x289 -x389 x489 x589 x689 -x789 1783.32 v -x889 -x989 x1089 x1189 -x1289 x1389 x1489 -x1589 -x1689 x1789 -x100 -x200 x300 x400 -x500 x600 x700 -x800 x900 x1000 x1100 1783.32 v -x1200 -x1300 x1400 x1500 -x1600 -x1700 -x1800 x1 x101 x201 -x301 -x401 -x501 x601 x701 -x801 -x901 -x1001 x1101 x1201 -x1301 1783.32 v -x1401 -x1501 x1601 x1701
OK 346
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node77/watcher-36811-1149400586 -o ROOT/results/node77/solver-36811-1149400586 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node77/36811-1149400586/instance-36811-1149400586.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/67 17128 /proc/meminfo: memFree=1840728/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=916 CPUtime=0 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 43 0 0 0 0 0 0 0 19 0 1 0 205697847 937984 28 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 1463220 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 229 28 20 16 0 8 0 [startup+10.0027 s] /proc/loadavg: 0.93 0.98 0.99 2/67 17128 /proc/meminfo: memFree=1819624/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=23820 CPUtime=9.99 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 5555 0 0 0 995 4 0 0 25 0 1 0 205697847 24391680 5527 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 5955 5527 205 16 0 5395 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 23820 [startup+20.0089 s] /proc/loadavg: 0.94 0.98 0.99 2/67 17128 /proc/meminfo: memFree=1809896/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=33732 CPUtime=19.99 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 8021 0 0 0 1993 6 0 0 25 0 1 0 205697847 34541568 7993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 8433 7993 205 16 0 7873 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 33732 [startup+30.0152 s] /proc/loadavg: 0.95 0.98 0.99 2/67 17128 /proc/meminfo: memFree=1799528/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=44196 CPUtime=30 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 10633 0 0 0 2991 9 0 0 25 0 1 0 205697847 45256704 10605 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 11049 10605 205 16 0 10489 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 44196 [startup+40.0204 s] /proc/loadavg: 0.96 0.98 0.99 2/67 17128 /proc/meminfo: memFree=1789160/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=54392 CPUtime=40 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 13202 0 0 0 3989 11 0 0 25 0 1 0 205697847 55697408 13174 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 13598 13174 205 16 0 13038 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 54392 [startup+50.0267 s] /proc/loadavg: 0.96 0.98 0.99 2/67 17128 /proc/meminfo: memFree=1781800/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=61992 CPUtime=50 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 15058 0 0 0 4986 14 0 0 25 0 1 0 205697847 63479808 15030 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 15498 15030 205 16 0 14938 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 61992 [startup+60.0329 s] /proc/loadavg: 0.97 0.98 0.99 2/67 17128 /proc/meminfo: memFree=1772904/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=70756 CPUtime=60.01 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 17273 0 0 0 5984 17 0 0 25 0 1 0 205697847 72454144 17245 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559578 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 17689 17245 205 16 0 17129 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 70756 [startup+70.0391 s] /proc/loadavg: 0.97 0.98 0.99 2/67 17128 /proc/meminfo: memFree=1764840/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=78928 CPUtime=70.01 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 19301 0 0 0 6983 18 0 0 25 0 1 0 205697847 80822272 19273 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 19732 19273 205 16 0 19172 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 78928 [startup+80.0454 s] /proc/loadavg: 0.98 0.98 0.99 2/67 17128 /proc/meminfo: memFree=1758056/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=85636 CPUtime=80.01 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 20992 0 0 0 7982 19 0 0 25 0 1 0 205697847 87691264 20964 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 21409 20964 205 16 0 20849 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 85636 [startup+90.0516 s] /proc/loadavg: 0.98 0.98 0.99 2/67 17128 /proc/meminfo: memFree=1758056/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=85632 CPUtime=90.02 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 20992 0 0 0 8982 20 0 0 25 0 1 0 205697847 87687168 20964 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 21408 20964 205 16 0 20848 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 85632 [startup+100.057 s] /proc/loadavg: 0.98 0.98 0.99 2/67 17128 /proc/meminfo: memFree=1758056/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=85632 CPUtime=100.01 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 20992 0 0 0 9981 20 0 0 25 0 1 0 205697847 87687168 20964 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559524 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 21408 20964 205 16 0 20848 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 85632 [startup+110.063 s] /proc/loadavg: 0.98 0.98 0.99 2/67 17128 /proc/meminfo: memFree=1758056/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=85632 CPUtime=110.03 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 20992 0 0 0 10981 22 0 0 25 0 1 0 205697847 87687168 20964 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520070 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 21408 20964 205 16 0 20848 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 85632 [startup+120.069 s] /proc/loadavg: 0.99 0.98 0.99 2/67 17128 /proc/meminfo: memFree=1758056/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=85632 CPUtime=120.02 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 20992 0 0 0 11980 22 0 0 25 0 1 0 205697847 87687168 20964 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 21408 20964 205 16 0 20848 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 85632 [startup+130.076 s] /proc/loadavg: 0.99 0.98 0.99 2/67 17128 /proc/meminfo: memFree=1758056/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=85632 CPUtime=130.03 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 20992 0 0 0 12981 22 0 0 25 0 1 0 205697847 87687168 20964 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519085 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 21408 20964 205 16 0 20848 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 85632 [startup+140.082 s] /proc/loadavg: 0.99 0.98 0.99 2/67 17128 /proc/meminfo: memFree=1750056/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=93540 CPUtime=140.03 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 22979 0 0 0 13979 24 0 0 25 0 1 0 205697847 95784960 22951 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 23385 22951 205 16 0 22825 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 93540 [startup+150.088 s] /proc/loadavg: 0.99 0.98 0.99 2/67 17128 /proc/meminfo: memFree=1741608/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=101964 CPUtime=150.03 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 25089 0 0 0 14978 25 0 0 25 0 1 0 205697847 104411136 25061 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 25491 25061 205 16 0 24931 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 101964 [startup+160.093 s] /proc/loadavg: 0.99 0.98 0.99 2/67 17128 /proc/meminfo: memFree=1733992/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=109704 CPUtime=160.04 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 27011 0 0 0 15977 27 0 0 25 0 1 0 205697847 112336896 26983 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 27426 26983 205 16 0 26866 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 109704 [startup+170.1 s] /proc/loadavg: 0.99 0.98 0.99 2/67 17128 /proc/meminfo: memFree=1725992/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=117624 CPUtime=170.05 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 28987 0 0 0 16976 29 0 0 25 0 1 0 205697847 120446976 28959 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532911 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 29406 28959 205 16 0 28846 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 117624 [startup+180.106 s] /proc/loadavg: 0.99 0.98 0.99 2/67 17128 /proc/meminfo: memFree=1717800/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=125808 CPUtime=180.05 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 31033 0 0 0 17975 30 0 0 25 0 1 0 205697847 128827392 31005 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532897 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 31452 31005 205 16 0 30892 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 125808 [startup+190.112 s] /proc/loadavg: 0.99 0.98 0.99 2/67 17128 /proc/meminfo: memFree=1710056/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=133440 CPUtime=190.05 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 32964 0 0 0 18974 31 0 0 25 0 1 0 205697847 136642560 32936 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557393 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 33360 32936 205 16 0 32800 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 133440 [startup+200.118 s] /proc/loadavg: 0.99 0.98 0.99 2/67 17128 /proc/meminfo: memFree=1708840/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=134672 CPUtime=200.05 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 33266 0 0 0 19973 32 0 0 25 0 1 0 205697847 137904128 33238 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 33668 33238 205 16 0 33108 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 134672 [startup+210.125 s] /proc/loadavg: 0.99 0.98 0.99 2/67 17128 /proc/meminfo: memFree=1708840/2055892 swapFree=4085328/4096564 ################ # More data... # ################ /proc/17128/statm: 59768 59267 206 16 0 59208 0 Current children cumulated CPU time (s) 1590.42 Current children cumulated vsize (Kb) 239072 [startup+1600.96 s] /proc/loadavg: 0.99 0.98 0.99 2/67 17323 /proc/meminfo: memFree=1604328/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=239072 CPUtime=1600.42 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 59295 0 0 0 159943 99 0 0 25 0 1 0 205697847 244809728 59267 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 59768 59267 206 16 0 59208 0 Current children cumulated CPU time (s) 1600.42 Current children cumulated vsize (Kb) 239072 [startup+1610.97 s] /proc/loadavg: 0.99 0.98 0.99 2/67 17323 /proc/meminfo: memFree=1604328/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=239072 CPUtime=1610.42 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 59295 0 0 0 160943 99 0 0 25 0 1 0 205697847 244809728 59267 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 59768 59267 206 16 0 59208 0 Current children cumulated CPU time (s) 1610.42 Current children cumulated vsize (Kb) 239072 [startup+1620.98 s] /proc/loadavg: 0.99 0.98 0.99 2/67 17323 /proc/meminfo: memFree=1604328/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=239072 CPUtime=1620.43 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 59295 0 0 0 161943 100 0 0 25 0 1 0 205697847 244809728 59267 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 59768 59267 206 16 0 59208 0 Current children cumulated CPU time (s) 1620.43 Current children cumulated vsize (Kb) 239072 [startup+1630.98 s] /proc/loadavg: 0.99 0.98 0.99 2/67 17323 /proc/meminfo: memFree=1604264/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=239072 CPUtime=1630.43 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 59295 0 0 0 162943 100 0 0 25 0 1 0 205697847 244809728 59267 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 59768 59267 206 16 0 59208 0 Current children cumulated CPU time (s) 1630.43 Current children cumulated vsize (Kb) 239072 [startup+1640.99 s] /proc/loadavg: 1.07 1.00 1.00 2/67 17323 /proc/meminfo: memFree=1600424/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=243024 CPUtime=1640.43 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 60253 0 0 0 163943 100 0 0 25 0 1 0 205697847 248856576 60225 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 60756 60225 206 16 0 60196 0 Current children cumulated CPU time (s) 1640.43 Current children cumulated vsize (Kb) 243024 [startup+1650.99 s] /proc/loadavg: 1.06 1.00 1.00 2/67 17323 /proc/meminfo: memFree=1594536/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=248828 CPUtime=1650.43 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 61730 0 0 0 164942 101 0 0 25 0 1 0 205697847 254799872 61702 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 62207 61702 206 16 0 61647 0 Current children cumulated CPU time (s) 1650.43 Current children cumulated vsize (Kb) 248828 [startup+1661 s] /proc/loadavg: 1.05 1.00 1.00 2/67 17323 /proc/meminfo: memFree=1587496/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=255996 CPUtime=1660.44 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 63494 0 0 0 165942 102 0 0 25 0 1 0 205697847 262139904 63466 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 63999 63466 206 16 0 63439 0 Current children cumulated CPU time (s) 1660.44 Current children cumulated vsize (Kb) 255996 [startup+1671.01 s] /proc/loadavg: 1.04 1.00 1.00 2/67 17323 /proc/meminfo: memFree=1580840/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=262612 CPUtime=1670.45 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 65147 0 0 0 166942 103 0 0 25 0 1 0 205697847 268914688 65119 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 65653 65119 206 16 0 65093 0 Current children cumulated CPU time (s) 1670.45 Current children cumulated vsize (Kb) 262612 [startup+1681.01 s] /proc/loadavg: 1.04 1.00 1.00 2/67 17323 /proc/meminfo: memFree=1574504/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=268904 CPUtime=1680.45 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 66732 0 0 0 167941 104 0 0 25 0 1 0 205697847 275357696 66704 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 67226 66704 206 16 0 66666 0 Current children cumulated CPU time (s) 1680.45 Current children cumulated vsize (Kb) 268904 [startup+1691.02 s] /proc/loadavg: 1.03 1.00 1.00 2/67 17323 /proc/meminfo: memFree=1568104/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=275280 CPUtime=1690.46 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 68325 0 0 0 168941 105 0 0 25 0 1 0 205697847 281886720 68297 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 68820 68297 206 16 0 68260 0 Current children cumulated CPU time (s) 1690.46 Current children cumulated vsize (Kb) 275280 [startup+1701.02 s] /proc/loadavg: 1.03 1.00 1.00 2/67 17323 /proc/meminfo: memFree=1562472/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=280844 CPUtime=1700.46 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 69726 0 0 0 169940 106 0 0 25 0 1 0 205697847 287584256 69698 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 70211 69698 206 16 0 69651 0 Current children cumulated CPU time (s) 1700.46 Current children cumulated vsize (Kb) 280844 [startup+1711.03 s] /proc/loadavg: 1.02 1.00 1.00 2/67 17323 /proc/meminfo: memFree=1557288/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=286032 CPUtime=1710.45 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 71028 0 0 0 170939 106 0 0 25 0 1 0 205697847 292896768 71000 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519910 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 71508 71000 206 16 0 70948 0 Current children cumulated CPU time (s) 1710.45 Current children cumulated vsize (Kb) 286032 [startup+1721.04 s] /proc/loadavg: 1.02 1.00 1.00 2/67 17323 /proc/meminfo: memFree=1551848/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=291468 CPUtime=1720.46 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 72384 0 0 0 171939 107 0 0 25 0 1 0 205697847 298463232 72356 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 72867 72356 206 16 0 72307 0 Current children cumulated CPU time (s) 1720.46 Current children cumulated vsize (Kb) 291468 [startup+1731.04 s] /proc/loadavg: 1.01 1.00 1.00 2/67 17323 /proc/meminfo: memFree=1545896/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=297384 CPUtime=1730.47 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 73859 0 0 0 172939 108 0 0 25 0 1 0 205697847 304521216 73831 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 74346 73831 206 16 0 73786 0 Current children cumulated CPU time (s) 1730.47 Current children cumulated vsize (Kb) 297384 [startup+1741.05 s] /proc/loadavg: 1.01 1.00 1.00 2/67 17323 /proc/meminfo: memFree=1540840/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=302552 CPUtime=1740.47 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 75138 0 0 0 173938 109 0 0 25 0 1 0 205697847 309813248 75110 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 75638 75110 206 16 0 75078 0 Current children cumulated CPU time (s) 1740.47 Current children cumulated vsize (Kb) 302552 [startup+1751.05 s] /proc/loadavg: 1.01 1.00 1.00 2/67 17323 /proc/meminfo: memFree=1535400/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=307992 CPUtime=1750.48 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 76492 0 0 0 174937 111 0 0 25 0 1 0 205697847 315383808 76464 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 76998 76464 206 16 0 76438 0 Current children cumulated CPU time (s) 1750.48 Current children cumulated vsize (Kb) 307992 [startup+1761.06 s] /proc/loadavg: 1.01 1.00 1.00 2/67 17323 /proc/meminfo: memFree=1529064/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=314192 CPUtime=1760.48 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 78065 0 0 0 175936 112 0 0 25 0 1 0 205697847 321732608 78037 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520147 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 78548 78037 206 16 0 77988 0 Current children cumulated CPU time (s) 1760.48 Current children cumulated vsize (Kb) 314192 [startup+1771.07 s] /proc/loadavg: 1.01 1.00 1.00 2/67 17323 /proc/meminfo: memFree=1523816/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=319488 CPUtime=1770.48 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 79373 0 0 0 176935 113 0 0 25 0 1 0 205697847 327155712 79345 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 79872 79345 206 16 0 79312 0 Current children cumulated CPU time (s) 1770.48 Current children cumulated vsize (Kb) 319488 [startup+1781.07 s] /proc/loadavg: 1.00 1.00 1.00 2/67 17323 /proc/meminfo: memFree=1518696/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=324536 CPUtime=1780.48 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 80651 0 0 0 177934 114 0 0 25 0 1 0 205697847 332324864 80623 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 81134 80623 206 16 0 80574 0 Current children cumulated CPU time (s) 1780.48 Current children cumulated vsize (Kb) 324536 [startup+1782.08 s] /proc/loadavg: 1.00 1.00 1.00 2/67 17323 /proc/meminfo: memFree=1517992/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=325264 CPUtime=1781.48 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 80830 0 0 0 178034 114 0 0 25 0 1 0 205697847 333070336 80802 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520163 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 81316 80802 206 16 0 80756 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (Kb) 325264 [startup+1783.08 s] /proc/loadavg: 1.00 1.00 1.00 2/67 17323 /proc/meminfo: memFree=1517992/2055892 swapFree=4085328/4096564 [pid=17128] ppid=17126 vsize=325264 CPUtime=1782.49 /proc/17128/stat : 17128 (Pueblo) R 17126 17128 17082 0 -1 4194304 80830 0 0 0 178135 114 0 0 25 0 1 0 205697847 333070336 80802 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/17128/statm: 81316 80802 206 16 0 80756 0 Current children cumulated CPU time (s) 1782.49 Current children cumulated vsize (Kb) 325264 Child status: 10 Real time (s): 1783.38 CPU time (s): 1782.79 CPU user time (s): 1781.59 CPU system time (s): 1.19582 CPU usage (%): 99.967 Max. virtual memory (cumulated for all children) (Kb): 325264
Begin job on node77 on Sun Jun 4 05:56:26 UTC 2006 FILE ID= 36811-1149400586 PBS_JOBID= 314001 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ10_3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node77/36811-1149400586/instance-36811-1149400586.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node77/watcher-36811-1149400586 -o ROOT/results/node77/solver-36811-1149400586 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node77/36811-1149400586/instance-36811-1149400586.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 2821538067d8c071dc9bd4a000c6d040 RANDOM SEED= 472192497 /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.238 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.16 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.238 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: 1841128 kB Buffers: 28188 kB Cached: 117360 kB SwapCached: 2488 kB Active: 36076 kB Inactive: 118224 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1841128 kB SwapTotal: 4096564 kB SwapFree: 4085328 kB Dirty: 188 kB Writeback: 0 kB Mapped: 16124 kB Slab: 47132 kB Committed_AS: 405932 kB PageTables: 1276 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node77 on Sun Jun 4 06:26:10 UTC 2006