Trace number 3712436

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.01MSAT (TO) 1800.34 900.221

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_20_pb.cnf.cr--soft-66-100-0.wbo
MD5SUMcf0241dbee717fce31205c3d6c127ed0
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark49
Best CPU time to get the best result obtained on this benchmark0.159975
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables600
Total number of constraints70
Number of soft constraints26
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint15
Maximum length of a constraint20
Top cost 1337
Min constraint cost 1
Max constraint cost 86
Sum of constraints costs 1336
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
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.01 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing wbo file format. File HOME/instance-3712436-1338188711.wbo.
0.00/0.00	c Instance file HOME/instance-3712436-1338188711.wbo
0.00/0.00	c File size is 10294 bytes.
0.00/0.00	c Highest Coefficient sum: 21
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      626                                                 |
0.00/0.00	c |  Number Clauses:        40                                                  |
0.00/0.00	c |  Number Cardinality:    17                                                  |
0.00/0.00	c |  Number PB Constraints: 13                                                  |
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Problem Type:          Optimization                                        |
0.00/0.00	c |  Objective Function:    Cardinality Constraint                              |
0.00/0.00	c |                                                                             |
0.00/0.00	c ===============================================================================
1800.05/900.21	o 195
1800.05/900.21	o 123
1800.05/900.21	o 68
1800.05/900.21	o 52
1800.05/900.21	c ===============================================================================
1800.05/900.21	c Wall Clock Time: 900.21 s
1800.05/900.21	c Best Solution: 52
1800.05/900.21	s SATISFIABLE
1800.05/900.21	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 -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 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600

Verifier Data 

OK	52

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-3712436-1338188711/watcher-3712436-1338188711 -o /tmp/evaluation-result-3712436-1338188711/solver-3712436-1338188711 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712436-1338188711.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.68 3.93 3.91 4/178 27103
/proc/meminfo: memFree=31017088/32873648 swapFree=7112/7112
[pid=27103] ppid=27101 vsize=162640 CPUtime=0 cores=1,3,5,7
/proc/27103/stat : 27103 (pwbo2.01) S 27101 27103 26380 0 -1 4202496 1015 0 0 0 0 0 0 0 20 0 3 0 284997050 166543360 965 33554432000 4194304 5964478 140735785471376 140735785470896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27103/statm: 40660 967 198 433 0 40224 0
[pid=27103/tid=27104] ppid=27101 vsize=162640 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27104/stat : 27104 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 109 0 0 0 0 0 0 0 20 0 3 0 284997051 166543360 971 33554432000 4194304 5964478 140735785471376 140017463188168 4221072 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27103/tid=27105] ppid=27101 vsize=162640 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 92 0 0 0 0 0 0 0 20 0 3 0 284997051 166543360 973 33554432000 4194304 5964478 140735785471376 140017452697720 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0

[startup+0.0750229 s]
/proc/loadavg: 3.68 3.93 3.91 4/178 27103
/proc/meminfo: memFree=31017088/32873648 swapFree=7112/7112
[pid=27103] ppid=27101 vsize=175336 CPUtime=0.13 cores=1,3,5,7
/proc/27103/stat : 27103 (pwbo2.01) S 27101 27103 26380 0 -1 4202496 6094 0 0 0 12 1 0 0 20 0 3 0 284997050 179544064 6000 33554432000 4194304 5964478 140735785471376 140735785470896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27103/statm: 43834 6000 206 433 0 43398 0
[pid=27103/tid=27104] ppid=27101 vsize=175336 CPUtime=0.06 cores=1,3,5,7
/proc/27103/task/27104/stat : 27104 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 317 0 0 0 6 0 0 0 20 0 3 0 284997051 179544064 6000 33554432000 4194304 5964478 140735785471376 140017463187256 5179243 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27103/tid=27105] ppid=27101 vsize=175336 CPUtime=0.06 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 4955 0 0 0 4 2 0 0 20 0 3 0 284997051 179544064 6000 33554432000 4194304 5964478 140735785471376 140017452697384 4399838 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 175336

