Trace number 3703562

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.0SAT (TO)24310 1800.54 900.321

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.0 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3703562-1338089147.opb.
0.00/0.00	c Instance file HOME/instance-3703562-1338089147.opb
0.00/0.00	c File size is 202954 bytes.
0.00/0.02	c Cost Offset: 0
0.00/0.02	c Highest Coefficient sum: 40
0.00/0.02	c ============================[ Problem Statistics ]=============================
0.00/0.02	c |                                                                             |
0.00/0.02	c |  Parsing time:          0.02         s                                      |
0.00/0.02	c |  Number Variables:      540                                                 |
0.00/0.02	c |  Number Clauses:        2682                                                |
0.00/0.02	c |  Number Cardinality:    264                                                 |
0.00/0.02	c |  Number PB Constraints: 1680                                                |
0.00/0.02	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.14/900.31	o 33495
1800.14/900.31	o 32612
1800.14/900.31	o 31451
1800.14/900.31	o 30952
1800.14/900.31	o 30328
1800.14/900.31	o 30279
1800.14/900.31	o 29823
1800.14/900.31	o 29633
1800.14/900.31	o 28614
1800.14/900.31	o 27771
1800.14/900.31	o 26975
1800.14/900.31	o 26484
1800.14/900.31	o 25891
1800.14/900.31	o 25721
1800.14/900.31	o 25557
1800.14/900.31	o 25390
1800.14/900.31	o 24310
1800.14/900.31	c ===============================================================================
1800.14/900.31	c Wall Clock Time: 900.31 s
1800.14/900.31	c Best Solution: 24310
1800.14/900.31	s SATISFIABLE
1800.14/900.31	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	24310

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-3703562-1338089147/watcher-3703562-1338089147 -o /tmp/evaluation-result-3703562-1338089147/solver-3703562-1338089147 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703562-1338089147.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: 3.84 3.97 3.58 4/178 4117
/proc/meminfo: memFree=30271768/32873648 swapFree=7368/7368
[pid=4117] ppid=4115 vsize=4556 CPUtime=0 cores=0,2,4,6
/proc/4117/stat : 4117 (pwbo2.0) R 4115 4117 3829 0 -1 4202496 428 0 0 0 0 0 0 0 20 0 1 0 275038768 4665344 381 33554432000 4194304 5965102 140733334579872 140734498169848 5137146 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/4117/statm: 1139 381 171 433 0 653 0

[startup+0.082759 s]
/proc/loadavg: 3.84 3.97 3.58 4/178 4117
/proc/meminfo: memFree=30271768/32873648 swapFree=7368/7368
[pid=4117] ppid=4115 vsize=165304 CPUtime=0.13 cores=0,2,4,6
/proc/4117/stat : 4117 (pwbo2.0) S 4115 4117 3829 0 -1 4202496 3707 0 0 0 12 1 0 0 20 0 3 0 275038768 169271296 2432 33554432000 4194304 5965102 140733334579872 140733334579392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4117/statm: 41326 2432 200 433 0 40890 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 165304

[startup+0.100206 s]
/proc/loadavg: 3.84 3.97 3.58 4/178 4117
/proc/meminfo: memFree=30271768/32873648 swapFree=7368/7368
[pid=4117] ppid=4115 vsize=165304 CPUtime=0.17 cores=0,2,4,6
/proc/4117/stat : 4117 (pwbo2.0) S 4115 4117 3829 0 -1 4202496 3863 0 0 0 16 1 0 0 20 0 3 0 275038768 169271296 2588 33554432000 4194304 5965102 140733334579872 140733334579392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4117/statm: 41326 2588 200 433 0 40890 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 165304

[startup+0.30016 s]
/proc/loadavg: 3.84 3.97 3.58 4/178 4117
/proc/meminfo: memFree=30271768/32873648 swapFree=7368/7368
[pid=4117] ppid=4115 vsize=165304 CPUtime=0.57 cores=0,2,4,6
/proc/4117/stat : 4117 (pwbo2.0) S 4115 4117 3829 0 -1 4202496 5891 0 0 0 54 3 0 0 20 0 3 0 275038768 169271296 4350 33554432000 4194304 5965102 140733334579872 140733334579392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4117/statm: 41326 4350 200 433 0 40890 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 165304

