Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 5407 | 1800.15 | 1800.67 |
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.01 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/432837-1177950531/instance-432837-1177950531.opb 0.00/0.01 c File size is 111983 bytes. 0.00/0.03 c Highest Coefficient sum: 321831 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.021 s 0.00/0.03 c Var: 2756 Constr: 749 132/220/397 Lit: 8802 Watch. Lit: 4833 0.00/0.03 c Obj. Vars: 2166 (78.5922 % of total variables) 0.00/0.06 c Formula reductions applied at preprocessing 0.00/0.06 c Pre-processing Time: 0.053 s 0.07/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.07/0.12 c 0 2630 725 8536 11 6089 15707 0 0 0.05 0.07/0.12 c Initial Lower Bound: 2702 0.07/0.12 c Initial Path Cost: 0 0.07/0.12 o 6439 0.113 19.57/19.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 19.57/19.65 c 11 2630 737 16163 21 7853 19869 12 96 0.11 19.57/19.65 c 111 2630 920 103141 112 8270 21856 195 22 4.87 19.57/19.65 c 361 2630 1412 361580 256 9259 24042 687 34 10.33 19.57/19.65 c 836 2630 2237 636690 284 10887 26447 1512 47 17.67 19.57/19.65 o 6352 19.638 * 29.37/29.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.37/29.47 c 841 2630 2246 641638 285 13056 19869 1521 42 19.64 29.37/29.47 c 945 2630 2427 729347 300 13406 21856 1702 41 22.61 29.37/29.47 c 1195 2630 2811 881159 313 14186 24042 2086 43 27.45 29.37/29.47 o 6342 29.451 * 48.96/49.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 48.96/49.04 c 1204 2630 2828 889898 314 16299 19869 2103 40 29.45 48.96/49.04 c 1309 2630 3029 980561 323 16687 21856 2304 40 32.22 48.96/49.04 c 1564 2630 3479 1179388 339 17580 24042 2754 40 38.78 48.96/49.04 c 2040 2630 4245 1550166 365 19111 26447 3520 43 47.24 48.96/49.04 o 6335 49.004 * 68.85/68.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 68.85/68.94 c 2044 2630 4251 1553416 365 21265 19869 3526 41 49.01 68.85/68.94 c 2144 2630 4406 1631508 370 21541 21856 3681 41 51.84 68.85/68.94 c 2394 2630 4888 1833556 375 22491 24042 4163 42 56.92 68.85/68.94 c 2869 2630 5751 2211778 384 24177 26447 5026 43 66.67 68.85/68.94 o 6102 68.904 * 70.95/71.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 70.95/71.10 c 2878 2630 5765 2217187 384 26341 19869 5040 41 68.91 70.95/71.10 o 5762 71.059 * 77.05/77.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 77.05/77.13 c 2883 2630 5775 2222836 384 28437 19869 5050 40 71.06 77.05/77.13 c 2983 2630 5973 2321061 388 28827 21856 5248 40 73.91 77.05/77.13 o 5759 77.095 * 95.44/95.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 95.44/95.55 c 3063 2630 6126 2387589 389 31214 19869 5401 39 77.10 95.44/95.55 c 3163 2630 6265 2431670 388 31463 21856 5540 39 80.42 95.44/95.55 c 3414 2630 6730 2640319 392 32395 24042 6005 39 86.50 95.44/95.55 c 3889 2630 7237 2735778 378 33425 26447 6512 41 93.51 95.44/95.55 o 5719 95.507 * 107.24/107.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 107.24/107.37 c 3891 2630 7241 2738632 378 35514 19869 6516 40 95.51 107.24/107.37 c 3992 2630 7394 2812899 380 35808 21856 6669 40 98.12 107.24/107.37 c 4242 2630 7826 2973575 379 36709 24042 7101 40 105.63 107.24/107.37 o 5640 107.32 * 284.99/285.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 284.99/285.11 c 4242 2630 7827 2975656 380 38784 19869 7102 39 107.32 284.99/285.11 c 4344 2630 8012 3052050 380 39168 21856 7287 39 110.37 284.99/285.11 c 4596 2630 8451 3226801 381 39988 24042 7726 39 115.47 284.99/285.11 c 5073 2630 9403 3586503 381 41889 26447 8678 40 123.87 284.99/285.11 c 5886 2630 10983 4260566 387 45060 29092 10258 42 139.45 284.99/285.11 c 7207 2630 12307 4354031 353 47689 32002 11582 42 168.99 284.99/285.11 c 9289 2630 16324 5960680 365 55758 35203 15599 45 201.96 284.99/285.11 c 12513 2630 21915 8200851 374 66926 38724 21190 44 282.79 284.99/285.11 o 5580 285.015 * 354.77/354.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 354.77/354.97 c 12521 2630 21928 8206219 374 69009 19869 21203 43 285.02 354.77/354.97 c 12623 2630 10839 3405256 314 28116 21856 10114 43 289.64 354.77/354.97 c 12874 2630 11090 3422373 308 28591 24042 10365 43 295.47 354.77/354.97 c 13349 2630 11759 3679323 312 30021 26447 11034 44 303.38 354.77/354.97 c 14162 2630 13362 4407875 329 33197 29092 12637 44 320.44 354.77/354.97 c 15482 2630 15741 5390753 342 37955 32002 15016 43 353.00 354.77/354.97 o 5412 354.852 * 564.02/564.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 564.02/564.26 c 15485 2630 15747 5394293 342 40081 19869 15022 43 354.85 564.02/564.26 c 15586 2630 15936 5486792 344 40426 21856 15211 43 357.79 564.02/564.26 c 15838 2630 16423 5723329 348 41354 24042 15698 43 363.55 564.02/564.26 c 16314 2630 17242 6013000 348 43024 26447 16517 43 371.80 564.02/564.26 c 17128 2630 18847 6813823 361 46237 29092 18122 44 387.71 564.02/564.26 c 18448 2630 21050 7627645 362 50617 32002 20325 45 408.59 564.02/564.26 c 20529 2630 23987 8758434 365 56523 35203 23262 47 435.57 564.02/564.26 c 23754 2630 29542 11300406 382 67633 38724 28817 49 481.60 564.02/564.26 c 28691 2630 37584 14440349 384 83705 42597 36859 51 560.99 564.02/564.26 o 5411 564.082 * 657.99/658.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 657.99/658.22 c 28779 2630 37758 14524724 384 86269 19869 37033 51 564.08 657.99/658.22 c 28879 2630 10833 4014352 370 28210 21856 10108 50 569.22 657.99/658.22 c 29132 2630 11326 4215364 372 29173 24042 10601 50 575.42 657.99/658.22 c 29608 2630 12191 4551157 373 30919 26447 11466 50 588.58 657.99/658.22 c 30441 2630 13855 5175701 373 34226 29092 13130 50 602.25 657.99/658.22 c 31761 2630 16088 6017899 374 38624 32002 15363 50 632.88 657.99/658.22 o 5407 658.02 * 1800.08/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.08/1800.60 c 33176 2630 18839 7246682 384 46297 19869 18114 50 658.02 1800.08/1800.60 c 33277 2630 19030 7321625 384 46621 21856 18305 50 661.40 1800.08/1800.60 c 33527 2630 19524 7558994 387 47590 24042 18799 50 666.94 1800.08/1800.60 c 34003 2630 20470 7950655 388 49498 26447 19745 50 676.15 1800.08/1800.60 c 34817 2630 21993 8574084 389 52531 29092 21268 50 691.47 1800.08/1800.60 c 36137 2630 23887 9210420 385 56323 32002 23162 50 714.48 1800.08/1800.60 c 38250 2630 28050 10838621 386 64665 35203 27325 51 747.16 1800.08/1800.60 c 41474 2630 34466 13709277 397 77491 38724 33741 52 796.78 1800.08/1800.60 c 46411 2630 15083 5386289 357 36624 42597 14358 51 898.71 1800.08/1800.60 c 53918 2630 29769 13280393 446 65980 46857 29044 50 1077.33 1800.08/1800.60 c 65280 2630 15687 6555498 417 37832 51543 14962 49 1317.55 1800.08/1800.60 c 82428 2630 49719 25136109 505 105930 56698 48994 46 1783.69 1800.08/1800.60 c Caught signal: 15 1800.08/1800.60 v -x1 -x1112 -x1980 -x2091 -x2202 -x2313 -x2646 -x2 -x113 -x446 -x779 -x1001 -x1113 -x1224 -x1335 -x1446 -x1557 -x1890 -x1969 1800.08/1800.60 v -x1981 -x1992 -x2003 -x2014 -x2025 -x2036 -x2047 -x2058 -x2069 -x2080 -x2114 -x2136 -x2147 -x2158 -x2169 -x2180 -x2191 1800.08/1800.60 v -x2203 -x2214 -x2247 -x2269 -x2280 -x2291 -x2302 -x2314 -x2325 -x2336 -x2369 -x2380 -x2391 -x2402 -x2425 -x2458 -x2469 1800.08/1800.60 v -x2480 -x2491 -x2502 -x2513 -x2524 -x2536 -x2569 -x2591 -x2602 -x2613 -x2624 -x2635 -x2647 -x2658 -x2669 -x2680 -x2691 1800.08/1800.60 v -x2702 -x2735 -x3 -x14 -x25 -x36 -x47 -x58 -x69 -x80 -x114 -x136 -x147 -x158 -x169 -x180 -x191 -x213 -x225 -x236 -x247 x258 1800.08/1800.60 v -x269 -x291 -x302 -x313 -x324 -x347 -x358 -x369 -x380 -x391 -x402 -x413 -x435 -x447 -x458 -x469 -x480 -x491 -x502 -x535 x546 1800.08/1800.60 v -x558 -x591 -x624 -x646 -x657 -x669 -x680 -x691 -x702 -x735 -x757 -x768 -x780 -x791 -x802 -x813 -x824 -x835 -x846 -x857 -x868 1800.08/1800.60 v -x902 -x924 -x935 -x946 -x957 -x968 -x979 -x990 -x1002 -x1035 -x1057 x1068 -x1079 -x1090 -x1101 -x1114 -x1125 -x1158 x1169 1800.08/1800.60 v -x1180 -x1191 x1213 -x1247 x1258 -x1269 x1280 -x1291 -x1302 -x1313 -x1324 -x1358 -x1380 -x1391 -x1402 -x1413 -x1424 -x1435 1800.08/1800.60 v -x1447 -x1458 -x1469 -x1480 -x1491 -x1524 -x1546 -x1558 -x1569 -x1580 -x1591 -x1602 -x1613 -x1624 -x1657 -x1680 -x1691 1800.08/1800.60 v -x1702 -x1713 -x1724 -x1735 -x1757 -x1768 -x1780 -x1791 -x1802 -x1813 -x1835 -x1846 -x1857 x1868 -x1891 -x1902 -x1913 1800.08/1800.60 v -x1924 -x1935 -x1946 -x1954 -x1956 -x1957 -x1959 -x1960 -x1962 -x1963 -x1964 -x1965 -x1968 -x1970 -x1971 -x1972 -x1973 1800.08/1800.60 v -x1974 -x1975 -x1976 -x1977 -x1978 x1979 -x1982 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1993 -x1996 -x1997 1800.08/1800.60 v -x1998 -x1999 -x2000 -x2001 -x2002 -x2004 -x2005 -x2006 x2007 -x2010 -x2011 -x2012 -x2013 -x2015 -x2016 -x2017 -x2018 1800.08/1800.60 v -x2020 -x2023 -x2024 -x2026 -x2027 -x2029 -x2030 -x2031 -x2033 -x2034 -x2035 -x2038 -x2039 -x2040 -x2041 -x2043 x2044 1800.08/1800.60 v -x2045 -x2046 -x2048 -x2049 -x2050 x2051 -x2054 -x2055 -x2056 -x2057 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 1800.08/1800.60 v -x2066 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 1800.08/1800.60 v -x2089 -x2090 x2093 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2104 -x2105 -x2106 -x2109 -x2110 -x2111 -x2112 1800.08/1800.60 v -x2113 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2123 -x2124 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 1800.08/1800.60 v -x2133 -x2134 -x2135 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2148 -x2149 -x2150 -x2151 1800.08/1800.60 v -x2152 -x2154 -x2155 -x2156 -x2157 -x2159 -x2160 x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2170 -x2171 x2172 -x2173 1800.08/1800.60 v -x2174 -x2175 -x2176 -x2179 -x2181 -x2182 x2183 x2184 -x2185 -x2186 -x2187 -x2190 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 1800.08/1800.60 v -x2198 -x2199 -x2200 -x2201 -x2204 -x2205 -x2206 -x2207 -x2210 -x2211 -x2212 -x2213 -x2215 -x2216 -x2217 -x2218 -x2219 1800.08/1800.60 v -x2220 -x2221 -x2222 -x2224 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2237 -x2238 -x2239 -x2240 -x2242 1800.08/1800.60 v -x2243 -x2244 -x2245 -x2246 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2257 -x2259 -x2260 -x2261 -x2262 -x2263 1800.08/1800.60 v -x2264 -x2265 -x2268 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2281 -x2282 -x2283 -x2284 1800.08/1800.60 v -x2287 -x2288 -x2289 -x2290 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2305 -x2306 -x2307 1800.08/1800.60 v -x2308 -x2309 -x2310 -x2311 -x2312 -x2315 -x2316 -x2317 -x2318 -x2320 -x2321 -x2322 -x2323 -x2324 -x2326 -x2327 -x2328 1800.08/1800.60 v -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 1800.08/1800.60 v -x2348 -x2349 x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 1800.08/1800.60 v x2367 -x2370 x2371 -x2372 -x2373 -x2376 -x2377 -x2378 -x2379 -x2381 -x2382 -x2383 -x2384 -x2387 -x2388 -x2389 -x2390 -x2392 1800.08/1800.60 v -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 x2403 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 1800.08/1800.60 v -x2414 -x2415 -x2416 -x2417 -x2418 -x2420 -x2423 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 1800.08/1800.60 v -x2437 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2448 -x2449 -x2450 -x2451 -x2454 -x2455 -x2456 -x2457 1800.08/1800.60 v -x2459 -x2460 -x2461 -x2462 -x2465 -x2466 -x2467 -x2468 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 1800.08/1800.60 v -x2479 -x2481 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2501 1800.08/1800.60 v -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2514 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 1800.08/1800.60 v -x2522 -x2523 -x2525 -x2526 -x2527 -x2528 -x2531 -x2532 -x2533 -x2534 -x2537 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 1800.08/1800.60 v -x2556 -x2560 -x2561 -x2562 -x2563 -x2564 -x2568 -x2573 -x2577 -x2578 x2579 -x2581 -x2582 -x2583 -x2584 -x2587 -x2588 1800.08/1800.60 v -x2589 -x2590 -x2592 -x2593 -x2596 -x2598 -x2603 -x2607 -x2608 -x2610 -x2614 -x2615 -x2616 -x2617 x2619 -x2620 -x2621 1800.08/1800.60 v -x2622 x2623 -x2625 -x2627 -x2628 -x2629 -x2630 x2631 -x2632 -x2633 -x2634 -x2636 -x2637 -x2638 x2639 -x2642 -x2643 -x2644 1800.08/1800.60 v -x2645 -x2648 -x2652 -x2656 x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 1800.08/1800.60 v -x2679 -x2684 x2688 -x2689 -x2690 -x2692 -x2693 -x2694 -x2695 -x2698 -x2699 -x2700 -x2701 x2703 -x2704 -x2705 -x2707 -x2708 1800.08/1800.60 v -x2709 -x2712 -x2714 -x2715 -x2716 -x2718 -x2719 -x2721 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 1800.08/1800.60 v -x2734 x2736 -x2738 -x2739 -x2740 x2741 x2742 -x2743 -x2744 -x2745 -x2747 -x2748 x2749 -x2750 -x2751 -x2752 -x2753 -x2754 1800.08/1800.60 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 1800.08/1800.60 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 1800.08/1800.60 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 1800.08/1800.60 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x115 -x116 -x117 -x118 -x121 -x122 -x123 -x124 -x126 -x127 -x128 -x129 -x130 -x131 1800.08/1800.60 v -x132 -x133 -x134 -x135 -x137 -x138 -x139 -x140 -x141 -x143 -x144 -x145 -x146 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 1800.08/1800.60 v -x156 -x157 -x159 x160 -x163 -x164 -x165 x166 -x167 -x168 -x172 -x175 -x176 -x177 -x178 -x181 -x182 -x183 -x184 -x185 -x186 1800.08/1800.60 v -x187 -x188 -x189 -x190 x192 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x212 1800.08/1800.60 v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x237 -x238 -x241 1800.08/1800.60 v -x242 -x243 -x244 -x245 -x246 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x259 -x260 -x261 -x264 -x265 -x266 1800.08/1800.60 v -x267 -x268 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x292 1800.08/1800.60 v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x314 -x315 -x316 1800.08/1800.60 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x337 -x338 -x339 -x340 1800.08/1800.60 v -x341 -x342 -x343 -x344 -x345 -x346 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x359 -x360 -x361 -x362 -x363 1800.08/1800.60 v -x364 -x365 -x366 -x367 -x368 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x381 -x382 -x383 -x384 -x385 -x386 1800.08/1800.60 v -x387 -x389 -x390 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x412 1800.08/1800.60 v -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x425 -x426 -x427 -x429 -x431 -x432 -x437 -x438 -x439 -x440 -x441 1800.08/1800.60 v -x442 -x443 -x444 -x445 -x449 -x450 -x452 -x453 -x454 -x455 -x456 -x457 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 1800.08/1800.60 v -x468 -x470 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x492 -x493 1800.08/1800.60 v -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x503 -x504 -x505 -x506 -x508 -x510 -x511 -x512 -x514 -x515 -x516 -x517 -x518 1800.08/1800.60 v -x519 -x520 -x521 -x522 -x523 -x525 -x526 -x527 -x528 -x530 -x531 -x532 -x533 -x534 -x536 -x537 -x538 -x539 -x540 -x541 -x542 1800.08/1800.60 v -x543 -x544 -x545 -x547 -x548 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.08/1800.60 v -x568 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x581 -x582 -x583 -x585 -x586 -x587 -x588 -x589 -x590 -x592 -x593 1800.08/1800.60 v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x603 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x614 -x615 -x616 -x617 1800.08/1800.60 v -x618 -x619 -x620 -x621 -x622 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x636 -x637 -x638 -x639 -x640 -x641 1800.08/1800.60 v -x642 -x644 -x645 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 1800.08/1800.60 v -x667 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x679 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x692 1800.08/1800.60 v -x695 -x696 -x697 -x698 -x699 -x700 -x704 -x707 -x708 -x709 -x710 -x712 -x714 -x715 -x716 -x717 -x718 -x721 -x722 -x723 -x725 1800.08/1800.60 v -x726 -x727 -x728 -x729 -x730 -x731 -x733 -x734 -x736 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x747 -x748 -x749 -x750 -x752 1800.08/1800.60 v -x755 -x756 -x758 -x761 -x762 -x763 -x764 -x765 -x766 -x769 -x771 -x773 -x774 -x775 -x778 -x781 -x782 -x783 -x784 -x785 -x786 1800.08/1800.60 v -x789 -x790 -x792 -x793 -x794 -x795 -x796 -x798 -x801 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x816 -x817 1800.08/1800.60 v -x818 -x819 -x820 -x821 -x822 -x823 -x825 -x826 -x827 -x828 -x829 -x830 -x833 -x834 -x836 -x837 -x838 -x839 -x840 -x841 -x842 1800.08/1800.60 v -x843 -x844 -x847 -x850 -x851 -x852 -x853 -x855 -x856 -x858 -x859 -x860 -x861 -x863 -x864 -x865 -x867 -x869 -x870 -x871 -x872 1800.08/1800.60 v -x873 -x874 -x875 -x876 -x877 -x878 -x880 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x893 -x896 -x897 -x898 -x899 -x900 -x901 1800.08/1800.60 v -x903 -x904 -x905 -x906 -x907 -x910 -x911 -x912 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x925 -x928 -x929 1800.08/1800.60 v -x930 -x931 -x932 -x933 -x934 -x936 -x937 -x938 -x939 -x941 -x944 -x945 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 1800.08/1800.60 v -x956 -x958 -x959 -x960 -x962 -x963 -x964 -x965 -x966 -x967 -x969 -x970 -x971 -x972 -x973 -x974 -x977 -x978 -x980 -x981 -x982 1800.08/1800.60 v -x983 -x984 -x985 x986 -x989 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1005 -x1006 -x1007 -x1008 -x1009 1800.08/1800.60 v -x1010 -x1011 -x1012 -x1014 -x1015 -x1016 -x1017 -x1018 x1019 -x1022 -x1023 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 1800.08/1800.60 v -x1031 -x1032 -x1033 -x1034 -x1036 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1047 -x1048 -x1049 -x1050 -x1051 1800.08/1800.60 v -x1052 -x1053 -x1054 -x1056 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1069 -x1070 -x1071 1800.08/1800.60 v -x1072 -x1075 -x1076 -x1077 -x1078 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1091 -x1092 -x1093 -x1094 1800.08/1800.60 v -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1102 -x1103 -x1104 x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1115 1800.08/1800.60 v -x1116 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 1800.08/1800.60 v -x1135 -x1137 -x1138 -x1139 x1140 -x1141 -x1142 -x1144 -x1145 -x1146 -x1148 x1149 -x1150 -x1151 -x1152 -x1153 -x1156 -x1159 1800.08/1800.60 v -x1160 -x1161 -x1162 -x1164 -x1165 -x1166 -x1167 x1168 -x1170 x1171 -x1173 -x1174 -x1175 -x1176 x1177 -x1178 -x1179 -x1181 1800.08/1800.60 v -x1182 -x1183 -x1185 -x1187 -x1188 -x1189 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1203 -x1204 -x1205 1800.08/1800.60 v -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1214 -x1215 -x1216 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1226 1800.08/1800.60 v -x1227 -x1228 -x1231 -x1233 -x1234 -x1235 -x1237 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1248 -x1249 -x1250 1800.08/1800.60 v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1260 -x1262 -x1263 -x1264 -x1267 -x1268 -x1270 -x1271 -x1272 -x1273 1800.08/1800.60 v -x1274 -x1275 -x1277 -x1278 -x1279 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 x1289 -x1290 -x1293 -x1294 1800.08/1800.60 v -x1295 -x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1303 -x1305 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1314 -x1315 1800.08/1800.60 v -x1316 -x1317 -x1318 x1319 x1321 -x1322 -x1323 -x1325 x1326 -x1327 -x1328 -x1329 -x1330 -x1331 x1333 -x1337 -x1338 -x1339 1800.08/1800.60 v -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1348 -x1349 -x1350 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1359 1800.08/1800.60 v -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1367 -x1368 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 x1379 1800.08/1800.60 v x1382 -x1383 x1384 -x1385 x1386 -x1387 -x1388 -x1389 -x1390 -x1392 -x1393 -x1394 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 1800.08/1800.60 v -x1403 -x1404 -x1405 -x1406 -x1408 -x1410 -x1411 -x1412 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 1800.08/1800.60 v -x1423 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1436 -x1437 -x1438 x1439 -x1441 -x1442 -x1443 1800.08/1800.60 v -x1444 x1445 -x1448 -x1449 -x1450 -x1451 -x1454 -x1456 -x1457 -x1459 -x1460 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 1800.08/1800.60 v -x1468 x1471 -x1472 -x1473 -x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x1481 -x1483 -x1485 -x1486 -x1487 -x1488 -x1490 -x1492 1800.08/1800.60 v -x1493 -x1494 -x1495 -x1497 -x1498 -x1500 -x1501 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 1800.08/1800.60 v -x1514 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1525 -x1528 -x1530 -x1531 -x1532 -x1533 -x1536 -x1537 1800.08/1800.60 v -x1538 -x1539 -x1540 -x1541 -x1542 -x1544 -x1545 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1556 -x1560 1800.08/1800.60 v -x1561 -x1562 -x1563 -x1565 -x1566 -x1567 -x1568 -x1570 -x1571 -x1572 -x1573 -x1575 -x1576 -x1577 -x1578 -x1579 -x1581 1800.08/1800.60 v -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1592 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 1800.08/1800.60 v -x1601 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1611 -x1612 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 1800.08/1800.60 v -x1621 -x1622 -x1623 -x1625 -x1626 -x1627 -x1628 -x1629 -x1631 -x1632 -x1633 -x1634 -x1636 -x1637 -x1638 -x1639 -x1640 1800.08/1800.60 v -x1641 -x1642 -x1643 -x1644 -x1645 -x1647 -x1648 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1658 -x1659 -x1660 1800.08/1800.60 v -x1661 -x1662 -x1663 -x1664 -x1665 -x1667 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1681 1800.08/1800.60 v -x1682 -x1683 -x1684 -x1685 -x1686 -x1688 -x1689 -x1690 -x1692 -x1693 -x1694 -x1695 -x1696 -x1698 -x1699 -x1700 x1701 1800.08/1800.60 v x1703 -x1704 x1705 -x1707 -x1708 -x1709 x1710 x1711 -x1712 -x1714 -x1715 -x1716 -x1718 -x1719 -x1720 -x1721 -x1722 x1723 1800.08/1800.60 v -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 1800.08/1800.60 v -x1743 -x2424 x2535 -x1744 x91 -x102 x125 -x1754 -x301 -x1854 -x1855 -x1856 -x1858 -x1859 -x388 -x392 -x1860 -x411 -x1861 1800.08/1800.60 v -x428 -x430 -x433 -x434 -x436 -x1862 -x448 -x451 -x1863 x471 x1864 -x202 -x1755 -x490 -x1865 -x507 -x509 -x1866 x529 -x1867 1800.08/1800.60 v -x549 -x1869 x570 x1870 -x584 -x1871 x604 -x1872 -x623 -x1873 -x643 -x1874 -x658 -x1875 -x280 -x1756 x678 -x1876 x693 -x694 1800.08/1800.60 v -x1877 -x701 -x703 -x705 -x706 -x711 -x1878 x719 -x720 -x1880 -x732 x737 -x738 -x1881 -x751 -x753 -x754 -x759 -x760 -x1882 1800.08/1800.60 v -x767 -x770 -x772 -x776 -x777 -x1883 x787 -x788 -x1884 -x797 -x799 -x800 -x1885 x814 -x815 -x1886 -x336 -x1758 -x831 x832 1800.08/1800.60 v -x1887 -x845 -x848 -x849 x854 -x1888 -x862 -x866 -x1889 x881 -x882 -x1892 x892 -x894 -x895 -x1893 x908 -x909 -x1894 x926 1800.08/1800.60 v -x927 -x1895 -x940 x942 -x943 -x1896 -x961 -x1897 x975 -x976 -x1898 -x424 -x1759 x987 -x988 -x1899 -x1003 -x1004 -x1900 1800.08/1800.60 v -x1020 x1021 x1901 x1037 -x1038 -x1903 -x1055 -x1904 x1073 -x1074 -x1905 x1088 -x1089 -x1906 -x1907 -x1908 -x1117 -x1909 1800.08/1800.60 v -x513 x524 x1760 -x1910 x1143 x1911 -x1154 -x1155 -x1157 -x1163 -x1912 x1172 x1914 -x1184 -x1186 -x1190 -x1192 -x1915 -x1201 1800.08/1800.60 v -x1916 -x1217 -x1917 -x1229 -x1230 -x1232 -x1238 -x1918 -x1246 -x1919 -x1259 -x1261 -x1265 -x1266 -x1920 -x569 -x580 -x602 1800.08/1800.60 v -x613 -x635 -x1761 -x1276 -x1921 x1292 x1922 -x1304 -x1306 -x1923 x1320 x1925 -x1332 x1334 x1926 -x1351 -x1927 -x1366 -x1928 1800.08/1800.60 v -x1378 x1381 x1929 -x1395 -x1930 -x1407 -x1409 -x1931 -x713 x724 -x746 x1762 -x1425 -x1932 x1440 x1933 -x1452 -x1453 -x1455 1800.08/1800.60 v -x1461 -x1934 x1470 x1936 -x1482 -x1484 -x1489 -x1937 -x1496 -x1499 -x1938 -x1515 -x1939 -x1526 -x1527 -x1529 -x1534 -x1940 1800.08/1800.60 v -x1543 -x1941 -x1555 -x1559 -x1564 -x1942 -x879 -x891 -x913 -x1763 -x1574 -x1943 -x1593 -x1944 -x1610 -x1945 -x1630 -x1947 1800.08/1800.60 v x1649 -x1948 x1666 x1949 -x1687 -x1950 x1697 x1951 x1706 x1952 -x1717 -x1953 -x1013 -x1024 x1046 -x1764 -x224 -x335 -x557 1800.08/1800.60 v -x668 -x890 -x1745 -x1668 x1779 -x1958 -x1747 -x2092 -x2103 x2125 -x1748 -x2225 x2236 x2258 -x1749 -x2347 x2358 -x1750 1800.08/1800.60 v -x2413 -x2436 -x2447 -x1751 -x2547 x2558 -x2580 -x1752 -x2713 -x2724 -x2746 -x1753 -x1136 x1147 x1765 -x1202 -x1225 x1236 1800.08/1800.60 v x1766 -x1336 x1347 -x1369 x1767 -x1502 -x1513 -x1535 -x1769 -x1635 -x1646 -x1669 -x1770 -x1824 -x1772 -x1879 -x1773 -x1961 1800.08/1800.60 v -x1966 -x1967 -x1775 -x1983 x1984 x1776 -x1994 -x1995 -x1777 x2008 -x2009 -x1778 -x2019 -x2021 -x2022 -x2028 -x1781 -x2032 1800.08/1800.60 v -x2037 -x2042 -x1782 -x2052 x2053 x1783 -x2067 x2068 -x1784 -x2078 -x2079 -x1785 -x2094 -x2095 -x1786 x2107 -x2108 -x1787 1800.08/1800.60 v -x2122 -x1788 -x1789 -x1790 -x2153 -x1792 -x2161 -x1793 -x2177 x2178 x1794 x2188 -x2189 -x1795 x2208 -x2209 -x1796 -x2223 1800.08/1800.60 v x2226 -x2227 -x1797 -x2241 -x1798 x2255 -x2256 -x1799 x2266 -x2267 -x1800 x2285 -x2286 -x1801 x2303 -x2304 -x1803 -x2319 1800.08/1800.60 v -x1804 -x1805 -x1806 -x2350 -x1807 -x1808 -x2368 -x2374 x2375 x1809 -x2385 -x2386 -x1810 -x1746 -x1771 x2404 -x2405 -x1811 1800.08/1800.60 v -x2419 -x2421 -x2422 -x1812 -x2438 -x1814 x2452 -x2453 -x1815 -x2463 -x2464 -x1816 x2482 -x2483 -x1817 -x2499 x2500 -x1818 1800.08/1800.60 v -x2515 -x1819 -x2529 x2530 x1820 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 x2544 -x2545 -x2546 -x2548 -x2549 -x1821 -x2557 1800.08/1800.60 v x2559 x1822 -x2565 -x2566 x2567 -x2570 -x2571 x2572 -x2574 -x2575 -x2576 -x1823 -x2585 x2586 x1825 -x2594 -x2595 -x2597 1800.08/1800.60 v -x2599 -x2600 x2601 -x2604 -x2605 -x2606 -x1826 -x2609 -x2611 -x2612 -x2618 -x1827 x2626 x1828 -x2640 x2641 x1829 -x2649 1800.08/1800.60 v -x2650 -x2651 -x2653 -x2654 x2655 -x2657 -x2659 -x2660 -x1830 -x2668 x2670 x1831 -x2677 -x2678 -x2681 -x2682 -x2683 -x2685 1800.08/1800.60 v -x2686 -x2687 -x1832 -x2696 x2697 x1833 x2706 x2710 -x2711 x2717 -x1834 -x2720 -x2722 -x2723 -x1836 x2737 x1837 x2755 -x2756 1800.08/1800.60 v x1838 -x10 -x11 -x13 -x15 -x20 -x1839 -x33 x34 x1840 -x52 -x54 -x55 -x1841 -x78 x79 x1842 x101 -x103 -x1843 -x1955 -x1774 x119 1800.08/1800.60 v -x120 -x1844 -x142 -x1845 -x161 x162 x1847 -x170 -x171 -x173 -x174 -x179 -x1848 -x193 x194 x1849 -x211 x214 -x215 -x1850 1800.08/1800.60 v -x239 -x240 -x1851 -x262 x263 -x1852 x278 -x279 -x1853 1800.08/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.08/1800.61 c 66 83068 16856 139424 50745 25529419 50020 46 1800.09 1800.08/1800.61 c Objective: 5407 1800.08/1800.61 s SATISFIABLE 1800.08/1800.61 c Total time: 1800.09 s
OK 5407
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node12/watcher-432837-1177950531 -o ROOT/results/node12/solver-432837-1177950531 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432837-1177950531/instance-432837-1177950531.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.91 0.97 0.92 3/77 32709 /proc/meminfo: memFree=1856576/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=2380 CPUtime=0 /proc/32709/stat : 32709 (bsolo3.0.17) D 32707 32709 31954 0 -1 4194304 52 0 0 0 0 0 0 0 18 0 1 0 271090534 2437120 36 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9696164 0 0 4096 0 18446744071563608240 0 0 17 1 0 0 /proc/32709/statm: 595 36 28 324 0 9 0 [startup+0.00671895 s] /proc/loadavg: 0.91 0.97 0.92 3/77 32709 /proc/meminfo: memFree=1856576/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=2380 CPUtime=0 /proc/32709/stat : 32709 (bsolo3.0.17) D 32707 32709 31954 0 -1 4194304 52 0 0 0 0 0 0 0 18 0 1 0 271090534 2437120 36 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9696164 0 0 4096 0 18446744071563608240 0 0 17 1 0 0 /proc/32709/statm: 595 36 28 324 0 9 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.101729 s] /proc/loadavg: 0.91 0.97 0.92 3/77 32709 /proc/meminfo: memFree=1856576/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=5376 CPUtime=0.07 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 827 0 2 0 7 0 0 0 18 0 1 0 271090534 5505024 750 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135469212 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 1344 750 334 324 0 414 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 5376 [startup+0.301748 s] /proc/loadavg: 0.91 0.97 0.92 3/77 32709 /proc/meminfo: memFree=1856576/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=5832 CPUtime=0.28 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 5234 0 2 0 26 2 0 0 19 0 1 0 271090534 5971968 923 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135194969 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 1458 923 394 324 0 528 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 5832 [startup+0.701787 s] /proc/loadavg: 0.91 0.97 0.92 3/77 32709 /proc/meminfo: memFree=1856576/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=7144 CPUtime=0.68 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 14976 0 2 0 61 7 0 0 23 0 1 0 271090534 7315456 1018 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 1786 1018 394 324 0 856 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 7144 [startup+1.50187 s] /proc/loadavg: 0.91 0.97 0.92 2/78 32710 /proc/meminfo: memFree=1853688/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=6748 CPUtime=1.47 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 34984 0 2 0 135 12 0 0 25 0 1 0 271090534 6909952 1009 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 1687 1009 395 324 0 757 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 6748 [startup+3.10103 s] /proc/loadavg: 0.91 0.97 0.92 2/78 32710 /proc/meminfo: memFree=1853496/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=6456 CPUtime=3.08 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 73528 0 2 0 282 26 0 0 25 0 1 0 271090534 6610944 991 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134705440 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 1614 991 395 324 0 684 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 6456 [startup+6.30135 s] /proc/loadavg: 0.92 0.97 0.92 2/78 32710 /proc/meminfo: memFree=1852344/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=8040 CPUtime=6.28 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 111958 0 2 0 589 39 0 0 25 0 1 0 271090534 8232960 1263 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10131013 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 2055 1266 395 324 0 1125 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 8040 [startup+12.702 s] /proc/loadavg: 0.93 0.97 0.92 2/78 32710 /proc/meminfo: memFree=1848888/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=11564 CPUtime=12.67 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 170489 0 2 0 1208 59 0 0 25 0 1 0 271090534 11841536 2319 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572615 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 2891 2319 395 324 0 1961 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 11564 [startup+25.5013 s] /proc/loadavg: 0.94 0.97 0.92 2/78 32710 /proc/meminfo: memFree=1843256/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=16868 CPUtime=25.47 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 211480 0 2 0 2473 74 0 0 25 0 1 0 271090534 17272832 3671 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134706508 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 4217 3671 395 324 0 3287 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 16868 [startup+51.1018 s] /proc/loadavg: 0.96 0.97 0.92 2/78 32710 /proc/meminfo: memFree=1833016/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=26996 CPUtime=51.05 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 384558 0 2 0 4969 136 0 0 25 0 1 0 271090534 27643904 6220 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134765471 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 6749 6220 395 324 0 5819 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 26996 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.92 2/78 32710 /proc/meminfo: memFree=1815992/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=44720 CPUtime=102.24 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 1001948 0 2 0 9879 345 0 0 25 0 1 0 271090534 45793280 10499 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135189059 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 11180 10499 395 324 0 10250 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 44720 [startup+162.303 s] /proc/loadavg: 0.99 0.97 0.92 2/78 32710 /proc/meminfo: memFree=1797368/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=63388 CPUtime=162.23 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 1444458 0 2 0 15720 503 0 0 25 0 1 0 271090534 64909312 15176 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135262632 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 15847 15176 395 324 0 14917 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 63388 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 32710 /proc/meminfo: memFree=1768440/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=91624 CPUtime=222.21 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 2068014 0 2 0 21490 731 0 0 25 0 1 0 271090534 93822976 22363 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 22906 22363 395 324 0 21976 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 91624 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 32710 /proc/meminfo: memFree=1746744/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=113512 CPUtime=282.2 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 2353833 0 2 0 27382 838 0 0 25 0 1 0 271090534 116236288 27816 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134824119 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 28378 27816 395 324 0 27448 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 113512 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 32712 /proc/meminfo: memFree=1746104/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=113908 CPUtime=342.18 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 2359312 0 2 0 33377 841 0 0 25 0 1 0 271090534 116641792 27897 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134963320 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 28477 27897 395 324 0 27547 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 113908 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 32712 /proc/meminfo: memFree=1746104/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=113908 CPUtime=402.16 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 2359312 0 2 0 39375 841 0 0 25 0 1 0 271090534 116641792 27897 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134690247 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 28477 27897 395 324 0 27547 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 113908 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 32712 /proc/meminfo: memFree=1722168/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=137508 CPUtime=462.15 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 2881975 0 2 0 45181 1034 0 0 25 0 1 0 271090534 140808192 33848 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134787014 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 34377 33848 395 324 0 33447 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 137508 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 32712 /proc/meminfo: memFree=1685880/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=174464 CPUtime=522.13 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 3378032 0 2 0 50991 1222 0 0 25 0 1 0 271090534 178651136 43017 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134688433 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 43616 43017 395 324 0 42686 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 174464 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 32712 /proc/meminfo: memFree=1664376/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=195352 CPUtime=582.11 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 3778492 0 2 0 56829 1382 0 0 25 0 1 0 271090534 200040448 48269 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134707817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 48838 48269 395 324 0 47908 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 195352 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 32712 /proc/meminfo: memFree=1664440/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=195352 CPUtime=642.1 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 3778492 0 2 0 62827 1383 0 0 25 0 1 0 271090534 200040448 48269 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135188120 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 48838 48269 395 324 0 47908 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 195352 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 32712 /proc/meminfo: memFree=1662904/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=197340 CPUtime=822.05 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 3794157 0 2 0 80814 1391 0 0 25 0 1 0 271090534 202076160 48806 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 49335 48806 395 324 0 48405 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 197340 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 32712 /proc/meminfo: memFree=1646840/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=212972 CPUtime=882.02 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 4035024 0 2 0 86709 1493 0 0 25 0 1 0 271090534 218083328 52656 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135153475 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 53243 52656 395 324 0 52313 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 212972 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 32712 /proc/meminfo: memFree=1646840/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=212732 CPUtime=942.01 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 4058000 0 2 0 92674 1527 0 0 25 0 1 0 271090534 217837568 52654 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10131100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 53183 52654 395 324 0 52253 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 212732 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 32712 /proc/meminfo: memFree=1646840/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=212968 CPUtime=1002 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 4079680 0 2 0 98639 1561 0 0 25 0 1 0 271090534 218079232 52656 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135261192 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 53242 52656 395 324 0 52312 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 212968 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 32712 /proc/meminfo: memFree=1643320/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=216168 CPUtime=1061.98 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 4123264 0 2 0 104600 1598 0 0 25 0 1 0 271090534 221356032 53511 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10137345 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 54042 53511 395 324 0 53112 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 216168 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 32712 /proc/meminfo: memFree=1634936/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=225560 CPUtime=1121.95 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 4230044 0 2 0 110527 1668 0 0 25 0 1 0 271090534 230973440 55638 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10131013 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 56390 55638 395 324 0 55460 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 225560 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 32712 /proc/meminfo: memFree=1625592/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=234792 CPUtime=1181.94 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 4347306 0 2 0 116452 1742 0 0 25 0 1 0 271090534 240427008 58086 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134792514 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 58698 58086 395 324 0 57768 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 234792 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 32712 /proc/meminfo: memFree=1596792/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=263336 CPUtime=1241.93 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 4709617 0 2 0 122312 1881 0 0 25 0 1 0 271090534 269656064 65245 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10131013 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 65834 65245 395 324 0 64904 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 263336 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 32712 /proc/meminfo: memFree=1576888/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=282428 CPUtime=1301.92 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 4926699 0 2 0 128213 1979 0 0 25 0 1 0 271090534 289206272 70078 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10129759 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 70607 70078 395 324 0 69677 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 282428 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 32712 /proc/meminfo: memFree=1576888/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=282664 CPUtime=1361.89 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 4948069 0 2 0 134181 2008 0 0 25 0 1 0 271090534 289447936 70080 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134792851 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 70666 70080 395 324 0 69736 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 282664 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.92 2/78 32712 /proc/meminfo: memFree=1576888/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=282780 CPUtime=1421.88 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 4972360 0 2 0 140146 2042 0 0 25 0 1 0 271090534 289566720 70081 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 70695 70081 395 324 0 69765 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 282780 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 32712 /proc/meminfo: memFree=1576888/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=282428 CPUtime=1481.86 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 5002221 0 2 0 146106 2080 0 0 25 0 1 0 271090534 289206272 70078 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10129759 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 70607 70078 395 324 0 69677 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 282428 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 32712 /proc/meminfo: memFree=1577080/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=282428 CPUtime=1541.84 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 5032213 0 2 0 152062 2122 0 0 25 0 1 0 271090534 289206272 70078 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10129759 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 70607 70078 395 324 0 69677 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 282428 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 32712 /proc/meminfo: memFree=1577080/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=282780 CPUtime=1601.83 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 5059590 0 2 0 158028 2155 0 0 25 0 1 0 271090534 289566720 70081 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 70607 70078 395 324 0 69677 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 282780 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 32712 /proc/meminfo: memFree=1560120/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=299464 CPUtime=1661.81 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 5130862 0 2 0 163984 2197 0 0 25 0 1 0 271090534 306651136 74337 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134777830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 74866 74337 395 324 0 73936 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 299464 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 32712 /proc/meminfo: memFree=1537528/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=322328 CPUtime=1721.79 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 5590260 0 2 0 169796 2383 0 0 25 0 1 0 271090534 330063872 80053 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10129747 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 80582 80053 395 324 0 79652 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 322328 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 32712 /proc/meminfo: memFree=1512888/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=346616 CPUtime=1781.78 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 5749087 0 2 0 175720 2458 0 0 25 0 1 0 271090534 354934784 86125 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 86654 86125 395 324 0 85724 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 346616 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.92 2/78 32712 /proc/meminfo: memFree=1512056/2055920 swapFree=4160072/4192956 [pid=32709] ppid=32707 vsize=347516 CPUtime=1800.08 /proc/32709/stat : 32709 (bsolo3.0.17) R 32707 32709 31954 0 -1 4194304 5821040 0 2 0 177520 2488 0 0 25 0 1 0 271090534 355856384 86286 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32709/statm: 86879 86286 395 324 0 85949 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 347516 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.67 CPU time (s): 1800.15 CPU user time (s): 1775.21 CPU system time (s): 24.9412 CPU usage (%): 99.9711 Max. virtual memory (cumulated for all children) (KiB): 347740 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1775.21 system time used= 24.9412 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5821043 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15 involuntary context switches= 37975 runsolver used 1.39179 second user time and 3.70444 second system time The end
Begin job on node12 on Mon Apr 30 16:28:52 UTC 2007 IDJOB= 432837 IDBENCH= 1871 IDSOLVER= 199 FILE ID= node12/432837-1177950531 PBS_JOBID= 4727830 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 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.17 -m1800 /tmp/evaluation/432837-1177950531/instance-432837-1177950531.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-432837-1177950531 -o ROOT/results/node12/solver-432837-1177950531 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432837-1177950531/instance-432837-1177950531.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 54b9b4de78a7992fd69d0caeed32daef RANDOM SEED= 742071314 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node12.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.239 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.239 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: 1857112 kB Buffers: 33168 kB Cached: 77584 kB SwapCached: 11512 kB Active: 50764 kB Inactive: 83160 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1857112 kB SwapTotal: 4192956 kB SwapFree: 4160072 kB Dirty: 6704 kB Writeback: 0 kB Mapped: 30104 kB Slab: 50392 kB Committed_AS: 6244944 kB PageTables: 1792 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= 66558 MiB End job on node12 on Mon Apr 30 16:58:54 UTC 2007