[startup+0.100304 s]
/proc/loadavg: 3.68 3.93 3.91 4/178 27103
/proc/meminfo: memFree=31017088/32873648 swapFree=7112/7112
[pid=27103] ppid=27101 vsize=175336 CPUtime=0.18 cores=1,3,5,7
/proc/27103/stat : 27103 (pwbo2.01) S 27101 27103 26380 0 -1 4202496 6195 0 0 0 17 1 0 0 20 0 3 0 284997050 179544064 6101 33554432000 4194304 5964478 140735785471376 140735785470896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27103/statm: 43834 6101 206 433 0 43398 0
[pid=27103/tid=27104] ppid=27101 vsize=175336 CPUtime=0.08 cores=1,3,5,7
/proc/27103/task/27104/stat : 27104 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 374 0 0 0 8 0 0 0 20 0 3 0 284997051 179544064 6101 33554432000 4194304 5964478 140735785471376 140017463187256 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27103/tid=27105] ppid=27101 vsize=175336 CPUtime=0.09 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 4999 0 0 0 7 2 0 0 20 0 3 0 284997051 179544064 6102 33554432000 4194304 5964478 140735785471376 140017452697384 4392866 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 175336

[startup+0.300222 s]
/proc/loadavg: 3.68 3.93 3.91 4/178 27103
/proc/meminfo: memFree=31017088/32873648 swapFree=7112/7112
[pid=27103] ppid=27101 vsize=175336 CPUtime=0.58 cores=1,3,5,7
/proc/27103/stat : 27103 (pwbo2.01) S 27101 27103 26380 0 -1 4202496 6894 0 0 0 57 1 0 0 20 0 3 0 284997050 179544064 6800 33554432000 4194304 5964478 140735785471376 140735785470896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27103/statm: 43834 6800 206 433 0 43398 0
[pid=27103/tid=27104] ppid=27101 vsize=175336 CPUtime=0.28 cores=1,3,5,7
/proc/27103/task/27104/stat : 27104 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 755 0 0 0 28 0 0 0 20 0 3 0 284997051 179544064 6800 33554432000 4194304 5964478 140735785471376 140017463187256 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27103/tid=27105] ppid=27101 vsize=175336 CPUtime=0.29 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 5317 0 0 0 27 2 0 0 20 0 3 0 284997051 179544064 6800 33554432000 4194304 5964478 140735785471376 140017452697848 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 175336

[startup+0.700183 s]
/proc/loadavg: 3.68 3.93 3.91 4/178 27103
/proc/meminfo: memFree=31017088/32873648 swapFree=7112/7112
[pid=27103] ppid=27101 vsize=175336 CPUtime=1.38 cores=1,3,5,7
/proc/27103/stat : 27103 (pwbo2.01) S 27101 27103 26380 0 -1 4202496 7653 0 0 0 137 1 0 0 20 0 3 0 284997050 179544064 7559 33554432000 4194304 5964478 140735785471376 140735785470896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27103/statm: 43834 7560 206 433 0 43398 0
[pid=27103/tid=27104] ppid=27101 vsize=175336 CPUtime=0.68 cores=1,3,5,7
/proc/27103/task/27104/stat : 27104 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 1188 0 0 0 68 0 0 0 20 0 3 0 284997051 179544064 7560 33554432000 4194304 5964478 140735785471376 140017463187256 4400051 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27103/tid=27105] ppid=27101 vsize=175336 CPUtime=0.69 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 5644 0 0 0 67 2 0 0 20 0 3 0 284997051 179544064 7560 33554432000 4194304 5964478 140735785471376 140017452697848 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 175336

[startup+1.50018 s]
/proc/loadavg: 3.68 3.93 3.91 5/181 27106
/proc/meminfo: memFree=30980576/32873648 swapFree=7112/7112
[pid=27103] ppid=27101 vsize=175336 CPUtime=2.98 cores=1,3,5,7
/proc/27103/stat : 27103 (pwbo2.01) S 27101 27103 26380 0 -1 4202496 8550 0 0 0 296 2 0 0 20 0 3 0 284997050 179544064 8456 33554432000 4194304 5964478 140735785471376 140735785470896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27103/statm: 43834 8456 206 433 0 43398 0
[pid=27103/tid=27104] ppid=27101 vsize=175336 CPUtime=1.48 cores=1,3,5,7
/proc/27103/task/27104/stat : 27104 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 1757 0 0 0 148 0 0 0 20 0 3 0 284997051 179544064 8456 33554432000 4194304 5964478 140735785471376 140017463187448 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27103/tid=27105] ppid=27101 vsize=175336 CPUtime=1.48 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 5971 0 0 0 146 2 0 0 20 0 3 0 284997051 179544064 8456 33554432000 4194304 5964478 140735785471376 140017452697720 4400071 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 175336

