Trace number 3725775

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pwbo 2.02SAT (TO)3618 1800.13 900.345

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-p2756.opb
MD5SUM54b9b4de78a7992fd69d0caeed32daef
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3124
Best CPU time to get the best result obtained on this benchmark1.66275
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3695
Optimality of the best value was proved NO
Number of variables2756
Total number of constraints749
Number of constraints which are clauses132
Number of constraints which are cardinality constraints (but not clauses)220
Number of constraints which are nor clauses,nor cardinality constraints397
Minimum length of a constraint2
Maximum length of a constraint546
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 numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                     2.02 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3725775-1338651516.opb.
0.00/0.00	c Instance file HOME/instance-3725775-1338651516.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.02	c |  Problem Type:          Optimization                                        |
0.00/0.02	c |  Objective Function:    Cardinality Constraint                              |
0.00/0.02	c |                                                                             |
0.00/0.02	c ===============================================================================
1800.13/900.31	o 5653
1800.13/900.31	o 5129
1800.13/900.31	o 5078
1800.13/900.31	o 4743
1800.13/900.31	o 4705
1800.13/900.31	o 4683
1800.13/900.31	o 4672
1800.13/900.31	o 4669
1800.13/900.31	o 4664
1800.13/900.31	o 4662
1800.13/900.31	o 4657
1800.13/900.31	o 4654
1800.13/900.31	o 4643
1800.13/900.31	o 4642
1800.13/900.31	o 4636
1800.13/900.31	o 4635
1800.13/900.31	o 4627
1800.13/900.31	o 4605
1800.13/900.31	o 4600
1800.13/900.31	o 4599
1800.13/900.31	o 4594
1800.13/900.31	o 4593
1800.13/900.31	o 4505
1800.13/900.31	o 4405
1800.13/900.31	o 4375
1800.13/900.31	o 4373
1800.13/900.31	o 4362
1800.13/900.31	o 4361
1800.13/900.31	o 4358
1800.13/900.31	o 4356
1800.13/900.31	o 4345
1800.13/900.31	o 4343
1800.13/900.31	o 4342
1800.13/900.31	o 4340
1800.13/900.31	o 4332
1800.13/900.31	o 4313
1800.13/900.31	o 4310
1800.13/900.31	o 4309
1800.13/900.31	o 4308
1800.13/900.31	o 4302
1800.13/900.31	o 4298
1800.13/900.31	o 4296
1800.13/900.31	o 4291
1800.13/900.31	o 4284
1800.13/900.31	o 4278
1800.13/900.31	o 4271
1800.13/900.31	o 4258
1800.13/900.31	o 4255
1800.13/900.31	o 4253
1800.13/900.31	o 4252
1800.13/900.31	o 4247
1800.13/900.31	o 4246
1800.13/900.31	o 4245
1800.13/900.31	o 4210
1800.13/900.31	o 4206
1800.13/900.31	o 4190
1800.13/900.31	o 4153
1800.13/900.31	o 4146
1800.13/900.31	o 4143
1800.13/900.31	o 4142
1800.13/900.31	o 4141
1800.13/900.31	o 4132
1800.13/900.31	o 4128
1800.13/900.31	o 4127
1800.13/900.31	o 4126
1800.13/900.31	o 4125
1800.13/900.31	o 4114
1800.13/900.31	o 4108
1800.13/900.31	o 4097
1800.13/900.31	o 4096
1800.13/900.31	o 4095
1800.13/900.31	o 4092
1800.13/900.31	o 4091
1800.13/900.31	o 4090
1800.13/900.31	o 4088
1800.13/900.31	o 4087
1800.13/900.31	o 4086
1800.13/900.31	o 4082
1800.13/900.31	o 4081
1800.13/900.31	o 4079
1800.13/900.31	o 4078
1800.13/900.31	o 4075
1800.13/900.31	o 4074
1800.13/900.31	o 4073
1800.13/900.31	o 4072
1800.13/900.31	o 4071
1800.13/900.31	o 4070
1800.13/900.31	o 4068
1800.13/900.31	o 4066
1800.13/900.31	o 4065
1800.13/900.31	o 4062
1800.13/900.31	o 4056
1800.13/900.31	o 4052
1800.13/900.31	o 4050
1800.13/900.31	o 4045
1800.13/900.31	o 4043
1800.13/900.31	o 4040
1800.13/900.31	o 4035
1800.13/900.31	o 4034
1800.13/900.31	o 4033
1800.13/900.31	o 4032
1800.13/900.31	o 4031
1800.13/900.31	o 4026
1800.13/900.31	o 4025
1800.13/900.31	o 4017
1800.13/900.31	o 4011
1800.13/900.31	o 4008
1800.13/900.31	o 4006
1800.13/900.31	o 4005
1800.13/900.31	o 4004
1800.13/900.31	o 4002
1800.13/900.31	o 3992
1800.13/900.31	o 3989
1800.13/900.31	o 3988
1800.13/900.31	o 3987
1800.13/900.31	o 3985
1800.13/900.31	o 3982
1800.13/900.31	o 3980
1800.13/900.31	o 3927
1800.13/900.31	o 3926
1800.13/900.31	o 3919
1800.13/900.31	o 3918
1800.13/900.31	o 3916
1800.13/900.31	o 3915
1800.13/900.31	o 3910
1800.13/900.31	o 3904
1800.13/900.31	o 3903
1800.13/900.31	o 3902
1800.13/900.31	o 3901
1800.13/900.31	o 3900
1800.13/900.31	o 3898
1800.13/900.31	o 3896
1800.13/900.31	o 3895
1800.13/900.31	o 3893
1800.13/900.31	o 3892
1800.13/900.31	o 3889
1800.13/900.31	o 3886
1800.13/900.31	o 3885
1800.13/900.31	o 3882
1800.13/900.31	o 3877
1800.13/900.31	o 3869
1800.13/900.31	o 3867
1800.13/900.31	o 3866
1800.13/900.31	o 3851
1800.13/900.31	o 3846
1800.13/900.31	o 3828
1800.13/900.31	o 3750
1800.13/900.31	o 3707
1800.13/900.31	o 3703
1800.13/900.31	o 3702
1800.13/900.31	o 3697
1800.13/900.31	o 3693
1800.13/900.31	o 3692
1800.13/900.31	o 3691
1800.13/900.31	o 3690
1800.13/900.31	o 3640
1800.13/900.31	o 3623
1800.13/900.31	o 3622
1800.13/900.31	o 3618
1800.13/900.31	c ===============================================================================
1800.13/900.31	c Wall Clock Time: 900.31 s
1800.13/900.31	c Best Solution: 3618
1800.13/900.31	s SATISFIABLE
1800.13/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

