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 in four parts:
  1. 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 provide some useful information on the computer.
  2. 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 !
  3. 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 1200 seconds. 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 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    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.
  4. 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.

General information on the benchmark

Namesubmitted/manquinho/logic-synthesis/normalized-e64.b.opb
MD5SUMbf7f8537c6faa135d25c67c53576abb5
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 51
Optimality of the best value was proved NO
Number of terms in the objective function 608
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 608
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 608
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.16
Number of variables607
Total number of constraints1053
Number of constraints which are clauses1022
Number of constraints which are cardinality constraints (but not clauses)31
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint32

Trace number 9587

Launcher Data

LAUNCH ON wulflinc22 THE 2005-09-23 14:19:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8268 boxname=wulflinc22 idbench=64 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  bf7f8537c6faa135d25c67c53576abb5  /oldhome/oroussel/tmp/wulflinc22/normalized-e64.b.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc22/normalized-e64.b.opb
IDLAUNCH: 8268
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 450.985
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 450.985
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        924612 kB
Buffers:         11328 kB
Cached:          81696 kB
SwapCached:          0 kB
Active:          44108 kB
Inactive:        51776 kB
HighTotal:      131008 kB
HighFree:        48944 kB
LowTotal:       903652 kB
LowFree:        875668 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8500 kB
Committed_AS:    63620 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 14:39:45 (client local time) WITH STATUS 10 IN 1205.83 SECONDS
stats: 8268 0 1205.83 10

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 557
c big objective detected
c trying from 0 to 511
c got solution with objective value: 508
c starting final optimization
c CONFLICT during preprocess 
c [startup+11.6471 s]  setting bit 9 to 0
c got solution with objective value: 255
c [startup+24.453 s]  setting bit 8 to 1
c got solution with objective value: 127
c [startup+34.7547 s]  setting bit 7 to 1

c Decision: 147481/181610	Time: 18.4072/86400
c Decision: 147481/181610	Time: 28.8316/86400
c Decision: 147481/181610	Time: 39.279/86400
c Decision: 147481/181610	Time: 50.7873/86400
c Decision: 147481/181610	Time: 64.4502/86400
c got solution with objective value: 63
c [startup+107.957 s]  setting bit 6 to 1

c Decision: 165492/181610	Time: 12.936/86400
c Decision: 165492/181610	Time: 27.9058/86400
c Decision: 165492/181610	Time: 37.6063/86400
c Decision: 165492/181610	Time: 48.3866/86400
c Decision: 165492/181610	Time: 63.2354/86400
c Decision: 165492/181610	Time: 77.1503/86400
c Decision: 165492/181610	Time: 90.7902/86400
c Decision: 165492/181610	Time: 107.931/86400
c Decision: 165492/181610	Time: 117.451/86400
c Decision: 165492/181610	Time: 133.281/86400
c Decision: 165492/181610	Time: 145.285/86400
c Decision: 165492/181610	Time: 161.549/86400
c Decision: 165492/181610	Time: 175.737/86400
c Decision: 165492/181610	Time: 188.662/86400
c Decision: 165492/181610	Time: 204.953/86400
c Decision: 165492/181610	Time: 221.985/86400
c Decision: 165492/181610	Time: 237.136/86400
c Decision: 165492/181610	Time: 249.913/86400
c Decision: 165492/181610	Time: 268.388/86400
c Decision: 165492/181610	Time: 284.558/86400
c Decision: 165492/181610	Time: 297.642/86400
c Decision: 165492/181610	Time: 314.064/86400
c Decision: 165492/181610	Time: 324.931/86400
c Decision: 165492/181610	Time: 345.561/86400
c Decision: 165492/181610	Time: 356.972/86400
c Decision: 165492/181610	Time: 370.617/86400
c Decision: 165492/181610	Time: 385.343/86400
c Decision: 165492/181610	Time: 405.908/86400
c Decision: 165492/181610	Time: 415.377/86400
c Decision: 165492/181610	Time: 428.82/86400
c Decision: 165492/181610	Time: 441.995/86400
c Decision: 165492/181610	Time: 461.227/86400
c Decision: 165492/181610	Time: 474.035/86400
c Decision: 165492/181610	Time: 486.904/86400
c Decision: 165492/181610	Time: 504.659/86400
c Decision: 165492/181610	Time: 519.44/86400
c Decision: 165492/181610	Time: 537.434/86400
c Decision: 165492/181610	Time: 554.441/86400
c Decision: 165492/181610	Time: 568.189/86400
c Decision: 165492/181610	Time: 583.163/86400
c Decision: 165492/181610	Time: 597.434/86400
c Decision: 165492/181610	Time: 612.017/86400
c Decision: 165492/181610	Time: 630.487/86400
c Decision: 165492/181610	Time: 641.708/86400
c Decision: 166007/181610	Time: 659.895/86400
c Decision: 166007/181610	Time: 675.574/86400
c Decision: 166007/181610	Time: 691.223/86400
c Decision: 166007/181610	Time: 704.579/86400
c Decision: 166007/181610	Time: 721.888/86400
c Decision: 166007/181610	Time: 737.511/86400
c Decision: 166007/181610	Time: 752.098/86400
c Decision: 166007/181610	Time: 768.205/86400
c Decision: 166007/181610	Time: 783.394/86400
c Decision: 166007/181610	Time: 802.404/86400
c Decision: 166007/181610	Time: 816.497/86400
c Decision: 166007/181610	Time: 833.007/86400
c Decision: 166007/181610	Time: 847.792/86400
c Decision: 166007/181610	Time: 865.105/86400
c Decision: 166007/181610	Time: 882.981/86400
c Decision: 166007/181610	Time: 898.814/86400
c Decision: 166007/181610	Time: 914.074/86400
c Decision: 166007/181610	Time: 934.701/86400
c Decision: 166007/181610	Time: 951.072/86400
c Decision: 166007/181610	Time: 962.748/86400
c Decision: 166007/181610	Time: 979.264/86400
c Decision: 166007/181610	Time: 995.464/86400
c Decision: 166007/181610	Time: 1015.18/86400
c Decision: 166007/181610	Time: 1028.73/86400
c Decision: 166007/181610	Time: 1045.74/86400
c Decision: 166007/181610	Time: 1060.21/86400
c Decision: 166007/181610	Time: 1076.49/86400
c Decision: 166007/181610	Time: 1093.34/86400s SATISFIABLE
v -x1 x10 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x11 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x12 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 x129 -x13 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x14 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x15 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 x158 -x159 -x16 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x17 -x170 x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x18 -x180 x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x19 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x2 -x20 x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x21 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x22 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 x228 -x229 -x23 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x24 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x25 -x250 -x251 -x252 x253 -x254 x255 -x256 -x257 -x258 x259 x26 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x27 -x270 x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x28 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x29 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 x3 -x30 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x31 -x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x32 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x33 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x34 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x36 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x37 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x38 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x39 -x390 -x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x4 -x40 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x41 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x42 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x43 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x45 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x46 x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x47 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x48 -x480 x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 x49 -x490 -x491 -x492 x493 -x494 -x495 x496 -x497 -x498 -x499 -x5 x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x51 -x510 -x511 -x512 -x513 x514 -x515 x516 -x517 -x518 -x519 -x52 -x520 x521 -x522 -x523 -x524 -x525 -x526 x527 -x528 -x529 -x53 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x54 -x540 -x541 -x542 -x543 -x544 -x545 x546 -x547 -x548 -x549 -x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560 x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 -x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x7 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x8 -x80 -x81 -x82 x83 -x84 -x85 x86 -x87 -x88 -x89 -x9 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 17 0 1 0 0 0 0 0 18 0 1 0 20854173 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 373 2 364 364 0 9 0
[pid=7076] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc22/normalized-e64.b.opb