[startup+3.1002 s]
/proc/loadavg: 3.68 3.93 3.91 5/181 27106
/proc/meminfo: memFree=30973608/32873648 swapFree=7112/7112
[pid=27103] ppid=27101 vsize=175480 CPUtime=6.18 cores=1,3,5,7
/proc/27103/stat : 27103 (pwbo2.01) S 27101 27103 26380 0 -1 4202496 9553 0 0 0 616 2 0 0 20 0 3 0 284997050 179691520 9459 33554432000 4194304 5964478 140735785471376 140735785470896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27103/statm: 43870 9459 206 433 0 43434 0
[pid=27103/tid=27104] ppid=27101 vsize=175480 CPUtime=3.08 cores=1,3,5,7
/proc/27103/task/27104/stat : 27104 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 2252 0 0 0 308 0 0 0 20 0 3 0 284997051 179691520 9459 33554432000 4194304 5964478 140735785471376 140017463187448 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27103/tid=27105] ppid=27101 vsize=175480 CPUtime=3.08 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 6479 0 0 0 306 2 0 0 20 0 3 0 284997051 179691520 9459 33554432000 4194304 5964478 140735785471376 140017452697720 4400040 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 175480

[startup+6.30022 s]
/proc/loadavg: 3.70 3.93 3.91 5/181 27106
/proc/meminfo: memFree=30963256/32873648 swapFree=7112/7112
[pid=27103] ppid=27101 vsize=175624 CPUtime=12.58 cores=1,3,5,7
/proc/27103/stat : 27103 (pwbo2.01) S 27101 27103 26380 0 -1 4202496 10311 0 0 0 1256 2 0 0 20 0 3 0 284997050 179838976 10217 33554432000 4194304 5964478 140735785471376 140735785470896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27103/statm: 43906 10217 206 433 0 43470 0
[pid=27103/tid=27104] ppid=27101 vsize=175624 CPUtime=6.28 cores=1,3,5,7
/proc/27103/task/27104/stat : 27104 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 2371 0 0 0 628 0 0 0 20 0 3 0 284997051 179838976 10217 33554432000 4194304 5964478 140735785471376 140017463187256 4400073 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27103/tid=27105] ppid=27101 vsize=175624 CPUtime=6.28 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 7118 0 0 0 626 2 0 0 20 0 3 0 284997051 179838976 10217 33554432000 4194304 5964478 140735785471376 140017452697720 4400071 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 175624

[startup+12.7004 s]
/proc/loadavg: 3.73 3.94 3.91 5/181 27106
/proc/meminfo: memFree=30946052/32873648 swapFree=7112/7112
[pid=27103] ppid=27101 vsize=175840 CPUtime=25.38 cores=1,3,5,7
/proc/27103/stat : 27103 (pwbo2.01) S 27101 27103 26380 0 -1 4202496 12201 0 0 0 2535 3 0 0 20 0 3 0 284997050 180060160 12107 33554432000 4194304 5964478 140735785471376 140735785470896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27103/statm: 43960 12107 206 433 0 43524 0
[pid=27103/tid=27104] ppid=27101 vsize=175840 CPUtime=12.68 cores=1,3,5,7
/proc/27103/task/27104/stat : 27104 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 2961 0 0 0 1268 0 0 0 20 0 3 0 284997051 180060160 12107 33554432000 4194304 5964478 140735785471376 140017463187256 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27103/tid=27105] ppid=27101 vsize=175840 CPUtime=12.68 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 8418 0 0 0 1265 3 0 0 20 0 3 0 284997051 180060160 12107 33554432000 4194304 5964478 140735785471376 140017452697912 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 175840

[startup+25.5003 s]
/proc/loadavg: 3.79 3.94 3.91 5/181 27106
/proc/meminfo: memFree=30925116/32873648 swapFree=7112/7112
[pid=27103] ppid=27101 vsize=176596 CPUtime=50.97 cores=1,3,5,7
/proc/27103/stat : 27103 (pwbo2.01) S 27101 27103 26380 0 -1 4202496 14607 0 0 0 5093 4 0 0 20 0 3 0 284997050 180834304 14513 33554432000 4194304 5964478 140735785471376 140735785470896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27103/statm: 44149 14513 206 433 0 43713 0
[pid=27103/tid=27104] ppid=27101 vsize=176596 CPUtime=25.48 cores=1,3,5,7
/proc/27103/task/27104/stat : 27104 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 4236 0 0 0 2546 2 0 0 20 0 3 0 284997051 180834304 14513 33554432000 4194304 5964478 140735785471376 140017463187496 4400454 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27103/tid=27105] ppid=27101 vsize=176596 CPUtime=25.48 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 9549 0 0 0 2544 4 0 0 20 0 3 0 284997051 180834304 14513 33554432000 4194304 5964478 140735785471376 140017452697912 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 176596