[startup+0.700165 s]
/proc/loadavg: 3.84 3.97 3.58 4/178 4117
/proc/meminfo: memFree=30271768/32873648 swapFree=7368/7368
[pid=4117] ppid=4115 vsize=165304 CPUtime=1.37 cores=0,2,4,6
/proc/4117/stat : 4117 (pwbo2.0) S 4115 4117 3829 0 -1 4202496 8116 0 0 0 133 4 0 0 20 0 3 0 275038768 169271296 6575 33554432000 4194304 5965102 140733334579872 140733334579392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4117/statm: 41326 6575 200 433 0 40890 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 165304

[startup+1.50024 s]
/proc/loadavg: 3.84 3.97 3.58 5/181 4120
/proc/meminfo: memFree=30206568/32873648 swapFree=7368/7368
[pid=4117] ppid=4115 vsize=165436 CPUtime=2.96 cores=0,2,4,6
/proc/4117/stat : 4117 (pwbo2.0) S 4115 4117 3829 0 -1 4202496 9110 0 0 0 292 4 0 0 20 0 3 0 275038768 169406464 7569 33554432000 4194304 5965102 140733334579872 140733334579392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4117/statm: 41359 7569 200 433 0 40923 0
[pid=4117/tid=4119] ppid=4115 vsize=165436 CPUtime=1.47 cores=0,2,4,6
/proc/4117/task/4119/stat : 4119 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 5252 0 0 0 143 4 0 0 20 0 3 0 275038771 169406464 7569 33554432000 4194304 5965102 140733334579872 140705323247976 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4117/tid=4120] ppid=4115 vsize=165436 CPUtime=1.46 cores=0,2,4,6
/proc/4117/task/4120/stat : 4120 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 2482 0 0 0 146 0 0 0 20 0 3 0 275038771 169406464 7569 33554432000 4194304 5965102 140733334579872 140705312758120 4401046 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 165436

[startup+3.10025 s]
/proc/loadavg: 3.84 3.97 3.58 5/181 4120
/proc/meminfo: memFree=30174436/32873648 swapFree=7368/7368
[pid=4117] ppid=4115 vsize=165568 CPUtime=6.16 cores=0,2,4,6
/proc/4117/stat : 4117 (pwbo2.0) S 4115 4117 3829 0 -1 4202496 10412 0 0 0 611 5 0 0 20 0 3 0 275038768 169541632 8643 33554432000 4194304 5965102 140733334579872 140733334579392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4117/statm: 41392 8643 200 433 0 40956 0
[pid=4117/tid=4119] ppid=4115 vsize=165568 CPUtime=3.06 cores=0,2,4,6
/proc/4117/task/4119/stat : 4119 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 6089 0 0 0 302 4 0 0 20 0 3 0 275038771 169541632 8643 33554432000 4194304 5965102 140733334579872 140705323247520 4404735 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4117/tid=4120] ppid=4115 vsize=165568 CPUtime=3.06 cores=0,2,4,6
/proc/4117/task/4120/stat : 4120 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 2947 0 0 0 306 0 0 0 20 0 3 0 275038771 169541632 8643 33554432000 4194304 5965102 140733334579872 140705312758424 4222330 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 165568

[startup+6.30025 s]
/proc/loadavg: 3.85 3.97 3.59 5/181 4120
/proc/meminfo: memFree=30108472/32873648 swapFree=7368/7368
[pid=4117] ppid=4115 vsize=165700 CPUtime=12.56 cores=0,2,4,6
/proc/4117/stat : 4117 (pwbo2.0) S 4115 4117 3829 0 -1 4202496 11807 0 0 0 1251 5 0 0 20 0 3 0 275038768 169676800 9953 33554432000 4194304 5965102 140733334579872 140733334579392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4117/statm: 41425 9953 200 433 0 40989 0
[pid=4117/tid=4119] ppid=4115 vsize=165700 CPUtime=6.26 cores=0,2,4,6
/proc/4117/task/4119/stat : 4119 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 7322 0 0 0 622 4 0 0 20 0 3 0 275038771 169676800 9953 33554432000 4194304 5965102 140733334579872 140705323247416 4390200 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4117/tid=4120] ppid=4115 vsize=165700 CPUtime=6.26 cores=0,2,4,6
/proc/4117/task/4120/stat : 4120 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 3109 0 0 0 625 1 0 0 20 0 3 0 275038771 169676800 9954 33554432000 4194304 5965102 140733334579872 140705312757832 4404416 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 165700

