Trace number 3725863

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)25084 1800.04 900.236

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
MD5SUMf675f355e04fd5af6f49610fb88dbbd3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark23954
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24674
Optimality of the best value was proved NO
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 180
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 116904
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 116904
Number of bits of the biggest sum of numbers17
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-3725863-1338653240.opb.
0.00/0.00	c Instance file HOME/instance-3725863-1338653240.opb
0.00/0.00	c File size is 202954 bytes.
0.00/0.01	c Cost Offset: 0
0.00/0.01	c Highest Coefficient sum: 40
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.02         s                                      |
0.00/0.01	c |  Number Variables:      540                                                 |
0.00/0.01	c |  Number Clauses:        2682                                                |
0.00/0.01	c |  Number Cardinality:    264                                                 |
0.00/0.01	c |  Number PB Constraints: 1680                                                |
0.00/0.01	c |                                                                             |
0.00/0.02	c |  Problem Type:          Optimization                                        |
0.00/0.02	c |  Objective Function:    PB Constraint                                       |
0.00/0.02	c |                                                                             |
0.00/0.02	c ===============================================================================
1800.04/900.21	o 33495
1800.04/900.21	o 32612
1800.04/900.21	o 31451
1800.04/900.21	o 30952
1800.04/900.21	o 30328
1800.04/900.21	o 30279
1800.04/900.21	o 29823
1800.04/900.21	o 29633
1800.04/900.21	o 28614
1800.04/900.21	o 27771
1800.04/900.21	o 27694
1800.04/900.21	o 26972
1800.04/900.21	o 26858
1800.04/900.21	o 26393
1800.04/900.21	o 25944
1800.04/900.21	o 25929
1800.04/900.21	o 25654
1800.04/900.21	o 25417
1800.04/900.21	o 25335
1800.04/900.21	o 25084
1800.04/900.21	c ===============================================================================
1800.04/900.21	c Wall Clock Time: 900.21 s
1800.04/900.21	c Best Solution: 25084
1800.04/900.21	s SATISFIABLE
1800.04/900.21	v -x361 x362 -x363 x364 x365 x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 x397 x398 -x399 x400 -x401 x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 x467 -x468 -x469 x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 x500 x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 x536 -x537 x538 x539 -x540 -x2 -x38 x74 -x110 -x146 -x182 -x218 -x254 -x290 -x326 -x3 -x39 -x75 -x111 -x147 -x183 -x219 -x255 -x291 x327 -x4 x40 -x76 -x112 -x148 -x184 -x220 -x256 -x292 -x328 x5 -x41 -x77 -x113 -x149 -x185 -x221 -x257 -x293 -x329 -x6 -x42 -x78 -x114 -x150 -x186 x222 -x258 -x294 -x330 -x7 -x43 -x79 -x115 -x151 x187 -x223 -x259 -x295 -x331 x9 -x45 -x81 -x117 -x153 -x189 -x225 -x261 -x297 -x333 -x10 -x46 -x82 -x118 -x154 -x190 -x226 -x262 -x298 x334 -x11 -x47 -x83 -x119 -x155 -x191 x227 -x263 -x299 -x335 -x12 -x48 -x84 -x120 x156 -x192 -x228 -x264 -x300 -x336 -x13 -x49 -x85 x121 -x157 -x193 -x229 -x265 -x301 -x337 -x14 -x50 -x86 -x122 -x158 -x194 -x230 x266 -x302 -x338 -x16 -x52 -x88 -x124 -x160 -x196 x232 -x268 -x304 -x340 -x17 -x53 -x89 -x125 x161 -x197 -x233 -x269 -x305 -x341 -x18 -x54 x90 -x126 -x162 -x198 -x234 -x270 -x306 -x342 -x19 -x55 -x91 -x127 x163 -x199 -x235 -x271 -x307 -x343 -x20 -x56 -x92 x128 -x164 -x200 -x236 -x272 -x308 -x344 -x21 -x57 -x93 -x129 -x165 -x201 -x237 -x273 x309 -x345 -x23 -x59 -x95 -x131 -x167 x203 -x239 -x275 -x311 -x347 -x24 -x60 -x96 -x132 -x168 -x204 -x240 x276 -x312 -x348 -x25 -x61 -x97 -x133 -x169 -x205 -x241 x277 -x313 -x349 -x26 -x62 -x98 -x134 -x170 -x206 -x242 -x278 x314 -x350 -x27 x63 -x99 -x135 -x171 -x207 -x243 -x279 -x315 -x351 -x28 -x64 x100 -x136 -x172 -x208 -x244 -x280 -x316 -x352 -x30 -x66 -x102 x138 -x174 -x210 -x246 -x282 -x318 -x354 -x31 -x67 -x103 -x139 -x175 -x211 -x247 -x283 x319 -x355 -x32 x68 -x104 -x140 -x176 -x212 -x248 -x284 -x320 -x356 -x33 -x69 -x105 -x141 -x177 x213 -x249 -x285 -x321 -x357 x34 -x70 -x106 -x142 -x178 -x214 -x250 -x286 -x322 -x358 -x35 -x71 -x107 -x143 -x179 -x215 -x251 -x287 -x323 x359 -x8 x44 x80 x116 -x152 -x188 -x224 x260 x296 -x332 x15 x51 -x87 -x123 -x159 x195 -x231 -x267 x303 x339 x22 x58 x94 -x130 -x166 -x202 x238 -x274 -x310 x346 x29 -x65 -x101 -x137 x173 x209 x245 -x281 -x317 x353 -x36 -x72 x108 x144 x180 -x216 x252 x288 -x324 -x360 -x1 -x37 -x73 x109 x145 x181 -x217 x253 x289 -x325

