Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 5289 | 1800.07 | 1800.78 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-p2756.opb |
MD5SUM | 54b9b4de78a7992fd69d0caeed32daef |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3695 |
Best CPU time to get the best result obtained on this benchmark | 1800.38 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3695 |
Optimality of the best value was proved | NO |
Number of variables | 2756 |
Total number of constraints | 749 |
Number of constraints which are clauses | 132 |
Number of constraints which are cardinality constraints (but not clauses) | 220 |
Number of constraints which are nor clauses,nor cardinality constraints | 397 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 546 |
Number of terms in the objective function | 2166 |
Biggest coefficient in the objective function | 11000 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 321831 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 11000 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 321831 |
Number of bits of the biggest sum of numbers | 19 |
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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/351980-1176619156/instance-351980-1176619156.opb 0.00/0.00 c File size is 111983 bytes. 0.00/0.02 c Highest Coefficient sum: 321831 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.019 s 0.00/0.02 c Var: 2756 Constr: 749 132/220/397 Lit: 8802 Watch. Lit: 4833 0.00/0.02 c Obj. Vars: 2166 (78.5922 % of total variables) 0.00/0.05 c Formula reductions applied at preprocessing 0.00/0.05 c Pre-processing Time: 0.049 s 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 0 2630 725 8536 11 6089 15707 0 0 0.05 0.09/0.10 c Initial Lower Bound: 2702 0.09/0.10 c Initial Path Cost: 0 0.09/0.11 o 6439 0.106 8.99/9.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.99/9.03 c 11 2630 737 16163 21 7853 19869 12 102 0.11 8.99/9.03 c 111 2630 916 101907 111 8262 21856 191 28 3.89 8.99/9.03 c 361 2630 1356 307391 226 9180 24042 631 49 7.22 8.99/9.03 o 6429 9.027 * 10.99/11.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.99/11.07 c 376 2630 1376 313705 227 11329 19869 651 41 9.03 10.99/11.07 o 6075 11.067 * 18.59/18.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.59/18.60 c 384 2630 1387 317841 229 13384 19869 662 34 11.07 18.59/18.60 c 485 2630 1574 417456 265 13792 21856 849 37 12.97 18.59/18.60 c 735 2630 2041 645803 316 14720 24042 1316 44 16.68 18.59/18.60 o 6061 18.599 * 39.77/39.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 39.77/39.87 c 739 2630 2049 650548 317 16801 19869 1324 39 18.60 39.77/39.87 c 839 2630 2206 720335 326 17151 21856 1481 40 20.61 39.77/39.87 c 1089 2630 2649 886956 334 18061 24042 1924 44 24.40 39.77/39.87 c 1564 2630 3547 1222280 344 19830 26447 2822 52 29.61 39.77/39.87 c 2377 2630 5077 1981919 390 22838 29092 4352 62 38.08 39.77/39.87 o 5842 39.859 * 41.57/41.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 41.57/41.69 c 2380 2630 5082 1984868 390 24974 19869 4357 59 39.86 41.57/41.69 o 5716 41.68 * 43.48/43.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 43.48/43.52 c 2385 2630 5090 1988418 390 27044 19869 4365 57 41.68 43.48/43.52 o 5710 43.506 * 45.37/45.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 45.37/45.43 c 2392 2630 5102 1993953 390 29136 19869 4377 54 43.51 45.37/45.43 o 5672 45.42 * 116.25/116.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 116.25/116.32 c 2397 2630 5111 1998814 391 31246 19869 4386 52 45.42 116.25/116.32 c 2497 2630 5306 2083963 392 31648 21856 4581 52 47.77 116.25/116.32 c 2748 2630 5784 2280429 394 32633 24042 5059 53 50.95 116.25/116.32 c 3223 2630 6630 2601331 392 34290 26447 5905 55 58.38 116.25/116.32 c 4036 2630 7817 3109969 397 36620 29092 7092 58 69.37 116.25/116.32 c 5356 2630 10202 4010663 393 41451 32002 9477 66 80.51 116.25/116.32 c 7437 2630 13622 5736820 421 48259 35203 12897 70 105.98 116.25/116.32 o 5668 116.285 * 138.64/138.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 138.64/138.79 c 8030 2630 14614 6191465 423 52404 19869 13889 69 116.29 138.64/138.79 c 8131 2630 14768 6245565 422 52645 21856 14043 68 118.97 138.64/138.79 c 8381 2630 15233 6435168 422 53571 24042 14508 68 122.78 138.64/138.79 c 8856 2630 16145 6836477 423 55418 26447 15420 69 128.13 138.64/138.79 c 9669 2630 17642 7588204 430 58368 29092 16917 70 137.00 138.64/138.79 o 5587 138.745 * 203.12/203.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 203.12/203.28 c 9673 2630 17650 7593277 430 60500 19869 16925 69 138.75 203.12/203.28 c 9773 2630 17830 7660281 429 60878 21856 17105 69 141.14 203.12/203.28 c 10023 2630 18314 7883661 430 61846 24042 17589 69 144.98 203.12/203.28 c 10498 2630 19097 8193674 429 63410 26447 18372 69 150.22 203.12/203.28 c 11311 2630 20439 8834054 432 66111 29092 19714 70 159.74 203.12/203.28 c 12631 2630 22600 9643539 426 70455 32002 21875 72 173.46 203.12/203.28 c 14712 2630 26262 11134889 423 77702 35203 25537 76 191.87 203.12/203.28 o 5583 203.209 * 208.72/208.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 208.72/208.85 c 15853 2630 28314 11882025 419 83919 19869 27589 78 203.21 208.72/208.85 c 15953 2630 10861 4134741 380 28211 21856 10136 77 206.76 208.72/208.85 o 5549 208.784 * 214.32/214.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 214.32/214.47 c 15954 2630 10864 4137555 380 30295 19869 10139 76 208.79 214.32/214.47 c 16056 2630 11046 4203141 380 30663 21856 10321 75 212.16 214.32/214.47 o 5289 214.401 * 1799.99/1800.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.99/1800.71 c 16063 2630 11058 4208525 380 32799 19869 10333 74 214.40 1799.99/1800.71 c 16163 2630 11258 4286437 380 33201 21856 10533 74 217.00 1799.99/1800.71 c 16413 2630 11719 4461429 380 34053 24042 10994 74 220.85 1799.99/1800.71 c 16888 2630 12391 4697220 379 35420 26447 11666 74 227.06 1799.99/1800.71 c 17701 2630 13683 5184019 378 38018 29092 12958 75 235.99 1799.99/1800.71 c 19021 2630 15809 6172429 390 42231 32002 15084 76 249.28 1799.99/1800.71 c 21102 2630 19688 7748013 393 50043 35203 18963 78 268.73 1799.99/1800.71 c 24325 2630 25162 9828225 390 60958 38724 24437 81 297.82 1799.99/1800.71 c 29262 2630 33970 13573721 399 78608 42597 33245 86 339.02 1799.99/1800.71 c 36768 2630 16322 6548052 401 39110 46857 15597 89 412.13 1799.99/1800.71 c 48129 2630 37133 15680697 422 80722 51543 36408 89 539.70 1799.99/1800.71 c 65273 2630 22054 7536502 341 50627 56698 21329 88 736.45 1799.99/1800.71 c 91092 2630 18430 6399427 347 43357 62368 17705 84 1083.71 1799.99/1800.71 c 129925 2630 26773 9951997 371 59989 68605 26048 87 1479.08 1799.99/1800.71 c Resources Exceeded 1799.99/1800.71 v -x1 -x1112 -x1980 -x2091 -x2202 -x2313 -x2646 -x2 -x113 -x446 -x779 -x1001 -x1113 -x1224 -x1335 -x1446 -x1557 -x1890 -x1969 1799.99/1800.71 v -x1981 -x1992 -x2003 -x2014 -x2025 x2036 -x2047 -x2058 -x2069 x2080 -x2114 x2136 -x2147 -x2158 -x2169 -x2180 -x2191 -x2203 1799.99/1800.71 v -x2214 -x2247 -x2269 -x2280 -x2291 -x2302 -x2314 -x2325 -x2336 -x2369 -x2380 -x2391 -x2402 x2425 -x2458 -x2469 -x2480 1799.99/1800.71 v -x2491 -x2502 -x2513 -x2524 -x2536 -x2569 -x2591 -x2602 -x2613 -x2624 -x2635 -x2647 -x2658 -x2669 -x2680 -x2691 -x2702 1799.99/1800.71 v -x2735 -x3 -x14 -x25 -x36 -x47 -x58 -x69 -x80 -x114 -x136 -x147 -x158 -x169 -x180 -x191 -x213 x225 -x236 -x247 -x258 -x269 1799.99/1800.71 v -x291 -x302 -x313 -x324 -x347 -x358 -x369 -x380 -x391 -x402 -x413 -x435 -x447 -x458 -x469 -x480 -x491 -x502 -x535 x546 -x558 1799.99/1800.71 v -x591 -x624 -x646 -x657 -x669 -x680 -x691 -x702 -x735 x757 -x768 -x780 -x791 -x802 -x813 -x824 -x835 -x846 -x857 -x868 -x902 1799.99/1800.71 v -x924 -x935 -x946 -x957 -x968 -x979 -x990 -x1002 -x1035 -x1057 -x1068 -x1079 -x1090 -x1101 -x1114 -x1125 -x1158 -x1169 1799.99/1800.71 v -x1180 -x1191 x1213 -x1247 x1258 -x1269 x1280 -x1291 -x1302 -x1313 -x1324 -x1358 x1380 -x1391 -x1402 -x1413 -x1424 -x1435 1799.99/1800.71 v -x1447 -x1458 -x1469 -x1480 -x1491 -x1524 -x1546 -x1558 -x1569 -x1580 -x1591 -x1602 -x1613 -x1624 -x1657 -x1680 -x1691 1799.99/1800.71 v -x1702 -x1713 -x1724 -x1735 -x1757 -x1768 -x1780 -x1791 -x1802 -x1813 -x1835 -x1846 -x1857 -x1868 x1891 -x1902 -x1913 1799.99/1800.71 v -x1924 -x1935 -x1946 -x1954 -x1956 -x1957 -x1959 -x1960 -x1962 -x1963 -x1964 x1965 -x1968 -x1970 -x1971 -x1972 -x1973 1799.99/1800.71 v -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1982 -x1985 -x1986 -x1987 -x1988 x1989 -x1990 -x1991 -x1993 -x1996 -x1997 1799.99/1800.71 v -x1998 -x1999 -x2000 -x2001 -x2002 -x2004 -x2005 -x2006 x2007 -x2010 -x2011 -x2012 -x2013 -x2015 -x2016 -x2017 -x2018 1799.99/1800.71 v -x2020 -x2023 -x2024 -x2026 -x2027 -x2029 -x2030 -x2031 -x2033 -x2034 -x2035 -x2038 -x2039 -x2040 -x2041 -x2043 -x2044 1799.99/1800.71 v -x2045 -x2046 -x2048 -x2049 -x2050 x2051 -x2054 -x2055 x2056 -x2057 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 1799.99/1800.71 v -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 1799.99/1800.71 v -x2090 -x2093 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2104 -x2105 -x2106 -x2109 -x2110 -x2111 -x2112 -x2113 1799.99/1800.71 v -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2123 -x2124 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 1799.99/1800.71 v -x2134 -x2135 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2148 -x2149 -x2150 -x2151 -x2152 1799.99/1800.71 v x2154 -x2155 -x2156 -x2157 -x2159 -x2160 x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2170 -x2171 x2172 -x2173 -x2174 1799.99/1800.71 v -x2175 x2176 -x2179 -x2181 -x2182 -x2183 x2184 -x2185 -x2186 -x2187 -x2190 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 1799.99/1800.71 v -x2199 -x2200 -x2201 -x2204 -x2205 -x2206 -x2207 -x2210 -x2211 -x2212 -x2213 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 1799.99/1800.71 v -x2221 -x2222 x2224 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2237 -x2238 -x2239 -x2240 -x2242 -x2243 1799.99/1800.71 v -x2244 -x2245 -x2246 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2257 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 1799.99/1800.71 v -x2265 -x2268 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2281 -x2282 -x2283 -x2284 -x2287 1799.99/1800.71 v -x2288 -x2289 -x2290 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2305 -x2306 -x2307 -x2308 1799.99/1800.71 v -x2309 -x2310 -x2311 -x2312 -x2315 -x2316 -x2317 -x2318 -x2320 -x2321 -x2322 -x2323 -x2324 -x2326 -x2327 -x2328 -x2329 1799.99/1800.71 v -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2348 1799.99/1800.71 v -x2349 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 1799.99/1800.71 v -x2370 -x2371 -x2372 -x2373 -x2376 -x2377 -x2378 -x2379 -x2381 -x2382 -x2383 -x2384 -x2387 -x2388 -x2389 -x2390 -x2392 1799.99/1800.71 v -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2403 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 1799.99/1800.71 v -x2414 -x2415 -x2416 -x2417 -x2418 -x2420 -x2423 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 1799.99/1800.71 v -x2437 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2448 -x2449 -x2450 -x2451 -x2454 -x2455 -x2456 -x2457 1799.99/1800.71 v -x2459 -x2460 -x2461 -x2462 -x2465 -x2466 -x2467 -x2468 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 1799.99/1800.71 v -x2479 -x2481 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2501 1799.99/1800.71 v -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2514 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 1799.99/1800.71 v -x2522 -x2523 -x2525 -x2526 -x2527 -x2528 -x2531 -x2532 -x2533 -x2534 -x2537 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 1799.99/1800.71 v -x2556 -x2560 -x2561 -x2562 -x2563 -x2564 -x2568 -x2573 -x2577 -x2578 x2579 -x2581 -x2582 -x2583 -x2584 -x2587 -x2588 1799.99/1800.71 v -x2589 -x2590 -x2592 -x2593 -x2596 -x2598 -x2603 -x2607 -x2608 -x2610 -x2614 -x2615 -x2616 -x2617 -x2619 -x2620 x2621 1799.99/1800.71 v -x2622 x2623 -x2625 -x2627 -x2628 -x2629 -x2630 x2631 -x2632 -x2633 -x2634 -x2636 -x2637 -x2638 x2639 -x2642 -x2643 -x2644 1799.99/1800.71 v -x2645 -x2648 -x2652 -x2656 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 1799.99/1800.71 v -x2679 -x2684 -x2688 -x2689 -x2690 -x2692 -x2693 -x2694 x2695 -x2698 -x2699 -x2700 -x2701 x2703 -x2704 -x2705 -x2707 -x2708 1799.99/1800.71 v -x2709 -x2712 -x2714 -x2715 -x2716 -x2718 -x2719 x2721 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 1799.99/1800.71 v -x2734 -x2736 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2747 -x2748 x2749 x2750 -x2751 -x2752 -x2753 -x2754 1799.99/1800.71 v -x4 -x5 -x6 -x7 x8 -x9 -x12 -x16 -x17 -x18 -x19 -x21 -x22 -x23 -x24 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x35 -x37 -x38 -x39 -x40 -x41 1799.99/1800.71 v -x42 -x43 -x44 -x45 -x46 -x48 -x49 -x50 -x51 x53 -x56 -x57 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x70 x71 -x72 -x73 1799.99/1800.71 v -x74 -x75 -x76 x77 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x104 -x105 1799.99/1800.71 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x115 -x116 -x117 -x118 -x121 -x122 -x123 -x124 -x126 -x127 -x128 -x129 -x130 -x131 1799.99/1800.71 v -x132 -x133 -x134 -x135 -x137 -x138 -x139 -x140 -x141 -x143 -x144 -x145 -x146 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 1799.99/1800.71 v -x156 -x157 -x159 -x160 -x163 -x164 -x165 x166 -x167 -x168 -x172 -x175 -x176 -x177 -x178 -x181 -x182 -x183 -x184 -x185 -x186 1799.99/1800.71 v -x187 -x188 -x189 -x190 x192 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x212 1799.99/1800.71 v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x237 -x238 -x241 1799.99/1800.71 v -x242 -x243 -x244 -x245 -x246 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x259 -x260 -x261 -x264 -x265 -x266 1799.99/1800.71 v -x267 -x268 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x292 1799.99/1800.71 v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x314 -x315 -x316 1799.99/1800.71 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x337 -x338 -x339 -x340 1799.99/1800.71 v -x341 -x342 -x343 -x344 -x345 -x346 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x359 -x360 -x361 -x362 -x363 1799.99/1800.71 v -x364 -x365 -x366 -x367 -x368 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x381 -x382 -x383 -x384 -x385 -x386 1799.99/1800.71 v -x387 -x389 x390 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x412 1799.99/1800.71 v -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x425 -x426 -x427 -x429 -x431 -x432 -x437 -x438 -x439 -x440 -x441 1799.99/1800.71 v -x442 -x443 -x444 -x445 -x449 -x450 -x452 -x453 -x454 -x455 -x456 -x457 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 1799.99/1800.71 v -x468 -x470 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x492 -x493 1799.99/1800.71 v -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x503 -x504 -x505 -x506 -x508 -x510 -x511 -x512 -x514 -x515 -x516 -x517 -x518 1799.99/1800.71 v -x519 -x520 -x521 -x522 -x523 -x525 -x526 -x527 -x528 -x530 -x531 -x532 -x533 -x534 -x536 -x537 -x538 -x539 -x540 -x541 -x542 1799.99/1800.71 v -x543 -x544 -x545 -x547 -x548 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1799.99/1800.71 v -x568 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x581 -x582 -x583 -x585 x586 -x587 x588 -x589 -x590 -x592 -x593 1799.99/1800.71 v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x603 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x614 -x615 -x616 -x617 1799.99/1800.71 v -x618 -x619 x620 -x621 -x622 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x636 -x637 -x638 -x639 -x640 -x641 1799.99/1800.71 v -x642 -x644 -x645 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 1799.99/1800.71 v -x667 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x679 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x692 1799.99/1800.71 v -x695 -x696 -x697 -x698 -x699 -x700 -x704 -x707 -x708 -x709 -x710 -x712 -x714 -x715 -x716 -x717 -x718 -x721 -x722 -x723 -x725 1799.99/1800.71 v -x726 -x727 -x728 -x729 -x730 -x731 -x733 -x734 x736 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x747 -x748 -x749 -x750 -x752 1799.99/1800.71 v -x755 -x756 -x758 -x761 -x762 -x763 -x764 -x765 -x766 -x769 -x771 -x773 -x774 -x775 -x778 -x781 -x782 -x783 -x784 -x785 -x786 1799.99/1800.71 v -x789 -x790 -x792 -x793 -x794 -x795 -x796 x798 -x801 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x816 -x817 1799.99/1800.71 v -x818 -x819 -x820 -x821 -x822 -x823 -x825 -x826 -x827 -x828 -x829 -x830 -x833 -x834 -x836 -x837 -x838 -x839 -x840 -x841 -x842 1799.99/1800.71 v -x843 -x844 -x847 -x850 -x851 -x852 -x853 -x855 -x856 -x858 -x859 -x860 -x861 -x863 -x864 -x865 -x867 -x869 -x870 -x871 -x872 1799.99/1800.71 v -x873 -x874 -x875 -x876 -x877 -x878 -x880 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x893 -x896 -x897 -x898 -x899 -x900 -x901 1799.99/1800.71 v -x903 -x904 -x905 -x906 -x907 -x910 -x911 -x912 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x925 -x928 -x929 1799.99/1800.71 v -x930 -x931 -x932 -x933 -x934 -x936 -x937 -x938 -x939 x941 -x944 -x945 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 1799.99/1800.71 v -x956 -x958 -x959 -x960 -x962 -x963 -x964 -x965 -x966 -x967 -x969 -x970 -x971 -x972 -x973 -x974 -x977 -x978 -x980 -x981 -x982 1799.99/1800.71 v -x983 -x984 -x985 -x986 -x989 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1005 -x1006 -x1007 -x1008 -x1009 1799.99/1800.71 v -x1010 -x1011 -x1012 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1022 -x1023 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 1799.99/1800.71 v -x1031 -x1032 -x1033 -x1034 -x1036 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1047 -x1048 -x1049 -x1050 -x1051 1799.99/1800.71 v -x1052 -x1053 -x1054 -x1056 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1069 -x1070 -x1071 1799.99/1800.71 v -x1072 -x1075 -x1076 -x1077 -x1078 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1091 -x1092 -x1093 -x1094 1799.99/1800.71 v -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1102 -x1103 -x1104 x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1115 1799.99/1800.71 v -x1116 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 1799.99/1800.71 v -x1135 -x1137 -x1138 -x1139 x1140 -x1141 -x1142 -x1144 -x1145 -x1146 -x1148 x1149 -x1150 -x1151 -x1152 -x1153 -x1156 -x1159 1799.99/1800.71 v -x1160 -x1161 -x1162 -x1164 -x1165 -x1166 -x1167 x1168 -x1170 x1171 -x1173 -x1174 -x1175 x1176 -x1177 -x1178 -x1179 -x1181 1799.99/1800.71 v -x1182 -x1183 -x1185 -x1187 -x1188 -x1189 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1203 -x1204 -x1205 1799.99/1800.71 v -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1214 -x1215 -x1216 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1226 1799.99/1800.71 v -x1227 -x1228 -x1231 -x1233 -x1234 -x1235 -x1237 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1248 -x1249 -x1250 1799.99/1800.71 v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1260 -x1262 -x1263 -x1264 -x1267 -x1268 -x1270 -x1271 -x1272 -x1273 1799.99/1800.71 v -x1274 x1275 -x1277 -x1278 -x1279 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 x1289 -x1290 -x1293 -x1294 -x1295 1799.99/1800.71 v -x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1303 -x1305 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1314 -x1315 -x1316 1799.99/1800.71 v -x1317 x1318 -x1319 x1321 -x1322 -x1323 -x1325 x1326 -x1327 -x1328 -x1329 -x1330 -x1331 x1333 -x1337 -x1338 -x1339 -x1340 1799.99/1800.71 v -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1348 -x1349 -x1350 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1359 -x1360 1799.99/1800.71 v -x1361 -x1362 -x1363 -x1364 -x1365 -x1367 -x1368 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 x1379 x1382 -x1383 1799.99/1800.71 v x1384 -x1385 x1386 -x1387 -x1388 -x1389 -x1390 -x1392 -x1393 -x1394 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1403 -x1404 1799.99/1800.71 v -x1405 -x1406 x1408 x1410 -x1411 x1412 -x1414 x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1426 -x1427 1799.99/1800.71 v -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 x1436 -x1437 -x1438 -x1439 -x1441 -x1442 -x1443 -x1444 x1445 -x1448 -x1449 1799.99/1800.71 v -x1450 -x1451 -x1454 -x1456 -x1457 -x1459 -x1460 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 x1468 x1471 -x1472 -x1473 -x1474 1799.99/1800.71 v x1475 -x1476 -x1477 -x1478 -x1479 -x1481 -x1483 -x1485 -x1486 -x1487 -x1488 -x1490 -x1492 -x1493 -x1494 -x1495 -x1497 1799.99/1800.71 v -x1498 -x1500 -x1501 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1514 -x1516 -x1517 -x1518 1799.99/1800.71 v -x1519 -x1520 -x1521 -x1522 -x1523 -x1525 -x1528 -x1530 -x1531 -x1532 -x1533 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 1799.99/1800.71 v -x1542 -x1544 -x1545 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1556 -x1560 -x1561 -x1562 -x1563 -x1565 1799.99/1800.71 v -x1566 -x1567 -x1568 -x1570 -x1571 -x1572 -x1573 -x1575 -x1576 -x1577 -x1578 -x1579 -x1581 -x1582 -x1583 -x1584 -x1585 1799.99/1800.71 v -x1586 -x1587 -x1588 -x1589 -x1590 -x1592 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1603 -x1604 -x1605 1799.99/1800.71 v -x1606 -x1607 -x1608 -x1609 -x1611 -x1612 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1625 1799.99/1800.71 v -x1626 -x1627 -x1628 -x1629 -x1631 -x1632 -x1633 -x1634 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 1799.99/1800.71 v -x1645 -x1647 -x1648 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 1799.99/1800.71 v -x1665 -x1667 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1681 -x1682 -x1683 -x1684 -x1685 1799.99/1800.71 v -x1686 -x1688 -x1689 -x1690 -x1692 -x1693 -x1694 -x1695 -x1696 -x1698 -x1699 -x1700 x1701 x1703 -x1704 x1705 -x1707 -x1708 1799.99/1800.71 v -x1709 x1710 x1711 -x1712 -x1714 -x1715 -x1716 -x1718 -x1719 -x1720 -x1721 -x1722 x1723 -x1725 -x1726 -x1727 -x1728 -x1729 1799.99/1800.71 v -x1730 -x1731 -x1732 -x1733 -x1734 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x2424 x2535 -x1744 x91 -x102 1799.99/1800.71 v -x125 -x1754 x301 -x1854 -x1855 -x1856 -x1858 -x1859 -x388 -x392 -x1860 x411 x1861 -x428 -x430 -x433 -x434 -x436 -x1862 1799.99/1800.71 v -x448 -x451 -x1863 x471 x1864 -x202 -x1755 -x490 -x1865 -x507 -x509 -x1866 x529 -x1867 -x549 -x1869 x570 x1870 x584 x1871 1799.99/1800.71 v -x604 -x1872 x623 x1873 -x643 -x1874 -x658 -x1875 x280 -x1756 x678 -x1876 x693 -x694 -x1877 -x701 -x703 -x705 -x706 -x711 1799.99/1800.71 v -x1878 x719 -x720 -x1880 -x732 x737 -x738 -x1881 -x751 -x753 -x754 -x759 -x760 -x1882 -x767 -x770 -x772 -x776 -x777 -x1883 1799.99/1800.71 v -x787 -x788 -x1884 x797 -x799 x800 -x1885 x814 -x815 -x1886 -x336 -x1758 -x831 x832 -x1887 -x845 -x848 -x849 x854 -x1888 1799.99/1800.71 v -x862 -x866 -x1889 -x881 x882 -x1892 -x892 -x894 -x895 -x1893 x908 -x909 -x1894 -x926 -x927 -x1895 -x940 x942 -x943 -x1896 1799.99/1800.71 v -x961 -x1897 x975 -x976 -x1898 -x424 -x1759 x987 -x988 -x1899 -x1003 -x1004 -x1900 -x1020 x1021 x1901 x1037 -x1038 -x1903 1799.99/1800.71 v -x1055 -x1904 x1073 -x1074 -x1905 x1088 -x1089 -x1906 -x1907 -x1908 -x1117 -x1909 -x513 x524 x1760 -x1910 x1143 x1911 -x1154 1799.99/1800.71 v -x1155 -x1157 -x1163 -x1912 x1172 x1914 -x1184 -x1186 -x1190 -x1192 -x1915 -x1201 -x1916 -x1217 -x1917 -x1229 -x1230 -x1232 1799.99/1800.71 v -x1238 -x1918 -x1246 -x1919 -x1259 -x1261 -x1265 -x1266 -x1920 -x569 -x580 -x602 -x613 -x635 -x1761 -x1276 -x1921 x1292 1799.99/1800.71 v x1922 -x1304 -x1306 -x1923 x1320 x1925 -x1332 -x1334 -x1926 -x1351 -x1927 -x1366 -x1928 -x1378 x1381 x1929 -x1395 -x1930 1799.99/1800.71 v -x1407 x1409 x1931 x713 -x724 -x746 x1762 -x1425 -x1932 x1440 x1933 -x1452 -x1453 -x1455 -x1461 -x1934 x1470 x1936 -x1482 1799.99/1800.71 v -x1484 -x1489 -x1937 -x1496 -x1499 -x1938 -x1515 -x1939 -x1526 -x1527 -x1529 -x1534 -x1940 -x1543 -x1941 -x1555 -x1559 1799.99/1800.71 v -x1564 -x1942 x879 -x891 -x913 -x1763 -x1574 -x1943 -x1593 -x1944 -x1610 -x1945 -x1630 -x1947 x1649 -x1948 x1666 x1949 1799.99/1800.71 v -x1687 -x1950 x1697 x1951 x1706 x1952 -x1717 -x1953 -x1013 x1024 x1046 -x1764 -x224 -x335 -x557 -x668 -x890 -x1745 -x1668 1799.99/1800.71 v x1779 -x1958 -x1747 -x2092 x2103 -x2125 x1748 -x2225 -x2236 -x2258 -x1749 -x2347 x2358 -x1750 -x2413 -x2436 x2447 x1751 1799.99/1800.71 v -x2547 x2558 -x2580 -x1752 -x2713 -x2724 -x2746 -x1753 x1136 -x1147 -x1765 -x1202 -x1225 x1236 x1766 x1336 -x1347 -x1369 1799.99/1800.71 v x1767 x1502 -x1513 -x1535 -x1769 -x1635 -x1646 -x1669 -x1770 -x1824 -x1772 -x1879 -x1773 -x1961 -x1966 -x1967 -x1775 x1983 1799.99/1800.71 v -x1984 x1776 -x1994 -x1995 -x1777 x2008 -x2009 -x1778 -x2019 -x2021 -x2022 -x2028 -x1781 -x2032 -x2037 -x2042 -x1782 -x2052 1799.99/1800.71 v x2053 x1783 x2067 -x2068 -x1784 -x2078 -x2079 -x1785 x2094 -x2095 -x1786 x2107 -x2108 -x1787 -x2122 -x1788 -x1789 -x1790 1799.99/1800.71 v x2153 -x1792 -x2161 -x1793 -x2177 x2178 x1794 -x2188 -x2189 -x1795 x2208 -x2209 -x1796 -x2223 x2226 -x2227 -x1797 -x2241 1799.99/1800.71 v -x1798 -x2255 x2256 -x1799 -x2266 -x2267 -x1800 -x2285 x2286 -x1801 x2303 -x2304 -x1803 -x2319 -x1804 -x1805 -x1806 x2350 1799.99/1800.71 v -x1807 -x1808 -x2368 x2374 -x2375 -x1809 -x2385 -x2386 -x1810 -x1746 -x1771 x2404 -x2405 -x1811 -x2419 -x2421 -x2422 -x1812 1799.99/1800.71 v -x2438 -x1814 x2452 -x2453 -x1815 -x2463 -x2464 -x1816 x2482 -x2483 -x1817 -x2499 x2500 -x1818 -x2515 -x1819 -x2529 x2530 1799.99/1800.71 v x1820 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 x2544 -x2545 -x2546 -x2548 -x2549 -x1821 -x2557 x2559 x1822 -x2565 -x2566 1799.99/1800.71 v -x2567 -x2570 -x2571 x2572 -x2574 -x2575 -x2576 -x1823 -x2585 x2586 x1825 -x2594 -x2595 -x2597 -x2599 -x2600 x2601 -x2604 1799.99/1800.71 v -x2605 -x2606 -x1826 -x2609 -x2611 -x2612 -x2618 -x1827 x2626 x1828 -x2640 x2641 x1829 -x2649 -x2650 -x2651 -x2653 -x2654 1799.99/1800.71 v x2655 -x2657 -x2659 -x2660 -x1830 -x2668 -x2670 -x1831 -x2677 -x2678 -x2681 -x2682 x2683 -x2685 -x2686 -x2687 -x1832 -x2696 1799.99/1800.71 v x2697 x1833 -x2706 -x2710 -x2711 -x2717 -x1834 -x2720 -x2722 -x2723 -x1836 -x2737 -x1837 x2755 -x2756 x1838 -x10 -x11 -x13 1799.99/1800.71 v -x15 -x20 -x1839 -x33 x34 x1840 -x52 -x54 -x55 -x1841 -x78 x79 x1842 x101 -x103 -x1843 -x1955 -x1774 x119 -x120 -x1844 -x142 1799.99/1800.71 v -x1845 -x161 x162 x1847 -x170 -x171 -x173 -x174 -x179 -x1848 -x193 x194 x1849 -x211 x214 -x215 -x1850 x239 -x240 -x1851 x262 1799.99/1800.71 v -x263 -x1852 x278 -x279 -x1853 1799.99/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.99/1800.71 c 52 159207 14956 216165 20586 8161173 19861 88 1800.01 1799.99/1800.71 c Objective: 5289 1799.99/1800.71 s SATISFIABLE 1799.99/1800.71 c Total time: 1800.01 s
OK 5289
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node76/watcher-351980-1176619156 -o ROOT/results/node76/solver-351980-1176619156 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351980-1176619156/instance-351980-1176619156.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.96 1.01 1.06 3/69 26833 /proc/meminfo: memFree=1976632/2055888 swapFree=4078196/4096564 [pid=26833] ppid=26831 vsize=11852 CPUtime=0 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 109830190 12136448 333 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 2963 334 279 324 0 2003 0 [startup+0.0897919 s] /proc/loadavg: 0.96 1.01 1.06 3/69 26833 /proc/meminfo: memFree=1976632/2055888 swapFree=4078196/4096564 [pid=26833] ppid=26831 vsize=5516 CPUtime=0.08 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 889 0 0 0 8 0 0 0 18 0 1 0 109830190 5648384 756 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134709264 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 1379 760 342 324 0 447 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5516 [startup+0.101794 s] /proc/loadavg: 0.96 1.01 1.06 3/69 26833 /proc/meminfo: memFree=1976632/2055888 swapFree=4078196/4096564 [pid=26833] ppid=26831 vsize=6944 CPUtime=0.09 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 1091 0 0 0 9 0 0 0 18 0 1 0 109830190 7110656 958 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135315838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 1736 958 386 324 0 804 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6944 [startup+0.301832 s] /proc/loadavg: 0.96 1.01 1.06 3/69 26833 /proc/meminfo: memFree=1976632/2055888 swapFree=4078196/4096564 [pid=26833] ppid=26831 vsize=5528 CPUtime=0.29 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 5989 0 0 0 28 1 0 0 19 0 1 0 109830190 5660672 848 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 1382 848 391 324 0 450 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5528 [startup+0.70191 s] /proc/loadavg: 0.96 1.01 1.06 3/69 26833 /proc/meminfo: memFree=1976632/2055888 swapFree=4078196/4096564 [pid=26833] ppid=26831 vsize=7152 CPUtime=0.69 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 16320 0 0 0 64 5 0 0 23 0 1 0 109830190 7323648 996 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135227898 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 1788 996 392 324 0 856 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7152 [startup+1.50106 s] /proc/loadavg: 0.96 1.01 1.06 2/70 26834 /proc/meminfo: memFree=1974320/2055888 swapFree=4078196/4096564 [pid=26833] ppid=26831 vsize=5528 CPUtime=1.49 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 37463 0 0 0 138 11 0 0 25 0 1 0 109830190 5660672 849 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 1382 849 392 324 0 450 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5528 [startup+3.10138 s] /proc/loadavg: 0.96 1.01 1.06 2/70 26834 /proc/meminfo: memFree=1972720/2055888 swapFree=4078196/4096564 [pid=26833] ppid=26831 vsize=7696 CPUtime=3.08 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 40969 0 0 0 296 12 0 0 25 0 1 0 109830190 7880704 1369 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134707350 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 1924 1369 392 324 0 992 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 7696 [startup+6.302 s] /proc/loadavg: 0.97 1.01 1.06 2/70 26834 /proc/meminfo: memFree=1972080/2055888 swapFree=4078196/4096564 [pid=26833] ppid=26831 vsize=9276 CPUtime=6.29 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 54869 0 0 0 612 17 0 0 25 0 1 0 109830190 9498624 1778 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 2319 1778 392 324 0 1387 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9276 [startup+12.7012 s] /proc/loadavg: 0.97 1.01 1.06 2/70 26834 /proc/meminfo: memFree=1969080/2055888 swapFree=4078196/4096564 [pid=26833] ppid=26831 vsize=10796 CPUtime=12.68 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 86588 0 0 0 1241 27 0 0 25 0 1 0 109830190 11055104 2166 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 2699 2166 392 324 0 1767 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 10796 [startup+25.5017 s] /proc/loadavg: 0.97 1.00 1.06 2/70 26834 /proc/meminfo: memFree=1961848/2055888 swapFree=4078196/4096564 [pid=26833] ppid=26831 vsize=18404 CPUtime=25.48 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 180144 0 0 0 2488 60 0 0 25 0 1 0 109830190 18845696 4008 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134707281 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 4601 4008 392 324 0 3669 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18404 [startup+51.1017 s] /proc/loadavg: 0.98 1.00 1.06 2/70 26834 /proc/meminfo: memFree=1944120/2055888 swapFree=4078196/4096564 [pid=26833] ppid=26831 vsize=36796 CPUtime=51.08 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 332672 0 0 0 4995 113 0 0 25 0 1 0 109830190 37679104 8577 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134688683 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 9199 8577 392 324 0 8267 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 36796 [startup+102.306 s] /proc/loadavg: 0.99 1.00 1.05 2/70 26834 /proc/meminfo: memFree=1903608/2055888 swapFree=4078196/4096564 [pid=26833] ppid=26831 vsize=77120 CPUtime=102.25 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 717695 0 0 0 9975 250 0 0 25 0 1 0 109830190 78970880 18686 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 19280 18686 392 324 0 18348 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 77120 [startup+162.301 s] /proc/loadavg: 0.99 1.00 1.04 2/70 26834 /proc/meminfo: memFree=1857400/2055888 swapFree=4078196/4096564 [pid=26833] ppid=26831 vsize=123060 CPUtime=162.23 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 1136933 0 0 0 15823 400 0 0 25 0 1 0 109830190 126013440 30232 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 30765 30232 392 324 0 29833 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 123060 [startup+222.302 s] /proc/loadavg: 0.99 1.00 1.04 2/70 26834 /proc/meminfo: memFree=1819704/2055888 swapFree=4078196/4096564 [pid=26833] ppid=26831 vsize=159924 CPUtime=222.21 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 1431432 0 0 0 21712 509 0 0 25 0 1 0 109830190 163762176 39443 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135188311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 39981 39443 392 324 0 39049 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 159924 [startup+282.301 s] /proc/loadavg: 0.99 1.00 1.03 2/70 26834 /proc/meminfo: memFree=1819768/2055888 swapFree=4078196/4096564 [pid=26833] ppid=26831 vsize=159924 CPUtime=282.19 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 1431432 0 0 0 27708 511 0 0 25 0 1 0 109830190 163762176 39443 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134709668 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 39981 39443 392 324 0 39049 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 159924 [startup+342.301 s] /proc/loadavg: 0.99 1.00 1.03 2/70 26834 /proc/meminfo: memFree=1794360/2055888 swapFree=4078196/4096564 [pid=26833] ppid=26831 vsize=185164 CPUtime=342.17 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 1601646 0 0 0 33643 574 0 0 25 0 1 0 109830190 189607936 45758 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134547856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 46291 45758 392 324 0 45359 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 185164 [startup+402.302 s] /proc/loadavg: 0.99 1.00 1.02 2/70 26834 /proc/meminfo: memFree=1736760/2055888 swapFree=4078196/4096564 [pid=26833] ppid=26831 vsize=242548 CPUtime=402.15 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 1973782 0 0 0 39503 712 0 0 25 0 1 0 109830190 248369152 60104 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134578141 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 60637 60104 392 324 0 59705 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 242548 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.02 2/70 26834 /proc/meminfo: memFree=1736760/2055888 swapFree=4078196/4096564 [pid=26833] ppid=26831 vsize=242548 CPUtime=462.13 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 1973782 0 0 0 45498 715 0 0 25 0 1 0 109830190 248369152 60104 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5253196 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 60637 60104 392 324 0 59705 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 242548 [startup+522.302 s] /proc/loadavg: 0.99 1.00 1.01 2/70 26834 /proc/meminfo: memFree=1736824/2055888 swapFree=4078196/4096564 [pid=26833] ppid=26831 vsize=242548 CPUtime=522.11 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 1973782 0 0 0 51494 717 0 0 25 0 1 0 109830190 248369152 60104 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135447812 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 60637 60104 392 324 0 59705 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 242548 [startup+582.302 s] /proc/loadavg: 0.99 1.00 1.00 2/70 26834 /proc/meminfo: memFree=1736824/2055888 swapFree=4078196/4096564 [pid=26833] ppid=26831 vsize=242548 CPUtime=582.09 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 1973782 0 0 0 57490 719 0 0 25 0 1 0 109830190 248369152 60104 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 60637 60104 392 324 0 59705 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 242548 [startup+642.301 s] /proc/loadavg: 0.99 1.00 1.00 2/70 26834 /proc/meminfo: memFree=1703096/2055888 swapFree=4078196/4096564 [pid=26833] ppid=26831 vsize=277328 CPUtime=642.07 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 2320616 0 0 0 63353 854 0 0 25 0 1 0 109830190 283983872 68555 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135316278 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 69332 68555 392 324 0 68400 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 277328 ################ # More data... # ################ /proc/meminfo: memFree=1688568/2055888 swapFree=4078196/4096564 [pid=26833] ppid=26831 vsize=290688 CPUtime=1061.92 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 2424685 0 0 0 105287 905 0 0 25 0 1 0 109830190 297664512 72086 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 72672 72086 392 324 0 71740 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 290688 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/70 26834 /proc/meminfo: memFree=1688568/2055888 swapFree=4078196/4096564 [pid=26833] ppid=26831 vsize=290688 CPUtime=1121.9 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 2424685 0 0 0 111282 908 0 0 25 0 1 0 109830190 297664512 72086 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5253201 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 72672 72086 392 324 0 71740 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 290688 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/70 26834 /proc/meminfo: memFree=1688568/2055888 swapFree=4078196/4096564 [pid=26833] ppid=26831 vsize=290688 CPUtime=1181.88 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 2424685 0 0 0 117278 910 0 0 25 0 1 0 109830190 297664512 72086 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135267163 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 72672 72086 392 324 0 71740 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 290688 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/70 26834 /proc/meminfo: memFree=1688632/2055888 swapFree=4078196/4096564 [pid=26833] ppid=26831 vsize=290688 CPUtime=1241.86 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 2424685 0 0 0 123273 913 0 0 25 0 1 0 109830190 297664512 72086 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135265350 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 72672 72086 392 324 0 71740 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 290688 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/70 26834 /proc/meminfo: memFree=1688632/2055888 swapFree=4078196/4096564 [pid=26833] ppid=26831 vsize=290688 CPUtime=1301.84 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 2424685 0 0 0 129270 914 0 0 25 0 1 0 109830190 297664512 72086 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 72672 72086 392 324 0 71740 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 290688 [startup+1362.3 s] /proc/loadavg: 1.03 1.01 1.00 2/76 27012 /proc/meminfo: memFree=1661616/2055888 swapFree=4078196/4096564 [pid=26833] ppid=26831 vsize=315448 CPUtime=1361.74 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 2501576 0 0 0 135228 946 0 0 25 0 1 0 109830190 323018752 78307 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 78862 78307 392 324 0 77930 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 315448 [startup+1422.31 s] /proc/loadavg: 1.01 1.01 1.00 2/70 27032 /proc/meminfo: memFree=1648312/2055888 swapFree=4078204/4096564 [pid=26833] ppid=26831 vsize=329228 CPUtime=1421.72 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 2540649 0 0 0 141207 965 0 0 25 0 1 0 109830190 337129472 81774 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135447814 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 82307 81774 392 324 0 81375 0 Current children cumulated CPU time (s) 1421.72 Current children cumulated vsize (KiB) 329228 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 27032 /proc/meminfo: memFree=1648312/2055888 swapFree=4078204/4096564 [pid=26833] ppid=26831 vsize=329228 CPUtime=1481.7 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 2540649 0 0 0 147203 967 0 0 25 0 1 0 109830190 337129472 81774 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134824247 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 82307 81774 392 324 0 81375 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 329228 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 27032 /proc/meminfo: memFree=1648312/2055888 swapFree=4078204/4096564 [pid=26833] ppid=26831 vsize=329228 CPUtime=1541.68 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 2540649 0 0 0 153199 969 0 0 25 0 1 0 109830190 337129472 81774 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134824047 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 82307 81774 392 324 0 81375 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 329228 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 27032 /proc/meminfo: memFree=1648248/2055888 swapFree=4078204/4096564 [pid=26833] ppid=26831 vsize=329228 CPUtime=1601.66 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 2540649 0 0 0 159195 971 0 0 25 0 1 0 109830190 337129472 81774 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134706814 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 82307 81774 392 324 0 81375 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 329228 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 27032 /proc/meminfo: memFree=1648248/2055888 swapFree=4078204/4096564 [pid=26833] ppid=26831 vsize=329228 CPUtime=1661.63 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 2540649 0 0 0 165191 972 0 0 25 0 1 0 109830190 337129472 81774 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135447851 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 82307 81774 392 324 0 81375 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 329228 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 27032 /proc/meminfo: memFree=1611512/2055888 swapFree=4078204/4096564 [pid=26833] ppid=26831 vsize=367352 CPUtime=1721.61 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 2699168 0 0 0 171120 1041 0 0 25 0 1 0 109830190 376168448 91236 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134707215 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 91838 91239 392 324 0 90906 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 367352 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 27032 /proc/meminfo: memFree=1603256/2055888 swapFree=4078204/4096564 [pid=26833] ppid=26831 vsize=373996 CPUtime=1781.6 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 2721619 0 0 0 177108 1052 0 0 25 0 1 0 109830190 382971904 92966 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 93499 92966 392 324 0 92567 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (KiB) 373996 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/70 27032 /proc/meminfo: memFree=1603256/2055888 swapFree=4078204/4096564 [pid=26833] ppid=26831 vsize=373996 CPUtime=1791.2 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 2721619 0 0 0 178068 1052 0 0 25 0 1 0 109830190 382971904 92966 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135188341 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 93499 92966 392 324 0 92567 0 Current children cumulated CPU time (s) 1791.2 Current children cumulated vsize (KiB) 373996 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/70 27032 /proc/meminfo: memFree=1603256/2055888 swapFree=4078204/4096564 [pid=26833] ppid=26831 vsize=373996 CPUtime=1794.39 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 2721619 0 0 0 178387 1052 0 0 25 0 1 0 109830190 382971904 92966 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134765899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 93499 92966 392 324 0 92567 0 Current children cumulated CPU time (s) 1794.39 Current children cumulated vsize (KiB) 373996 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 27032 /proc/meminfo: memFree=1603256/2055888 swapFree=4078204/4096564 [pid=26833] ppid=26831 vsize=373996 CPUtime=1797.59 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 2721619 0 0 0 178707 1052 0 0 25 0 1 0 109830190 382971904 92966 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134824247 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 93499 92966 392 324 0 92567 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (KiB) 373996 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/70 27032 /proc/meminfo: memFree=1603256/2055888 swapFree=4078204/4096564 [pid=26833] ppid=26831 vsize=373996 CPUtime=1799.19 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 2721619 0 0 0 178867 1052 0 0 25 0 1 0 109830190 382971904 92966 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134823988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 93499 92966 392 324 0 92567 0 Current children cumulated CPU time (s) 1799.19 Current children cumulated vsize (KiB) 373996 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 27032 /proc/meminfo: memFree=1603256/2055888 swapFree=4078204/4096564 [pid=26833] ppid=26831 vsize=373996 CPUtime=1799.59 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 2721619 0 0 0 178907 1052 0 0 25 0 1 0 109830190 382971904 92966 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134688634 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 93499 92966 392 324 0 92567 0 Current children cumulated CPU time (s) 1799.59 Current children cumulated vsize (KiB) 373996 [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/70 27032 /proc/meminfo: memFree=1603256/2055888 swapFree=4078204/4096564 [pid=26833] ppid=26831 vsize=373996 CPUtime=1799.99 /proc/26833/stat : 26833 (bsolo3.0.16) R 26831 26833 31307 0 -1 4194304 2721619 0 0 0 178947 1052 0 0 25 0 1 0 109830190 382971904 92966 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134706789 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26833/statm: 93499 92966 392 324 0 92567 0 Current children cumulated CPU time (s) 1799.99 Current children cumulated vsize (KiB) 373996 Child status: 0 Real time (s): 1800.78 CPU time (s): 1800.07 CPU user time (s): 1789.49 CPU system time (s): 10.5854 CPU usage (%): 99.9609 Max. virtual memory (cumulated for all children) (KiB): 374292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.49 system time used= 10.5854 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2721620 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= 2701 runsolver used 1.41978 second user time and 3.55546 second system time The end
Begin job on node76 on Sun Apr 15 06:39:16 UTC 2007 IDJOB= 351980 IDBENCH= 1871 IDSOLVER= 163 FILE ID= node76/351980-1176619156 PBS_JOBID= 4557028 Free space on /tmp= 66647 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351980-1176619156/instance-351980-1176619156.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-351980-1176619156 -o ROOT/results/node76/solver-351980-1176619156 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351980-1176619156/instance-351980-1176619156.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 54b9b4de78a7992fd69d0caeed32daef RANDOM SEED= 682658910 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node76.alineos.net 2.6.9-34.ELsmp #1 SMP Thu Mar 9 06:23:23 GMT 2006 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.277 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 : 6006.17 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.277 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 : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1977040 kB Buffers: 2932 kB Cached: 27848 kB SwapCached: 6960 kB Active: 26020 kB Inactive: 13268 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1977040 kB SwapTotal: 4096564 kB SwapFree: 4078196 kB Dirty: 4560 kB Writeback: 0 kB Mapped: 10756 kB Slab: 25928 kB Committed_AS: 3253944 kB PageTables: 1440 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66647 MiB End job on node76 on Sun Apr 15 07:09:17 UTC 2007