Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | SAT | 340 | 1782.81 | 1783.43 |
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.41 c starting to Solve 1.41 c #variables read: 2700 - #constraints read: 43071 1.50 o 394 1.53 o 388 2.85 o 386 8.47 o 382 9.77 o 374 10.02 o 372 18.44 o 368 38.10 o 366 64.24 o 362 64.25 o 358 64.35 o 354 64.36 o 350 68.97 o 348 79.60 o 346 79.61 o 344 79.61 o 342 99.37 o 340 1783.38 c total time : 1783.03 s 1783.38 s SATISFIABLE 1783.38 v -x1801 -x1802 -x1803 x1804 -x1805 x1806 x1807 x1808 x1809 x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 1783.38 v x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 1783.38 v -x1837 -x1838 -x1839 x1840 -x1841 -x1842 -x1843 -x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 1783.38 v -x1855 -x1856 -x1857 -x1858 -x1859 x1860 -x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1783.38 v -x1873 x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 1783.38 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 x1897 -x1898 -x1899 x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 x1907 x1908 1783.38 v -x1909 -x1910 -x1911 -x1912 x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 1783.38 v -x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 x1939 -x1940 -x1941 -x1942 -x1943 -x1944 1783.38 v -x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 x1958 -x1959 -x1960 -x1961 -x1962 1783.38 v -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 1783.38 v -x1981 x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 1783.38 v -x1999 -x2000 x2001 x2002 x2003 x2004 -x2005 x2006 -x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 1783.38 v -x2017 -x2018 x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 1783.38 v x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 x2041 -x2042 -x2043 -x2044 x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 1783.38 v -x2052 -x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 1783.38 v -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 x2079 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 1783.38 v -x2088 -x2089 -x2090 x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 x2098 x2099 x2100 x2101 -x2102 x2103 -x2104 -x2105 1783.38 v -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 -x2121 -x2122 -x2123 1783.38 v -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 x2137 -x2138 -x2139 -x2140 -x2141 1783.38 v -x2142 -x2143 -x2144 -x2145 x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 1783.38 v -x2159 x2160 -x2161 -x2162 x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 x2176 1783.38 v -x2177 -x2178 -x2179 -x2180 -x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 -x2192 -x2193 -x2194 1783.38 v -x2195 -x2196 -x2197 x2198 -x2199 -x2200 x2201 -x2202 -x2203 -x2204 x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 1783.38 v x2213 -x2214 -x2215 -x2216 -x2217 -x2218 x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 x2230 1783.38 v -x2231 -x2232 -x2233 -x2234 x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 1783.38 v -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 1783.38 v x2266 -x2267 -x2268 x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 x2282 -x2283 1783.38 v -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 x2292 -x2293 -x2294 -x2295 -x2296 x2297 x2298 x2299 x2300 -x2301 1783.38 v -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 1783.38 v -x2319 -x2320 x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 1783.38 v x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 x2346 -x2347 -x2348 -x2349 -x2350 -x2351 x2352 -x2353 -x2354 1783.38 v -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 1783.38 v -x2372 x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 1783.38 v -x2390 -x2391 -x2392 x2393 -x2394 x2395 x2396 x2397 -x2398 x2399 x2400 x2401 -x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 1783.38 v -x2409 x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 1783.38 v -x2427 x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2439 -x2440 x2441 -x2442 -x2443 -x2444 1783.38 v -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 x2459 -x2460 -x2461 -x2462 1783.38 v -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 1783.38 v -x2480 -x2481 -x2482 x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 -x2492 -x2493 x2494 -x2495 -x2496 x2497 1783.38 v x2498 x2499 x2500 -x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 1783.38 v -x2516 -x2517 -x2518 x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 -x2530 -x2531 x2532 -x2533 1783.38 v -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 x2546 -x2547 -x2548 -x2549 -x2550 1783.38 v -x2551 x2552 -x2553 -x2554 -x2555 -x2556 x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 1783.38 v -x2569 -x2570 -x2571 -x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 -x2586 1783.38 v -x2587 x2588 -x2589 -x2590 -x2591 -x2592 -x2593 x2594 x2595 -x2596 -x2597 -x2598 x2599 x2600 x2601 -x2602 -x2603 -x2604 1783.38 v -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 x2619 -x2620 -x2621 -x2622 1783.38 v -x2623 -x2624 -x2625 -x2626 -x2627 x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 x2637 -x2638 -x2639 -x2640 1783.38 v -x2641 -x2642 -x2643 -x2644 -x2645 x2646 -x2647 -x2648 -x2649 x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 x2658 1783.38 v -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 x2671 -x2672 -x2673 -x2674 -x2675 1783.38 v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 x2692 x2693 1783.38 v -x2694 -x2695 x2696 x2697 x2698 -x2699 x2700 -x2 -x102 x202 -x302 -x402 -x502 -x602 -x702 -x802 -x902 -x1002 -x1102 -x1202 1783.38 v -x1302 -x1402 -x1502 -x1602 -x1702 -x3 -x103 -x203 -x303 -x403 -x503 x603 -x703 -x803 -x903 -x1003 -x1103 -x1203 -x1303 1783.38 v -x1403 -x1503 -x1603 -x1703 -x4 -x104 -x204 -x304 -x404 -x504 -x604 -x704 -x804 -x904 -x1004 -x1104 x1204 -x1304 -x1404 1783.38 v -x1504 -x1604 -x1704 -x5 -x105 -x205 -x305 -x405 -x505 -x605 -x705 -x805 -x905 -x1005 x1105 -x1205 -x1305 -x1405 -x1505 1783.38 v -x1605 -x1705 -x6 -x106 -x206 -x306 -x406 -x506 -x606 -x706 -x806 -x906 -x1006 -x1106 -x1206 -x1306 -x1406 -x1506 -x1606 1783.38 v x1706 -x7 -x107 -x207 -x307 -x407 -x507 -x607 -x707 -x807 -x907 -x1007 -x1107 -x1207 -x1307 -x1407 -x1507 x1607 -x1707 -x8 1783.38 v -x108 -x208 -x308 -x408 -x508 -x608 -x708 -x808 x908 -x1008 -x1108 -x1208 -x1308 -x1408 -x1508 -x1608 -x1708 -x9 x109 -x209 1783.38 v -x309 -x409 -x509 -x609 -x709 -x809 -x909 -x1009 -x1109 -x1209 -x1309 -x1409 -x1509 -x1609 -x1709 -x10 -x110 -x210 -x310 1783.38 v -x410 x510 -x610 -x710 -x810 -x910 -x1010 -x1110 -x1210 -x1310 -x1410 -x1510 -x1610 -x1710 -x11 -x111 -x211 -x311 -x411 1783.38 v -x511 -x611 -x711 -x811 -x911 -x1011 -x1111 -x1211 -x1311 -x1411 x1511 -x1611 -x1711 -x13 -x113 -x213 -x313 -x413 -x513 1783.38 v -x613 -x713 -x813 x913 -x1013 -x1113 -x1213 -x1313 -x1413 -x1513 -x1613 -x1713 -x14 -x114 -x214 -x314 -x414 -x514 -x614 1783.38 v -x714 -x814 -x914 -x1014 x1114 -x1214 -x1314 -x1414 -x1514 -x1614 -x1714 -x15 -x115 -x215 -x315 -x415 -x515 -x615 -x715 1783.38 v -x815 -x915 -x1015 -x1115 -x1215 -x1315 -x1415 -x1515 -x1615 x1715 -x16 -x116 -x216 -x316 -x416 -x516 -x616 -x716 -x816 1783.38 v -x916 x1016 -x1116 -x1216 -x1316 -x1416 -x1516 -x1616 -x1716 -x17 -x117 -x217 -x317 -x417 -x517 x617 -x717 -x817 -x917 -x1017 1783.38 v -x1117 -x1217 -x1317 -x1417 -x1517 -x1617 -x1717 -x18 -x118 -x218 -x318 -x418 -x518 -x618 -x718 -x818 -x918 -x1018 -x1118 1783.38 v -x1218 -x1318 -x1418 -x1518 x1618 -x1718 -x19 -x119 -x219 -x319 -x419 x519 -x619 -x719 -x819 -x919 -x1019 -x1119 -x1219 1783.38 v -x1319 -x1419 -x1519 -x1619 -x1719 -x20 x120 -x220 -x320 -x420 -x520 -x620 -x720 -x820 -x920 -x1020 -x1120 -x1220 -x1320 1783.38 v -x1420 -x1520 -x1620 -x1720 -x21 -x121 -x221 x321 -x421 -x521 -x621 -x721 -x821 -x921 -x1021 -x1121 -x1221 -x1321 -x1421 1783.38 v -x1521 -x1621 -x1721 -x22 -x122 -x222 -x322 -x422 -x522 -x622 -x722 -x822 -x922 -x1022 -x1122 x1222 -x1322 -x1422 -x1522 1783.38 v -x1622 -x1722 -x24 -x124 -x224 -x324 -x424 -x524 -x624 x724 -x824 -x924 -x1024 -x1124 -x1224 -x1324 -x1424 -x1524 -x1624 1783.38 v -x1724 -x25 -x125 -x225 -x325 -x425 -x525 -x625 -x725 -x825 -x925 -x1025 -x1125 -x1225 -x1325 -x1425 x1525 -x1625 -x1725 1783.38 v -x26 x126 -x226 -x326 -x426 -x526 -x626 -x726 -x826 -x926 -x1026 -x1126 -x1226 -x1326 -x1426 -x1526 -x1626 -x1726 -x27 -x127 1783.38 v -x227 -x327 -x427 -x527 -x627 -x727 -x827 -x927 x1027 -x1127 -x1227 -x1327 -x1427 -x1527 -x1627 -x1727 -x28 -x128 -x228 1783.38 v -x328 -x428 -x528 -x628 -x728 -x828 -x928 -x1028 x1128 -x1228 -x1328 -x1428 -x1528 -x1628 -x1728 -x29 -x129 -x229 -x329 1783.38 v -x429 -x529 -x629 -x729 -x829 -x929 -x1029 -x1129 -x1229 -x1329 -x1429 -x1529 -x1629 x1729 -x30 -x130 x230 -x330 -x430 -x530 1783.38 v -x630 -x730 -x830 -x930 -x1030 -x1130 -x1230 -x1330 -x1430 -x1530 -x1630 -x1730 -x31 -x131 -x231 -x331 -x431 -x531 -x631 1783.38 v -x731 x831 -x931 -x1031 -x1131 -x1231 -x1331 -x1431 -x1531 -x1631 -x1731 -x32 -x132 -x232 -x332 -x432 -x532 -x632 -x732 1783.38 v -x832 -x932 -x1032 -x1132 -x1232 x1332 -x1432 -x1532 -x1632 -x1732 -x33 -x133 -x233 -x333 -x433 -x533 -x633 -x733 -x833 1783.38 v -x933 -x1033 -x1133 -x1233 -x1333 -x1433 -x1533 x1633 -x1733 -x35 -x135 -x235 -x335 -x435 x535 -x635 -x735 -x835 -x935 -x1035 1783.38 v -x1135 -x1235 -x1335 -x1435 -x1535 -x1635 -x1735 -x36 -x136 x236 -x336 -x436 -x536 -x636 -x736 -x836 -x936 -x1036 -x1136 1783.38 v -x1236 -x1336 -x1436 -x1536 -x1636 -x1736 -x37 x137 -x237 -x337 -x437 -x537 -x637 -x737 -x837 -x937 -x1037 -x1137 -x1237 1783.38 v -x1337 -x1437 -x1537 -x1637 -x1737 -x38 -x138 -x238 -x338 -x438 -x538 x638 -x738 -x838 -x938 -x1038 -x1138 -x1238 -x1338 1783.38 v -x1438 -x1538 -x1638 -x1738 -x39 -x139 -x239 -x339 -x439 -x539 -x639 -x739 -x839 -x939 x1039 -x1139 -x1239 -x1339 -x1439 1783.38 v -x1539 -x1639 -x1739 -x40 -x140 -x240 -x340 -x440 -x540 -x640 -x740 -x840 x940 -x1040 -x1140 -x1240 -x1340 -x1440 -x1540 1783.38 v -x1640 -x1740 -x41 -x141 -x241 -x341 -x441 -x541 -x641 -x741 -x841 -x941 -x1041 -x1141 -x1241 x1341 -x1441 -x1541 -x1641 1783.38 v -x1741 x42 -x142 -x242 -x342 -x442 -x542 -x642 -x742 -x842 -x942 -x1042 -x1142 -x1242 -x1342 -x1442 -x1542 -x1642 -x1742 1783.38 v -x43 -x143 -x243 -x343 -x443 -x543 -x643 -x743 x843 -x943 -x1043 -x1143 -x1243 -x1343 -x1443 -x1543 -x1643 -x1743 -x44 -x144 1783.38 v -x244 -x344 -x444 -x544 -x644 -x744 -x844 -x944 -x1044 -x1144 -x1244 -x1344 x1444 -x1544 -x1644 -x1744 -x46 -x146 -x246 1783.38 v -x346 -x446 -x546 x646 -x746 -x846 -x946 -x1046 -x1146 -x1246 -x1346 -x1446 -x1546 -x1646 -x1746 -x47 -x147 x247 -x347 -x447 1783.38 v -x547 -x647 -x747 -x847 -x947 -x1047 -x1147 -x1247 -x1347 -x1447 -x1547 -x1647 -x1747 -x48 x148 -x248 -x348 -x448 -x548 1783.38 v -x648 -x748 -x848 -x948 -x1048 -x1148 -x1248 -x1348 -x1448 -x1548 -x1648 -x1748 -x49 -x149 -x249 -x349 -x449 -x549 -x649 1783.38 v x749 -x849 -x949 -x1049 -x1149 -x1249 -x1349 -x1449 -x1549 -x1649 -x1749 -x50 -x150 -x250 -x350 -x450 -x550 -x650 -x750 1783.38 v -x850 -x950 -x1050 -x1150 x1250 -x1350 -x1450 -x1550 -x1650 -x1750 -x51 -x151 -x251 -x351 -x451 -x551 -x651 -x751 -x851 1783.38 v -x951 -x1051 -x1151 -x1251 -x1351 x1451 -x1551 -x1651 -x1751 -x52 -x152 -x252 -x352 -x452 -x552 -x652 x752 -x852 -x952 -x1052 1783.38 v -x1152 -x1252 -x1352 -x1452 -x1552 -x1652 -x1752 -x53 -x153 -x253 -x353 -x453 -x553 -x653 -x753 -x853 -x953 -x1053 -x1153 1783.38 v -x1253 x1353 -x1453 -x1553 -x1653 -x1753 x54 -x154 -x254 -x354 -x454 -x554 -x654 -x754 -x854 -x954 -x1054 -x1154 -x1254 1783.38 v -x1354 -x1454 -x1554 -x1654 -x1754 -x55 -x155 -x255 -x355 x455 -x555 -x655 -x755 -x855 -x955 -x1055 -x1155 -x1255 -x1355 1783.38 v -x1455 -x1555 -x1655 -x1755 -x57 -x157 -x257 -x357 -x457 x557 -x657 -x757 -x857 -x957 -x1057 -x1157 -x1257 -x1357 -x1457 1783.38 v -x1557 -x1657 -x1757 -x58 -x158 -x258 -x358 -x458 -x558 -x658 -x758 x858 -x958 -x1058 -x1158 -x1258 -x1358 -x1458 -x1558 1783.38 v -x1658 -x1758 -x59 -x159 -x259 -x359 -x459 -x559 -x659 -x759 -x859 x959 -x1059 -x1159 -x1259 -x1359 -x1459 -x1559 -x1659 1783.38 v -x1759 -x60 -x160 -x260 -x360 -x460 -x560 -x660 -x760 -x860 -x960 -x1060 -x1160 -x1260 -x1360 -x1460 x1560 -x1660 -x1760 1783.38 v x61 -x161 -x261 -x361 -x461 -x561 -x661 -x761 -x861 -x961 -x1061 -x1161 -x1261 -x1361 -x1461 -x1561 -x1661 -x1761 -x62 -x162 1783.38 v -x262 x362 -x462 -x562 -x662 -x762 -x862 -x962 -x1062 -x1162 -x1262 -x1362 -x1462 -x1562 -x1662 -x1762 -x63 -x163 -x263 1783.38 v -x363 -x463 -x563 -x663 -x763 -x863 -x963 -x1063 -x1163 -x1263 -x1363 x1463 -x1563 -x1663 -x1763 -x64 -x164 -x264 -x364 1783.38 v x464 -x564 -x664 -x764 -x864 -x964 -x1064 -x1164 -x1264 -x1364 -x1464 -x1564 -x1664 -x1764 -x65 -x165 -x265 -x365 -x465 1783.38 v -x565 -x665 -x765 -x865 x965 -x1065 -x1165 -x1265 -x1365 -x1465 -x1565 -x1665 -x1765 -x66 -x166 -x266 -x366 -x466 -x566 1783.38 v -x666 -x766 -x866 -x966 -x1066 x1166 -x1266 -x1366 -x1466 -x1566 -x1666 -x1766 -x68 -x168 -x268 -x368 -x468 -x568 -x668 1783.38 v -x768 -x868 -x968 -x1068 -x1168 -x1268 -x1368 -x1468 -x1568 -x1668 x1768 -x69 -x169 -x269 -x369 -x469 -x569 -x669 -x769 1783.38 v -x869 -x969 -x1069 -x1169 x1269 -x1369 -x1469 -x1569 -x1669 -x1769 -x70 -x170 -x270 -x370 -x470 -x570 -x670 x770 -x870 -x970 1783.38 v -x1070 -x1170 -x1270 -x1370 -x1470 -x1570 -x1670 -x1770 -x71 -x171 -x271 -x371 -x471 -x571 -x671 x771 -x871 -x971 -x1071 1783.38 v -x1171 -x1271 -x1371 -x1471 -x1571 -x1671 -x1771 -x72 -x172 -x272 -x372 x472 -x572 -x672 -x772 -x872 -x972 -x1072 -x1172 1783.38 v -x1272 -x1372 -x1472 -x1572 -x1672 -x1772 -x73 -x173 -x273 -x373 -x473 x573 -x673 -x773 -x873 -x973 -x1073 -x1173 -x1273 1783.38 v -x1373 -x1473 -x1573 -x1673 -x1773 -x74 -x174 -x274 x374 -x474 -x574 -x674 -x774 -x874 -x974 -x1074 -x1174 -x1274 -x1374 1783.38 v -x1474 -x1574 -x1674 -x1774 -x75 -x175 -x275 -x375 -x475 -x575 -x675 -x775 -x875 -x975 x1075 -x1175 -x1275 -x1375 -x1475 1783.38 v -x1575 -x1675 -x1775 -x76 -x176 -x276 -x376 -x476 -x576 -x676 -x776 -x876 -x976 -x1076 -x1176 x1276 -x1376 -x1476 -x1576 1783.38 v -x1676 -x1776 -x77 -x177 -x277 -x377 -x477 -x577 -x677 -x777 -x877 -x977 -x1077 -x1177 -x1277 -x1377 -x1477 x1577 -x1677 1783.38 v -x1777 -x79 -x179 -x279 -x379 -x479 -x579 -x679 -x779 -x879 -x979 -x1079 -x1179 -x1279 x1379 -x1479 -x1579 -x1679 -x1779 1783.38 v x80 -x180 -x280 -x380 -x480 -x580 -x680 -x780 -x880 -x980 -x1080 -x1180 -x1280 -x1380 -x1480 -x1580 -x1680 -x1780 -x81 -x181 1783.38 v -x281 -x381 x481 -x581 -x681 -x781 -x881 -x981 -x1081 -x1181 -x1281 -x1381 -x1481 -x1581 -x1681 -x1781 -x82 -x182 -x282 1783.38 v -x382 -x482 -x582 -x682 -x782 -x882 -x982 -x1082 -x1182 -x1282 -x1382 x1482 -x1582 -x1682 -x1782 x83 -x183 -x283 -x383 -x483 1783.38 v -x583 -x683 -x783 -x883 -x983 -x1083 -x1183 -x1283 -x1383 -x1483 -x1583 -x1683 -x1783 -x84 -x184 -x284 -x384 -x484 -x584 1783.38 v -x684 -x784 -x884 -x984 -x1084 -x1184 -x1284 -x1384 -x1484 x1584 -x1684 -x1784 -x85 -x185 -x285 x385 -x485 -x585 -x685 -x785 1783.38 v -x885 -x985 -x1085 -x1185 -x1285 -x1385 -x1485 -x1585 -x1685 -x1785 -x86 -x186 -x286 -x386 -x486 -x586 -x686 -x786 -x886 1783.38 v -x986 -x1086 -x1186 -x1286 -x1386 -x1486 -x1586 x1686 -x1786 -x87 -x187 -x287 -x387 -x487 -x587 -x687 -x787 x887 -x987 -x1087 1783.38 v -x1187 -x1287 -x1387 -x1487 -x1587 -x1687 -x1787 -x88 -x188 x288 -x388 -x488 -x588 -x688 -x788 -x888 -x988 -x1088 -x1188 1783.38 v -x1288 -x1388 -x1488 -x1588 -x1688 -x1788 -x90 -x190 -x290 -x390 -x490 -x590 -x690 -x790 -x890 -x990 -x1090 x1190 -x1290 1783.38 v -x1390 -x1490 -x1590 -x1690 -x1790 -x91 -x191 -x291 -x391 -x491 -x591 -x691 -x791 -x891 -x991 x1091 -x1191 -x1291 -x1391 1783.38 v -x1491 -x1591 -x1691 -x1791 -x92 -x192 -x292 -x392 -x492 -x592 -x692 -x792 x892 -x992 -x1092 -x1192 -x1292 -x1392 -x1492 1783.38 v -x1592 -x1692 -x1792 -x93 -x193 -x293 -x393 x493 -x593 -x693 -x793 -x893 -x993 -x1093 -x1193 -x1293 -x1393 -x1493 -x1593 1783.38 v -x1693 -x1793 -x94 -x194 -x294 -x394 -x494 -x594 -x694 -x794 -x894 -x994 -x1094 -x1194 -x1294 -x1394 -x1494 -x1594 -x1694 1783.38 v x1794 -x95 -x195 -x295 -x395 -x495 -x595 -x695 -x795 -x895 -x995 -x1095 -x1195 -x1295 -x1395 -x1495 -x1595 x1695 -x1795 1783.38 v -x96 -x196 -x296 x396 -x496 -x596 -x696 -x796 -x896 -x996 -x1096 -x1196 -x1296 -x1396 -x1496 -x1596 -x1696 -x1796 -x97 -x197 1783.38 v -x297 -x397 -x497 -x597 -x697 -x797 -x897 -x997 -x1097 -x1197 -x1297 x1397 -x1497 -x1597 -x1697 -x1797 -x98 -x198 -x298 1783.38 v -x398 -x498 -x598 -x698 -x798 -x898 -x998 -x1098 -x1198 -x1298 -x1398 x1498 -x1598 -x1698 -x1798 -x99 -x199 -x299 -x399 1783.38 v -x499 -x599 x699 -x799 -x899 -x999 -x1099 -x1199 -x1299 -x1399 -x1499 -x1599 -x1699 -x1799 x12 -x112 x212 x312 x412 -x512 1783.38 v -x612 x712 x812 -x912 -x1012 -x1112 x1212 x1312 x1412 -x1512 -x1612 -x1712 x23 -x123 -x223 -x323 x423 x523 x623 -x723 x823 1783.38 v x923 -x1023 -x1123 -x1223 x1323 x1423 -x1523 x1623 -x1723 x34 -x134 -x234 x334 x434 -x534 -x634 x734 -x834 -x934 -x1034 x1134 1783.38 v x1234 -x1334 x1434 x1534 -x1634 x1734 -x45 -x145 -x245 x345 x445 x545 -x645 -x745 -x845 x945 x1045 x1145 -x1245 -x1345 -x1445 1783.38 v x1545 x1645 x1745 -x56 x156 x256 x356 -x456 -x556 x656 -x756 -x856 -x956 x1056 x1156 x1256 -x1356 -x1456 -x1556 x1656 x1756 1783.38 v -x67 x167 x267 -x367 -x467 x567 x667 -x767 x867 -x967 x1067 -x1167 -x1267 x1367 -x1467 x1567 x1667 -x1767 -x78 x178 x278 -x378 1783.38 v -x478 -x578 x678 -x778 x878 x978 -x1078 x1178 -x1278 -x1378 x1478 -x1578 x1678 x1778 -x89 x189 -x289 -x389 -x489 x589 x689 1783.38 v x789 -x889 x989 x1089 -x1189 x1289 x1389 -x1489 -x1589 -x1689 x1789 x100 x200 x300 -x400 -x500 x600 -x700 x800 -x900 x1000 1783.38 v -x1100 x1200 x1300 -x1400 -x1500 x1600 -x1700 -x1800 x1 -x101 -x201 x301 x401 -x501 -x601 x701 x801 -x901 x1001 -x1101 -x1201 1783.38 v x1301 x1401 x1501 -x1601 -x1701
OK 340
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/node33/watcher-37961-1149400623 -o ROOT/results/node33/solver-37961-1149400623 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node33/37961-1149400623/instance-37961-1149400623.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.90 0.95 0.98 2/64 30582 /proc/meminfo: memFree=1834112/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=172 CPUtime=0 /proc/30582/stat : 30582 (Pueblo13) D 30580 30582 30536 0 -1 4194304 38 0 0 0 0 0 0 0 18 0 1 0 205726083 176128 23 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 10945316 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/30582/statm: 44 23 18 16 0 3 0 [startup+10.0019 s] /proc/loadavg: 0.91 0.95 0.98 2/64 30582 /proc/meminfo: memFree=1810008/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=26896 CPUtime=9.99 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 6315 0 0 0 990 9 0 0 25 0 1 0 205726083 27541504 6286 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 6724 6286 205 16 0 6165 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 26896 [startup+20.0082 s] /proc/loadavg: 0.92 0.96 0.98 2/64 30582 /proc/meminfo: memFree=1796376/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=40600 CPUtime=19.99 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 9738 0 0 0 1985 14 0 0 25 0 1 0 205726083 41574400 9709 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 10150 9709 205 16 0 9591 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 40600 [startup+30.0145 s] /proc/loadavg: 0.94 0.96 0.98 2/64 30582 /proc/meminfo: memFree=1782424/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=54628 CPUtime=30 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 13236 0 0 0 2983 17 0 0 25 0 1 0 205726083 55939072 13207 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 13657 13207 205 16 0 13098 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 54628 [startup+40.0208 s] /proc/loadavg: 0.94 0.96 0.98 2/64 30582 /proc/meminfo: memFree=1769752/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=67324 CPUtime=39.99 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 16417 0 0 0 3979 20 0 0 25 0 1 0 205726083 68939776 16388 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 16831 16388 205 16 0 16272 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 67324 [startup+50.0271 s] /proc/loadavg: 0.95 0.96 0.98 2/64 30582 /proc/meminfo: memFree=1762776/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=74316 CPUtime=50 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 18149 0 0 0 4978 22 0 0 25 0 1 0 205726083 76099584 18120 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 11379039 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 18579 18120 205 16 0 18020 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 74316 [startup+60.0333 s] /proc/loadavg: 0.96 0.96 0.98 2/64 30582 /proc/meminfo: memFree=1762776/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=74316 CPUtime=60.01 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 18149 0 0 0 5978 23 0 0 25 0 1 0 205726083 76099584 18120 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 18579 18120 205 16 0 18020 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 74316 [startup+70.0396 s] /proc/loadavg: 0.97 0.96 0.98 2/64 30582 /proc/meminfo: memFree=1762776/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=74316 CPUtime=70.01 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 18149 0 0 0 6977 24 0 0 25 0 1 0 205726083 76099584 18120 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 18579 18120 205 16 0 18020 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 74316 [startup+80.0459 s] /proc/loadavg: 0.97 0.96 0.98 2/64 30582 /proc/meminfo: memFree=1758296/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=78684 CPUtime=80.01 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 19259 0 0 0 7976 25 0 0 25 0 1 0 205726083 80572416 19230 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 19671 19230 205 16 0 19112 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 78684 [startup+90.0522 s] /proc/loadavg: 0.97 0.96 0.98 2/64 30582 /proc/meminfo: memFree=1746840/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=90184 CPUtime=90.02 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 22141 0 0 0 8974 28 0 0 25 0 1 0 205726083 92348416 22112 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 22546 22112 205 16 0 21987 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 90184 [startup+100.058 s] /proc/loadavg: 0.98 0.96 0.98 2/64 30582 /proc/meminfo: memFree=1735832/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=101184 CPUtime=100.02 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 24879 0 0 0 9972 30 0 0 25 0 1 0 205726083 103612416 24850 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520196 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 25296 24850 205 16 0 24737 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 101184 [startup+110.065 s] /proc/loadavg: 0.98 0.96 0.98 2/64 30582 /proc/meminfo: memFree=1725400/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=111584 CPUtime=110.02 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 27480 0 0 0 10969 33 0 0 25 0 1 0 205726083 114262016 27451 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 27896 27451 205 16 0 27337 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 111584 [startup+120.07 s] /proc/loadavg: 0.98 0.97 0.98 2/64 30582 /proc/meminfo: memFree=1715032/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=121932 CPUtime=120.02 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 30072 0 0 0 11966 36 0 0 25 0 1 0 205726083 124858368 30043 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527664 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 30483 30043 205 16 0 29924 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 121932 [startup+130.076 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30582 /proc/meminfo: memFree=1711000/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=126008 CPUtime=130.03 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 31076 0 0 0 12966 37 0 0 25 0 1 0 205726083 129032192 31047 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 31502 31047 205 16 0 30943 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 126008 [startup+140.083 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30582 /proc/meminfo: memFree=1711000/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=126008 CPUtime=140.02 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 31076 0 0 0 13965 37 0 0 25 0 1 0 205726083 129032192 31047 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 31502 31047 205 16 0 30943 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 126008 [startup+150.089 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30582 /proc/meminfo: memFree=1711000/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=126008 CPUtime=150.04 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 31076 0 0 0 14966 38 0 0 25 0 1 0 205726083 129032192 31047 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 31502 31047 205 16 0 30943 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 126008 [startup+160.095 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30582 /proc/meminfo: memFree=1711000/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=126008 CPUtime=160.03 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 31076 0 0 0 15964 39 0 0 25 0 1 0 205726083 129032192 31047 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 31502 31047 205 16 0 30943 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 126008 [startup+170.101 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30582 /proc/meminfo: memFree=1711000/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=126008 CPUtime=170.04 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 31076 0 0 0 16963 41 0 0 25 0 1 0 205726083 129032192 31047 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 31502 31047 205 16 0 30943 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 126008 [startup+180.108 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30582 /proc/meminfo: memFree=1710936/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=126008 CPUtime=180.05 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 31076 0 0 0 17963 42 0 0 25 0 1 0 205726083 129032192 31047 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 31502 31047 205 16 0 30943 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 126008 [startup+190.114 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30582 /proc/meminfo: memFree=1710936/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=126008 CPUtime=190.04 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 31076 0 0 0 18962 42 0 0 25 0 1 0 205726083 129032192 31047 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 31502 31047 205 16 0 30943 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 126008 [startup+200.12 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30582 /proc/meminfo: memFree=1708760/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=128152 CPUtime=200.05 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 31632 0 0 0 19961 44 0 0 25 0 1 0 205726083 131227648 31603 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 32038 31603 205 16 0 31479 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 128152 [startup+210.127 s] /proc/loadavg: 0.99 0.97 0.98 2/64 30582 /proc/meminfo: memFree=1699224/2055920 swapFree=4181260/4192956 ################ # More data... # ################ /proc/30582/statm: 62196 61698 206 16 0 61637 0 Current children cumulated CPU time (s) 1590.42 Current children cumulated vsize (Kb) 248784 [startup+1600.99 s] /proc/loadavg: 1.00 0.99 0.99 2/64 30777 /proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=248784 CPUtime=1600.41 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 159893 148 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 62196 61698 206 16 0 61637 0 Current children cumulated CPU time (s) 1600.41 Current children cumulated vsize (Kb) 248784 [startup+1611 s] /proc/loadavg: 1.00 0.99 0.99 2/64 30777 /proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=248784 CPUtime=1610.43 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 160894 149 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 62196 61698 206 16 0 61637 0 Current children cumulated CPU time (s) 1610.43 Current children cumulated vsize (Kb) 248784 [startup+1621 s] /proc/loadavg: 1.00 0.99 0.99 2/64 30777 /proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=248784 CPUtime=1620.42 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 161893 149 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 62196 61698 206 16 0 61637 0 Current children cumulated CPU time (s) 1620.42 Current children cumulated vsize (Kb) 248784 [startup+1631.01 s] /proc/loadavg: 1.00 0.99 0.99 2/64 30777 /proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=248784 CPUtime=1630.43 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 162894 149 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527385 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 62196 61698 206 16 0 61637 0 Current children cumulated CPU time (s) 1630.43 Current children cumulated vsize (Kb) 248784 [startup+1641.02 s] /proc/loadavg: 1.00 0.99 0.99 2/64 30777 /proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=248784 CPUtime=1640.44 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 163894 150 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 62196 61698 206 16 0 61637 0 Current children cumulated CPU time (s) 1640.44 Current children cumulated vsize (Kb) 248784 [startup+1651.02 s] /proc/loadavg: 1.00 0.99 0.99 2/64 30777 /proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=248784 CPUtime=1650.44 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 164894 150 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 62196 61698 206 16 0 61637 0 Current children cumulated CPU time (s) 1650.44 Current children cumulated vsize (Kb) 248784 [startup+1661.03 s] /proc/loadavg: 1.00 0.99 0.99 2/64 30777 /proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=248784 CPUtime=1660.43 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 165893 150 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520198 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 62196 61698 206 16 0 61637 0 Current children cumulated CPU time (s) 1660.43 Current children cumulated vsize (Kb) 248784 [startup+1671.03 s] /proc/loadavg: 1.00 0.99 0.99 2/64 30777 /proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=248784 CPUtime=1670.44 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 166893 151 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 62196 61698 206 16 0 61637 0 Current children cumulated CPU time (s) 1670.44 Current children cumulated vsize (Kb) 248784 [startup+1681.04 s] /proc/loadavg: 1.00 0.99 0.99 2/64 30777 /proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=248784 CPUtime=1680.45 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 167893 152 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 62196 61698 206 16 0 61637 0 Current children cumulated CPU time (s) 1680.45 Current children cumulated vsize (Kb) 248784 [startup+1691.05 s] /proc/loadavg: 1.00 0.99 0.99 2/64 30777 /proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=248784 CPUtime=1690.45 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 168893 152 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 62196 61698 206 16 0 61637 0 Current children cumulated CPU time (s) 1690.45 Current children cumulated vsize (Kb) 248784 [startup+1701.05 s] /proc/loadavg: 1.00 0.99 0.99 2/64 30777 /proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=248784 CPUtime=1700.45 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 169893 152 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 62196 61698 206 16 0 61637 0 Current children cumulated CPU time (s) 1700.45 Current children cumulated vsize (Kb) 248784 [startup+1711.06 s] /proc/loadavg: 1.00 0.99 0.99 2/64 30777 /proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=248784 CPUtime=1710.45 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 170893 152 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 62196 61698 206 16 0 61637 0 Current children cumulated CPU time (s) 1710.45 Current children cumulated vsize (Kb) 248784 [startup+1721.07 s] /proc/loadavg: 1.00 0.99 0.99 2/64 30777 /proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=248784 CPUtime=1720.46 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 171893 153 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 62196 61698 206 16 0 61637 0 Current children cumulated CPU time (s) 1720.46 Current children cumulated vsize (Kb) 248784 [startup+1731.07 s] /proc/loadavg: 1.07 1.00 0.99 2/64 30777 /proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=248784 CPUtime=1730.46 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 172893 153 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520116 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 62196 61698 206 16 0 61637 0 Current children cumulated CPU time (s) 1730.46 Current children cumulated vsize (Kb) 248784 [startup+1741.08 s] /proc/loadavg: 1.06 1.00 0.99 2/64 30777 /proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=248784 CPUtime=1740.47 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 173893 154 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 62196 61698 206 16 0 61637 0 Current children cumulated CPU time (s) 1740.47 Current children cumulated vsize (Kb) 248784 [startup+1751.08 s] /proc/loadavg: 1.05 1.00 0.99 2/64 30777 /proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=248784 CPUtime=1750.47 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 174893 154 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 62196 61698 206 16 0 61637 0 Current children cumulated CPU time (s) 1750.47 Current children cumulated vsize (Kb) 248784 [startup+1761.09 s] /proc/loadavg: 1.04 1.00 0.99 2/64 30777 /proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=248784 CPUtime=1760.47 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 175893 154 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520163 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 62196 61698 206 16 0 61637 0 Current children cumulated CPU time (s) 1760.47 Current children cumulated vsize (Kb) 248784 [startup+1771.1 s] /proc/loadavg: 1.04 1.00 0.99 2/64 30777 /proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=248784 CPUtime=1770.48 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 176893 155 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 62196 61698 206 16 0 61637 0 Current children cumulated CPU time (s) 1770.48 Current children cumulated vsize (Kb) 248784 [startup+1781.1 s] /proc/loadavg: 1.03 1.00 0.99 2/64 30777 /proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=248784 CPUtime=1780.48 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 177893 155 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519929 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 62196 61698 206 16 0 61637 0 Current children cumulated CPU time (s) 1780.48 Current children cumulated vsize (Kb) 248784 [startup+1782.11 s] /proc/loadavg: 1.03 1.00 0.99 2/64 30777 /proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=248784 CPUtime=1781.48 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 177993 155 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 62196 61698 206 16 0 61637 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (Kb) 248784 [startup+1783.11 s] /proc/loadavg: 1.03 1.00 0.99 2/64 30777 /proc/meminfo: memFree=1587544/2055920 swapFree=4181260/4192956 [pid=30582] ppid=30580 vsize=248784 CPUtime=1782.49 /proc/30582/stat : 30582 (Pueblo13) R 30580 30582 30536 0 -1 4194304 61870 0 0 0 178094 155 0 0 25 0 1 0 205726083 254754816 61698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/30582/statm: 62196 61698 206 16 0 61637 0 Current children cumulated CPU time (s) 1782.49 Current children cumulated vsize (Kb) 248784 Child status: 10 Real time (s): 1783.43 CPU time (s): 1782.81 CPU user time (s): 1781.21 CPU system time (s): 1.59476 CPU usage (%): 99.9651 Max. virtual memory (cumulated for all children) (Kb): 249408
Begin job on node33 on Sun Jun 4 05:57:03 UTC 2006 FILE ID= 37961-1149400623 PBS_JOBID= 314002 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/Pueblo13 ROOT/tmp/node33/37961-1149400623/instance-37961-1149400623.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-37961-1149400623 -o ROOT/results/node33/solver-37961-1149400623 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node33/37961-1149400623/instance-37961-1149400623.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 2821538067d8c071dc9bd4a000c6d040 RANDOM SEED= 267553484 /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.213 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.213 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: 1834512 kB Buffers: 11764 kB Cached: 146772 kB SwapCached: 3100 kB Active: 38084 kB Inactive: 128888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1834512 kB SwapTotal: 4192956 kB SwapFree: 4181260 kB Dirty: 156 kB Writeback: 0 kB Mapped: 14464 kB Slab: 40516 kB Committed_AS: 401300 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node33 on Sun Jun 4 06:26:46 UTC 2006