[startup+12.7003 s]
/proc/loadavg: 3.86 3.97 3.59 5/181 4120
/proc/meminfo: memFree=29993612/32873648 swapFree=7368/7368
[pid=4117] ppid=4115 vsize=166364 CPUtime=25.36 cores=0,2,4,6
/proc/4117/stat : 4117 (pwbo2.0) S 4115 4117 3829 0 -1 4202496 17225 0 0 0 2528 8 0 0 20 0 3 0 275038768 170356736 15371 33554432000 4194304 5965102 140733334579872 140733334579392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4117/statm: 41591 15371 200 433 0 41155 0
[pid=4117/tid=4119] ppid=4115 vsize=166364 CPUtime=12.66 cores=0,2,4,6
/proc/4117/task/4119/stat : 4119 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 10747 0 0 0 1260 6 0 0 20 0 3 0 275038771 170356736 15371 33554432000 4194304 5965102 140733334579872 140705323247608 4410325 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4117/tid=4120] ppid=4115 vsize=166364 CPUtime=12.66 cores=0,2,4,6
/proc/4117/task/4120/stat : 4120 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 5102 0 0 0 1264 2 0 0 20 0 3 0 275038771 170356736 15371 33554432000 4194304 5965102 140733334579872 140705312758072 4222314 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 166364

[startup+25.5003 s]
/proc/loadavg: 3.89 3.97 3.59 5/181 4120
/proc/meminfo: memFree=29891024/32873648 swapFree=7368/7368
[pid=4117] ppid=4115 vsize=167200 CPUtime=50.96 cores=0,2,4,6
/proc/4117/stat : 4117 (pwbo2.0) S 4115 4117 3829 0 -1 4202496 22301 0 0 0 5085 11 0 0 20 0 3 0 275038768 171212800 20447 33554432000 4194304 5965102 140733334579872 140733334579392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4117/statm: 41800 20447 200 433 0 41364 0
[pid=4117/tid=4119] ppid=4115 vsize=167200 CPUtime=25.46 cores=0,2,4,6
/proc/4117/task/4119/stat : 4119 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 13960 0 0 0 2538 8 0 0 20 0 3 0 275038771 171212800 20447 33554432000 4194304 5965102 140733334579872 140705323247608 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4117/tid=4120] ppid=4115 vsize=167200 CPUtime=25.45 cores=0,2,4,6
/proc/4117/task/4120/stat : 4120 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 6965 0 0 0 2542 3 0 0 20 0 3 0 275038771 171212800 20447 33554432000 4194304 5965102 140733334579872 140705312757832 4394048 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 167200

[startup+51.1003 s]
/proc/loadavg: 3.93 3.97 3.60 5/181 4120
/proc/meminfo: memFree=29846368/32873648 swapFree=7368/7368
[pid=4117] ppid=4115 vsize=168432 CPUtime=102.15 cores=0,2,4,6
/proc/4117/stat : 4117 (pwbo2.0) S 4115 4117 3829 0 -1 4202496 25416 0 0 0 10202 13 0 0 20 0 3 0 275038768 172474368 23562 33554432000 4194304 5965102 140733334579872 140733334579392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4117/statm: 42108 23562 200 433 0 41672 0
[pid=4117/tid=4119] ppid=4115 vsize=168432 CPUtime=51.07 cores=0,2,4,6
/proc/4117/task/4119/stat : 4119 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 15637 0 0 0 5097 10 0 0 20 0 3 0 275038771 172474368 23562 33554432000 4194304 5965102 140733334579872 140705323247960 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4117/tid=4120] ppid=4115 vsize=168432 CPUtime=51.05 cores=0,2,4,6
/proc/4117/task/4120/stat : 4120 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 8403 0 0 0 5101 4 0 0 20 0 3 0 275038771 172474368 23562 33554432000 4194304 5965102 140733334579872 140705312757832 4393937 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 168432

[startup+102.306 s]
/proc/loadavg: 4.04 3.99 3.63 5/181 4120
/proc/meminfo: memFree=29748576/32873648 swapFree=7368/7368
[pid=4117] ppid=4115 vsize=236652 CPUtime=204.54 cores=0,2,4,6
/proc/4117/stat : 4117 (pwbo2.0) S 4115 4117 3829 0 -1 4202496 33997 0 0 0 20434 20 0 0 20 0 3 0 275038768 242331648 32143 33554432000 4194304 5965102 140733334579872 140733334579392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4117/statm: 59163 32143 200 433 0 58727 0
[pid=4117/tid=4119] ppid=4115 vsize=236652 CPUtime=102.28 cores=0,2,4,6
/proc/4117/task/4119/stat : 4119 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 21639 0 0 0 10213 15 0 0 20 0 3 0 275038771 242331648 32143 33554432000 4194304 5965102 140733334579872 140705323247416 4393958 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4117/tid=4120] ppid=4115 vsize=236652 CPUtime=102.26 cores=0,2,4,6
/proc/4117/task/4120/stat : 4120 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 10982 0 0 0 10217 9 0 0 20 0 3 0 275038771 242331648 32143 33554432000 4194304 5965102 140733334579872 140705312757832 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 204.54
Current children cumulated vsize (KiB) 236652