Verifier Data 

OK	3618

Watcher Data 

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-3725775-1338651516/watcher-3725775-1338651516 -o /tmp/evaluation-result-3725775-1338651516/solver-3725775-1338651516 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725775-1338651516.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: 1.43 1.86 1.95 3/175 32308
/proc/meminfo: memFree=29117588/32873844 swapFree=7644/7644
[pid=32308] ppid=32306 vsize=4820 CPUtime=0 cores=0,2,4,6
/proc/32308/stat : 32308 (pwbo2.02) R 32306 32308 30509 0 -1 4202496 480 0 0 0 0 0 0 0 20 0 1 0 331276045 4935680 433 33554432000 4194304 5964478 140733657270048 140736580804776 4403198 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/32308/statm: 1205 433 161 433 0 741 0

[startup+0.0278669 s]
/proc/loadavg: 1.43 1.86 1.95 3/175 32308
/proc/meminfo: memFree=29117588/32873844 swapFree=7644/7644
[pid=32308] ppid=32306 vsize=167748 CPUtime=0.02 cores=0,2,4,6
/proc/32308/stat : 32308 (pwbo2.02) S 32306 32308 30509 0 -1 4202496 2680 0 0 0 2 0 0 0 20 0 3 0 331276045 171773952 2602 33554432000 4194304 5964478 140733657270048 140733657269568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32308/statm: 41937 2602 195 433 0 41501 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 167748

[startup+0.100184 s]
/proc/loadavg: 1.43 1.86 1.95 3/175 32308
/proc/meminfo: memFree=29117588/32873844 swapFree=7644/7644
[pid=32308] ppid=32306 vsize=165924 CPUtime=0.16 cores=0,2,4,6
/proc/32308/stat : 32308 (pwbo2.02) S 32306 32308 30509 0 -1 4202496 8250 0 0 0 15 1 0 0 20 0 3 0 331276045 169906176 3290 33554432000 4194304 5964478 140733657270048 140733657269568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32308/statm: 41481 3290 196 433 0 41045 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 165924

[startup+0.30016 s]
/proc/loadavg: 1.43 1.86 1.95 3/175 32308
/proc/meminfo: memFree=29117588/32873844 swapFree=7644/7644
[pid=32308] ppid=32306 vsize=166056 CPUtime=0.56 cores=0,2,4,6
/proc/32308/stat : 32308 (pwbo2.02) S 32306 32308 30509 0 -1 4202496 22683 0 0 0 53 3 0 0 20 0 3 0 331276045 170041344 6232 33554432000 4194304 5964478 140733657270048 140733657269568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32308/statm: 41514 6232 196 433 0 41078 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 166056

[startup+0.700162 s]
/proc/loadavg: 1.43 1.86 1.95 3/175 32308
/proc/meminfo: memFree=29117588/32873844 swapFree=7644/7644
[pid=32308] ppid=32306 vsize=166188 CPUtime=1.36 cores=0,2,4,6
/proc/32308/stat : 32308 (pwbo2.02) S 32306 32308 30509 0 -1 4202496 30171 0 0 0 131 5 0 0 20 0 3 0 331276045 170176512 8606 33554432000 4194304 5964478 140733657270048 140733657269568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32308/statm: 41547 8606 198 433 0 41111 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 166188