[startup+51.1004 s]
/proc/loadavg: 3.86 3.94 3.91 5/181 27106
/proc/meminfo: memFree=30894536/32873648 swapFree=7112/7112
[pid=27103] ppid=27101 vsize=177188 CPUtime=102.16 cores=1,3,5,7
/proc/27103/stat : 27103 (pwbo2.01) S 27101 27103 26380 0 -1 4202496 17774 0 0 0 10208 8 0 0 20 0 3 0 284997050 181440512 18028 33554432000 4194304 5964478 140735785471376 140735785470896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27103/statm: 44297 18028 206 433 0 43861 0
[pid=27103/tid=27104] ppid=27101 vsize=177188 CPUtime=51.08 cores=1,3,5,7
/proc/27103/task/27104/stat : 27104 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 5870 0 0 0 5105 3 0 0 20 0 3 0 284997051 181440512 18028 33554432000 4194304 5964478 140735785471376 140017463187256 4400503 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27103/tid=27105] ppid=27101 vsize=177188 CPUtime=51.07 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 11082 0 0 0 5101 6 0 0 20 0 3 0 284997051 181440512 18028 33554432000 4194304 5964478 140735785471376 140017452697912 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 177188

[startup+102.307 s]
/proc/loadavg: 3.94 3.95 3.91 5/181 27106
/proc/meminfo: memFree=30847416/32873648 swapFree=7112/7112
[pid=27103] ppid=27101 vsize=182640 CPUtime=204.54 cores=1,3,5,7
/proc/27103/stat : 27103 (pwbo2.01) S 27101 27103 26380 0 -1 4202496 23059 0 0 0 20439 15 0 0 20 0 3 0 284997050 187023360 24607 33554432000 4194304 5964478 140735785471376 140735785470896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27103/statm: 45660 24607 206 433 0 45224 0
[pid=27103/tid=27104] ppid=27101 vsize=182640 CPUtime=102.27 cores=1,3,5,7
/proc/27103/task/27104/stat : 27104 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 8509 0 0 0 10220 7 0 0 20 0 3 0 284997051 187023360 24607 33554432000 4194304 5964478 140735785471376 140017463187256 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27103/tid=27105] ppid=27101 vsize=182640 CPUtime=102.27 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 13728 0 0 0 10217 10 0 0 20 0 3 0 284997051 187023360 24607 33554432000 4194304 5964478 140735785471376 140017452697912 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.54
Current children cumulated vsize (KiB) 182640

[startup+162.3 s]
/proc/loadavg: 4.01 3.97 3.92 5/181 27106
/proc/meminfo: memFree=30815316/32873648 swapFree=7112/7112
[pid=27103] ppid=27101 vsize=185892 CPUtime=324.5 cores=1,3,5,7
/proc/27103/stat : 27103 (pwbo2.01) S 27101 27103 26380 0 -1 4202496 27296 0 0 0 32431 19 0 0 20 0 3 0 284997050 190353408 28844 33554432000 4194304 5964478 140735785471376 140735785470896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27103/statm: 46473 28844 206 433 0 46037 0
[pid=27103/tid=27104] ppid=27101 vsize=185892 CPUtime=162.26 cores=1,3,5,7
/proc/27103/task/27104/stat : 27104 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 11518 0 0 0 16214 12 0 0 20 0 3 0 284997051 190353408 28844 33554432000 4194304 5964478 140735785471376 140017463187256 4400062 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27103/tid=27105] ppid=27101 vsize=185892 CPUtime=162.26 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 14956 0 0 0 16213 13 0 0 20 0 3 0 284997051 190353408 28844 33554432000 4194304 5964478 140735785471376 140017452697912 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 324.5
Current children cumulated vsize (KiB) 185892

