Trace number 3728706

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 NameAnswerCPU timeWall clock time
pwbo 2.02MSAT (TO) 1800.35 900.317

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-dsjc125-1-4_wcsp.wbo
MD5SUMb95440184c2619269a303a66296dd7fe
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark35
Best CPU time to get the best result obtained on this benchmark1796.83
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables500
Total number of constraints3069
Number of soft constraints2944
Number of constraints which are clauses2944
Number of constraints which are cardinality constraints (but not clauses)125
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
Top cost 737
Min constraint cost 1
Max constraint cost 1
Sum of constraints costs 2944
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                     2.02 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing wbo file format. File HOME/instance-3728706-1338675111.wbo.
0.00/0.00	c Instance file HOME/instance-3728706-1338675111.wbo
0.00/0.00	c File size is 86160 bytes.
0.00/0.00	c Highest Coefficient sum: 5
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      3444                                                |
0.00/0.01	c |  Number Clauses:        3069                                                |
0.00/0.01	c |  Number Cardinality:    125                                                 |
0.00/0.01	c |  Number PB Constraints: 0                                                   |
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Problem Type:          Optimization                                        |
0.00/0.01	c |  Objective Function:    Cardinality Constraint                              |
0.00/0.01	c |                                                                             |
0.00/0.01	c ===============================================================================
1800.14/900.31	o 81
1800.14/900.31	o 73
1800.14/900.31	o 69
1800.14/900.31	o 68
1800.14/900.31	o 53
1800.14/900.31	o 52
1800.14/900.31	o 50
1800.14/900.31	o 49
1800.14/900.31	o 48
1800.14/900.31	o 47
1800.14/900.31	o 46
1800.14/900.31	o 45
1800.14/900.31	o 44
1800.14/900.31	o 43
1800.14/900.31	c ===============================================================================
1800.14/900.31	c Wall Clock Time: 900.31 s
1800.14/900.31	c Best Solution: 43
1800.14/900.31	s SATISFIABLE
1800.14/900.31	v -x1 x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 x28 x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 x52 -x53 x54 -x55 -x56 -x57 x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 x115 -x116 -x117 -x118 x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 x156 -x157 x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 x179 -x180 -x181 -x182 x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 x194 -x195 -x196 x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 x231 -x232 -x233 x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 x258 -x259 -x260 x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 -x273 -x274 -x275 x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 x287 -x288 -x289 x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 x339 -x340 x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 x359 -x360 -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

Verifier Data 

OK	43

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.90 3.95 3.90 4/177 9568
/proc/meminfo: memFree=26269412/32873648 swapFree=7368/7368
[pid=9568] ppid=9566 vsize=4876 CPUtime=0 cores=1,3,5,7
/proc/9568/stat : 9568 (pwbo2.02) R 9566 9568 8129 0 -1 4202496 526 0 0 0 0 0 0 0 20 0 1 0 333635214 4993024 479 33554432000 4194304 5964478 140737372677472 140735432267144 4395266 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/9568/statm: 1219 479 170 433 0 761 0

[startup+0.0416649 s]
/proc/loadavg: 3.90 3.95 3.90 4/177 9568
/proc/meminfo: memFree=26269412/32873648 swapFree=7368/7368
[pid=9568] ppid=9566 vsize=169840 CPUtime=0.06 cores=1,3,5,7
/proc/9568/stat : 9568 (pwbo2.02) S 9566 9568 8129 0 -1 4202496 4605 0 0 0 5 1 0 0 20 0 3 0 333635214 173916160 4519 33554432000 4194304 5964478 140737372677472 140737372676992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9568/statm: 42460 4524 207 433 0 42024 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 169840

[startup+0.100233 s]
/proc/loadavg: 3.90 3.95 3.90 4/177 9568
/proc/meminfo: memFree=26269412/32873648 swapFree=7368/7368
[pid=9568] ppid=9566 vsize=185396 CPUtime=0.17 cores=1,3,5,7
/proc/9568/stat : 9568 (pwbo2.02) S 9566 9568 8129 0 -1 4202496 11116 0 0 0 14 3 0 0 20 0 3 0 333635214 189845504 10970 33554432000 4194304 5964478 140737372677472 140737372676992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9568/statm: 46349 10973 207 433 0 45913 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 185396

