Trace number 3500123

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 1.1SAT (TO)68 1800.24 900.133

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
MD5SUMff9be653d1d3ea3b1a82846016e94df6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark64
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 64
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 3
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 324
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 324
Number of bits of the biggest sum of numbers9
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 pwbo 1.1 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3500123-1307991420.opb.
0.00/0.00	c Instance file HOME/instance-3500123-1307991420.opb
0.00/0.00	c File size is 202558 bytes.
0.01/0.01	c Highest Coefficient sum: 40
0.01/0.01	c ============================[ Problem Statistics ]=============================
0.01/0.01	c |                                                                             |
0.01/0.01	c |  Parsing time:          0.01         s                                      |
0.01/0.01	c |  Number Variables:      540                                                 |
0.01/0.01	c |  Number Clauses:        2682                                                |
0.01/0.01	c |  Number Cardinality:    264                                                 |
0.01/0.01	c |  Number PB Constraints: 1680                                                |
0.01/0.01	c init lb 0
0.01/0.01	c init ub 325
0.01/0.02	c lb 1 (thread 0)
0.01/0.02	c lb 2 (thread 0)
0.01/0.02	c lb 3 (thread 0)
0.01/0.02	c lb 4 (thread 0)
0.01/0.03	c lb 5 (thread 0)
0.01/0.03	c lb 6 (thread 0)
0.01/0.03	c lb 7 (thread 0)
0.01/0.04	c lb 8 (thread 0)
0.01/0.04	c lb 9 (thread 0)
0.01/0.04	c lb 10 (thread 0)
0.01/0.04	c lb 11 (thread 0)
0.01/0.04	c ub 94 (thread 1)
0.01/0.05	o 94
0.01/0.05	c lb 12 (thread 0)
0.01/0.05	c lb 13 (thread 0)
0.01/0.05	c lb 14 (thread 0)
0.01/0.06	c lb 15 (thread 0)
0.01/0.06	c lb 16 (thread 0)
0.01/0.06	c lb 17 (thread 0)
0.01/0.06	c lb 18 (thread 0)
0.01/0.07	c lb 19 (thread 0)
0.01/0.07	c lb 20 (thread 0)
0.01/0.07	c lb 21 (thread 0)
0.01/0.07	c ub 92 (thread 1)
0.01/0.08	o 92
0.01/0.08	c lb 22 (thread 0)
0.01/0.08	c lb 23 (thread 0)
0.01/0.08	c lb 24 (thread 0)
0.01/0.08	c lb 25 (thread 0)
0.01/0.09	c lb 26 (thread 0)
0.01/0.09	c lb 27 (thread 0)
0.01/0.09	c lb 28 (thread 0)
0.17/0.10	c lb 29 (thread 0)
0.17/0.10	c lb 30 (thread 0)
0.17/0.10	c lb 31 (thread 0)
0.17/0.10	c lb 32 (thread 0)
0.17/0.11	c lb 33 (thread 0)
0.17/0.11	c lb 34 (thread 0)
0.17/0.11	c lb 35 (thread 0)
0.17/0.12	c lb 36 (thread 0)
0.17/0.12	c lb 37 (thread 0)
0.17/0.12	c lb 38 (thread 0)
0.17/0.13	c lb 39 (thread 0)
0.17/0.13	c lb 40 (thread 0)
0.17/0.14	c lb 41 (thread 0)
0.17/0.15	c lb 42 (thread 0)
0.17/0.15	c lb 43 (thread 0)
0.17/0.16	c lb 44 (thread 0)
0.17/0.16	c lb 45 (thread 0)
0.17/0.17	c ub 76 (thread 1)
0.17/0.17	o 76
0.17/0.17	c lb 46 (thread 0)
0.17/0.18	c lb 47 (thread 0)
0.17/0.18	c lb 48 (thread 0)
0.17/0.20	c lb 49 (thread 0)
0.37/0.21	c lb 50 (thread 0)
0.37/0.22	c ub 74 (thread 1)
0.37/0.24	o 74
0.37/0.24	c lb 51 (thread 0)
0.37/0.25	c ub 72 (thread 1)
0.37/0.27	o 72
0.37/0.27	c lb 52 (thread 0)
0.37/0.28	c lb 53 (thread 0)
0.37/0.29	c lb 54 (thread 0)
0.57/0.33	c lb 55 (thread 0)
0.57/0.36	c lb 56 (thread 0)
0.57/0.39	c lb 57 (thread 0)
0.77/0.40	c lb 58 (thread 0)
0.77/0.47	c lb 59 (thread 0)
0.97/0.51	c lb 60 (thread 0)
22.57/11.35	c ub 70 (thread 1)
652.98/326.59	o 70
652.98/326.59	c ub 68 (thread 1)
1800.20/900.11	o 68
1800.20/900.11	s SATISFIABLE
1800.20/900.11	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
1800.20/900.11	c Memory used           : 536.97 MB
1800.20/900.11	c CPU time              : 1795.14 s

