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