Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 80503 | 1782.77 | 1783.43 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-data10_3.opb |
MD5SUM | dccfffd22c38fcd3c497d688dab4b7a4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 79290 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 79290 |
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 | 1380 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 559660 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1380 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 559660 |
Number of bits of the biggest sum of numbers | 20 |
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 2.16 o 85228 9.48 o 84318 9.49 o 82563 411.43 o 82162 411.96 o 82037 412.80 o 82035 412.81 o 81949 413.53 o 81910 413.53 o 81824 767.54 o 81465 767.61 o 81251 925.50 o 81178 937.62 o 81175 937.77 o 80809 989.74 o 80507 1204.28 o 80503 1783.39 c total time : 1783 s 1783.39 s SATISFIABLE 1783.39 v x1801 x1802 -x1803 x1804 -x1805 -x1806 -x1807 -x1808 x1809 -x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 -x1818 1783.39 v -x1819 -x1820 x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 x1835 -x1836 1783.39 v -x1837 -x1838 -x1839 -x1840 -x1841 x1842 -x1843 -x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 1783.39 v x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1783.39 v x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 x1889 -x1890 1783.39 v x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 x1901 x1902 -x1903 -x1904 x1905 -x1906 x1907 -x1908 1783.39 v -x1909 x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 1783.39 v -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 1783.39 v -x1945 -x1946 -x1947 -x1948 -x1949 x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 1783.39 v -x1963 -x1964 -x1965 -x1966 x1967 -x1968 -x1969 -x1970 -x1971 -x1972 x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 1783.39 v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 x1987 -x1988 -x1989 -x1990 x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 1783.39 v x1999 x2000 -x2001 x2002 x2003 x2004 -x2005 -x2006 x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 1783.39 v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 1783.39 v -x2035 -x2036 x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 1783.39 v -x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 x2065 -x2066 -x2067 -x2068 -x2069 -x2070 1783.39 v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 1783.39 v x2088 -x2089 -x2090 x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 x2098 -x2099 x2100 x2101 x2102 -x2103 x2104 -x2105 1783.39 v -x2106 -x2107 x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 -x2121 -x2122 -x2123 1783.39 v -x2124 -x2125 -x2126 -x2127 x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 x2140 -x2141 1783.39 v -x2142 -x2143 -x2144 -x2145 x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 x2155 -x2156 -x2157 -x2158 -x2159 1783.39 v -x2160 -x2161 -x2162 x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 -x2177 1783.39 v -x2178 -x2179 -x2180 -x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 -x2192 -x2193 -x2194 -x2195 1783.39 v -x2196 x2197 -x2198 x2199 -x2200 x2201 x2202 -x2203 -x2204 x2205 -x2206 x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 1783.39 v -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 x2228 -x2229 -x2230 -x2231 1783.39 v -x2232 -x2233 -x2234 -x2235 -x2236 x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 1783.39 v -x2249 x2250 -x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 x2262 -x2263 -x2264 -x2265 -x2266 1783.39 v -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 1783.39 v -x2284 x2285 -x2286 x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 x2297 x2298 -x2299 x2300 x2301 1783.39 v -x2302 -x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 x2319 1783.39 v -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 1783.39 v -x2337 -x2338 x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 x2353 -x2354 1783.39 v -x2355 -x2356 -x2357 -x2358 -x2359 x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 x2368 -x2369 -x2370 -x2371 -x2372 1783.39 v -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 1783.39 v -x2390 x2391 -x2392 -x2393 -x2394 -x2395 -x2396 x2397 x2398 -x2399 -x2400 -x2401 x2402 x2403 -x2404 -x2405 -x2406 -x2407 1783.39 v -x2408 x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 x2420 -x2421 -x2422 -x2423 -x2424 -x2425 1783.39 v -x2426 -x2427 x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2439 -x2440 -x2441 -x2442 x2443 1783.39 v -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 -x2459 -x2460 1783.39 v -x2461 -x2462 -x2463 x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 x2473 -x2474 -x2475 x2476 -x2477 -x2478 1783.39 v -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 -x2492 -x2493 -x2494 x2495 x2496 1783.39 v x2497 -x2498 x2499 -x2500 x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 x2509 -x2510 -x2511 -x2512 -x2513 -x2514 1783.39 v -x2515 -x2516 -x2517 -x2518 x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 x2526 -x2527 -x2528 -x2529 -x2530 x2531 -x2532 1783.39 v -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 1783.39 v -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 1783.39 v -x2568 -x2569 -x2570 -x2571 -x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 1783.39 v -x2586 -x2587 -x2588 -x2589 -x2590 x2591 -x2592 x2593 x2594 -x2595 x2596 -x2597 x2598 -x2599 -x2600 -x2601 -x2602 -x2603 1783.39 v -x2604 -x2605 -x2606 -x2607 -x2608 x2609 -x2610 -x2611 -x2612 -x2613 -x2614 x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 1783.39 v x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 x2637 -x2638 -x2639 1783.39 v -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 x2646 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 1783.39 v -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 x2664 -x2665 x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 1783.39 v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 -x2692 -x2693 1783.39 v x2694 -x2695 x2696 -x2697 x2698 x2699 x2700 -x2 -x102 -x202 -x302 -x402 -x502 -x602 -x702 -x802 -x902 -x1002 x1102 -x1202 1783.39 v -x1302 -x1402 -x1502 -x1602 -x1702 x3 -x103 -x203 -x303 -x403 -x503 -x603 -x703 -x803 -x903 -x1003 -x1103 -x1203 -x1303 1783.39 v -x1403 -x1503 -x1603 -x1703 -x4 x104 -x204 -x304 -x404 -x504 -x604 -x704 -x804 -x904 -x1004 -x1104 -x1204 -x1304 -x1404 1783.39 v -x1504 -x1604 -x1704 -x5 -x105 -x205 -x305 -x405 -x505 x605 -x705 -x805 -x905 -x1005 -x1105 -x1205 -x1305 -x1405 -x1505 1783.39 v -x1605 -x1705 -x6 -x106 -x206 -x306 -x406 -x506 -x606 -x706 -x806 -x906 -x1006 -x1106 x1206 -x1306 -x1406 -x1506 -x1606 1783.39 v -x1706 -x7 -x107 -x207 -x307 -x407 -x507 -x607 x707 -x807 -x907 -x1007 -x1107 -x1207 -x1307 -x1407 -x1507 -x1607 -x1707 1783.39 v -x8 -x108 -x208 -x308 -x408 -x508 -x608 -x708 -x808 -x908 -x1008 -x1108 -x1208 -x1308 -x1408 x1508 -x1608 -x1708 -x9 -x109 1783.39 v x209 -x309 -x409 -x509 -x609 -x709 -x809 -x909 -x1009 -x1109 -x1209 -x1309 -x1409 -x1509 -x1609 -x1709 -x10 -x110 -x210 1783.39 v -x310 -x410 -x510 -x610 -x710 -x810 -x910 -x1010 -x1110 -x1210 -x1310 x1410 -x1510 -x1610 -x1710 -x11 -x111 -x211 -x311 1783.39 v -x411 -x511 -x611 -x711 -x811 -x911 -x1011 -x1111 -x1211 x1311 -x1411 -x1511 -x1611 -x1711 -x13 -x113 -x213 -x313 -x413 1783.39 v -x513 -x613 -x713 -x813 -x913 x1013 -x1113 -x1213 -x1313 -x1413 -x1513 -x1613 -x1713 -x14 -x114 -x214 -x314 -x414 -x514 1783.39 v -x614 -x714 -x814 -x914 -x1014 -x1114 -x1214 -x1314 -x1414 -x1514 -x1614 x1714 -x15 -x115 -x215 -x315 -x415 -x515 -x615 1783.39 v x715 -x815 -x915 -x1015 -x1115 -x1215 -x1315 -x1415 -x1515 -x1615 -x1715 -x16 x116 -x216 -x316 -x416 -x516 -x616 -x716 -x816 1783.39 v -x916 -x1016 -x1116 -x1216 -x1316 -x1416 -x1516 -x1616 -x1716 x17 -x117 -x217 -x317 -x417 -x517 -x617 -x717 -x817 -x917 1783.39 v -x1017 -x1117 -x1217 -x1317 -x1417 -x1517 -x1617 -x1717 -x18 -x118 x218 -x318 -x418 -x518 -x618 -x718 -x818 -x918 -x1018 1783.39 v -x1118 -x1218 -x1318 -x1418 -x1518 -x1618 -x1718 -x19 -x119 -x219 -x319 -x419 -x519 x619 -x719 -x819 -x919 -x1019 -x1119 1783.39 v -x1219 -x1319 -x1419 -x1519 -x1619 -x1719 -x20 -x120 -x220 -x320 -x420 -x520 -x620 -x720 x820 -x920 -x1020 -x1120 -x1220 1783.39 v -x1320 -x1420 -x1520 -x1620 -x1720 -x21 -x121 -x221 -x321 -x421 x521 -x621 -x721 -x821 -x921 -x1021 -x1121 -x1221 -x1321 1783.39 v -x1421 -x1521 -x1621 -x1721 -x22 -x122 -x222 -x322 -x422 -x522 -x622 -x722 -x822 -x922 -x1022 -x1122 -x1222 -x1322 x1422 1783.39 v -x1522 -x1622 -x1722 -x24 -x124 x224 -x324 -x424 -x524 -x624 -x724 -x824 -x924 -x1024 -x1124 -x1224 -x1324 -x1424 -x1524 1783.39 v -x1624 -x1724 -x25 -x125 -x225 -x325 -x425 -x525 -x625 -x725 -x825 -x925 -x1025 x1125 -x1225 -x1325 -x1425 -x1525 -x1625 1783.39 v -x1725 -x26 -x126 -x226 -x326 -x426 -x526 -x626 -x726 -x826 x926 -x1026 -x1126 -x1226 -x1326 -x1426 -x1526 -x1626 -x1726 1783.39 v -x27 -x127 -x227 -x327 -x427 -x527 -x627 -x727 -x827 -x927 -x1027 -x1127 -x1227 -x1327 -x1427 -x1527 x1627 -x1727 -x28 -x128 1783.39 v -x228 -x328 -x428 -x528 x628 -x728 -x828 -x928 -x1028 -x1128 -x1228 -x1328 -x1428 -x1528 -x1628 -x1728 -x29 -x129 -x229 1783.39 v -x329 -x429 -x529 -x629 -x729 -x829 -x929 -x1029 -x1129 x1229 -x1329 -x1429 -x1529 -x1629 -x1729 -x30 x130 -x230 -x330 -x430 1783.39 v -x530 -x630 -x730 -x830 -x930 -x1030 -x1130 -x1230 -x1330 -x1430 -x1530 -x1630 -x1730 -x31 -x131 -x231 -x331 -x431 -x531 1783.39 v -x631 -x731 -x831 -x931 x1031 -x1131 -x1231 -x1331 -x1431 -x1531 -x1631 -x1731 -x32 -x132 -x232 -x332 -x432 -x532 -x632 1783.39 v -x732 -x832 -x932 -x1032 -x1132 -x1232 -x1332 -x1432 x1532 -x1632 -x1732 -x33 -x133 -x233 -x333 -x433 -x533 -x633 x733 -x833 1783.39 v -x933 -x1033 -x1133 -x1233 -x1333 -x1433 -x1533 -x1633 -x1733 -x35 -x135 -x235 -x335 -x435 -x535 -x635 -x735 -x835 -x935 1783.39 v -x1035 -x1135 -x1235 -x1335 x1435 -x1535 -x1635 -x1735 x36 -x136 -x236 -x336 -x436 -x536 -x636 -x736 -x836 -x936 -x1036 1783.39 v -x1136 -x1236 -x1336 -x1436 -x1536 -x1636 -x1736 -x37 -x137 -x237 -x337 -x437 x537 -x637 -x737 -x837 -x937 -x1037 -x1137 1783.39 v -x1237 -x1337 -x1437 -x1537 -x1637 -x1737 -x38 -x138 -x238 -x338 x438 -x538 -x638 -x738 -x838 -x938 -x1038 -x1138 -x1238 1783.39 v -x1338 -x1438 -x1538 -x1638 -x1738 -x39 -x139 -x239 -x339 -x439 -x539 -x639 -x739 -x839 -x939 -x1039 x1139 -x1239 -x1339 1783.39 v -x1439 -x1539 -x1639 -x1739 -x40 -x140 -x240 -x340 -x440 -x540 -x640 -x740 -x840 -x940 -x1040 -x1140 -x1240 -x1340 -x1440 1783.39 v -x1540 x1640 -x1740 -x41 -x141 -x241 -x341 -x441 -x541 -x641 -x741 x841 -x941 -x1041 -x1141 -x1241 -x1341 -x1441 -x1541 1783.39 v -x1641 -x1741 -x42 -x142 -x242 -x342 x442 -x542 -x642 -x742 -x842 -x942 -x1042 -x1142 -x1242 -x1342 -x1442 -x1542 -x1642 1783.39 v -x1742 -x43 -x143 -x243 -x343 -x443 -x543 -x643 -x743 -x843 -x943 -x1043 -x1143 -x1243 -x1343 -x1443 x1543 -x1643 -x1743 1783.39 v -x44 -x144 -x244 -x344 -x444 -x544 -x644 -x744 -x844 x944 -x1044 -x1144 -x1244 -x1344 -x1444 -x1544 -x1644 -x1744 -x46 -x146 1783.39 v -x246 x346 -x446 -x546 -x646 -x746 -x846 -x946 -x1046 -x1146 -x1246 -x1346 -x1446 -x1546 -x1646 -x1746 -x47 -x147 -x247 1783.39 v -x347 -x447 -x547 -x647 -x747 -x847 -x947 -x1047 -x1147 x1247 -x1347 -x1447 -x1547 -x1647 -x1747 -x48 -x148 -x248 -x348 1783.39 v -x448 -x548 -x648 -x748 -x848 -x948 -x1048 -x1148 -x1248 x1348 -x1448 -x1548 -x1648 -x1748 -x49 x149 -x249 -x349 -x449 -x549 1783.39 v -x649 -x749 -x849 -x949 -x1049 -x1149 -x1249 -x1349 -x1449 -x1549 -x1649 -x1749 x50 -x150 -x250 -x350 -x450 -x550 -x650 1783.39 v -x750 -x850 -x950 -x1050 -x1150 -x1250 -x1350 -x1450 -x1550 -x1650 -x1750 -x51 -x151 -x251 -x351 -x451 -x551 -x651 -x751 1783.39 v -x851 -x951 -x1051 -x1151 -x1251 -x1351 -x1451 -x1551 -x1651 x1751 -x52 -x152 -x252 -x352 -x452 x552 -x652 -x752 -x852 -x952 1783.39 v -x1052 -x1152 -x1252 -x1352 -x1452 -x1552 -x1652 -x1752 -x53 -x153 -x253 -x353 -x453 -x553 -x653 -x753 -x853 -x953 -x1053 1783.39 v -x1153 -x1253 x1353 -x1453 -x1553 -x1653 -x1753 -x54 -x154 -x254 -x354 -x454 -x554 x654 -x754 -x854 -x954 -x1054 -x1154 1783.39 v -x1254 -x1354 -x1454 -x1554 -x1654 -x1754 -x55 -x155 -x255 -x355 -x455 -x555 -x655 -x755 -x855 -x955 -x1055 -x1155 -x1255 1783.39 v -x1355 -x1455 -x1555 x1655 -x1755 -x57 -x157 x257 -x357 -x457 -x557 -x657 -x757 -x857 -x957 -x1057 -x1157 -x1257 -x1357 1783.39 v -x1457 -x1557 -x1657 -x1757 -x58 -x158 -x258 -x358 -x458 -x558 -x658 -x758 -x858 -x958 -x1058 x1158 -x1258 -x1358 -x1458 1783.39 v -x1558 -x1658 -x1758 -x59 -x159 -x259 -x359 -x459 -x559 -x659 x759 -x859 -x959 -x1059 -x1159 -x1259 -x1359 -x1459 -x1559 1783.39 v -x1659 -x1759 -x60 -x160 -x260 -x360 -x460 -x560 -x660 -x760 -x860 -x960 x1060 -x1160 -x1260 -x1360 -x1460 -x1560 -x1660 1783.39 v -x1760 -x61 -x161 -x261 -x361 x461 -x561 -x661 -x761 -x861 -x961 -x1061 -x1161 -x1261 -x1361 -x1461 -x1561 -x1661 -x1761 1783.39 v -x62 -x162 -x262 -x362 -x462 -x562 -x662 -x762 -x862 x962 -x1062 -x1162 -x1262 -x1362 -x1462 -x1562 -x1662 -x1762 -x63 -x163 1783.39 v -x263 -x363 -x463 -x563 -x663 -x763 x863 -x963 -x1063 -x1163 -x1263 -x1363 -x1463 -x1563 -x1663 -x1763 -x64 -x164 -x264 1783.39 v x364 -x464 -x564 -x664 -x764 -x864 -x964 -x1064 -x1164 -x1264 -x1364 -x1464 -x1564 -x1664 -x1764 -x65 -x165 -x265 -x365 1783.39 v -x465 -x565 -x665 -x765 -x865 -x965 x1065 -x1165 -x1265 -x1365 -x1465 -x1565 -x1665 -x1765 -x66 -x166 -x266 -x366 -x466 1783.39 v -x566 -x666 -x766 -x866 -x966 -x1066 -x1166 -x1266 -x1366 -x1466 x1566 -x1666 -x1766 -x68 -x168 -x268 -x368 -x468 -x568 1783.39 v -x668 -x768 -x868 -x968 -x1068 -x1168 -x1268 -x1368 x1468 -x1568 -x1668 -x1768 -x69 -x169 -x269 -x369 -x469 -x569 -x669 1783.39 v -x769 -x869 -x969 -x1069 -x1169 -x1269 x1369 -x1469 -x1569 -x1669 -x1769 -x70 -x170 -x270 -x370 -x470 -x570 x670 -x770 -x870 1783.39 v -x970 -x1070 -x1170 -x1270 -x1370 -x1470 -x1570 -x1670 -x1770 -x71 -x171 -x271 -x371 -x471 -x571 -x671 -x771 -x871 x971 1783.39 v -x1071 -x1171 -x1271 -x1371 -x1471 -x1571 -x1671 -x1771 -x72 -x172 -x272 -x372 -x472 -x572 -x672 -x772 -x872 -x972 -x1072 1783.39 v -x1172 -x1272 -x1372 -x1472 -x1572 x1672 -x1772 -x73 -x173 -x273 x373 -x473 -x573 -x673 -x773 -x873 -x973 -x1073 -x1173 1783.39 v -x1273 -x1373 -x1473 -x1573 -x1673 -x1773 -x74 -x174 -x274 -x374 -x474 -x574 -x674 -x774 -x874 -x974 -x1074 -x1174 x1274 1783.39 v -x1374 -x1474 -x1574 -x1674 -x1774 -x75 -x175 -x275 -x375 -x475 -x575 -x675 -x775 -x875 -x975 -x1075 -x1175 -x1275 -x1375 1783.39 v -x1475 -x1575 -x1675 x1775 -x76 -x176 -x276 -x376 -x476 -x576 -x676 -x776 x876 -x976 -x1076 -x1176 -x1276 -x1376 -x1476 1783.39 v -x1576 -x1676 -x1776 -x77 x177 -x277 -x377 -x477 -x577 -x677 -x777 -x877 -x977 -x1077 -x1177 -x1277 -x1377 -x1477 -x1577 1783.39 v -x1677 -x1777 x79 -x179 -x279 -x379 -x479 -x579 -x679 -x779 -x879 -x979 -x1079 -x1179 -x1279 -x1379 -x1479 -x1579 -x1679 1783.39 v -x1779 -x80 -x180 -x280 -x380 -x480 x580 -x680 -x780 -x880 -x980 -x1080 -x1180 -x1280 -x1380 -x1480 -x1580 -x1680 -x1780 1783.39 v -x81 -x181 -x281 -x381 -x481 -x581 -x681 -x781 -x881 -x981 -x1081 -x1181 -x1281 -x1381 -x1481 -x1581 x1681 -x1781 -x82 -x182 1783.39 v -x282 x382 -x482 -x582 -x682 -x782 -x882 -x982 -x1082 -x1182 -x1282 -x1382 -x1482 -x1582 -x1682 -x1782 -x83 -x183 -x283 1783.39 v -x383 x483 -x583 -x683 -x783 -x883 -x983 -x1083 -x1183 -x1283 -x1383 -x1483 -x1583 -x1683 -x1783 -x84 -x184 -x284 -x384 1783.39 v -x484 -x584 -x684 -x784 x884 -x984 -x1084 -x1184 -x1284 -x1384 -x1484 -x1584 -x1684 -x1784 -x85 -x185 -x285 -x385 -x485 1783.39 v x585 -x685 -x785 -x885 -x985 -x1085 -x1185 -x1285 -x1385 -x1485 -x1585 -x1685 -x1785 -x86 -x186 -x286 -x386 -x486 -x586 1783.39 v -x686 -x786 -x886 -x986 -x1086 -x1186 -x1286 -x1386 x1486 -x1586 -x1686 -x1786 -x87 -x187 -x287 -x387 -x487 -x587 -x687 1783.39 v -x787 -x887 -x987 -x1087 -x1187 -x1287 -x1387 -x1487 -x1587 -x1687 x1787 -x88 -x188 -x288 -x388 -x488 -x588 -x688 -x788 1783.39 v -x888 -x988 x1088 -x1188 -x1288 -x1388 -x1488 -x1588 -x1688 -x1788 -x90 -x190 -x290 -x390 -x490 -x590 -x690 -x790 -x890 1783.39 v x990 -x1090 -x1190 -x1290 -x1390 -x1490 -x1590 -x1690 -x1790 -x91 -x191 -x291 x391 -x491 -x591 -x691 -x791 -x891 -x991 -x1091 1783.39 v -x1191 -x1291 -x1391 -x1491 -x1591 -x1691 -x1791 -x92 -x192 -x292 -x392 -x492 -x592 -x692 -x792 -x892 -x992 -x1092 -x1192 1783.39 v x1292 -x1392 -x1492 -x1592 -x1692 -x1792 -x93 -x193 -x293 -x393 -x493 -x593 -x693 -x793 -x893 -x993 -x1093 -x1193 -x1293 1783.39 v -x1393 -x1493 -x1593 -x1693 x1793 -x94 -x194 -x294 -x394 -x494 -x594 -x694 -x794 -x894 -x994 -x1094 -x1194 -x1294 x1394 1783.39 v -x1494 -x1594 -x1694 -x1794 -x95 -x195 x295 -x395 -x495 -x595 -x695 -x795 -x895 -x995 -x1095 -x1195 -x1295 -x1395 -x1495 1783.39 v -x1595 -x1695 -x1795 -x96 -x196 -x296 -x396 x496 -x596 -x696 -x796 -x896 -x996 -x1096 -x1196 -x1296 -x1396 -x1496 -x1596 1783.39 v -x1696 -x1796 -x97 -x197 -x297 -x397 -x497 -x597 -x697 -x797 -x897 -x997 -x1097 x1197 -x1297 -x1397 -x1497 -x1597 -x1697 1783.39 v -x1797 -x98 -x198 -x298 -x398 -x498 -x598 -x698 x798 -x898 -x998 -x1098 -x1198 -x1298 -x1398 -x1498 -x1598 -x1698 -x1798 1783.39 v -x99 -x199 -x299 -x399 -x499 -x599 -x699 -x799 -x899 -x999 -x1099 -x1199 -x1299 -x1399 -x1499 x1599 -x1699 -x1799 -x12 -x112 1783.39 v -x212 x312 x412 x512 -x612 -x712 -x812 x912 -x1012 x1112 x1212 -x1312 x1412 x1512 x1612 -x1712 x23 -x123 -x223 x323 x423 -x523 1783.39 v -x623 x723 x823 -x923 x1023 -x1123 -x1223 x1323 -x1423 x1523 -x1623 x1723 -x34 x134 x234 x334 -x434 -x534 x634 -x734 x834 1783.39 v x934 -x1034 -x1134 x1234 x1334 -x1434 -x1534 -x1634 x1734 -x45 -x145 x245 -x345 -x445 x545 x645 x745 -x845 -x945 x1045 x1145 1783.39 v -x1245 -x1345 x1445 -x1545 x1645 x1745 x56 x156 -x256 x356 x456 -x556 -x656 -x756 x856 x956 -x1056 -x1156 x1256 -x1356 x1456 1783.39 v x1556 -x1656 -x1756 x67 x167 x267 -x367 -x467 x567 -x667 x767 -x867 -x967 -x1067 x1167 x1267 -x1367 -x1467 -x1567 x1667 x1767 1783.39 v -x78 -x178 x278 -x378 x478 -x578 x678 x778 -x878 -x978 x1078 x1178 -x1278 x1378 x1478 x1578 -x1678 -x1778 x89 x189 x289 -x389 1783.39 v -x489 -x589 x689 x789 -x889 -x989 -x1089 x1189 x1289 x1389 -x1489 x1589 -x1689 -x1789 x100 x200 -x300 -x400 -x500 x600 x700 1783.39 v -x800 x900 x1000 x1100 -x1200 -x1300 -x1400 x1500 -x1600 x1700 -x1800 -x1 -x101 -x201 x301 x401 x501 -x601 -x701 x801 x901 1783.39 v x1001 -x1101 -x1201 x1301 -x1401 -x1501 x1601 x1701
OK 80503
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/node3/watcher-36809-1149400331 -o ROOT/results/node3/solver-36809-1149400331 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node3/36809-1149400331/instance-36809-1149400331.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.13 1.09 1.03 2/64 3301 /proc/meminfo: memFree=1452264/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=916 CPUtime=0 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 44 0 0 0 0 0 0 0 18 0 1 0 205694794 937984 28 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 10924331 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 229 28 20 16 0 8 0 [startup+10.0022 s] /proc/loadavg: 1.11 1.09 1.03 2/64 3301 /proc/meminfo: memFree=1432488/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=22296 CPUtime=9.98 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 5168 0 0 0 994 4 0 0 25 0 1 0 205694794 22831104 5139 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 5574 5139 205 16 0 5015 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 22296 [startup+20.0078 s] /proc/loadavg: 1.09 1.08 1.03 2/64 3301 /proc/meminfo: memFree=1421736/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=33348 CPUtime=19.99 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 7922 0 0 0 1991 8 0 0 25 0 1 0 205694794 34148352 7893 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 8337 7893 205 16 0 7778 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 33348 [startup+30.0134 s] /proc/loadavg: 1.08 1.08 1.02 2/64 3301 /proc/meminfo: memFree=1412328/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=42612 CPUtime=29.99 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 10269 0 0 0 2987 12 0 0 25 0 1 0 205694794 43634688 10240 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557745 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 10653 10240 205 16 0 10094 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 42612 [startup+40.0191 s] /proc/loadavg: 1.07 1.08 1.02 2/64 3301 /proc/meminfo: memFree=1402664/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=52536 CPUtime=40 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 12702 0 0 0 3985 15 0 0 25 0 1 0 205694794 53796864 12673 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532911 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 13134 12673 205 16 0 12575 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 52536 [startup+50.0247 s] /proc/loadavg: 1.06 1.08 1.02 2/64 3301 /proc/meminfo: memFree=1392872/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=62204 CPUtime=49.99 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 15137 0 0 0 4983 16 0 0 25 0 1 0 205694794 63696896 15108 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 15551 15108 205 16 0 14992 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 62204 [startup+60.0303 s] /proc/loadavg: 1.05 1.07 1.02 2/64 3301 /proc/meminfo: memFree=1386344/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=68848 CPUtime=60 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 16783 0 0 0 5982 18 0 0 25 0 1 0 205694794 70500352 16754 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519068 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 17212 16754 205 16 0 16653 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 68848 [startup+70.036 s] /proc/loadavg: 1.04 1.07 1.02 2/64 3301 /proc/meminfo: memFree=1378920/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=76248 CPUtime=70 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 18635 0 0 0 6979 21 0 0 25 0 1 0 205694794 78077952 18606 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 19062 18606 205 16 0 18503 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 76248 [startup+80.0416 s] /proc/loadavg: 1.03 1.07 1.02 2/64 3301 /proc/meminfo: memFree=1377448/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=77684 CPUtime=80.01 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 19005 0 0 0 7979 22 0 0 25 0 1 0 205694794 79548416 18974 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519100 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 19421 18974 205 16 0 18862 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 77684 [startup+90.0472 s] /proc/loadavg: 1.03 1.06 1.02 2/64 3301 /proc/meminfo: memFree=1377448/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=77684 CPUtime=90.01 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 19005 0 0 0 8978 23 0 0 25 0 1 0 205694794 79548416 18974 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 19421 18974 205 16 0 18862 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 77684 [startup+100.053 s] /proc/loadavg: 1.02 1.06 1.02 2/64 3301 /proc/meminfo: memFree=1377448/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=77684 CPUtime=100.01 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 19005 0 0 0 9978 23 0 0 25 0 1 0 205694794 79548416 18974 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520161 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 19421 18974 205 16 0 18862 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 77684 [startup+110.058 s] /proc/loadavg: 1.02 1.06 1.02 2/64 3301 /proc/meminfo: memFree=1377448/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=77684 CPUtime=110.02 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 19005 0 0 0 10978 24 0 0 25 0 1 0 205694794 79548416 18974 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 19421 18974 205 16 0 18862 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 77684 [startup+120.064 s] /proc/loadavg: 1.02 1.06 1.02 2/64 3301 /proc/meminfo: memFree=1377384/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=77684 CPUtime=120.02 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 19005 0 0 0 11978 24 0 0 25 0 1 0 205694794 79548416 18974 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 19421 18974 205 16 0 18862 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 77684 [startup+130.07 s] /proc/loadavg: 1.01 1.05 1.01 2/64 3301 /proc/meminfo: memFree=1372392/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=82660 CPUtime=130.02 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 20258 0 0 0 12977 25 0 0 25 0 1 0 205694794 84643840 20227 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 20665 20227 205 16 0 20106 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 82660 [startup+140.075 s] /proc/loadavg: 1.01 1.05 1.01 2/64 3301 /proc/meminfo: memFree=1365096/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=89864 CPUtime=140.02 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 22074 0 0 0 13975 27 0 0 25 0 1 0 205694794 92020736 22039 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 22466 22039 205 16 0 21907 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 89864 [startup+150.081 s] /proc/loadavg: 1.01 1.05 1.01 2/64 3301 /proc/meminfo: memFree=1357992/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=96976 CPUtime=150.03 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 23855 0 0 0 14975 28 0 0 25 0 1 0 205694794 99303424 23820 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520116 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 24244 23820 205 16 0 23685 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 96976 [startup+160.087 s] /proc/loadavg: 1.01 1.05 1.01 2/64 3301 /proc/meminfo: memFree=1350120/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=104852 CPUtime=160.02 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 25822 0 0 0 15974 28 0 0 25 0 1 0 205694794 107368448 25783 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 11357655 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 26213 25783 205 16 0 25654 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 104852 [startup+170.092 s] /proc/loadavg: 1.00 1.05 1.01 2/64 3301 /proc/meminfo: memFree=1343272/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=111700 CPUtime=170.03 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 27522 0 0 0 16972 31 0 0 25 0 1 0 205694794 114380800 27483 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 11363132 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 27925 27483 205 16 0 27366 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 111700 [startup+180.098 s] /proc/loadavg: 1.00 1.04 1.01 2/64 3301 /proc/meminfo: memFree=1337064/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=117872 CPUtime=180.03 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 29080 0 0 0 17970 33 0 0 25 0 1 0 205694794 120700928 29041 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 29468 29041 205 16 0 28909 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 117872 [startup+190.104 s] /proc/loadavg: 1.00 1.04 1.01 2/64 3301 /proc/meminfo: memFree=1329064/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=125792 CPUtime=190.03 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 31072 0 0 0 18969 34 0 0 25 0 1 0 205694794 128811008 31033 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519958 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 31482 31035 205 16 0 30923 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 125792 [startup+200.109 s] /proc/loadavg: 1.00 1.04 1.01 2/64 3301 /proc/meminfo: memFree=1325736/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=129208 CPUtime=200.03 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 31922 0 0 0 19968 35 0 0 25 0 1 0 205694794 132308992 31883 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 32302 31883 205 16 0 31743 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 129208 [startup+210.116 s] /proc/loadavg: 1.00 1.04 1.01 2/64 3301 /proc/meminfo: memFree=1325672/2055920 swapFree=4181424/4192956 ################ # More data... # ################ /proc/3301/statm: 57872 57404 206 16 0 57313 0 Current children cumulated CPU time (s) 1590.32 Current children cumulated vsize (Kb) 231488 [startup+1600.93 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3496 /proc/meminfo: memFree=1223080/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=231488 CPUtime=1600.32 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 159916 116 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520163 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 57872 57404 206 16 0 57313 0 Current children cumulated CPU time (s) 1600.32 Current children cumulated vsize (Kb) 231488 [startup+1610.93 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3496 /proc/meminfo: memFree=1223080/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=231488 CPUtime=1610.33 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 160916 117 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 57872 57404 206 16 0 57313 0 Current children cumulated CPU time (s) 1610.33 Current children cumulated vsize (Kb) 231488 [startup+1620.94 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3496 /proc/meminfo: memFree=1223080/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=231488 CPUtime=1620.32 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 161915 117 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 11359123 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 57872 57404 206 16 0 57313 0 Current children cumulated CPU time (s) 1620.32 Current children cumulated vsize (Kb) 231488 [startup+1630.94 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3496 /proc/meminfo: memFree=1223080/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=231488 CPUtime=1630.32 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 162915 117 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 57872 57404 206 16 0 57313 0 Current children cumulated CPU time (s) 1630.32 Current children cumulated vsize (Kb) 231488 [startup+1640.95 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3496 /proc/meminfo: memFree=1223080/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=231488 CPUtime=1640.33 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 163915 118 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 57872 57404 206 16 0 57313 0 Current children cumulated CPU time (s) 1640.33 Current children cumulated vsize (Kb) 231488 [startup+1650.96 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3496 /proc/meminfo: memFree=1223080/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=231488 CPUtime=1650.33 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 164915 118 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 57872 57404 206 16 0 57313 0 Current children cumulated CPU time (s) 1650.33 Current children cumulated vsize (Kb) 231488 [startup+1660.96 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3496 /proc/meminfo: memFree=1223080/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=231488 CPUtime=1660.34 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 165915 119 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 57872 57404 206 16 0 57313 0 Current children cumulated CPU time (s) 1660.34 Current children cumulated vsize (Kb) 231488 [startup+1670.97 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3496 /proc/meminfo: memFree=1223144/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=231488 CPUtime=1670.34 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 166914 120 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 57872 57404 206 16 0 57313 0 Current children cumulated CPU time (s) 1670.34 Current children cumulated vsize (Kb) 231488 [startup+1680.97 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3496 /proc/meminfo: memFree=1223144/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=231488 CPUtime=1680.34 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 167914 120 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 57872 57404 206 16 0 57313 0 Current children cumulated CPU time (s) 1680.34 Current children cumulated vsize (Kb) 231488 [startup+1690.98 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3496 /proc/meminfo: memFree=1223144/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=231488 CPUtime=1690.35 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 168914 121 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 57872 57404 206 16 0 57313 0 Current children cumulated CPU time (s) 1690.35 Current children cumulated vsize (Kb) 231488 [startup+1700.99 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3496 /proc/meminfo: memFree=1223144/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=231488 CPUtime=1700.34 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 169913 121 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 57872 57404 206 16 0 57313 0 Current children cumulated CPU time (s) 1700.34 Current children cumulated vsize (Kb) 231488 [startup+1710.99 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3496 /proc/meminfo: memFree=1223144/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=231488 CPUtime=1710.34 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 170913 121 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 57872 57404 206 16 0 57313 0 Current children cumulated CPU time (s) 1710.34 Current children cumulated vsize (Kb) 231488 [startup+1721 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3496 /proc/meminfo: memFree=1223144/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=231488 CPUtime=1720.35 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 171913 122 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 57872 57404 206 16 0 57313 0 Current children cumulated CPU time (s) 1720.35 Current children cumulated vsize (Kb) 231488 [startup+1731 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3496 /proc/meminfo: memFree=1223080/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=231488 CPUtime=1730.35 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 172913 122 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 57872 57404 206 16 0 57313 0 Current children cumulated CPU time (s) 1730.35 Current children cumulated vsize (Kb) 231488 [startup+1741.01 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3496 /proc/meminfo: memFree=1223080/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=231488 CPUtime=1740.35 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 173913 122 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522580 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 57872 57404 206 16 0 57313 0 Current children cumulated CPU time (s) 1740.35 Current children cumulated vsize (Kb) 231488 [startup+1751.01 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3496 /proc/meminfo: memFree=1223080/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=231488 CPUtime=1750.36 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 174913 123 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 57872 57404 206 16 0 57313 0 Current children cumulated CPU time (s) 1750.36 Current children cumulated vsize (Kb) 231488 [startup+1761.02 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3496 /proc/meminfo: memFree=1223080/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=231488 CPUtime=1760.36 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 175912 124 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 57872 57404 206 16 0 57313 0 Current children cumulated CPU time (s) 1760.36 Current children cumulated vsize (Kb) 231488 [startup+1771.02 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3496 /proc/meminfo: memFree=1223080/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=231488 CPUtime=1770.37 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 176913 124 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 57872 57404 206 16 0 57313 0 Current children cumulated CPU time (s) 1770.37 Current children cumulated vsize (Kb) 231488 [startup+1781.03 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3496 /proc/meminfo: memFree=1223080/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=231488 CPUtime=1780.36 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 177912 124 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 57872 57404 206 16 0 57313 0 Current children cumulated CPU time (s) 1780.36 Current children cumulated vsize (Kb) 231488 [startup+1782.04 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3496 /proc/meminfo: memFree=1223080/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=231488 CPUtime=1781.37 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 178013 124 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 57872 57404 206 16 0 57313 0 Current children cumulated CPU time (s) 1781.37 Current children cumulated vsize (Kb) 231488 [startup+1783.04 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3496 /proc/meminfo: memFree=1223080/2055920 swapFree=4181424/4192956 [pid=3301] ppid=3299 vsize=231488 CPUtime=1782.37 /proc/3301/stat : 3301 (Pueblo) R 3299 3301 3255 0 -1 4194304 57456 0 0 0 178113 124 0 0 25 0 1 0 205694794 237043712 57404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/3301/statm: 57872 57404 206 16 0 57313 0 Current children cumulated CPU time (s) 1782.37 Current children cumulated vsize (Kb) 231488 Child status: 10 Real time (s): 1783.43 CPU time (s): 1782.77 CPU user time (s): 1781.49 CPU system time (s): 1.2878 CPU usage (%): 99.9629 Max. virtual memory (cumulated for all children) (Kb): 231596
Begin job on node3 on Sun Jun 4 05:52:11 UTC 2006 FILE ID= 36809-1149400331 PBS_JOBID= 313969 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data10_3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node3/36809-1149400331/instance-36809-1149400331.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-36809-1149400331 -o ROOT/results/node3/solver-36809-1149400331 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node3/36809-1149400331/instance-36809-1149400331.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= dccfffd22c38fcd3c497d688dab4b7a4 RANDOM SEED= 559285231 /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.261 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.261 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: 1452536 kB Buffers: 25196 kB Cached: 506480 kB SwapCached: 3416 kB Active: 96828 kB Inactive: 443724 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1452536 kB SwapTotal: 4192956 kB SwapFree: 4181424 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14932 kB Slab: 48900 kB Committed_AS: 351780 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node3 on Sun Jun 4 06:21:54 UTC 2006