[startup+0.300185 s]
/proc/loadavg: 3.90 3.95 3.90 4/177 9568
/proc/meminfo: memFree=26269412/32873648 swapFree=7368/7368
[pid=9568] ppid=9566 vsize=191672 CPUtime=0.57 cores=1,3,5,7
/proc/9568/stat : 9568 (pwbo2.02) S 9566 9568 8129 0 -1 4202496 14324 0 0 0 53 4 0 0 20 0 3 0 333635214 196272128 14689 33554432000 4194304 5964478 140737372677472 140737372676992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9568/statm: 47918 14689 207 433 0 47482 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 191672

[startup+0.700193 s]
/proc/loadavg: 3.90 3.95 3.90 4/177 9568
/proc/meminfo: memFree=26269412/32873648 swapFree=7368/7368
[pid=9568] ppid=9566 vsize=191672 CPUtime=1.37 cores=1,3,5,7
/proc/9568/stat : 9568 (pwbo2.02) S 9566 9568 8129 0 -1 4202496 14400 0 0 0 133 4 0 0 20 0 3 0 333635214 196272128 14765 33554432000 4194304 5964478 140737372677472 140737372676992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9568/statm: 47918 14765 207 433 0 47482 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 191672

[startup+1.50036 s]
/proc/loadavg: 3.90 3.95 3.90 5/180 9571
/proc/meminfo: memFree=26208572/32873648 swapFree=7368/7368
[pid=9568] ppid=9566 vsize=191672 CPUtime=2.97 cores=1,3,5,7
/proc/9568/stat : 9568 (pwbo2.02) S 9566 9568 8129 0 -1 4202496 15049 0 0 0 292 5 0 0 20 0 3 0 333635214 196272128 15414 33554432000 4194304 5964478 140737372677472 140737372676992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9568/statm: 47918 15414 207 433 0 47482 0
[pid=9568/tid=9570] ppid=9566 vsize=191672 CPUtime=1.47 cores=1,3,5,7
/proc/9568/task/9570/stat : 9570 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 1612 0 0 0 145 2 0 0 20 0 3 0 333635215 196272128 15414 33554432000 4194304 5964478 140737372677472 140547211204600 4389147 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9568/tid=9571] ppid=9566 vsize=191672 CPUtime=1.47 cores=1,3,5,7
/proc/9568/task/9571/stat : 9571 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 12297 0 0 0 143 4 0 0 20 0 3 0 333635215 196272128 15414 33554432000 4194304 5964478 140737372677472 140547200714984 4399915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 191672

[startup+3.10036 s]
/proc/loadavg: 3.90 3.95 3.90 5/180 9571
/proc/meminfo: memFree=26201380/32873648 swapFree=7368/7368
[pid=9568] ppid=9566 vsize=191964 CPUtime=6.17 cores=1,3,5,7
/proc/9568/stat : 9568 (pwbo2.02) S 9566 9568 8129 0 -1 4202496 16900 0 0 0 607 10 0 0 20 0 3 0 333635214 196571136 17265 33554432000 4194304 5964478 140737372677472 140737372676992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9568/statm: 47991 17265 207 433 0 47555 0
[pid=9568/tid=9570] ppid=9566 vsize=191964 CPUtime=3.07 cores=1,3,5,7
/proc/9568/task/9570/stat : 9570 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 3340 0 0 0 301 6 0 0 20 0 3 0 333635215 196571136 17265 33554432000 4194304 5964478 140737372677472 140547211204600 4392797 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9568/tid=9571] ppid=9566 vsize=191964 CPUtime=3.07 cores=1,3,5,7
/proc/9568/task/9571/stat : 9571 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 12420 0 0 0 303 4 0 0 20 0 3 0 333635215 196571136 17265 33554432000 4194304 5964478 140737372677472 140547200715208 4392918 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 191964

[startup+6.30036 s]
/proc/loadavg: 3.91 3.95 3.90 5/181 9572
/proc/meminfo: memFree=26179920/32873648 swapFree=7368/7368
[pid=9568] ppid=9566 vsize=192108 CPUtime=12.57 cores=1,3,5,7
/proc/9568/stat : 9568 (pwbo2.02) S 9566 9568 8129 0 -1 4202496 20197 0 0 0 1239 18 0 0 20 0 3 0 333635214 196718592 20562 33554432000 4194304 5964478 140737372677472 140737372676992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9568/statm: 48027 20562 207 433 0 47591 0
[pid=9568/tid=9570] ppid=9566 vsize=192108 CPUtime=6.27 cores=1,3,5,7
/proc/9568/task/9570/stat : 9570 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 6546 0 0 0 613 14 0 0 20 0 3 0 333635215 196718592 20562 33554432000 4194304 5964478 140737372677472 140547211204600 4400069 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9568/tid=9571] ppid=9566 vsize=192108 CPUtime=6.27 cores=1,3,5,7
/proc/9568/task/9571/stat : 9571 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 12511 0 0 0 623 4 0 0 20 0 3 0 333635215 196718592 20562 33554432000 4194304 5964478 140737372677472 140547200715064 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 192108

