Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 346 | 1782.79 | 1783.37 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ10_3.opb |
MD5SUM | 2821538067d8c071dc9bd4a000c6d040 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 346 |
Best CPU time to get the best result obtained on this benchmark | 1782.79 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 340 |
Optimality of the best value was proved | NO |
Number of variables | 2700 |
Total number of constraints | 42620 |
Number of constraints which are clauses | 20220 |
Number of constraints which are cardinality constraints (but not clauses) | 800 |
Number of constraints which are nor clauses,nor cardinality constraints | 21600 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 36 |
Number of terms in the objective function | 900 |
Biggest coefficient in the objective function | 5 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 2500 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 32 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 2500 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/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.10/2.18 o 402 2.10/2.18 o 394 2.39/2.40 o 392 4.19/4.29 o 388 4.30/4.30 o 376 17.09/17.12 o 374 69.28/69.38 o 372 126.86/126.96 o 370 164.25/164.36 o 368 171.75/171.87 o 366 352.20/352.33 o 362 591.73/591.91 o 358 591.73/591.92 o 354 653.51/653.71 o 350 653.51/653.71 o 348 653.51/653.76 o 346 1782.72/1783.32 c total time : 1783.01 s 1782.72/1783.32 s SATISFIABLE 1782.72/1783.32 v x1801 x1802 -x1803 -x1804 -x1805 -x1806 x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 x1817 -x1818 1782.72/1783.32 v -x1819 -x1820 -x1821 -x1822 x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 1782.72/1783.32 v x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x1850 -x1851 -x1852 -x1853 -x1854 1782.72/1783.32 v -x1855 -x1856 -x1857 x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 -x1871 -x1872 1782.72/1783.32 v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 1782.72/1783.32 v x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 x1901 -x1902 -x1903 -x1904 -x1905 x1906 x1907 x1908 1782.72/1783.32 v -x1909 -x1910 -x1911 x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 1782.72/1783.32 v -x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 1782.72/1783.32 v -x1945 -x1946 -x1947 x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 x1959 -x1960 -x1961 -x1962 1782.72/1783.32 v -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 1782.72/1783.32 v x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 1782.72/1783.32 v x1999 -x2000 x2001 x2002 x2003 -x2004 -x2005 x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 x2013 -x2014 -x2015 -x2016 1782.72/1783.32 v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 1782.72/1783.32 v -x2035 -x2036 x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 1782.72/1783.32 v x2052 -x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 x2064 -x2065 -x2066 -x2067 -x2068 -x2069 1782.72/1783.32 v -x2070 -x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 1782.72/1783.32 v -x2087 x2088 -x2089 -x2090 x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 x2099 -x2100 x2101 -x2102 x2103 x2104 1782.72/1783.32 v -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 -x2121 -x2122 1782.72/1783.32 v -x2123 -x2124 -x2125 -x2126 x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 1782.72/1783.32 v -x2141 -x2142 -x2143 -x2144 -x2145 x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 1782.72/1783.32 v -x2158 -x2159 x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 x2171 -x2172 -x2173 -x2174 -x2175 1782.72/1783.32 v -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 x2186 -x2187 -x2188 -x2189 -x2190 x2191 -x2192 -x2193 1782.72/1783.32 v -x2194 -x2195 -x2196 x2197 x2198 -x2199 x2200 x2201 x2202 x2203 -x2204 x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 1782.72/1783.32 v -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 x2228 -x2229 -x2230 1782.72/1783.32 v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 1782.72/1783.32 v -x2249 -x2250 -x2251 x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 x2262 -x2263 -x2264 -x2265 -x2266 1782.72/1783.32 v -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279 -x2280 -x2281 x2282 -x2283 -x2284 1782.72/1783.32 v -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 x2291 -x2292 -x2293 -x2294 -x2295 x2296 x2297 -x2298 -x2299 -x2300 x2301 x2302 1782.72/1783.32 v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 1782.72/1783.32 v -x2320 -x2321 x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 x2336 -x2337 1782.72/1783.32 v -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 1782.72/1783.32 v x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 1782.72/1783.32 v x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 x2385 -x2386 -x2387 -x2388 -x2389 -x2390 1782.72/1783.32 v -x2391 x2392 -x2393 -x2394 -x2395 -x2396 -x2397 x2398 x2399 x2400 -x2401 x2402 -x2403 x2404 -x2405 -x2406 -x2407 -x2408 1782.72/1783.32 v -x2409 -x2410 -x2411 -x2412 -x2413 x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 x2424 -x2425 -x2426 1782.72/1783.32 v -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2439 -x2440 -x2441 -x2442 x2443 -x2444 1782.72/1783.32 v -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 x2459 -x2460 -x2461 -x2462 1782.72/1783.32 v -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 1782.72/1783.32 v -x2480 -x2481 x2482 -x2483 -x2484 -x2485 -x2486 x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 x2494 -x2495 -x2496 x2497 1782.72/1783.32 v -x2498 x2499 x2500 x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 1782.72/1783.32 v -x2516 -x2517 -x2518 x2519 -x2520 x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 1782.72/1783.32 v -x2534 -x2535 -x2536 -x2537 x2538 -x2539 -x2540 -x2541 x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 1782.72/1783.32 v x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568 -x2569 1782.72/1783.32 v -x2570 -x2571 -x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 -x2586 x2587 1782.72/1783.32 v -x2588 -x2589 -x2590 -x2591 -x2592 x2593 -x2594 x2595 -x2596 -x2597 -x2598 x2599 x2600 -x2601 -x2602 -x2603 -x2604 -x2605 1782.72/1783.32 v -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 x2619 -x2620 -x2621 x2622 -x2623 1782.72/1783.32 v -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 1782.72/1783.32 v x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 -x2658 1782.72/1783.32 v -x2659 -x2660 -x2661 -x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 x2673 -x2674 -x2675 -x2676 1782.72/1783.32 v -x2677 -x2678 -x2679 -x2680 -x2681 x2682 x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 x2693 x2694 1782.72/1783.32 v -x2695 -x2696 -x2697 x2698 x2699 x2700 -x2 -x102 -x202 x302 -x402 -x502 -x602 -x702 -x802 -x902 -x1002 -x1102 -x1202 -x1302 1782.72/1783.32 v -x1402 -x1502 -x1602 -x1702 -x3 -x103 -x203 -x303 -x403 -x503 -x603 -x703 x803 -x903 -x1003 -x1103 -x1203 -x1303 -x1403 1782.72/1783.32 v -x1503 -x1603 -x1703 -x4 -x104 -x204 -x304 -x404 -x504 -x604 -x704 -x804 -x904 -x1004 -x1104 -x1204 -x1304 -x1404 x1504 1782.72/1783.32 v -x1604 -x1704 -x5 -x105 -x205 -x305 -x405 -x505 -x605 -x705 -x805 -x905 x1005 -x1105 -x1205 -x1305 -x1405 -x1505 -x1605 1782.72/1783.32 v -x1705 -x6 -x106 -x206 -x306 -x406 -x506 -x606 -x706 -x806 x906 -x1006 -x1106 -x1206 -x1306 -x1406 -x1506 -x1606 -x1706 1782.72/1783.32 v -x7 -x107 -x207 -x307 -x407 -x507 -x607 -x707 -x807 -x907 -x1007 -x1107 -x1207 -x1307 x1407 -x1507 -x1607 -x1707 -x8 -x108 1782.72/1783.32 v -x208 -x308 -x408 -x508 -x608 -x708 -x808 -x908 -x1008 -x1108 -x1208 x1308 -x1408 -x1508 -x1608 -x1708 -x9 -x109 -x209 -x309 1782.72/1783.32 v x409 -x509 -x609 -x709 -x809 -x909 -x1009 -x1109 -x1209 -x1309 -x1409 -x1509 -x1609 -x1709 -x10 -x110 -x210 -x310 -x410 1782.72/1783.32 v x510 -x610 -x710 -x810 -x910 -x1010 -x1110 -x1210 -x1310 -x1410 -x1510 -x1610 -x1710 x11 -x111 -x211 -x311 -x411 -x511 -x611 1782.72/1783.32 v -x711 -x811 -x911 -x1011 -x1111 -x1211 -x1311 -x1411 -x1511 -x1611 -x1711 -x13 -x113 -x213 -x313 -x413 -x513 -x613 -x713 1782.72/1783.32 v -x813 -x913 -x1013 -x1113 -x1213 x1313 -x1413 -x1513 -x1613 -x1713 -x14 -x114 -x214 -x314 -x414 -x514 -x614 x714 -x814 -x914 1782.72/1783.32 v -x1014 -x1114 -x1214 -x1314 -x1414 -x1514 -x1614 -x1714 -x15 -x115 -x215 -x315 -x415 -x515 -x615 -x715 -x815 -x915 -x1015 1782.72/1783.32 v -x1115 -x1215 -x1315 x1415 -x1515 -x1615 -x1715 -x16 -x116 -x216 -x316 -x416 -x516 -x616 -x716 -x816 -x916 x1016 -x1116 1782.72/1783.32 v -x1216 -x1316 -x1416 -x1516 -x1616 -x1716 -x17 -x117 -x217 -x317 -x417 -x517 x617 -x717 -x817 -x917 -x1017 -x1117 -x1217 1782.72/1783.32 v -x1317 -x1417 -x1517 -x1617 -x1717 -x18 -x118 -x218 -x318 -x418 -x518 -x618 -x718 -x818 x918 -x1018 -x1118 -x1218 -x1318 1782.72/1783.32 v -x1418 -x1518 -x1618 -x1718 -x19 -x119 -x219 -x319 -x419 x519 -x619 -x719 -x819 -x919 -x1019 -x1119 -x1219 -x1319 -x1419 1782.72/1783.32 v -x1519 -x1619 -x1719 -x20 -x120 x220 -x320 -x420 -x520 -x620 -x720 -x820 -x920 -x1020 -x1120 -x1220 -x1320 -x1420 -x1520 1782.72/1783.32 v -x1620 -x1720 -x21 -x121 -x221 -x321 -x421 -x521 -x621 -x721 -x821 -x921 -x1021 -x1121 -x1221 -x1321 -x1421 -x1521 x1621 1782.72/1783.32 v -x1721 -x22 -x122 -x222 -x322 -x422 -x522 -x622 -x722 -x822 -x922 -x1022 -x1122 -x1222 -x1322 -x1422 -x1522 -x1622 x1722 1782.72/1783.32 v -x24 -x124 -x224 -x324 -x424 -x524 x624 -x724 -x824 -x924 -x1024 -x1124 -x1224 -x1324 -x1424 -x1524 -x1624 -x1724 -x25 x125 1782.72/1783.32 v -x225 -x325 -x425 -x525 -x625 -x725 -x825 -x925 -x1025 -x1125 -x1225 -x1325 -x1425 -x1525 -x1625 -x1725 -x26 -x126 -x226 1782.72/1783.32 v -x326 -x426 -x526 -x626 -x726 -x826 -x926 -x1026 -x1126 -x1226 -x1326 x1426 -x1526 -x1626 -x1726 -x27 -x127 -x227 -x327 1782.72/1783.32 v -x427 -x527 -x627 x727 -x827 -x927 -x1027 -x1127 -x1227 -x1327 -x1427 -x1527 -x1627 -x1727 -x28 -x128 x228 -x328 -x428 -x528 1782.72/1783.32 v -x628 -x728 -x828 -x928 -x1028 -x1128 -x1228 -x1328 -x1428 -x1528 -x1628 -x1728 -x29 -x129 -x229 -x329 -x429 -x529 -x629 1782.72/1783.32 v -x729 -x829 -x929 x1029 -x1129 -x1229 -x1329 -x1429 -x1529 -x1629 -x1729 -x30 -x130 -x230 x330 -x430 -x530 -x630 -x730 -x830 1782.72/1783.32 v -x930 -x1030 -x1130 -x1230 -x1330 -x1430 -x1530 -x1630 -x1730 -x31 x131 -x231 -x331 -x431 -x531 -x631 -x731 -x831 -x931 1782.72/1783.32 v -x1031 -x1131 -x1231 -x1331 -x1431 -x1531 -x1631 -x1731 -x32 -x132 -x232 -x332 -x432 -x532 -x632 -x732 -x832 -x932 -x1032 1782.72/1783.32 v -x1132 x1232 -x1332 -x1432 -x1532 -x1632 -x1732 -x33 -x133 -x233 -x333 -x433 -x533 -x633 -x733 -x833 x933 -x1033 -x1133 1782.72/1783.32 v -x1233 -x1333 -x1433 -x1533 -x1633 -x1733 -x35 -x135 -x235 x335 -x435 -x535 -x635 -x735 -x835 -x935 -x1035 -x1135 -x1235 1782.72/1783.32 v -x1335 -x1435 -x1535 -x1635 -x1735 -x36 -x136 -x236 -x336 x436 -x536 -x636 -x736 -x836 -x936 -x1036 -x1136 -x1236 -x1336 1782.72/1783.32 v -x1436 -x1536 -x1636 -x1736 -x37 -x137 -x237 -x337 -x437 -x537 -x637 -x737 x837 -x937 -x1037 -x1137 -x1237 -x1337 -x1437 1782.72/1783.32 v -x1537 -x1637 -x1737 x38 -x138 -x238 -x338 -x438 -x538 -x638 -x738 -x838 -x938 -x1038 -x1138 -x1238 -x1338 -x1438 -x1538 1782.72/1783.32 v -x1638 -x1738 -x39 -x139 -x239 -x339 -x439 -x539 -x639 -x739 -x839 -x939 -x1039 -x1139 -x1239 -x1339 x1439 -x1539 -x1639 1782.72/1783.32 v -x1739 -x40 -x140 -x240 -x340 -x440 -x540 -x640 -x740 -x840 -x940 -x1040 -x1140 -x1240 x1340 -x1440 -x1540 -x1640 -x1740 1782.72/1783.32 v -x41 -x141 x241 -x341 -x441 -x541 -x641 -x741 -x841 -x941 -x1041 -x1141 -x1241 -x1341 -x1441 -x1541 -x1641 -x1741 -x42 -x142 1782.72/1783.32 v -x242 -x342 x442 -x542 -x642 -x742 -x842 -x942 -x1042 -x1142 -x1242 -x1342 -x1442 -x1542 -x1642 -x1742 -x43 -x143 -x243 1782.72/1783.32 v -x343 -x443 x543 -x643 -x743 -x843 -x943 -x1043 -x1143 -x1243 -x1343 -x1443 -x1543 -x1643 -x1743 -x44 -x144 -x244 -x344 1782.72/1783.32 v -x444 -x544 -x644 -x744 -x844 -x944 -x1044 x1144 -x1244 -x1344 -x1444 -x1544 -x1644 -x1744 x46 -x146 -x246 -x346 -x446 -x546 1782.72/1783.32 v -x646 -x746 -x846 -x946 -x1046 -x1146 -x1246 -x1346 -x1446 -x1546 -x1646 -x1746 -x47 -x147 -x247 -x347 -x447 -x547 -x647 1782.72/1783.32 v -x747 -x847 -x947 -x1047 -x1147 -x1247 x1347 -x1447 -x1547 -x1647 -x1747 -x48 -x148 -x248 -x348 -x448 -x548 -x648 -x748 1782.72/1783.32 v -x848 -x948 -x1048 -x1148 -x1248 -x1348 -x1448 x1548 -x1648 -x1748 -x49 -x149 -x249 -x349 -x449 -x549 x649 -x749 -x849 -x949 1782.72/1783.32 v -x1049 -x1149 -x1249 -x1349 -x1449 -x1549 -x1649 -x1749 -x50 -x150 -x250 -x350 -x450 -x550 -x650 -x750 x850 -x950 -x1050 1782.72/1783.32 v -x1150 -x1250 -x1350 -x1450 -x1550 -x1650 -x1750 -x51 -x151 -x251 -x351 -x451 -x551 -x651 -x751 -x851 -x951 -x1051 x1151 1782.72/1783.32 v -x1251 -x1351 -x1451 -x1551 -x1651 -x1751 -x52 -x152 -x252 -x352 -x452 -x552 -x652 -x752 -x852 -x952 -x1052 -x1152 -x1252 1782.72/1783.32 v -x1352 -x1452 -x1552 x1652 -x1752 -x53 -x153 -x253 -x353 -x453 -x553 -x653 -x753 -x853 -x953 -x1053 -x1153 x1253 -x1353 1782.72/1783.32 v -x1453 -x1553 -x1653 -x1753 -x54 -x154 -x254 -x354 -x454 -x554 -x654 -x754 -x854 -x954 -x1054 -x1154 -x1254 -x1354 -x1454 1782.72/1783.32 v -x1554 -x1654 x1754 -x55 -x155 -x255 -x355 -x455 -x555 -x655 x755 -x855 -x955 -x1055 -x1155 -x1255 -x1355 -x1455 -x1555 1782.72/1783.32 v -x1655 -x1755 -x57 -x157 x257 -x357 -x457 -x557 -x657 -x757 -x857 -x957 -x1057 -x1157 -x1257 -x1357 -x1457 -x1557 -x1657 1782.72/1783.32 v -x1757 -x58 -x158 -x258 -x358 -x458 x558 -x658 -x758 -x858 -x958 -x1058 -x1158 -x1258 -x1358 -x1458 -x1558 -x1658 -x1758 1782.72/1783.32 v -x59 -x159 -x259 -x359 -x459 -x559 -x659 -x759 -x859 -x959 -x1059 -x1159 -x1259 x1359 -x1459 -x1559 -x1659 -x1759 -x60 -x160 1782.72/1783.32 v -x260 -x360 -x460 -x560 x660 -x760 -x860 -x960 -x1060 -x1160 -x1260 -x1360 -x1460 -x1560 -x1660 -x1760 -x61 -x161 -x261 1782.72/1783.32 v -x361 -x461 -x561 -x661 -x761 -x861 -x961 -x1061 -x1161 -x1261 -x1361 -x1461 -x1561 -x1661 x1761 -x62 x162 -x262 -x362 -x462 1782.72/1783.32 v -x562 -x662 -x762 -x862 -x962 -x1062 -x1162 -x1262 -x1362 -x1462 -x1562 -x1662 -x1762 -x63 -x163 -x263 -x363 -x463 -x563 1782.72/1783.32 v -x663 -x763 -x863 -x963 -x1063 x1163 -x1263 -x1363 -x1463 -x1563 -x1663 -x1763 -x64 -x164 -x264 -x364 -x464 x564 -x664 -x764 1782.72/1783.32 v -x864 -x964 -x1064 -x1164 -x1264 -x1364 -x1464 -x1564 -x1664 -x1764 -x65 -x165 -x265 -x365 -x465 -x565 -x665 -x765 -x865 1782.72/1783.32 v x965 -x1065 -x1165 -x1265 -x1365 -x1465 -x1565 -x1665 -x1765 -x66 -x166 -x266 -x366 -x466 -x566 -x666 -x766 -x866 -x966 1782.72/1783.32 v -x1066 -x1166 -x1266 -x1366 -x1466 x1566 -x1666 -x1766 -x68 -x168 -x268 -x368 -x468 -x568 -x668 -x768 -x868 -x968 -x1068 1782.72/1783.32 v -x1168 -x1268 -x1368 -x1468 -x1568 x1668 -x1768 x69 -x169 -x269 -x369 -x469 -x569 -x669 -x769 -x869 -x969 -x1069 -x1169 1782.72/1783.32 v -x1269 -x1369 -x1469 -x1569 -x1669 -x1769 -x70 -x170 -x270 -x370 -x470 -x570 -x670 -x770 -x870 -x970 x1070 -x1170 -x1270 1782.72/1783.32 v -x1370 -x1470 -x1570 -x1670 -x1770 -x71 -x171 -x271 -x371 -x471 -x571 x671 -x771 -x871 -x971 -x1071 -x1171 -x1271 -x1371 1782.72/1783.32 v -x1471 -x1571 -x1671 -x1771 -x72 -x172 -x272 -x372 -x472 -x572 -x672 -x772 -x872 -x972 -x1072 x1172 -x1272 -x1372 -x1472 1782.72/1783.32 v -x1572 -x1672 -x1772 -x73 -x173 -x273 -x373 x473 -x573 -x673 -x773 -x873 -x973 -x1073 -x1173 -x1273 -x1373 -x1473 -x1573 1782.72/1783.32 v -x1673 -x1773 -x74 -x174 -x274 -x374 -x474 -x574 -x674 -x774 -x874 -x974 x1074 -x1174 -x1274 -x1374 -x1474 -x1574 -x1674 1782.72/1783.32 v -x1774 -x75 -x175 -x275 -x375 -x475 -x575 -x675 -x775 -x875 -x975 -x1075 -x1175 x1275 -x1375 -x1475 -x1575 -x1675 -x1775 1782.72/1783.32 v -x76 -x176 -x276 -x376 -x476 -x576 -x676 -x776 x876 -x976 -x1076 -x1176 -x1276 -x1376 -x1476 -x1576 -x1676 -x1776 -x77 -x177 1782.72/1783.32 v -x277 x377 -x477 -x577 -x677 -x777 -x877 -x977 -x1077 -x1177 -x1277 -x1377 -x1477 -x1577 -x1677 -x1777 -x79 -x179 -x279 1782.72/1783.32 v -x379 -x479 -x579 -x679 -x779 -x879 -x979 -x1079 -x1179 -x1279 -x1379 -x1479 -x1579 -x1679 x1779 -x80 -x180 -x280 -x380 1782.72/1783.32 v -x480 -x580 -x680 -x780 -x880 -x980 -x1080 -x1180 -x1280 -x1380 x1480 -x1580 -x1680 -x1780 -x81 -x181 -x281 -x381 -x481 1782.72/1783.32 v -x581 -x681 x781 -x881 -x981 -x1081 -x1181 -x1281 -x1381 -x1481 -x1581 -x1681 -x1781 -x82 -x182 -x282 -x382 -x482 -x582 1782.72/1783.32 v -x682 -x782 x882 -x982 -x1082 -x1182 -x1282 -x1382 -x1482 -x1582 -x1682 -x1782 -x83 -x183 -x283 -x383 -x483 -x583 -x683 1782.72/1783.32 v -x783 -x883 -x983 -x1083 -x1183 -x1283 -x1383 -x1483 x1583 -x1683 -x1783 -x84 -x184 x284 -x384 -x484 -x584 -x684 -x784 -x884 1782.72/1783.32 v -x984 -x1084 -x1184 -x1284 -x1384 -x1484 -x1584 -x1684 -x1784 -x85 -x185 -x285 -x385 -x485 -x585 -x685 -x785 -x885 -x985 1782.72/1783.32 v -x1085 -x1185 -x1285 -x1385 -x1485 -x1585 x1685 -x1785 -x86 -x186 -x286 x386 -x486 -x586 -x686 -x786 -x886 -x986 -x1086 1782.72/1783.32 v -x1186 -x1286 -x1386 -x1486 -x1586 -x1686 -x1786 -x87 -x187 -x287 -x387 -x487 -x587 -x687 -x787 -x887 -x987 -x1087 -x1187 1782.72/1783.32 v x1287 -x1387 -x1487 -x1587 -x1687 -x1787 -x88 x188 -x288 -x388 -x488 -x588 -x688 -x788 -x888 -x988 -x1088 -x1188 -x1288 1782.72/1783.32 v -x1388 -x1488 -x1588 -x1688 -x1788 -x90 -x190 -x290 -x390 -x490 -x590 -x690 -x790 -x890 x990 -x1090 -x1190 -x1290 -x1390 1782.72/1783.32 v -x1490 -x1590 -x1690 -x1790 -x91 -x191 -x291 -x391 -x491 -x591 -x691 -x791 -x891 -x991 -x1091 -x1191 x1291 -x1391 -x1491 1782.72/1783.32 v -x1591 -x1691 -x1791 -x92 -x192 -x292 -x392 -x492 -x592 -x692 -x792 -x892 -x992 -x1092 -x1192 -x1292 -x1392 -x1492 x1592 1782.72/1783.32 v -x1692 -x1792 x93 -x193 -x293 -x393 -x493 -x593 -x693 -x793 -x893 -x993 -x1093 -x1193 -x1293 -x1393 -x1493 -x1593 -x1693 1782.72/1783.32 v -x1793 -x94 -x194 -x294 -x394 -x494 -x594 -x694 -x794 -x894 -x994 -x1094 -x1194 -x1294 -x1394 -x1494 -x1594 x1694 -x1794 1782.72/1783.32 v -x95 -x195 -x295 -x395 -x495 -x595 -x695 -x795 -x895 -x995 -x1095 -x1195 -x1295 -x1395 -x1495 -x1595 -x1695 x1795 -x96 x196 1782.72/1783.32 v -x296 -x396 -x496 -x596 -x696 -x796 -x896 -x996 -x1096 -x1196 -x1296 -x1396 -x1496 -x1596 -x1696 -x1796 -x97 -x197 -x297 1782.72/1783.32 v -x397 x497 -x597 -x697 -x797 -x897 -x997 -x1097 -x1197 -x1297 -x1397 -x1497 -x1597 -x1697 -x1797 -x98 -x198 -x298 -x398 1782.72/1783.32 v -x498 -x598 -x698 x798 -x898 -x998 -x1098 -x1198 -x1298 -x1398 -x1498 -x1598 -x1698 -x1798 -x99 -x199 -x299 -x399 -x499 1782.72/1783.32 v -x599 -x699 -x799 -x899 -x999 -x1099 x1199 -x1299 -x1399 -x1499 -x1599 -x1699 -x1799 -x12 x112 -x212 x312 x412 -x512 -x612 1782.72/1783.32 v -x712 x812 -x912 -x1012 x1112 x1212 -x1312 -x1412 x1512 x1612 x1712 x23 -x123 -x223 -x323 x423 x523 -x623 -x723 x823 x923 1782.72/1783.32 v -x1023 x1123 x1223 x1323 -x1423 x1523 -x1623 -x1723 -x34 -x134 x234 -x334 -x434 x534 x634 x734 -x834 -x934 x1034 x1134 -x1234 1782.72/1783.32 v -x1334 -x1434 x1534 x1634 x1734 -x45 x145 -x245 x345 -x445 -x545 -x645 x745 -x845 x945 x1045 -x1145 x1245 -x1345 x1445 -x1545 1782.72/1783.32 v x1645 x1745 x56 x156 -x256 x356 x456 -x556 -x656 -x756 x856 x956 x1056 -x1156 -x1256 -x1356 x1456 x1556 -x1656 -x1756 -x67 1782.72/1783.32 v -x167 x267 x367 x467 -x567 x667 x767 x867 -x967 -x1067 -x1167 x1267 x1367 x1467 -x1567 -x1667 -x1767 x78 x178 x278 -x378 -x478 1782.72/1783.32 v x578 -x678 x778 -x878 x978 -x1078 -x1178 -x1278 x1378 -x1478 x1578 x1678 -x1778 x89 -x189 -x289 -x389 x489 x589 x689 -x789 1782.72/1783.32 v -x889 -x989 x1089 x1189 -x1289 x1389 x1489 -x1589 -x1689 x1789 -x100 -x200 x300 x400 -x500 x600 x700 -x800 x900 x1000 x1100 1782.72/1783.32 v -x1200 -x1300 x1400 x1500 -x1600 -x1700 -x1800 x1 x101 x201 -x301 -x401 -x501 x601 x701 -x801 -x901 -x1001 x1101 x1201 -x1301 1782.72/1783.32 v -x1401 -x1501 x1601 x1701
OK 346
/tmp/evaluation/352736-1176640336/instance-352736-1176640336.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node35/watcher-352736-1176640336 -o ROOT/results/node35/solver-352736-1176640336 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/352736-1176640336/instance-352736-1176640336.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: 0.99 0.97 0.98 3/77 25893 /proc/meminfo: memFree=1841552/2055920 swapFree=4068600/4192956 [pid=25893] ppid=25891 vsize=2296 CPUtime=0 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 222 0 0 0 0 0 0 0 18 0 1 0 111949003 2351104 192 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 574 192 169 16 0 13 0 [startup+0.0912309 s] /proc/loadavg: 0.99 0.97 0.98 3/77 25893 /proc/meminfo: memFree=1841552/2055920 swapFree=4068600/4192956 [pid=25893] ppid=25891 vsize=3616 CPUtime=0.08 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 522 0 0 0 8 0 0 0 18 0 1 0 111949003 3702784 492 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 1928919 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 904 492 199 16 0 343 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3616 [startup+0.102232 s] /proc/loadavg: 0.99 0.97 0.98 3/77 25893 /proc/meminfo: memFree=1841552/2055920 swapFree=4068600/4192956 [pid=25893] ppid=25891 vsize=3616 CPUtime=0.09 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 552 0 0 0 9 0 0 0 18 0 1 0 111949003 3702784 522 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 904 522 199 16 0 343 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3616 [startup+0.301255 s] /proc/loadavg: 0.99 0.97 0.98 3/77 25893 /proc/meminfo: memFree=1841552/2055920 swapFree=4068600/4192956 [pid=25893] ppid=25891 vsize=5748 CPUtime=0.29 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 1069 0 0 0 29 0 0 0 19 0 1 0 111949003 5885952 1039 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 1928919 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 1437 1039 199 16 0 876 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5748 [startup+0.702302 s] /proc/loadavg: 0.99 0.97 0.98 3/77 25893 /proc/meminfo: memFree=1841552/2055920 swapFree=4068600/4192956 [pid=25893] ppid=25891 vsize=8544 CPUtime=0.69 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 1764 0 0 0 68 1 0 0 23 0 1 0 111949003 8749056 1734 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134546737 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 2136 1734 199 16 0 1575 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8544 [startup+1.50139 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25894 /proc/meminfo: memFree=1833288/2055920 swapFree=4068600/4192956 [pid=25893] ppid=25891 vsize=18896 CPUtime=1.49 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 4317 0 0 0 147 2 0 0 25 0 1 0 111949003 19349504 4287 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134556485 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 4724 4287 205 16 0 4163 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18896 [startup+3.10158 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25894 /proc/meminfo: memFree=1824968/2055920 swapFree=4068600/4192956 [pid=25893] ppid=25891 vsize=18896 CPUtime=3.09 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 4318 0 0 0 307 2 0 0 25 0 1 0 111949003 19349504 4288 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 4724 4288 205 16 0 4163 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18896 [startup+6.30196 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25894 /proc/meminfo: memFree=1824776/2055920 swapFree=4068600/4192956 [pid=25893] ppid=25891 vsize=18896 CPUtime=6.29 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 4318 0 0 0 626 3 0 0 25 0 1 0 111949003 19349504 4288 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 4724 4288 205 16 0 4163 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18896 [startup+12.7017 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25894 /proc/meminfo: memFree=1818504/2055920 swapFree=4068600/4192956 [pid=25893] ppid=25891 vsize=25700 CPUtime=12.69 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 6041 0 0 0 1264 5 0 0 25 0 1 0 111949003 26316800 6011 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 6425 6011 205 16 0 5864 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25700 [startup+25.5012 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25894 /proc/meminfo: memFree=1806856/2055920 swapFree=4068600/4192956 [pid=25893] ppid=25891 vsize=37128 CPUtime=25.49 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 8863 0 0 0 2541 8 0 0 25 0 1 0 111949003 38019072 8833 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522731 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 9282 8833 205 16 0 8721 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 37128 [startup+51.1012 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25894 /proc/meminfo: memFree=1783944/2055920 swapFree=4068600/4192956 [pid=25893] ppid=25891 vsize=60236 CPUtime=51.07 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 14640 0 0 0 5093 14 0 0 25 0 1 0 111949003 61681664 14610 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 15059 14610 205 16 0 14498 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 60236 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25894 /proc/meminfo: memFree=1758152/2055920 swapFree=4068664/4192956 [pid=25893] ppid=25891 vsize=85608 CPUtime=102.27 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 20987 0 0 0 10204 23 0 0 25 0 1 0 111949003 87662592 20957 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 21402 20957 205 16 0 20841 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 85608 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25894 /proc/meminfo: memFree=1740232/2055920 swapFree=4068664/4192956 [pid=25893] ppid=25891 vsize=103764 CPUtime=162.24 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 25542 0 0 0 16194 30 0 0 25 0 1 0 111949003 106254336 25512 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134524544 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 25941 25512 205 16 0 25380 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 103764 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25894 /proc/meminfo: memFree=1708744/2055920 swapFree=4068728/4192956 [pid=25893] ppid=25891 vsize=134648 CPUtime=222.23 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 33261 0 0 0 22185 38 0 0 25 0 1 0 111949003 137879552 33231 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 33662 33231 205 16 0 33101 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 134648 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25894 /proc/meminfo: memFree=1708744/2055920 swapFree=4068728/4192956 [pid=25893] ppid=25891 vsize=134648 CPUtime=282.21 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 33261 0 0 0 28178 43 0 0 25 0 1 0 111949003 137879552 33231 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 33662 33231 205 16 0 33101 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 134648 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25896 /proc/meminfo: memFree=1700296/2055920 swapFree=4068728/4192956 [pid=25893] ppid=25891 vsize=142728 CPUtime=342.19 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 35293 0 0 0 34172 47 0 0 25 0 1 0 111949003 146153472 35263 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520163 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 35682 35263 205 16 0 35121 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 142728 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25896 /proc/meminfo: memFree=1700360/2055920 swapFree=4068792/4192956 [pid=25893] ppid=25891 vsize=142728 CPUtime=402.17 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 35293 0 0 0 40168 49 0 0 25 0 1 0 111949003 146153472 35263 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 35682 35263 205 16 0 35121 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 142728 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25896 /proc/meminfo: memFree=1700360/2055920 swapFree=4068792/4192956 [pid=25893] ppid=25891 vsize=142728 CPUtime=462.16 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 35293 0 0 0 46164 52 0 0 25 0 1 0 111949003 146153472 35263 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 35682 35263 205 16 0 35121 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 142728 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25896 /proc/meminfo: memFree=1679112/2055920 swapFree=4068856/4192956 [pid=25893] ppid=25891 vsize=164572 CPUtime=522.15 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 40738 0 0 0 52158 57 0 0 25 0 1 0 111949003 168521728 40708 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 41143 40708 205 16 0 40582 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 164572 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25896 /proc/meminfo: memFree=1655560/2055920 swapFree=4068856/4192956 [pid=25893] ppid=25891 vsize=187460 CPUtime=582.13 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 46462 0 0 0 58151 62 0 0 25 0 1 0 111949003 191959040 46432 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 46865 46432 205 16 0 46304 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 187460 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25896 /proc/meminfo: memFree=1655496/2055920 swapFree=4068856/4192956 [pid=25893] ppid=25891 vsize=187460 CPUtime=642.12 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 46462 0 0 0 64144 68 0 0 25 0 1 0 111949003 191959040 46432 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 46865 46432 205 16 0 46304 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 187460 ################ # More data... # ################ /proc/meminfo: memFree=1655304/2055920 swapFree=4068984/4192956 [pid=25893] ppid=25891 vsize=187716 CPUtime=822.07 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 46469 0 0 0 82130 77 0 0 25 0 1 0 111949003 192221184 46439 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 46929 46439 206 16 0 46368 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 187716 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25896 /proc/meminfo: memFree=1655304/2055920 swapFree=4068984/4192956 [pid=25893] ppid=25891 vsize=187716 CPUtime=882.05 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 46469 0 0 0 88126 79 0 0 25 0 1 0 111949003 192221184 46439 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 46929 46439 206 16 0 46368 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 187716 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25896 /proc/meminfo: memFree=1646280/2055920 swapFree=4068984/4192956 [pid=25893] ppid=25891 vsize=196820 CPUtime=942.03 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 48723 0 0 0 94122 81 0 0 25 0 1 0 111949003 201543680 48693 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520163 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 49205 48693 206 16 0 48644 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 196820 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25896 /proc/meminfo: memFree=1621256/2055920 swapFree=4069048/4192956 [pid=25893] ppid=25891 vsize=221928 CPUtime=1002.02 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 54974 0 0 0 100116 86 0 0 25 0 1 0 111949003 227254272 54944 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528563 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 55482 54944 206 16 0 54921 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 221928 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25896 /proc/meminfo: memFree=1603720/2055920 swapFree=4069048/4192956 [pid=25893] ppid=25891 vsize=239048 CPUtime=1062 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 59282 0 0 0 106106 94 0 0 25 0 1 0 111949003 244785152 59252 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519085 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 59762 59252 206 16 0 59201 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 239048 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25896 /proc/meminfo: memFree=1603720/2055920 swapFree=4069112/4192956 [pid=25893] ppid=25891 vsize=239048 CPUtime=1121.98 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 59282 0 0 0 112102 96 0 0 25 0 1 0 111949003 244785152 59252 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 59762 59252 206 16 0 59201 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 239048 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25896 /proc/meminfo: memFree=1603592/2055920 swapFree=4069112/4192956 [pid=25893] ppid=25891 vsize=239048 CPUtime=1181.97 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 59282 0 0 0 118098 99 0 0 25 0 1 0 111949003 244785152 59252 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 59762 59252 206 16 0 59201 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 239048 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25896 /proc/meminfo: memFree=1603400/2055920 swapFree=4069112/4192956 [pid=25893] ppid=25891 vsize=239048 CPUtime=1241.95 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 59282 0 0 0 124094 101 0 0 25 0 1 0 111949003 244785152 59252 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134533509 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 59762 59252 206 16 0 59201 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 239048 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25896 /proc/meminfo: memFree=1603464/2055920 swapFree=4069176/4192956 [pid=25893] ppid=25891 vsize=239048 CPUtime=1301.94 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 59282 0 0 0 130091 103 0 0 25 0 1 0 111949003 244785152 59252 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520070 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 59762 59252 206 16 0 59201 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 239048 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25896 /proc/meminfo: memFree=1603336/2055920 swapFree=4069176/4192956 [pid=25893] ppid=25891 vsize=239048 CPUtime=1361.92 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 59282 0 0 0 136086 106 0 0 25 0 1 0 111949003 244785152 59252 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 59762 59252 206 16 0 59201 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 239048 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25896 /proc/meminfo: memFree=1603336/2055920 swapFree=4069240/4192956 [pid=25893] ppid=25891 vsize=239048 CPUtime=1421.91 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 59282 0 0 0 142079 112 0 0 25 0 1 0 111949003 244785152 59252 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527987 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 59762 59252 206 16 0 59201 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 239048 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25896 /proc/meminfo: memFree=1603272/2055920 swapFree=4069240/4192956 [pid=25893] ppid=25891 vsize=239048 CPUtime=1481.88 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 59289 0 0 0 148075 113 0 0 25 0 1 0 111949003 244785152 59259 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 1898140 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 59762 59259 206 16 0 59201 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 239048 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25896 /proc/meminfo: memFree=1603208/2055920 swapFree=4069304/4192956 [pid=25893] ppid=25891 vsize=239048 CPUtime=1541.87 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 59289 0 0 0 154071 116 0 0 25 0 1 0 111949003 244785152 59259 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 59762 59259 206 16 0 59201 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 239048 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25896 /proc/meminfo: memFree=1603208/2055920 swapFree=4069304/4192956 [pid=25893] ppid=25891 vsize=239048 CPUtime=1601.85 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 59289 0 0 0 160067 118 0 0 25 0 1 0 111949003 244785152 59259 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 59762 59259 206 16 0 59201 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 239048 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25896 /proc/meminfo: memFree=1603208/2055920 swapFree=4069304/4192956 [pid=25893] ppid=25891 vsize=239048 CPUtime=1661.84 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 59290 0 0 0 166063 121 0 0 25 0 1 0 111949003 244785152 59260 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134533489 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 59762 59260 206 16 0 59201 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 239048 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25896 /proc/meminfo: memFree=1603144/2055920 swapFree=4069368/4192956 [pid=25893] ppid=25891 vsize=239048 CPUtime=1721.82 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 59290 0 0 0 172060 122 0 0 25 0 1 0 111949003 244785152 59260 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 59762 59260 206 16 0 59201 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 239048 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/84 26074 /proc/meminfo: memFree=1570576/2055920 swapFree=4069368/4192956 [pid=25893] ppid=25891 vsize=270596 CPUtime=1781.72 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 67167 0 0 0 178042 130 0 0 25 0 1 0 111949003 277090304 67137 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 0 0 0 /proc/25893/statm: 67649 67137 206 16 0 67088 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 270596 Solver just ended. Dumping a history of the last processes samples [startup+1783.11 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26094 /proc/meminfo: memFree=1570680/2055920 swapFree=4069368/4192956 [pid=25893] ppid=25891 vsize=270840 CPUtime=1782.52 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 67214 0 0 0 178122 130 0 0 25 0 1 0 111949003 277340160 67184 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520078 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 67710 67184 206 16 0 67149 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (KiB) 270840 [startup+1783.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26094 /proc/meminfo: memFree=1570680/2055920 swapFree=4069368/4192956 [pid=25893] ppid=25891 vsize=270840 CPUtime=1782.72 /proc/25893/stat : 25893 (Pueblo) R 25891 25893 25527 0 -1 4194304 67214 0 0 0 178142 130 0 0 25 0 1 0 111949003 277340160 67184 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527162 0 0 4096 0 0 0 0 17 1 0 0 /proc/25893/statm: 67710 67184 206 16 0 67149 0 Current children cumulated CPU time (s) 1782.72 Current children cumulated vsize (KiB) 270840 Child status: 10 Real time (s): 1783.37 CPU time (s): 1782.79 CPU user time (s): 1781.45 CPU system time (s): 1.34879 CPU usage (%): 99.9678 Max. virtual memory (cumulated for all children) (KiB): 270840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.45 system time used= 1.34879 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 67227 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= 4047 runsolver used 2.05069 second user time and 4.11837 second system time The end
Begin job on node35 on Sun Apr 15 12:32:16 UTC 2007 IDJOB= 352736 IDBENCH= 2013 IDSOLVER= 165 FILE ID= node35/352736-1176640336 PBS_JOBID= 4559836 Free space on /tmp= 66559 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ10_3.opb COMMAND LINE= Pueblo /tmp/evaluation/352736-1176640336/instance-352736-1176640336.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node35/convwatcher-352736-1176640336 -o ROOT/results/node35/conversion-352736-1176640336 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/352736-1176640336/instance-352736-1176640336.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-352736-1176640336 -o ROOT/results/node35/solver-352736-1176640336 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/352736-1176640336/instance-352736-1176640336.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 2821538067d8c071dc9bd4a000c6d040 RANDOM SEED= 511116191 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node35.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.232 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.232 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: 1842024 kB Buffers: 28564 kB Cached: 70344 kB SwapCached: 2548 kB Active: 94388 kB Inactive: 56604 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1842024 kB SwapTotal: 4192956 kB SwapFree: 4068600 kB Dirty: 5352 kB Writeback: 0 kB Mapped: 59992 kB Slab: 48264 kB Committed_AS: 1400976 kB PageTables: 1996 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= 66559 MiB End job on node35 on Sun Apr 15 13:01:59 UTC 2007