Verifier Data 

OK	68

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 /var/tmp/evaluation-result-3500123-1307991420/watcher-3500123-1307991420 -o /var/tmp/evaluation-result-3500123-1307991420/solver-3500123-1307991420 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500123-1307991420.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.68 3.83 3.18 1/172 30744
/proc/meminfo: memFree=3848444/32951124 swapFree=67054520/67111528
[pid=30744] ppid=30742 vsize=2840 CPUtime=0 cores=0,2,4,6
/proc/30744/stat : 30744 (pwbo1.1) R 30742 30744 30373 0 -1 4202496 440 0 0 0 0 0 0 0 25 0 1 0 910740499 2908160 392 33554432000 4194304 5714118 140733311522336 18446744073709551615 4228496 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/30744/statm: 710 392 170 372 0 285 0

[startup+0.015203 s]
/proc/loadavg: 3.68 3.83 3.18 1/172 30744
/proc/meminfo: memFree=3848444/32951124 swapFree=67054520/67111528
[pid=30744] ppid=30742 vsize=4036 CPUtime=0.01 cores=0,2,4,6
/proc/30744/stat : 30744 (pwbo1.1) R 30742 30744 30373 0 -1 4202496 773 0 0 0 1 0 0 0 25 0 1 0 910740499 4132864 725 33554432000 4194304 5714118 140733311522336 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/30744/statm: 1009 726 197 372 0 584 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4036

[startup+0.100212 s]
/proc/loadavg: 3.68 3.83 3.18 1/172 30744
/proc/meminfo: memFree=3848444/32951124 swapFree=67054520/67111528
[pid=30744] ppid=30742 vsize=141768 CPUtime=0.17 cores=0,2,4,6
/proc/30744/stat : 30744 (pwbo1.1) S 30742 30744 30373 0 -1 4202496 4349 0 0 0 15 2 0 0 25 0 3 0 910740499 145170432 4247 33554432000 4194304 5714118 140733311522336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30744/statm: 35442 4247 181 372 0 35067 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 141768

[startup+0.301168 s]
/proc/loadavg: 3.68 3.83 3.18 1/172 30744
/proc/meminfo: memFree=3848444/32951124 swapFree=67054520/67111528
[pid=30744] ppid=30742 vsize=141768 CPUtime=0.57 cores=0,2,4,6
/proc/30744/stat : 30744 (pwbo1.1) S 30742 30744 30373 0 -1 4202496 5213 0 0 0 55 2 0 0 25 0 3 0 910740499 145170432 5111 33554432000 4194304 5714118 140733311522336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30744/statm: 35442 5111 181 372 0 35067 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 141768

[startup+0.701112 s]
/proc/loadavg: 3.68 3.83 3.18 1/172 30744
/proc/meminfo: memFree=3848444/32951124 swapFree=67054520/67111528
[pid=30744] ppid=30742 vsize=141768 CPUtime=1.37 cores=0,2,4,6
/proc/30744/stat : 30744 (pwbo1.1) S 30742 30744 30373 0 -1 4202496 5604 0 0 0 133 4 0 0 25 0 3 0 910740499 145170432 5502 33554432000 4194304 5714118 140733311522336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30744/statm: 35442 5502 181 372 0 35067 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 141768

[startup+1.50099 s]
/proc/loadavg: 3.68 3.83 3.18 5/182 30763
/proc/meminfo: memFree=3774752/32951124 swapFree=67054520/67111528
[pid=30744] ppid=30742 vsize=141912 CPUtime=2.97 cores=0,2,4,6
/proc/30744/stat : 30744 (pwbo1.1) S 30742 30744 30373 0 -1 4202496 6627 0 0 0 291 6 0 0 25 0 3 0 910740499 145317888 6525 33554432000 4194304 5714118 140733311522336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30744/statm: 35478 6525 181 372 0 35103 0
[pid=30744/tid=30746] ppid=30742 vsize=141912 CPUtime=1.48 cores=0,2,4,6
/proc/30744/task/30746/stat : 30746 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 2895 0 0 0 145 3 0 0 20 0 3 0 910740501 145317888 6525 33554432000 4194304 5714118 140733311522336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30744/tid=30747] ppid=30742 vsize=141912 CPUtime=1.47 cores=0,2,4,6
/proc/30744/task/30747/stat : 30747 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 2771 0 0 0 144 3 0 0 18 0 3 0 910740501 145317888 6525 33554432000 4194304 5714118 140733311522336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 141912