[startup+162.3 s]
/proc/loadavg: 4.01 3.99 3.65 5/181 4121
/proc/meminfo: memFree=29684628/32873648 swapFree=7368/7368
[pid=4117] ppid=4115 vsize=238108 CPUtime=324.51 cores=0,2,4,6
/proc/4117/stat : 4117 (pwbo2.0) S 4115 4117 3829 0 -1 4202496 44952 0 0 0 32421 30 0 0 20 0 3 0 275038768 243822592 43093 33554432000 4194304 5965102 140733334579872 140733334579392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4117/statm: 59527 43093 200 433 0 59091 0
[pid=4117/tid=4119] ppid=4115 vsize=238108 CPUtime=162.27 cores=0,2,4,6
/proc/4117/task/4119/stat : 4119 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 29102 0 0 0 16206 21 0 0 20 0 3 0 275038771 243822592 43093 33554432000 4194304 5965102 140733334579872 140705323247416 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4117/tid=4120] ppid=4115 vsize=238108 CPUtime=162.26 cores=0,2,4,6
/proc/4117/task/4120/stat : 4120 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 14474 0 0 0 16212 14 0 0 20 0 3 0 275038771 243822592 43093 33554432000 4194304 5965102 140733334579872 140705312758072 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 324.51
Current children cumulated vsize (KiB) 238108

[startup+222.3 s]
/proc/loadavg: 4.00 3.99 3.67 5/181 4121
/proc/meminfo: memFree=29653852/32873648 swapFree=7368/7368
[pid=4117] ppid=4115 vsize=304404 CPUtime=444.49 cores=0,2,4,6
/proc/4117/stat : 4117 (pwbo2.0) S 4115 4117 3829 0 -1 4202496 49594 0 0 0 44415 34 0 0 20 0 3 0 275038768 311709696 47614 33554432000 4194304 5965102 140733334579872 140733334579392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4117/statm: 76101 47614 200 433 0 75665 0
[pid=4117/tid=4119] ppid=4115 vsize=304404 CPUtime=222.28 cores=0,2,4,6
/proc/4117/task/4119/stat : 4119 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 32942 0 0 0 22202 26 0 0 20 0 3 0 275038771 311709696 47614 33554432000 4194304 5965102 140733334579872 140705323247416 4401559 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4117/tid=4120] ppid=4115 vsize=304404 CPUtime=222.26 cores=0,2,4,6
/proc/4117/task/4120/stat : 4120 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 15276 0 0 0 22211 15 0 0 20 0 3 0 275038771 311709696 47614 33554432000 4194304 5965102 140733334579872 140705312757832 4404446 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 444.49
Current children cumulated vsize (KiB) 304404

[startup+282.3 s]
/proc/loadavg: 4.00 3.99 3.68 5/182 4124
/proc/meminfo: memFree=29603332/32873648 swapFree=7368/7368
[pid=4117] ppid=4115 vsize=306544 CPUtime=564.44 cores=0,2,4,6
/proc/4117/stat : 4117 (pwbo2.0) S 4115 4117 3829 0 -1 4202496 57201 0 0 0 56402 42 0 0 20 0 3 0 275038768 313901056 56243 33554432000 4194304 5965102 140733334579872 140733334579392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4117/statm: 76636 56243 200 433 0 76200 0
[pid=4117/tid=4119] ppid=4115 vsize=306544 CPUtime=282.25 cores=0,2,4,6
/proc/4117/task/4119/stat : 4119 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 40305 0 0 0 28191 34 0 0 20 0 3 0 275038771 313901056 56243 33554432000 4194304 5965102 140733334579872 140705323247416 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4117/tid=4120] ppid=4115 vsize=306544 CPUtime=282.26 cores=0,2,4,6
/proc/4117/task/4120/stat : 4120 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 15520 0 0 0 28210 16 0 0 20 0 3 0 275038771 313901056 56243 33554432000 4194304 5965102 140733334579872 140705312757832 4401510 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 564.44
Current children cumulated vsize (KiB) 306544