[startup+222.3 s]
/proc/loadavg: 4.00 3.97 3.92 5/181 27106
/proc/meminfo: memFree=30784648/32873648 swapFree=7112/7112
[pid=27103] ppid=27101 vsize=187332 CPUtime=444.48 cores=1,3,5,7
/proc/27103/stat : 27103 (pwbo2.01) S 27101 27103 26380 0 -1 4202496 29777 0 0 0 44425 23 0 0 20 0 3 0 284997050 191827968 31352 33554432000 4194304 5964478 140735785471376 140735785470896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27103/statm: 46833 31352 206 433 0 46397 0
[pid=27103/tid=27104] ppid=27101 vsize=187332 CPUtime=222.26 cores=1,3,5,7
/proc/27103/task/27104/stat : 27104 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 12504 0 0 0 22212 14 0 0 20 0 3 0 284997051 191827968 31352 33554432000 4194304 5964478 140735785471376 140017463187496 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27103/tid=27105] ppid=27101 vsize=187332 CPUtime=222.26 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 16451 0 0 0 22210 16 0 0 20 0 3 0 284997051 191827968 31352 33554432000 4194304 5964478 140735785471376 140017452697720 4400051 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 444.48
Current children cumulated vsize (KiB) 187332

[startup+282.3 s]
/proc/loadavg: 4.00 3.97 3.92 5/181 27107
/proc/meminfo: memFree=30757196/32873648 swapFree=7112/7112
[pid=27103] ppid=27101 vsize=188556 CPUtime=564.44 cores=1,3,5,7
/proc/27103/stat : 27103 (pwbo2.01) S 27101 27103 26380 0 -1 4202496 32862 0 0 0 56416 28 0 0 20 0 3 0 284997050 193081344 34510 33554432000 4194304 5964478 140735785471376 140735785470896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27103/statm: 47139 34510 206 433 0 46703 0
[pid=27103/tid=27104] ppid=27101 vsize=188556 CPUtime=282.25 cores=1,3,5,7
/proc/27103/task/27104/stat : 27104 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 14525 0 0 0 28206 19 0 0 20 0 3 0 284997051 193081344 34510 33554432000 4194304 5964478 140735785471376 140017463187256 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27103/tid=27105] ppid=27101 vsize=188556 CPUtime=282.26 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 17515 0 0 0 28207 19 0 0 20 0 3 0 284997051 193081344 34510 33554432000 4194304 5964478 140735785471376 140017452697912 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 564.44
Current children cumulated vsize (KiB) 188556

[startup+342.3 s]
/proc/loadavg: 4.00 3.97 3.92 5/182 27110
/proc/meminfo: memFree=30722544/32873648 swapFree=7112/7112
[pid=27103] ppid=27101 vsize=192144 CPUtime=684.42 cores=1,3,5,7
/proc/27103/stat : 27103 (pwbo2.01) S 27101 27103 26380 0 -1 4202496 36652 0 0 0 68408 34 0 0 20 0 3 0 284997050 196755456 38295 33554432000 4194304 5964478 140735785471376 140735785470896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27103/statm: 48036 38295 206 433 0 47600 0
[pid=27103/tid=27104] ppid=27101 vsize=192144 CPUtime=342.25 cores=1,3,5,7
/proc/27103/task/27104/stat : 27104 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 17180 0 0 0 34201 24 0 0 20 0 3 0 284997051 196755456 38295 33554432000 4194304 5964478 140735785471376 140017463187448 4400040 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27103/tid=27105] ppid=27101 vsize=192144 CPUtime=342.26 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 18650 0 0 0 34204 22 0 0 20 0 3 0 284997051 196755456 38295 33554432000 4194304 5964478 140735785471376 140017452697912 4400073 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 684.42
Current children cumulated vsize (KiB) 192144

[startup+402.3 s]
/proc/loadavg: 4.00 3.97 3.92 5/181 27110
/proc/meminfo: memFree=30706668/32873648 swapFree=7112/7112
[pid=27103] ppid=27101 vsize=194788 CPUtime=804.4 cores=1,3,5,7
/proc/27103/stat : 27103 (pwbo2.01) S 27101 27103 26380 0 -1 4202496 38664 0 0 0 80403 37 0 0 20 0 3 0 284997050 199462912 40340 33554432000 4194304 5964478 140735785471376 140735785470896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27103/statm: 48697 40340 206 433 0 48261 0
[pid=27103/tid=27104] ppid=27101 vsize=194788 CPUtime=402.24 cores=1,3,5,7
/proc/27103/task/27104/stat : 27104 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 17882 0 0 0 40198 26 0 0 20 0 3 0 284997051 199462912 40340 33554432000 4194304 5964478 140735785471376 140017463187256 4400053 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27103/tid=27105] ppid=27101 vsize=194788 CPUtime=402.26 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 19960 0 0 0 40201 25 0 0 20 0 3 0 284997051 199462912 40340 33554432000 4194304 5964478 140735785471376 140017452697912 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 804.4
Current children cumulated vsize (KiB) 194788