[startup+3.10069 s]
/proc/loadavg: 3.68 3.83 3.18 5/182 30763
/proc/meminfo: memFree=3733088/32951124 swapFree=67054520/67111528
[pid=30744] ppid=30742 vsize=141912 CPUtime=6.17 cores=0,2,4,6
/proc/30744/stat : 30744 (pwbo1.1) S 30742 30744 30373 0 -1 4202496 7727 0 0 0 607 10 0 0 25 0 3 0 910740499 145317888 7625 33554432000 4194304 5714118 140733311522336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30744/statm: 35478 7625 181 372 0 35103 0
[pid=30744/tid=30746] ppid=30742 vsize=141912 CPUtime=3.07 cores=0,2,4,6
/proc/30744/task/30746/stat : 30746 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 3508 0 0 0 303 4 0 0 25 0 3 0 910740501 145317888 7625 33554432000 4194304 5714118 140733311522336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30744/tid=30747] ppid=30742 vsize=141912 CPUtime=3.07 cores=0,2,4,6
/proc/30744/task/30747/stat : 30747 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 3258 0 0 0 302 5 0 0 20 0 3 0 910740501 145317888 7625 33554432000 4194304 5714118 140733311522336 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 141912

[startup+6.30117 s]
/proc/loadavg: 3.71 3.84 3.18 5/182 30763
/proc/meminfo: memFree=3652012/32951124 swapFree=67054520/67111528
[pid=30744] ppid=30742 vsize=142320 CPUtime=12.57 cores=0,2,4,6
/proc/30744/stat : 30744 (pwbo1.1) S 30742 30744 30373 0 -1 4202496 9741 0 0 0 1241 16 0 0 25 0 3 0 910740499 145735680 9639 33554432000 4194304 5714118 140733311522336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30744/statm: 35580 9639 182 372 0 35205 0
[pid=30744/tid=30746] ppid=30742 vsize=142320 CPUtime=6.27 cores=0,2,4,6
/proc/30744/task/30746/stat : 30746 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 4721 0 0 0 620 7 0 0 25 0 3 0 910740501 145735680 9639 33554432000 4194304 5714118 140733311522336 18446744073709551615 4346879 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30744/tid=30747] ppid=30742 vsize=142320 CPUtime=6.27 cores=0,2,4,6
/proc/30744/task/30747/stat : 30747 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 4059 0 0 0 618 9 0 0 25 0 3 0 910740501 145735680 9639 33554432000 4194304 5714118 140733311522336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 142320

[startup+12.7011 s]
/proc/loadavg: 3.73 3.84 3.19 5/182 30764
/proc/meminfo: memFree=3544992/32951124 swapFree=67054520/67111528
[pid=30744] ppid=30742 vsize=142860 CPUtime=25.37 cores=0,2,4,6
/proc/30744/stat : 30744 (pwbo1.1) S 30742 30744 30373 0 -1 4202496 12245 0 0 0 2511 26 0 0 25 0 3 0 910740499 146288640 12143 33554432000 4194304 5714118 140733311522336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30744/statm: 35715 12143 182 372 0 35340 0
[pid=30744/tid=30746] ppid=30742 vsize=142860 CPUtime=12.67 cores=0,2,4,6
/proc/30744/task/30746/stat : 30746 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 6078 0 0 0 1256 11 0 0 25 0 3 0 910740501 146288640 12143 33554432000 4194304 5714118 140733311522336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30744/tid=30747] ppid=30742 vsize=142860 CPUtime=12.67 cores=0,2,4,6
/proc/30744/task/30747/stat : 30747 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 5206 0 0 0 1254 13 0 0 24 0 3 0 910740501 146288640 12143 33554432000 4194304 5714118 140733311522336 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 142860

[startup+25.5009 s]
/proc/loadavg: 3.79 3.85 3.20 5/182 30764
/proc/meminfo: memFree=3468640/32951124 swapFree=67054520/67111528
[pid=30744] ppid=30742 vsize=143780 CPUtime=50.97 cores=0,2,4,6
/proc/30744/stat : 30744 (pwbo1.1) S 30742 30744 30373 0 -1 4202496 15460 0 0 0 5058 39 0 0 25 0 3 0 910740499 147230720 15358 33554432000 4194304 5714118 140733311522336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30744/statm: 35945 15358 182 372 0 35570 0
[pid=30744/tid=30746] ppid=30742 vsize=143780 CPUtime=25.47 cores=0,2,4,6
/proc/30744/task/30746/stat : 30746 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 8037 0 0 0 2528 19 0 0 25 0 3 0 910740501 147230720 15358 33554432000 4194304 5714118 140733311522336 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30744/tid=30747] ppid=30742 vsize=143780 CPUtime=25.47 cores=0,2,4,6
/proc/30744/task/30747/stat : 30747 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 6462 0 0 0 2528 19 0 0 25 0 3 0 910740501 147230720 15358 33554432000 4194304 5714118 140733311522336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 143780