[startup+12.7004 s]
/proc/loadavg: 3.92 3.95 3.90 5/181 9572
/proc/meminfo: memFree=26159372/32873648 swapFree=7368/7368
[pid=9568] ppid=9566 vsize=192156 CPUtime=25.37 cores=1,3,5,7
/proc/9568/stat : 9568 (pwbo2.02) S 9566 9568 8129 0 -1 4202496 21573 0 0 0 2517 20 0 0 20 0 3 0 333635214 196767744 21806 33554432000 4194304 5964478 140737372677472 140737372676992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9568/statm: 48039 21806 207 433 0 47603 0
[pid=9568/tid=9570] ppid=9566 vsize=192156 CPUtime=12.67 cores=1,3,5,7
/proc/9568/task/9570/stat : 9570 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 7689 0 0 0 1251 16 0 0 20 0 3 0 333635215 196767744 21806 33554432000 4194304 5964478 140737372677472 140547211205560 4389160 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9568/tid=9571] ppid=9566 vsize=192156 CPUtime=12.68 cores=1,3,5,7
/proc/9568/task/9571/stat : 9571 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 12744 0 0 0 1263 5 0 0 20 0 3 0 333635215 196767744 21806 33554432000 4194304 5964478 140737372677472 140547200715064 4403343 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 192156

[startup+25.5004 s]
/proc/loadavg: 3.93 3.96 3.91 5/181 9572
/proc/meminfo: memFree=26100840/32873648 swapFree=7368/7368
[pid=9568] ppid=9566 vsize=192156 CPUtime=50.97 cores=1,3,5,7
/proc/9568/stat : 9568 (pwbo2.02) S 9566 9568 8129 0 -1 4202496 22146 0 0 0 5076 21 0 0 20 0 3 0 333635214 196767744 22379 33554432000 4194304 5964478 140737372677472 140737372676992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9568/statm: 48039 22379 207 433 0 47603 0
[pid=9568/tid=9570] ppid=9566 vsize=192156 CPUtime=25.47 cores=1,3,5,7
/proc/9568/task/9570/stat : 9570 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 7690 0 0 0 2531 16 0 0 20 0 3 0 333635215 196767744 22379 33554432000 4194304 5964478 140737372677472 140547211205560 4389164 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9568/tid=9571] ppid=9566 vsize=192156 CPUtime=25.47 cores=1,3,5,7
/proc/9568/task/9571/stat : 9571 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 13316 0 0 0 2542 5 0 0 20 0 3 0 333635215 196767744 22379 33554432000 4194304 5964478 140737372677472 140547200715064 4399915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 192156

[startup+51.1004 s]
/proc/loadavg: 3.96 3.96 3.91 5/181 9572
/proc/meminfo: memFree=26014364/32873648 swapFree=7368/7368
[pid=9568] ppid=9566 vsize=192696 CPUtime=102.15 cores=1,3,5,7
/proc/9568/stat : 9568 (pwbo2.02) S 9566 9568 8129 0 -1 4202496 27008 0 0 0 10190 25 0 0 20 0 3 0 333635214 197320704 27241 33554432000 4194304 5964478 140737372677472 140737372676992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9568/statm: 48174 27241 207 433 0 47738 0
[pid=9568/tid=9570] ppid=9566 vsize=192696 CPUtime=51.07 cores=1,3,5,7
/proc/9568/task/9570/stat : 9570 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 11476 0 0 0 5088 19 0 0 20 0 3 0 333635215 197320704 27241 33554432000 4194304 5964478 140737372677472 140547211204648 4222464 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9568/tid=9571] ppid=9566 vsize=192696 CPUtime=51.07 cores=1,3,5,7
/proc/9568/task/9571/stat : 9571 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 14392 0 0 0 5100 7 0 0 20 0 3 0 333635215 197320704 27241 33554432000 4194304 5964478 140737372677472 140547200715064 4399915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 192696