[startup+342.3 s]
/proc/loadavg: 4.00 3.99 3.70 5/181 4124
/proc/meminfo: memFree=29502928/32873648 swapFree=7368/7368
[pid=4117] ppid=4115 vsize=307520 CPUtime=684.38 cores=0,2,4,6
/proc/4117/stat : 4117 (pwbo2.0) S 4115 4117 3829 0 -1 4202496 63199 0 0 0 68392 46 0 0 20 0 3 0 275038768 314900480 62345 33554432000 4194304 5965102 140733334579872 140733334579392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4117/statm: 76880 62345 200 433 0 76444 0
[pid=4117/tid=4119] ppid=4115 vsize=307520 CPUtime=342.22 cores=0,2,4,6
/proc/4117/task/4119/stat : 4119 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 46081 0 0 0 34182 40 0 0 20 0 3 0 275038771 314900480 62345 33554432000 4194304 5965102 140733334579872 140705323247480 4391918 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4117/tid=4120] ppid=4115 vsize=307520 CPUtime=342.25 cores=0,2,4,6
/proc/4117/task/4120/stat : 4120 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 15742 0 0 0 34208 17 0 0 20 0 3 0 275038771 314900480 62345 33554432000 4194304 5965102 140733334579872 140705312758176 4401127 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 684.38
Current children cumulated vsize (KiB) 307520

[startup+402.3 s]
/proc/loadavg: 4.00 3.99 3.72 5/181 4124
/proc/meminfo: memFree=29437096/32873648 swapFree=7368/7368
[pid=4117] ppid=4115 vsize=373804 CPUtime=804.35 cores=0,2,4,6
/proc/4117/stat : 4117 (pwbo2.0) S 4115 4117 3829 0 -1 4202496 71763 0 0 0 80380 55 0 0 20 0 3 0 275038768 382775296 72201 33554432000 4194304 5965102 140733334579872 140733334579392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4117/statm: 93451 72201 200 433 0 93015 0
[pid=4117/tid=4119] ppid=4115 vsize=373804 CPUtime=402.23 cores=0,2,4,6
/proc/4117/task/4119/stat : 4119 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 54467 0 0 0 40174 49 0 0 20 0 3 0 275038771 382775296 72201 33554432000 4194304 5965102 140733334579872 140705323247416 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4117/tid=4120] ppid=4115 vsize=373804 CPUtime=402.24 cores=0,2,4,6
/proc/4117/task/4120/stat : 4120 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 15920 0 0 0 40205 19 0 0 20 0 3 0 275038771 382775296 72201 33554432000 4194304 5965102 140733334579872 140705312757832 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 804.35
Current children cumulated vsize (KiB) 373804

[startup+462.3 s]
/proc/loadavg: 4.00 3.99 3.73 5/181 4125
/proc/meminfo: memFree=29401412/32873648 swapFree=7368/7368
[pid=4117] ppid=4115 vsize=378448 CPUtime=924.33 cores=0,2,4,6
/proc/4117/stat : 4117 (pwbo2.0) S 4115 4117 3829 0 -1 4202496 80305 0 0 0 92370 63 0 0 20 0 3 0 275038768 387530752 80737 33554432000 4194304 5965102 140733334579872 140733334579392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4117/statm: 94612 80737 200 433 0 94176 0
[pid=4117/tid=4119] ppid=4115 vsize=378448 CPUtime=462.23 cores=0,2,4,6
/proc/4117/task/4119/stat : 4119 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 60838 0 0 0 46168 55 0 0 20 0 3 0 275038771 387530752 80737 33554432000 4194304 5965102 140733334579872 140705323247480 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4117/tid=4120] ppid=4115 vsize=378448 CPUtime=462.24 cores=0,2,4,6
/proc/4117/task/4120/stat : 4120 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 18091 0 0 0 46201 23 0 0 20 0 3 0 275038771 387530752 80737 33554432000 4194304 5965102 140733334579872 140705312757832 5144515 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 924.33
Current children cumulated vsize (KiB) 378448