[startup+51.1007 s]
/proc/loadavg: 3.86 3.86 3.22 5/182 30765
/proc/meminfo: memFree=3411272/32951124 swapFree=67054520/67111528
[pid=30744] ppid=30742 vsize=145132 CPUtime=102.17 cores=0,2,4,6
/proc/30744/stat : 30744 (pwbo1.1) S 30742 30744 30373 0 -1 4202496 22837 0 0 0 10150 67 0 0 25 0 3 0 910740499 148615168 22735 33554432000 4194304 5714118 140733311522336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30744/statm: 36283 22735 182 372 0 35908 0
[pid=30744/tid=30746] ppid=30742 vsize=145132 CPUtime=51.07 cores=0,2,4,6
/proc/30744/task/30746/stat : 30746 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 11828 0 0 0 5076 31 0 0 25 0 3 0 910740501 148615168 22735 33554432000 4194304 5714118 140733311522336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30744/tid=30747] ppid=30742 vsize=145132 CPUtime=51.06 cores=0,2,4,6
/proc/30744/task/30747/stat : 30747 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 10048 0 0 0 5071 35 0 0 25 0 3 0 910740501 148615168 22735 33554432000 4194304 5714118 140733311522336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 145132

[startup+102.306 s]
/proc/loadavg: 3.94 3.88 3.26 5/182 30766
/proc/meminfo: memFree=3314304/32951124 swapFree=67054520/67111528
[pid=30744] ppid=30742 vsize=211896 CPUtime=204.58 cores=0,2,4,6
/proc/30744/stat : 30744 (pwbo1.1) S 30742 30744 30373 0 -1 4202496 31791 0 0 0 20353 105 0 0 25 0 3 0 910740499 216981504 31689 33554432000 4194304 5714118 140733311522336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30744/statm: 52974 31689 182 372 0 52599 0
[pid=30744/tid=30746] ppid=30742 vsize=211896 CPUtime=102.28 cores=0,2,4,6
/proc/30744/task/30746/stat : 30746 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 18198 0 0 0 10175 53 0 0 25 0 3 0 910740501 216981504 31689 33554432000 4194304 5714118 140733311522336 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30744/tid=30747] ppid=30742 vsize=211896 CPUtime=102.27 cores=0,2,4,6
/proc/30744/task/30747/stat : 30747 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 12632 0 0 0 10176 51 0 0 25 0 3 0 910740501 216981504 31689 33554432000 4194304 5714118 140733311522336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.58
Current children cumulated vsize (KiB) 211896

[startup+162.301 s]
/proc/loadavg: 3.98 3.90 3.30 5/182 30768
/proc/meminfo: memFree=3265412/32951124 swapFree=67054520/67111528
[pid=30744] ppid=30742 vsize=213512 CPUtime=324.57 cores=0,2,4,6
/proc/30744/stat : 30744 (pwbo1.1) S 30742 30744 30373 0 -1 4202496 40216 0 0 0 32315 142 0 0 25 0 3 0 910740499 218636288 40114 33554432000 4194304 5714118 140733311522336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30744/statm: 53378 40114 182 372 0 53003 0
[pid=30744/tid=30746] ppid=30742 vsize=213512 CPUtime=162.28 cores=0,2,4,6
/proc/30744/task/30746/stat : 30746 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 24551 0 0 0 16151 77 0 0 25 0 3 0 910740501 218636288 40114 33554432000 4194304 5714118 140733311522336 18446744073709551615 4319402 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30744/tid=30747] ppid=30742 vsize=213512 CPUtime=162.27 cores=0,2,4,6
/proc/30744/task/30747/stat : 30747 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 14704 0 0 0 16163 64 0 0 25 0 3 0 910740501 218636288 40114 33554432000 4194304 5714118 140733311522336 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 324.57
Current children cumulated vsize (KiB) 213512

[startup+222.301 s]
/proc/loadavg: 3.99 3.91 3.34 5/182 30769
/proc/meminfo: memFree=3237108/32951124 swapFree=67054520/67111528
[pid=30744] ppid=30742 vsize=214964 CPUtime=444.58 cores=0,2,4,6
/proc/30744/stat : 30744 (pwbo1.1) S 30742 30744 30373 0 -1 4202496 46996 0 0 0 44284 174 0 0 25 0 3 0 910740499 220123136 46894 33554432000 4194304 5714118 140733311522336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30744/statm: 53741 46894 182 372 0 53366 0
[pid=30744/tid=30746] ppid=30742 vsize=214964 CPUtime=222.27 cores=0,2,4,6
/proc/30744/task/30746/stat : 30746 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 30502 0 0 0 22127 100 0 0 25 0 3 0 910740501 220123136 46894 33554432000 4194304 5714118 140733311522336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30744/tid=30747] ppid=30742 vsize=214964 CPUtime=222.27 cores=0,2,4,6
/proc/30744/task/30747/stat : 30747 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 15533 0 0 0 22154 73 0 0 18 0 3 0 910740501 220123136 46894 33554432000 4194304 5714118 140733311522336 18446744073709551615 4300195 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 444.58
Current children cumulated vsize (KiB) 214964