Verifier Data 

OK	25084

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-3725863-1338653240/watcher-3725863-1338653240 -o /tmp/evaluation-result-3725863-1338653240/solver-3725863-1338653240 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725863-1338653240.opb 

running on 4 cores: 1,3,5,7

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: 3.84 3.94 3.65 4/180 24148
/proc/meminfo: memFree=28239608/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=4700 CPUtime=0 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) R 24146 24148 22415 0 -1 4202496 442 0 0 0 0 0 0 0 20 0 1 0 331449429 4812800 395 33554432000 4194304 5964478 140736351167968 140733266100360 4344407 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 1175 396 172 433 0 689 0

[startup+0.062815 s]
/proc/loadavg: 3.84 3.94 3.65 4/180 24148
/proc/meminfo: memFree=28239608/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=165304 CPUtime=0.09 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 3291 0 0 0 9 0 0 0 20 0 3 0 331449429 169271296 2248 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 41326 2248 199 433 0 40890 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 165304

[startup+0.100224 s]
/proc/loadavg: 3.84 3.94 3.65 4/180 24148
/proc/meminfo: memFree=28239608/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=165304 CPUtime=0.16 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 3844 0 0 0 16 0 0 0 20 0 3 0 331449429 169271296 2591 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 41326 2591 199 433 0 40890 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 165304

[startup+0.300177 s]
/proc/loadavg: 3.84 3.94 3.65 4/180 24148
/proc/meminfo: memFree=28239608/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=165304 CPUtime=0.56 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 5876 0 0 0 55 1 0 0 20 0 3 0 331449429 169271296 4336 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 41326 4336 199 433 0 40890 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 165304

[startup+0.700186 s]
/proc/loadavg: 3.84 3.94 3.65 4/180 24148
/proc/meminfo: memFree=28239608/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=165304 CPUtime=1.37 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 7884 0 0 0 135 2 0 0 20 0 3 0 331449429 169271296 6343 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 41326 6343 199 433 0 40890 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 165304