[startup+1.50034 s]
/proc/loadavg: 1.43 1.86 1.95 6/181 32314
/proc/meminfo: memFree=29051384/32873844 swapFree=7644/7644
[pid=32308] ppid=32306 vsize=166188 CPUtime=2.96 cores=0,2,4,6
/proc/32308/stat : 32308 (pwbo2.02) S 32306 32308 30509 0 -1 4202496 33773 0 0 0 290 6 0 0 20 0 3 0 331276045 170176512 10381 33554432000 4194304 5964478 140733657270048 140733657269568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32308/statm: 41547 10381 198 433 0 41111 0
[pid=32308/tid=32311] ppid=32306 vsize=166188 CPUtime=1.46 cores=0,2,4,6
/proc/32308/task/32311/stat : 32311 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 8778 0 0 0 145 1 0 0 20 0 3 0 331276047 170176512 10381 33554432000 4194304 5964478 140733657270048 140447374985560 5142509 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32308/tid=32312] ppid=32306 vsize=166188 CPUtime=1.46 cores=0,2,4,6
/proc/32308/task/32312/stat : 32312 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 23657 0 0 0 142 4 0 0 20 0 3 0 331276047 170176512 10381 33554432000 4194304 5964478 140733657270048 140447364496024 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 166188

[startup+3.10033 s]
/proc/loadavg: 1.64 1.89 1.96 6/181 32314
/proc/meminfo: memFree=29040472/32873844 swapFree=7644/7644
[pid=32308] ppid=32306 vsize=166188 CPUtime=6.16 cores=0,2,4,6
/proc/32308/stat : 32308 (pwbo2.02) S 32306 32308 30509 0 -1 4202496 36742 0 0 0 609 7 0 0 20 0 3 0 331276045 170176512 12198 33554432000 4194304 5964478 140733657270048 140733657269568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32308/statm: 41547 12198 198 433 0 41111 0
[pid=32308/tid=32311] ppid=32306 vsize=166188 CPUtime=3.07 cores=0,2,4,6
/proc/32308/task/32311/stat : 32311 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 10636 0 0 0 305 2 0 0 20 0 3 0 331276047 170176512 12198 33554432000 4194304 5964478 140733657270048 140447374985752 4407163 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32308/tid=32312] ppid=32306 vsize=166188 CPUtime=3.06 cores=0,2,4,6
/proc/32308/task/32312/stat : 32312 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 24768 0 0 0 301 5 0 0 20 0 3 0 331276047 170176512 12198 33554432000 4194304 5964478 140733657270048 140447364495672 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 166188

[startup+6.30034 s]
/proc/loadavg: 1.64 1.89 1.96 6/181 32314
/proc/meminfo: memFree=29023856/32873844 swapFree=7644/7644
[pid=32308] ppid=32306 vsize=166320 CPUtime=12.56 cores=0,2,4,6
/proc/32308/stat : 32308 (pwbo2.02) S 32306 32308 30509 0 -1 4202496 42471 0 0 0 1248 8 0 0 20 0 3 0 331276045 170311680 16453 33554432000 4194304 5964478 140733657270048 140733657269568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32308/statm: 41580 16453 198 433 0 41144 0
[pid=32308/tid=32311] ppid=32306 vsize=166320 CPUtime=6.25 cores=0,2,4,6
/proc/32308/task/32311/stat : 32311 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 14566 0 0 0 623 2 0 0 20 0 3 0 331276047 170311680 16453 33554432000 4194304 5964478 140733657270048 140447374985544 4400078 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32308/tid=32312] ppid=32306 vsize=166320 CPUtime=6.25 cores=0,2,4,6
/proc/32308/task/32312/stat : 32312 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 26567 0 0 0 620 5 0 0 20 0 3 0 331276047 170311680 16453 33554432000 4194304 5964478 140733657270048 140447364495672 4403727 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 166320

[startup+12.7003 s]
/proc/loadavg: 2.00 1.96 1.98 6/181 32314
/proc/meminfo: memFree=28971344/32873844 swapFree=7644/7644
[pid=32308] ppid=32306 vsize=166320 CPUtime=25.36 cores=0,2,4,6
/proc/32308/stat : 32308 (pwbo2.02) S 32306 32308 30509 0 -1 4202496 47906 0 0 0 2526 10 0 0 20 0 3 0 331276045 170311680 21888 33554432000 4194304 5964478 140733657270048 140733657269568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32308/statm: 41580 21888 198 433 0 41144 0
[pid=32308/tid=32311] ppid=32306 vsize=166320 CPUtime=12.63 cores=0,2,4,6
/proc/32308/task/32311/stat : 32311 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 16767 0 0 0 1261 2 0 0 20 0 3 0 331276047 170311680 21888 33554432000 4194304 5964478 140733657270048 140447374985208 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32308/tid=32312] ppid=32306 vsize=166320 CPUtime=12.63 cores=0,2,4,6
/proc/32308/task/32312/stat : 32312 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 29801 0 0 0 1256 7 0 0 20 0 3 0 331276047 170311680 21888 33554432000 4194304 5964478 140733657270048 140447364495672 4221984 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) 166320