[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.75 5/181 4125
/proc/meminfo: memFree=29378872/32873648 swapFree=7368/7368
[pid=4117] ppid=4115 vsize=380560 CPUtime=1044.31 cores=0,2,4,6
/proc/4117/stat : 4117 (pwbo2.0) S 4115 4117 3829 0 -1 4202496 83568 0 0 0 104366 65 0 0 20 0 3 0 275038768 389693440 83996 33554432000 4194304 5965102 140733334579872 140733334579392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4117/statm: 95140 83996 200 433 0 94704 0
[pid=4117/tid=4119] ppid=4115 vsize=380560 CPUtime=522.23 cores=0,2,4,6
/proc/4117/task/4119/stat : 4119 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 63931 0 0 0 52165 58 0 0 20 0 3 0 275038771 389693440 83996 33554432000 4194304 5965102 140733334579872 140705323247416 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4117/tid=4120] ppid=4115 vsize=380560 CPUtime=522.25 cores=0,2,4,6
/proc/4117/task/4120/stat : 4120 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 18261 0 0 0 52202 23 0 0 20 0 3 0 275038771 389693440 83996 33554432000 4194304 5965102 140733334579872 140705312757832 4401155 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1044.31
Current children cumulated vsize (KiB) 380560

[startup+582.3 s]
/proc/loadavg: 4.08 4.00 3.76 5/181 4125
/proc/meminfo: memFree=29319788/32873648 swapFree=7368/7368
[pid=4117] ppid=4115 vsize=447760 CPUtime=1164.29 cores=0,2,4,6
/proc/4117/stat : 4117 (pwbo2.0) S 4115 4117 3829 0 -1 4202496 96363 0 0 0 116353 76 0 0 20 0 3 0 275038768 458506240 96786 33554432000 4194304 5965102 140733334579872 140733334579392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4117/statm: 111940 96786 200 433 0 111504 0
[pid=4117/tid=4119] ppid=4115 vsize=447760 CPUtime=582.24 cores=0,2,4,6
/proc/4117/task/4119/stat : 4119 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 73816 0 0 0 58157 67 0 0 20 0 3 0 275038771 458506240 96786 33554432000 4194304 5965102 140733334579872 140705323247416 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4117/tid=4120] ppid=4115 vsize=447760 CPUtime=582.25 cores=0,2,4,6
/proc/4117/task/4120/stat : 4120 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 21171 0 0 0 58199 26 0 0 20 0 3 0 275038771 458506240 96786 33554432000 4194304 5965102 140733334579872 140705312758072 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1164.29
Current children cumulated vsize (KiB) 447760

[startup+642.3 s]
/proc/loadavg: 4.03 4.00 3.77 5/181 4125
/proc/meminfo: memFree=29283584/32873648 swapFree=7368/7368
[pid=4117] ppid=4115 vsize=514140 CPUtime=1284.29 cores=0,2,4,6
/proc/4117/stat : 4117 (pwbo2.0) S 4115 4117 3829 0 -1 4202496 103600 0 0 0 128348 81 0 0 20 0 3 0 275038768 526479360 104013 33554432000 4194304 5965102 140733334579872 140733334579392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4117/statm: 128535 104013 200 433 0 128099 0
[pid=4117/tid=4119] ppid=4115 vsize=514140 CPUtime=642.25 cores=0,2,4,6
/proc/4117/task/4119/stat : 4119 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 79635 0 0 0 64154 71 0 0 20 0 3 0 275038771 526479360 104013 33554432000 4194304 5965102 140733334579872 140705323247416 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4117/tid=4120] ppid=4115 vsize=514140 CPUtime=642.26 cores=0,2,4,6
/proc/4117/task/4120/stat : 4120 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 22589 0 0 0 64198 28 0 0 20 0 3 0 275038771 526479360 104013 33554432000 4194304 5965102 140733334579872 140705312757832 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1284.29
Current children cumulated vsize (KiB) 514140

[startup+702.3 s]
/proc/loadavg: 4.01 4.00 3.79 5/181 4125
/proc/meminfo: memFree=29240680/32873648 swapFree=7368/7368
[pid=4117] ppid=4115 vsize=580260 CPUtime=1404.25 cores=0,2,4,6
/proc/4117/stat : 4117 (pwbo2.0) S 4115 4117 3829 0 -1 4202496 108999 0 0 0 140339 86 0 0 20 0 3 0 275038768 594186240 109412 33554432000 4194304 5965102 140733334579872 140733334579392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4117/statm: 145065 109412 200 433 0 144629 0
[pid=4117/tid=4119] ppid=4115 vsize=580260 CPUtime=702.25 cores=0,2,4,6
/proc/4117/task/4119/stat : 4119 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 84653 0 0 0 70147 78 0 0 20 0 3 0 275038771 594186240 109412 33554432000 4194304 5965102 140733334579872 140705323247608 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4117/tid=4120] ppid=4115 vsize=580260 CPUtime=702.25 cores=0,2,4,6
/proc/4117/task/4120/stat : 4120 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 22970 0 0 0 70195 30 0 0 20 0 3 0 275038771 594186240 109412 33554432000 4194304 5965102 140733334579872 140705312757832 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1404.25
Current children cumulated vsize (KiB) 580260