[startup+282.301 s]
/proc/loadavg: 3.99 3.92 3.38 5/182 30780
/proc/meminfo: memFree=3208356/32951124 swapFree=67054520/67111528
[pid=30744] ppid=30742 vsize=281268 CPUtime=564.57 cores=0,2,4,6
/proc/30744/stat : 30744 (pwbo1.1) S 30742 30744 30373 0 -1 4202496 53047 0 0 0 56249 208 0 0 25 0 3 0 910740499 288018432 52945 33554432000 4194304 5714118 140733311522336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30744/statm: 70317 52945 182 372 0 69942 0
[pid=30744/tid=30746] ppid=30742 vsize=281268 CPUtime=282.27 cores=0,2,4,6
/proc/30744/task/30746/stat : 30746 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 36192 0 0 0 28101 126 0 0 25 0 3 0 910740501 288018432 52945 33554432000 4194304 5714118 140733311522336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30744/tid=30747] ppid=30742 vsize=281268 CPUtime=282.27 cores=0,2,4,6
/proc/30744/task/30747/stat : 30747 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 15894 0 0 0 28146 81 0 0 25 0 3 0 910740501 288018432 52945 33554432000 4194304 5714118 140733311522336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 564.57
Current children cumulated vsize (KiB) 281268

[startup+342.301 s]
/proc/loadavg: 3.99 3.94 3.42 5/182 30782
/proc/meminfo: memFree=3157228/32951124 swapFree=67054520/67111528
[pid=30744] ppid=30742 vsize=281628 CPUtime=684.58 cores=0,2,4,6
/proc/30744/stat : 30744 (pwbo1.1) S 30742 30744 30373 0 -1 4202496 61350 0 0 0 68208 250 0 0 25 0 3 0 910740499 288387072 61248 33554432000 4194304 5714118 140733311522336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30744/statm: 70407 61248 182 372 0 70032 0
[pid=30744/tid=30746] ppid=30742 vsize=281628 CPUtime=342.28 cores=0,2,4,6
/proc/30744/task/30746/stat : 30746 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 42126 0 0 0 34080 148 0 0 25 0 3 0 910740501 288387072 61248 33554432000 4194304 5714118 140733311522336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30744/tid=30747] ppid=30742 vsize=281628 CPUtime=342.27 cores=0,2,4,6
/proc/30744/task/30747/stat : 30747 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 18263 0 0 0 34126 101 0 0 25 0 3 0 910740501 288387072 61248 33554432000 4194304 5714118 140733311522336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 684.58
Current children cumulated vsize (KiB) 281628

[startup+402.301 s]
/proc/loadavg: 3.99 3.94 3.45 5/182 30783
/proc/meminfo: memFree=3097268/32951124 swapFree=67054520/67111528
[pid=30744] ppid=30742 vsize=281952 CPUtime=804.58 cores=0,2,4,6
/proc/30744/stat : 30744 (pwbo1.1) S 30742 30744 30373 0 -1 4202496 65719 0 0 0 80179 279 0 0 25 0 3 0 910740499 288718848 65617 33554432000 4194304 5714118 140733311522336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30744/statm: 70488 65617 182 372 0 70113 0
[pid=30744/tid=30746] ppid=30742 vsize=281952 CPUtime=402.28 cores=0,2,4,6
/proc/30744/task/30746/stat : 30746 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 46441 0 0 0 40059 169 0 0 25 0 3 0 910740501 288718848 65617 33554432000 4194304 5714118 140733311522336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30744/tid=30747] ppid=30742 vsize=281952 CPUtime=402.28 cores=0,2,4,6
/proc/30744/task/30747/stat : 30747 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 18317 0 0 0 40118 110 0 0 25 0 3 0 910740501 288718848 65617 33554432000 4194304 5714118 140733311522336 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 804.58
Current children cumulated vsize (KiB) 281952