[startup+25.5004 s]
/proc/loadavg: 2.31 2.03 2.01 6/181 32314
/proc/meminfo: memFree=28918184/32873844 swapFree=7644/7644
[pid=32308] ppid=32306 vsize=170648 CPUtime=50.94 cores=0,2,4,6
/proc/32308/stat : 32308 (pwbo2.02) S 32306 32308 30509 0 -1 4202496 52842 0 0 0 5083 11 0 0 20 0 3 0 331276045 174743552 26415 33554432000 4194304 5964478 140733657270048 140733657269568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32308/statm: 42662 26415 198 433 0 42226 0
[pid=32308/tid=32311] ppid=32306 vsize=170648 CPUtime=25.39 cores=0,2,4,6
/proc/32308/task/32311/stat : 32311 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 21003 0 0 0 2536 3 0 0 20 0 3 0 331276047 174743552 26415 33554432000 4194304 5964478 140733657270048 140447374985576 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32308/tid=32312] ppid=32306 vsize=170648 CPUtime=25.4 cores=0,2,4,6
/proc/32308/task/32312/stat : 32312 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 30501 0 0 0 2533 7 0 0 20 0 3 0 331276047 174743552 26415 33554432000 4194304 5964478 140733657270048 140447364495704 4389160 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 170648

[startup+51.1004 s]
/proc/loadavg: 2.88 2.18 2.06 6/181 32314
/proc/meminfo: memFree=28855408/32873844 swapFree=7644/7644
[pid=32308] ppid=32306 vsize=236316 CPUtime=102.12 cores=0,2,4,6
/proc/32308/stat : 32308 (pwbo2.02) S 32306 32308 30509 0 -1 4202496 61848 0 0 0 10182 30 0 0 20 0 3 0 331276045 241987584 34849 33554432000 4194304 5964478 140733657270048 140733657269568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32308/statm: 59079 34849 198 433 0 58643 0
[pid=32308/tid=32311] ppid=32306 vsize=236316 CPUtime=50.91 cores=0,2,4,6
/proc/32308/task/32311/stat : 32311 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 29385 0 0 0 5069 22 0 0 20 0 3 0 331276047 241987584 34849 33554432000 4194304 5964478 140733657270048 140447374985016 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32308/tid=32312] ppid=32306 vsize=236316 CPUtime=50.93 cores=0,2,4,6
/proc/32308/task/32312/stat : 32312 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 31125 0 0 0 5086 7 0 0 20 0 3 0 331276047 241987584 34849 33554432000 4194304 5964478 140733657270048 140447364496024 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 236316

[startup+102.307 s]
/proc/loadavg: 3.55 2.49 2.17 6/182 32317
/proc/meminfo: memFree=28739024/32873844 swapFree=7644/7644
[pid=32308] ppid=32306 vsize=234548 CPUtime=204.51 cores=0,2,4,6
/proc/32308/stat : 32308 (pwbo2.02) S 32306 32308 30509 0 -1 4202496 76358 0 0 0 20397 54 0 0 20 0 3 0 331276045 240177152 45297 33554432000 4194304 5964478 140733657270048 140733657269568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32308/statm: 58637 45297 198 433 0 58201 0
[pid=32308/tid=32311] ppid=32306 vsize=234548 CPUtime=101.99 cores=0,2,4,6
/proc/32308/task/32311/stat : 32311 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 36969 0 0 0 10155 44 0 0 20 0 3 0 331276047 240177152 45297 33554432000 4194304 5964478 140733657270048 140447374985208 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32308/tid=32312] ppid=32306 vsize=234548 CPUtime=102 cores=0,2,4,6
/proc/32308/task/32312/stat : 32312 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 38051 0 0 0 10188 12 0 0 20 0 3 0 331276047 240177152 45297 33554432000 4194304 5964478 140733657270048 140447364496024 4403721 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.51
Current children cumulated vsize (KiB) 234548

[startup+162.3 s]
/proc/loadavg: 3.82 2.74 2.27 6/181 32317
/proc/meminfo: memFree=28603592/32873844 swapFree=7644/7644
[pid=32308] ppid=32306 vsize=298052 CPUtime=324.48 cores=0,2,4,6
/proc/32308/stat : 32308 (pwbo2.02) S 32306 32308 30509 0 -1 4202496 87134 0 0 0 32374 74 0 0 20 0 3 0 331276045 305205248 53178 33554432000 4194304 5964478 140733657270048 140733657269568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32308/statm: 74513 53178 198 433 0 74077 0
[pid=32308/tid=32311] ppid=32306 vsize=298052 CPUtime=161.83 cores=0,2,4,6
/proc/32308/task/32311/stat : 32311 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 45473 0 0 0 16119 64 0 0 20 0 3 0 331276047 305205248 53178 33554432000 4194304 5964478 140733657270048 140447374986168 4400115 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32308/tid=32312] ppid=32306 vsize=298052 CPUtime=161.84 cores=0,2,4,6
/proc/32308/task/32312/stat : 32312 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 40323 0 0 0 16171 13 0 0 20 0 3 0 331276047 305205248 53178 33554432000 4194304 5964478 140733657270048 140447364495432 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.48
Current children cumulated vsize (KiB) 298052