[startup+462.3 s]
/proc/loadavg: 4.00 3.97 3.92 5/181 27110
/proc/meminfo: memFree=30689052/32873648 swapFree=7112/7112
[pid=27103] ppid=27101 vsize=261800 CPUtime=924.38 cores=1,3,5,7
/proc/27103/stat : 27103 (pwbo2.01) S 27101 27103 26380 0 -1 4202496 39999 0 0 0 92398 40 0 0 20 0 3 0 284997050 268083200 41715 33554432000 4194304 5964478 140735785471376 140735785470896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27103/statm: 65450 41715 206 433 0 65014 0
[pid=27103/tid=27104] ppid=27101 vsize=261800 CPUtime=462.24 cores=1,3,5,7
/proc/27103/task/27104/stat : 27104 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 17946 0 0 0 46197 27 0 0 20 0 3 0 284997051 268083200 41715 33554432000 4194304 5964478 140735785471376 140017463187496 4400022 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27103/tid=27105] ppid=27101 vsize=261800 CPUtime=462.26 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 21231 0 0 0 46198 28 0 0 20 0 3 0 284997051 268083200 41715 33554432000 4194304 5964478 140735785471376 140017452697912 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 924.38
Current children cumulated vsize (KiB) 261800

[startup+522.3 s]
/proc/loadavg: 4.00 3.97 3.92 5/181 27110
/proc/meminfo: memFree=30669944/32873648 swapFree=7112/7112
[pid=27103] ppid=27101 vsize=328056 CPUtime=1044.36 cores=1,3,5,7
/proc/27103/stat : 27103 (pwbo2.01) S 27101 27103 26380 0 -1 4202496 42586 0 0 0 104387 49 0 0 20 0 3 0 284997050 335929344 44302 33554432000 4194304 5964478 140735785471376 140735785470896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27103/statm: 82014 44302 206 433 0 81578 0
[pid=27103/tid=27104] ppid=27101 vsize=328056 CPUtime=522.24 cores=1,3,5,7
/proc/27103/task/27104/stat : 27104 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 19739 0 0 0 52190 34 0 0 20 0 3 0 284997051 335929344 44302 33554432000 4194304 5964478 140735785471376 140017463187448 4400062 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27103/tid=27105] ppid=27101 vsize=328056 CPUtime=522.26 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 22025 0 0 0 52196 30 0 0 20 0 3 0 284997051 335929344 44302 33554432000 4194304 5964478 140735785471376 140017452697912 4400051 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1044.36
Current children cumulated vsize (KiB) 328056

[startup+582.3 s]
/proc/loadavg: 4.00 3.97 3.92 5/181 27111
/proc/meminfo: memFree=30649096/32873648 swapFree=7112/7112
[pid=27103] ppid=27101 vsize=330648 CPUtime=1164.35 cores=1,3,5,7
/proc/27103/stat : 27103 (pwbo2.01) S 27101 27103 26380 0 -1 4202496 45820 0 0 0 116379 56 0 0 20 0 3 0 284997050 338583552 47542 33554432000 4194304 5964478 140735785471376 140735785470896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27103/statm: 82662 47542 206 433 0 82226 0
[pid=27103/tid=27104] ppid=27101 vsize=330648 CPUtime=582.23 cores=1,3,5,7
/proc/27103/task/27104/stat : 27104 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 22300 0 0 0 58182 41 0 0 20 0 3 0 284997051 338583552 47542 33554432000 4194304 5964478 140735785471376 140017463187496 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27103/tid=27105] ppid=27101 vsize=330648 CPUtime=582.26 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 22698 0 0 0 58194 32 0 0 20 0 3 0 284997051 338583552 47542 33554432000 4194304 5964478 140735785471376 140017452697912 4400416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1164.35
Current children cumulated vsize (KiB) 330648