[startup+462.301 s]
/proc/loadavg: 3.99 3.95 3.48 5/182 30788
/proc/meminfo: memFree=3078460/32951124 swapFree=67054520/67111528
[pid=30744] ppid=30742 vsize=347952 CPUtime=924.58 cores=0,2,4,6
/proc/30744/stat : 30744 (pwbo1.1) S 30742 30744 30373 0 -1 4202496 70184 0 0 0 92152 306 0 0 25 0 3 0 910740499 356302848 70082 33554432000 4194304 5714118 140733311522336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30744/statm: 86988 70082 182 372 0 86613 0
[pid=30744/tid=30746] ppid=30742 vsize=347952 CPUtime=462.28 cores=0,2,4,6
/proc/30744/task/30746/stat : 30746 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 50781 0 0 0 46040 188 0 0 25 0 3 0 910740501 356302848 70082 33554432000 4194304 5714118 140733311522336 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30744/tid=30747] ppid=30742 vsize=347952 CPUtime=462.27 cores=0,2,4,6
/proc/30744/task/30747/stat : 30747 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 18442 0 0 0 46110 117 0 0 25 0 3 0 910740501 356302848 70082 33554432000 4194304 5714118 140733311522336 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 924.58
Current children cumulated vsize (KiB) 347952

[startup+522.3 s]
/proc/loadavg: 3.99 3.96 3.51 5/182 30789
/proc/meminfo: memFree=3056304/32951124 swapFree=67054520/67111528
[pid=30744] ppid=30742 vsize=348836 CPUtime=1044.59 cores=0,2,4,6
/proc/30744/stat : 30744 (pwbo1.1) S 30742 30744 30373 0 -1 4202496 74859 0 0 0 104127 332 0 0 25 0 3 0 910740499 357208064 74757 33554432000 4194304 5714118 140733311522336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30744/statm: 87209 74757 182 372 0 86834 0
[pid=30744/tid=30746] ppid=30742 vsize=348836 CPUtime=522.27 cores=0,2,4,6
/proc/30744/task/30746/stat : 30746 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 55261 0 0 0 52022 205 0 0 25 0 3 0 910740501 357208064 74757 33554432000 4194304 5714118 140733311522336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30744/tid=30747] ppid=30742 vsize=348836 CPUtime=522.27 cores=0,2,4,6
/proc/30744/task/30747/stat : 30747 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 18637 0 0 0 52102 125 0 0 25 0 3 0 910740501 357208064 74757 33554432000 4194304 5714118 140733311522336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1044.59
Current children cumulated vsize (KiB) 348836

[startup+582.3 s]
/proc/loadavg: 4.06 3.98 3.55 5/182 30791
/proc/meminfo: memFree=3032820/32951124 swapFree=67054520/67111528
[pid=30744] ppid=30742 vsize=349312 CPUtime=1164.58 cores=0,2,4,6
/proc/30744/stat : 30744 (pwbo1.1) S 30742 30744 30373 0 -1 4202496 79244 0 0 0 116098 360 0 0 25 0 3 0 910740499 357695488 79142 33554432000 4194304 5714118 140733311522336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30744/statm: 87328 79142 182 372 0 86953 0
[pid=30744/tid=30746] ppid=30742 vsize=349312 CPUtime=582.28 cores=0,2,4,6
/proc/30744/task/30746/stat : 30746 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 59567 0 0 0 58003 225 0 0 25 0 3 0 910740501 357695488 79142 33554432000 4194304 5714118 140733311522336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30744/tid=30747] ppid=30742 vsize=349312 CPUtime=582.28 cores=0,2,4,6
/proc/30744/task/30747/stat : 30747 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 18716 0 0 0 58093 135 0 0 25 0 3 0 910740501 357695488 79142 33554432000 4194304 5714118 140733311522336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1164.58
Current children cumulated vsize (KiB) 349312

[startup+642.3 s]
/proc/loadavg: 4.02 3.98 3.57 5/182 30793
/proc/meminfo: memFree=3011056/32951124 swapFree=67054520/67111528
[pid=30744] ppid=30742 vsize=350228 CPUtime=1284.6 cores=0,2,4,6
/proc/30744/stat : 30744 (pwbo1.1) S 30742 30744 30373 0 -1 4202496 84739 0 0 0 128070 390 0 0 25 0 3 0 910740499 358633472 84637 33554432000 4194304 5714118 140733311522336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30744/statm: 87557 84637 182 372 0 87182 0
[pid=30744/tid=30746] ppid=30742 vsize=350228 CPUtime=642.28 cores=0,2,4,6
/proc/30744/task/30746/stat : 30746 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 63849 0 0 0 63986 242 0 0 25 0 3 0 910740501 358633472 84637 33554432000 4194304 5714118 140733311522336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30744/tid=30747] ppid=30742 vsize=350228 CPUtime=642.29 cores=0,2,4,6
/proc/30744/task/30747/stat : 30747 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 19929 0 0 0 64082 147 0 0 25 0 3 0 910740501 358633472 84637 33554432000 4194304 5714118 140733311522336 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1284.6
Current children cumulated vsize (KiB) 350228