[startup+102.307 s]
/proc/loadavg: 4.06 3.98 3.91 5/181 9572
/proc/meminfo: memFree=25881480/32873648 swapFree=7368/7368
[pid=9568] ppid=9566 vsize=259160 CPUtime=204.56 cores=1,3,5,7
/proc/9568/stat : 9568 (pwbo2.02) S 9566 9568 8129 0 -1 4202496 40920 0 0 0 20419 37 0 0 20 0 3 0 333635214 265379840 41153 33554432000 4194304 5964478 140737372677472 140737372676992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9568/statm: 64790 41153 207 433 0 64354 0
[pid=9568/tid=9570] ppid=9566 vsize=259160 CPUtime=102.27 cores=1,3,5,7
/proc/9568/task/9570/stat : 9570 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 23196 0 0 0 10197 30 0 0 20 0 3 0 333635215 265379840 41153 33554432000 4194304 5964478 140737372677472 140547211204600 4222464 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9568/tid=9571] ppid=9566 vsize=259160 CPUtime=102.28 cores=1,3,5,7
/proc/9568/task/9571/stat : 9571 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 16584 0 0 0 10218 10 0 0 20 0 3 0 333635215 265379840 41153 33554432000 4194304 5964478 140737372677472 140547200715064 4403343 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.56
Current children cumulated vsize (KiB) 259160

[startup+162.3 s]
/proc/loadavg: 4.02 3.98 3.91 5/181 9572
/proc/meminfo: memFree=25644668/32873648 swapFree=7368/7368
[pid=9568] ppid=9566 vsize=260364 CPUtime=324.52 cores=1,3,5,7
/proc/9568/stat : 9568 (pwbo2.02) S 9566 9568 8129 0 -1 4202496 53093 0 0 0 32405 47 0 0 20 0 3 0 333635214 266612736 53326 33554432000 4194304 5964478 140737372677472 140737372676992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9568/statm: 65091 53326 207 433 0 64655 0
[pid=9568/tid=9570] ppid=9566 vsize=260364 CPUtime=162.26 cores=1,3,5,7
/proc/9568/task/9570/stat : 9570 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 32033 0 0 0 16188 38 0 0 20 0 3 0 333635215 266612736 53326 33554432000 4194304 5964478 140737372677472 140547211204648 4222464 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9568/tid=9571] ppid=9566 vsize=260364 CPUtime=162.27 cores=1,3,5,7
/proc/9568/task/9571/stat : 9571 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 19920 0 0 0 16213 14 0 0 20 0 3 0 333635215 266612736 53326 33554432000 4194304 5964478 140737372677472 140547200715064 4400542 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.52
Current children cumulated vsize (KiB) 260364

[startup+222.3 s]
/proc/loadavg: 2.87 3.67 3.81 3/173 9596
/proc/meminfo: memFree=27025528/32873648 swapFree=7368/7368
[pid=9568] ppid=9566 vsize=392344 CPUtime=444.47 cores=1,3,5,7
/proc/9568/stat : 9568 (pwbo2.02) S 9566 9568 8129 0 -1 4202496 64142 0 0 0 44389 58 0 0 20 0 3 0 333635214 401760256 64746 33554432000 4194304 5964478 140737372677472 140737372676992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9568/statm: 98086 64746 207 433 0 97650 0
[pid=9568/tid=9570] ppid=9566 vsize=392344 CPUtime=222.22 cores=1,3,5,7
/proc/9568/task/9570/stat : 9570 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 39794 0 0 0 22177 45 0 0 20 0 3 0 333635215 401760256 64746 33554432000 4194304 5964478 140737372677472 140547211204408 4389160 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9568/tid=9571] ppid=9566 vsize=392344 CPUtime=222.27 cores=1,3,5,7
/proc/9568/task/9571/stat : 9571 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 23208 0 0 0 22207 20 0 0 20 0 3 0 333635215 401760256 64746 33554432000 4194304 5964478 140737372677472 140547200715016 4399854 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.47
Current children cumulated vsize (KiB) 392344

[startup+282.3 s]
/proc/loadavg: 2.32 3.37 3.70 3/173 9596
/proc/meminfo: memFree=26958412/32873648 swapFree=7368/7368
[pid=9568] ppid=9566 vsize=459624 CPUtime=564.43 cores=1,3,5,7
/proc/9568/stat : 9568 (pwbo2.02) S 9566 9568 8129 0 -1 4202496 81000 0 0 0 56355 88 0 0 20 0 3 0 333635214 470654976 81586 33554432000 4194304 5964478 140737372677472 140737372676992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9568/statm: 114906 81586 207 433 0 114470 0
[pid=9568/tid=9570] ppid=9566 vsize=459624 CPUtime=282.21 cores=1,3,5,7
/proc/9568/task/9570/stat : 9570 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 54515 0 0 0 28150 71 0 0 20 0 3 0 333635215 470654976 81586 33554432000 4194304 5964478 140737372677472 140547211204600 4399854 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9568/tid=9571] ppid=9566 vsize=459624 CPUtime=282.25 cores=1,3,5,7
/proc/9568/task/9571/stat : 9571 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 25345 0 0 0 28199 26 0 0 20 0 3 0 333635215 470654976 81586 33554432000 4194304 5964478 140737372677472 140547200715112 4399975 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.43
Current children cumulated vsize (KiB) 459624