[startup+642.3 s]
/proc/loadavg: 4.00 3.97 3.92 5/181 27111
/proc/meminfo: memFree=30626520/32873648 swapFree=7112/7112
[pid=27103] ppid=27101 vsize=331708 CPUtime=1284.33 cores=1,3,5,7
/proc/27103/stat : 27103 (pwbo2.01) S 27101 27103 26380 0 -1 4202496 46853 0 0 0 128376 57 0 0 20 0 3 0 284997050 339668992 48575 33554432000 4194304 5964478 140735785471376 140735785470896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27103/statm: 82927 48575 206 433 0 82491 0
[pid=27103/tid=27104] ppid=27101 vsize=331708 CPUtime=642.24 cores=1,3,5,7
/proc/27103/task/27104/stat : 27104 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 22396 0 0 0 64182 42 0 0 20 0 3 0 284997051 339668992 48575 33554432000 4194304 5964478 140735785471376 140017463187496 4400067 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27103/tid=27105] ppid=27101 vsize=331708 CPUtime=642.27 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 23635 0 0 0 64192 35 0 0 20 0 3 0 284997051 339668992 48575 33554432000 4194304 5964478 140735785471376 140017452697912 4400071 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1284.33
Current children cumulated vsize (KiB) 331708

[startup+702.3 s]
/proc/loadavg: 4.00 3.97 3.92 5/181 27111
/proc/meminfo: memFree=30593748/32873648 swapFree=7112/7112
[pid=27103] ppid=27101 vsize=343904 CPUtime=1404.3 cores=1,3,5,7
/proc/27103/stat : 27103 (pwbo2.01) S 27101 27103 26380 0 -1 4202496 51390 0 0 0 140369 61 0 0 20 0 3 0 284997050 352157696 53060 33554432000 4194304 5964478 140735785471376 140735785470896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27103/statm: 85976 53060 206 433 0 85540 0
[pid=27103/tid=27104] ppid=27101 vsize=343904 CPUtime=702.23 cores=1,3,5,7
/proc/27103/task/27104/stat : 27104 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 23589 0 0 0 70179 44 0 0 20 0 3 0 284997051 352157696 53060 33554432000 4194304 5964478 140735785471376 140017463187256 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27103/tid=27105] ppid=27101 vsize=343904 CPUtime=702.26 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 26979 0 0 0 70188 38 0 0 20 0 3 0 284997051 352157696 53060 33554432000 4194304 5964478 140735785471376 140017452697912 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1404.3
Current children cumulated vsize (KiB) 343904

[startup+762.307 s]
/proc/loadavg: 4.00 3.97 3.92 5/181 27111
/proc/meminfo: memFree=30599192/32873648 swapFree=7112/7112
[pid=27103] ppid=27101 vsize=352800 CPUtime=1524.3 cores=1,3,5,7
/proc/27103/stat : 27103 (pwbo2.01) S 27101 27103 26380 0 -1 4202496 55049 0 0 0 152367 63 0 0 20 0 3 0 284997050 361267200 56719 33554432000 4194304 5964478 140735785471376 140735785470896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27103/statm: 88200 56719 206 433 0 87764 0
[pid=27103/tid=27104] ppid=27101 vsize=352800 CPUtime=762.23 cores=1,3,5,7
/proc/27103/task/27104/stat : 27104 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 23898 0 0 0 76178 45 0 0 20 0 3 0 284997051 361267200 56719 33554432000 4194304 5964478 140735785471376 140017463187496 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27103/tid=27105] ppid=27101 vsize=352800 CPUtime=762.27 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 30329 0 0 0 76186 41 0 0 20 0 3 0 284997051 361267200 56719 33554432000 4194304 5964478 140735785471376 140017452697912 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1524.3
Current children cumulated vsize (KiB) 352800

[startup+822.3 s]
/proc/loadavg: 4.00 3.97 3.92 5/181 27111
/proc/meminfo: memFree=30580196/32873648 swapFree=7112/7112
[pid=27103] ppid=27101 vsize=356244 CPUtime=1644.26 cores=1,3,5,7
/proc/27103/stat : 27103 (pwbo2.01) S 27101 27103 26380 0 -1 4202496 59406 0 0 0 164357 69 0 0 20 0 3 0 284997050 364793856 61085 33554432000 4194304 5964478 140735785471376 140735785470896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27103/statm: 89061 61085 206 433 0 88625 0
[pid=27103/tid=27104] ppid=27101 vsize=356244 CPUtime=822.22 cores=1,3,5,7
/proc/27103/task/27104/stat : 27104 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 25780 0 0 0 82173 49 0 0 20 0 3 0 284997051 364793856 61085 33554432000 4194304 5964478 140735785471376 140017463187448 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27103/tid=27105] ppid=27101 vsize=356244 CPUtime=822.26 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 32804 0 0 0 82181 45 0 0 20 0 3 0 284997051 364793856 61085 33554432000 4194304 5964478 140735785471376 140017452697912 4400040 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1644.26
Current children cumulated vsize (KiB) 356244