[startup+702.3 s]
/proc/loadavg: 4.00 3.98 3.59 5/182 30794
/proc/meminfo: memFree=2987072/32951124 swapFree=67054520/67111528
[pid=30744] ppid=30742 vsize=482328 CPUtime=1404.59 cores=0,2,4,6
/proc/30744/stat : 30744 (pwbo1.1) S 30742 30744 30373 0 -1 4202496 90153 0 0 0 140041 418 0 0 25 0 3 0 910740499 493903872 90051 33554432000 4194304 5714118 140733311522336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30744/statm: 120582 90051 182 372 0 120207 0
[pid=30744/tid=30746] ppid=30742 vsize=482328 CPUtime=702.28 cores=0,2,4,6
/proc/30744/task/30746/stat : 30746 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 68503 0 0 0 69967 261 0 0 25 0 3 0 910740501 493903872 90051 33554432000 4194304 5714118 140733311522336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30744/tid=30747] ppid=30742 vsize=482328 CPUtime=702.27 cores=0,2,4,6
/proc/30744/task/30747/stat : 30747 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 20689 0 0 0 70071 156 0 0 25 0 3 0 910740501 493903872 90051 33554432000 4194304 5714118 140733311522336 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1404.59
Current children cumulated vsize (KiB) 482328

[startup+762.306 s]
/proc/loadavg: 4.00 3.98 3.62 5/182 30796
/proc/meminfo: memFree=2940640/32951124 swapFree=67054520/67111528
[pid=30744] ppid=30742 vsize=482820 CPUtime=1524.6 cores=0,2,4,6
/proc/30744/stat : 30744 (pwbo1.1) S 30742 30744 30373 0 -1 4202496 95618 0 0 0 152016 444 0 0 25 0 3 0 910740499 494407680 95516 33554432000 4194304 5714118 140733311522336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30744/statm: 120705 95516 182 372 0 120330 0
[pid=30744/tid=30746] ppid=30742 vsize=482820 CPUtime=762.29 cores=0,2,4,6
/proc/30744/task/30746/stat : 30746 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 73786 0 0 0 75949 280 0 0 25 0 3 0 910740501 494407680 95516 33554432000 4194304 5714118 140733311522336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30744/tid=30747] ppid=30742 vsize=482820 CPUtime=762.28 cores=0,2,4,6
/proc/30744/task/30747/stat : 30747 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 20871 0 0 0 76065 163 0 0 25 0 3 0 910740501 494407680 95516 33554432000 4194304 5714118 140733311522336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1524.6
Current children cumulated vsize (KiB) 482820

[startup+822.301 s]
/proc/loadavg: 4.00 3.98 3.64 5/182 30797
/proc/meminfo: memFree=2914928/32951124 swapFree=67054520/67111528
[pid=30744] ppid=30742 vsize=483104 CPUtime=1644.59 cores=0,2,4,6
/proc/30744/stat : 30744 (pwbo1.1) S 30742 30744 30373 0 -1 4202496 100599 0 0 0 163985 474 0 0 25 0 3 0 910740499 494698496 100497 33554432000 4194304 5714118 140733311522336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30744/statm: 120776 100497 182 372 0 120401 0
[pid=30744/tid=30746] ppid=30742 vsize=483104 CPUtime=822.28 cores=0,2,4,6
/proc/30744/task/30746/stat : 30746 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 78452 0 0 0 81929 299 0 0 25 0 3 0 910740501 494698496 100497 33554432000 4194304 5714118 140733311522336 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30744/tid=30747] ppid=30742 vsize=483104 CPUtime=822.28 cores=0,2,4,6
/proc/30744/task/30747/stat : 30747 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 21186 0 0 0 82054 174 0 0 25 0 3 0 910740501 494698496 100497 33554432000 4194304 5714118 140733311522336 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1644.59
Current children cumulated vsize (KiB) 483104

