Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| pwbo 2.0 | SAT (TO) | 3635 | 1800.16 | 900.346 |
| 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 | OPT |
| Best value of the objective obtained on this benchmark | 3124 |
| Best CPU time to get the best result obtained on this benchmark | 1.66275 |
| 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 ==============================[ Solver Version ]=============================== 0.00/0.00 c | | 0.00/0.00 c | pwbo: 2.0 beta - March, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing opb file format. File HOME/instance-3703474-1338086109.opb. 0.00/0.00 c Instance file HOME/instance-3703474-1338086109.opb 0.00/0.00 c File size is 111983 bytes. 0.00/0.01 c Cost Offset: 0 0.00/0.01 c Highest Coefficient sum: 21763 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 2756 | 0.00/0.01 c | Number Clauses: 132 | 0.00/0.01 c | Number Cardinality: 220 | 0.00/0.01 c | Number PB Constraints: 397 | 0.00/0.01 c | | 0.00/0.01 c | Problem Type: Optimization | 0.00/0.01 c | Objective Function: Cardinality Constraint | 0.00/0.01 c | | 0.00/0.01 c =============================================================================== 1800.16/900.31 o 5793 1800.16/900.31 o 5103 1800.16/900.31 o 5069 1800.16/900.31 o 5065 1800.16/900.31 o 4974 1800.16/900.31 o 4811 1800.16/900.31 o 4810 1800.16/900.31 o 4788 1800.16/900.31 o 4781 1800.16/900.31 o 4777 1800.16/900.31 o 4765 1800.16/900.31 o 4718 1800.16/900.31 o 4674 1800.16/900.31 o 4672 1800.16/900.31 o 4600 1800.16/900.31 o 4591 1800.16/900.31 o 4585 1800.16/900.31 o 4582 1800.16/900.31 o 4539 1800.16/900.31 o 4534 1800.16/900.31 o 4533 1800.16/900.31 o 4529 1800.16/900.31 o 4528 1800.16/900.31 o 4527 1800.16/900.31 o 4516 1800.16/900.31 o 4515 1800.16/900.31 o 4514 1800.16/900.31 o 4393 1800.16/900.31 o 4325 1800.16/900.31 o 4320 1800.16/900.31 o 4310 1800.16/900.31 o 4301 1800.16/900.31 o 4175 1800.16/900.31 o 4156 1800.16/900.31 o 4056 1800.16/900.31 o 4055 1800.16/900.31 o 4051 1800.16/900.31 o 4035 1800.16/900.31 o 3978 1800.16/900.31 o 3966 1800.16/900.31 o 3957 1800.16/900.31 o 3955 1800.16/900.31 o 3952 1800.16/900.31 o 3950 1800.16/900.31 o 3948 1800.16/900.31 o 3945 1800.16/900.31 o 3943 1800.16/900.31 o 3942 1800.16/900.31 o 3930 1800.16/900.31 o 3929 1800.16/900.31 o 3928 1800.16/900.31 o 3927 1800.16/900.31 o 3923 1800.16/900.31 o 3921 1800.16/900.31 o 3920 1800.16/900.31 o 3919 1800.16/900.31 o 3916 1800.16/900.31 o 3913 1800.16/900.31 o 3896 1800.16/900.31 o 3892 1800.16/900.31 o 3884 1800.16/900.31 o 3875 1800.16/900.31 o 3869 1800.16/900.31 o 3862 1800.16/900.31 o 3861 1800.16/900.31 o 3860 1800.16/900.31 o 3852 1800.16/900.31 o 3849 1800.16/900.31 o 3846 1800.16/900.31 o 3845 1800.16/900.31 o 3839 1800.16/900.31 o 3836 1800.16/900.31 o 3834 1800.16/900.31 o 3833 1800.16/900.31 o 3832 1800.16/900.31 o 3831 1800.16/900.31 o 3826 1800.16/900.31 o 3825 1800.16/900.31 o 3818 1800.16/900.31 o 3817 1800.16/900.31 o 3816 1800.16/900.31 o 3813 1800.16/900.31 o 3770 1800.16/900.31 o 3769 1800.16/900.31 o 3768 1800.16/900.31 o 3766 1800.16/900.31 o 3764 1800.16/900.31 o 3762 1800.16/900.31 o 3761 1800.16/900.31 o 3760 1800.16/900.31 o 3743 1800.16/900.31 o 3742 1800.16/900.31 o 3741 1800.16/900.31 o 3740 1800.16/900.31 o 3739 1800.16/900.31 o 3735 1800.16/900.31 o 3734 1800.16/900.31 o 3728 1800.16/900.31 o 3724 1800.16/900.31 o 3723 1800.16/900.31 o 3722 1800.16/900.31 o 3721 1800.16/900.31 o 3717 1800.16/900.31 o 3716 1800.16/900.31 o 3713 1800.16/900.31 o 3711 1800.16/900.31 o 3710 1800.16/900.31 o 3709 1800.16/900.31 o 3706 1800.16/900.31 o 3703 1800.16/900.31 o 3702 1800.16/900.31 o 3701 1800.16/900.31 o 3700 1800.16/900.31 o 3699 1800.16/900.31 o 3697 1800.16/900.31 o 3696 1800.16/900.31 o 3695 1800.16/900.31 o 3692 1800.16/900.31 o 3689 1800.16/900.31 o 3686 1800.16/900.31 o 3685 1800.16/900.31 o 3684 1800.16/900.31 o 3681 1800.16/900.31 o 3680 1800.16/900.31 o 3679 1800.16/900.31 o 3678 1800.16/900.31 o 3677 1800.16/900.31 o 3674 1800.16/900.31 o 3673 1800.16/900.31 o 3672 1800.16/900.31 o 3671 1800.16/900.31 o 3670 1800.16/900.31 o 3668 1800.16/900.31 o 3667 1800.16/900.31 o 3666 1800.16/900.31 o 3664 1800.16/900.31 o 3663 1800.16/900.31 o 3662 1800.16/900.31 o 3660 1800.16/900.31 o 3658 1800.16/900.31 o 3657 1800.16/900.31 o 3650 1800.16/900.31 o 3649 1800.16/900.31 o 3647 1800.16/900.31 o 3641 1800.16/900.31 o 3636 1800.16/900.31 o 3635 1800.16/900.31 c =============================================================================== 1800.16/900.31 c Wall Clock Time: 900.31 s 1800.16/900.31 c Best Solution: 3635 1800.16/900.31 s SATISFIABLE 1800.16/900.31 v -x1 -x1112 -x1980 -x2091 -x2202 -x2313 -x2646 -x2 -x113 -x446 -x779 -x1001 -x1113 -x1224 -x1335 -x1446 -x1557 -x1890 -x1969 -x1981 -x1992 -x2003 -x2014 -x2025 -x2036 -x2047 -x2058 -x2069 -x2080 -x2114 -x2136 -x2147 -x2158 -x2169 -x2180 -x2191 -x2203 -x2214 -x2247 -x2269 -x2280 -x2291 -x2302 -x2314 -x2325 -x2336 -x2369 -x2380 -x2391 x2402 -x2425 -x2458 -x2469 -x2480 -x2491 -x2502 -x2513 -x2524 -x2536 -x2569 -x2591 -x2602 -x2613 -x2624 -x2635 -x2647 -x2658 -x2669 -x2680 -x2691 -x2702 -x2735 -x3 -x14 -x25 -x36 -x47 -x58 -x69 -x80 -x114 -x136 -x147 -x158 -x169 -x180 -x191 -x213 -x225 -x236 -x247 -x258 -x269 -x291 -x302 -x313 -x324 -x347 -x358 -x369 -x380 -x391 -x402 -x413 -x435 -x447 -x458 -x469 -x480 -x491 -x502 -x535 -x546 -x558 -x591 -x624 -x646 -x657 -x669 -x680 -x691 -x702 -x735 -x757 -x768 -x780 -x791 -x802 -x813 -x824 -x835 -x846 -x857 -x868 -x902 -x924 -x935 -x946 -x957 -x968 -x979 -x990 -x1002 -x1035 -x1057 -x1068 -x1079 -x1090 -x1101 -x1114 -x1125 -x1158 -x1169 -x1180 -x1191 -x1213 -x1247 -x1258 -x1269 x1280 -x1291 -x1302 -x1313 -x1324 -x1358 -x1380 -x1391 -x1402 -x1413 -x1424 -x1435 -x1447 -x1458 -x1469 -x1480 -x1491 -x1524 -x1546 -x1558 -x1569 -x1580 -x1591 -x1602 -x1613 -x1624 -x1657 -x1680 -x1691 -x1702 -x1713 -x1724 -x1735 -x1757 -x1768 -x1780 -x1791 -x1802 -x1813 -x1835 -x1846 -x1857 -x1868 -x1891 -x1902 -x1913 -x1924 -x1935 -x1946 -x1954 -x1956 -x1957 -x1959 -x1960 -x1962 -x1963 -x1964 -x1965 -x1968 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1982 -x1985 -x1986 -x1987 -x1988 x1989 -x1990 -x1991 -x1993 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2004 -x2005 -x2006 -x2007 -x2010 -x2011 -x2012 -x2013 -x2015 -x2016 -x2017 -x2018 -x2020 -x2023 -x2024 -x2026 -x2027 -x2029 -x2030 -x2031 -x2033 -x2034 -x2035 -x2038 -x2039 -x2040 -x2041 -x2043 -x2044 -x2045 -x2046 -x2048 -x2049 -x2050 -x2051 -x2054 -x2055 -x2056 -x2057 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2093 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2104 -x2105 -x2106 -x2109 -x2110 -x2111 -x2112 -x2113 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2123 -x2124 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2148 -x2149 -x2150 -x2151 -x2152 -x2154 -x2155 -x2156 -x2157 -x2159 -x2160 -x2162 -x2163 -x2164 -x2165 -x2166 x2167 x2168 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2179 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2190 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2204 -x2205 -x2206 -x2207 -x2210 -x2211 -x2212 -x2213 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2224 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2237 -x2238 -x2239 -x2240 -x2242 -x2243 -x2244 -x2245 -x2246 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2257 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2268 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2281 -x2282 -x2283 -x2284 -x2287 -x2288 -x2289 -x2290 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2315 -x2316 -x2317 -x2318 -x2320 -x2321 -x2322 -x2323 -x2324 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2348 -x2349 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2370 -x2371 -x2372 -x2373 -x2376 -x2377 -x2378 -x2379 -x2381 -x2382 -x2383 -x2384 -x2387 -x2388 -x2389 -x2390 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2403 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2414 -x2415 -x2416 -x2417 -x2418 -x2420 -x2423 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2437 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2448 -x2449 -x2450 -x2451 -x2454 -x2455 -x2456 -x2457 -x2459 -x2460 -x2461 -x2462 -x2465 -x2466 -x2467 -x2468 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2481 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2501 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2514 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2525 -x2526 -x2527 -x2528 -x2531 -x2532 -x2533 -x2534 -x2537 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2560 -x2561 -x2562 -x2563 -x2564 -x2568 -x2573 -x2577 -x2578 -x2579 -x2581 -x2582 -x2583 -x2584 -x2587 -x2588 -x2589 -x2590 -x2592 -x2593 -x2596 -x2598 -x2603 -x2607 -x2608 -x2610 -x2614 -x2615 -x2616 -x2617 -x2619 -x2620 -x2621 -x2622 -x2623 -x2625 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2636 -x2637 -x2638 -x2639 -x2642 -x2643 -x2644 -x2645 -x2648 -x2652 -x2656 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2679 -x2684 -x2688 -x2689 -x2690 -x2692 -x2693 -x2694 -x2695 -x2698 -x2699 -x2700 -x2701 -x2703 -x2704 -x2705 -x2707 -x2708 -x2709 -x2712 -x2714 -x2715 -x2716 -x2718 -x2719 -x2721 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2736 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -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 -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 -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 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x115 -x116 -x117 -x118 -x121 -x122 -x123 -x124 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x137 -x138 -x139 -x140 -x141 -x143 -x144 -x145 -x146 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x159 -x160 -x163 -x164 -x165 -x166 -x167 -x168 -x172 -x175 -x176 -x177 -x178 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x192 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x212 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x237 -x238 -x241 -x242 -x243 -x244 -x245 -x246 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x259 -x260 -x261 -x264 -x265 -x266 -x267 -x268 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x389 -x390 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x412 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x425 -x426 -x427 -x429 -x431 -x432 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x449 -x450 -x452 -x453 -x454 -x455 -x456 -x457 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x470 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x503 -x504 -x505 -x506 -x508 -x510 -x511 -x512 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x525 -x526 -x527 -x528 -x530 -x531 -x532 -x533 -x534 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x547 -x548 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x581 -x582 -x583 -x585 -x586 -x587 -x588 -x589 -x590 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x603 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x644 -x645 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x679 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x692 -x695 -x696 -x697 -x698 -x699 -x700 -x704 -x707 -x708 -x709 -x710 -x712 -x714 -x715 -x716 -x717 -x718 -x721 -x722 -x723 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x733 -x734 -x736 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x747 -x748 -x749 -x750 -x752 -x755 -x756 -x758 -x761 -x762 -x763 -x764 -x765 -x766 -x769 -x771 -x773 -x774 -x775 -x778 -x781 -x782 -x783 -x784 -x785 -x786 -x789 -x790 -x792 -x793 -x794 -x795 -x796 -x798 -x801 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x825 -x826 x827 -x828 -x829 -x830 -x833 -x834 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x847 -x850 -x851 -x852 x853 -x855 -x856 -x858 -x859 -x860 -x861 -x863 -x864 -x865 -x867 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x880 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x893 -x896 -x897 -x898 -x899 -x900 -x901 -x903 -x904 -x905 -x906 -x907 -x910 -x911 -x912 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x925 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x936 -x937 -x938 -x939 -x941 -x944 -x945 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x958 -x959 -x960 -x962 -x963 -x964 -x965 -x966 -x967 -x969 -x970 -x971 -x972 -x973 -x974 -x977 -x978 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x989 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1022 -x1023 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1036 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1056 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1069 -x1070 -x1071 -x1072 -x1075 -x1076 -x1077 -x1078 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1115 -x1116 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1144 -x1145 -x1146 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1156 -x1159 -x1160 -x1161 -x1162 -x1164 -x1165 -x1166 -x1167 -x1168 -x1170 -x1171 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1181 -x1182 -x1183 -x1185 -x1187 -x1188 -x1189 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1214 -x1215 -x1216 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1226 -x1227 -x1228 -x1231 -x1233 -x1234 -x1235 -x1237 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1260 -x1262 -x1263 -x1264 -x1267 -x1268 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1277 -x1278 -x1279 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1303 -x1305 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1321 -x1322 -x1323 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1333 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1348 -x1349 -x1350 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1367 -x1368 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1379 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1392 -x1393 x1394 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1403 -x1404 -x1405 -x1406 -x1408 -x1410 -x1411 -x1412 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1436 -x1437 -x1438 -x1439 -x1441 -x1442 -x1443 -x1444 -x1445 -x1448 -x1449 -x1450 -x1451 -x1454 -x1456 -x1457 -x1459 -x1460 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1481 -x1483 -x1485 -x1486 -x1487 -x1488 -x1490 -x1492 -x1493 -x1494 -x1495 -x1497 -x1498 -x1500 -x1501 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1514 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1525 -x1528 -x1530 -x1531 -x1532 -x1533 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1544 -x1545 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1556 -x1560 -x1561 -x1562 -x1563 -x1565 -x1566 -x1567 -x1568 -x1570 -x1571 -x1572 -x1573 -x1575 -x1576 -x1577 -x1578 -x1579 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 x1590 -x1592 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1611 -x1612 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1625 -x1626 -x1627 -x1628 -x1629 -x1631 -x1632 -x1633 -x1634 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1647 -x1648 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1667 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1688 -x1689 -x1690 -x1692 -x1693 -x1694 -x1695 -x1696 -x1698 -x1699 -x1700 -x1701 -x1703 -x1704 -x1705 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1714 -x1715 -x1716 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 x1743 -x2424 x2535 -x1744 -x91 -x102 -x125 -x1754 -x301 -x1854 -x1855 -x1856 -x1858 -x1859 -x388 -x392 -x1860 -x411 -x1861 -x428 -x430 -x433 -x434 -x436 -x1862 -x448 -x451 -x1863 -x471 -x1864 -x202 -x1755 -x490 -x1865 -x507 -x509 -x1866 x529 -x1867 -x549 -x1869 x570 x1870 -x584 -x1871 -x604 -x1872 -x623 -x1873 -x643 -x1874 -x658 -x1875 x280 -x1756 x678 -x1876 -x693 -x694 -x1877 -x701 -x703 -x705 -x706 -x711 -x1878 -x719 -x720 -x1880 -x732 -x737 -x738 -x1881 -x751 -x753 -x754 -x759 -x760 -x1882 -x767 -x770 -x772 -x776 -x777 -x1883 -x787 -x788 -x1884 -x797 -x799 -x800 -x1885 -x814 -x815 -x1886 -x336 -x1758 x831 -x832 -x1887 -x845 -x848 -x849 -x854 -x1888 -x862 -x866 -x1889 -x881 -x882 -x1892 -x892 -x894 -x895 -x1893 -x908 -x909 -x1894 -x926 -x927 -x1895 -x940 -x942 -x943 -x1896 -x961 -x1897 -x975 -x976 -x1898 -x424 -x1759 -x987 -x988 -x1899 -x1003 -x1004 -x1900 -x1020 -x1021 -x1901 -x1037 x1038 -x1903 -x1055 -x1904 -x1073 -x1074 -x1905 -x1088 -x1089 -x1906 -x1907 -x1908 -x1117 -x1909 -x513 -x524 -x1760 -x1910 -x1143 -x1911 -x1154 -x1155 -x1157 -x1163 -x1912 -x1172 -x1914 -x1184 -x1186 -x1190 -x1192 -x1915 -x1201 -x1916 -x1217 -x1917 -x1229 -x1230 -x1232 -x1238 -x1918 -x1246 -x1919 -x1259 -x1261 -x1265 -x1266 -x1920 -x569 -x580 -x602 -x613 -x635 -x1761 -x1276 -x1921 -x1292 -x1922 -x1304 -x1306 -x1923 -x1320 -x1925 -x1332 -x1334 -x1926 -x1351 -x1927 -x1366 -x1928 -x1378 -x1381 -x1929 -x1395 -x1930 -x1407 -x1409 -x1931 -x713 x724 -x746 x1762 -x1425 -x1932 -x1440 -x1933 -x1452 -x1453 -x1455 -x1461 -x1934 -x1470 -x1936 -x1482 -x1484 -x1489 -x1937 -x1496 -x1499 -x1938 -x1515 -x1939 -x1526 -x1527 -x1529 -x1534 -x1940 -x1543 -x1941 -x1555 -x1559 -x1564 -x1942 -x879 -x891 -x913 -x1763 -x1574 -x1943 -x1593 -x1944 -x1610 -x1945 -x1630 -x1947 x1649 -x1948 -x1666 -x1949 -x1687 -x1950 -x1697 -x1951 -x1706 -x1952 -x1717 -x1953 -x1013 -x1024 -x1046 -x1764 -x224 -x335 -x557 -x668 -x890 -x1745 -x1668 x1779 -x1958 -x1747 -x2092 -x2103 -x2125 -x1748 -x2225 -x2236 -x2258 -x1749 -x2347 x2358 -x1750 -x2413 -x2436 x2447 x1751 -x2547 x2558 -x2580 -x1752 -x2713 -x2724 -x2746 -x1753 -x1136 -x1147 -x1765 -x1202 -x1225 -x1236 -x1766 -x1336 x1347 -x1369 x1767 -x1502 -x1513 -x1535 -x1769 -x1635 -x1646 -x1669 -x1770 -x1824 -x1772 x1879 -x1773 -x1961 -x1966 -x1967 -x1775 x1983 -x1984 x1776 -x1994 -x1995 -x1777 -x2008 -x2009 -x1778 -x2019 -x2021 -x2022 -x2028 -x1781 -x2032 -x2037 -x2042 -x1782 -x2052 -x2053 -x1783 -x2067 -x2068 -x1784 -x2078 -x2079 -x1785 -x2094 -x2095 -x1786 -x2107 -x2108 -x1787 -x2122 -x1788 -x1789 -x1790 -x2153 -x1792 -x2161 -x1793 -x2177 -x2178 -x1794 -x2188 -x2189 -x1795 -x2208 -x2209 -x1796 -x2223 -x2226 -x2227 -x1797 -x2241 -x1798 -x2255 -x2256 -x1799 -x2266 -x2267 -x1800 -x2285 x2286 -x1801 -x2303 x2304 -x1803 -x2319 -x1804 -x1805 -x1806 -x2350 -x1807 -x1808 -x2368 -x2374 -x2375 -x1809 -x2385 -x2386 -x1810 -x1746 -x1771 -x2404 -x2405 -x1811 -x2419 -x2421 -x2422 -x1812 -x2438 -x1814 -x2452 -x2453 -x1815 -x2463 -x2464 -x1816 -x2482 x2483 -x1817 -x2499 x2500 -x1818 -x2515 -x1819 -x2529 x2530 x1820 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2548 -x2549 -x1821 -x2557 x2559 x1822 -x2565 -x2566 -x2567 -x2570 -x2571 -x2572 -x2574 -x2575 -x2576 -x1823 -x2585 -x2586 -x1825 -x2594 -x2595 -x2597 -x2599 -x2600 -x2601 -x2604 -x2605 -x2606 -x1826 -x2609 -x2611 -x2612 -x2618 -x1827 -x2626 -x1828 -x2640 -x2641 -x1829 -x2649 -x2650 -x2651 -x2653 -x2654 -x2655 -x2657 -x2659 -x2660 -x1830 -x2668 -x2670 -x1831 -x2677 -x2678 -x2681 -x2682 -x2683 -x2685 -x2686 -x2687 -x1832 -x2696 -x2697 -x1833 -x2706 -x2710 -x2711 -x2717 -x1834 -x2720 -x2722 -x2723 -x1836 -x2737 -x1837 -x2755 x2756 x1838 -x10 -x11 -x13 -x15 -x20 -x1839 -x33 -x34 -x1840 -x52 -x54 -x55 -x1841 -x78 -x79 -x1842 -x101 -x103 -x1843 -x1955 -x1774 -x119 -x120 -x1844 -x142 -x1845 -x161 -x162 -x1847 -x170 -x171 -x173 -x174 -x179 -x1848 -x193 -x194 -x1849 -x211 -x214 -x215 -x1850 -x239 -x240 -x1851 -x262 -x263 -x1852 x278 -x279 -x1853
OK 3635
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3703474-1338086109/watcher-3703474-1338086109 -o /tmp/evaluation-result-3703474-1338086109/solver-3703474-1338086109 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703474-1338086109.opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.00 3.88 3.14 4/178 19823 /proc/meminfo: memFree=29350816/32873844 swapFree=7112/7112 [pid=19823] ppid=19821 vsize=5104 CPUtime=0 cores=0,2,4,6 /proc/19823/stat : 19823 (pwbo2.0) R 19821 19823 19605 0 -1 4202496 573 0 0 0 0 0 0 0 20 0 1 0 274736625 5226496 526 33554432000 4194304 5965102 140734660763824 140733530076376 5156858 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0 /proc/19823/statm: 1276 526 168 433 0 812 0 [startup+0.0256431 s] /proc/loadavg: 4.00 3.88 3.14 4/178 19823 /proc/meminfo: memFree=29350816/32873844 swapFree=7112/7112 [pid=19823] ppid=19821 vsize=165924 CPUtime=0.02 cores=0,2,4,6 /proc/19823/stat : 19823 (pwbo2.0) S 19821 19823 19605 0 -1 4202496 2705 0 0 0 2 0 0 0 20 0 3 0 274736625 169906176 2314 33554432000 4194304 5965102 140734660763824 140734660763344 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19823/statm: 41481 2323 198 433 0 41045 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 165924 [startup+0.100201 s] /proc/loadavg: 4.00 3.88 3.14 4/178 19823 /proc/meminfo: memFree=29350816/32873844 swapFree=7112/7112 [pid=19823] ppid=19821 vsize=165924 CPUtime=0.18 cores=0,2,4,6 /proc/19823/stat : 19823 (pwbo2.0) S 19821 19823 19605 0 -1 4202496 8670 0 0 0 16 2 0 0 20 0 3 0 274736625 169906176 3338 33554432000 4194304 5965102 140734660763824 140734660763344 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19823/statm: 41481 3338 198 433 0 41045 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 165924 [startup+0.300167 s] /proc/loadavg: 4.00 3.88 3.14 4/178 19823 /proc/meminfo: memFree=29350816/32873844 swapFree=7112/7112 [pid=19823] ppid=19821 vsize=165924 CPUtime=0.57 cores=0,2,4,6 /proc/19823/stat : 19823 (pwbo2.0) S 19821 19823 19605 0 -1 4202496 14626 0 0 0 55 2 0 0 20 0 3 0 274736625 169906176 6592 33554432000 4194304 5965102 140734660763824 140734660763344 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19823/statm: 41481 6592 200 433 0 41045 0 Current children cumulated CPU time (s) 0.57 Current children cumulated vsize (KiB) 165924 [startup+0.700168 s] /proc/loadavg: 4.00 3.88 3.14 4/178 19823 /proc/meminfo: memFree=29350816/32873844 swapFree=7112/7112 [pid=19823] ppid=19821 vsize=166188 CPUtime=1.37 cores=0,2,4,6 /proc/19823/stat : 19823 (pwbo2.0) S 19821 19823 19605 0 -1 4202496 28491 0 0 0 132 5 0 0 20 0 3 0 274736625 170176512 9235 33554432000 4194304 5965102 140734660763824 140734660763344 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19823/statm: 41547 9235 200 433 0 41111 0 Current children cumulated CPU time (s) 1.37 Current children cumulated vsize (KiB) 166188 [startup+1.50032 s] /proc/loadavg: 4.00 3.88 3.14 5/181 19826 /proc/meminfo: memFree=29298844/32873844 swapFree=7112/7112 [pid=19823] ppid=19821 vsize=166716 CPUtime=2.97 cores=0,2,4,6 /proc/19823/stat : 19823 (pwbo2.0) S 19821 19823 19605 0 -1 4202496 36539 0 0 0 291 6 0 0 20 0 3 0 274736625 170717184 11094 33554432000 4194304 5965102 140734660763824 140734660763344 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19823/statm: 41679 11094 200 433 0 41243 0 [pid=19823/tid=19825] ppid=19821 vsize=166716 CPUtime=1.47 cores=0,2,4,6 /proc/19823/task/19825/stat : 19825 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 9517 0 0 0 145 2 0 0 20 0 3 0 274736626 170717184 11094 33554432000 4194304 5965102 140734660763824 140055111457112 4404630 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=19823/tid=19826] ppid=19821 vsize=166716 CPUtime=1.46 cores=0,2,4,6 /proc/19823/task/19826/stat : 19826 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 25685 0 0 0 142 4 0 0 20 0 3 0 274736626 170717184 11094 33554432000 4194304 5965102 140734660763824 140055100967432 4404630 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.97 Current children cumulated vsize (KiB) 166716 [startup+3.10033 s] /proc/loadavg: 4.00 3.88 3.14 5/181 19826 /proc/meminfo: memFree=29277252/32873844 swapFree=7112/7112 [pid=19823] ppid=19821 vsize=166716 CPUtime=6.17 cores=0,2,4,6 /proc/19823/stat : 19823 (pwbo2.0) S 19821 19823 19605 0 -1 4202496 41081 0 0 0 610 7 0 0 20 0 3 0 274736625 170717184 12410 33554432000 4194304 5965102 140734660763824 140734660763344 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19823/statm: 41679 12410 200 433 0 41243 0 [pid=19823/tid=19825] ppid=19821 vsize=166716 CPUtime=3.06 cores=0,2,4,6 /proc/19823/task/19825/stat : 19825 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 12189 0 0 0 304 2 0 0 20 0 3 0 274736626 170717184 12410 33554432000 4194304 5965102 140734660763824 140055111457112 4411779 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=19823/tid=19826] ppid=19821 vsize=166716 CPUtime=3.06 cores=0,2,4,6 /proc/19823/task/19826/stat : 19826 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 27555 0 0 0 301 5 0 0 20 0 3 0 274736626 170717184 12410 33554432000 4194304 5965102 140734660763824 140055100967576 4221984 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.17 Current children cumulated vsize (KiB) 166716 [startup+6.30032 s] /proc/loadavg: 4.00 3.88 3.15 5/181 19826 /proc/meminfo: memFree=29221204/32873844 swapFree=7112/7112 [pid=19823] ppid=19821 vsize=166716 CPUtime=12.57 cores=0,2,4,6 /proc/19823/stat : 19823 (pwbo2.0) S 19821 19823 19605 0 -1 4202496 44703 0 0 0 1249 8 0 0 20 0 3 0 274736625 170717184 15452 33554432000 4194304 5965102 140734660763824 140734660763344 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19823/statm: 41679 15452 200 433 0 41243 0 [pid=19823/tid=19825] ppid=19821 vsize=166716 CPUtime=6.25 cores=0,2,4,6 /proc/19823/task/19825/stat : 19825 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 14521 0 0 0 623 2 0 0 20 0 3 0 274736626 170717184 15452 33554432000 4194304 5965102 140734660763824 140055111457096 4404431 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=19823/tid=19826] ppid=19821 vsize=166716 CPUtime=6.25 cores=0,2,4,6 /proc/19823/task/19826/stat : 19826 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 28845 0 0 0 620 5 0 0 20 0 3 0 274736626 170717184 15452 33554432000 4194304 5965102 140734660763824 140055100966744 4404704 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.57 Current children cumulated vsize (KiB) 166716 [startup+12.7003 s] /proc/loadavg: 4.00 3.88 3.15 5/181 19826 /proc/meminfo: memFree=29091144/32873844 swapFree=7112/7112 [pid=19823] ppid=19821 vsize=171044 CPUtime=25.36 cores=0,2,4,6 /proc/19823/stat : 19823 (pwbo2.0) S 19821 19823 19605 0 -1 4202496 56470 0 0 0 2525 11 0 0 20 0 3 0 274736625 175149056 21432 33554432000 4194304 5965102 140734660763824 140734660763344 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19823/statm: 42761 21432 200 433 0 42325 0 [pid=19823/tid=19825] ppid=19821 vsize=171044 CPUtime=12.64 cores=0,2,4,6 /proc/19823/task/19825/stat : 19825 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 20132 0 0 0 1260 4 0 0 20 0 3 0 274736626 175149056 21432 33554432000 4194304 5965102 140734660763824 140055111457720 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=19823/tid=19826] ppid=19821 vsize=171044 CPUtime=12.63 cores=0,2,4,6 /proc/19823/task/19826/stat : 19826 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 35001 0 0 0 1256 7 0 0 20 0 3 0 274736626 175149056 21432 33554432000 4194304 5965102 140734660763824 140055100966744 4404748 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.36 Current children cumulated vsize (KiB) 171044 [startup+25.5003 s] /proc/loadavg: 4.00 3.89 3.16 5/181 19827 /proc/meminfo: memFree=28865332/32873844 swapFree=7112/7112 [pid=19823] ppid=19821 vsize=236712 CPUtime=50.96 cores=0,2,4,6 /proc/19823/stat : 19823 (pwbo2.0) S 19821 19823 19605 0 -1 4202496 64416 0 0 0 5082 14 0 0 20 0 3 0 274736625 242393088 27953 33554432000 4194304 5965102 140734660763824 140734660763344 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19823/statm: 59178 27953 200 433 0 58742 0 [pid=19823/tid=19825] ppid=19821 vsize=236712 CPUtime=25.4 cores=0,2,4,6 /proc/19823/task/19825/stat : 19825 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 25170 0 0 0 2534 6 0 0 20 0 3 0 274736626 242393088 27953 33554432000 4194304 5965102 140734660763824 140055111456760 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=19823/tid=19826] ppid=19821 vsize=236712 CPUtime=25.39 cores=0,2,4,6 /proc/19823/task/19826/stat : 19826 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 37909 0 0 0 2531 8 0 0 20 0 3 0 274736626 242393088 27953 33554432000 4194304 5965102 140734660763824 140055100967224 4404717 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 50.96 Current children cumulated vsize (KiB) 236712 [startup+51.1003 s] /proc/loadavg: 4.00 3.89 3.18 5/181 19827 /proc/meminfo: memFree=28457464/32873844 swapFree=7112/7112 [pid=19823] ppid=19821 vsize=237372 CPUtime=102.15 cores=0,2,4,6 /proc/19823/stat : 19823 (pwbo2.0) S 19821 19823 19605 0 -1 4202496 74643 0 0 0 10195 20 0 0 20 0 3 0 274736625 243068928 36139 33554432000 4194304 5965102 140734660763824 140734660763344 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19823/statm: 59343 36139 200 433 0 58907 0 [pid=19823/tid=19825] ppid=19821 vsize=237372 CPUtime=50.94 cores=0,2,4,6 /proc/19823/task/19825/stat : 19825 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 31450 0 0 0 5084 10 0 0 20 0 3 0 274736626 243068928 36139 33554432000 4194304 5965102 140734660763824 140055111456760 4401096 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=19823/tid=19826] ppid=19821 vsize=237372 CPUtime=50.93 cores=0,2,4,6 /proc/19823/task/19826/stat : 19826 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 41856 0 0 0 5084 9 0 0 20 0 3 0 274736626 243068928 36139 33554432000 4194304 5965102 140734660763824 140055100967576 4404416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.15 Current children cumulated vsize (KiB) 237372 [startup+102.307 s] /proc/loadavg: 4.00 3.91 3.22 5/181 19827 /proc/meminfo: memFree=27810524/32873844 swapFree=7112/7112 [pid=19823] ppid=19821 vsize=233308 CPUtime=204.55 cores=0,2,4,6 /proc/19823/stat : 19823 (pwbo2.0) S 19821 19823 19605 0 -1 4202496 83358 0 0 0 20433 22 0 0 20 0 3 0 274736625 238907392 38109 33554432000 4194304 5965102 140734660763824 140734660763344 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19823/statm: 58327 38109 200 433 0 57891 0 [pid=19823/tid=19825] ppid=19821 vsize=233308 CPUtime=102.01 cores=0,2,4,6 /proc/19823/task/19825/stat : 19825 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 34104 0 0 0 10189 12 0 0 20 0 3 0 274736626 238907392 38109 33554432000 4194304 5965102 140734660763824 140055111457112 4390140 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=19823/tid=19826] ppid=19821 vsize=233308 CPUtime=102 cores=0,2,4,6 /proc/19823/task/19826/stat : 19826 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 47917 0 0 0 10189 11 0 0 20 0 3 0 274736626 238907392 38109 33554432000 4194304 5965102 140734660763824 140055100967576 4404748 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 204.55 Current children cumulated vsize (KiB) 233308 [startup+162.3 s] /proc/loadavg: 4.00 3.92 3.27 5/181 19827 /proc/meminfo: memFree=27005172/32873844 swapFree=7112/7112 [pid=19823] ppid=19821 vsize=298992 CPUtime=324.51 cores=0,2,4,6 /proc/19823/stat : 19823 (pwbo2.0) S 19821 19823 19605 0 -1 4202496 97940 0 0 0 32415 36 0 0 20 0 3 0 274736625 306167808 52689 33554432000 4194304 5965102 140734660763824 140734660763344 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19823/statm: 74748 52689 200 433 0 74312 0 [pid=19823/tid=19825] ppid=19821 vsize=298992 CPUtime=161.85 cores=0,2,4,6 /proc/19823/task/19825/stat : 19825 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 44722 0 0 0 16162 23 0 0 20 0 3 0 274736626 306167808 52689 33554432000 4194304 5965102 140734660763824 140055111456760 4401107 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=19823/tid=19826] ppid=19821 vsize=298992 CPUtime=161.83 cores=0,2,4,6 /proc/19823/task/19826/stat : 19826 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 51881 0 0 0 16166 17 0 0 20 0 3 0 274736626 306167808 52689 33554432000 4194304 5965102 140734660763824 140055100966984 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 324.51 Current children cumulated vsize (KiB) 298992 [startup+222.3 s] /proc/loadavg: 4.00 3.93 3.31 5/181 19827 /proc/meminfo: memFree=26386936/32873844 swapFree=7112/7112 [pid=19823] ppid=19821 vsize=364528 CPUtime=444.5 cores=0,2,4,6 /proc/19823/stat : 19823 (pwbo2.0) S 19821 19823 19605 0 -1 4202496 108691 0 0 0 44409 41 0 0 20 0 3 0 274736625 373276672 63439 33554432000 4194304 5965102 140734660763824 140734660763344 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19823/statm: 91132 63439 200 433 0 90696 0 [pid=19823/tid=19825] ppid=19821 vsize=364528 CPUtime=221.7 cores=0,2,4,6 /proc/19823/task/19825/stat : 19825 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 48054 0 0 0 22146 24 0 0 20 0 3 0 274736626 373276672 63439 33554432000 4194304 5965102 140734660763824 140055111457096 4380288 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=19823/tid=19826] ppid=19821 vsize=364528 CPUtime=221.68 cores=0,2,4,6 /proc/19823/task/19826/stat : 19826 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 59300 0 0 0 22146 22 0 0 20 0 3 0 274736626 373276672 63439 33554432000 4194304 5965102 140734660763824 140055100967224 4404761 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 444.5 Current children cumulated vsize (KiB) 364528 [startup+282.3 s] /proc/loadavg: 4.00 3.94 3.35 5/181 19827 /proc/meminfo: memFree=25750736/32873844 swapFree=7112/7112 [pid=19823] ppid=19821 vsize=364660 CPUtime=564.48 cores=0,2,4,6 /proc/19823/stat : 19823 (pwbo2.0) S 19821 19823 19605 0 -1 4202496 112906 0 0 0 56401 47 0 0 20 0 3 0 274736625 373411840 67541 33554432000 4194304 5965102 140734660763824 140734660763344 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19823/statm: 91165 67541 200 433 0 90729 0 [pid=19823/tid=19825] ppid=19821 vsize=364660 CPUtime=281.55 cores=0,2,4,6 /proc/19823/task/19825/stat : 19825 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 48242 0 0 0 28130 25 0 0 20 0 3 0 274736626 373411840 67541 33554432000 4194304 5965102 140734660763824 140055111457608 4401118 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=19823/tid=19826] ppid=19821 vsize=364660 CPUtime=281.52 cores=0,2,4,6 /proc/19823/task/19826/stat : 19826 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 63327 0 0 0 28124 28 0 0 20 0 3 0 274736626 373411840 67541 33554432000 4194304 5965102 140734660763824 140055100967224 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 564.48 Current children cumulated vsize (KiB) 364660 [startup+342.3 s] /proc/loadavg: 4.00 3.95 3.39 5/182 19831 /proc/meminfo: memFree=25362372/32873844 swapFree=7112/7112 [pid=19823] ppid=19821 vsize=364660 CPUtime=684.46 cores=0,2,4,6 /proc/19823/stat : 19823 (pwbo2.0) S 19821 19823 19605 0 -1 4202496 113156 0 0 0 68399 47 0 0 20 0 3 0 274736625 373411840 67791 33554432000 4194304 5965102 140734660763824 140734660763344 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19823/statm: 91165 67791 200 433 0 90729 0 ################ # More data... # ################ [pid=19823/tid=19826] ppid=19821 vsize=364660 CPUtime=341.36 cores=0,2,4,6 /proc/19823/task/19826/stat : 19826 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 63332 0 0 0 34107 29 0 0 20 0 3 0 274736626 373411840 67791 33554432000 4194304 5965102 140734660763824 140055100967224 4222314 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 684.46 Current children cumulated vsize (KiB) 364660 [startup+402.3 s] /proc/loadavg: 4.05 3.97 3.43 5/181 19831 /proc/meminfo: memFree=24968600/32873844 swapFree=7112/7112 [pid=19823] ppid=19821 vsize=364792 CPUtime=804.44 cores=0,2,4,6 /proc/19823/stat : 19823 (pwbo2.0) S 19821 19823 19605 0 -1 4202496 122497 0 0 0 80390 54 0 0 20 0 3 0 274736625 373547008 77132 33554432000 4194304 5965102 140734660763824 140734660763344 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19823/statm: 91198 77132 200 433 0 90762 0 [pid=19823/tid=19825] ppid=19821 vsize=364792 CPUtime=401.24 cores=0,2,4,6 /proc/19823/task/19825/stat : 19825 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 53793 0 0 0 40094 30 0 0 20 0 3 0 274736626 373547008 77132 33554432000 4194304 5965102 140734660763824 140055111456568 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=19823/tid=19826] ppid=19821 vsize=364792 CPUtime=401.2 cores=0,2,4,6 /proc/19823/task/19826/stat : 19826 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 67367 0 0 0 40085 35 0 0 20 0 3 0 274736626 373547008 77132 33554432000 4194304 5965102 140734660763824 140055100966984 4404704 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 804.44 Current children cumulated vsize (KiB) 364792 [startup+462.3 s] /proc/loadavg: 4.02 3.97 3.46 5/181 19831 /proc/meminfo: memFree=24609192/32873844 swapFree=7112/7112 [pid=19823] ppid=19821 vsize=430328 CPUtime=924.42 cores=0,2,4,6 /proc/19823/stat : 19823 (pwbo2.0) S 19821 19823 19605 0 -1 4202496 128906 0 0 0 92381 61 0 0 20 0 3 0 274736625 440655872 83541 33554432000 4194304 5965102 140734660763824 140734660763344 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19823/statm: 107582 83541 200 433 0 107146 0 [pid=19823/tid=19825] ppid=19821 vsize=430328 CPUtime=461.08 cores=0,2,4,6 /proc/19823/task/19825/stat : 19825 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 60202 0 0 0 46070 38 0 0 20 0 3 0 274736626 440655872 83541 33554432000 4194304 5965102 140734660763824 140055111456280 4401109 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=19823/tid=19826] ppid=19821 vsize=430328 CPUtime=461.05 cores=0,2,4,6 /proc/19823/task/19826/stat : 19826 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 67367 0 0 0 46069 36 0 0 20 0 3 0 274736626 440655872 83541 33554432000 4194304 5965102 140734660763824 140055100966984 4404761 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 924.42 Current children cumulated vsize (KiB) 430328 [startup+522.3 s] /proc/loadavg: 4.00 3.97 3.49 5/181 19831 /proc/meminfo: memFree=24270080/32873844 swapFree=7112/7112 [pid=19823] ppid=19821 vsize=430468 CPUtime=1044.4 cores=0,2,4,6 /proc/19823/stat : 19823 (pwbo2.0) S 19821 19823 19605 0 -1 4202496 133039 0 0 0 104376 64 0 0 20 0 3 0 274736625 440799232 87359 33554432000 4194304 5965102 140734660763824 140734660763344 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19823/statm: 107617 87359 200 433 0 107181 0 [pid=19823/tid=19825] ppid=19821 vsize=430468 CPUtime=520.93 cores=0,2,4,6 /proc/19823/task/19825/stat : 19825 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 60216 0 0 0 52055 38 0 0 20 0 3 0 274736626 440799232 87359 33554432000 4194304 5965102 140734660763824 140055111456280 4401118 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=19823/tid=19826] ppid=19821 vsize=430468 CPUtime=520.89 cores=0,2,4,6 /proc/19823/task/19826/stat : 19826 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 71486 0 0 0 52050 39 0 0 20 0 3 0 274736626 440799232 87359 33554432000 4194304 5965102 140734660763824 140055100967576 4404759 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1044.4 Current children cumulated vsize (KiB) 430468 [startup+582.3 s] /proc/loadavg: 4.00 3.97 3.52 5/181 19831 /proc/meminfo: memFree=23910336/32873844 swapFree=7112/7112 [pid=19823] ppid=19821 vsize=430468 CPUtime=1164.39 cores=0,2,4,6 /proc/19823/stat : 19823 (pwbo2.0) S 19821 19823 19605 0 -1 4202496 140147 0 0 0 116369 70 0 0 20 0 3 0 274736625 440799232 94834 33554432000 4194304 5965102 140734660763824 140734660763344 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19823/statm: 107617 94834 200 433 0 107181 0 [pid=19823/tid=19825] ppid=19821 vsize=430468 CPUtime=580.77 cores=0,2,4,6 /proc/19823/task/19825/stat : 19825 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 67320 0 0 0 58032 45 0 0 20 0 3 0 274736626 440799232 94834 33554432000 4194304 5965102 140734660763824 140055111456760 4401107 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=19823/tid=19826] ppid=19821 vsize=430468 CPUtime=580.73 cores=0,2,4,6 /proc/19823/task/19826/stat : 19826 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 71490 0 0 0 58033 40 0 0 20 0 3 0 274736626 440799232 94834 33554432000 4194304 5965102 140734660763824 140055100967576 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1164.39 Current children cumulated vsize (KiB) 430468 [startup+642.3 s] /proc/loadavg: 4.00 3.97 3.55 5/181 19832 /proc/meminfo: memFree=23535172/32873844 swapFree=7112/7112 [pid=19823] ppid=19821 vsize=497192 CPUtime=1284.34 cores=0,2,4,6 /proc/19823/stat : 19823 (pwbo2.0) S 19821 19823 19605 0 -1 4202496 151387 0 0 0 128353 81 0 0 20 0 3 0 274736625 509124608 106273 33554432000 4194304 5965102 140734660763824 140734660763344 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19823/statm: 124298 106273 200 433 0 123862 0 [pid=19823/tid=19825] ppid=19821 vsize=497192 CPUtime=640.61 cores=0,2,4,6 /proc/19823/task/19825/stat : 19825 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 78259 0 0 0 64004 57 0 0 20 0 3 0 274736626 509124608 106273 33554432000 4194304 5965102 140734660763824 140055111456760 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=19823/tid=19826] ppid=19821 vsize=497192 CPUtime=640.57 cores=0,2,4,6 /proc/19823/task/19826/stat : 19826 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 71791 0 0 0 64016 41 0 0 20 0 3 0 274736626 509124608 106273 33554432000 4194304 5965102 140734660763824 140055100967160 4404757 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1284.34 Current children cumulated vsize (KiB) 497192 [startup+702.3 s] /proc/loadavg: 4.00 3.97 3.57 5/180 19832 /proc/meminfo: memFree=23214848/32873844 swapFree=7112/7112 [pid=19823] ppid=19821 vsize=497192 CPUtime=1404.29 cores=0,2,4,6 /proc/19823/stat : 19823 (pwbo2.0) S 19821 19823 19605 0 -1 4202496 152042 0 0 0 140347 82 0 0 20 0 3 0 274736625 509124608 106982 33554432000 4194304 5965102 140734660763824 140734660763344 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19823/statm: 124298 106982 200 433 0 123862 0 [pid=19823/tid=19825] ppid=19821 vsize=497192 CPUtime=700.41 cores=0,2,4,6 /proc/19823/task/19825/stat : 19825 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 78908 0 0 0 69982 59 0 0 20 0 3 0 274736626 509124608 106982 33554432000 4194304 5965102 140734660763824 140055111456760 4401107 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=19823/tid=19826] ppid=19821 vsize=497192 CPUtime=700.4 cores=0,2,4,6 /proc/19823/task/19826/stat : 19826 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 71797 0 0 0 69998 42 0 0 20 0 3 0 274736626 509124608 106982 33554432000 4194304 5965102 140734660763824 140055100967160 4404757 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1404.29 Current children cumulated vsize (KiB) 497192 [startup+762.307 s] /proc/loadavg: 4.00 3.97 3.60 5/181 19833 /proc/meminfo: memFree=22656892/32873844 swapFree=7112/7112 [pid=19823] ppid=19821 vsize=630696 CPUtime=1524.25 cores=0,2,4,6 /proc/19823/stat : 19823 (pwbo2.0) S 19821 19823 19605 0 -1 4202496 181405 0 0 0 152313 112 0 0 20 0 3 0 274736625 645832704 136364 33554432000 4194304 5965102 140734660763824 140734660763344 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19823/statm: 157674 136364 200 433 0 157238 0 [pid=19823/tid=19825] ppid=19821 vsize=630696 CPUtime=760.24 cores=0,2,4,6 /proc/19823/task/19825/stat : 19825 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 108266 0 0 0 75934 90 0 0 20 0 3 0 274736626 645832704 136364 33554432000 4194304 5965102 140734660763824 140055111456568 4401096 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=19823/tid=19826] ppid=19821 vsize=630696 CPUtime=760.25 cores=0,2,4,6 /proc/19823/task/19826/stat : 19826 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 71802 0 0 0 75982 43 0 0 20 0 3 0 274736626 645832704 136364 33554432000 4194304 5965102 140734660763824 140055100967160 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1524.25 Current children cumulated vsize (KiB) 630696 [startup+822.3 s] /proc/loadavg: 4.00 3.97 3.62 5/181 19874 /proc/meminfo: memFree=30797472/32873844 swapFree=7112/7112 [pid=19823] ppid=19821 vsize=761768 CPUtime=1644.18 cores=0,2,4,6 /proc/19823/stat : 19823 (pwbo2.0) S 19821 19823 19605 0 -1 4202496 213468 0 0 0 164266 152 0 0 20 0 3 0 274736625 780050432 168402 33554432000 4194304 5965102 140734660763824 140734660763344 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19823/statm: 190442 168402 200 433 0 190006 0 [pid=19823/tid=19825] ppid=19821 vsize=761768 CPUtime=820.06 cores=0,2,4,6 /proc/19823/task/19825/stat : 19825 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 140291 0 0 0 81875 131 0 0 20 0 3 0 274736626 780050432 168402 33554432000 4194304 5965102 140734660763824 140055111456280 4401559 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=19823/tid=19826] ppid=19821 vsize=761768 CPUtime=820.06 cores=0,2,4,6 /proc/19823/task/19826/stat : 19826 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 71840 0 0 0 81962 44 0 0 20 0 3 0 274736626 780050432 168402 33554432000 4194304 5965102 140734660763824 140055100967160 4404748 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1644.18 Current children cumulated vsize (KiB) 761768 [startup+882.3 s] /proc/loadavg: 4.00 3.97 3.64 5/181 19874 /proc/meminfo: memFree=30587212/32873844 swapFree=7112/7112 [pid=19823] ppid=19821 vsize=827304 CPUtime=1764.16 cores=0,2,4,6 /proc/19823/stat : 19823 (pwbo2.0) S 19821 19823 19605 0 -1 4202496 239723 0 0 0 176242 174 0 0 20 0 3 0 274736625 847159296 195854 33554432000 4194304 5965102 140734660763824 140734660763344 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19823/statm: 206826 195854 200 433 0 206390 0 [pid=19823/tid=19825] ppid=19821 vsize=827304 CPUtime=879.91 cores=0,2,4,6 /proc/19823/task/19825/stat : 19825 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 166542 0 0 0 87837 154 0 0 20 0 3 0 274736626 847159296 195854 33554432000 4194304 5965102 140734660763824 140055111456280 4401109 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=19823/tid=19826] ppid=19821 vsize=827304 CPUtime=879.9 cores=0,2,4,6 /proc/19823/task/19826/stat : 19826 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 71844 0 0 0 87945 45 0 0 20 0 3 0 274736626 847159296 195854 33554432000 4194304 5965102 140734660763824 140055100967160 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1764.16 Current children cumulated vsize (KiB) 827304 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+900.3 s] /proc/loadavg: 4.00 3.97 3.65 5/182 19877 /proc/meminfo: memFree=30544708/32873844 swapFree=7112/7112 [pid=19823] ppid=19821 vsize=895272 CPUtime=1800.16 cores=0,2,4,6 /proc/19823/stat : 19823 (pwbo2.0) S 19821 19823 19605 0 -1 4202496 248898 0 0 0 179832 184 0 0 20 0 3 0 274736625 916758528 205538 33554432000 4194304 5965102 140734660763824 140734660763344 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19823/statm: 223818 205538 200 433 0 223382 0 [pid=19823/tid=19825] ppid=19821 vsize=895272 CPUtime=897.87 cores=0,2,4,6 /proc/19823/task/19825/stat : 19825 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 175717 0 0 0 89623 164 0 0 20 0 3 0 274736626 916758528 205538 33554432000 4194304 5965102 140734660763824 140055111456760 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=19823/tid=19826] ppid=19821 vsize=895272 CPUtime=897.86 cores=0,2,4,6 /proc/19823/task/19826/stat : 19826 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 71844 0 0 0 89741 45 0 0 20 0 3 0 274736626 916758528 205538 33554432000 4194304 5965102 140734660763824 140055100967160 4404759 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 895272 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+900.3 s] /proc/loadavg: 4.00 3.97 3.65 5/182 19877 /proc/meminfo: memFree=30544708/32873844 swapFree=7112/7112 [pid=19823] ppid=19821 vsize=895272 CPUtime=1800.16 cores=0,2,4,6 /proc/19823/stat : 19823 (pwbo2.0) S 19821 19823 19605 0 -1 4202496 248898 0 0 0 179832 184 0 0 20 0 3 0 274736625 916758528 205538 33554432000 4194304 5965102 140734660763824 140734660763344 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19823/statm: 223818 205538 200 433 0 223382 0 [pid=19823/tid=19825] ppid=19821 vsize=895272 CPUtime=897.87 cores=0,2,4,6 /proc/19823/task/19825/stat : 19825 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 175717 0 0 0 89623 164 0 0 20 0 3 0 274736626 916758528 205538 33554432000 4194304 5965102 140734660763824 140055111456760 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=19823/tid=19826] ppid=19821 vsize=895272 CPUtime=897.86 cores=0,2,4,6 /proc/19823/task/19826/stat : 19826 (pwbo2.0) R 19821 19823 19605 0 -1 4202560 71844 0 0 0 89741 45 0 0 20 0 3 0 274736626 916758528 205538 33554432000 4194304 5965102 140734660763824 140055100967160 4404759 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 895272 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 19823 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=669320 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=145673 # CPU time returned by wait4() is 1795.81 # while last known CPU time is 1800.16 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 900.346 CPU time (s): 1800.16 CPU user time (s): 1798.32 CPU system time (s): 1.84 CPU usage (%): 199.941 Max. virtual memory (cumulated for all children) (KiB): 895272 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.67 system time used= 2.14567 maximum resident set size= 822164 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 248901 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= 340 involuntary context switches= 2012 runsolver used 1.12183 second user time and 5.64414 second system time The end
Begin job on node119 at 2012-05-27 04:35:09 IDJOB=3703474 IDBENCH=1871 IDSOLVER=2279 FILE ID=node119/3703474-1338086109 RUNJOBID= node119-1338085105-19621 PBS_JOBID= 14624426 Free space on /tmp= 71608 MiB SOLVER NAME= pwbo 2.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3703474-1338086109/watcher-3703474-1338086109 -o /tmp/evaluation-result-3703474-1338086109/solver-3703474-1338086109 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703474-1338086109.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 54b9b4de78a7992fd69d0caeed32daef RANDOM SEED=1212272469 node119.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.88 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29351088 kB Buffers: 252504 kB Cached: 262792 kB SwapCached: 1776 kB Active: 2672796 kB Inactive: 50384 kB Active(anon): 2207928 kB Inactive(anon): 1976 kB Active(file): 464868 kB Inactive(file): 48408 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67100168 kB Dirty: 5432 kB Writeback: 0 kB AnonPages: 2234032 kB Mapped: 12540 kB Shmem: 8 kB Slab: 655396 kB SReclaimable: 97532 kB SUnreclaim: 557864 kB KernelStack: 1504 kB PageTables: 8140 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 167812 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 133120 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71600 MiB End job on node119 at 2012-05-27 04:50:12