[startup+762.306 s]
/proc/loadavg: 4.00 4.00 3.80 5/181 4126
/proc/meminfo: memFree=29194472/32873648 swapFree=7368/7368
[pid=4117] ppid=4115 vsize=580944 CPUtime=1524.24 cores=0,2,4,6
/proc/4117/stat : 4117 (pwbo2.0) S 4115 4117 3829 0 -1 4202496 109177 0 0 0 152337 87 0 0 20 0 3 0 275038768 594886656 109749 33554432000 4194304 5965102 140733334579872 140733334579392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4117/statm: 145236 109749 200 433 0 144800 0
[pid=4117/tid=4119] ppid=4115 vsize=580944 CPUtime=762.25 cores=0,2,4,6
/proc/4117/task/4119/stat : 4119 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 84672 0 0 0 76146 79 0 0 20 0 3 0 275038771 594886656 109749 33554432000 4194304 5965102 140733334579872 140705323247608 4401441 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4117/tid=4120] ppid=4115 vsize=580944 CPUtime=762.26 cores=0,2,4,6
/proc/4117/task/4120/stat : 4120 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 23129 0 0 0 76195 31 0 0 20 0 3 0 275038771 594886656 109749 33554432000 4194304 5965102 140733334579872 140705312757832 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1524.24
Current children cumulated vsize (KiB) 580944

[startup+822.3 s]
/proc/loadavg: 4.06 4.02 3.81 5/181 4126
/proc/meminfo: memFree=29158916/32873648 swapFree=7368/7368
[pid=4117] ppid=4115 vsize=581164 CPUtime=1644.16 cores=0,2,4,6
/proc/4117/stat : 4117 (pwbo2.0) S 4115 4117 3829 0 -1 4202496 111457 0 0 0 164327 89 0 0 20 0 3 0 275038768 595111936 112483 33554432000 4194304 5965102 140733334579872 140733334579392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4117/statm: 145291 112483 200 433 0 144855 0
[pid=4117/tid=4119] ppid=4115 vsize=581164 CPUtime=822.21 cores=0,2,4,6
/proc/4117/task/4119/stat : 4119 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 86609 0 0 0 82139 82 0 0 20 0 3 0 275038771 595111936 112483 33554432000 4194304 5965102 140733334579872 140705323247608 4401050 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4117/tid=4120] ppid=4115 vsize=581164 CPUtime=822.26 cores=0,2,4,6
/proc/4117/task/4120/stat : 4120 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 23472 0 0 0 82194 32 0 0 20 0 3 0 275038771 595111936 112483 33554432000 4194304 5965102 140733334579872 140705312757880 4222314 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1644.16
Current children cumulated vsize (KiB) 581164