[startup+1.50025 s]
/proc/loadavg: 3.84 3.94 3.65 5/183 24191
/proc/meminfo: memFree=28146080/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=165436 CPUtime=2.96 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 9340 0 0 0 294 2 0 0 20 0 3 0 331449429 169406464 7653 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 41359 7653 199 433 0 40923 0
[pid=24148/tid=24150] ppid=24146 vsize=165436 CPUtime=1.46 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 5296 0 0 0 144 2 0 0 20 0 3 0 331449431 169406464 7653 33554432000 4194304 5964478 140736351167968 139729033963880 18446744073699066235 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=165436 CPUtime=1.46 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 2669 0 0 0 146 0 0 0 20 0 3 0 331449431 169406464 7653 33554432000 4194304 5964478 140736351167968 139729023473736 4222314 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 165436

[startup+3.10027 s]
/proc/loadavg: 3.84 3.94 3.65 5/183 24191
/proc/meminfo: memFree=28097828/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=165568 CPUtime=6.16 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 10692 0 0 0 613 3 0 0 20 0 3 0 331449429 169541632 8835 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 41392 8835 199 433 0 40956 0
[pid=24148/tid=24150] ppid=24146 vsize=165568 CPUtime=3.05 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 6177 0 0 0 303 2 0 0 20 0 3 0 331449431 169541632 8835 33554432000 4194304 5964478 140736351167968 139729033963880 4400103 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=165568 CPUtime=3.06 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 3140 0 0 0 305 1 0 0 20 0 3 0 331449431 169541632 8835 33554432000 4194304 5964478 140736351167968 139729023474184 4400056 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 165568

[startup+6.3003 s]
/proc/loadavg: 3.85 3.94 3.66 5/183 24191
/proc/meminfo: memFree=27966636/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=165972 CPUtime=12.56 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 12065 0 0 0 1251 5 0 0 20 0 3 0 331449429 169955328 10208 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 41493 10208 199 433 0 41057 0
[pid=24148/tid=24150] ppid=24146 vsize=165972 CPUtime=6.24 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 6723 0 0 0 622 2 0 0 20 0 3 0 331449431 169955328 10208 33554432000 4194304 5964478 140736351167968 139729033963320 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=165972 CPUtime=6.25 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 3967 0 0 0 623 2 0 0 20 0 3 0 331449431 169955328 10208 33554432000 4194304 5964478 140736351167968 139729023473976 4400078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 165972

[startup+12.7004 s]
/proc/loadavg: 3.86 3.94 3.66 5/183 24191
/proc/meminfo: memFree=27764356/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=166516 CPUtime=25.36 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 15560 0 0 0 2529 7 0 0 20 0 3 0 331449429 170512384 13703 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 41629 13703 199 433 0 41193 0
[pid=24148/tid=24150] ppid=24146 vsize=166516 CPUtime=12.63 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 8886 0 0 0 1260 3 0 0 20 0 3 0 331449431 170512384 13703 33554432000 4194304 5964478 140736351167968 139729033963560 4222464 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=166516 CPUtime=12.63 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 5299 0 0 0 1259 4 0 0 20 0 3 0 331449431 170512384 13703 33554432000 4194304 5964478 140736351167968 139729023473976 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 166516

[startup+25.5004 s]
/proc/loadavg: 3.89 3.94 3.66 5/183 24191
/proc/meminfo: memFree=27486488/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=167784 CPUtime=50.94 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 21778 0 0 0 5083 11 0 0 20 0 3 0 331449429 171810816 20226 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 41946 20226 199 433 0 41510 0
[pid=24148/tid=24150] ppid=24146 vsize=167784 CPUtime=25.39 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 13187 0 0 0 2533 6 0 0 20 0 3 0 331449431 171810816 20226 33554432000 4194304 5964478 140736351167968 139729033963320 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=167784 CPUtime=25.39 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 7216 0 0 0 2534 5 0 0 20 0 3 0 331449431 171810816 20226 33554432000 4194304 5964478 140736351167968 139729023473976 4400115 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 167784

