Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 80503 | 1782.78 | 1783.22 |
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 | 80503 |
Best CPU time to get the best result obtained on this benchmark | 1782.78 |
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/0.00 c Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 1.39/1.42 c starting to Solve 1.39/1.42 c #variables read: 2700 - #constraints read: 43071 2.09/2.18 o 85228 9.49/9.59 o 84318 9.49/9.59 o 82563 413.89/414.04 o 82162 414.39/414.57 o 82037 415.29/415.42 o 82035 415.29/415.42 o 81949 415.99/416.15 o 81910 415.99/416.16 o 81824 773.20/773.45 o 81465 773.30/773.53 o 81251 932.46/932.73 o 81178 944.57/944.90 o 81175 944.76/945.06 o 80809 997.24/997.54 o 80507 1214.30/1214.62 o 80503 1782.66/1783.17 c total time : 1783 s 1782.66/1783.17 s SATISFIABLE 1782.66/1783.17 v x1801 x1802 -x1803 x1804 -x1805 -x1806 -x1807 -x1808 x1809 -x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 -x1818 1782.66/1783.17 v -x1819 -x1820 x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 x1835 -x1836 1782.66/1783.17 v -x1837 -x1838 -x1839 -x1840 -x1841 x1842 -x1843 -x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 1782.66/1783.17 v x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1782.66/1783.17 v x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 x1889 -x1890 1782.66/1783.17 v x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 x1901 x1902 -x1903 -x1904 x1905 -x1906 x1907 -x1908 1782.66/1783.17 v -x1909 x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 1782.66/1783.17 v -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 1782.66/1783.17 v -x1945 -x1946 -x1947 -x1948 -x1949 x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 1782.66/1783.17 v -x1963 -x1964 -x1965 -x1966 x1967 -x1968 -x1969 -x1970 -x1971 -x1972 x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 1782.66/1783.17 v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 x1987 -x1988 -x1989 -x1990 x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 1782.66/1783.17 v x1999 x2000 -x2001 x2002 x2003 x2004 -x2005 -x2006 x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 1782.66/1783.17 v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 1782.66/1783.17 v -x2035 -x2036 x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 1782.66/1783.17 v -x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 x2065 -x2066 -x2067 -x2068 -x2069 -x2070 1782.66/1783.17 v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 1782.66/1783.17 v x2088 -x2089 -x2090 x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 x2098 -x2099 x2100 x2101 x2102 -x2103 x2104 -x2105 1782.66/1783.17 v -x2106 -x2107 x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 -x2121 -x2122 -x2123 1782.66/1783.17 v -x2124 -x2125 -x2126 -x2127 x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 x2140 -x2141 1782.66/1783.17 v -x2142 -x2143 -x2144 -x2145 x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 x2155 -x2156 -x2157 -x2158 -x2159 1782.66/1783.17 v -x2160 -x2161 -x2162 x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 -x2177 1782.66/1783.17 v -x2178 -x2179 -x2180 -x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 -x2192 -x2193 -x2194 -x2195 1782.66/1783.17 v -x2196 x2197 -x2198 x2199 -x2200 x2201 x2202 -x2203 -x2204 x2205 -x2206 x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 1782.66/1783.17 v -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 x2228 -x2229 -x2230 -x2231 1782.66/1783.17 v -x2232 -x2233 -x2234 -x2235 -x2236 x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 1782.66/1783.17 v -x2249 x2250 -x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 x2262 -x2263 -x2264 -x2265 -x2266 1782.66/1783.17 v -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 1782.66/1783.17 v -x2284 x2285 -x2286 x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 x2297 x2298 -x2299 x2300 x2301 1782.66/1783.17 v -x2302 -x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 x2319 1782.66/1783.17 v -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 1782.66/1783.17 v -x2337 -x2338 x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 x2353 -x2354 1782.66/1783.17 v -x2355 -x2356 -x2357 -x2358 -x2359 x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 x2368 -x2369 -x2370 -x2371 -x2372 1782.66/1783.17 v -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 1782.66/1783.17 v -x2390 x2391 -x2392 -x2393 -x2394 -x2395 -x2396 x2397 x2398 -x2399 -x2400 -x2401 x2402 x2403 -x2404 -x2405 -x2406 -x2407 1782.66/1783.17 v -x2408 x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 x2420 -x2421 -x2422 -x2423 -x2424 -x2425 1782.66/1783.17 v -x2426 -x2427 x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2439 -x2440 -x2441 -x2442 x2443 1782.66/1783.17 v -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 -x2459 -x2460 1782.66/1783.17 v -x2461 -x2462 -x2463 x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 x2473 -x2474 -x2475 x2476 -x2477 -x2478 1782.66/1783.17 v -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 -x2492 -x2493 -x2494 x2495 x2496 1782.66/1783.17 v x2497 -x2498 x2499 -x2500 x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 x2509 -x2510 -x2511 -x2512 -x2513 -x2514 1782.66/1783.17 v -x2515 -x2516 -x2517 -x2518 x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 x2526 -x2527 -x2528 -x2529 -x2530 x2531 -x2532 1782.66/1783.17 v -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 1782.66/1783.17 v -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 1782.66/1783.17 v -x2568 -x2569 -x2570 -x2571 -x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 1782.66/1783.17 v -x2586 -x2587 -x2588 -x2589 -x2590 x2591 -x2592 x2593 x2594 -x2595 x2596 -x2597 x2598 -x2599 -x2600 -x2601 -x2602 -x2603 1782.66/1783.17 v -x2604 -x2605 -x2606 -x2607 -x2608 x2609 -x2610 -x2611 -x2612 -x2613 -x2614 x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 1782.66/1783.17 v x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 x2637 -x2638 -x2639 1782.66/1783.17 v -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 x2646 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 1782.66/1783.17 v -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 x2664 -x2665 x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 1782.66/1783.17 v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 -x2692 -x2693 1782.66/1783.17 v x2694 -x2695 x2696 -x2697 x2698 x2699 x2700 -x2 -x102 -x202 -x302 -x402 -x502 -x602 -x702 -x802 -x902 -x1002 x1102 -x1202 1782.66/1783.17 v -x1302 -x1402 -x1502 -x1602 -x1702 x3 -x103 -x203 -x303 -x403 -x503 -x603 -x703 -x803 -x903 -x1003 -x1103 -x1203 -x1303 1782.66/1783.17 v -x1403 -x1503 -x1603 -x1703 -x4 x104 -x204 -x304 -x404 -x504 -x604 -x704 -x804 -x904 -x1004 -x1104 -x1204 -x1304 -x1404 1782.66/1783.17 v -x1504 -x1604 -x1704 -x5 -x105 -x205 -x305 -x405 -x505 x605 -x705 -x805 -x905 -x1005 -x1105 -x1205 -x1305 -x1405 -x1505 1782.66/1783.17 v -x1605 -x1705 -x6 -x106 -x206 -x306 -x406 -x506 -x606 -x706 -x806 -x906 -x1006 -x1106 x1206 -x1306 -x1406 -x1506 -x1606 1782.66/1783.17 v -x1706 -x7 -x107 -x207 -x307 -x407 -x507 -x607 x707 -x807 -x907 -x1007 -x1107 -x1207 -x1307 -x1407 -x1507 -x1607 -x1707 1782.66/1783.17 v -x8 -x108 -x208 -x308 -x408 -x508 -x608 -x708 -x808 -x908 -x1008 -x1108 -x1208 -x1308 -x1408 x1508 -x1608 -x1708 -x9 -x109 1782.66/1783.17 v x209 -x309 -x409 -x509 -x609 -x709 -x809 -x909 -x1009 -x1109 -x1209 -x1309 -x1409 -x1509 -x1609 -x1709 -x10 -x110 -x210 1782.66/1783.17 v -x310 -x410 -x510 -x610 -x710 -x810 -x910 -x1010 -x1110 -x1210 -x1310 x1410 -x1510 -x1610 -x1710 -x11 -x111 -x211 -x311 1782.66/1783.17 v -x411 -x511 -x611 -x711 -x811 -x911 -x1011 -x1111 -x1211 x1311 -x1411 -x1511 -x1611 -x1711 -x13 -x113 -x213 -x313 -x413 1782.66/1783.17 v -x513 -x613 -x713 -x813 -x913 x1013 -x1113 -x1213 -x1313 -x1413 -x1513 -x1613 -x1713 -x14 -x114 -x214 -x314 -x414 -x514 1782.66/1783.17 v -x614 -x714 -x814 -x914 -x1014 -x1114 -x1214 -x1314 -x1414 -x1514 -x1614 x1714 -x15 -x115 -x215 -x315 -x415 -x515 -x615 1782.66/1783.17 v x715 -x815 -x915 -x1015 -x1115 -x1215 -x1315 -x1415 -x1515 -x1615 -x1715 -x16 x116 -x216 -x316 -x416 -x516 -x616 -x716 -x816 1782.66/1783.17 v -x916 -x1016 -x1116 -x1216 -x1316 -x1416 -x1516 -x1616 -x1716 x17 -x117 -x217 -x317 -x417 -x517 -x617 -x717 -x817 -x917 1782.66/1783.17 v -x1017 -x1117 -x1217 -x1317 -x1417 -x1517 -x1617 -x1717 -x18 -x118 x218 -x318 -x418 -x518 -x618 -x718 -x818 -x918 -x1018 1782.66/1783.17 v -x1118 -x1218 -x1318 -x1418 -x1518 -x1618 -x1718 -x19 -x119 -x219 -x319 -x419 -x519 x619 -x719 -x819 -x919 -x1019 -x1119 1782.66/1783.17 v -x1219 -x1319 -x1419 -x1519 -x1619 -x1719 -x20 -x120 -x220 -x320 -x420 -x520 -x620 -x720 x820 -x920 -x1020 -x1120 -x1220 1782.66/1783.17 v -x1320 -x1420 -x1520 -x1620 -x1720 -x21 -x121 -x221 -x321 -x421 x521 -x621 -x721 -x821 -x921 -x1021 -x1121 -x1221 -x1321 1782.66/1783.17 v -x1421 -x1521 -x1621 -x1721 -x22 -x122 -x222 -x322 -x422 -x522 -x622 -x722 -x822 -x922 -x1022 -x1122 -x1222 -x1322 x1422 1782.66/1783.17 v -x1522 -x1622 -x1722 -x24 -x124 x224 -x324 -x424 -x524 -x624 -x724 -x824 -x924 -x1024 -x1124 -x1224 -x1324 -x1424 -x1524 1782.66/1783.17 v -x1624 -x1724 -x25 -x125 -x225 -x325 -x425 -x525 -x625 -x725 -x825 -x925 -x1025 x1125 -x1225 -x1325 -x1425 -x1525 -x1625 1782.66/1783.17 v -x1725 -x26 -x126 -x226 -x326 -x426 -x526 -x626 -x726 -x826 x926 -x1026 -x1126 -x1226 -x1326 -x1426 -x1526 -x1626 -x1726 1782.66/1783.17 v -x27 -x127 -x227 -x327 -x427 -x527 -x627 -x727 -x827 -x927 -x1027 -x1127 -x1227 -x1327 -x1427 -x1527 x1627 -x1727 -x28 -x128 1782.66/1783.17 v -x228 -x328 -x428 -x528 x628 -x728 -x828 -x928 -x1028 -x1128 -x1228 -x1328 -x1428 -x1528 -x1628 -x1728 -x29 -x129 -x229 1782.66/1783.17 v -x329 -x429 -x529 -x629 -x729 -x829 -x929 -x1029 -x1129 x1229 -x1329 -x1429 -x1529 -x1629 -x1729 -x30 x130 -x230 -x330 -x430 1782.66/1783.17 v -x530 -x630 -x730 -x830 -x930 -x1030 -x1130 -x1230 -x1330 -x1430 -x1530 -x1630 -x1730 -x31 -x131 -x231 -x331 -x431 -x531 1782.66/1783.17 v -x631 -x731 -x831 -x931 x1031 -x1131 -x1231 -x1331 -x1431 -x1531 -x1631 -x1731 -x32 -x132 -x232 -x332 -x432 -x532 -x632 1782.66/1783.17 v -x732 -x832 -x932 -x1032 -x1132 -x1232 -x1332 -x1432 x1532 -x1632 -x1732 -x33 -x133 -x233 -x333 -x433 -x533 -x633 x733 -x833 1782.66/1783.17 v -x933 -x1033 -x1133 -x1233 -x1333 -x1433 -x1533 -x1633 -x1733 -x35 -x135 -x235 -x335 -x435 -x535 -x635 -x735 -x835 -x935 1782.66/1783.17 v -x1035 -x1135 -x1235 -x1335 x1435 -x1535 -x1635 -x1735 x36 -x136 -x236 -x336 -x436 -x536 -x636 -x736 -x836 -x936 -x1036 1782.66/1783.17 v -x1136 -x1236 -x1336 -x1436 -x1536 -x1636 -x1736 -x37 -x137 -x237 -x337 -x437 x537 -x637 -x737 -x837 -x937 -x1037 -x1137 1782.66/1783.17 v -x1237 -x1337 -x1437 -x1537 -x1637 -x1737 -x38 -x138 -x238 -x338 x438 -x538 -x638 -x738 -x838 -x938 -x1038 -x1138 -x1238 1782.66/1783.17 v -x1338 -x1438 -x1538 -x1638 -x1738 -x39 -x139 -x239 -x339 -x439 -x539 -x639 -x739 -x839 -x939 -x1039 x1139 -x1239 -x1339 1782.66/1783.17 v -x1439 -x1539 -x1639 -x1739 -x40 -x140 -x240 -x340 -x440 -x540 -x640 -x740 -x840 -x940 -x1040 -x1140 -x1240 -x1340 -x1440 1782.66/1783.17 v -x1540 x1640 -x1740 -x41 -x141 -x241 -x341 -x441 -x541 -x641 -x741 x841 -x941 -x1041 -x1141 -x1241 -x1341 -x1441 -x1541 1782.66/1783.17 v -x1641 -x1741 -x42 -x142 -x242 -x342 x442 -x542 -x642 -x742 -x842 -x942 -x1042 -x1142 -x1242 -x1342 -x1442 -x1542 -x1642 1782.66/1783.17 v -x1742 -x43 -x143 -x243 -x343 -x443 -x543 -x643 -x743 -x843 -x943 -x1043 -x1143 -x1243 -x1343 -x1443 x1543 -x1643 -x1743 1782.66/1783.17 v -x44 -x144 -x244 -x344 -x444 -x544 -x644 -x744 -x844 x944 -x1044 -x1144 -x1244 -x1344 -x1444 -x1544 -x1644 -x1744 -x46 -x146 1782.66/1783.17 v -x246 x346 -x446 -x546 -x646 -x746 -x846 -x946 -x1046 -x1146 -x1246 -x1346 -x1446 -x1546 -x1646 -x1746 -x47 -x147 -x247 1782.66/1783.17 v -x347 -x447 -x547 -x647 -x747 -x847 -x947 -x1047 -x1147 x1247 -x1347 -x1447 -x1547 -x1647 -x1747 -x48 -x148 -x248 -x348 1782.66/1783.17 v -x448 -x548 -x648 -x748 -x848 -x948 -x1048 -x1148 -x1248 x1348 -x1448 -x1548 -x1648 -x1748 -x49 x149 -x249 -x349 -x449 -x549 1782.66/1783.17 v -x649 -x749 -x849 -x949 -x1049 -x1149 -x1249 -x1349 -x1449 -x1549 -x1649 -x1749 x50 -x150 -x250 -x350 -x450 -x550 -x650 1782.66/1783.17 v -x750 -x850 -x950 -x1050 -x1150 -x1250 -x1350 -x1450 -x1550 -x1650 -x1750 -x51 -x151 -x251 -x351 -x451 -x551 -x651 -x751 1782.66/1783.17 v -x851 -x951 -x1051 -x1151 -x1251 -x1351 -x1451 -x1551 -x1651 x1751 -x52 -x152 -x252 -x352 -x452 x552 -x652 -x752 -x852 -x952 1782.66/1783.17 v -x1052 -x1152 -x1252 -x1352 -x1452 -x1552 -x1652 -x1752 -x53 -x153 -x253 -x353 -x453 -x553 -x653 -x753 -x853 -x953 -x1053 1782.66/1783.17 v -x1153 -x1253 x1353 -x1453 -x1553 -x1653 -x1753 -x54 -x154 -x254 -x354 -x454 -x554 x654 -x754 -x854 -x954 -x1054 -x1154 1782.66/1783.17 v -x1254 -x1354 -x1454 -x1554 -x1654 -x1754 -x55 -x155 -x255 -x355 -x455 -x555 -x655 -x755 -x855 -x955 -x1055 -x1155 -x1255 1782.66/1783.17 v -x1355 -x1455 -x1555 x1655 -x1755 -x57 -x157 x257 -x357 -x457 -x557 -x657 -x757 -x857 -x957 -x1057 -x1157 -x1257 -x1357 1782.66/1783.17 v -x1457 -x1557 -x1657 -x1757 -x58 -x158 -x258 -x358 -x458 -x558 -x658 -x758 -x858 -x958 -x1058 x1158 -x1258 -x1358 -x1458 1782.66/1783.17 v -x1558 -x1658 -x1758 -x59 -x159 -x259 -x359 -x459 -x559 -x659 x759 -x859 -x959 -x1059 -x1159 -x1259 -x1359 -x1459 -x1559 1782.66/1783.17 v -x1659 -x1759 -x60 -x160 -x260 -x360 -x460 -x560 -x660 -x760 -x860 -x960 x1060 -x1160 -x1260 -x1360 -x1460 -x1560 -x1660 1782.66/1783.17 v -x1760 -x61 -x161 -x261 -x361 x461 -x561 -x661 -x761 -x861 -x961 -x1061 -x1161 -x1261 -x1361 -x1461 -x1561 -x1661 -x1761 1782.66/1783.17 v -x62 -x162 -x262 -x362 -x462 -x562 -x662 -x762 -x862 x962 -x1062 -x1162 -x1262 -x1362 -x1462 -x1562 -x1662 -x1762 -x63 -x163 1782.66/1783.17 v -x263 -x363 -x463 -x563 -x663 -x763 x863 -x963 -x1063 -x1163 -x1263 -x1363 -x1463 -x1563 -x1663 -x1763 -x64 -x164 -x264 1782.66/1783.17 v x364 -x464 -x564 -x664 -x764 -x864 -x964 -x1064 -x1164 -x1264 -x1364 -x1464 -x1564 -x1664 -x1764 -x65 -x165 -x265 -x365 1782.66/1783.17 v -x465 -x565 -x665 -x765 -x865 -x965 x1065 -x1165 -x1265 -x1365 -x1465 -x1565 -x1665 -x1765 -x66 -x166 -x266 -x366 -x466 1782.66/1783.17 v -x566 -x666 -x766 -x866 -x966 -x1066 -x1166 -x1266 -x1366 -x1466 x1566 -x1666 -x1766 -x68 -x168 -x268 -x368 -x468 -x568 1782.66/1783.17 v -x668 -x768 -x868 -x968 -x1068 -x1168 -x1268 -x1368 x1468 -x1568 -x1668 -x1768 -x69 -x169 -x269 -x369 -x469 -x569 -x669 1782.66/1783.17 v -x769 -x869 -x969 -x1069 -x1169 -x1269 x1369 -x1469 -x1569 -x1669 -x1769 -x70 -x170 -x270 -x370 -x470 -x570 x670 -x770 -x870 1782.66/1783.17 v -x970 -x1070 -x1170 -x1270 -x1370 -x1470 -x1570 -x1670 -x1770 -x71 -x171 -x271 -x371 -x471 -x571 -x671 -x771 -x871 x971 1782.66/1783.17 v -x1071 -x1171 -x1271 -x1371 -x1471 -x1571 -x1671 -x1771 -x72 -x172 -x272 -x372 -x472 -x572 -x672 -x772 -x872 -x972 -x1072 1782.66/1783.17 v -x1172 -x1272 -x1372 -x1472 -x1572 x1672 -x1772 -x73 -x173 -x273 x373 -x473 -x573 -x673 -x773 -x873 -x973 -x1073 -x1173 1782.66/1783.17 v -x1273 -x1373 -x1473 -x1573 -x1673 -x1773 -x74 -x174 -x274 -x374 -x474 -x574 -x674 -x774 -x874 -x974 -x1074 -x1174 x1274 1782.66/1783.17 v -x1374 -x1474 -x1574 -x1674 -x1774 -x75 -x175 -x275 -x375 -x475 -x575 -x675 -x775 -x875 -x975 -x1075 -x1175 -x1275 -x1375 1782.66/1783.17 v -x1475 -x1575 -x1675 x1775 -x76 -x176 -x276 -x376 -x476 -x576 -x676 -x776 x876 -x976 -x1076 -x1176 -x1276 -x1376 -x1476 1782.66/1783.17 v -x1576 -x1676 -x1776 -x77 x177 -x277 -x377 -x477 -x577 -x677 -x777 -x877 -x977 -x1077 -x1177 -x1277 -x1377 -x1477 -x1577 1782.66/1783.17 v -x1677 -x1777 x79 -x179 -x279 -x379 -x479 -x579 -x679 -x779 -x879 -x979 -x1079 -x1179 -x1279 -x1379 -x1479 -x1579 -x1679 1782.66/1783.17 v -x1779 -x80 -x180 -x280 -x380 -x480 x580 -x680 -x780 -x880 -x980 -x1080 -x1180 -x1280 -x1380 -x1480 -x1580 -x1680 -x1780 1782.66/1783.17 v -x81 -x181 -x281 -x381 -x481 -x581 -x681 -x781 -x881 -x981 -x1081 -x1181 -x1281 -x1381 -x1481 -x1581 x1681 -x1781 -x82 -x182 1782.66/1783.17 v -x282 x382 -x482 -x582 -x682 -x782 -x882 -x982 -x1082 -x1182 -x1282 -x1382 -x1482 -x1582 -x1682 -x1782 -x83 -x183 -x283 1782.66/1783.17 v -x383 x483 -x583 -x683 -x783 -x883 -x983 -x1083 -x1183 -x1283 -x1383 -x1483 -x1583 -x1683 -x1783 -x84 -x184 -x284 -x384 1782.66/1783.17 v -x484 -x584 -x684 -x784 x884 -x984 -x1084 -x1184 -x1284 -x1384 -x1484 -x1584 -x1684 -x1784 -x85 -x185 -x285 -x385 -x485 1782.66/1783.17 v x585 -x685 -x785 -x885 -x985 -x1085 -x1185 -x1285 -x1385 -x1485 -x1585 -x1685 -x1785 -x86 -x186 -x286 -x386 -x486 -x586 1782.66/1783.17 v -x686 -x786 -x886 -x986 -x1086 -x1186 -x1286 -x1386 x1486 -x1586 -x1686 -x1786 -x87 -x187 -x287 -x387 -x487 -x587 -x687 1782.66/1783.17 v -x787 -x887 -x987 -x1087 -x1187 -x1287 -x1387 -x1487 -x1587 -x1687 x1787 -x88 -x188 -x288 -x388 -x488 -x588 -x688 -x788 1782.66/1783.17 v -x888 -x988 x1088 -x1188 -x1288 -x1388 -x1488 -x1588 -x1688 -x1788 -x90 -x190 -x290 -x390 -x490 -x590 -x690 -x790 -x890 1782.66/1783.17 v x990 -x1090 -x1190 -x1290 -x1390 -x1490 -x1590 -x1690 -x1790 -x91 -x191 -x291 x391 -x491 -x591 -x691 -x791 -x891 -x991 -x1091 1782.66/1783.17 v -x1191 -x1291 -x1391 -x1491 -x1591 -x1691 -x1791 -x92 -x192 -x292 -x392 -x492 -x592 -x692 -x792 -x892 -x992 -x1092 -x1192 1782.66/1783.17 v x1292 -x1392 -x1492 -x1592 -x1692 -x1792 -x93 -x193 -x293 -x393 -x493 -x593 -x693 -x793 -x893 -x993 -x1093 -x1193 -x1293 1782.66/1783.17 v -x1393 -x1493 -x1593 -x1693 x1793 -x94 -x194 -x294 -x394 -x494 -x594 -x694 -x794 -x894 -x994 -x1094 -x1194 -x1294 x1394 1782.66/1783.17 v -x1494 -x1594 -x1694 -x1794 -x95 -x195 x295 -x395 -x495 -x595 -x695 -x795 -x895 -x995 -x1095 -x1195 -x1295 -x1395 -x1495 1782.66/1783.17 v -x1595 -x1695 -x1795 -x96 -x196 -x296 -x396 x496 -x596 -x696 -x796 -x896 -x996 -x1096 -x1196 -x1296 -x1396 -x1496 -x1596 1782.66/1783.17 v -x1696 -x1796 -x97 -x197 -x297 -x397 -x497 -x597 -x697 -x797 -x897 -x997 -x1097 x1197 -x1297 -x1397 -x1497 -x1597 -x1697 1782.66/1783.17 v -x1797 -x98 -x198 -x298 -x398 -x498 -x598 -x698 x798 -x898 -x998 -x1098 -x1198 -x1298 -x1398 -x1498 -x1598 -x1698 -x1798 1782.66/1783.17 v -x99 -x199 -x299 -x399 -x499 -x599 -x699 -x799 -x899 -x999 -x1099 -x1199 -x1299 -x1399 -x1499 x1599 -x1699 -x1799 -x12 -x112 1782.66/1783.17 v -x212 x312 x412 x512 -x612 -x712 -x812 x912 -x1012 x1112 x1212 -x1312 x1412 x1512 x1612 -x1712 x23 -x123 -x223 x323 x423 -x523 1782.66/1783.17 v -x623 x723 x823 -x923 x1023 -x1123 -x1223 x1323 -x1423 x1523 -x1623 x1723 -x34 x134 x234 x334 -x434 -x534 x634 -x734 x834 1782.66/1783.17 v x934 -x1034 -x1134 x1234 x1334 -x1434 -x1534 -x1634 x1734 -x45 -x145 x245 -x345 -x445 x545 x645 x745 -x845 -x945 x1045 x1145 1782.66/1783.17 v -x1245 -x1345 x1445 -x1545 x1645 x1745 x56 x156 -x256 x356 x456 -x556 -x656 -x756 x856 x956 -x1056 -x1156 x1256 -x1356 x1456 1782.66/1783.17 v x1556 -x1656 -x1756 x67 x167 x267 -x367 -x467 x567 -x667 x767 -x867 -x967 -x1067 x1167 x1267 -x1367 -x1467 -x1567 x1667 x1767 1782.66/1783.17 v -x78 -x178 x278 -x378 x478 -x578 x678 x778 -x878 -x978 x1078 x1178 -x1278 x1378 x1478 x1578 -x1678 -x1778 x89 x189 x289 -x389 1782.66/1783.17 v -x489 -x589 x689 x789 -x889 -x989 -x1089 x1189 x1289 x1389 -x1489 x1589 -x1689 -x1789 x100 x200 -x300 -x400 -x500 x600 x700 1782.66/1783.17 v -x800 x900 x1000 x1100 -x1200 -x1300 -x1400 x1500 -x1600 x1700 -x1800 -x1 -x101 -x201 x301 x401 x501 -x601 -x701 x801 x901 1782.66/1783.17 v x1001 -x1101 -x1201 x1301 -x1401 -x1501 x1601 x1701
OK 80503
/tmp/evaluation/352723-1176639996/instance-352723-1176639996.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node14/watcher-352723-1176639996 -o ROOT/results/node14/solver-352723-1176639996 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/352723-1176639996/instance-352723-1176639996.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/77 18993 /proc/meminfo: memFree=1845204/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=2552 CPUtime=0 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 111917391 2613248 232 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7392983 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 638 232 193 16 0 77 0 [startup+0.0223921 s] /proc/loadavg: 1.00 1.00 1.00 3/77 18993 /proc/meminfo: memFree=1845204/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=2952 CPUtime=0.01 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 364 0 0 0 1 0 0 0 18 0 1 0 111917391 3022848 334 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7392983 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 738 334 199 16 0 177 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2952 [startup+0.102402 s] /proc/loadavg: 1.00 1.00 1.00 3/77 18993 /proc/meminfo: memFree=1845204/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=3748 CPUtime=0.09 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 557 0 0 0 9 0 0 0 18 0 1 0 111917391 3837952 527 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7392983 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 937 527 199 16 0 376 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3748 [startup+0.302431 s] /proc/loadavg: 1.00 1.00 1.00 3/77 18993 /proc/meminfo: memFree=1845204/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=5748 CPUtime=0.29 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 1075 0 0 0 29 0 0 0 19 0 1 0 111917391 5885952 1045 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7392983 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 1437 1045 199 16 0 876 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5748 [startup+0.701456 s] /proc/loadavg: 1.00 1.00 1.00 3/77 18993 /proc/meminfo: memFree=1845204/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=8544 CPUtime=0.69 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 1764 0 0 0 68 1 0 0 22 0 1 0 111917391 8749056 1734 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7386911 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 2136 1734 199 16 0 1575 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8544 [startup+1.50153 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18994 /proc/meminfo: memFree=1837120/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=18896 CPUtime=1.49 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 4317 0 0 0 147 2 0 0 25 0 1 0 111917391 19349504 4287 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134557772 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 4724 4287 205 16 0 4163 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18896 [startup+3.10168 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18994 /proc/meminfo: memFree=1828800/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=18896 CPUtime=3.09 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 4318 0 0 0 306 3 0 0 25 0 1 0 111917391 19349504 4288 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134524568 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 4724 4288 205 16 0 4163 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18896 [startup+6.30199 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18994 /proc/meminfo: memFree=1828608/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=18896 CPUtime=6.29 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 4318 0 0 0 625 4 0 0 25 0 1 0 111917391 19349504 4288 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 4724 4288 205 16 0 4163 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18896 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18994 /proc/meminfo: memFree=1823936/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=24472 CPUtime=12.69 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 5716 0 0 0 1262 7 0 0 25 0 1 0 111917391 25059328 5686 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 6118 5686 205 16 0 5557 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24472 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18994 /proc/meminfo: memFree=1809152/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=38788 CPUtime=25.49 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 9288 0 0 0 2539 10 0 0 25 0 1 0 111917391 39718912 9258 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527656 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 9697 9258 205 16 0 9136 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 38788 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18994 /proc/meminfo: memFree=1785280/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=62812 CPUtime=51.08 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 15278 0 0 0 5091 17 0 0 25 0 1 0 111917391 64319488 15248 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 15703 15248 205 16 0 15142 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 62812 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18994 /proc/meminfo: memFree=1769920/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=77664 CPUtime=102.26 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 18999 0 0 0 10203 23 0 0 25 0 1 0 111917391 79527936 18967 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527998 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 19416 18967 205 16 0 18855 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 77664 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18994 /proc/meminfo: memFree=1742208/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=105784 CPUtime=162.25 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 26047 0 0 0 16194 31 0 0 25 0 1 0 111917391 108322816 26007 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7044212 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 26446 26007 205 16 0 25885 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 105784 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18994 /proc/meminfo: memFree=1718144/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=129188 CPUtime=222.23 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 31916 0 0 0 22184 39 0 0 25 0 1 0 111917391 132288512 31876 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 32297 31876 205 16 0 31736 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 129188 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18994 /proc/meminfo: memFree=1718144/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=129188 CPUtime=282.22 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 31916 0 0 0 28180 42 0 0 25 0 1 0 111917391 132288512 31876 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 32297 31876 205 16 0 31736 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 129188 [startup+342.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18994 /proc/meminfo: memFree=1703296/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=144116 CPUtime=342.2 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 35637 0 0 0 34171 49 0 0 25 0 1 0 111917391 147574784 35597 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134533511 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 36029 35597 205 16 0 35468 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 144116 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18994 /proc/meminfo: memFree=1677696/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=169812 CPUtime=402.19 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 42016 0 0 0 40163 56 0 0 25 0 1 0 111917391 173887488 41976 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 42453 41976 206 16 0 41892 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 169812 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18994 /proc/meminfo: memFree=1677696/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=169812 CPUtime=462.18 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 42016 0 0 0 46159 59 0 0 25 0 1 0 111917391 173887488 41976 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519093 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 42453 41976 206 16 0 41892 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 169812 [startup+522.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18994 /proc/meminfo: memFree=1677696/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=169812 CPUtime=522.16 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 42016 0 0 0 52155 61 0 0 25 0 1 0 111917391 173887488 41976 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 42453 41976 206 16 0 41892 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 169812 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 3/78 18994 /proc/meminfo: memFree=1660288/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=187236 CPUtime=582.14 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 46358 0 0 0 58148 66 0 0 25 0 1 0 111917391 191729664 46318 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134524544 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 46809 46318 206 16 0 46248 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 187236 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18996 /proc/meminfo: memFree=1660224/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=187236 CPUtime=642.13 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 46358 0 0 0 64144 69 0 0 25 0 1 0 111917391 191729664 46318 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522739 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 46809 46318 206 16 0 46248 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 187236 ################ # More data... # ################ /proc/meminfo: memFree=1650880/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=196544 CPUtime=882.08 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 48686 0 0 0 88126 82 0 0 25 0 1 0 111917391 201261056 48646 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 49136 48646 206 16 0 48575 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 196544 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18996 /proc/meminfo: memFree=1650880/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=196544 CPUtime=942.06 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 48686 0 0 0 94121 85 0 0 25 0 1 0 111917391 201261056 48646 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 49136 48646 206 16 0 48575 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 196544 [startup+1002.3 s] /proc/loadavg: 1.05 1.01 1.00 2/78 18996 /proc/meminfo: memFree=1628288/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=219100 CPUtime=1002.04 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 54322 0 0 0 100115 89 0 0 25 0 1 0 111917391 224358400 54282 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559545 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 54775 54282 206 16 0 54214 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 219100 [startup+1062.3 s] /proc/loadavg: 1.06 1.02 1.00 2/78 18996 /proc/meminfo: memFree=1628288/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=219100 CPUtime=1062.03 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 54322 0 0 0 106111 92 0 0 25 0 1 0 111917391 224358400 54282 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 54775 54282 206 16 0 54214 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 219100 [startup+1122.3 s] /proc/loadavg: 1.10 1.05 1.01 2/78 18996 /proc/meminfo: memFree=1628288/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=219100 CPUtime=1122.02 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 54322 0 0 0 112107 95 0 0 25 0 1 0 111917391 224358400 54282 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 54775 54282 206 16 0 54214 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 219100 [startup+1182.3 s] /proc/loadavg: 1.15 1.07 1.01 2/78 18996 /proc/meminfo: memFree=1627328/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=220588 CPUtime=1182 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 54710 0 0 0 118103 97 0 0 25 0 1 0 111917391 225882112 54670 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 55147 54670 206 16 0 54586 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 220588 [startup+1242.3 s] /proc/loadavg: 1.08 1.07 1.01 2/78 18996 /proc/meminfo: memFree=1615680/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=231576 CPUtime=1241.98 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 57442 0 0 0 124095 103 0 0 25 0 1 0 111917391 237133824 57402 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 57894 57402 206 16 0 57333 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 231576 [startup+1302.3 s] /proc/loadavg: 1.03 1.05 1.01 2/78 18996 /proc/meminfo: memFree=1615680/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=231576 CPUtime=1301.97 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 57442 0 0 0 130092 105 0 0 25 0 1 0 111917391 237133824 57402 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 57894 57402 206 16 0 57333 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 231576 [startup+1362.3 s] /proc/loadavg: 1.01 1.04 1.00 2/78 18996 /proc/meminfo: memFree=1615680/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=231576 CPUtime=1361.95 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 57442 0 0 0 136087 108 0 0 25 0 1 0 111917391 237133824 57402 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520163 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 57894 57402 206 16 0 57333 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 231576 [startup+1422.31 s] /proc/loadavg: 1.00 1.03 1.00 2/78 18996 /proc/meminfo: memFree=1615680/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=231520 CPUtime=1421.95 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 57443 0 0 0 142084 111 0 0 25 0 1 0 111917391 237076480 57403 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527182 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 57880 57403 206 16 0 57319 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 231520 [startup+1482.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 18996 /proc/meminfo: memFree=1615680/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=231520 CPUtime=1481.93 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 57443 0 0 0 148079 114 0 0 25 0 1 0 111917391 237076480 57403 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 57880 57403 206 16 0 57319 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 231520 [startup+1542.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 18996 /proc/meminfo: memFree=1615680/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=231520 CPUtime=1541.91 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 57443 0 0 0 154074 117 0 0 25 0 1 0 111917391 237076480 57403 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 57880 57403 206 16 0 57319 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 231520 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 18996 /proc/meminfo: memFree=1615616/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=231468 CPUtime=1601.9 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 57450 0 0 0 160069 121 0 0 25 0 1 0 111917391 237023232 57397 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 57867 57397 206 16 0 57306 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 231468 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 18996 /proc/meminfo: memFree=1615616/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=231468 CPUtime=1661.88 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 57450 0 0 0 166063 125 0 0 25 0 1 0 111917391 237023232 57397 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528055 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 57867 57397 206 16 0 57306 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 231468 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18996 /proc/meminfo: memFree=1615552/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=231468 CPUtime=1721.87 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 57450 0 0 0 172059 128 0 0 25 0 1 0 111917391 237023232 57397 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520078 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 57867 57397 206 16 0 57306 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 231468 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18996 /proc/meminfo: memFree=1615424/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=231468 CPUtime=1781.85 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 57450 0 0 0 178055 130 0 0 25 0 1 0 111917391 237023232 57397 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 57867 57397 206 16 0 57306 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 231468 Solver just ended. Dumping a history of the last processes samples [startup+1782.7 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18996 /proc/meminfo: memFree=1615424/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=231468 CPUtime=1782.25 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 57450 0 0 0 178095 130 0 0 25 0 1 0 111917391 237023232 57397 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 57867 57397 206 16 0 57306 0 Current children cumulated CPU time (s) 1782.25 Current children cumulated vsize (KiB) 231468 [startup+1783.11 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18996 /proc/meminfo: memFree=1615424/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=231468 CPUtime=1782.66 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194304 57450 0 0 0 178136 130 0 0 25 0 1 0 111917391 237023232 57397 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522731 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 57867 57397 206 16 0 57306 0 Current children cumulated CPU time (s) 1782.66 Current children cumulated vsize (KiB) 231468 [startup+1783.2 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18996 /proc/meminfo: memFree=1615424/2055920 swapFree=4149088/4192956 [pid=18993] ppid=18991 vsize=0 CPUtime=1782.75 /proc/18993/stat : 18993 (Pueblo) R 18991 18993 18329 0 -1 4194308 57457 0 0 0 178143 132 0 0 17 0 1 0 111917391 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0 /proc/18993/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1782.75 Current children cumulated vsize (KiB) 0 Child status: 10 Real time (s): 1783.22 CPU time (s): 1782.78 CPU user time (s): 1781.43 CPU system time (s): 1.3438 CPU usage (%): 99.9753 Max. virtual memory (cumulated for all children) (KiB): 231576 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.43 system time used= 1.3438 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 57457 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 16 involuntary context switches= 959 runsolver used 2.10368 second user time and 4.19236 second system time The end
Begin job on node14 on Sun Apr 15 12:26:36 UTC 2007 IDJOB= 352723 IDBENCH= 2011 IDSOLVER= 165 FILE ID= node14/352723-1176639996 PBS_JOBID= 4556863 Free space on /tmp= 66557 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data10_3.opb COMMAND LINE= Pueblo /tmp/evaluation/352723-1176639996/instance-352723-1176639996.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node14/convwatcher-352723-1176639996 -o ROOT/results/node14/conversion-352723-1176639996 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/352723-1176639996/instance-352723-1176639996.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-352723-1176639996 -o ROOT/results/node14/solver-352723-1176639996 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/352723-1176639996/instance-352723-1176639996.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= dccfffd22c38fcd3c497d688dab4b7a4 RANDOM SEED= 661261715 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node14.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.227 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.227 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: 1845792 kB Buffers: 30524 kB Cached: 95208 kB SwapCached: 11220 kB Active: 80760 kB Inactive: 67768 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1845792 kB SwapTotal: 4192956 kB SwapFree: 4149088 kB Dirty: 5252 kB Writeback: 0 kB Mapped: 29888 kB Slab: 47144 kB Committed_AS: 6050080 kB PageTables: 1784 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66557 MiB End job on node14 on Sun Apr 15 12:56:20 UTC 2007