[startup+222.3 s]
/proc/loadavg: 3.97 3.00 2.39 6/181 32317
/proc/meminfo: memFree=28466848/32873844 swapFree=7644/7644
[pid=32308] ppid=32306 vsize=363588 CPUtime=444.46 cores=0,2,4,6
/proc/32308/stat : 32308 (pwbo2.02) S 32306 32308 30509 0 -1 4202496 95168 0 0 0 44362 84 0 0 20 0 3 0 331276045 372314112 61212 33554432000 4194304 5964478 140733657270048 140733657269568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32308/statm: 90897 61212 198 433 0 90461 0
[pid=32308/tid=32311] ppid=32306 vsize=363588 CPUtime=221.67 cores=0,2,4,6
/proc/32308/task/32311/stat : 32311 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 45758 0 0 0 22102 65 0 0 20 0 3 0 331276047 372314112 61212 33554432000 4194304 5964478 140733657270048 140447374986168 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32308/tid=32312] ppid=32306 vsize=363588 CPUtime=221.68 cores=0,2,4,6
/proc/32308/task/32312/stat : 32312 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 48072 0 0 0 22144 24 0 0 20 0 3 0 331276047 372314112 61212 33554432000 4194304 5964478 140733657270048 140447364495672 4403719 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.46
Current children cumulated vsize (KiB) 363588

[startup+282.3 s]
/proc/loadavg: 3.99 3.16 2.48 6/181 32318
/proc/meminfo: memFree=28380548/32873844 swapFree=7644/7644
[pid=32308] ppid=32306 vsize=430048 CPUtime=564.42 cores=0,2,4,6
/proc/32308/stat : 32308 (pwbo2.02) S 32306 32308 30509 0 -1 4202496 107984 0 0 0 56353 89 0 0 20 0 3 0 331276045 440369152 74030 33554432000 4194304 5964478 140733657270048 140733657269568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32308/statm: 107512 74030 198 433 0 107076 0
[pid=32308/tid=32311] ppid=32306 vsize=430048 CPUtime=281.51 cores=0,2,4,6
/proc/32308/task/32311/stat : 32311 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 58337 0 0 0 28080 71 0 0 20 0 3 0 331276047 440369152 74030 33554432000 4194304 5964478 140733657270048 140447374985560 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32308/tid=32312] ppid=32306 vsize=430048 CPUtime=281.53 cores=0,2,4,6
/proc/32308/task/32312/stat : 32312 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 48309 0 0 0 28128 25 0 0 20 0 3 0 331276047 440369152 74030 33554432000 4194304 5964478 140733657270048 140447364495608 4403370 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.42
Current children cumulated vsize (KiB) 430048

[startup+342.3 s]
/proc/loadavg: 3.99 3.31 2.57 6/181 32318
/proc/meminfo: memFree=28355272/32873844 swapFree=7644/7644
[pid=32308] ppid=32306 vsize=431372 CPUtime=684.4 cores=0,2,4,6
/proc/32308/stat : 32308 (pwbo2.02) S 32306 32308 30509 0 -1 4202496 108312 0 0 0 68350 90 0 0 20 0 3 0 331276045 441724928 72447 33554432000 4194304 5964478 140733657270048 140733657269568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32308/statm: 107843 72447 198 433 0 107407 0

################
# More data... #
################

[pid=32308/tid=32312] ppid=32306 vsize=431372 CPUtime=341.37 cores=0,2,4,6
/proc/32308/task/32312/stat : 32312 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 48621 0 0 0 34110 27 0 0 20 0 3 0 331276047 441724928 72447 33554432000 4194304 5964478 140733657270048 140447364495608 4403721 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.4
Current children cumulated vsize (KiB) 431372

[startup+402.3 s]
/proc/loadavg: 3.99 3.43 2.66 6/181 32318
/proc/meminfo: memFree=28285520/32873844 swapFree=7644/7644
[pid=32308] ppid=32306 vsize=431372 CPUtime=804.35 cores=0,2,4,6
/proc/32308/stat : 32308 (pwbo2.02) S 32306 32308 30509 0 -1 4202496 117964 0 0 0 80337 98 0 0 20 0 3 0 331276045 441724928 82069 33554432000 4194304 5964478 140733657270048 140733657269568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32308/statm: 107843 82069 198 433 0 107407 0
[pid=32308/tid=32311] ppid=32306 vsize=431372 CPUtime=401.16 cores=0,2,4,6
/proc/32308/task/32311/stat : 32311 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 68004 0 0 0 40035 81 0 0 20 0 3 0 331276047 441724928 82069 33554432000 4194304 5964478 140733657270048 140447374985208 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32308/tid=32312] ppid=32306 vsize=431372 CPUtime=401.22 cores=0,2,4,6
/proc/32308/task/32312/stat : 32312 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 48622 0 0 0 40094 28 0 0 20 0 3 0 331276047 441724928 82069 33554432000 4194304 5964478 140733657270048 140447364495608 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.35
Current children cumulated vsize (KiB) 431372