[startup+51.1004 s]
/proc/loadavg: 3.93 3.94 3.67 5/183 24191
/proc/meminfo: memFree=27074528/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=234864 CPUtime=102.12 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 28088 0 0 0 10195 17 0 0 20 0 3 0 331449429 240500736 26500 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 58716 26500 199 433 0 58280 0
[pid=24148/tid=24150] ppid=24146 vsize=234864 CPUtime=50.91 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 18115 0 0 0 5082 9 0 0 20 0 3 0 331449431 240500736 26500 33554432000 4194304 5964478 140736351167968 139729033963320 4388783 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=234864 CPUtime=50.92 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 8598 0 0 0 5085 7 0 0 20 0 3 0 331449431 240500736 26500 33554432000 4194304 5964478 140736351167968 139729023473736 4400542 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 234864

[startup+102.307 s]
/proc/loadavg: 3.97 3.95 3.68 5/183 24191
/proc/meminfo: memFree=26834044/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=235272 CPUtime=204.5 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 34445 0 0 0 20431 19 0 0 20 0 3 0 331449429 240918528 33860 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 58818 33860 199 433 0 58382 0
[pid=24148/tid=24150] ppid=24146 vsize=235272 CPUtime=101.97 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 24080 0 0 0 10185 12 0 0 20 0 3 0 331449431 240918528 33860 33554432000 4194304 5964478 140736351167968 139729033963424 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=235272 CPUtime=101.99 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 8990 0 0 0 10191 8 0 0 20 0 3 0 331449431 240918528 33860 33554432000 4194304 5964478 140736351167968 139729023474080 4400542 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.5
Current children cumulated vsize (KiB) 235272

[startup+162.3 s]
/proc/loadavg: 4.04 3.97 3.71 5/184 24194
/proc/meminfo: memFree=26777388/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=236088 CPUtime=324.48 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 42603 0 0 0 32420 28 0 0 20 0 3 0 331449429 241754112 41794 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 59022 41794 199 433 0 58586 0
[pid=24148/tid=24150] ppid=24146 vsize=236088 CPUtime=161.81 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 29285 0 0 0 16165 16 0 0 20 0 3 0 331449431 241754112 41794 33554432000 4194304 5964478 140736351167968 139729033963560 4379248 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=236088 CPUtime=161.83 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 11943 0 0 0 16168 15 0 0 20 0 3 0 331449431 241754112 41794 33554432000 4194304 5964478 140736351167968 139729023473736 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.48
Current children cumulated vsize (KiB) 236088

[startup+222.3 s]
/proc/loadavg: 4.01 3.97 3.72 5/183 24194
/proc/meminfo: memFree=26732056/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=302184 CPUtime=444.46 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 50123 0 0 0 44413 33 0 0 20 0 3 0 331449429 309436416 49111 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 75546 49111 199 433 0 75110 0
[pid=24148/tid=24150] ppid=24146 vsize=302184 CPUtime=221.66 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 36529 0 0 0 22143 23 0 0 20 0 3 0 331449431 309436416 49111 33554432000 4194304 5964478 140736351167968 139729033963512 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=302184 CPUtime=221.67 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 12219 0 0 0 22151 16 0 0 20 0 3 0 331449431 309436416 49111 33554432000 4194304 5964478 140736351167968 139729023473736 4399975 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.46
Current children cumulated vsize (KiB) 302184

[startup+282.3 s]
/proc/loadavg: 4.04 3.99 3.74 5/183 24195
/proc/meminfo: memFree=26678020/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=303084 CPUtime=564.44 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 54941 0 0 0 56405 39 0 0 20 0 3 0 331449429 310358016 53927 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 75771 53927 199 433 0 75335 0
[pid=24148/tid=24150] ppid=24146 vsize=303084 CPUtime=281.51 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 40943 0 0 0 28121 30 0 0 20 0 3 0 331449431 310358016 53927 33554432000 4194304 5964478 140736351167968 139729033963560 4389100 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=303084 CPUtime=281.51 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 12623 0 0 0 28134 17 0 0 20 0 3 0 331449431 310358016 53927 33554432000 4194304 5964478 140736351167968 139729023473736 4400422 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.44
Current children cumulated vsize (KiB) 303084