[startup+342.3 s]
/proc/loadavg: 2.11 3.12 3.59 3/173 9597
/proc/meminfo: memFree=26946060/32873648 swapFree=7368/7368
[pid=9568] ppid=9566 vsize=460188 CPUtime=684.39 cores=1,3,5,7
/proc/9568/stat : 9568 (pwbo2.02) S 9566 9568 8129 0 -1 4202496 82925 0 0 0 68345 94 0 0 20 0 3 0 333635214 471232512 84692 33554432000 4194304 5964478 140737372677472 140737372676992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9568/statm: 115047 84692 207 433 0 114611 0
[pid=9568/tid=9570] ppid=9566 vsize=460188 CPUtime=342.19 cores=1,3,5,7
/proc/9568/task/9570/stat : 9570 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 54597 0 0 0 34147 72 0 0 20 0 3 0 333635215 471232512 84692 33554432000 4194304 5964478 140737372677472 140547211204408 4389110 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9568/tid=9571] ppid=9566 vsize=460188 CPUtime=342.25 cores=1,3,5,7
/proc/9568/task/9571/stat : 9571 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 27188 0 0 0 34192 33 0 0 20 0 3 0 333635215 471232512 84692 33554432000 4194304 5964478 140737372677472 140547200715112 4399915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.39
Current children cumulated vsize (KiB) 460188

[startup+402.3 s]
/proc/loadavg: 2.04 2.91 3.48 3/173 9597
/proc/meminfo: memFree=26896216/32873648 swapFree=7368/7368
[pid=9568] ppid=9566 vsize=460608 CPUtime=804.35 cores=1,3,5,7
/proc/9568/stat : 9568 (pwbo2.02) S 9566 9568 8129 0 -1 4202496 95445 0 0 0 80323 112 0 0 20 0 3 0 333635214 471662592 97243 33554432000 4194304 5964478 140737372677472 140737372676992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9568/statm: 115152 97243 207 433 0 114716 0
[pid=9568/tid=9570] ppid=9566 vsize=460608 CPUtime=402.16 cores=1,3,5,7
/proc/9568/task/9570/stat : 9570 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 65172 0 0 0 40131 85 0 0 20 0 3 0 333635215 471662592 97243 33554432000 4194304 5964478 140737372677472 140547211204600 4400010 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9568/tid=9571] ppid=9566 vsize=460608 CPUtime=402.25 cores=1,3,5,7
/proc/9568/task/9571/stat : 9571 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 29133 0 0 0 40185 40 0 0 20 0 3 0 333635215 471662592 97243 33554432000 4194304 5964478 140737372677472 140547200715064 4399819 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.35
Current children cumulated vsize (KiB) 460608

[startup+462.3 s]
/proc/loadavg: 2.01 2.74 3.39 3/173 9597
/proc/meminfo: memFree=26870604/32873648 swapFree=7368/7368
[pid=9568] ppid=9566 vsize=526948 CPUtime=924.32 cores=1,3,5,7
/proc/9568/stat : 9568 (pwbo2.02) S 9566 9568 8129 0 -1 4202496 101676 0 0 0 92309 123 0 0 20 0 3 0 333635214 539594752 103471 33554432000 4194304 5964478 140737372677472 140737372676992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9568/statm: 131737 103471 207 433 0 131301 0
[pid=9568/tid=9570] ppid=9566 vsize=526948 CPUtime=462.14 cores=1,3,5,7
/proc/9568/task/9570/stat : 9570 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 69168 0 0 0 46123 91 0 0 20 0 3 0 333635215 539594752 103471 33554432000 4194304 5964478 140737372677472 140547211204600 4400401 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9568/tid=9571] ppid=9566 vsize=526948 CPUtime=462.25 cores=1,3,5,7
/proc/9568/task/9571/stat : 9571 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 31368 0 0 0 46178 47 0 0 20 0 3 0 333635215 539594752 103471 33554432000 4194304 5964478 140737372677472 140547200715064 4403304 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.32
Current children cumulated vsize (KiB) 526948