[startup+10.143 s]
Raw data (loadavg): 0.93 0.98 0.99 1/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) T 7075 7076 4060 0 -1 0 29757 0 8 0 922 65 0 0 25 0 1 0 20854173 96346112 18337 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7076/statm): 23522 18337 364 364 0 23158 0
[pid=7076] vsize: 94088
Current children cumulated CPU time (s) 9.87
Current children cumulated vsize (Kb) 94088

[startup+20.1437 s]
Raw data (loadavg): 0.94 0.98 0.99 1/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) T 7075 7076 4060 0 -1 0 31407 0 8 0 1888 79 0 0 25 0 1 0 20854173 99991552 19244 4294967295 134512640 135987407 3221224576 3221223196 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7076/statm): 24412 19244 364 364 0 24048 0
[pid=7076] vsize: 97648
Current children cumulated CPU time (s) 19.67
Current children cumulated vsize (Kb) 97648

[startup+30.1444 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 32010 0 8 0 2863 90 0 0 25 0 1 0 20854173 100823040 19427 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 24615 19427 364 364 0 24251 0
[pid=7076] vsize: 98460
Current children cumulated CPU time (s) 29.53
Current children cumulated vsize (Kb) 98460

[startup+40.1441 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 32714 0 8 0 3849 96 0 0 25 0 1 0 20854173 102187008 19647 4294967295 134512640 135987407 3221224576 3221223232 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 24948 19647 364 364 0 24584 0
[pid=7076] vsize: 99792
Current children cumulated CPU time (s) 39.45
Current children cumulated vsize (Kb) 99792

[startup+50.1448 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 32889 0 8 0 4840 99 0 0 25 0 1 0 20854173 102948864 19822 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25134 19822 364 364 0 24770 0
[pid=7076] vsize: 100536
Current children cumulated CPU time (s) 49.39
Current children cumulated vsize (Kb) 100536

[startup+60.1446 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 33302 0 8 0 5823 105 0 0 25 0 1 0 20854173 103104512 19880 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25172 19880 364 364 0 24808 0
[pid=7076] vsize: 100688
Current children cumulated CPU time (s) 59.28
Current children cumulated vsize (Kb) 100688

[startup+70.1463 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 33784 0 8 0 6812 110 0 0 25 0 1 0 20854173 103571456 20007 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25286 20007 364 364 0 24922 0
[pid=7076] vsize: 101144
Current children cumulated CPU time (s) 69.22
Current children cumulated vsize (Kb) 101144

[startup+80.147 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 34237 0 8 0 7798 115 0 0 25 0 1 0 20854173 103866368 20105 4294967295 134512640 135987407 3221224576 3221223056 134811768 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25358 20105 364 364 0 24994 0
[pid=7076] vsize: 101432
Current children cumulated CPU time (s) 79.13
Current children cumulated vsize (Kb) 101432

[startup+90.1467 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 34716 0 8 0 8779 123 0 0 25 0 1 0 20854173 104472576 20229 4294967295 134512640 135987407 3221224576 3221223184 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25506 20229 364 364 0 25142 0
[pid=7076] vsize: 102024
Current children cumulated CPU time (s) 89.02
Current children cumulated vsize (Kb) 102024

[startup+100.147 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 35120 0 8 0 9773 126 0 0 25 0 1 0 20854173 104636416 20278 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25546 20278 364 364 0 25182 0
[pid=7076] vsize: 102184
Current children cumulated CPU time (s) 98.99
Current children cumulated vsize (Kb) 102184

[startup+110.148 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 35553 0 8 0 10757 131 0 0 25 0 1 0 20854173 104800256 20356 4294967295 134512640 135987407 3221224576 3221223216 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25586 20356 364 364 0 25222 0
[pid=7076] vsize: 102344
Current children cumulated CPU time (s) 108.88
Current children cumulated vsize (Kb) 102344

[startup+120.149 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 35585 0 8 0 11744 135 0 0 25 0 1 0 20854173 104800256 20388 4294967295 134512640 135987407 3221224576 3221223088 134814271 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7076/statm): 25586 20388 364 364 0 25222 0
[pid=7076] vsize: 102344
Current children cumulated CPU time (s) 118.79
Current children cumulated vsize (Kb) 102344

[startup+130.149 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 35942 0 8 0 12739 139 0 0 25 0 1 0 20854173 104800256 20390 4294967295 134512640 135987407 3221224576 3221223056 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7076/statm): 25586 20390 364 364 0 25222 0
[pid=7076] vsize: 102344
Current children cumulated CPU time (s) 128.78
Current children cumulated vsize (Kb) 102344

[startup+140.149 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 36307 0 8 0 13730 142 0 0 25 0 1 0 20854173 104964096 20400 4294967295 134512640 135987407 3221224576 3221223056 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7076/statm): 25626 20400 364 364 0 25262 0
[pid=7076] vsize: 102504
Current children cumulated CPU time (s) 138.72
Current children cumulated vsize (Kb) 102504

[startup+150.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 36330 0 8 0 14721 144 0 0 25 0 1 0 20854173 104964096 20423 4294967295 134512640 135987407 3221224576 3221223056 134811962 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25626 20423 364 364 0 25262 0
[pid=7076] vsize: 102504
Current children cumulated CPU time (s) 148.65
Current children cumulated vsize (Kb) 102504

[startup+160.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 36333 0 8 0 15710 149 0 0 25 0 1 0 20854173 104964096 20426 4294967295 134512640 135987407 3221224576 3221223216 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25626 20426 364 364 0 25262 0
[pid=7076] vsize: 102504
Current children cumulated CPU time (s) 158.59
Current children cumulated vsize (Kb) 102504

[startup+170.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 36359 0 8 0 16703 151 0 0 25 0 1 0 20854173 104964096 20452 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25626 20452 364 364 0 25262 0
[pid=7076] vsize: 102504
Current children cumulated CPU time (s) 168.54
Current children cumulated vsize (Kb) 102504

[startup+180.151 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 36737 0 8 0 17696 154 0 0 25 0 1 0 20854173 104964096 20475 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25626 20475 364 364 0 25262 0
[pid=7076] vsize: 102504
Current children cumulated CPU time (s) 178.5
Current children cumulated vsize (Kb) 102504

[startup+190.152 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 37117 0 8 0 18691 156 0 0 25 0 1 0 20854173 105099264 20500 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25659 20500 364 364 0 25295 0
[pid=7076] vsize: 102636
Current children cumulated CPU time (s) 188.47
Current children cumulated vsize (Kb) 102636

[startup+200.152 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 37509 0 8 0 19683 160 0 0 25 0 1 0 20854173 105099264 20537 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25659 20537 364 364 0 25295 0
[pid=7076] vsize: 102636
Current children cumulated CPU time (s) 198.43
Current children cumulated vsize (Kb) 102636

[startup+210.152 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 37535 0 8 0 20680 161 0 0 25 0 1 0 20854173 105234432 20563 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25692 20563 364 364 0 25328 0
[pid=7076] vsize: 102768
Current children cumulated CPU time (s) 208.41
Current children cumulated vsize (Kb) 102768

[startup+220.153 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 37914 0 8 0 21674 163 0 0 25 0 1 0 20854173 105234432 20587 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25692 20587 364 364 0 25328 0
[pid=7076] vsize: 102768
Current children cumulated CPU time (s) 218.37
Current children cumulated vsize (Kb) 102768

[startup+230.154 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 38302 0 8 0 22666 167 0 0 25 0 1 0 20854173 105234432 20620 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25692 20620 364 364 0 25328 0
[pid=7076] vsize: 102768
Current children cumulated CPU time (s) 228.33
Current children cumulated vsize (Kb) 102768

[startup+240.153 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 38332 0 8 0 23660 170 0 0 25 0 1 0 20854173 105234432 20650 4294967295 134512640 135987407 3221224576 3221223056 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25692 20650 364 364 0 25328 0
[pid=7076] vsize: 102768
Current children cumulated CPU time (s) 238.3
Current children cumulated vsize (Kb) 102768

[startup+250.154 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 38717 0 8 0 24655 172 0 0 25 0 1 0 20854173 105234432 20680 4294967295 134512640 135987407 3221224576 3221222864 134878186 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25692 20680 364 364 0 25328 0
[pid=7076] vsize: 102768
Current children cumulated CPU time (s) 248.27
Current children cumulated vsize (Kb) 102768

[startup+260.155 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 39082 0 8 0 25650 175 0 0 25 0 1 0 20854173 105234432 20690 4294967295 134512640 135987407 3221224576 3221223056 134811933 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25692 20690 364 364 0 25328 0
[pid=7076] vsize: 102768
Current children cumulated CPU time (s) 258.25
Current children cumulated vsize (Kb) 102768

[startup+270.155 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 39446 0 8 0 26643 178 0 0 25 0 1 0 20854173 106831872 21054 4294967295 134512640 135987407 3221224576 3221222728 134827485 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26082 21054 364 364 0 25718 0
[pid=7076] vsize: 104328
Current children cumulated CPU time (s) 268.21
Current children cumulated vsize (Kb) 104328

[startup+280.156 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 39458 0 8 0 27637 180 0 0 25 0 1 0 20854173 105377792 20711 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25727 20711 364 364 0 25363 0
[pid=7076] vsize: 102908
Current children cumulated CPU time (s) 278.17
Current children cumulated vsize (Kb) 102908

[startup+290.157 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 39834 0 8 0 28629 183 0 0 25 0 1 0 20854173 105377792 20732 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25727 20732 364 364 0 25363 0
[pid=7076] vsize: 102908
Current children cumulated CPU time (s) 288.12
Current children cumulated vsize (Kb) 102908

[startup+300.158 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 40228 0 8 0 29622 187 0 0 25 0 1 0 20854173 105377792 20771 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25727 20771 364 364 0 25363 0
[pid=7076] vsize: 102908
Current children cumulated CPU time (s) 298.09
Current children cumulated vsize (Kb) 102908

[startup+310.158 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 40254 0 8 0 30618 188 0 0 25 0 1 0 20854173 105512960 20797 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25760 20797 364 364 0 25396 0
[pid=7076] vsize: 103040
Current children cumulated CPU time (s) 308.06
Current children cumulated vsize (Kb) 103040

[startup+320.159 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 40639 0 8 0 31613 190 0 0 25 0 1 0 20854173 105512960 20827 4294967295 134512640 135987407 3221224576 3221223216 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25760 20827 364 364 0 25396 0
[pid=7076] vsize: 103040
Current children cumulated CPU time (s) 318.03
Current children cumulated vsize (Kb) 103040

[startup+330.16 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 41020 0 8 0 32608 192 0 0 25 0 1 0 20854173 106967040 21208 4294967295 134512640 135987407 3221224576 3221222728 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26115 21208 364 364 0 25751 0
[pid=7076] vsize: 104460
Current children cumulated CPU time (s) 328
Current children cumulated vsize (Kb) 104460

[startup+340.159 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 41022 0 8 0 33604 193 0 0 25 0 1 0 20854173 105512960 20855 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25760 20855 364 364 0 25396 0
[pid=7076] vsize: 103040
Current children cumulated CPU time (s) 337.97
Current children cumulated vsize (Kb) 103040

[startup+350.16 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 41382 0 8 0 34595 197 0 0 25 0 1 0 20854173 105512960 20860 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25760 20860 364 364 0 25396 0
[pid=7076] vsize: 103040
Current children cumulated CPU time (s) 347.92
Current children cumulated vsize (Kb) 103040

[startup+360.161 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 41759 0 8 0 35589 200 0 0 25 0 1 0 20854173 105512960 20882 4294967295 134512640 135987407 3221224576 3221223056 134812043 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25760 20882 364 364 0 25396 0
[pid=7076] vsize: 103040
Current children cumulated CPU time (s) 357.89
Current children cumulated vsize (Kb) 103040

[startup+370.161 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 41786 0 8 0 36586 202 0 0 25 0 1 0 20854173 105512960 20909 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25760 20909 364 364 0 25396 0
[pid=7076] vsize: 103040
Current children cumulated CPU time (s) 367.88
Current children cumulated vsize (Kb) 103040

[startup+380.162 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 42172 0 8 0 37580 204 0 0 25 0 1 0 20854173 105512960 20940 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25760 20940 364 364 0 25396 0
[pid=7076] vsize: 103040
Current children cumulated CPU time (s) 377.84
Current children cumulated vsize (Kb) 103040

[startup+390.162 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 42202 0 8 0 38576 206 0 0 25 0 1 0 20854173 105648128 20970 4294967295 134512640 135987407 3221224576 3221223056 134812038 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25793 20970 364 364 0 25429 0
[pid=7076] vsize: 103172
Current children cumulated CPU time (s) 387.82
Current children cumulated vsize (Kb) 103172

[startup+400.163 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 42597 0 8 0 39569 209 0 0 25 0 1 0 20854173 105648128 21010 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25793 21010 364 364 0 25429 0
[pid=7076] vsize: 103172
Current children cumulated CPU time (s) 397.78
Current children cumulated vsize (Kb) 103172

[startup+410.162 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 43006 0 8 0 40563 211 0 0 25 0 1 0 20854173 105787392 21064 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25827 21064 364 364 0 25463 0
[pid=7076] vsize: 103308
Current children cumulated CPU time (s) 407.74
Current children cumulated vsize (Kb) 103308

[startup+420.163 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 43009 0 8 0 41559 213 0 0 25 0 1 0 20854173 105787392 21067 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25827 21067 364 364 0 25463 0
[pid=7076] vsize: 103308
Current children cumulated CPU time (s) 417.72
Current children cumulated vsize (Kb) 103308

[startup+430.164 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 43367 0 8 0 42552 216 0 0 25 0 1 0 20854173 105787392 21070 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25827 21070 364 364 0 25463 0
[pid=7076] vsize: 103308
Current children cumulated CPU time (s) 427.68
Current children cumulated vsize (Kb) 103308

[startup+440.163 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 43725 0 8 0 43547 218 0 0 25 0 1 0 20854173 105787392 21073 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25827 21073 364 364 0 25463 0
[pid=7076] vsize: 103308
Current children cumulated CPU time (s) 437.65
Current children cumulated vsize (Kb) 103308

[startup+450.164 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 43733 0 8 0 44545 220 0 0 25 0 1 0 20854173 105787392 21081 4294967295 134512640 135987407 3221224576 3221223216 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25827 21081 364 364 0 25463 0
[pid=7076] vsize: 103308
Current children cumulated CPU time (s) 447.65
Current children cumulated vsize (Kb) 103308

[startup+460.165 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 44120 0 8 0 45539 223 0 0 25 0 1 0 20854173 105922560 21113 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25860 21113 364 364 0 25496 0
[pid=7076] vsize: 103440
Current children cumulated CPU time (s) 457.62
Current children cumulated vsize (Kb) 103440

[startup+470.166 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 44519 0 8 0 46532 225 0 0 25 0 1 0 20854173 105922560 21157 4294967295 134512640 135987407 3221224576 3221223056 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25860 21157 364 364 0 25496 0
[pid=7076] vsize: 103440
Current children cumulated CPU time (s) 467.57
Current children cumulated vsize (Kb) 103440

[startup+480.166 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 44923 0 8 0 47525 229 0 0 25 0 1 0 20854173 106074112 21206 4294967295 134512640 135987407 3221224576 3221223184 134876843 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25897 21206 364 364 0 25533 0
[pid=7076] vsize: 103588
Current children cumulated CPU time (s) 477.54
Current children cumulated vsize (Kb) 103588

[startup+490.167 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 44925 0 8 0 48519 231 0 0 25 0 1 0 20854173 106074112 21208 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25897 21208 364 364 0 25533 0
[pid=7076] vsize: 103588
Current children cumulated CPU time (s) 487.5
Current children cumulated vsize (Kb) 103588

[startup+500.168 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 45290 0 8 0 49513 234 0 0 25 0 1 0 20854173 106074112 21218 4294967295 134512640 135987407 3221224576 3221223056 134812000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25897 21218 364 364 0 25533 0
[pid=7076] vsize: 103588
Current children cumulated CPU time (s) 497.47
Current children cumulated vsize (Kb) 103588

[startup+510.167 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 45299 0 8 0 50511 235 0 0 25 0 1 0 20854173 106074112 21227 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25897 21227 364 364 0 25533 0
[pid=7076] vsize: 103588
Current children cumulated CPU time (s) 507.46
Current children cumulated vsize (Kb) 103588

[startup+520.167 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 45668 0 8 0 51505 238 0 0 25 0 1 0 20854173 106074112 21241 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25897 21241 364 364 0 25533 0
[pid=7076] vsize: 103588
Current children cumulated CPU time (s) 517.43
Current children cumulated vsize (Kb) 103588

[startup+530.168 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 46062 0 8 0 52497 242 0 0 25 0 1 0 20854173 106209280 21280 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25930 21280 364 364 0 25566 0
[pid=7076] vsize: 103720
Current children cumulated CPU time (s) 527.39
Current children cumulated vsize (Kb) 103720

[startup+540.167 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 46485 0 8 0 53489 246 0 0 25 0 1 0 20854173 106344448 21348 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25963 21348 364 364 0 25599 0
[pid=7076] vsize: 103852
Current children cumulated CPU time (s) 537.35
Current children cumulated vsize (Kb) 103852

[startup+550.168 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 46511 0 8 0 54484 248 0 0 25 0 1 0 20854173 106344448 21374 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25963 21374 364 364 0 25599 0
[pid=7076] vsize: 103852
Current children cumulated CPU time (s) 547.32
Current children cumulated vsize (Kb) 103852

[startup+560.169 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 46873 0 8 0 55481 249 0 0 25 0 1 0 20854173 106344448 21381 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25963 21381 364 364 0 25599 0
[pid=7076] vsize: 103852
Current children cumulated CPU time (s) 557.3
Current children cumulated vsize (Kb) 103852

[startup+570.169 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 46879 0 8 0 56478 250 0 0 25 0 1 0 20854173 106344448 21387 4294967295 134512640 135987407 3221224576 3221223056 134812038 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 25963 21387 364 364 0 25599 0
[pid=7076] vsize: 103852
Current children cumulated CPU time (s) 567.28
Current children cumulated vsize (Kb) 103852

[startup+580.169 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 47258 0 8 0 57470 254 0 0 25 0 1 0 20854173 106524672 21411 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26007 21411 364 364 0 25643 0
[pid=7076] vsize: 104028
Current children cumulated CPU time (s) 577.24
Current children cumulated vsize (Kb) 104028

[startup+590.169 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 47620 0 8 0 58464 257 0 0 25 0 1 0 20854173 106524672 21418 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26007 21418 364 364 0 25643 0
[pid=7076] vsize: 104028
Current children cumulated CPU time (s) 587.21
Current children cumulated vsize (Kb) 104028

[startup+600.17 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 47989 0 8 0 59458 260 0 0 25 0 1 0 20854173 106524672 21432 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26007 21432 364 364 0 25643 0
[pid=7076] vsize: 104028
Current children cumulated CPU time (s) 597.18
Current children cumulated vsize (Kb) 104028

[startup+610.17 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 47994 0 8 0 60455 262 0 0 25 0 1 0 20854173 106524672 21437 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26007 21437 364 364 0 25643 0
[pid=7076] vsize: 104028
Current children cumulated CPU time (s) 607.17
Current children cumulated vsize (Kb) 104028

[startup+620.17 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 48371 0 8 0 61450 264 0 0 25 0 1 0 20854173 106524672 21459 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26007 21459 364 364 0 25643 0
[pid=7076] vsize: 104028
Current children cumulated CPU time (s) 617.14
Current children cumulated vsize (Kb) 104028

[startup+630.171 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 48760 0 8 0 62444 266 0 0 25 0 1 0 20854173 106524672 21493 4294967295 134512640 135987407 3221224576 3221223056 134812028 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26007 21493 364 364 0 25643 0
[pid=7076] vsize: 104028
Current children cumulated CPU time (s) 627.1
Current children cumulated vsize (Kb) 104028

[startup+640.171 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 48768 0 8 0 63441 267 0 0 25 0 1 0 20854173 106668032 21501 4294967295 134512640 135987407 3221224576 3221223216 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26042 21501 364 364 0 25678 0
[pid=7076] vsize: 104168
Current children cumulated CPU time (s) 637.08
Current children cumulated vsize (Kb) 104168

[startup+650.171 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 49135 0 8 0 64437 269 0 0 25 0 1 0 20854173 106668032 21513 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26042 21513 364 364 0 25678 0
[pid=7076] vsize: 104168
Current children cumulated CPU time (s) 647.06
Current children cumulated vsize (Kb) 104168

[startup+660.171 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 49142 0 8 0 65432 271 0 0 25 0 1 0 20854173 106668032 21520 4294967295 134512640 135987407 3221224576 3221223056 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26042 21520 364 364 0 25678 0
[pid=7076] vsize: 104168
Current children cumulated CPU time (s) 657.03
Current children cumulated vsize (Kb) 104168

[startup+670.172 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 49505 0 8 0 66427 273 0 0 25 0 1 0 20854173 106668032 21528 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26042 21528 364 364 0 25678 0
[pid=7076] vsize: 104168
Current children cumulated CPU time (s) 667
Current children cumulated vsize (Kb) 104168

[startup+680.172 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 49874 0 8 0 67423 276 0 0 25 0 1 0 20854173 106803200 21542 4294967295 134512640 135987407 3221224576 3221223056 134811824 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26075 21542 364 364 0 25711 0
[pid=7076] vsize: 104300
Current children cumulated CPU time (s) 676.99
Current children cumulated vsize (Kb) 104300

[startup+690.172 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 49885 0 8 0 68419 277 0 0 25 0 1 0 20854173 106803200 21553 4294967295 134512640 135987407 3221224576 3221223056 134811813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26075 21553 364 364 0 25711 0
[pid=7076] vsize: 104300
Current children cumulated CPU time (s) 686.96
Current children cumulated vsize (Kb) 104300

[startup+700.173 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 50266 0 8 0 69411 280 0 0 25 0 1 0 20854173 106803200 21579 4294967295 134512640 135987407 3221224576 3221223056 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26075 21579 364 364 0 25711 0
[pid=7076] vsize: 104300
Current children cumulated CPU time (s) 696.91
Current children cumulated vsize (Kb) 104300

[startup+710.173 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 50653 0 8 0 70404 283 0 0 25 0 1 0 20854173 106803200 21611 4294967295 134512640 135987407 3221224576 3221223120 134801245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26075 21611 364 364 0 25711 0
[pid=7076] vsize: 104300
Current children cumulated CPU time (s) 706.87
Current children cumulated vsize (Kb) 104300

[startup+720.172 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 50662 0 8 0 71399 286 0 0 25 0 1 0 20854173 106938368 21620 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26108 21620 364 364 0 25744 0
[pid=7076] vsize: 104432
Current children cumulated CPU time (s) 716.85
Current children cumulated vsize (Kb) 104432

[startup+730.173 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 51026 0 8 0 72394 287 0 0 25 0 1 0 20854173 106938368 21629 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26108 21629 364 364 0 25744 0
[pid=7076] vsize: 104432
Current children cumulated CPU time (s) 726.81
Current children cumulated vsize (Kb) 104432

[startup+740.174 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 51030 0 8 0 73391 289 0 0 25 0 1 0 20854173 106938368 21633 4294967295 134512640 135987407 3221224576 3221223088 134814134 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26108 21633 364 364 0 25744 0
[pid=7076] vsize: 104432
Current children cumulated CPU time (s) 736.8
Current children cumulated vsize (Kb) 104432

[startup+750.174 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 51399 0 8 0 74386 291 0 0 25 0 1 0 20854173 106938368 21647 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26108 21647 364 364 0 25744 0
[pid=7076] vsize: 104432
Current children cumulated CPU time (s) 746.77
Current children cumulated vsize (Kb) 104432

[startup+760.174 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 51793 0 8 0 75382 293 0 0 25 0 1 0 20854173 106938368 21686 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26108 21686 364 364 0 25744 0
[pid=7076] vsize: 104432
Current children cumulated CPU time (s) 756.75
Current children cumulated vsize (Kb) 104432

[startup+770.174 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 52190 0 8 0 76377 296 0 0 25 0 1 0 20854173 108523520 22083 4294967295 134512640 135987407 3221224576 3221222752 134828930 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26495 22083 364 364 0 26131 0
[pid=7076] vsize: 105980
Current children cumulated CPU time (s) 766.73
Current children cumulated vsize (Kb) 105980

[startup+780.175 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 52222 0 8 0 77373 297 0 0 25 0 1 0 20854173 107069440 21760 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26140 21760 364 364 0 25776 0
[pid=7076] vsize: 104560
Current children cumulated CPU time (s) 776.7
Current children cumulated vsize (Kb) 104560

[startup+790.175 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 52607 0 8 0 78368 300 0 0 25 0 1 0 20854173 107069440 21790 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26140 21790 364 364 0 25776 0
[pid=7076] vsize: 104560
Current children cumulated CPU time (s) 786.68
Current children cumulated vsize (Kb) 104560

[startup+800.176 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 52639 0 8 0 79359 303 0 0 25 0 1 0 20854173 107216896 21822 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26176 21822 364 364 0 25812 0
[pid=7076] vsize: 104704
Current children cumulated CPU time (s) 796.62
Current children cumulated vsize (Kb) 104704

[startup+810.176 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 52999 0 8 0 80354 306 0 0 25 0 1 0 20854173 107216896 21827 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26176 21827 364 364 0 25812 0
[pid=7076] vsize: 104704
Current children cumulated CPU time (s) 806.6
Current children cumulated vsize (Kb) 104704

[startup+820.175 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 53362 0 8 0 81349 308 0 0 25 0 1 0 20854173 107216896 21835 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26176 21835 364 364 0 25812 0
[pid=7076] vsize: 104704
Current children cumulated CPU time (s) 816.57
Current children cumulated vsize (Kb) 104704

[startup+830.176 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 53367 0 8 0 82343 310 0 0 25 0 1 0 20854173 107352064 21840 4294967295 134512640 135987407 3221224576 3221222928 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26209 21840 364 364 0 25845 0
[pid=7076] vsize: 104836
Current children cumulated CPU time (s) 826.53
Current children cumulated vsize (Kb) 104836

[startup+840.176 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 53739 0 8 0 83339 312 0 0 25 0 1 0 20854173 107352064 21857 4294967295 134512640 135987407 3221224576 3221223056 134812005 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26209 21857 364 364 0 25845 0
[pid=7076] vsize: 104836
Current children cumulated CPU time (s) 836.51
Current children cumulated vsize (Kb) 104836

[startup+850.177 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 54103 0 8 0 84334 314 0 0 25 0 1 0 20854173 107352064 21866 4294967295 134512640 135987407 3221224576 3221223216 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26209 21866 364 364 0 25845 0
[pid=7076] vsize: 104836
Current children cumulated CPU time (s) 846.48
Current children cumulated vsize (Kb) 104836

[startup+860.177 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 54135 0 8 0 85328 317 0 0 25 0 1 0 20854173 107352064 21898 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26209 21898 364 364 0 25845 0
[pid=7076] vsize: 104836
Current children cumulated CPU time (s) 856.45
Current children cumulated vsize (Kb) 104836

[startup+870.177 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 54503 0 8 0 86324 319 0 0 25 0 1 0 20854173 107487232 21911 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26242 21911 364 364 0 25878 0
[pid=7076] vsize: 104968
Current children cumulated CPU time (s) 866.43
Current children cumulated vsize (Kb) 104968

[startup+880.178 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 54873 0 8 0 87317 322 0 0 25 0 1 0 20854173 107487232 21926 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26242 21926 364 364 0 25878 0
[pid=7076] vsize: 104968
Current children cumulated CPU time (s) 876.39
Current children cumulated vsize (Kb) 104968

[startup+890.178 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 54882 0 8 0 88313 323 0 0 25 0 1 0 20854173 107487232 21935 4294967295 134512640 135987407 3221224576 3221223216 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26242 21935 364 364 0 25878 0
[pid=7076] vsize: 104968
Current children cumulated CPU time (s) 886.36
Current children cumulated vsize (Kb) 104968

[startup+900.179 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 55248 0 8 0 89310 325 0 0 25 0 1 0 20854173 107487232 21946 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26242 21946 364 364 0 25878 0
[pid=7076] vsize: 104968
Current children cumulated CPU time (s) 896.35
Current children cumulated vsize (Kb) 104968

[startup+910.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 55251 0 8 0 90306 327 0 0 25 0 1 0 20854173 107487232 21949 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26242 21949 364 364 0 25878 0
[pid=7076] vsize: 104968
Current children cumulated CPU time (s) 906.33
Current children cumulated vsize (Kb) 104968

[startup+920.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 55626 0 8 0 91300 329 0 0 25 0 1 0 20854173 107622400 21969 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7076/statm): 26275 21969 364 364 0 25911 0
[pid=7076] vsize: 105100
Current children cumulated CPU time (s) 916.29
Current children cumulated vsize (Kb) 105100

[startup+930.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 56019 0 8 0 92294 331 0 0 25 0 1 0 20854173 107622400 22007 4294967295 134512640 135987407 3221224576 3221223056 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7076/statm): 26275 22007 364 364 0 25911 0
[pid=7076] vsize: 105100
Current children cumulated CPU time (s) 926.25
Current children cumulated vsize (Kb) 105100

[startup+940.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 56054 0 8 0 93289 333 0 0 25 0 1 0 20854173 107622400 22042 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7076/statm): 26275 22042 364 364 0 25911 0
[pid=7076] vsize: 105100
Current children cumulated CPU time (s) 936.22
Current children cumulated vsize (Kb) 105100

[startup+950.181 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 56422 0 8 0 94284 336 0 0 25 0 1 0 20854173 107622400 22055 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7076/statm): 26275 22055 364 364 0 25911 0
[pid=7076] vsize: 105100
Current children cumulated CPU time (s) 946.2
Current children cumulated vsize (Kb) 105100

[startup+960.181 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 56789 0 8 0 95278 339 0 0 25 0 1 0 20854173 107622400 22067 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7076/statm): 26275 22067 364 364 0 25911 0
[pid=7076] vsize: 105100
Current children cumulated CPU time (s) 956.17
Current children cumulated vsize (Kb) 105100

[startup+970.181 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 56797 0 8 0 96274 341 0 0 25 0 1 0 20854173 107753472 22075 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7076/statm): 26307 22075 364 364 0 25943 0
[pid=7076] vsize: 105228
Current children cumulated CPU time (s) 966.15
Current children cumulated vsize (Kb) 105228

[startup+980.181 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 57156 0 8 0 97271 343 0 0 25 0 1 0 20854173 107753472 22079 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7076/statm): 26307 22079 364 364 0 25943 0
[pid=7076] vsize: 105228
Current children cumulated CPU time (s) 976.14
Current children cumulated vsize (Kb) 105228

[startup+990.181 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 57161 0 8 0 98267 344 0 0 25 0 1 0 20854173 107753472 22084 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7076/statm): 26307 22084 364 364 0 25943 0
[pid=7076] vsize: 105228
Current children cumulated CPU time (s) 986.11
Current children cumulated vsize (Kb) 105228

[startup+1000.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 57526 0 8 0 99262 347 0 0 25 0 1 0 20854173 107753472 22094 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7076/statm): 26307 22094 364 364 0 25943 0
[pid=7076] vsize: 105228
Current children cumulated CPU time (s) 996.09
Current children cumulated vsize (Kb) 105228

[startup+1010.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 57908 0 8 0 100257 349 0 0 25 0 1 0 20854173 107753472 22121 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7076/statm): 26307 22121 364 364 0 25943 0
[pid=7076] vsize: 105228
Current children cumulated CPU time (s) 1006.06
Current children cumulated vsize (Kb) 105228

[startup+1020.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 57940 0 8 0 101252 351 0 0 25 0 1 0 20854173 107753472 22153 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7076/statm): 26307 22153 364 364 0 25943 0
[pid=7076] vsize: 105228
Current children cumulated CPU time (s) 1016.03
Current children cumulated vsize (Kb) 105228

[startup+1030.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 58313 0 8 0 102248 353 0 0 25 0 1 0 20854173 107753472 22171 4294967295 134512640 135987407 3221224576 3221223056 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7076/statm): 26307 22171 364 364 0 25943 0
[pid=7076] vsize: 105228
Current children cumulated CPU time (s) 1026.01
Current children cumulated vsize (Kb) 105228

[startup+1040.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 58320 0 8 0 103246 353 0 0 25 0 1 0 20854173 107900928 22178 4294967295 134512640 135987407 3221224576 3221223232 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7076/statm): 26343 22178 364 364 0 25979 0
[pid=7076] vsize: 105372
Current children cumulated CPU time (s) 1035.99
Current children cumulated vsize (Kb) 105372

[startup+1050.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 58682 0 8 0 104242 355 0 0 25 0 1 0 20854173 107900928 22185 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26343 22185 364 364 0 25979 0
[pid=7076] vsize: 105372
Current children cumulated CPU time (s) 1045.97
Current children cumulated vsize (Kb) 105372

[startup+1060.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 58701 0 8 0 105239 356 0 0 25 0 1 0 20854173 107900928 22204 4294967295 134512640 135987407 3221224576 3221223056 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26343 22204 364 364 0 25979 0
[pid=7076] vsize: 105372
Current children cumulated CPU time (s) 1055.95
Current children cumulated vsize (Kb) 105372

[startup+1070.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 59061 0 8 0 106231 359 0 0 25 0 1 0 20854173 107900928 22209 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26343 22209 364 364 0 25979 0
[pid=7076] vsize: 105372
Current children cumulated CPU time (s) 1065.9
Current children cumulated vsize (Kb) 105372

[startup+1080.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 59446 0 8 0 107225 362 0 0 25 0 1 0 20854173 108036096 22239 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26376 22239 364 364 0 26012 0
[pid=7076] vsize: 105504
Current children cumulated CPU time (s) 1075.87
Current children cumulated vsize (Kb) 105504

[startup+1090.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 59699 0 8 0 108220 365 0 0 25 0 1 0 20854173 109490176 22492 4294967295 134512640 135987407 3221224576 3221222960 134828101 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26731 22492 364 364 0 26367 0
[pid=7076] vsize: 106924
Current children cumulated CPU time (s) 1085.85
Current children cumulated vsize (Kb) 106924

[startup+1100.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 59875 0 8 0 109216 367 0 0 25 0 1 0 20854173 108036096 22313 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26376 22313 364 364 0 26012 0
[pid=7076] vsize: 105504
Current children cumulated CPU time (s) 1095.83
Current children cumulated vsize (Kb) 105504

[startup+1110.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 60259 0 8 0 110211 369 0 0 25 0 1 0 20854173 108036096 22342 4294967295 134512640 135987407 3221224576 3221223216 134790009 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26376 22342 364 364 0 26012 0
[pid=7076] vsize: 105504
Current children cumulated CPU time (s) 1105.8
Current children cumulated vsize (Kb) 105504

[startup+1120.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 60264 0 8 0 111208 370 0 0 25 0 1 0 20854173 108036096 22347 4294967295 134512640 135987407 3221224576 3221223216 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26376 22347 364 364 0 26012 0
[pid=7076] vsize: 105504
Current children cumulated CPU time (s) 1115.78
Current children cumulated vsize (Kb) 105504

[startup+1130.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 60632 0 8 0 112202 373 0 0 25 0 1 0 20854173 108171264 22360 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26409 22360 364 364 0 26045 0
[pid=7076] vsize: 105636
Current children cumulated CPU time (s) 1125.75
Current children cumulated vsize (Kb) 105636

[startup+1140.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 60998 0 8 0 113195 375 0 0 25 0 1 0 20854173 108171264 22371 4294967295 134512640 135987407 3221224576 3221223056 134812120 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26409 22371 364 364 0 26045 0
[pid=7076] vsize: 105636
Current children cumulated CPU time (s) 1135.7
Current children cumulated vsize (Kb) 105636

[startup+1150.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 61015 0 8 0 114190 377 0 0 25 0 1 0 20854173 108318720 22388 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26445 22388 364 364 0 26081 0
[pid=7076] vsize: 105780
Current children cumulated CPU time (s) 1145.67
Current children cumulated vsize (Kb) 105780

[startup+1160.19 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 61377 0 8 0 115185 379 0 0 25 0 1 0 20854173 108318720 22395 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26445 22395 364 364 0 26081 0
[pid=7076] vsize: 105780
Current children cumulated CPU time (s) 1155.64
Current children cumulated vsize (Kb) 105780

[startup+1170.19 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 61388 0 8 0 116179 381 0 0 25 0 1 0 20854173 108318720 22406 4294967295 134512640 135987407 3221224576 3221223056 134812031 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26445 22406 364 364 0 26081 0
[pid=7076] vsize: 105780
Current children cumulated CPU time (s) 1165.6
Current children cumulated vsize (Kb) 105780

[startup+1180.19 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 61768 0 8 0 117174 383 0 0 25 0 1 0 20854173 108318720 22431 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26445 22431 364 364 0 26081 0
[pid=7076] vsize: 105780
Current children cumulated CPU time (s) 1175.57
Current children cumulated vsize (Kb) 105780

[startup+1190.19 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 62154 0 8 0 118169 386 0 0 25 0 1 0 20854173 108318720 22462 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26445 22462 364 364 0 26081 0
[pid=7076] vsize: 105780
Current children cumulated CPU time (s) 1185.55
Current children cumulated vsize (Kb) 105780

[startup+1200.19 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 62158 0 8 0 119165 387 0 0 25 0 1 0 20854173 108318720 22466 4294967295 134512640 135987407 3221224576 3221223056 134811756 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26445 22466 364 364 0 26081 0
[pid=7076] vsize: 105780
Current children cumulated CPU time (s) 1195.52
Current children cumulated vsize (Kb) 105780

[startup+1210.19 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 62527 0 8 0 120159 390 0 0 25 0 1 0 20854173 108462080 22480 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26480 22480 364 364 0 26116 0
[pid=7076] vsize: 105920
Current children cumulated CPU time (s) 1205.49
Current children cumulated vsize (Kb) 105920



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.19 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7076
Raw data (/proc/7076/stat): 7076 (pb2sat) R 7075 7076 4060 0 -1 0 62527 0 8 0 120159 390 0 0 25 0 1 0 20854173 108462080 22480 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7076/statm): 26480 22480 364 364 0 26116 0
[pid=7076] vsize: 105920
Current children cumulated CPU time (s) 1205.49
Current children cumulated vsize (Kb) 105920

Sending SIGTERM to -7076
Sleeping 2 seconds
One traced child (pid=7076) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1210.53
CPU time (s): 1205.83
CPU user time (s): 1201.88
CPU system time (s): 3.9524
CPU usage (%): 99.6118
Max. virtual memory (cumulated for all children) (Kb): 106924

Verifier Data

Verifier:	OK	63