[startup+462.3 s]
/proc/loadavg: 3.99 3.54 2.74 6/181 32318
/proc/meminfo: memFree=28169464/32873844 swapFree=7644/7644
[pid=32308] ppid=32306 vsize=496908 CPUtime=924.31 cores=0,2,4,6
/proc/32308/stat : 32308 (pwbo2.02) S 32306 32308 30509 0 -1 4202496 136969 0 0 0 92325 106 0 0 20 0 3 0 331276045 508833792 101068 33554432000 4194304 5964478 140733657270048 140733657269568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32308/statm: 124227 101068 198 433 0 123791 0
[pid=32308/tid=32311] ppid=32306 vsize=496908 CPUtime=461 cores=0,2,4,6
/proc/32308/task/32311/stat : 32311 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 86987 0 0 0 46010 90 0 0 20 0 3 0 331276047 508833792 101068 33554432000 4194304 5964478 140733657270048 140447374984728 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32308/tid=32312] ppid=32306 vsize=496908 CPUtime=461.06 cores=0,2,4,6
/proc/32308/task/32312/stat : 32312 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 48644 0 0 0 46077 29 0 0 20 0 3 0 331276047 508833792 101068 33554432000 4194304 5964478 140733657270048 140447364495608 4403717 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.31
Current children cumulated vsize (KiB) 496908

[startup+522.3 s]
/proc/loadavg: 3.99 3.62 2.81 6/181 32318
/proc/meminfo: memFree=28056652/32873844 swapFree=7644/7644
[pid=32308] ppid=32306 vsize=496908 CPUtime=1044.29 cores=0,2,4,6
/proc/32308/stat : 32308 (pwbo2.02) S 32306 32308 30509 0 -1 4202496 140546 0 0 0 104320 109 0 0 20 0 3 0 331276045 508833792 104645 33554432000 4194304 5964478 140733657270048 140733657269568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32308/statm: 124227 104645 198 433 0 123791 0
[pid=32308/tid=32311] ppid=32306 vsize=496908 CPUtime=520.85 cores=0,2,4,6
/proc/32308/task/32311/stat : 32311 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 86997 0 0 0 51994 91 0 0 20 0 3 0 331276047 508833792 104645 33554432000 4194304 5964478 140733657270048 140447374984728 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32308/tid=32312] ppid=32306 vsize=496908 CPUtime=520.91 cores=0,2,4,6
/proc/32308/task/32312/stat : 32312 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 52211 0 0 0 52059 32 0 0 20 0 3 0 331276047 508833792 104645 33554432000 4194304 5964478 140733657270048 140447364495672 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.29
Current children cumulated vsize (KiB) 496908

[startup+582.3 s]
/proc/loadavg: 3.99 3.68 2.89 6/181 32319
/proc/meminfo: memFree=27928216/32873844 swapFree=7644/7644
[pid=32308] ppid=32306 vsize=628124 CPUtime=1164.28 cores=0,2,4,6
/proc/32308/stat : 32308 (pwbo2.02) S 32306 32308 30509 0 -1 4202496 161042 0 0 0 116307 121 0 0 20 0 3 0 331276045 643198976 125139 33554432000 4194304 5964478 140733657270048 140733657269568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32308/statm: 157031 125139 198 433 0 156595 0
[pid=32308/tid=32311] ppid=32306 vsize=628124 CPUtime=580.69 cores=0,2,4,6
/proc/32308/task/32311/stat : 32311 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 107477 0 0 0 57966 103 0 0 20 0 3 0 331276047 643198976 125139 33554432000 4194304 5964478 140733657270048 140447374984728 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32308/tid=32312] ppid=32306 vsize=628124 CPUtime=580.75 cores=0,2,4,6
/proc/32308/task/32312/stat : 32312 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 52227 0 0 0 58042 33 0 0 20 0 3 0 331276047 643198976 125139 33554432000 4194304 5964478 140733657270048 140447364495432 4389199 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.28
Current children cumulated vsize (KiB) 628124

[startup+642.3 s]
/proc/loadavg: 3.99 3.74 2.96 6/181 32319
/proc/meminfo: memFree=27815500/32873844 swapFree=7644/7644
[pid=32308] ppid=32306 vsize=630688 CPUtime=1284.27 cores=0,2,4,6
/proc/32308/stat : 32308 (pwbo2.02) S 32306 32308 30509 0 -1 4202496 174045 0 0 0 128296 131 0 0 20 0 3 0 331276045 645824512 138653 33554432000 4194304 5964478 140733657270048 140733657269568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32308/statm: 157672 138653 198 433 0 157236 0
[pid=32308/tid=32311] ppid=32306 vsize=630688 CPUtime=640.55 cores=0,2,4,6
/proc/32308/task/32311/stat : 32311 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 115690 0 0 0 63946 109 0 0 20 0 3 0 331276047 645824512 138653 33554432000 4194304 5964478 140733657270048 140447374985208 4400091 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32308/tid=32312] ppid=32306 vsize=630688 CPUtime=640.61 cores=0,2,4,6
/proc/32308/task/32312/stat : 32312 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 57017 0 0 0 64022 39 0 0 20 0 3 0 331276047 645824512 138653 33554432000 4194304 5964478 140733657270048 140447364495432 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.27
Current children cumulated vsize (KiB) 630688