[startup+522.3 s]
/proc/loadavg: 2.00 2.60 3.30 3/174 9600
/proc/meminfo: memFree=26823560/32873648 swapFree=7368/7368
[pid=9568] ppid=9566 vsize=527908 CPUtime=1044.3 cores=1,3,5,7
/proc/9568/stat : 9568 (pwbo2.02) S 9566 9568 8129 0 -1 4202496 113788 0 0 0 104291 139 0 0 20 0 3 0 333635214 540577792 115583 33554432000 4194304 5964478 140737372677472 140737372676992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9568/statm: 131977 115583 207 433 0 131541 0
[pid=9568/tid=9570] ppid=9566 vsize=527908 CPUtime=522.13 cores=1,3,5,7
/proc/9568/task/9570/stat : 9570 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 80096 0 0 0 52110 103 0 0 20 0 3 0 333635215 540577792 115583 33554432000 4194304 5964478 140737372677472 140547211204600 4222416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9568/tid=9571] ppid=9566 vsize=527908 CPUtime=522.25 cores=1,3,5,7
/proc/9568/task/9571/stat : 9571 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 32552 0 0 0 52174 51 0 0 20 0 3 0 333635215 540577792 115583 33554432000 4194304 5964478 140737372677472 140547200715208 4400594 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.3
Current children cumulated vsize (KiB) 527908

[startup+582.3 s]
/proc/loadavg: 2.03 2.51 3.22 3/173 9600
/proc/meminfo: memFree=26807976/32873648 swapFree=7368/7368
[pid=9568] ppid=9566 vsize=593660 CPUtime=1164.28 cores=1,3,5,7
/proc/9568/stat : 9568 (pwbo2.02) S 9566 9568 8129 0 -1 4202496 117526 0 0 0 116285 143 0 0 20 0 3 0 333635214 607907840 119329 33554432000 4194304 5964478 140737372677472 140737372676992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9568/statm: 148415 119329 207 433 0 147979 0
[pid=9568/tid=9570] ppid=9566 vsize=593660 CPUtime=582.12 cores=1,3,5,7
/proc/9568/task/9570/stat : 9570 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 83833 0 0 0 58104 108 0 0 20 0 3 0 333635215 607907840 119329 33554432000 4194304 5964478 140737372677472 140547211204600 4403575 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9568/tid=9571] ppid=9566 vsize=593660 CPUtime=582.25 cores=1,3,5,7
/proc/9568/task/9571/stat : 9571 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 32553 0 0 0 58173 52 0 0 20 0 3 0 333635215 607907840 119329 33554432000 4194304 5964478 140737372677472 140547200715208 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.28
Current children cumulated vsize (KiB) 593660

[startup+642.3 s]
/proc/loadavg: 2.01 2.41 3.14 3/173 9601
/proc/meminfo: memFree=26743576/32873648 swapFree=7368/7368
[pid=9568] ppid=9566 vsize=659556 CPUtime=1284.25 cores=1,3,5,7
/proc/9568/stat : 9568 (pwbo2.02) S 9566 9568 8129 0 -1 4202496 133260 0 0 0 128267 158 0 0 20 0 3 0 333635214 675385344 135244 33554432000 4194304 5964478 140737372677472 140737372676992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9568/statm: 164889 135244 207 433 0 164453 0
[pid=9568/tid=9570] ppid=9566 vsize=659556 CPUtime=642.11 cores=1,3,5,7
/proc/9568/task/9570/stat : 9570 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 99558 0 0 0 64087 124 0 0 20 0 3 0 333635215 675385344 135244 33554432000 4194304 5964478 140737372677472 140547211204408 4389072 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9568/tid=9571] ppid=9566 vsize=659556 CPUtime=642.25 cores=1,3,5,7
/proc/9568/task/9571/stat : 9571 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 32562 0 0 0 64172 53 0 0 20 0 3 0 333635215 675385344 135244 33554432000 4194304 5964478 140737372677472 140547200715208 4399915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.25
Current children cumulated vsize (KiB) 659556

[startup+702.3 s]
/proc/loadavg: 2.00 2.33 3.07 3/173 9601
/proc/meminfo: memFree=26743168/32873648 swapFree=7368/7368
[pid=9568] ppid=9566 vsize=659772 CPUtime=1404.22 cores=1,3,5,7
/proc/9568/stat : 9568 (pwbo2.02) S 9566 9568 8129 0 -1 4202496 133495 0 0 0 140264 158 0 0 20 0 3 0 333635214 675606528 135479 33554432000 4194304 5964478 140737372677472 140737372676992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9568/statm: 164943 135479 207 433 0 164507 0
[pid=9568/tid=9570] ppid=9566 vsize=659772 CPUtime=702.1 cores=1,3,5,7
/proc/9568/task/9570/stat : 9570 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 99793 0 0 0 70085 125 0 0 20 0 3 0 333635215 675606528 135479 33554432000 4194304 5964478 140737372677472 140547211204408 4392835 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9568/tid=9571] ppid=9566 vsize=659772 CPUtime=702.24 cores=1,3,5,7
/proc/9568/task/9571/stat : 9571 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 32562 0 0 0 70170 54 0 0 20 0 3 0 333635215 675606528 135479 33554432000 4194304 5964478 140737372677472 140547200715208 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.22
Current children cumulated vsize (KiB) 659772