[startup+342.3 s]
/proc/loadavg: 4.01 3.99 3.75 5/183 24195
/proc/meminfo: memFree=26578724/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=305140 CPUtime=684.42 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 62590 0 0 0 68396 46 0 0 20 0 3 0 331449429 312463360 61572 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 76285 61572 199 433 0 75849 0
[pid=24148/tid=24150] ppid=24146 vsize=305140 CPUtime=341.35 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 47913 0 0 0 34099 36 0 0 20 0 3 0 331449431 312463360 61572 33554432000 4194304 5964478 140736351167968 139729033963424 4400115 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=305140 CPUtime=341.36 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 13302 0 0 0 34117 19 0 0 20 0 3 0 331449431 312463360 61572 33554432000 4194304 5964478 140736351167968 139729023473784 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.42
Current children cumulated vsize (KiB) 305140

[startup+402.3 s]
/proc/loadavg: 4.00 3.99 3.76 5/183 24195
/proc/meminfo: memFree=26531384/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=371280 CPUtime=804.4 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 70495 0 0 0 80382 58 0 0 20 0 3 0 331449429 380190720 69471 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 92820 69471 199 433 0 92384 0
[pid=24148/tid=24150] ppid=24146 vsize=371280 CPUtime=401.2 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 52575 0 0 0 40078 42 0 0 20 0 3 0 331449431 380190720 69471 33554432000 4194304 5964478 140736351167968 139729033963512 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=371280 CPUtime=401.2 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 16545 0 0 0 40093 27 0 0 20 0 3 0 331449431 380190720 69471 33554432000 4194304 5964478 140736351167968 139729023473736 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.4
Current children cumulated vsize (KiB) 371280

[startup+462.3 s]
/proc/loadavg: 4.00 3.99 3.78 5/183 24195
/proc/meminfo: memFree=26510456/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=371908 CPUtime=924.38 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 75396 0 0 0 92374 64 0 0 20 0 3 0 331449429 380833792 74371 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 92977 74371 199 433 0 92541 0
[pid=24148/tid=24150] ppid=24146 vsize=371908 CPUtime=461.04 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 57313 0 0 0 46055 49 0 0 20 0 3 0 331449431 380833792 74371 33554432000 4194304 5964478 140736351167968 139729033963320 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=371908 CPUtime=461.04 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 16708 0 0 0 46075 29 0 0 20 0 3 0 331449431 380833792 74371 33554432000 4194304 5964478 140736351167968 139729023473736 4399932 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.38
Current children cumulated vsize (KiB) 371908