[startup+702.3 s]
/proc/loadavg: 4.04 3.80 3.02 6/182 32322
/proc/meminfo: memFree=27809032/32873844 swapFree=7644/7644
[pid=32308] ppid=32306 vsize=630688 CPUtime=1404.24 cores=0,2,4,6
/proc/32308/stat : 32308 (pwbo2.02) S 32306 32308 30509 0 -1 4202496 174062 0 0 0 140293 131 0 0 20 0 3 0 331276045 645824512 138670 33554432000 4194304 5964478 140733657270048 140733657269568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32308/statm: 157672 138670 198 433 0 157236 0
[pid=32308/tid=32311] ppid=32306 vsize=630688 CPUtime=700.39 cores=0,2,4,6
/proc/32308/task/32311/stat : 32311 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 115697 0 0 0 69929 110 0 0 20 0 3 0 331276047 645824512 138670 33554432000 4194304 5964478 140733657270048 140447374985208 4400067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32308/tid=32312] ppid=32306 vsize=630688 CPUtime=700.45 cores=0,2,4,6
/proc/32308/task/32312/stat : 32312 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 57027 0 0 0 70005 40 0 0 20 0 3 0 331276047 645824512 138670 33554432000 4194304 5964478 140733657270048 140447364495432 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.24
Current children cumulated vsize (KiB) 630688

[startup+762.307 s]
/proc/loadavg: 4.01 3.83 3.08 6/181 32322
/proc/meminfo: memFree=27752496/32873844 swapFree=7644/7644
[pid=32308] ppid=32306 vsize=696224 CPUtime=1524.24 cores=0,2,4,6
/proc/32308/stat : 32308 (pwbo2.02) S 32306 32308 30509 0 -1 4202496 187705 0 0 0 152278 146 0 0 20 0 3 0 331276045 712933376 152313 33554432000 4194304 5964478 140733657270048 140733657269568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32308/statm: 174056 152313 198 433 0 173620 0
[pid=32308/tid=32311] ppid=32306 vsize=696224 CPUtime=760.24 cores=0,2,4,6
/proc/32308/task/32311/stat : 32311 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 121888 0 0 0 75909 115 0 0 20 0 3 0 331276047 712933376 152313 33554432000 4194304 5964478 140733657270048 140447374985208 4400056 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32308/tid=32312] ppid=32306 vsize=696224 CPUtime=760.3 cores=0,2,4,6
/proc/32308/task/32312/stat : 32312 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 64479 0 0 0 75978 52 0 0 20 0 3 0 331276047 712933376 152313 33554432000 4194304 5964478 140733657270048 140447364495672 4403708 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.24
Current children cumulated vsize (KiB) 696224

[startup+822.3 s]
/proc/loadavg: 4.00 3.86 3.13 6/181 32322
/proc/meminfo: memFree=27681520/32873844 swapFree=7644/7644
[pid=32308] ppid=32306 vsize=764192 CPUtime=1644.2 cores=0,2,4,6
/proc/32308/stat : 32308 (pwbo2.02) S 32306 32308 30509 0 -1 4202496 202863 0 0 0 164262 158 0 0 20 0 3 0 331276045 782532608 168003 33554432000 4194304 5964478 140733657270048 140733657269568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32308/statm: 191048 168003 198 433 0 190612 0
[pid=32308/tid=32311] ppid=32306 vsize=764192 CPUtime=820.07 cores=0,2,4,6
/proc/32308/task/32311/stat : 32311 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 137038 0 0 0 81879 128 0 0 20 0 3 0 331276047 782532608 168003 33554432000 4194304 5964478 140733657270048 140447374985208 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32308/tid=32312] ppid=32306 vsize=764192 CPUtime=820.14 cores=0,2,4,6
/proc/32308/task/32312/stat : 32312 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 64487 0 0 0 81961 53 0 0 20 0 3 0 331276047 782532608 168003 33554432000 4194304 5964478 140733657270048 140447364495672 4403692 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.2
Current children cumulated vsize (KiB) 764192