[startup+882.3 s]
/proc/loadavg: 4.02 4.01 3.82 5/182 4129
/proc/meminfo: memFree=29088892/32873648 swapFree=7368/7368
[pid=4117] ppid=4115 vsize=583216 CPUtime=1764.14 cores=0,2,4,6
/proc/4117/stat : 4117 (pwbo2.0) S 4115 4117 3829 0 -1 4202496 121130 0 0 0 176310 104 0 0 20 0 3 0 275038768 597213184 122387 33554432000 4194304 5965102 140733334579872 140733334579392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4117/statm: 145804 122387 200 433 0 145368 0
[pid=4117/tid=4119] ppid=4115 vsize=583216 CPUtime=882.2 cores=0,2,4,6
/proc/4117/task/4119/stat : 4119 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 93931 0 0 0 88126 94 0 0 20 0 3 0 275038771 597213184 122387 33554432000 4194304 5965102 140733334579872 140705323247416 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4117/tid=4120] ppid=4115 vsize=583216 CPUtime=882.26 cores=0,2,4,6
/proc/4117/task/4120/stat : 4120 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 25823 0 0 0 88189 37 0 0 20 0 3 0 275038771 597213184 122387 33554432000 4194304 5965102 140733334579872 140705312758176 4394025 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1764.14
Current children cumulated vsize (KiB) 583216



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.08 4.02 3.83 3/178 4130
/proc/meminfo: memFree=29815872/32873648 swapFree=7368/7368
[pid=4117] ppid=4115 vsize=583216 CPUtime=1800.14 cores=0,2,4,6
/proc/4117/stat : 4117 (pwbo2.0) S 4115 4117 3829 0 -1 4202496 121192 0 0 0 179910 104 0 0 20 0 3 0 275038768 597213184 122449 33554432000 4194304 5965102 140733334579872 140733334579392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4117/statm: 145804 122449 200 433 0 145368 0
[pid=4117/tid=4119] ppid=4115 vsize=583216 CPUtime=900.21 cores=0,2,4,6
/proc/4117/task/4119/stat : 4119 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 93981 0 0 0 89927 94 0 0 20 0 3 0 275038771 597213184 122449 33554432000 4194304 5965102 140733334579872 140705323247416 4388976 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4117/tid=4120] ppid=4115 vsize=583216 CPUtime=900.26 cores=0,2,4,6
/proc/4117/task/4120/stat : 4120 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 25835 0 0 0 89989 37 0 0 20 0 3 0 275038771 597213184 122449 33554432000 4194304 5965102 140733334579872 140705312758176 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 583216

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.08 4.02 3.83 3/178 4130
/proc/meminfo: memFree=29815872/32873648 swapFree=7368/7368
[pid=4117] ppid=4115 vsize=583216 CPUtime=1800.14 cores=0,2,4,6
/proc/4117/stat : 4117 (pwbo2.0) S 4115 4117 3829 0 -1 4202496 121192 0 0 0 179910 104 0 0 20 0 3 0 275038768 597213184 122449 33554432000 4194304 5965102 140733334579872 140733334579392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4117/statm: 145804 122449 200 433 0 145368 0
[pid=4117/tid=4119] ppid=4115 vsize=583216 CPUtime=900.21 cores=0,2,4,6
/proc/4117/task/4119/stat : 4119 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 93981 0 0 0 89927 94 0 0 20 0 3 0 275038771 597213184 122449 33554432000 4194304 5965102 140733334579872 140705323247416 4388976 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4117/tid=4120] ppid=4115 vsize=583216 CPUtime=900.26 cores=0,2,4,6
/proc/4117/task/4120/stat : 4120 (pwbo2.0) R 4115 4117 3829 0 -1 4202560 25835 0 0 0 89989 37 0 0 20 0 3 0 275038771 597213184 122449 33554432000 4194304 5965102 140733334579872 140705312758176 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 583216

Child status: 0
Real time (s): 900.321
CPU time (s): 1800.54
CPU user time (s): 1799.19
CPU system time (s): 1.3438
CPU usage (%): 199.988
Max. virtual memory (cumulated for all children) (KiB): 583216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.19
system time used= 1.3438
maximum resident set size= 489804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121194
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= 291
involuntary context switches= 2203

runsolver used 1.87071 second user time and 4.90625 second system time

The end

Launcher Data 

Begin job on node149 at 2012-05-27 05:25:47
IDJOB=3703562
IDBENCH=2010
IDSOLVER=2279
FILE ID=node149/3703562-1338089147
RUNJOBID= node149-1338087336-3845
PBS_JOBID= 14624439
Free space on /tmp= 71708 MiB

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

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

MD5SUM BENCH= f675f355e04fd5af6f49610fb88dbbd3
RANDOM SEED=1586748915

node149.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.145
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	: 5332.29
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.145
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.145
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	: 5438.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		: 2666.145
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.145
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.145
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	: 5438.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		: 2666.145
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.145
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:       32873648 kB
MemFree:        30272660 kB
Buffers:          263564 kB
Cached:          1489424 kB
SwapCached:         2244 kB
Active:           728368 kB
Inactive:        1069308 kB
Active(anon):      36412 kB
Inactive(anon):     9052 kB
Active(file):     691956 kB
Inactive(file):  1060256 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104796 kB
Dirty:             12240 kB
Writeback:             0 kB
AnonPages:         48408 kB
Mapped:            14860 kB
Shmem:                96 kB
Slab:             665180 kB
SReclaimable:     109372 kB
SUnreclaim:       555808 kB
KernelStack:        1424 kB
PageTables:         3416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     165848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node149 at 2012-05-27 05:40:49