[startup+762.307 s]
/proc/loadavg: 2.00 2.27 3.00 3/173 9601
/proc/meminfo: memFree=26729652/32873648 swapFree=7368/7368
[pid=9568] ppid=9566 vsize=660204 CPUtime=1524.21 cores=1,3,5,7
/proc/9568/stat : 9568 (pwbo2.02) S 9566 9568 8129 0 -1 4202496 136939 0 0 0 152259 162 0 0 20 0 3 0 333635214 676048896 138923 33554432000 4194304 5964478 140737372677472 140737372676992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9568/statm: 165051 138923 207 433 0 164615 0
[pid=9568/tid=9570] ppid=9566 vsize=660204 CPUtime=762.1 cores=1,3,5,7
/proc/9568/task/9570/stat : 9570 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 103237 0 0 0 76080 130 0 0 20 0 3 0 333635215 676048896 138923 33554432000 4194304 5964478 140737372677472 140547211204200 4389160 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9568/tid=9571] ppid=9566 vsize=660204 CPUtime=762.25 cores=1,3,5,7
/proc/9568/task/9571/stat : 9571 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 32562 0 0 0 76170 55 0 0 20 0 3 0 333635215 676048896 138923 33554432000 4194304 5964478 140737372677472 140547200715208 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.21
Current children cumulated vsize (KiB) 660204

[startup+822.3 s]
/proc/loadavg: 2.00 2.22 2.93 3/173 9601
/proc/meminfo: memFree=26728292/32873648 swapFree=7368/7368
[pid=9568] ppid=9566 vsize=660204 CPUtime=1644.18 cores=1,3,5,7
/proc/9568/stat : 9568 (pwbo2.02) S 9566 9568 8129 0 -1 4202496 137371 0 0 0 164255 163 0 0 20 0 3 0 333635214 676048896 139355 33554432000 4194304 5964478 140737372677472 140737372676992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9568/statm: 165051 139355 207 433 0 164615 0
[pid=9568/tid=9570] ppid=9566 vsize=660204 CPUtime=822.09 cores=1,3,5,7
/proc/9568/task/9570/stat : 9570 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 103669 0 0 0 82077 132 0 0 20 0 3 0 333635215 676048896 139355 33554432000 4194304 5964478 140737372677472 140547211204408 4389129 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9568/tid=9571] ppid=9566 vsize=660204 CPUtime=822.24 cores=1,3,5,7
/proc/9568/task/9571/stat : 9571 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 32562 0 0 0 82168 56 0 0 20 0 3 0 333635215 676048896 139355 33554432000 4194304 5964478 140737372677472 140547200715208 4399915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.18
Current children cumulated vsize (KiB) 660204