[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.79 5/183 24195
/proc/meminfo: memFree=26464356/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=439264 CPUtime=1044.37 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 86560 0 0 0 104358 79 0 0 20 0 3 0 331449429 449806336 85527 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 109816 85527 199 433 0 109380 0
[pid=24148/tid=24150] ppid=24146 vsize=439264 CPUtime=520.89 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 65789 0 0 0 52031 58 0 0 20 0 3 0 331449431 449806336 85527 33554432000 4194304 5964478 140736351167968 139729033963560 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=439264 CPUtime=520.88 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 19396 0 0 0 52054 34 0 0 20 0 3 0 331449431 449806336 85527 33554432000 4194304 5964478 140736351167968 139729023473736 4400784 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.37
Current children cumulated vsize (KiB) 439264

[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.80 5/183 24196
/proc/meminfo: memFree=26461532/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=440056 CPUtime=1164.35 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 86787 0 0 0 116356 79 0 0 20 0 3 0 331449429 450617344 85754 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 110014 85754 199 433 0 109578 0
[pid=24148/tid=24150] ppid=24146 vsize=440056 CPUtime=580.74 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 65820 0 0 0 58015 59 0 0 20 0 3 0 331449431 450617344 85754 33554432000 4194304 5964478 140736351167968 139729033963560 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=440056 CPUtime=580.73 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 19592 0 0 0 58038 35 0 0 20 0 3 0 331449431 450617344 85754 33554432000 4194304 5964478 140736351167968 139729023473736 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.35
Current children cumulated vsize (KiB) 440056

[startup+642.3 s]
/proc/loadavg: 4.06 4.00 3.82 5/183 24196
/proc/meminfo: memFree=26409976/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=441240 CPUtime=1284.34 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 87647 0 0 0 128353 81 0 0 20 0 3 0 331449429 451829760 86614 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 110310 86614 199 433 0 109874 0
[pid=24148/tid=24150] ppid=24146 vsize=441240 CPUtime=640.59 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 65966 0 0 0 63999 60 0 0 20 0 3 0 331449431 451829760 86614 33554432000 4194304 5964478 140736351167968 139729033963320 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=441240 CPUtime=640.58 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 20306 0 0 0 64020 38 0 0 20 0 3 0 331449431 451829760 86614 33554432000 4194304 5964478 140736351167968 139729023473976 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.34
Current children cumulated vsize (KiB) 441240

[startup+702.3 s]
/proc/loadavg: 4.02 4.00 3.82 5/183 24196
/proc/meminfo: memFree=26396860/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=442204 CPUtime=1404.31 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 90418 0 0 0 140346 85 0 0 20 0 3 0 331449429 452816896 89378 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 110551 89378 199 433 0 110115 0
[pid=24148/tid=24150] ppid=24146 vsize=442204 CPUtime=700.43 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 67930 0 0 0 69980 63 0 0 20 0 3 0 331449431 452816896 89378 33554432000 4194304 5964478 140736351167968 139729033963320 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=442204 CPUtime=700.41 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 21113 0 0 0 70000 41 0 0 20 0 3 0 331449431 452816896 89378 33554432000 4194304 5964478 140736351167968 139729023473976 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.31
Current children cumulated vsize (KiB) 442204

[startup+762.307 s]
/proc/loadavg: 4.04 4.01 3.83 5/184 24199
/proc/meminfo: memFree=26282892/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=508008 CPUtime=1524.3 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 103612 0 0 0 152327 103 0 0 20 0 3 0 331449429 520200192 102569 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 127002 102569 199 433 0 126566 0
[pid=24148/tid=24150] ppid=24146 vsize=508008 CPUtime=760.28 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 76220 0 0 0 75956 72 0 0 20 0 3 0 331449431 520200192 102569 33554432000 4194304 5964478 140736351167968 139729033963512 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=508008 CPUtime=760.26 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 26017 0 0 0 75974 52 0 0 20 0 3 0 331449431 520200192 102569 33554432000 4194304 5964478 140736351167968 139729023474080 4389179 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.3
Current children cumulated vsize (KiB) 508008

[startup+822.3 s]
/proc/loadavg: 4.01 4.01 3.84 5/183 24199
/proc/meminfo: memFree=26165408/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=575236 CPUtime=1644.27 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 108497 0 0 0 164320 107 0 0 20 0 3 0 331449429 589041664 107445 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 143809 107445 199 433 0 143373 0
[pid=24148/tid=24150] ppid=24146 vsize=575236 CPUtime=820.12 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 80872 0 0 0 81935 77 0 0 20 0 3 0 331449431 589041664 107445 33554432000 4194304 5964478 140736351167968 139729033963512 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=575236 CPUtime=820.1 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 26250 0 0 0 81957 53 0 0 20 0 3 0 331449431 589041664 107445 33554432000 4194304 5964478 140736351167968 139729023473736 4222308 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.27
Current children cumulated vsize (KiB) 575236

[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.85 5/183 24200
/proc/meminfo: memFree=26059576/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=575784 CPUtime=1764.25 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 109186 0 0 0 176318 107 0 0 20 0 3 0 331449429 589602816 108190 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 143946 108190 199 433 0 143510 0
[pid=24148/tid=24150] ppid=24146 vsize=575784 CPUtime=879.97 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 81447 0 0 0 87919 78 0 0 20 0 3 0 331449431 589602816 108190 33554432000 4194304 5964478 140736351167968 139729033963320 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=575784 CPUtime=879.94 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 26364 0 0 0 87940 54 0 0 20 0 3 0 331449431 589602816 108190 33554432000 4194304 5964478 140736351167968 139729023473736 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764.25
Current children cumulated vsize (KiB) 575784



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.2 s]
/proc/loadavg: 4.00 4.00 3.85 5/183 24200
/proc/meminfo: memFree=26041072/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=575784 CPUtime=1800.04 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 111040 0 0 0 179894 110 0 0 20 0 3 0 331449429 589602816 110464 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 143946 110464 199 433 0 143510 0
[pid=24148/tid=24150] ppid=24146 vsize=575784 CPUtime=897.82 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 83279 0 0 0 89701 81 0 0 20 0 3 0 331449431 589602816 110464 33554432000 4194304 5964478 140736351167968 139729033963512 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=575784 CPUtime=897.79 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 26386 0 0 0 89725 54 0 0 20 0 3 0 331449431 589602816 110464 33554432000 4194304 5964478 140736351167968 139729023473736 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 575784

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24148 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=296225
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=389788
# CPU time returned by wait4() is 1795.69
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.236
CPU time (s): 1800.04
CPU user time (s): 1798.94
CPU system time (s): 1.1
CPU usage (%): 199.952
Max. virtual memory (cumulated for all children) (KiB): 575784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.3
system time used= 1.38979
maximum resident set size= 441864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111042
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= 193
involuntary context switches= 2040

runsolver used 1.86272 second user time and 5.65314 second system time

The end

Launcher Data 

Begin job on node134 at 2012-06-02 18:07:20
IDJOB=3725863
IDBENCH=2010
IDSOLVER=2309
FILE ID=node134/3725863-1338653240
RUNJOBID= node134-1338651430-23917
PBS_JOBID= 14636446
Free space on /tmp= 70352 MiB

SOLVER NAME= pwbo 2.02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data6_3.opb
COMMAND LINE= pwbo2.02 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725863-1338653240/watcher-3725863-1338653240 -o /tmp/evaluation-result-3725863-1338653240/solver-3725863-1338653240 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725863-1338653240.opb

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

MD5SUM BENCH= f675f355e04fd5af6f49610fb88dbbd3
RANDOM SEED=1411037420

node134.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		: 2667.278
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	: 5334.55
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		: 2667.278
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	: 5332.56
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		: 2667.278
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	: 5332.55
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		: 2667.278
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	: 5332.59
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		: 2667.278
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	: 5332.55
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		: 2667.278
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	: 5332.55
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		: 2667.278
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	: 5332.57
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		: 2667.278
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	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28240888 kB
Buffers:          456248 kB
Cached:          3269540 kB
SwapCached:           76 kB
Active:          1723556 kB
Inactive:        2017948 kB
Active(anon):       6948 kB
Inactive(anon):    10508 kB
Active(file):    1716608 kB
Inactive(file):  2007440 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67107756 kB
Dirty:             11140 kB
Writeback:             4 kB
AnonPages:         21856 kB
Mapped:            11704 kB
Shmem:                96 kB
Slab:             753924 kB
SReclaimable:     195436 kB
SUnreclaim:       558488 kB
KernelStack:        1448 kB
PageTables:         3660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     155656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 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= 70344 MiB
End job on node134 at 2012-06-02 18:22:23