[startup+882.301 s]
/proc/loadavg: 4.00 3.98 3.66 5/182 30799
/proc/meminfo: memFree=2890680/32951124 swapFree=67054520/67111528
[pid=30744] ppid=30742 vsize=549392 CPUtime=1764.59 cores=0,2,4,6
/proc/30744/stat : 30744 (pwbo1.1) S 30742 30744 30373 0 -1 4202496 106397 0 0 0 175957 502 0 0 25 0 3 0 910740499 562577408 106295 33554432000 4194304 5714118 140733311522336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30744/statm: 137348 106295 182 372 0 136973 0
[pid=30744/tid=30746] ppid=30742 vsize=549392 CPUtime=882.29 cores=0,2,4,6
/proc/30744/task/30746/stat : 30746 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 81944 0 0 0 87913 316 0 0 25 0 3 0 910740501 562577408 106295 33554432000 4194304 5714118 140733311522336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30744/tid=30747] ppid=30742 vsize=549392 CPUtime=882.28 cores=0,2,4,6
/proc/30744/task/30747/stat : 30747 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 23492 0 0 0 88042 186 0 0 25 0 3 0 910740501 562577408 106295 33554432000 4194304 5714118 140733311522336 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1764.59
Current children cumulated vsize (KiB) 549392



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.101 s]
/proc/loadavg: 4.00 3.98 3.66 5/182 30799
/proc/meminfo: memFree=2884200/32951124 swapFree=67054520/67111528
[pid=30744] ppid=30742 vsize=549856 CPUtime=1800.2 cores=0,2,4,6
/proc/30744/stat : 30744 (pwbo1.1) S 30742 30744 30373 0 -1 4202496 108044 0 0 0 179512 508 0 0 25 0 3 0 910740499 563052544 107942 33554432000 4194304 5714118 140733311522336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30744/statm: 137464 107942 182 372 0 137089 0
[pid=30744/tid=30746] ppid=30742 vsize=549856 CPUtime=900.09 cores=0,2,4,6
/proc/30744/task/30746/stat : 30746 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 83504 0 0 0 89689 320 0 0 25 0 3 0 910740501 563052544 107942 33554432000 4194304 5714118 140733311522336 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30744/tid=30747] ppid=30742 vsize=549856 CPUtime=900.08 cores=0,2,4,6
/proc/30744/task/30747/stat : 30747 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 23579 0 0 0 89821 187 0 0 25 0 3 0 910740501 563052544 107942 33554432000 4194304 5714118 140733311522336 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 549856

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

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

[startup+900.101 s]
/proc/loadavg: 4.00 3.98 3.66 5/182 30799
/proc/meminfo: memFree=2884200/32951124 swapFree=67054520/67111528
[pid=30744] ppid=30742 vsize=549856 CPUtime=1800.2 cores=0,2,4,6
/proc/30744/stat : 30744 (pwbo1.1) S 30742 30744 30373 0 -1 4202496 108044 0 0 0 179512 508 0 0 25 0 3 0 910740499 563052544 107942 33554432000 4194304 5714118 140733311522336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30744/statm: 137464 107942 182 372 0 137089 0
[pid=30744/tid=30746] ppid=30742 vsize=549856 CPUtime=900.09 cores=0,2,4,6
/proc/30744/task/30746/stat : 30746 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 83504 0 0 0 89689 320 0 0 25 0 3 0 910740501 563052544 107942 33554432000 4194304 5714118 140733311522336 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30744/tid=30747] ppid=30742 vsize=549856 CPUtime=900.08 cores=0,2,4,6
/proc/30744/task/30747/stat : 30747 (pwbo1.1) R 30742 30744 30373 0 -1 4202560 23579 0 0 0 89821 187 0 0 25 0 3 0 910740501 563052544 107942 33554432000 4194304 5714118 140733311522336 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 549856

Child status: 0
Real time (s): 900.133
CPU time (s): 1800.24
CPU user time (s): 1795.14
CPU system time (s): 5.10522
CPU usage (%): 199.998
Max. virtual memory (cumulated for all children) (KiB): 549856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.14
system time used= 5.10522
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108050
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= 111
involuntary context switches= 2681

runsolver used 1.55876 second user time and 3.06753 second system time

The end

Launcher Data 

Begin job on node130 at 2011-06-13 20:57:00
IDJOB=3500123
IDBENCH=2007
IDSOLVER=1954
FILE ID=node130/3500123-1307991420
RUNJOBID= node130-1307990518-30624
PBS_JOBID= 13559739
Free space on /var/tmp= 2904 MiB

SOLVER NAME= pwbo 1.1
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb
COMMAND LINE= pwbo1.1 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500123-1307991420/watcher-3500123-1307991420 -o /var/tmp/evaluation-result-3500123-1307991420/solver-3500123-1307991420 -C 1800 -W 1900 -M 15500  pwbo1.1 -file-format=opb HOME/instance-3500123-1307991420.opb

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

MD5SUM BENCH= ff9be653d1d3ea3b1a82846016e94df6
RANDOM SEED=828477326

node130.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       3844656 kB
Buffers:        129280 kB
Cached:       28047300 kB
SwapCached:      10356 kB
Active:       13309464 kB
Inactive:     14886280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       3844656 kB
SwapTotal:    67111528 kB
SwapFree:     67054520 kB
Dirty:            4300 kB
Writeback:           0 kB
AnonPages:       16532 kB
Mapped:          12520 kB
Slab:           845740 kB
PageTables:       4700 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   192732 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2900 MiB
End job on node130 at 2011-06-13 21:12:02