Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 82252 | 1800.23 | 1800.73 |
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.01 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Time Limit set to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/352721-1176639916/instance-352721-1176639916.opb 0.00/0.01 c File size is 3055321 bytes. 0.48/0.54 c Highest Coefficient sum: 559660 0.48/0.54 c Parsing was ok!! 0.48/0.55 c Total parsing time: 0.526 s 0.48/0.57 c Var: 2700 Constr: 43070 20670/800/21600 Lit: 312360 Watch. Lit: 96380 0.48/0.57 c Obj. Vars: 900 (33.3333 % of total variables) 1.46/1.59 c Pre-processing Time: 1.556 s 1.46/1.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.46/1.59 c 0 2700 43070 312360 7 182780 564890 0 0 1.56 1.46/1.59 c Switching off LPR mode. 1.86/1.94 c 101 2700 43171 318200 7 192616 621380 101 62 1.61 1.86/1.94 c 257 2700 43327 322350 7 195697 683519 257 157 1.63 1.86/1.94 c 482 2700 43552 333932 7 195469 751871 482 288 1.67 1.86/1.94 c 822 2700 43892 360798 8 197397 827059 822 466 1.76 1.86/1.94 o 93168 1.906 2.16/2.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.16/2.29 c 1097 2700 44168 404875 9 199320 566690 1098 574 1.91 2.16/2.29 c 1197 2700 44268 423578 9 196883 623360 1198 603 1.99 2.16/2.29 c 1447 2700 44518 475314 10 195548 685697 1448 667 2.17 2.16/2.29 o 92067 2.256 2.66/2.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.66/2.75 c 1606 2700 44678 492059 11 195129 566690 1608 710 2.26 2.66/2.75 c 1706 2700 44778 506626 11 194122 623360 1708 730 2.34 2.66/2.75 c 1956 2700 45028 517131 11 193333 685697 1958 816 2.40 2.66/2.75 c 2431 2700 45503 568221 12 195714 754267 2433 964 2.52 2.66/2.75 o 86577 2.723 5.96/6.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.96/6.00 c 3012 2700 46085 634272 13 195745 566690 3015 1104 2.73 5.96/6.00 c 3115 2700 46188 643522 13 194760 623360 3118 1113 2.80 5.96/6.00 c 3369 2700 46442 679596 14 193955 685697 3372 1147 2.94 5.96/6.00 c 3845 2700 46918 719282 15 192189 754267 3848 1175 3.27 5.96/6.00 c 4658 2700 47731 805830 16 199638 829694 4661 1239 3.76 5.96/6.00 c 5979 2700 49052 1090746 22 192024 912664 5982 1209 4.94 5.96/6.00 o 86373 5.968 6.16/6.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.16/6.25 c 6944 2700 50018 1359595 27 202392 566690 6948 1162 5.97 6.16/6.25 c 7046 2700 50120 1373624 27 200631 623360 7050 1153 6.11 6.16/6.25 o 86235 6.221 8.56/8.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.56/8.60 c 7148 2700 50223 1385265 27 202118 566690 7153 1148 6.23 8.56/8.60 c 7248 2700 50323 1393203 27 202911 623360 7253 1148 6.31 8.56/8.60 c 7500 2700 50575 1408535 27 201122 685697 7505 1140 6.58 8.56/8.60 c 7977 2700 51052 1535846 30 201285 754267 7982 1099 7.26 8.56/8.60 c 8790 2700 51865 1772463 34 204442 829694 8795 1037 8.47 8.56/8.60 o 86164 8.567 48.45/48.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 48.45/48.56 c 8867 2700 51943 1780975 34 206083 566690 8873 1034 8.57 48.45/48.56 c 8969 2700 52045 1785163 34 204058 623360 8975 1036 8.65 48.45/48.56 c 9219 2700 52295 1796758 34 207560 685697 9225 1057 8.71 48.45/48.56 c 9694 2700 52770 1840110 34 209220 754267 9700 1081 8.96 48.45/48.56 c 10508 2700 53584 2011932 37 206859 829694 10514 1053 9.97 48.45/48.56 c 11831 2700 54907 2472234 45 211122 912664 11837 984 12.02 48.45/48.56 c 13912 2700 56988 3150960 55 215237 500000 13918 904 15.38 48.45/48.56 c 17138 2700 60214 4340732 72 224402 550001 17144 792 21.62 48.45/48.56 c 22077 2700 65153 5195164 79 234700 605002 22083 749 29.47 48.45/48.56 c 29583 2700 72659 8115891 111 242447 665503 29589 616 48.00 48.45/48.56 o 86083 48.512 51.04/51.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 51.04/51.10 c 29838 2700 72915 8150552 111 246137 566690 29845 615 48.52 51.04/51.10 c 29939 2700 73016 8160442 111 246128 623360 29946 614 48.71 51.04/51.10 c 30190 2700 73267 8198834 111 247374 685697 30197 613 49.19 51.04/51.10 c 30668 2700 73745 8255910 111 249990 754267 30675 614 49.87 51.04/51.10 c 31481 2700 74558 8312566 111 255118 829694 31488 625 50.34 51.04/51.10 o 82252 51.057 1799.99/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.99/1800.50 c 31893 2700 74971 8364782 111 256301 566690 31901 624 51.06 1799.99/1800.50 c 31993 2700 75071 8378155 111 256763 623360 32001 623 51.28 1799.99/1800.50 c 32244 2700 75322 8392769 111 257178 685697 32252 627 51.39 1799.99/1800.50 c 32720 2700 75798 8419692 111 259325 754267 32728 632 51.73 1799.99/1800.50 c 33535 2700 76613 8514398 111 262068 829694 33543 633 52.91 1799.99/1800.50 c 34855 2700 77933 8655276 111 263562 912664 34863 646 53.89 1799.99/1800.50 c 36937 2700 80015 8904851 111 267381 500000 36945 660 55.90 1799.99/1800.50 c 40161 2700 83239 9632366 115 270115 550001 40169 631 63.60 1799.99/1800.50 c 45102 2700 88180 11160443 126 283380 605002 45110 566 79.62 1799.99/1800.50 c 52609 2700 95687 14061253 146 294747 665503 52617 468 112.37 1799.99/1800.50 c 63971 2700 107049 19174504 179 321446 732054 63979 390 163.98 1799.99/1800.50 c 81118 2700 124196 28518427 229 351782 805260 81126 312 259.23 1799.99/1800.50 c 106941 2700 150019 40387578 269 409631 885787 106949 244 436.82 1799.99/1800.50 c 145773 2700 188851 64732516 342 481418 974366 145781 165 882.35 1799.99/1800.50 c 204125 2700 247203 100128589 405 601548 500000 204133 125 1626.48 1799.99/1800.50 c Resources Exceeded 1799.99/1800.50 v x1801 -x1802 x1803 -x1804 -x1805 x1806 x1807 x1808 x1809 -x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 -x1818 1799.99/1800.50 v x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 1799.99/1800.50 v x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 1799.99/1800.50 v -x1855 -x1856 -x1857 -x1858 x1859 -x1860 -x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1799.99/1800.50 v x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 1799.99/1800.50 v x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 x1903 -x1904 x1905 -x1906 x1907 x1908 1799.99/1800.50 v -x1909 -x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 1799.99/1800.50 v -x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 1799.99/1800.50 v -x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 x1959 -x1960 -x1961 -x1962 1799.99/1800.50 v x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 x1979 -x1980 1799.99/1800.50 v -x1981 -x1982 -x1983 -x1984 x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 1799.99/1800.50 v -x1999 x2000 -x2001 -x2002 -x2003 x2004 -x2005 x2006 -x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 1799.99/1800.50 v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 1799.99/1800.50 v -x2035 -x2036 -x2037 -x2038 x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 x2047 -x2048 -x2049 -x2050 -x2051 -x2052 1799.99/1800.50 v -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 x2060 -x2061 -x2062 -x2063 x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 1799.99/1800.50 v -x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 1799.99/1800.50 v -x2089 -x2090 -x2091 -x2092 -x2093 x2094 -x2095 -x2096 -x2097 x2098 -x2099 x2100 x2101 x2102 -x2103 -x2104 -x2105 x2106 1799.99/1800.50 v -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 -x2121 -x2122 -x2123 -x2124 1799.99/1800.50 v -x2125 x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142 1799.99/1800.50 v -x2143 -x2144 -x2145 x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 1799.99/1800.50 v x2160 x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 x2175 -x2176 -x2177 1799.99/1800.50 v -x2178 -x2179 -x2180 -x2181 -x2182 x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 -x2192 -x2193 -x2194 -x2195 1799.99/1800.50 v -x2196 x2197 -x2198 -x2199 x2200 -x2201 -x2202 x2203 x2204 x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 1799.99/1800.50 v -x2214 -x2215 -x2216 -x2217 -x2218 x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 x2226 -x2227 -x2228 -x2229 -x2230 -x2231 1799.99/1800.50 v -x2232 -x2233 -x2234 -x2235 -x2236 x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 1799.99/1800.50 v -x2250 -x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 x2262 -x2263 -x2264 -x2265 -x2266 -x2267 1799.99/1800.50 v -x2268 -x2269 -x2270 -x2271 -x2272 x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 x2282 -x2283 -x2284 -x2285 1799.99/1800.50 v -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 x2295 -x2296 x2297 x2298 -x2299 x2300 x2301 -x2302 x2303 1799.99/1800.50 v -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 x2319 -x2320 -x2321 1799.99/1800.50 v -x2322 x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 1799.99/1800.50 v x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 x2346 -x2347 -x2348 -x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 1799.99/1800.50 v -x2357 -x2358 -x2359 -x2360 x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2373 -x2374 1799.99/1800.50 v -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 x2391 -x2392 1799.99/1800.50 v -x2393 -x2394 -x2395 x2396 x2397 -x2398 x2399 -x2400 -x2401 x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x2410 1799.99/1800.50 v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 x2427 -x2428 1799.99/1800.50 v -x2429 -x2430 -x2431 -x2432 -x2433 x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 x2441 -x2442 -x2443 -x2444 -x2445 -x2446 1799.99/1800.50 v -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 x2459 -x2460 -x2461 -x2462 -x2463 -x2464 1799.99/1800.50 v -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 1799.99/1800.50 v x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 -x2492 -x2493 x2494 -x2495 -x2496 x2497 -x2498 x2499 1799.99/1800.50 v -x2500 x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 1799.99/1800.50 v -x2518 x2519 -x2520 -x2521 -x2522 -x2523 x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 1799.99/1800.50 v -x2536 x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 1799.99/1800.50 v -x2554 -x2555 x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568 x2569 -x2570 -x2571 1799.99/1800.50 v -x2572 -x2573 -x2574 x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 1799.99/1800.50 v -x2589 -x2590 x2591 -x2592 -x2593 x2594 x2595 -x2596 -x2597 x2598 x2599 x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 1799.99/1800.50 v -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 1799.99/1800.50 v -x2625 -x2626 -x2627 x2628 -x2629 -x2630 x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 1799.99/1800.50 v -x2643 -x2644 -x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 -x2658 -x2659 -x2660 1799.99/1800.50 v -x2661 -x2662 -x2663 x2664 -x2665 -x2666 x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 1799.99/1800.50 v -x2679 -x2680 -x2681 x2682 x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 x2693 -x2694 -x2695 x2696 1799.99/1800.50 v -x2697 x2698 x2699 x2700 -x2 -x102 -x202 -x302 -x402 -x502 -x602 -x702 -x802 -x902 -x1002 -x1102 -x1202 -x1302 -x1402 x1502 1799.99/1800.50 v -x1602 -x1702 -x3 -x103 -x203 -x303 -x403 -x503 -x603 -x703 -x803 -x903 -x1003 -x1103 -x1203 -x1303 -x1403 -x1503 -x1603 1799.99/1800.50 v x1703 x4 -x104 -x204 -x304 -x404 -x504 -x604 -x704 -x804 -x904 -x1004 -x1104 -x1204 -x1304 -x1404 -x1504 -x1604 -x1704 -x5 1799.99/1800.50 v -x105 -x205 -x305 -x405 -x505 -x605 -x705 -x805 -x905 -x1005 -x1105 x1205 -x1305 -x1405 -x1505 -x1605 -x1705 -x6 -x106 -x206 1799.99/1800.50 v -x306 -x406 -x506 -x606 -x706 -x806 -x906 -x1006 -x1106 -x1206 -x1306 -x1406 -x1506 x1606 -x1706 -x7 -x107 -x207 -x307 -x407 1799.99/1800.50 v -x507 -x607 -x707 -x807 -x907 -x1007 x1107 -x1207 -x1307 -x1407 -x1507 -x1607 -x1707 -x8 -x108 -x208 -x308 -x408 -x508 -x608 1799.99/1800.50 v x708 -x808 -x908 -x1008 -x1108 -x1208 -x1308 -x1408 -x1508 -x1608 -x1708 -x9 -x109 -x209 -x309 x409 -x509 -x609 -x709 -x809 1799.99/1800.50 v -x909 -x1009 -x1109 -x1209 -x1309 -x1409 -x1509 -x1609 -x1709 -x10 -x110 -x210 -x310 -x410 -x510 -x610 -x710 -x810 x910 1799.99/1800.50 v -x1010 -x1110 -x1210 -x1310 -x1410 -x1510 -x1610 -x1710 -x11 -x111 x211 -x311 -x411 -x511 -x611 -x711 -x811 -x911 -x1011 1799.99/1800.50 v -x1111 -x1211 -x1311 -x1411 -x1511 -x1611 -x1711 -x13 -x113 -x213 -x313 -x413 -x513 -x613 -x713 -x813 -x913 -x1013 -x1113 1799.99/1800.50 v -x1213 -x1313 -x1413 -x1513 x1613 -x1713 -x14 -x114 -x214 -x314 -x414 -x514 -x614 -x714 -x814 -x914 -x1014 -x1114 -x1214 1799.99/1800.50 v -x1314 -x1414 -x1514 -x1614 x1714 -x15 -x115 -x215 -x315 -x415 -x515 -x615 x715 -x815 -x915 -x1015 -x1115 -x1215 -x1315 1799.99/1800.50 v -x1415 -x1515 -x1615 -x1715 -x16 -x116 -x216 -x316 -x416 -x516 -x616 -x716 -x816 -x916 -x1016 -x1116 x1216 -x1316 -x1416 1799.99/1800.50 v -x1516 -x1616 -x1716 -x17 -x117 -x217 -x317 x417 -x517 -x617 -x717 -x817 -x917 -x1017 -x1117 -x1217 -x1317 -x1417 -x1517 1799.99/1800.50 v -x1617 -x1717 -x18 -x118 -x218 -x318 -x418 -x518 -x618 -x718 -x818 -x918 -x1018 x1118 -x1218 -x1318 -x1418 -x1518 -x1618 1799.99/1800.50 v -x1718 -x19 x119 -x219 -x319 -x419 -x519 -x619 -x719 -x819 -x919 -x1019 -x1119 -x1219 -x1319 -x1419 -x1519 -x1619 -x1719 1799.99/1800.50 v -x20 -x120 -x220 -x320 -x420 -x520 -x620 -x720 -x820 -x920 x1020 -x1120 -x1220 -x1320 -x1420 -x1520 -x1620 -x1720 -x21 -x121 1799.99/1800.50 v -x221 -x321 -x421 -x521 -x621 -x721 -x821 -x921 -x1021 -x1121 -x1221 -x1321 x1421 -x1521 -x1621 -x1721 -x22 -x122 -x222 1799.99/1800.50 v -x322 -x422 -x522 -x622 -x722 -x822 -x922 -x1022 -x1122 -x1222 x1322 -x1422 -x1522 -x1622 -x1722 -x24 -x124 -x224 -x324 1799.99/1800.50 v -x424 -x524 -x624 -x724 -x824 -x924 x1024 -x1124 -x1224 -x1324 -x1424 -x1524 -x1624 -x1724 -x25 -x125 -x225 -x325 x425 -x525 1799.99/1800.50 v -x625 -x725 -x825 -x925 -x1025 -x1125 -x1225 -x1325 -x1425 -x1525 -x1625 -x1725 -x26 -x126 -x226 -x326 -x426 -x526 -x626 1799.99/1800.50 v -x726 -x826 -x926 -x1026 -x1126 -x1226 -x1326 -x1426 x1526 -x1626 -x1726 -x27 -x127 -x227 x327 -x427 -x527 -x627 -x727 -x827 1799.99/1800.50 v -x927 -x1027 -x1127 -x1227 -x1327 -x1427 -x1527 -x1627 -x1727 -x28 -x128 -x228 -x328 -x428 -x528 -x628 -x728 -x828 x928 1799.99/1800.50 v -x1028 -x1128 -x1228 -x1328 -x1428 -x1528 -x1628 -x1728 -x29 -x129 -x229 -x329 -x429 -x529 -x629 -x729 x829 -x929 -x1029 1799.99/1800.50 v -x1129 -x1229 -x1329 -x1429 -x1529 -x1629 -x1729 -x30 -x130 -x230 -x330 -x430 x530 -x630 -x730 -x830 -x930 -x1030 -x1130 1799.99/1800.50 v -x1230 -x1330 -x1430 -x1530 -x1630 -x1730 -x31 -x131 -x231 -x331 -x431 x531 -x631 -x731 -x831 -x931 -x1031 -x1131 -x1231 1799.99/1800.50 v -x1331 -x1431 -x1531 -x1631 -x1731 -x32 -x132 -x232 x332 -x432 -x532 -x632 -x732 -x832 -x932 -x1032 -x1132 -x1232 -x1332 1799.99/1800.50 v -x1432 -x1532 -x1632 -x1732 -x33 x133 -x233 -x333 -x433 -x533 -x633 -x733 -x833 -x933 -x1033 -x1133 -x1233 -x1333 -x1433 1799.99/1800.50 v -x1533 -x1633 -x1733 -x35 -x135 -x235 -x335 -x435 -x535 -x635 -x735 -x835 -x935 -x1035 -x1135 -x1235 -x1335 -x1435 x1535 1799.99/1800.50 v -x1635 -x1735 -x36 -x136 -x236 -x336 -x436 -x536 -x636 x736 -x836 -x936 -x1036 -x1136 -x1236 -x1336 -x1436 -x1536 -x1636 1799.99/1800.50 v -x1736 -x37 -x137 x237 -x337 -x437 -x537 -x637 -x737 -x837 -x937 -x1037 -x1137 -x1237 -x1337 -x1437 -x1537 -x1637 -x1737 1799.99/1800.50 v -x38 -x138 -x238 -x338 -x438 -x538 -x638 -x738 -x838 -x938 -x1038 -x1138 -x1238 -x1338 -x1438 -x1538 x1638 -x1738 -x39 -x139 1799.99/1800.50 v -x239 -x339 -x439 -x539 -x639 -x739 -x839 -x939 -x1039 -x1139 x1239 -x1339 -x1439 -x1539 -x1639 -x1739 -x40 -x140 -x240 1799.99/1800.50 v -x340 -x440 -x540 -x640 -x740 -x840 -x940 -x1040 x1140 -x1240 -x1340 -x1440 -x1540 -x1640 -x1740 -x41 -x141 -x241 -x341 1799.99/1800.50 v -x441 -x541 -x641 -x741 x841 -x941 -x1041 -x1141 -x1241 -x1341 -x1441 -x1541 -x1641 -x1741 -x42 -x142 -x242 -x342 -x442 1799.99/1800.50 v -x542 -x642 -x742 -x842 x942 -x1042 -x1142 -x1242 -x1342 -x1442 -x1542 -x1642 -x1742 -x43 -x143 x243 -x343 -x443 -x543 -x643 1799.99/1800.50 v -x743 -x843 -x943 -x1043 -x1143 -x1243 -x1343 -x1443 -x1543 -x1643 -x1743 -x44 -x144 -x244 -x344 -x444 -x544 x644 -x744 1799.99/1800.50 v -x844 -x944 -x1044 -x1144 -x1244 -x1344 -x1444 -x1544 -x1644 -x1744 -x46 -x146 -x246 x346 -x446 -x546 -x646 -x746 -x846 1799.99/1800.50 v -x946 -x1046 -x1146 -x1246 -x1346 -x1446 -x1546 -x1646 -x1746 -x47 -x147 -x247 -x347 -x447 -x547 -x647 -x747 -x847 -x947 1799.99/1800.50 v x1047 -x1147 -x1247 -x1347 -x1447 -x1547 -x1647 -x1747 -x48 x148 -x248 -x348 -x448 -x548 -x648 -x748 -x848 -x948 -x1048 1799.99/1800.50 v -x1148 -x1248 -x1348 -x1448 -x1548 -x1648 -x1748 -x49 -x149 -x249 -x349 -x449 -x549 -x649 -x749 -x849 -x949 -x1049 -x1149 1799.99/1800.50 v -x1249 -x1349 -x1449 -x1549 x1649 -x1749 -x50 -x150 -x250 -x350 -x450 -x550 -x650 -x750 -x850 -x950 -x1050 -x1150 -x1250 1799.99/1800.50 v x1350 -x1450 -x1550 -x1650 -x1750 -x51 -x151 -x251 -x351 -x451 -x551 x651 -x751 -x851 -x951 -x1051 -x1151 -x1251 -x1351 1799.99/1800.50 v -x1451 -x1551 -x1651 -x1751 -x52 -x152 -x252 -x352 -x452 -x552 -x652 -x752 x852 -x952 -x1052 -x1152 -x1252 -x1352 -x1452 1799.99/1800.50 v -x1552 -x1652 -x1752 -x53 -x153 -x253 -x353 -x453 -x553 -x653 -x753 -x853 -x953 -x1053 x1153 -x1253 -x1353 -x1453 -x1553 1799.99/1800.50 v -x1653 -x1753 -x54 -x154 -x254 -x354 -x454 -x554 -x654 -x754 -x854 x954 -x1054 -x1154 -x1254 -x1354 -x1454 -x1554 -x1654 1799.99/1800.50 v -x1754 x55 -x155 -x255 -x355 -x455 -x555 -x655 -x755 -x855 -x955 -x1055 -x1155 -x1255 -x1355 -x1455 -x1555 -x1655 -x1755 1799.99/1800.50 v -x57 -x157 -x257 -x357 -x457 -x557 -x657 -x757 -x857 -x957 -x1057 -x1157 -x1257 -x1357 x1457 -x1557 -x1657 -x1757 -x58 -x158 1799.99/1800.50 v x258 -x358 -x458 -x558 -x658 -x758 -x858 -x958 -x1058 -x1158 -x1258 -x1358 -x1458 -x1558 -x1658 -x1758 -x59 -x159 -x259 1799.99/1800.50 v -x359 -x459 x559 -x659 -x759 -x859 -x959 -x1059 -x1159 -x1259 -x1359 -x1459 -x1559 -x1659 -x1759 -x60 x160 -x260 -x360 -x460 1799.99/1800.50 v -x560 -x660 -x760 -x860 -x960 -x1060 -x1160 -x1260 -x1360 -x1460 -x1560 -x1660 -x1760 -x61 x161 -x261 -x361 -x461 -x561 1799.99/1800.50 v -x661 -x761 -x861 -x961 -x1061 -x1161 -x1261 -x1361 -x1461 -x1561 -x1661 -x1761 x62 -x162 -x262 -x362 -x462 -x562 -x662 1799.99/1800.50 v -x762 -x862 -x962 -x1062 -x1162 -x1262 -x1362 -x1462 -x1562 -x1662 -x1762 -x63 -x163 -x263 -x363 -x463 -x563 -x663 -x763 1799.99/1800.50 v -x863 -x963 -x1063 -x1163 x1263 -x1363 -x1463 -x1563 -x1663 -x1763 -x64 -x164 -x264 -x364 -x464 -x564 -x664 -x764 -x864 1799.99/1800.50 v -x964 -x1064 -x1164 -x1264 x1364 -x1464 -x1564 -x1664 -x1764 -x65 -x165 -x265 -x365 -x465 x565 -x665 -x765 -x865 -x965 -x1065 1799.99/1800.50 v -x1165 -x1265 -x1365 -x1465 -x1565 -x1665 -x1765 -x66 -x166 -x266 -x366 -x466 -x566 -x666 -x766 -x866 -x966 -x1066 -x1166 1799.99/1800.50 v -x1266 -x1366 -x1466 -x1566 -x1666 x1766 -x68 -x168 -x268 -x368 -x468 -x568 -x668 -x768 x868 -x968 -x1068 -x1168 -x1268 1799.99/1800.50 v -x1368 -x1468 -x1568 -x1668 -x1768 -x69 -x169 -x269 -x369 -x469 -x569 -x669 x769 -x869 -x969 -x1069 -x1169 -x1269 -x1369 1799.99/1800.50 v -x1469 -x1569 -x1669 -x1769 -x70 -x170 -x270 -x370 -x470 -x570 -x670 -x770 -x870 -x970 -x1070 -x1170 -x1270 -x1370 -x1470 1799.99/1800.50 v -x1570 x1670 -x1770 -x71 -x171 -x271 -x371 -x471 -x571 -x671 -x771 -x871 -x971 -x1071 -x1171 -x1271 x1371 -x1471 -x1571 1799.99/1800.50 v -x1671 -x1771 -x72 -x172 -x272 -x372 -x472 x572 -x672 -x772 -x872 -x972 -x1072 -x1172 -x1272 -x1372 -x1472 -x1572 -x1672 1799.99/1800.50 v -x1772 -x73 -x173 -x273 -x373 -x473 -x573 x673 -x773 -x873 -x973 -x1073 -x1173 -x1273 -x1373 -x1473 -x1573 -x1673 -x1773 1799.99/1800.50 v -x74 -x174 -x274 -x374 x474 -x574 -x674 -x774 -x874 -x974 -x1074 -x1174 -x1274 -x1374 -x1474 -x1574 -x1674 -x1774 -x75 -x175 1799.99/1800.50 v -x275 -x375 -x475 -x575 -x675 -x775 -x875 -x975 -x1075 -x1175 -x1275 -x1375 x1475 -x1575 -x1675 -x1775 -x76 -x176 -x276 1799.99/1800.50 v -x376 -x476 -x576 -x676 -x776 -x876 -x976 x1076 -x1176 -x1276 -x1376 -x1476 -x1576 -x1676 -x1776 -x77 -x177 -x277 -x377 1799.99/1800.50 v -x477 -x577 -x677 -x777 -x877 -x977 -x1077 -x1177 -x1277 -x1377 -x1477 x1577 -x1677 -x1777 -x79 -x179 -x279 -x379 -x479 1799.99/1800.50 v -x579 -x679 -x779 -x879 -x979 -x1079 -x1179 -x1279 -x1379 -x1479 -x1579 -x1679 x1779 x80 -x180 -x280 -x380 -x480 -x580 -x680 1799.99/1800.50 v -x780 -x880 -x980 -x1080 -x1180 -x1280 -x1380 -x1480 -x1580 -x1680 -x1780 -x81 -x181 -x281 -x381 -x481 -x581 -x681 -x781 1799.99/1800.50 v -x881 -x981 x1081 -x1181 -x1281 -x1381 -x1481 -x1581 -x1681 -x1781 -x82 -x182 -x282 -x382 -x482 -x582 x682 -x782 -x882 -x982 1799.99/1800.50 v -x1082 -x1182 -x1282 -x1382 -x1482 -x1582 -x1682 -x1782 x83 -x183 -x283 -x383 -x483 -x583 -x683 -x783 -x883 -x983 -x1083 1799.99/1800.50 v -x1183 -x1283 -x1383 -x1483 -x1583 -x1683 -x1783 -x84 -x184 -x284 -x384 -x484 -x584 -x684 -x784 -x884 -x984 -x1084 -x1184 1799.99/1800.50 v -x1284 -x1384 x1484 -x1584 -x1684 -x1784 -x85 -x185 -x285 -x385 -x485 -x585 -x685 -x785 -x885 -x985 -x1085 x1185 -x1285 1799.99/1800.50 v -x1385 -x1485 -x1585 -x1685 -x1785 -x86 -x186 -x286 -x386 -x486 -x586 -x686 -x786 -x886 -x986 -x1086 -x1186 -x1286 x1386 1799.99/1800.50 v -x1486 -x1586 -x1686 -x1786 -x87 -x187 -x287 -x387 -x487 -x587 -x687 -x787 -x887 x987 -x1087 -x1187 -x1287 -x1387 -x1487 1799.99/1800.50 v -x1587 -x1687 -x1787 -x88 -x188 -x288 x388 -x488 -x588 -x688 -x788 -x888 -x988 -x1088 -x1188 -x1288 -x1388 -x1488 -x1588 1799.99/1800.50 v -x1688 -x1788 -x90 -x190 -x290 -x390 -x490 -x590 -x690 -x790 -x890 -x990 -x1090 -x1190 -x1290 -x1390 -x1490 x1590 -x1690 1799.99/1800.50 v -x1790 -x91 -x191 -x291 x391 -x491 -x591 -x691 -x791 -x891 -x991 -x1091 -x1191 -x1291 -x1391 -x1491 -x1591 -x1691 -x1791 1799.99/1800.50 v -x92 -x192 -x292 -x392 -x492 -x592 -x692 -x792 -x892 -x992 -x1092 -x1192 -x1292 -x1392 x1492 -x1592 -x1692 -x1792 -x93 -x193 1799.99/1800.50 v -x293 -x393 -x493 -x593 -x693 x793 -x893 -x993 -x1093 -x1193 -x1293 -x1393 -x1493 -x1593 -x1693 -x1793 -x94 -x194 -x294 1799.99/1800.50 v -x394 -x494 -x594 -x694 -x794 x894 -x994 -x1094 -x1194 -x1294 -x1394 -x1494 -x1594 -x1694 -x1794 -x95 -x195 -x295 -x395 1799.99/1800.50 v -x495 -x595 -x695 -x795 -x895 -x995 -x1095 -x1195 -x1295 -x1395 -x1495 -x1595 -x1695 x1795 -x96 -x196 -x296 -x396 x496 -x596 1799.99/1800.50 v -x696 -x796 -x896 -x996 -x1096 -x1196 -x1296 -x1396 -x1496 -x1596 -x1696 -x1796 -x97 -x197 -x297 -x397 -x497 -x597 x697 1799.99/1800.50 v -x797 -x897 -x997 -x1097 -x1197 -x1297 -x1397 -x1497 -x1597 -x1697 -x1797 -x98 -x198 -x298 -x398 -x498 -x598 -x698 -x798 1799.99/1800.50 v -x898 -x998 -x1098 -x1198 x1298 -x1398 -x1498 -x1598 -x1698 -x1798 -x99 -x199 x299 -x399 -x499 -x599 -x699 -x799 -x899 -x999 1799.99/1800.50 v -x1099 -x1199 -x1299 -x1399 -x1499 -x1599 -x1699 -x1799 x12 -x112 -x212 x312 -x412 x512 x612 -x712 x812 x912 -x1012 -x1112 1799.99/1800.50 v -x1212 x1312 x1412 x1512 -x1612 -x1712 x23 x123 x223 -x323 -x423 -x523 x623 x723 -x823 -x923 -x1023 x1123 x1223 -x1323 -x1423 1799.99/1800.50 v -x1523 x1623 x1723 x34 -x134 -x234 -x334 x434 -x534 x634 -x734 x834 x934 x1034 -x1134 -x1234 x1334 x1434 -x1534 -x1634 x1734 1799.99/1800.50 v x45 -x145 -x245 -x345 x445 x545 -x645 x745 -x845 -x945 -x1045 x1145 x1245 -x1345 x1445 x1545 -x1645 x1745 -x56 -x156 -x256 1799.99/1800.50 v x356 x456 -x556 -x656 x756 -x856 -x956 x1056 -x1156 x1256 x1356 -x1456 x1556 x1656 x1756 -x67 -x167 x267 x367 x467 -x567 x667 1799.99/1800.50 v -x767 -x867 x967 x1067 x1167 -x1267 -x1367 x1467 x1567 -x1667 -x1767 -x78 x178 x278 x378 -x478 -x578 -x678 x778 x878 x978 1799.99/1800.50 v -x1078 x1178 x1278 -x1378 -x1478 -x1578 x1678 -x1778 -x89 x189 x289 -x389 x489 x589 -x689 x789 x889 -x989 -x1089 -x1189 x1289 1799.99/1800.50 v -x1389 -x1489 -x1589 x1689 x1789 x100 x200 -x300 -x400 -x500 x600 -x700 -x800 -x900 x1000 x1100 x1200 -x1300 x1400 -x1500 1799.99/1800.50 v x1600 x1700 -x1800 -x1 x101 x201 x301 -x401 x501 x601 -x701 x801 -x901 x1001 -x1101 -x1201 x1301 x1401 -x1501 -x1601 -x1701 1799.99/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.99/1800.50 c 54 219715 61103 567794 262793 107195235 219723 122 1800.01 1799.99/1800.50 c Objective: 82252 1799.99/1800.50 s SATISFIABLE 1799.99/1800.50 c Total time: 1800.01 s
OK 82252
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node2/watcher-352721-1176639916 -o ROOT/results/node2/solver-352721-1176639916 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352721-1176639916/instance-352721-1176639916.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 0.99 3/77 7523 /proc/meminfo: memFree=1848232/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=2560 CPUtime=0 /proc/7523/stat : 7523 (bsolo3.0.16) D 7521 7523 6711 0 -1 4194304 61 0 1 0 0 0 0 0 18 0 1 0 140029374 2621440 45 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10535844 0 0 4096 0 18446744071563608240 0 0 17 1 0 0 /proc/7523/statm: 640 45 35 324 0 8 0 [startup+0.0595781 s] /proc/loadavg: 1.00 1.00 0.99 3/77 7523 /proc/meminfo: memFree=1848232/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=7868 CPUtime=0.04 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 640 0 4 0 4 0 0 0 18 0 1 0 140029374 8056832 612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525447 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7523/statm: 1967 612 340 324 0 290 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 7868 [startup+0.101578 s] /proc/loadavg: 1.00 1.00 0.99 3/77 7523 /proc/meminfo: memFree=1848232/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=8688 CPUtime=0.08 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 910 0 4 0 8 0 0 0 18 0 1 0 140029374 8896512 882 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134527385 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7523/statm: 2172 882 401 324 0 495 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8688 [startup+0.301598 s] /proc/loadavg: 1.00 1.00 0.99 3/77 7523 /proc/meminfo: memFree=1848232/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=11232 CPUtime=0.27 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 1845 0 4 0 27 0 0 0 19 0 1 0 140029374 11501568 1817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134524214 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7523/statm: 2808 1817 680 324 0 1131 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 11232 [startup+0.701649 s] /proc/loadavg: 1.00 1.00 0.99 3/77 7523 /proc/meminfo: memFree=1848232/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=17664 CPUtime=0.67 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 4559 0 5 0 65 2 0 0 22 0 1 0 140029374 18087936 3786 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134583421 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7523/statm: 4416 3786 306 324 0 3485 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 17664 [startup+1.50172 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7524 /proc/meminfo: memFree=1829984/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=20864 CPUtime=1.46 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 5357 0 5 0 141 5 0 0 25 0 1 0 140029374 21364736 4584 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10965107 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 5216 4584 308 324 0 4285 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 20864 [startup+3.10189 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7524 /proc/meminfo: memFree=1831776/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=22028 CPUtime=3.06 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 7169 0 5 0 299 7 0 0 25 0 1 0 140029374 22556672 4890 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 5507 4890 313 324 0 4576 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 22028 [startup+6.30122 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7524 /proc/meminfo: memFree=1822816/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=30604 CPUtime=6.26 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 9305 0 5 0 616 10 0 0 25 0 1 0 140029374 31338496 7026 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 7651 7026 313 324 0 6720 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 30604 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7524 /proc/meminfo: memFree=1806376/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=45828 CPUtime=12.66 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 13120 0 5 0 1251 15 0 0 25 0 1 0 140029374 46927872 10841 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 11457 10841 313 324 0 10526 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 45828 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7524 /proc/meminfo: memFree=1775528/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=75920 CPUtime=25.45 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 20625 0 5 0 2523 22 0 0 25 0 1 0 140029374 77742080 18346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 18980 18347 313 324 0 18049 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 75920 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7524 /proc/meminfo: memFree=1729704/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=121808 CPUtime=51.04 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 32105 0 5 0 5071 33 0 0 25 0 1 0 140029374 124731392 29826 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 30452 29826 313 324 0 29521 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 121808 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7524 /proc/meminfo: memFree=1668840/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=182024 CPUtime=102.24 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 47160 0 5 0 10175 49 0 0 25 0 1 0 140029374 186392576 44881 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 45506 44881 313 324 0 44575 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 182024 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.99 3/78 7524 /proc/meminfo: memFree=1590312/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=261024 CPUtime=162.22 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 66901 0 5 0 16158 64 0 0 25 0 1 0 140029374 267288576 64622 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 65256 64622 313 324 0 64325 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 261024 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7524 /proc/meminfo: memFree=1514536/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=336292 CPUtime=222.2 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 85734 0 5 0 22140 80 0 0 25 0 1 0 140029374 344363008 83455 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 84073 83455 313 324 0 83142 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 336292 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7524 /proc/meminfo: memFree=1445800/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=405380 CPUtime=282.19 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 102986 0 5 0 28128 91 0 0 25 0 1 0 140029374 415109120 100707 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 101345 100707 313 324 0 100414 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 405380 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7524 /proc/meminfo: memFree=1386728/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=463604 CPUtime=342.17 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 117551 0 5 0 34115 102 0 0 25 0 1 0 140029374 474730496 115272 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 115901 115272 313 324 0 114970 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 463604 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7526 /proc/meminfo: memFree=1343784/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=506844 CPUtime=402.15 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 128373 0 5 0 40102 113 0 0 25 0 1 0 140029374 519008256 126094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 126711 126094 313 324 0 125780 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 506844 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.99 3/78 7526 /proc/meminfo: memFree=1293608/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=556328 CPUtime=462.14 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 140735 0 5 0 46089 125 0 0 25 0 1 0 140029374 569679872 138456 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551688 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 139082 138456 313 324 0 138151 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 556328 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7526 /proc/meminfo: memFree=1246952/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=603756 CPUtime=522.12 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 152603 0 5 0 52078 134 0 0 25 0 1 0 140029374 618246144 150324 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 150939 150324 313 324 0 150008 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 603756 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7526 /proc/meminfo: memFree=1196584/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=653524 CPUtime=582.1 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 165033 0 5 0 58067 143 0 0 25 0 1 0 140029374 669208576 162754 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 163381 162754 313 324 0 162450 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 653524 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7526 /proc/meminfo: memFree=1147944/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=701572 CPUtime=642.1 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 177044 0 5 0 64059 151 0 0 25 0 1 0 140029374 718409728 174765 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 175393 174765 313 324 0 174462 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 701572 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7526 /proc/meminfo: memFree=998824/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=850292 CPUtime=882.03 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 214239 0 5 0 88029 174 0 0 25 0 1 0 140029374 870699008 211960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 212573 211960 313 324 0 211642 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 850292 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7526 /proc/meminfo: memFree=965992/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=883864 CPUtime=942.02 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 222630 0 5 0 94018 184 0 0 25 0 1 0 140029374 905076736 220351 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10977066 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 220966 220351 313 324 0 220035 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 883864 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7526 /proc/meminfo: memFree=917096/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=932092 CPUtime=1002 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 234680 0 5 0 100008 192 0 0 25 0 1 0 140029374 954462208 232401 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 233023 232401 313 324 0 232092 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 932092 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7526 /proc/meminfo: memFree=875304/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=974088 CPUtime=1061.98 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 245181 0 5 0 105999 199 0 0 25 0 1 0 140029374 997466112 242902 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 243522 242902 313 324 0 242591 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 974088 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7526 /proc/meminfo: memFree=832424/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=1016436 CPUtime=1121.97 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 255768 0 5 0 111990 207 0 0 25 0 1 0 140029374 1040830464 253489 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 254109 253489 313 324 0 253178 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 1016436 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7526 /proc/meminfo: memFree=790312/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=1059112 CPUtime=1181.96 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 266442 0 5 0 117981 215 0 0 25 0 1 0 140029374 1084530688 264163 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 264778 264163 313 324 0 263847 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 1059112 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7526 /proc/meminfo: memFree=754152/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=1094420 CPUtime=1241.93 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 275253 0 5 0 123973 220 0 0 25 0 1 0 140029374 1120686080 272974 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 273605 272974 313 324 0 272674 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 1094420 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7526 /proc/meminfo: memFree=718312/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=1129976 CPUtime=1301.93 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 284136 0 5 0 129967 226 0 0 25 0 1 0 140029374 1157095424 281857 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 282494 281857 313 324 0 281563 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1129976 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7526 /proc/meminfo: memFree=682728/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=1165576 CPUtime=1361.9 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 293060 0 5 0 135958 232 0 0 25 0 1 0 140029374 1193549824 290781 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 291394 290781 313 324 0 290463 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1165576 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7526 /proc/meminfo: memFree=653672/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=1194440 CPUtime=1421.9 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 300267 0 5 0 141952 238 0 0 25 0 1 0 140029374 1223106560 297988 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 298610 297988 313 324 0 297679 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1194440 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7526 /proc/meminfo: memFree=624808/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=1223448 CPUtime=1481.88 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 307514 0 5 0 147944 244 0 0 25 0 1 0 140029374 1252810752 305235 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 305862 305235 313 324 0 304931 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1223448 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7526 /proc/meminfo: memFree=586472/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=1261512 CPUtime=1541.86 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 317036 0 5 0 153936 250 0 0 25 0 1 0 140029374 1291788288 314757 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 315378 314757 313 324 0 314447 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1261512 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7526 /proc/meminfo: memFree=556520/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=1291960 CPUtime=1601.85 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 324652 0 5 0 159930 255 0 0 25 0 1 0 140029374 1322967040 322373 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 322990 322373 313 324 0 322059 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1291960 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7526 /proc/meminfo: memFree=531304/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=1316592 CPUtime=1661.83 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 330803 0 5 0 165922 261 0 0 25 0 1 0 140029374 1348190208 328524 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 329148 328524 313 324 0 328217 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1316592 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7526 /proc/meminfo: memFree=491048/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=1356976 CPUtime=1721.81 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 340897 0 5 0 171913 268 0 0 25 0 1 0 140029374 1389543424 338618 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 339244 338618 313 324 0 338313 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1356976 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7526 /proc/meminfo: memFree=454248/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=1393376 CPUtime=1781.79 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194304 349996 0 5 0 177905 274 0 0 25 0 1 0 140029374 1426817024 347717 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 348344 347717 313 324 0 347413 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1393376 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7526 /proc/meminfo: memFree=1090008/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=0 CPUtime=1800.1 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194308 351208 0 5 0 179724 286 0 0 17 0 1 0 140029374 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.99 2/78 7526 /proc/meminfo: memFree=1090008/2055920 swapFree=4147160/4192956 [pid=7523] ppid=7521 vsize=0 CPUtime=1800.2 /proc/7523/stat : 7523 (bsolo3.0.16) R 7521 7523 6711 0 -1 4194308 351208 0 5 0 179724 296 0 0 18 0 1 0 140029374 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7523/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.23 CPU user time (s): 1797.24 CPU system time (s): 2.98055 CPU usage (%): 99.9723 Max. virtual memory (cumulated for all children) (KiB): 1398188 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.24 system time used= 2.98055 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 351208 page faults= 5 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 21 involuntary context switches= 2814 runsolver used 2.13267 second user time and 4.38233 second system time The end
Begin job on node2 on Sun Apr 15 12:25:16 UTC 2007 IDJOB= 352721 IDBENCH= 2011 IDSOLVER= 163 FILE ID= node2/352721-1176639916 PBS_JOBID= 4556861 Free space on /tmp= 66554 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data10_3.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352721-1176639916/instance-352721-1176639916.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-352721-1176639916 -o ROOT/results/node2/solver-352721-1176639916 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352721-1176639916/instance-352721-1176639916.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= dccfffd22c38fcd3c497d688dab4b7a4 RANDOM SEED= 422533517 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node2.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.234 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.234 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: 1848640 kB Buffers: 40156 kB Cached: 100336 kB SwapCached: 13936 kB Active: 49768 kB Inactive: 113556 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1848640 kB SwapTotal: 4192956 kB SwapFree: 4147160 kB Dirty: 7448 kB Writeback: 0 kB Mapped: 30092 kB Slab: 29384 kB Committed_AS: 5813628 kB PageTables: 1860 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= 66554 MiB End job on node2 on Sun Apr 15 12:55:19 UTC 2007