[startup+882.3 s]
/proc/loadavg: 4.00 3.88 3.19 6/181 32323
/proc/meminfo: memFree=27625068/32873844 swapFree=7644/7644
[pid=32308] ppid=32306 vsize=829884 CPUtime=1764.14 cores=0,2,4,6
/proc/32308/stat : 32308 (pwbo2.02) S 32306 32308 30509 0 -1 4202496 214494 0 0 0 176248 166 0 0 20 0 3 0 331276045 849801216 179872 33554432000 4194304 5964478 140733657270048 140733657269568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32308/statm: 207471 179872 198 433 0 207035 0
[pid=32308/tid=32311] ppid=32306 vsize=829884 CPUtime=879.87 cores=0,2,4,6
/proc/32308/task/32311/stat : 32311 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 148637 0 0 0 87850 137 0 0 20 0 3 0 331276047 849801216 179872 33554432000 4194304 5964478 140733657270048 140447374985208 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32308/tid=32312] ppid=32306 vsize=829884 CPUtime=879.99 cores=0,2,4,6
/proc/32308/task/32312/stat : 32312 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 64519 0 0 0 87945 54 0 0 20 0 3 0 331276047 849801216 179872 33554432000 4194304 5964478 140733657270048 140447364495432 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.14
Current children cumulated vsize (KiB) 829884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.00 3.89 3.20 6/181 32323
/proc/meminfo: memFree=27602964/32873844 swapFree=7644/7644
[pid=32308] ppid=32306 vsize=830040 CPUtime=1800.13 cores=0,2,4,6
/proc/32308/stat : 32308 (pwbo2.02) S 32306 32308 30509 0 -1 4202496 219165 0 0 0 179841 172 0 0 20 0 3 0 331276045 849960960 184603 33554432000 4194304 5964478 140733657270048 140733657269568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32308/statm: 207510 184603 198 433 0 207074 0
[pid=32308/tid=32311] ppid=32306 vsize=830040 CPUtime=897.82 cores=0,2,4,6
/proc/32308/task/32311/stat : 32311 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 151078 0 0 0 89641 141 0 0 20 0 3 0 331276047 849960960 184603 33554432000 4194304 5964478 140733657270048 140447374985208 4400103 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32308/tid=32312] ppid=32306 vsize=830040 CPUtime=897.94 cores=0,2,4,6
/proc/32308/task/32312/stat : 32312 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 66749 0 0 0 89737 57 0 0 20 0 3 0 331276047 849960960 184603 33554432000 4194304 5964478 140733657270048 140447364495672 4403727 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 830040

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.89 3.20 6/181 32323
/proc/meminfo: memFree=27602964/32873844 swapFree=7644/7644
[pid=32308] ppid=32306 vsize=830040 CPUtime=1800.13 cores=0,2,4,6
/proc/32308/stat : 32308 (pwbo2.02) S 32306 32308 30509 0 -1 4202496 219165 0 0 0 179841 172 0 0 20 0 3 0 331276045 849960960 184603 33554432000 4194304 5964478 140733657270048 140733657269568 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32308/statm: 207510 184603 198 433 0 207074 0
[pid=32308/tid=32311] ppid=32306 vsize=830040 CPUtime=897.82 cores=0,2,4,6
/proc/32308/task/32311/stat : 32311 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 151078 0 0 0 89641 141 0 0 20 0 3 0 331276047 849960960 184603 33554432000 4194304 5964478 140733657270048 140447374985208 4400103 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32308/tid=32312] ppid=32306 vsize=830040 CPUtime=897.94 cores=0,2,4,6
/proc/32308/task/32312/stat : 32312 (pwbo2.02) R 32306 32308 30509 0 -1 4202560 66749 0 0 0 89737 57 0 0 20 0 3 0 331276047 849960960 184603 33554432000 4194304 5964478 140733657270048 140447364495672 4403727 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 830040

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32308 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=820297
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=34690
# CPU time returned by wait4() is 1795.85
# while last known CPU time is 1800.13
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.345
CPU time (s): 1800.13
CPU user time (s): 1798.41
CPU system time (s): 1.72
CPU usage (%): 199.938
Max. virtual memory (cumulated for all children) (KiB): 830040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.82
system time used= 2.03469
maximum resident set size= 738428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219169
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= 402
involuntary context switches= 1906

runsolver used 1.91171 second user time and 4.87426 second system time

The end

Launcher Data 

Begin job on node147 at 2012-06-02 17:38:36
IDJOB=3725775
IDBENCH=1871
IDSOLVER=2309
FILE ID=node147/3725775-1338651516
RUNJOBID= node147-1338651516-32281
PBS_JOBID= 14636433
Free space on /tmp= 70788 MiB

SOLVER NAME= pwbo 2.02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb
COMMAND LINE= pwbo2.02 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725775-1338651516/watcher-3725775-1338651516 -o /tmp/evaluation-result-3725775-1338651516/solver-3725775-1338651516 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725775-1338651516.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 54b9b4de78a7992fd69d0caeed32daef
RANDOM SEED=356225497

node147.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.951
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.90
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.951
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.951
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.87
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.951
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.951
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.91
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.951
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.91
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.951
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.91
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.951
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:        29118472 kB
Buffers:          423620 kB
Cached:          2465964 kB
SwapCached:         3380 kB
Active:          1417244 kB
Inactive:        1478972 kB
Active(anon):       2164 kB
Inactive(anon):     5920 kB
Active(file):    1415080 kB
Inactive(file):  1473052 kB
Unevictable:        7644 kB
Mlocked:            7644 kB
SwapTotal:      67108856 kB
SwapFree:       67100236 kB
Dirty:             11292 kB
Writeback:             0 kB
AnonPages:         10816 kB
Mapped:             8740 kB
Shmem:                 0 kB
Slab:             719384 kB
SReclaimable:     160772 kB
SUnreclaim:       558612 kB
KernelStack:        1384 kB
PageTables:         3788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     105216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70776 MiB
End job on node147 at 2012-06-02 17:53:39