[startup+882.3 s]
/proc/loadavg: 2.00 2.18 2.87 3/173 9601
/proc/meminfo: memFree=26697240/32873648 swapFree=7368/7368
[pid=9568] ppid=9566 vsize=660204 CPUtime=1764.14 cores=1,3,5,7
/proc/9568/stat : 9568 (pwbo2.02) S 9566 9568 8129 0 -1 4202496 144674 0 0 0 176242 172 0 0 20 0 3 0 333635214 676048896 146728 33554432000 4194304 5964478 140737372677472 140737372676992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9568/statm: 165051 146728 207 433 0 164615 0
[pid=9568/tid=9570] ppid=9566 vsize=660204 CPUtime=882.06 cores=1,3,5,7
/proc/9568/task/9570/stat : 9570 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 110966 0 0 0 88064 142 0 0 20 0 3 0 333635215 676048896 146728 33554432000 4194304 5964478 140737372677472 140547211204648 4399969 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9568/tid=9571] ppid=9566 vsize=660204 CPUtime=882.24 cores=1,3,5,7
/proc/9568/task/9571/stat : 9571 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 32568 0 0 0 88167 57 0 0 20 0 3 0 333635215 676048896 146728 33554432000 4194304 5964478 140737372677472 140547200715208 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764.14
Current children cumulated vsize (KiB) 660204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 2.00 2.16 2.85 3/173 9601
/proc/meminfo: memFree=26697208/32873648 swapFree=7368/7368
[pid=9568] ppid=9566 vsize=660344 CPUtime=1800.14 cores=1,3,5,7
/proc/9568/stat : 9568 (pwbo2.02) S 9566 9568 8129 0 -1 4202496 144755 0 0 0 179842 172 0 0 20 0 3 0 333635214 676192256 146810 33554432000 4194304 5964478 140737372677472 140737372676992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9568/statm: 165086 146810 207 433 0 164650 0
[pid=9568/tid=9570] ppid=9566 vsize=660344 CPUtime=900.06 cores=1,3,5,7
/proc/9568/task/9570/stat : 9570 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 111043 0 0 0 89864 142 0 0 20 0 3 0 333635215 676192256 146810 33554432000 4194304 5964478 140737372677472 140547211204408 4400024 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9568/tid=9571] ppid=9566 vsize=660344 CPUtime=900.25 cores=1,3,5,7
/proc/9568/task/9571/stat : 9571 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 32572 0 0 0 89968 57 0 0 20 0 3 0 333635215 676192256 146810 33554432000 4194304 5964478 140737372677472 140547200714824 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 660344

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: 2.00 2.16 2.85 3/173 9601
/proc/meminfo: memFree=26697208/32873648 swapFree=7368/7368
[pid=9568] ppid=9566 vsize=660344 CPUtime=1800.14 cores=1,3,5,7
/proc/9568/stat : 9568 (pwbo2.02) S 9566 9568 8129 0 -1 4202496 144755 0 0 0 179842 172 0 0 20 0 3 0 333635214 676192256 146810 33554432000 4194304 5964478 140737372677472 140737372676992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9568/statm: 165086 146810 207 433 0 164650 0
[pid=9568/tid=9570] ppid=9566 vsize=660344 CPUtime=900.06 cores=1,3,5,7
/proc/9568/task/9570/stat : 9570 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 111043 0 0 0 89864 142 0 0 20 0 3 0 333635215 676192256 146810 33554432000 4194304 5964478 140737372677472 140547211204408 4400024 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9568/tid=9571] ppid=9566 vsize=660344 CPUtime=900.25 cores=1,3,5,7
/proc/9568/task/9571/stat : 9571 (pwbo2.02) R 9566 9568 8129 0 -1 4202560 32572 0 0 0 89968 57 0 0 20 0 3 0 333635215 676192256 146810 33554432000 4194304 5964478 140737372677472 140547200714824 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 660344

Child status: 0
Real time (s): 900.317
CPU time (s): 1800.35
CPU user time (s): 1798.33
CPU system time (s): 2.01769
CPU usage (%): 199.969
Max. virtual memory (cumulated for all children) (KiB): 660344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.33
system time used= 2.01769
maximum resident set size= 587248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144757
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= 566
involuntary context switches= 3116

runsolver used 1.9917 second user time and 5.03423 second system time

The end

Launcher Data 

Begin job on node149 at 2012-06-03 00:11:51
IDJOB=3728706
IDBENCH=79441
IDSOLVER=2316
FILE ID=node149/3728706-1338675111
RUNJOBID= node149-1338671108-8463
PBS_JOBID= 14636500
Free space on /tmp= 71048 MiB

SOLVER NAME= pwbo 2.02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/coloring/normalized-dsjc125-1-4_wcsp.wbo
COMMAND LINE= pwbo2.02 -file-format=wbo -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3728706-1338675111/watcher-3728706-1338675111 -o /tmp/evaluation-result-3728706-1338675111/solver-3728706-1338675111 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728706-1338675111.wbo

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

MD5SUM BENCH= b95440184c2619269a303a66296dd7fe
RANDOM SEED=2007811737

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:        26269940 kB
Buffers:          693000 kB
Cached:          4011296 kB
SwapCached:         2468 kB
Active:          2882556 kB
Inactive:        2847068 kB
Active(anon):    1008348 kB
Inactive(anon):     9368 kB
Active(file):    1874208 kB
Inactive(file):  2837700 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104892 kB
Dirty:              5740 kB
Writeback:             0 kB
AnonPages:       1022860 kB
Mapped:            15052 kB
Shmem:                96 kB
Slab:             732208 kB
SReclaimable:     176092 kB
SUnreclaim:       556116 kB
KernelStack:        1496 kB
PageTables:         6120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     165712 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    256000 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= 71048 MiB
End job on node149 at 2012-06-03 00:26:54