[startup+882.3 s]
/proc/loadavg: 4.00 3.97 3.92 5/181 27112
/proc/meminfo: memFree=30515668/32873648 swapFree=7112/7112
[pid=27103] ppid=27101 vsize=445792 CPUtime=1764.24 cores=1,3,5,7
/proc/27103/stat : 27103 (pwbo2.01) S 27101 27103 26380 0 -1 4202496 75106 0 0 0 176339 85 0 0 20 0 3 0 284997050 456491008 76724 33554432000 4194304 5964478 140735785471376 140735785470896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27103/statm: 111448 76724 206 433 0 111012 0
[pid=27103/tid=27104] ppid=27101 vsize=445792 CPUtime=882.22 cores=1,3,5,7
/proc/27103/task/27104/stat : 27104 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 27290 0 0 0 88168 54 0 0 20 0 3 0 284997051 456491008 76724 33554432000 4194304 5964478 140735785471376 140017463187496 4400075 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27103/tid=27105] ppid=27101 vsize=445792 CPUtime=882.26 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 46994 0 0 0 88168 58 0 0 20 0 3 0 284997051 456491008 76724 33554432000 4194304 5964478 140735785471376 140017452697912 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1764.24
Current children cumulated vsize (KiB) 445792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.2 s]
/proc/loadavg: 4.00 3.97 3.92 3/178 27116
/proc/meminfo: memFree=30717428/32873648 swapFree=7112/7112
[pid=27103] ppid=27101 vsize=445792 CPUtime=1800.05 cores=1,3,5,7
/proc/27103/stat : 27103 (pwbo2.01) S 27101 27103 26380 0 -1 4202496 76162 0 0 0 179917 88 0 0 20 0 3 0 284997050 456491008 77780 33554432000 4194304 5964478 140735785471376 140735785470896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27103/statm: 111448 77780 206 433 0 111012 0
[pid=27103/tid=27104] ppid=27101 vsize=445792 CPUtime=900.13 cores=1,3,5,7
/proc/27103/task/27104/stat : 27104 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 27290 0 0 0 89959 54 0 0 20 0 3 0 284997051 456491008 77780 33554432000 4194304 5964478 140735785471376 140017463187496 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27103/tid=27105] ppid=27101 vsize=445792 CPUtime=900.17 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (pwbo2.01) R 27101 27103 26380 0 -1 4202560 48050 0 0 0 89956 61 0 0 20 0 3 0 284997051 456491008 77780 33554432000 4194304 5964478 140735785471376 140017452697912 4379280 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 445792

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

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

Child status: 0
Real time (s): 900.221
CPU time (s): 1800.34
CPU user time (s): 1799.16
CPU system time (s): 1.18082
CPU usage (%): 199.989
Max. virtual memory (cumulated for all children) (KiB): 445792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.16
system time used= 1.18082
maximum resident set size= 311124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76163
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= 207
involuntary context switches= 1984

runsolver used 1.90171 second user time and 5.2852 second system time

The end

Launcher Data 

Begin job on node126 at 2012-05-28 09:05:11
IDJOB=3712436
IDBENCH=78684
IDSOLVER=2292
FILE ID=node126/3712436-1338188711
RUNJOBID= node126-1338182394-26397
PBS_JOBID= 14624566
Free space on /tmp= 71356 MiB

SOLVER NAME= pwbo 2.01
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= pwbo2.01 -file-format=wbo -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712436-1338188711/watcher-3712436-1338188711 -o /tmp/evaluation-result-3712436-1338188711/solver-3712436-1338188711 -C 1800 -W 1900 -M 15500  pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712436-1338188711.wbo

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

MD5SUM BENCH= cf0241dbee717fce31205c3d6c127ed0
RANDOM SEED=478986537

node126.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.456
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.91
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.456
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.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
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.456
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.456
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.92
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.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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.90
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.456
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        31017832 kB
Buffers:          333276 kB
Cached:           680544 kB
SwapCached:        17756 kB
Active:           776456 kB
Inactive:         270788 kB
Active(anon):      14744 kB
Inactive(anon):    20452 kB
Active(file):     761712 kB
Inactive(file):   250336 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67086932 kB
Dirty:             10956 kB
Writeback:             0 kB
AnonPages:         23928 kB
Mapped:            10052 kB
Shmem:                 0 kB
Slab:             669328 kB
SReclaimable:     113792 kB
SUnreclaim:       555536 kB
KernelStack:        1440 kB
PageTables:         3212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     160648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71348 MiB
End job on node126 at 2012-05-28 09:20:14