Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 82252 | 1800.25 | 1800.83 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-data10_3.opb |
MD5SUM | dccfffd22c38fcd3c497d688dab4b7a4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 80503 |
Best CPU time to get the best result obtained on this benchmark | 1782.78 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 79290 |
Optimality of the best value was proved | NO |
Number of variables | 2700 |
Total number of constraints | 42620 |
Number of constraints which are clauses | 20220 |
Number of constraints which are cardinality constraints (but not clauses) | 800 |
Number of constraints which are nor clauses,nor cardinality constraints | 21600 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 36 |
Number of terms in the objective function | 900 |
Biggest coefficient in the objective function | 1380 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 559660 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1380 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 559660 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432896-1177952028/instance-432896-1177952028.opb 0.00/0.00 c File size is 3055321 bytes. 0.49/0.55 c Highest Coefficient sum: 559660 0.49/0.55 c Parsing was ok!! 0.49/0.55 c Total parsing time: 0.55 s 0.49/0.57 c Var: 2700 Constr: 43070 20670/800/21600 Lit: 312360 Watch. Lit: 96380 0.49/0.57 c Obj. Vars: 900 (33.3333 % of total variables) 1.59/1.61 c Pre-processing Time: 1.611 s 1.59/1.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.61 c 0 2700 43070 312360 7 182780 564890 0 0 1.61 1.59/1.61 c Switching off LPR mode. 1.89/1.96 c 101 2700 43171 318200 7 192616 621380 101 60 1.66 1.89/1.96 c 257 2700 43327 322350 7 195697 683519 257 152 1.69 1.89/1.96 c 482 2700 43552 333932 7 195469 751871 482 279 1.72 1.89/1.96 c 822 2700 43892 360798 8 197397 827059 822 453 1.81 1.89/1.96 o 93168 1.958 2.29/2.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.31 c 1097 2700 44168 404875 9 199320 566690 1098 559 1.96 2.29/2.31 c 1197 2700 44268 423578 9 196883 623360 1198 587 2.04 2.29/2.31 c 1447 2700 44518 475314 10 195548 685697 1448 651 2.22 2.29/2.31 o 92067 2.306 2.69/2.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.77 c 1606 2700 44678 492059 11 195129 566690 1608 695 2.31 2.69/2.77 c 1706 2700 44778 506626 11 194122 623360 1708 715 2.39 2.69/2.77 c 1956 2700 45028 517131 11 193333 685697 1958 799 2.45 2.69/2.77 c 2431 2700 45503 568221 12 195714 754267 2433 946 2.57 2.69/2.77 o 86577 2.77 5.98/6.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.98/6.01 c 3012 2700 46085 634272 13 195745 566690 3015 1085 2.77 5.98/6.01 c 3115 2700 46188 643522 13 194760 623360 3118 1094 2.85 5.98/6.01 c 3369 2700 46442 679596 14 193955 685697 3372 1129 2.98 5.98/6.01 c 3845 2700 46918 719282 15 192189 754267 3848 1160 3.31 5.98/6.01 c 4658 2700 47731 805830 16 199638 829694 4661 1228 3.79 5.98/6.01 c 5979 2700 49052 1090746 22 192024 912664 5982 1199 4.99 5.98/6.01 o 86373 6.011 6.18/6.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.18/6.26 c 6944 2700 50018 1359595 27 202392 566690 6948 1154 6.01 6.18/6.26 c 7046 2700 50120 1373624 27 200631 623360 7050 1145 6.15 6.18/6.26 o 86235 6.261 8.58/8.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.58/8.61 c 7148 2700 50223 1385265 27 202118 566690 7153 1140 6.27 8.58/8.61 c 7248 2700 50323 1393203 27 202911 623360 7253 1141 6.35 8.58/8.61 c 7500 2700 50575 1408535 27 201122 685697 7505 1135 6.61 8.58/8.61 c 7977 2700 51052 1535846 30 201285 754267 7982 1094 7.29 8.58/8.61 c 8790 2700 51865 1772463 34 204442 829694 8795 1033 8.50 8.58/8.61 o 86164 8.595 48.27/48.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 48.27/48.32 c 8867 2700 51943 1780975 34 206083 566690 8873 1031 8.60 48.27/48.32 c 8969 2700 52045 1785163 34 204058 623360 8975 1033 8.68 48.27/48.32 c 9219 2700 52295 1796758 34 207560 685697 9225 1054 8.74 48.27/48.32 c 9694 2700 52770 1840110 34 209220 754267 9700 1078 8.99 48.27/48.32 c 10508 2700 53584 2011932 37 206859 829694 10514 1051 9.99 48.27/48.32 c 11831 2700 54907 2472234 45 211122 912664 11837 984 12.02 48.27/48.32 c 13912 2700 56988 3150960 55 215237 500000 13918 907 15.33 48.27/48.32 c 17138 2700 60214 4340732 72 224402 550001 17144 796 21.51 48.27/48.32 c 22077 2700 65153 5195164 79 234700 605002 22083 751 29.36 48.27/48.32 c 29583 2700 72659 8115891 111 242447 665503 29589 619 47.78 48.27/48.32 o 86083 48.294 50.76/50.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 50.76/50.85 c 29838 2700 72915 8150552 111 246137 566690 29845 617 48.30 50.76/50.85 c 29939 2700 73016 8160442 111 246128 623360 29946 617 48.50 50.76/50.85 c 30190 2700 73267 8198834 111 247374 685697 30197 616 48.97 50.76/50.85 c 30668 2700 73745 8255910 111 249990 754267 30675 617 49.65 50.76/50.85 c 31481 2700 74558 8312566 111 255118 829694 31488 628 50.12 50.76/50.85 o 82252 50.828 1800.02/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.02/1800.60 c 31893 2700 74971 8364782 111 256301 566690 31901 627 50.83 1800.02/1800.60 c 31993 2700 75071 8378155 111 256763 623360 32001 626 51.05 1800.02/1800.60 c 32244 2700 75322 8392769 111 257178 685697 32252 630 51.16 1800.02/1800.60 c 32720 2700 75798 8419692 111 259325 754267 32728 635 51.49 1800.02/1800.60 c 33535 2700 76613 8514398 111 262068 829694 33543 636 52.66 1800.02/1800.60 c 34855 2700 77933 8655276 111 263562 912664 34863 650 53.62 1800.02/1800.60 c 36937 2700 80015 8904851 111 267381 500000 36945 664 55.60 1800.02/1800.60 c 40161 2700 83239 9632366 115 270115 550001 40169 634 63.25 1800.02/1800.60 c 45102 2700 88180 11160443 126 283380 605002 45110 569 79.18 1800.02/1800.60 c 52609 2700 95687 14061253 146 294747 665503 52617 470 111.85 1800.02/1800.60 c 63971 2700 107049 19174504 179 321446 732054 63979 392 163.16 1800.02/1800.60 c 81118 2700 124196 28518427 229 351782 805260 81126 314 257.95 1800.02/1800.60 c 106941 2700 150019 40387578 269 409631 885787 106949 245 434.79 1800.02/1800.60 c 145773 2700 188851 64732516 342 481418 974366 145781 166 877.58 1800.02/1800.60 c 204125 2700 247203 100128589 405 601548 500000 204133 126 1618.61 1800.02/1800.60 c Caught signal: 15 1800.02/1800.60 v x1801 -x1802 x1803 -x1804 -x1805 x1806 x1807 x1808 x1809 -x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 -x1818 1800.02/1800.60 v x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 1800.02/1800.60 v x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 1800.02/1800.60 v -x1855 -x1856 -x1857 -x1858 x1859 -x1860 -x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1800.02/1800.60 v x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 1800.02/1800.60 v x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 x1903 -x1904 x1905 -x1906 x1907 x1908 1800.02/1800.60 v -x1909 -x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 1800.02/1800.60 v -x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 1800.02/1800.60 v -x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 x1959 -x1960 -x1961 -x1962 1800.02/1800.60 v x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 x1979 -x1980 1800.02/1800.60 v -x1981 -x1982 -x1983 -x1984 x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 1800.02/1800.60 v -x1999 x2000 -x2001 -x2002 -x2003 x2004 -x2005 x2006 -x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 1800.02/1800.60 v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 1800.02/1800.60 v -x2035 -x2036 -x2037 -x2038 x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 x2047 -x2048 -x2049 -x2050 -x2051 -x2052 1800.02/1800.60 v -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 x2060 -x2061 -x2062 -x2063 x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 1800.02/1800.60 v -x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 1800.02/1800.60 v -x2089 -x2090 -x2091 -x2092 -x2093 x2094 -x2095 -x2096 -x2097 x2098 -x2099 x2100 x2101 x2102 -x2103 -x2104 -x2105 x2106 1800.02/1800.60 v -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 -x2121 -x2122 -x2123 -x2124 1800.02/1800.60 v -x2125 x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142 1800.02/1800.60 v -x2143 -x2144 -x2145 x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 1800.02/1800.60 v x2160 x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 x2175 -x2176 -x2177 1800.02/1800.60 v -x2178 -x2179 -x2180 -x2181 -x2182 x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 -x2192 -x2193 -x2194 -x2195 1800.02/1800.60 v -x2196 x2197 -x2198 -x2199 x2200 -x2201 -x2202 x2203 x2204 x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 1800.02/1800.60 v -x2214 -x2215 -x2216 -x2217 -x2218 x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 x2226 -x2227 -x2228 -x2229 -x2230 -x2231 1800.02/1800.60 v -x2232 -x2233 -x2234 -x2235 -x2236 x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 1800.02/1800.60 v -x2250 -x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 x2262 -x2263 -x2264 -x2265 -x2266 -x2267 1800.02/1800.60 v -x2268 -x2269 -x2270 -x2271 -x2272 x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 x2282 -x2283 -x2284 -x2285 1800.02/1800.60 v -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 x2295 -x2296 x2297 x2298 -x2299 x2300 x2301 -x2302 x2303 1800.02/1800.60 v -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 x2319 -x2320 -x2321 1800.02/1800.60 v -x2322 x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 1800.02/1800.60 v x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 x2346 -x2347 -x2348 -x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 1800.02/1800.60 v -x2357 -x2358 -x2359 -x2360 x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2373 -x2374 1800.02/1800.60 v -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 x2391 -x2392 1800.02/1800.60 v -x2393 -x2394 -x2395 x2396 x2397 -x2398 x2399 -x2400 -x2401 x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x2410 1800.02/1800.60 v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 x2427 -x2428 1800.02/1800.60 v -x2429 -x2430 -x2431 -x2432 -x2433 x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 x2441 -x2442 -x2443 -x2444 -x2445 -x2446 1800.02/1800.60 v -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 x2459 -x2460 -x2461 -x2462 -x2463 -x2464 1800.02/1800.60 v -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 1800.02/1800.60 v x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 -x2492 -x2493 x2494 -x2495 -x2496 x2497 -x2498 x2499 1800.02/1800.60 v -x2500 x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 1800.02/1800.60 v -x2518 x2519 -x2520 -x2521 -x2522 -x2523 x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 1800.02/1800.60 v -x2536 x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 1800.02/1800.60 v -x2554 -x2555 x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568 x2569 -x2570 -x2571 1800.02/1800.60 v -x2572 -x2573 -x2574 x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 1800.02/1800.60 v -x2589 -x2590 x2591 -x2592 -x2593 x2594 x2595 -x2596 -x2597 x2598 x2599 x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 1800.02/1800.60 v -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 1800.02/1800.60 v -x2625 -x2626 -x2627 x2628 -x2629 -x2630 x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 1800.02/1800.60 v -x2643 -x2644 -x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 -x2658 -x2659 -x2660 1800.02/1800.60 v -x2661 -x2662 -x2663 x2664 -x2665 -x2666 x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 1800.02/1800.60 v -x2679 -x2680 -x2681 x2682 x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 x2693 -x2694 -x2695 x2696 1800.02/1800.60 v -x2697 x2698 x2699 x2700 -x2 -x102 -x202 -x302 -x402 -x502 -x602 -x702 -x802 -x902 -x1002 -x1102 -x1202 -x1302 -x1402 x1502 1800.02/1800.60 v -x1602 -x1702 -x3 -x103 -x203 -x303 -x403 -x503 -x603 -x703 -x803 -x903 -x1003 -x1103 -x1203 -x1303 -x1403 -x1503 -x1603 1800.02/1800.60 v x1703 x4 -x104 -x204 -x304 -x404 -x504 -x604 -x704 -x804 -x904 -x1004 -x1104 -x1204 -x1304 -x1404 -x1504 -x1604 -x1704 -x5 1800.02/1800.60 v -x105 -x205 -x305 -x405 -x505 -x605 -x705 -x805 -x905 -x1005 -x1105 x1205 -x1305 -x1405 -x1505 -x1605 -x1705 -x6 -x106 -x206 1800.02/1800.60 v -x306 -x406 -x506 -x606 -x706 -x806 -x906 -x1006 -x1106 -x1206 -x1306 -x1406 -x1506 x1606 -x1706 -x7 -x107 -x207 -x307 -x407 1800.02/1800.60 v -x507 -x607 -x707 -x807 -x907 -x1007 x1107 -x1207 -x1307 -x1407 -x1507 -x1607 -x1707 -x8 -x108 -x208 -x308 -x408 -x508 -x608 1800.02/1800.60 v x708 -x808 -x908 -x1008 -x1108 -x1208 -x1308 -x1408 -x1508 -x1608 -x1708 -x9 -x109 -x209 -x309 x409 -x509 -x609 -x709 -x809 1800.02/1800.60 v -x909 -x1009 -x1109 -x1209 -x1309 -x1409 -x1509 -x1609 -x1709 -x10 -x110 -x210 -x310 -x410 -x510 -x610 -x710 -x810 x910 1800.02/1800.60 v -x1010 -x1110 -x1210 -x1310 -x1410 -x1510 -x1610 -x1710 -x11 -x111 x211 -x311 -x411 -x511 -x611 -x711 -x811 -x911 -x1011 1800.02/1800.60 v -x1111 -x1211 -x1311 -x1411 -x1511 -x1611 -x1711 -x13 -x113 -x213 -x313 -x413 -x513 -x613 -x713 -x813 -x913 -x1013 -x1113 1800.02/1800.60 v -x1213 -x1313 -x1413 -x1513 x1613 -x1713 -x14 -x114 -x214 -x314 -x414 -x514 -x614 -x714 -x814 -x914 -x1014 -x1114 -x1214 1800.02/1800.60 v -x1314 -x1414 -x1514 -x1614 x1714 -x15 -x115 -x215 -x315 -x415 -x515 -x615 x715 -x815 -x915 -x1015 -x1115 -x1215 -x1315 1800.02/1800.60 v -x1415 -x1515 -x1615 -x1715 -x16 -x116 -x216 -x316 -x416 -x516 -x616 -x716 -x816 -x916 -x1016 -x1116 x1216 -x1316 -x1416 1800.02/1800.60 v -x1516 -x1616 -x1716 -x17 -x117 -x217 -x317 x417 -x517 -x617 -x717 -x817 -x917 -x1017 -x1117 -x1217 -x1317 -x1417 -x1517 1800.02/1800.60 v -x1617 -x1717 -x18 -x118 -x218 -x318 -x418 -x518 -x618 -x718 -x818 -x918 -x1018 x1118 -x1218 -x1318 -x1418 -x1518 -x1618 1800.02/1800.60 v -x1718 -x19 x119 -x219 -x319 -x419 -x519 -x619 -x719 -x819 -x919 -x1019 -x1119 -x1219 -x1319 -x1419 -x1519 -x1619 -x1719 1800.02/1800.60 v -x20 -x120 -x220 -x320 -x420 -x520 -x620 -x720 -x820 -x920 x1020 -x1120 -x1220 -x1320 -x1420 -x1520 -x1620 -x1720 -x21 -x121 1800.02/1800.60 v -x221 -x321 -x421 -x521 -x621 -x721 -x821 -x921 -x1021 -x1121 -x1221 -x1321 x1421 -x1521 -x1621 -x1721 -x22 -x122 -x222 1800.02/1800.60 v -x322 -x422 -x522 -x622 -x722 -x822 -x922 -x1022 -x1122 -x1222 x1322 -x1422 -x1522 -x1622 -x1722 -x24 -x124 -x224 -x324 1800.02/1800.60 v -x424 -x524 -x624 -x724 -x824 -x924 x1024 -x1124 -x1224 -x1324 -x1424 -x1524 -x1624 -x1724 -x25 -x125 -x225 -x325 x425 -x525 1800.02/1800.60 v -x625 -x725 -x825 -x925 -x1025 -x1125 -x1225 -x1325 -x1425 -x1525 -x1625 -x1725 -x26 -x126 -x226 -x326 -x426 -x526 -x626 1800.02/1800.60 v -x726 -x826 -x926 -x1026 -x1126 -x1226 -x1326 -x1426 x1526 -x1626 -x1726 -x27 -x127 -x227 x327 -x427 -x527 -x627 -x727 -x827 1800.02/1800.60 v -x927 -x1027 -x1127 -x1227 -x1327 -x1427 -x1527 -x1627 -x1727 -x28 -x128 -x228 -x328 -x428 -x528 -x628 -x728 -x828 x928 1800.02/1800.60 v -x1028 -x1128 -x1228 -x1328 -x1428 -x1528 -x1628 -x1728 -x29 -x129 -x229 -x329 -x429 -x529 -x629 -x729 x829 -x929 -x1029 1800.02/1800.60 v -x1129 -x1229 -x1329 -x1429 -x1529 -x1629 -x1729 -x30 -x130 -x230 -x330 -x430 x530 -x630 -x730 -x830 -x930 -x1030 -x1130 1800.02/1800.60 v -x1230 -x1330 -x1430 -x1530 -x1630 -x1730 -x31 -x131 -x231 -x331 -x431 x531 -x631 -x731 -x831 -x931 -x1031 -x1131 -x1231 1800.02/1800.60 v -x1331 -x1431 -x1531 -x1631 -x1731 -x32 -x132 -x232 x332 -x432 -x532 -x632 -x732 -x832 -x932 -x1032 -x1132 -x1232 -x1332 1800.02/1800.60 v -x1432 -x1532 -x1632 -x1732 -x33 x133 -x233 -x333 -x433 -x533 -x633 -x733 -x833 -x933 -x1033 -x1133 -x1233 -x1333 -x1433 1800.02/1800.60 v -x1533 -x1633 -x1733 -x35 -x135 -x235 -x335 -x435 -x535 -x635 -x735 -x835 -x935 -x1035 -x1135 -x1235 -x1335 -x1435 x1535 1800.02/1800.60 v -x1635 -x1735 -x36 -x136 -x236 -x336 -x436 -x536 -x636 x736 -x836 -x936 -x1036 -x1136 -x1236 -x1336 -x1436 -x1536 -x1636 1800.02/1800.60 v -x1736 -x37 -x137 x237 -x337 -x437 -x537 -x637 -x737 -x837 -x937 -x1037 -x1137 -x1237 -x1337 -x1437 -x1537 -x1637 -x1737 1800.02/1800.60 v -x38 -x138 -x238 -x338 -x438 -x538 -x638 -x738 -x838 -x938 -x1038 -x1138 -x1238 -x1338 -x1438 -x1538 x1638 -x1738 -x39 -x139 1800.02/1800.60 v -x239 -x339 -x439 -x539 -x639 -x739 -x839 -x939 -x1039 -x1139 x1239 -x1339 -x1439 -x1539 -x1639 -x1739 -x40 -x140 -x240 1800.02/1800.60 v -x340 -x440 -x540 -x640 -x740 -x840 -x940 -x1040 x1140 -x1240 -x1340 -x1440 -x1540 -x1640 -x1740 -x41 -x141 -x241 -x341 1800.02/1800.60 v -x441 -x541 -x641 -x741 x841 -x941 -x1041 -x1141 -x1241 -x1341 -x1441 -x1541 -x1641 -x1741 -x42 -x142 -x242 -x342 -x442 1800.02/1800.60 v -x542 -x642 -x742 -x842 x942 -x1042 -x1142 -x1242 -x1342 -x1442 -x1542 -x1642 -x1742 -x43 -x143 x243 -x343 -x443 -x543 -x643 1800.02/1800.60 v -x743 -x843 -x943 -x1043 -x1143 -x1243 -x1343 -x1443 -x1543 -x1643 -x1743 -x44 -x144 -x244 -x344 -x444 -x544 x644 -x744 1800.02/1800.60 v -x844 -x944 -x1044 -x1144 -x1244 -x1344 -x1444 -x1544 -x1644 -x1744 -x46 -x146 -x246 x346 -x446 -x546 -x646 -x746 -x846 1800.02/1800.60 v -x946 -x1046 -x1146 -x1246 -x1346 -x1446 -x1546 -x1646 -x1746 -x47 -x147 -x247 -x347 -x447 -x547 -x647 -x747 -x847 -x947 1800.02/1800.60 v x1047 -x1147 -x1247 -x1347 -x1447 -x1547 -x1647 -x1747 -x48 x148 -x248 -x348 -x448 -x548 -x648 -x748 -x848 -x948 -x1048 1800.02/1800.60 v -x1148 -x1248 -x1348 -x1448 -x1548 -x1648 -x1748 -x49 -x149 -x249 -x349 -x449 -x549 -x649 -x749 -x849 -x949 -x1049 -x1149 1800.02/1800.60 v -x1249 -x1349 -x1449 -x1549 x1649 -x1749 -x50 -x150 -x250 -x350 -x450 -x550 -x650 -x750 -x850 -x950 -x1050 -x1150 -x1250 1800.02/1800.60 v x1350 -x1450 -x1550 -x1650 -x1750 -x51 -x151 -x251 -x351 -x451 -x551 x651 -x751 -x851 -x951 -x1051 -x1151 -x1251 -x1351 1800.02/1800.60 v -x1451 -x1551 -x1651 -x1751 -x52 -x152 -x252 -x352 -x452 -x552 -x652 -x752 x852 -x952 -x1052 -x1152 -x1252 -x1352 -x1452 1800.02/1800.60 v -x1552 -x1652 -x1752 -x53 -x153 -x253 -x353 -x453 -x553 -x653 -x753 -x853 -x953 -x1053 x1153 -x1253 -x1353 -x1453 -x1553 1800.02/1800.60 v -x1653 -x1753 -x54 -x154 -x254 -x354 -x454 -x554 -x654 -x754 -x854 x954 -x1054 -x1154 -x1254 -x1354 -x1454 -x1554 -x1654 1800.02/1800.60 v -x1754 x55 -x155 -x255 -x355 -x455 -x555 -x655 -x755 -x855 -x955 -x1055 -x1155 -x1255 -x1355 -x1455 -x1555 -x1655 -x1755 1800.02/1800.60 v -x57 -x157 -x257 -x357 -x457 -x557 -x657 -x757 -x857 -x957 -x1057 -x1157 -x1257 -x1357 x1457 -x1557 -x1657 -x1757 -x58 -x158 1800.02/1800.60 v x258 -x358 -x458 -x558 -x658 -x758 -x858 -x958 -x1058 -x1158 -x1258 -x1358 -x1458 -x1558 -x1658 -x1758 -x59 -x159 -x259 1800.02/1800.60 v -x359 -x459 x559 -x659 -x759 -x859 -x959 -x1059 -x1159 -x1259 -x1359 -x1459 -x1559 -x1659 -x1759 -x60 x160 -x260 -x360 -x460 1800.02/1800.60 v -x560 -x660 -x760 -x860 -x960 -x1060 -x1160 -x1260 -x1360 -x1460 -x1560 -x1660 -x1760 -x61 x161 -x261 -x361 -x461 -x561 1800.02/1800.60 v -x661 -x761 -x861 -x961 -x1061 -x1161 -x1261 -x1361 -x1461 -x1561 -x1661 -x1761 x62 -x162 -x262 -x362 -x462 -x562 -x662 1800.02/1800.60 v -x762 -x862 -x962 -x1062 -x1162 -x1262 -x1362 -x1462 -x1562 -x1662 -x1762 -x63 -x163 -x263 -x363 -x463 -x563 -x663 -x763 1800.02/1800.60 v -x863 -x963 -x1063 -x1163 x1263 -x1363 -x1463 -x1563 -x1663 -x1763 -x64 -x164 -x264 -x364 -x464 -x564 -x664 -x764 -x864 1800.02/1800.60 v -x964 -x1064 -x1164 -x1264 x1364 -x1464 -x1564 -x1664 -x1764 -x65 -x165 -x265 -x365 -x465 x565 -x665 -x765 -x865 -x965 -x1065 1800.02/1800.60 v -x1165 -x1265 -x1365 -x1465 -x1565 -x1665 -x1765 -x66 -x166 -x266 -x366 -x466 -x566 -x666 -x766 -x866 -x966 -x1066 -x1166 1800.02/1800.60 v -x1266 -x1366 -x1466 -x1566 -x1666 x1766 -x68 -x168 -x268 -x368 -x468 -x568 -x668 -x768 x868 -x968 -x1068 -x1168 -x1268 1800.02/1800.60 v -x1368 -x1468 -x1568 -x1668 -x1768 -x69 -x169 -x269 -x369 -x469 -x569 -x669 x769 -x869 -x969 -x1069 -x1169 -x1269 -x1369 1800.02/1800.60 v -x1469 -x1569 -x1669 -x1769 -x70 -x170 -x270 -x370 -x470 -x570 -x670 -x770 -x870 -x970 -x1070 -x1170 -x1270 -x1370 -x1470 1800.02/1800.60 v -x1570 x1670 -x1770 -x71 -x171 -x271 -x371 -x471 -x571 -x671 -x771 -x871 -x971 -x1071 -x1171 -x1271 x1371 -x1471 -x1571 1800.02/1800.60 v -x1671 -x1771 -x72 -x172 -x272 -x372 -x472 x572 -x672 -x772 -x872 -x972 -x1072 -x1172 -x1272 -x1372 -x1472 -x1572 -x1672 1800.02/1800.60 v -x1772 -x73 -x173 -x273 -x373 -x473 -x573 x673 -x773 -x873 -x973 -x1073 -x1173 -x1273 -x1373 -x1473 -x1573 -x1673 -x1773 1800.02/1800.60 v -x74 -x174 -x274 -x374 x474 -x574 -x674 -x774 -x874 -x974 -x1074 -x1174 -x1274 -x1374 -x1474 -x1574 -x1674 -x1774 -x75 -x175 1800.02/1800.60 v -x275 -x375 -x475 -x575 -x675 -x775 -x875 -x975 -x1075 -x1175 -x1275 -x1375 x1475 -x1575 -x1675 -x1775 -x76 -x176 -x276 1800.02/1800.60 v -x376 -x476 -x576 -x676 -x776 -x876 -x976 x1076 -x1176 -x1276 -x1376 -x1476 -x1576 -x1676 -x1776 -x77 -x177 -x277 -x377 1800.02/1800.60 v -x477 -x577 -x677 -x777 -x877 -x977 -x1077 -x1177 -x1277 -x1377 -x1477 x1577 -x1677 -x1777 -x79 -x179 -x279 -x379 -x479 1800.02/1800.60 v -x579 -x679 -x779 -x879 -x979 -x1079 -x1179 -x1279 -x1379 -x1479 -x1579 -x1679 x1779 x80 -x180 -x280 -x380 -x480 -x580 -x680 1800.02/1800.60 v -x780 -x880 -x980 -x1080 -x1180 -x1280 -x1380 -x1480 -x1580 -x1680 -x1780 -x81 -x181 -x281 -x381 -x481 -x581 -x681 -x781 1800.02/1800.60 v -x881 -x981 x1081 -x1181 -x1281 -x1381 -x1481 -x1581 -x1681 -x1781 -x82 -x182 -x282 -x382 -x482 -x582 x682 -x782 -x882 -x982 1800.02/1800.60 v -x1082 -x1182 -x1282 -x1382 -x1482 -x1582 -x1682 -x1782 x83 -x183 -x283 -x383 -x483 -x583 -x683 -x783 -x883 -x983 -x1083 1800.02/1800.60 v -x1183 -x1283 -x1383 -x1483 -x1583 -x1683 -x1783 -x84 -x184 -x284 -x384 -x484 -x584 -x684 -x784 -x884 -x984 -x1084 -x1184 1800.02/1800.60 v -x1284 -x1384 x1484 -x1584 -x1684 -x1784 -x85 -x185 -x285 -x385 -x485 -x585 -x685 -x785 -x885 -x985 -x1085 x1185 -x1285 1800.02/1800.60 v -x1385 -x1485 -x1585 -x1685 -x1785 -x86 -x186 -x286 -x386 -x486 -x586 -x686 -x786 -x886 -x986 -x1086 -x1186 -x1286 x1386 1800.02/1800.60 v -x1486 -x1586 -x1686 -x1786 -x87 -x187 -x287 -x387 -x487 -x587 -x687 -x787 -x887 x987 -x1087 -x1187 -x1287 -x1387 -x1487 1800.02/1800.60 v -x1587 -x1687 -x1787 -x88 -x188 -x288 x388 -x488 -x588 -x688 -x788 -x888 -x988 -x1088 -x1188 -x1288 -x1388 -x1488 -x1588 1800.02/1800.60 v -x1688 -x1788 -x90 -x190 -x290 -x390 -x490 -x590 -x690 -x790 -x890 -x990 -x1090 -x1190 -x1290 -x1390 -x1490 x1590 -x1690 1800.02/1800.60 v -x1790 -x91 -x191 -x291 x391 -x491 -x591 -x691 -x791 -x891 -x991 -x1091 -x1191 -x1291 -x1391 -x1491 -x1591 -x1691 -x1791 1800.02/1800.60 v -x92 -x192 -x292 -x392 -x492 -x592 -x692 -x792 -x892 -x992 -x1092 -x1192 -x1292 -x1392 x1492 -x1592 -x1692 -x1792 -x93 -x193 1800.02/1800.60 v -x293 -x393 -x493 -x593 -x693 x793 -x893 -x993 -x1093 -x1193 -x1293 -x1393 -x1493 -x1593 -x1693 -x1793 -x94 -x194 -x294 1800.02/1800.60 v -x394 -x494 -x594 -x694 -x794 x894 -x994 -x1094 -x1194 -x1294 -x1394 -x1494 -x1594 -x1694 -x1794 -x95 -x195 -x295 -x395 1800.02/1800.60 v -x495 -x595 -x695 -x795 -x895 -x995 -x1095 -x1195 -x1295 -x1395 -x1495 -x1595 -x1695 x1795 -x96 -x196 -x296 -x396 x496 -x596 1800.02/1800.60 v -x696 -x796 -x896 -x996 -x1096 -x1196 -x1296 -x1396 -x1496 -x1596 -x1696 -x1796 -x97 -x197 -x297 -x397 -x497 -x597 x697 1800.02/1800.60 v -x797 -x897 -x997 -x1097 -x1197 -x1297 -x1397 -x1497 -x1597 -x1697 -x1797 -x98 -x198 -x298 -x398 -x498 -x598 -x698 -x798 1800.02/1800.60 v -x898 -x998 -x1098 -x1198 x1298 -x1398 -x1498 -x1598 -x1698 -x1798 -x99 -x199 x299 -x399 -x499 -x599 -x699 -x799 -x899 -x999 1800.02/1800.60 v -x1099 -x1199 -x1299 -x1399 -x1499 -x1599 -x1699 -x1799 x12 -x112 -x212 x312 -x412 x512 x612 -x712 x812 x912 -x1012 -x1112 1800.02/1800.60 v -x1212 x1312 x1412 x1512 -x1612 -x1712 x23 x123 x223 -x323 -x423 -x523 x623 x723 -x823 -x923 -x1023 x1123 x1223 -x1323 -x1423 1800.02/1800.60 v -x1523 x1623 x1723 x34 -x134 -x234 -x334 x434 -x534 x634 -x734 x834 x934 x1034 -x1134 -x1234 x1334 x1434 -x1534 -x1634 x1734 1800.02/1800.60 v x45 -x145 -x245 -x345 x445 x545 -x645 x745 -x845 -x945 -x1045 x1145 x1245 -x1345 x1445 x1545 -x1645 x1745 -x56 -x156 -x256 1800.02/1800.60 v x356 x456 -x556 -x656 x756 -x856 -x956 x1056 -x1156 x1256 x1356 -x1456 x1556 x1656 x1756 -x67 -x167 x267 x367 x467 -x567 x667 1800.02/1800.60 v -x767 -x867 x967 x1067 x1167 -x1267 -x1367 x1467 x1567 -x1667 -x1767 -x78 x178 x278 x378 -x478 -x578 -x678 x778 x878 x978 1800.02/1800.60 v -x1078 x1178 x1278 -x1378 -x1478 -x1578 x1678 -x1778 -x89 x189 x289 -x389 x489 x589 -x689 x789 x889 -x989 -x1089 -x1189 x1289 1800.02/1800.60 v -x1389 -x1489 -x1589 x1689 x1789 x100 x200 -x300 -x400 -x500 x600 -x700 -x800 -x900 x1000 x1100 x1200 -x1300 x1400 -x1500 1800.02/1800.60 v x1600 x1700 -x1800 -x1 x101 x201 x301 -x401 x501 x601 -x701 x801 -x901 x1001 -x1101 -x1201 x1301 x1401 -x1501 -x1601 -x1701 1800.02/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.02/1800.61 c 54 220270 61270 569233 263348 107419049 220278 122 1800.03 1800.02/1800.61 c Objective: 82252 1800.02/1800.61 s SATISFIABLE 1800.02/1800.61 c Total time: 1800.03 s
OK 82252
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node63/watcher-432896-1177952028 -o ROOT/results/node63/solver-432896-1177952028 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432896-1177952028/instance-432896-1177952028.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.94 0.97 0.92 3/64 14030 /proc/meminfo: memFree=1707140/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=22532 CPUtime=0 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 359 0 0 0 0 0 0 0 18 0 1 0 271192817 23072768 329 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134536096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 5633 329 278 324 0 3957 0 [startup+0.078905 s] /proc/loadavg: 0.94 0.97 0.92 3/64 14030 /proc/meminfo: memFree=1707140/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=8416 CPUtime=0.07 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 824 0 0 0 7 0 0 0 18 0 1 0 271192817 8617984 794 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 2104 794 379 324 0 428 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 8416 [startup+0.101907 s] /proc/loadavg: 0.94 0.97 0.92 3/64 14030 /proc/meminfo: memFree=1707140/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=8824 CPUtime=0.09 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 965 0 0 0 9 0 0 0 18 0 1 0 271192817 9035776 935 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 2207 935 412 324 0 531 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8824 [startup+0.301927 s] /proc/loadavg: 0.94 0.97 0.92 3/64 14030 /proc/meminfo: memFree=1707140/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=11232 CPUtime=0.29 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 1840 0 0 0 29 0 0 0 19 0 1 0 271192817 11501568 1810 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 2808 1810 676 324 0 1132 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11232 [startup+0.70197 s] /proc/loadavg: 0.94 0.97 0.92 3/64 14030 /proc/meminfo: memFree=1707140/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=17664 CPUtime=0.68 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 4560 0 0 0 67 1 0 0 23 0 1 0 271192817 18087936 3784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 4416 3784 304 324 0 3486 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 17664 [startup+1.50105 s] /proc/loadavg: 0.94 0.97 0.92 2/65 14031 /proc/meminfo: memFree=1690172/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=20864 CPUtime=1.49 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 5358 0 0 0 144 5 0 0 25 0 1 0 271192817 21364736 4582 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134557479 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 5216 4582 306 324 0 4286 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20864 [startup+3.10122 s] /proc/loadavg: 0.94 0.97 0.92 2/65 14031 /proc/meminfo: memFree=1691772/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=22028 CPUtime=3.08 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 7169 0 0 0 302 6 0 0 25 0 1 0 271192817 22556672 4887 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 5507 4887 311 324 0 4577 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 22028 [startup+6.30156 s] /proc/loadavg: 0.94 0.97 0.92 2/65 14031 /proc/meminfo: memFree=1682684/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=30604 CPUtime=6.28 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 9301 0 0 0 621 7 0 0 25 0 1 0 271192817 31338496 7019 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551225 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 7651 7019 311 324 0 6721 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 30604 [startup+12.7012 s] /proc/loadavg: 0.95 0.97 0.92 2/65 14031 /proc/meminfo: memFree=1666300/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=45956 CPUtime=12.67 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 13133 0 0 0 1257 10 0 0 25 0 1 0 271192817 47058944 10851 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 11489 10851 311 324 0 10559 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 45956 [startup+25.5016 s] /proc/loadavg: 0.96 0.97 0.92 2/65 14031 /proc/meminfo: memFree=1635260/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=76052 CPUtime=25.47 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 20671 0 0 0 2532 15 0 0 25 0 1 0 271192817 77877248 18389 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 19013 18389 311 324 0 18083 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 76052 [startup+51.1013 s] /proc/loadavg: 0.97 0.97 0.92 2/65 14031 /proc/meminfo: memFree=1589372/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=122072 CPUtime=51.06 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 32168 0 0 0 5083 23 0 0 25 0 1 0 271192817 125001728 29886 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 30518 29886 311 324 0 29588 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 122072 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.92 2/65 14031 /proc/meminfo: memFree=1528060/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=182768 CPUtime=102.26 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 47348 0 0 0 10193 33 0 0 25 0 1 0 271192817 187154432 45066 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 45692 45066 311 324 0 44762 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 182768 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.92 2/65 14031 /proc/meminfo: memFree=1449404/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=261924 CPUtime=162.24 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 67136 0 0 0 16180 44 0 0 25 0 1 0 271192817 268210176 64854 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 65481 64854 311 324 0 64551 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 261924 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.92 2/65 14031 /proc/meminfo: memFree=1372796/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=337768 CPUtime=222.22 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 86091 0 0 0 22166 56 0 0 25 0 1 0 271192817 345874432 83809 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 84442 83809 311 324 0 83512 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 337768 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.92 2/65 14031 /proc/meminfo: memFree=1304508/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=406392 CPUtime=282.21 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 103251 0 0 0 28156 65 0 0 25 0 1 0 271192817 416145408 100969 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 101598 100969 311 324 0 100668 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 406392 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.92 2/65 14031 /proc/meminfo: memFree=1245628/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=464632 CPUtime=342.19 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 117804 0 0 0 34147 72 0 0 25 0 1 0 271192817 475783168 115522 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 116158 115522 311 324 0 115228 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 464632 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.92 2/65 14031 /proc/meminfo: memFree=1202172/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=508368 CPUtime=402.17 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 128737 0 0 0 40138 79 0 0 25 0 1 0 271192817 520568832 126455 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160051253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 127092 126455 311 324 0 126162 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 508368 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.92 2/71 14195 /proc/meminfo: memFree=1151364/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=557216 CPUtime=462.08 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 140971 0 0 0 46118 90 0 0 25 0 1 0 271192817 570589184 138689 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551039 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 139304 138689 311 324 0 138374 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 557216 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.92 2/65 14229 /proc/meminfo: memFree=1104508/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=605888 CPUtime=522.04 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 153116 0 0 0 52107 97 0 0 25 0 1 0 271192817 620429312 150834 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 151472 150834 311 324 0 150542 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 605888 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.92 2/65 14229 /proc/meminfo: memFree=1053564/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=656328 CPUtime=582.02 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 165742 0 0 0 58098 104 0 0 25 0 1 0 271192817 672079872 163460 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 164082 163460 311 324 0 163152 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 656328 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.92 2/65 14229 /proc/meminfo: memFree=1005500/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=703736 CPUtime=642.01 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 177588 0 0 0 64091 110 0 0 25 0 1 0 271192817 720625664 175306 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 175934 175306 311 324 0 175004 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 703736 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.92 2/65 14229 /proc/meminfo: memFree=857724/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=851332 CPUtime=881.95 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 214497 0 0 0 88067 128 0 0 25 0 1 0 271192817 871763968 212215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 212833 212215 311 324 0 211903 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 851332 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.92 2/65 14229 /proc/meminfo: memFree=821564/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=888332 CPUtime=941.93 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 223738 0 0 0 94060 133 0 0 25 0 1 0 271192817 909651968 221456 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 222083 221456 311 324 0 221153 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 888332 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 14229 /proc/meminfo: memFree=771772/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=937584 CPUtime=1001.92 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 236039 0 0 0 100052 140 0 0 25 0 1 0 271192817 960086016 233757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 234396 233757 311 324 0 233466 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 937584 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 14229 /proc/meminfo: memFree=731644/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=977756 CPUtime=1061.9 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 246090 0 0 0 106045 145 0 0 25 0 1 0 271192817 1001222144 243808 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 244439 243808 311 324 0 243509 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 977756 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 14229 /proc/meminfo: memFree=688252/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=1020932 CPUtime=1121.89 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 256877 0 0 0 112037 152 0 0 25 0 1 0 271192817 1045434368 254595 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 255233 254595 311 324 0 254303 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 1020932 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 14229 /proc/meminfo: memFree=645692/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=1063908 CPUtime=1181.87 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 267643 0 0 0 118030 157 0 0 25 0 1 0 271192817 1089441792 265361 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 265977 265361 311 324 0 265047 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 1063908 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 14229 /proc/meminfo: memFree=611516/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=1097420 CPUtime=1241.85 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 276008 0 0 0 124023 162 0 0 25 0 1 0 271192817 1123758080 273726 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 274355 273726 311 324 0 273425 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 1097420 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 14229 /proc/meminfo: memFree=574972/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=1133620 CPUtime=1301.85 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 285048 0 0 0 130017 168 0 0 25 0 1 0 271192817 1160826880 282766 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 283405 282766 311 324 0 282475 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 1133620 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 14229 /proc/meminfo: memFree=539132/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=1169664 CPUtime=1361.83 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 294076 0 0 0 136010 173 0 0 25 0 1 0 271192817 1197735936 291794 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 292416 291794 311 324 0 291486 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 1169664 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.92 2/65 14229 /proc/meminfo: memFree=511292/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=1197136 CPUtime=1421.81 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 300930 0 0 0 142005 176 0 0 25 0 1 0 271192817 1225867264 298648 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 299284 298648 311 324 0 298354 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 1197136 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 14229 /proc/meminfo: memFree=480764/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=1227904 CPUtime=1481.8 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 308621 0 0 0 147999 181 0 0 25 0 1 0 271192817 1257373696 306339 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 306976 306339 311 324 0 306046 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 1227904 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 14229 /proc/meminfo: memFree=443196/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=1265080 CPUtime=1541.78 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 317923 0 0 0 153990 188 0 0 25 0 1 0 271192817 1295441920 315641 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551189 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 316270 315641 311 324 0 315340 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 1265080 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 14229 /proc/meminfo: memFree=412988/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=1295616 CPUtime=1601.77 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 325566 0 0 0 159986 191 0 0 25 0 1 0 271192817 1326710784 323284 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 323904 323284 311 324 0 322974 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 1295616 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 14229 /proc/meminfo: memFree=387068/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=1321044 CPUtime=1661.74 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 331921 0 0 0 165980 194 0 0 25 0 1 0 271192817 1352749056 329639 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 330261 329639 311 324 0 329331 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 1321044 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 14229 /proc/meminfo: memFree=346556/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=1361816 CPUtime=1721.74 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 342097 0 0 0 171973 201 0 0 25 0 1 0 271192817 1394499584 339815 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 340454 339815 311 324 0 339524 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 1361816 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 14229 /proc/meminfo: memFree=312252/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=1395620 CPUtime=1781.72 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 350570 0 0 0 177967 205 0 0 25 0 1 0 271192817 1429114880 348288 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 348905 348288 311 324 0 347975 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 1395620 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.92 2/65 14229 /proc/meminfo: memFree=306684/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=1401112 CPUtime=1800.02 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194304 351934 0 0 0 179796 206 0 0 25 0 1 0 271192817 1434738688 349652 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 350278 349652 311 324 0 349348 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1401112 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.92 2/65 14229 /proc/meminfo: memFree=306684/2055920 swapFree=4182900/4192956 [pid=14030] ppid=14028 vsize=0 CPUtime=1800.21 /proc/14030/stat : 14030 (bsolo3.0.17) R 14028 14030 13080 0 -1 4194308 351938 0 0 0 179796 225 0 0 25 0 1 0 271192817 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/14030/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.83 CPU time (s): 1800.25 CPU user time (s): 1797.96 CPU system time (s): 2.28465 CPU usage (%): 99.9678 Max. virtual memory (cumulated for all children) (KiB): 1401112 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.96 system time used= 2.28465 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 351938 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= 12 involuntary context switches= 4800 runsolver used 1.51377 second user time and 3.46647 second system time The end
Begin job on node63 on Mon Apr 30 16:53:49 UTC 2007 IDJOB= 432896 IDBENCH= 2011 IDSOLVER= 199 FILE ID= node63/432896-1177952028 PBS_JOBID= 4727808 Free space on /tmp= 66555 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data10_3.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432896-1177952028/instance-432896-1177952028.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-432896-1177952028 -o ROOT/results/node63/solver-432896-1177952028 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432896-1177952028/instance-432896-1177952028.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= dccfffd22c38fcd3c497d688dab4b7a4 RANDOM SEED= 797053081 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node63.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: 1707804 kB Buffers: 12700 kB Cached: 157044 kB SwapCached: 3860 kB Active: 179500 kB Inactive: 102096 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1707804 kB SwapTotal: 4192956 kB SwapFree: 4182900 kB Dirty: 9660 kB Writeback: 0 kB Mapped: 117756 kB Slab: 52344 kB Committed_AS: 2463740 kB PageTables: 1716 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= 66555 MiB End job on node63 on Mon Apr 30 17:23:52 UTC 2007