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

Namemps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-markshare2_1.opb
MD5SUMa84a96a9314212f3d8ecd5227c500cef
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 63179
Optimality of the best value was proved NO
Number of terms in the objective function 210
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 7516192761
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 7516192761
Number of bits of the biggest sum of numbers33
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.03
Number of variables330
Total number of constraints67
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)54
Number of constraints which are nor clauses,nor cardinality constraints13
Minimum length of a constraint1
Maximum length of a constraint150

Trace number 10223

Launcher Data

LAUNCH ON wulflinc20 THE 2005-09-23 17:21:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8919 boxname=wulflinc20 idbench=715 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  a84a96a9314212f3d8ecd5227c500cef  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-markshare2_1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-markshare2_1.opb
IDLAUNCH: 8919
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.012
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		: 451.012
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:        935124 kB
Buffers:         12172 kB
Cached:          70516 kB
SwapCached:          0 kB
Active:          45780 kB
Inactive:        39812 kB
HighTotal:      131008 kB
HighFree:        56056 kB
LowTotal:       903652 kB
LowFree:        879068 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8372 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 17:41:55 (client local time) WITH STATUS 0 IN 1211.75 SECONDS
stats: 8919 0 1211.75 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 369147
c small objective detected
c CONFLICT during preprocess 
c [startup+79.1354 s]  setting bit 32 to 0
c CONFLICT during preprocess 
c [startup+84.8355 s]  setting bit 31 to 0
c CONFLICT during preprocess 
c [startup+90.5378 s]  setting bit 30 to 0
c CONFLICT during preprocess 
c [startup+96.2388 s]  setting bit 29 to 0
c CONFLICT during preprocess 
c [startup+101.941 s]  setting bit 28 to 0
c CONFLICT during preprocess 
c [startup+107.64 s]  setting bit 27 to 0
c CONFLICT during preprocess 
c [startup+113.342 s]  setting bit 26 to 0
c CONFLICT during preprocess 
c [startup+119.042 s]  setting bit 25 to 0
c CONFLICT during preprocess 
c [startup+124.745 s]  setting bit 24 to 0
c CONFLICT during preprocess 
c [startup+130.447 s]  setting bit 23 to 0
c CONFLICT during preprocess 
c [startup+136.149 s]  setting bit 22 to 0
c CONFLICT during preprocess 
c [startup+141.852 s]  setting bit 21 to 0
c CONFLICT during preprocess 
c [startup+147.553 s]  setting bit 20 to 0
c CONFLICT during preprocess 
c [startup+153.253 s]  setting bit 19 to 0
c got solution with objective value: 91392
c [startup+467.916 s]  setting bit 18 to 1
c CONFLICT during preprocess 
c [startup+473.684 s]  setting bit 17 to 0
s SATISFIABLE
v s01_bit0 -s01_bit1 -s01_bit10 -s01_bit11 -s01_bit12 -s01_bit13 -s01_bit14 -s01_bit15 -s01_bit16 -s01_bit17 -s01_bit18 -s01_bit19 -s01_bit2 s01_bit3 -s01_bit4 -s01_bit5 -s01_bit6 -s01_bit7 -s01_bit8 -s01_bit9 -s01_bit_1 -s01_bit_10 s01_bit_2 -s01_bit_3 -s01_bit_4 -s01_bit_5 -s01_bit_6 -s01_bit_7 -s01_bit_8 -s01_bit_9 s11_bit0 s11_bit1 -s11_bit10 -s11_bit11 -s11_bit12 -s11_bit13 -s11_bit14 -s11_bit15 -s11_bit16 -s11_bit17 -s11_bit18 -s11_bit19 s11_bit2 s11_bit3 -s11_bit4 -s11_bit5 -s11_bit6 -s11_bit7 -s11_bit8 -s11_bit9 -s11_bit_1 -s11_bit_10 -s11_bit_2 -s11_bit_3 -s11_bit_4 -s11_bit_5 -s11_bit_6 -s11_bit_7 -s11_bit_8 -s11_bit_9 -s21_bit0 -s21_bit1 -s21_bit10 -s21_bit11 -s21_bit12 -s21_bit13 -s21_bit14 -s21_bit15 -s21_bit16 -s21_bit17 -s21_bit18 -s21_bit19 -s21_bit2 -s21_bit3 -s21_bit4 -s21_bit5 -s21_bit6 -s21_bit7 -s21_bit8 -s21_bit9 -s21_bit_1 -s21_bit_10 s21_bit_2 -s21_bit_3 -s21_bit_4 -s21_bit_5 -s21_bit_6 -s21_bit_7 -s21_bit_8 -s21_bit_9 s31_bit0 s31_bit1 -s31_bit10 -s31_bit11 -s31_bit12 -s31_bit13 -s31_bit14 -s31_bit15 -s31_bit16 -s31_bit17 -s31_bit18 -s31_bit19 s31_bit2 -s31_bit3 -s31_bit4 -s31_bit5 -s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 s31_bit_1 -s31_bit_10 -s31_bit_2 -s31_bit_3 -s31_bit_4 -s31_bit_5 -s31_bit_6 -s31_bit_7 -s31_bit_8 -s31_bit_9 -s41_bit0 -s41_bit1 -s41_bit10 -s41_bit11 -s41_bit12 -s41_bit13 -s41_bit14 -s41_bit15 -s41_bit16 -s41_bit17 -s41_bit18 -s41_bit19 -s41_bit2 -s41_bit3 -s41_bit4 s41_bit5 -s41_bit6 -s41_bit7 -s41_bit8 -s41_bit9 s41_bit_1 -s41_bit_10 s41_bit_2 -s41_bit_3 -s41_bit_4 -s41_bit_5 -s41_bit_6 -s41_bit_7 -s41_bit_8 -s41_bit_9 -s51_bit0 s51_bit1 -s51_bit10 -s51_bit11 -s51_bit12 -s51_bit13 -s51_bit14 -s51_bit15 -s51_bit16 -s51_bit17 -s51_bit18 -s51_bit19 -s51_bit2 -s51_bit3 -s51_bit4 -s51_bit5 -s51_bit6 -s51_bit7 -s51_bit8 -s51_bit9 s51_bit_1 -s51_bit_10 -s51_bit_2 -s51_bit_3 -s51_bit_4 -s51_bit_5 -s51_bit_6 -s51_bit_7 -s51_bit_8 -s51_bit_9 -s61_bit0 s61_bit1 -s61_bit10 -s61_bit11 -s61_bit12 -s61_bit13 -s61_bit14 -s61_bit15 -s61_bit16 -s61_bit17 -s61_bit18 -s61_bit19 s61_bit2 -s61_bit3 s61_bit4 -s61_bit5 -s61_bit6 -s61_bit7 -s61_bit8 -s61_bit9 -s61_bit_1 -s61_bit_10 -s61_bit_2 -s61_bit_3 -s61_bit_4 -s61_bit_5 -s61_bit_6 -s61_bit_7 -s61_bit_8 -s61_bit_9 -x0_bit0 -x10_bit0 -x11_bit0 -x12_bit0 x13_bit0 -x14_bit0 x15_bit0 -x16_bit0 x17_bit0 x18_bit0 x19_bit0 x1_bit0 -x20_bit0 -x21_bit0 x22_bit0 x23_bit0 -x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 x2_bit0 -x30_bit0 x31_bit0 -x32_bit0 -x33_bit0 -x34_bit0 x35_bit0 -x36_bit0 -x37_bit0 x38_bit0 x39_bit0 -x3_bit0 x40_bit0 -x41_bit0 -x42_bit0 x43_bit0 x44_bit0 -x45_bit0 -x46_bit0 x47_bit0 x48_bit0 x49_bit0 -x4_bit0 x50_bit0 x51_bit0 -x52_bit0 x53_bit0 x54_bit0 -x54_bit_1 -x54_bit_10 -x54_bit_2 -x54_bit_3 -x54_bit_4 -x54_bit_5 -x54_bit_6 -x54_bit_7 -x54_bit_8 -x54_bit_9 x55_bit0 -x55_bit_1 -x55_bit_10 -x55_bit_2 -x55_bit_3 -x55_bit_4 -x55_bit_5 -x55_bit_6 -x55_bit_7 -x55_bit_8 -x55_bit_9 x56_bit0 -x56_bit_1 -x56_bit_10 -x56_bit_2 -x56_bit_3 -x56_bit_4 -x56_bit_5 -x56_bit_6 -x56_bit_7 -x56_bit_8 -x56_bit_9 -x57_bit0 -x57_bit_1 -x57_bit_10 -x57_bit_2 -x57_bit_3 -x57_bit_4 -x57_bit_5 -x57_bit_6 -x57_bit_7 -x57_bit_8 -x57_bit_9 -x58_bit0 x58_bit_1 -x58_bit_10 x58_bit_2 -x58_bit_3 -x58_bit_4 -x58_bit_5 -x58_bit_6 -x58_bit_7 -x58_bit_8 -x58_bit_9 x59_bit0 -x59_bit_1 -x59_bit_10 -x59_bit_2 -x59_bit_3 -x59_bit_4 -x59_bit_5 -x59_bit_6 -x59_bit_7 -x59_bit_8 -x59_bit_9 x5_bit0 x6_bit0 -x7_bit0 -x8_bit0 x9_bit0

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/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21948302 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 373 2 364 364 0 9 0
[pid=8807] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-markshare2_1.opb

[startup+10.0018 s]
Raw data (loadavg): 0.93 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 28903 0 0 0 933 64 0 0 25 0 1 0 21948302 85671936 17756 4294967295 134512640 135987407 3221224560 3221209856 135486786 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 20916 17756 364 364 0 20552 0
[pid=8807] vsize: 83664
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 83664

[startup+20.0025 s]
Raw data (loadavg): 0.94 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 56352 0 0 0 1873 123 0 0 25 0 1 0 21948302 165277696 33981 4294967295 134512640 135987407 3221224560 3221210572 134669203 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 40351 33981 364 364 0 39987 0
[pid=8807] vsize: 161404
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 161404

[startup+30.0072 s]
Raw data (loadavg): 0.95 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 95158 0 0 0 2792 201 0 0 25 0 1 0 21948302 315162624 50589 4294967295 134512640 135987407 3221224560 3221197616 134877708 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 76944 50589 364 364 0 76580 0
[pid=8807] vsize: 307776
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 307776

[startup+40.007 s]
Raw data (loadavg): 0.96 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 110057 0 0 0 3758 235 0 0 25 0 1 0 21948302 319893504 65242 4294967295 134512640 135987407 3221224560 3221211584 134537371 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 78099 65242 364 364 0 77735 0
[pid=8807] vsize: 312396
Current children cumulated CPU time (s) 39.93
Current children cumulated vsize (Kb) 312396

[startup+50.0077 s]
Raw data (loadavg): 0.96 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 151053 0 0 0 4671 317 0 0 25 0 1 0 21948302 516571136 105046 4294967295 134512640 135987407 3221224560 3221203088 134861468 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 126116 105046 364 364 0 125752 0
[pid=8807] vsize: 504464
Current children cumulated CPU time (s) 49.88
Current children cumulated vsize (Kb) 504464

[startup+60.0084 s]
Raw data (loadavg): 0.97 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 188093 0 0 0 5590 399 0 0 25 0 1 0 21948302 586649600 98883 4294967295 134512640 135987407 3221224560 3221210720 134877708 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 143225 98883 364 364 0 142861 0
[pid=8807] vsize: 572900
Current children cumulated CPU time (s) 59.89
Current children cumulated vsize (Kb) 572900

[startup+70.0091 s]
Raw data (loadavg): 0.97 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 200651 0 0 0 6560 427 0 0 25 0 1 0 21948302 608452608 108510 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 148548 108510 364 364 0 148184 0
[pid=8807] vsize: 594192
Current children cumulated CPU time (s) 69.87
Current children cumulated vsize (Kb) 594192

[startup+80.0099 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 210922 0 0 0 7538 448 0 0 25 0 1 0 21948302 639655936 113118 4294967295 134512640 135987407 3221224560 3221222956 134827484 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 156166 113118 364 364 0 155802 0
[pid=8807] vsize: 624664
Current children cumulated CPU time (s) 79.86
Current children cumulated vsize (Kb) 624664

[startup+90.0096 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 213527 0 0 0 8530 456 0 0 25 0 1 0 21948302 628985856 110513 4294967295 134512640 135987407 3221224560 3221223360 134802469 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 153561 110513 364 364 0 153197 0
[pid=8807] vsize: 614244
Current children cumulated CPU time (s) 89.86
Current children cumulated vsize (Kb) 614244

[startup+100.01 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 218737 0 0 0 9517 469 0 0 25 0 1 0 21948302 628985856 110513 4294967295 134512640 135987407 3221224560 3221223264 134817326 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 153561 110513 364 364 0 153197 0
[pid=8807] vsize: 614244
Current children cumulated CPU time (s) 99.86
Current children cumulated vsize (Kb) 614244

[startup+110.011 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 223948 0 0 0 10505 481 0 0 25 0 1 0 21948302 639655936 113119 4294967295 134512640 135987407 3221224560 3221222952 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 156166 113119 364 364 0 155802 0
[pid=8807] vsize: 624664
Current children cumulated CPU time (s) 109.86
Current children cumulated vsize (Kb) 624664

[startup+120.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 229158 0 0 0 11492 494 0 0 25 0 1 0 21948302 639655936 113119 4294967295 134512640 135987407 3221224560 3221222952 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 156166 113119 364 364 0 155802 0
[pid=8807] vsize: 624664
Current children cumulated CPU time (s) 119.86
Current children cumulated vsize (Kb) 624664

[startup+130.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 231763 0 0 0 12486 501 0 0 25 0 1 0 21948302 628985856 110514 4294967295 134512640 135987407 3221224560 3221223360 134802471 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 153561 110514 364 364 0 153197 0
[pid=8807] vsize: 614244
Current children cumulated CPU time (s) 129.87
Current children cumulated vsize (Kb) 614244

[startup+140.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 236973 0 0 0 13473 513 0 0 25 0 1 0 21948302 628985856 110514 4294967295 134512640 135987407 3221224560 3221223264 134818121 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 153561 110514 364 364 0 153197 0
[pid=8807] vsize: 614244
Current children cumulated CPU time (s) 139.86
Current children cumulated vsize (Kb) 614244

[startup+150.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 242184 0 0 0 14462 524 0 0 25 0 1 0 21948302 639655936 113120 4294967295 134512640 135987407 3221224560 3221222952 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 156166 113120 364 364 0 155802 0
[pid=8807] vsize: 624664
Current children cumulated CPU time (s) 149.86
Current children cumulated vsize (Kb) 624664

[startup+160.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 244790 0 0 0 15455 532 0 0 25 0 1 0 21948302 628985856 110516 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 153561 110516 364 364 0 153197 0
[pid=8807] vsize: 614244
Current children cumulated CPU time (s) 159.87
Current children cumulated vsize (Kb) 614244

[startup+170.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 245760 0 0 0 16452 534 0 0 25 0 1 0 21948302 631300096 111034 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 154126 111034 364 364 0 153762 0
[pid=8807] vsize: 616504
Current children cumulated CPU time (s) 169.86
Current children cumulated vsize (Kb) 616504

[startup+180.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 246008 0 0 0 17451 535 0 0 25 0 1 0 21948302 632135680 111184 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 154330 111184 364 364 0 153966 0
[pid=8807] vsize: 617320
Current children cumulated CPU time (s) 179.86
Current children cumulated vsize (Kb) 617320

[startup+190.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 248425 0 0 0 18444 540 0 0 25 0 1 0 21948302 641134592 112819 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 156527 112819 364 364 0 156163 0
[pid=8807] vsize: 626108
Current children cumulated CPU time (s) 189.84
Current children cumulated vsize (Kb) 626108

[startup+200.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 249231 0 0 0 19441 542 0 0 25 0 1 0 21948302 643833856 113171 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 157186 113171 364 364 0 156822 0
[pid=8807] vsize: 628744
Current children cumulated CPU time (s) 199.83
Current children cumulated vsize (Kb) 628744

[startup+210.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 251127 0 0 0 20437 546 0 0 25 0 1 0 21948302 649703424 114142 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 158619 114142 364 364 0 158255 0
[pid=8807] vsize: 634476
Current children cumulated CPU time (s) 209.83
Current children cumulated vsize (Kb) 634476

[startup+220.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 252282 0 0 0 21434 548 0 0 25 0 1 0 21948302 653127680 114615 4294967295 134512640 135987407 3221224560 3221223104 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 159455 114615 364 364 0 159091 0
[pid=8807] vsize: 637820
Current children cumulated CPU time (s) 219.82
Current children cumulated vsize (Kb) 637820

[startup+230.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 254549 0 0 0 22429 553 0 0 25 0 1 0 21948302 659578880 115619 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 161030 115619 364 364 0 160666 0
[pid=8807] vsize: 644120
Current children cumulated CPU time (s) 229.82
Current children cumulated vsize (Kb) 644120

[startup+240.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 255232 0 0 0 23427 555 0 0 25 0 1 0 21948302 661692416 116042 4294967295 134512640 135987407 3221224560 3221223104 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 161546 116042 364 364 0 161182 0
[pid=8807] vsize: 646184
Current children cumulated CPU time (s) 239.82
Current children cumulated vsize (Kb) 646184

[startup+250.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 257328 0 0 0 24422 559 0 0 25 0 1 0 21948302 668532736 117236 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 163216 117236 364 364 0 162852 0
[pid=8807] vsize: 652864
Current children cumulated CPU time (s) 249.81
Current children cumulated vsize (Kb) 652864

[startup+260.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 258459 0 0 0 25419 562 0 0 25 0 1 0 21948302 672083968 117820 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 164083 117820 364 364 0 163719 0
[pid=8807] vsize: 656332
Current children cumulated CPU time (s) 259.81
Current children cumulated vsize (Kb) 656332

[startup+270.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 258987 0 0 0 26417 563 0 0 25 0 1 0 21948302 673132544 118090 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 164339 118090 364 364 0 163975 0
[pid=8807] vsize: 657356
Current children cumulated CPU time (s) 269.8
Current children cumulated vsize (Kb) 657356

[startup+280.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 259965 0 0 0 27414 567 0 0 25 0 1 0 21948302 676331520 118390 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 165120 118390 364 364 0 164756 0
[pid=8807] vsize: 660480
Current children cumulated CPU time (s) 279.81
Current children cumulated vsize (Kb) 660480

[startup+290.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 260749 0 0 0 28411 569 0 0 25 0 1 0 21948302 678572032 118816 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 165667 118816 364 364 0 165303 0
[pid=8807] vsize: 662668
Current children cumulated CPU time (s) 289.8
Current children cumulated vsize (Kb) 662668

[startup+300.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 260960 0 0 0 29410 569 0 0 25 0 1 0 21948302 679628800 119027 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 165925 119027 364 364 0 165561 0
[pid=8807] vsize: 663700
Current children cumulated CPU time (s) 299.79
Current children cumulated vsize (Kb) 663700

[startup+310.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 260988 0 0 0 30410 569 0 0 25 0 1 0 21948302 679628800 119055 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 165925 119055 364 364 0 165561 0
[pid=8807] vsize: 663700
Current children cumulated CPU time (s) 309.79
Current children cumulated vsize (Kb) 663700

[startup+320.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 260991 0 0 0 31409 570 0 0 25 0 1 0 21948302 679628800 119058 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 165925 119058 364 364 0 165561 0
[pid=8807] vsize: 663700
Current children cumulated CPU time (s) 319.79
Current children cumulated vsize (Kb) 663700

[startup+330.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 261168 0 0 0 32408 570 0 0 25 0 1 0 21948302 680685568 119235 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 166183 119235 364 364 0 165819 0
[pid=8807] vsize: 664732
Current children cumulated CPU time (s) 329.78
Current children cumulated vsize (Kb) 664732

[startup+340.022 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 261300 0 0 0 33408 570 0 0 25 0 1 0 21948302 680947712 119302 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 166247 119302 364 364 0 165883 0
[pid=8807] vsize: 664988
Current children cumulated CPU time (s) 339.78
Current children cumulated vsize (Kb) 664988

[startup+350.023 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 261512 0 0 0 34407 571 0 0 25 0 1 0 21948302 682004480 119514 4294967295 134512640 135987407 3221224560 3221223264 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 166505 119514 364 364 0 166141 0
[pid=8807] vsize: 666020
Current children cumulated CPU time (s) 349.78
Current children cumulated vsize (Kb) 666020

[startup+360.023 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 261998 0 0 0 35406 572 0 0 25 0 1 0 21948302 683581440 119742 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 166890 119742 364 364 0 166526 0
[pid=8807] vsize: 667560
Current children cumulated CPU time (s) 359.78
Current children cumulated vsize (Kb) 667560

[startup+370.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 262273 0 0 0 36405 572 0 0 25 0 1 0 21948302 684638208 120017 4294967295 134512640 135987407 3221224560 3221223264 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 167148 120017 364 364 0 166784 0
[pid=8807] vsize: 668592
Current children cumulated CPU time (s) 369.77
Current children cumulated vsize (Kb) 668592

[startup+380.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 262945 0 0 0 37404 574 0 0 25 0 1 0 21948302 686735360 120174 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 167660 120174 364 364 0 167296 0
[pid=8807] vsize: 670640
Current children cumulated CPU time (s) 379.78
Current children cumulated vsize (Kb) 670640

[startup+390.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 263401 0 0 0 38402 575 0 0 25 0 1 0 21948302 688582656 120565 4294967295 134512640 135987407 3221224560 3221223280 134812644 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 168111 120565 364 364 0 167747 0
[pid=8807] vsize: 672444
Current children cumulated CPU time (s) 389.77
Current children cumulated vsize (Kb) 672444

[startup+400.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 263405 0 0 0 39401 575 0 0 25 0 1 0 21948302 688582656 120569 4294967295 134512640 135987407 3221224560 3221223104 134811942 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 168111 120569 364 364 0 167747 0
[pid=8807] vsize: 672444
Current children cumulated CPU time (s) 399.76
Current children cumulated vsize (Kb) 672444

[startup+410.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 263407 0 0 0 40400 575 0 0 25 0 1 0 21948302 688582656 120571 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 168111 120571 364 364 0 167747 0
[pid=8807] vsize: 672444
Current children cumulated CPU time (s) 409.75
Current children cumulated vsize (Kb) 672444

[startup+420.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 263409 0 0 0 41400 576 0 0 25 0 1 0 21948302 688582656 120573 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 168111 120573 364 364 0 167747 0
[pid=8807] vsize: 672444
Current children cumulated CPU time (s) 419.76
Current children cumulated vsize (Kb) 672444

[startup+430.027 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 263429 0 0 0 42400 576 0 0 25 0 1 0 21948302 688582656 120593 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 168111 120593 364 364 0 167747 0
[pid=8807] vsize: 672444
Current children cumulated CPU time (s) 429.76
Current children cumulated vsize (Kb) 672444

[startup+440.027 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 263627 0 0 0 43399 576 0 0 25 0 1 0 21948302 689106944 120662 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 168239 120662 364 364 0 167875 0
[pid=8807] vsize: 672956
Current children cumulated CPU time (s) 439.75
Current children cumulated vsize (Kb) 672956

[startup+450.028 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 263902 0 0 0 44399 577 0 0 25 0 1 0 21948302 690159616 120808 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 168496 120808 364 364 0 168132 0
[pid=8807] vsize: 673984
Current children cumulated CPU time (s) 449.76
Current children cumulated vsize (Kb) 673984

[startup+460.029 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 263907 0 0 0 45398 577 0 0 25 0 1 0 21948302 690159616 120813 4294967295 134512640 135987407 3221224560 3221223104 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 168496 120813 364 364 0 168132 0
[pid=8807] vsize: 673984
Current children cumulated CPU time (s) 459.75
Current children cumulated vsize (Kb) 673984

[startup+470.028 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 266653 0 0 0 46391 584 0 0 25 0 1 0 21948302 701353984 123430 4294967295 134512640 135987407 3221224560 3221222952 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 171229 123430 364 364 0 170865 0
[pid=8807] vsize: 684916
Current children cumulated CPU time (s) 469.75
Current children cumulated vsize (Kb) 684916

[startup+480.029 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 269273 0 0 0 47384 591 0 0 25 0 1 0 21948302 690683904 120840 4294967295 134512640 135987407 3221224560 3221223104 134811896 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 168624 120840 364 364 0 168260 0
[pid=8807] vsize: 674496
Current children cumulated CPU time (s) 479.75
Current children cumulated vsize (Kb) 674496

[startup+490.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 269289 0 0 0 48383 592 0 0 25 0 1 0 21948302 690683904 120856 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 168624 120856 364 364 0 168260 0
[pid=8807] vsize: 674496
Current children cumulated CPU time (s) 489.75
Current children cumulated vsize (Kb) 674496

[startup+500.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 269293 0 0 0 49382 592 0 0 25 0 1 0 21948302 690683904 120860 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 168624 120860 364 364 0 168260 0
[pid=8807] vsize: 674496
Current children cumulated CPU time (s) 499.74
Current children cumulated vsize (Kb) 674496

[startup+510.031 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 269297 0 0 0 50382 592 0 0 25 0 1 0 21948302 690683904 120864 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 168624 120864 364 364 0 168260 0
[pid=8807] vsize: 674496
Current children cumulated CPU time (s) 509.74
Current children cumulated vsize (Kb) 674496

[startup+520.031 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 269446 0 0 0 51381 593 0 0 25 0 1 0 21948302 691208192 120884 4294967295 134512640 135987407 3221224560 3221223104 134812005 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 168752 120884 364 364 0 168388 0
[pid=8807] vsize: 675008
Current children cumulated CPU time (s) 519.74
Current children cumulated vsize (Kb) 675008

[startup+530.032 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 269481 0 0 0 52381 593 0 0 25 0 1 0 21948302 691208192 120919 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 168752 120919 364 364 0 168388 0
[pid=8807] vsize: 675008
Current children cumulated CPU time (s) 529.74
Current children cumulated vsize (Kb) 675008

[startup+540.031 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 269487 0 0 0 53380 593 0 0 25 0 1 0 21948302 691208192 120925 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 168752 120925 364 364 0 168388 0
[pid=8807] vsize: 675008
Current children cumulated CPU time (s) 539.73
Current children cumulated vsize (Kb) 675008

[startup+550.031 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 269568 0 0 0 54380 594 0 0 25 0 1 0 21948302 691208192 121006 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 168752 121006 364 364 0 168388 0
[pid=8807] vsize: 675008
Current children cumulated CPU time (s) 549.74
Current children cumulated vsize (Kb) 675008

[startup+560.032 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 269571 0 0 0 55379 594 0 0 25 0 1 0 21948302 691208192 121009 4294967295 134512640 135987407 3221224560 3221223104 134788831 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 168752 121009 364 364 0 168388 0
[pid=8807] vsize: 675008
Current children cumulated CPU time (s) 559.73
Current children cumulated vsize (Kb) 675008

[startup+570.033 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 269595 0 0 0 56379 594 0 0 25 0 1 0 21948302 691208192 121033 4294967295 134512640 135987407 3221224560 3221223104 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 168752 121033 364 364 0 168388 0
[pid=8807] vsize: 675008
Current children cumulated CPU time (s) 569.73
Current children cumulated vsize (Kb) 675008

[startup+580.033 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 269598 0 0 0 57378 595 0 0 25 0 1 0 21948302 691208192 121036 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 168752 121036 364 364 0 168388 0
[pid=8807] vsize: 675008
Current children cumulated CPU time (s) 579.73
Current children cumulated vsize (Kb) 675008

[startup+590.033 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 269667 0 0 0 58378 595 0 0 25 0 1 0 21948302 691208192 121105 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 168752 121105 364 364 0 168388 0
[pid=8807] vsize: 675008
Current children cumulated CPU time (s) 589.73
Current children cumulated vsize (Kb) 675008

[startup+600.033 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 269712 0 0 0 59377 595 0 0 25 0 1 0 21948302 691208192 121150 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 168752 121150 364 364 0 168388 0
[pid=8807] vsize: 675008
Current children cumulated CPU time (s) 599.72
Current children cumulated vsize (Kb) 675008

[startup+610.033 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 269750 0 0 0 60377 595 0 0 25 0 1 0 21948302 691208192 121188 4294967295 134512640 135987407 3221224560 3221223104 134811822 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 168752 121188 364 364 0 168388 0
[pid=8807] vsize: 675008
Current children cumulated CPU time (s) 609.72
Current children cumulated vsize (Kb) 675008

[startup+620.033 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 270271 0 0 0 61376 596 0 0 25 0 1 0 21948302 692527104 121482 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 169074 121482 364 364 0 168710 0
[pid=8807] vsize: 676296
Current children cumulated CPU time (s) 619.72
Current children cumulated vsize (Kb) 676296

[startup+630.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 270655 0 0 0 62375 597 0 0 25 0 1 0 21948302 693313536 121672 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 169266 121672 364 364 0 168902 0
[pid=8807] vsize: 677064
Current children cumulated CPU time (s) 629.72
Current children cumulated vsize (Kb) 677064

[startup+640.035 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 270656 0 0 0 63374 597 0 0 25 0 1 0 21948302 693313536 121673 4294967295 134512640 135987407 3221224560 3221223104 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 169266 121673 364 364 0 168902 0
[pid=8807] vsize: 677064
Current children cumulated CPU time (s) 639.71
Current children cumulated vsize (Kb) 677064

[startup+650.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 270660 0 0 0 64374 597 0 0 25 0 1 0 21948302 693313536 121677 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 169266 121677 364 364 0 168902 0
[pid=8807] vsize: 677064
Current children cumulated CPU time (s) 649.71
Current children cumulated vsize (Kb) 677064

[startup+660.035 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 270671 0 0 0 65373 598 0 0 25 0 1 0 21948302 693313536 121688 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 169266 121688 364 364 0 168902 0
[pid=8807] vsize: 677064
Current children cumulated CPU time (s) 659.71
Current children cumulated vsize (Kb) 677064

[startup+670.036 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 270673 0 0 0 66373 598 0 0 25 0 1 0 21948302 693313536 121690 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 169266 121690 364 364 0 168902 0
[pid=8807] vsize: 677064
Current children cumulated CPU time (s) 669.71
Current children cumulated vsize (Kb) 677064

[startup+680.037 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 270703 0 0 0 67373 598 0 0 25 0 1 0 21948302 693313536 121720 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 169266 121720 364 364 0 168902 0
[pid=8807] vsize: 677064
Current children cumulated CPU time (s) 679.71
Current children cumulated vsize (Kb) 677064

[startup+690.036 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 270707 0 0 0 68372 598 0 0 25 0 1 0 21948302 693313536 121724 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 169266 121724 364 364 0 168902 0
[pid=8807] vsize: 677064
Current children cumulated CPU time (s) 689.7
Current children cumulated vsize (Kb) 677064

[startup+700.036 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 270743 0 0 0 69372 598 0 0 25 0 1 0 21948302 693579776 121760 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 169331 121760 364 364 0 168967 0
[pid=8807] vsize: 677324
Current children cumulated CPU time (s) 699.7
Current children cumulated vsize (Kb) 677324

[startup+710.037 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 270745 0 0 0 70371 599 0 0 25 0 1 0 21948302 693579776 121762 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 169331 121762 364 364 0 168967 0
[pid=8807] vsize: 677324
Current children cumulated CPU time (s) 709.7
Current children cumulated vsize (Kb) 677324

[startup+720.036 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 270748 0 0 0 71371 599 0 0 25 0 1 0 21948302 693579776 121765 4294967295 134512640 135987407 3221224560 3221223280 134812597 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 169331 121765 364 364 0 168967 0
[pid=8807] vsize: 677324
Current children cumulated CPU time (s) 719.7
Current children cumulated vsize (Kb) 677324

[startup+730.037 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 270751 0 0 0 72371 599 0 0 25 0 1 0 21948302 693579776 121768 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 169331 121768 364 364 0 168967 0
[pid=8807] vsize: 677324
Current children cumulated CPU time (s) 729.7
Current children cumulated vsize (Kb) 677324

[startup+740.038 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 270756 0 0 0 73371 599 0 0 25 0 1 0 21948302 693579776 121773 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 169331 121773 364 364 0 168967 0
[pid=8807] vsize: 677324
Current children cumulated CPU time (s) 739.7
Current children cumulated vsize (Kb) 677324

[startup+750.038 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 270758 0 0 0 74370 599 0 0 25 0 1 0 21948302 693579776 121775 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 169331 121775 364 364 0 168967 0
[pid=8807] vsize: 677324
Current children cumulated CPU time (s) 749.69
Current children cumulated vsize (Kb) 677324

[startup+760.038 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 270780 0 0 0 75370 599 0 0 25 0 1 0 21948302 693579776 121797 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 169331 121797 364 364 0 168967 0
[pid=8807] vsize: 677324
Current children cumulated CPU time (s) 759.69
Current children cumulated vsize (Kb) 677324

[startup+770.038 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 270784 0 0 0 76370 600 0 0 25 0 1 0 21948302 693579776 121801 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 169331 121801 364 364 0 168967 0
[pid=8807] vsize: 677324
Current children cumulated CPU time (s) 769.7
Current children cumulated vsize (Kb) 677324

[startup+780.039 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 271268 0 0 0 77369 601 0 0 25 0 1 0 21948302 694890496 121962 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 169651 121962 364 364 0 169287 0
[pid=8807] vsize: 678604
Current children cumulated CPU time (s) 779.7
Current children cumulated vsize (Kb) 678604

[startup+790.039 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 271327 0 0 0 78368 601 0 0 25 0 1 0 21948302 694890496 122021 4294967295 134512640 135987407 3221224560 3221223232 134824722 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 169651 122021 364 364 0 169287 0
[pid=8807] vsize: 678604
Current children cumulated CPU time (s) 789.69
Current children cumulated vsize (Kb) 678604

[startup+800.039 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 271331 0 0 0 79368 601 0 0 25 0 1 0 21948302 694890496 122025 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 169651 122025 364 364 0 169287 0
[pid=8807] vsize: 678604
Current children cumulated CPU time (s) 799.69
Current children cumulated vsize (Kb) 678604

[startup+810.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 271335 0 0 0 80368 601 0 0 25 0 1 0 21948302 694890496 122029 4294967295 134512640 135987407 3221224560 3221223104 134812135 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 169651 122029 364 364 0 169287 0
[pid=8807] vsize: 678604
Current children cumulated CPU time (s) 809.69
Current children cumulated vsize (Kb) 678604

[startup+820.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 271355 0 0 0 81368 601 0 0 25 0 1 0 21948302 694890496 122049 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 169651 122049 364 364 0 169287 0
[pid=8807] vsize: 678604
Current children cumulated CPU time (s) 819.69
Current children cumulated vsize (Kb) 678604

[startup+830.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 271382 0 0 0 82367 601 0 0 25 0 1 0 21948302 694890496 122076 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 169651 122076 364 364 0 169287 0
[pid=8807] vsize: 678604
Current children cumulated CPU time (s) 829.68
Current children cumulated vsize (Kb) 678604

[startup+840.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 271449 0 0 0 83367 602 0 0 25 0 1 0 21948302 694890496 122143 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 169651 122143 364 364 0 169287 0
[pid=8807] vsize: 678604
Current children cumulated CPU time (s) 839.69
Current children cumulated vsize (Kb) 678604

[startup+850.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 271451 0 0 0 84367 602 0 0 25 0 1 0 21948302 694890496 122145 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 169651 122145 364 364 0 169287 0
[pid=8807] vsize: 678604
Current children cumulated CPU time (s) 849.69
Current children cumulated vsize (Kb) 678604

[startup+860.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 271466 0 0 0 85366 602 0 0 25 0 1 0 21948302 694890496 122160 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 169651 122160 364 364 0 169287 0
[pid=8807] vsize: 678604
Current children cumulated CPU time (s) 859.68
Current children cumulated vsize (Kb) 678604

[startup+870.039 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 271467 0 0 0 86366 602 0 0 25 0 1 0 21948302 694890496 122161 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 169651 122161 364 364 0 169287 0
[pid=8807] vsize: 678604
Current children cumulated CPU time (s) 869.68
Current children cumulated vsize (Kb) 678604

[startup+880.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 271469 0 0 0 87366 602 0 0 25 0 1 0 21948302 694890496 122163 4294967295 134512640 135987407 3221224560 3221223104 134788738 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 169651 122163 364 364 0 169287 0
[pid=8807] vsize: 678604
Current children cumulated CPU time (s) 879.68
Current children cumulated vsize (Kb) 678604

[startup+890.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 271472 0 0 0 88366 602 0 0 25 0 1 0 21948302 694890496 122166 4294967295 134512640 135987407 3221224560 3221223104 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 169651 122166 364 364 0 169287 0
[pid=8807] vsize: 678604
Current children cumulated CPU time (s) 889.68
Current children cumulated vsize (Kb) 678604

[startup+900.039 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 271473 0 0 0 89366 602 0 0 25 0 1 0 21948302 694890496 122167 4294967295 134512640 135987407 3221224560 3221223104 134811966 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 169651 122167 364 364 0 169287 0
[pid=8807] vsize: 678604
Current children cumulated CPU time (s) 899.68
Current children cumulated vsize (Kb) 678604

[startup+910.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 271475 0 0 0 90365 603 0 0 25 0 1 0 21948302 694890496 122169 4294967295 134512640 135987407 3221224560 3221223104 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 169651 122169 364 364 0 169287 0
[pid=8807] vsize: 678604
Current children cumulated CPU time (s) 909.68
Current children cumulated vsize (Kb) 678604

[startup+920.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 271476 0 0 0 91365 603 0 0 25 0 1 0 21948302 694890496 122170 4294967295 134512640 135987407 3221224560 3221223264 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 169651 122170 364 364 0 169287 0
[pid=8807] vsize: 678604
Current children cumulated CPU time (s) 919.68
Current children cumulated vsize (Kb) 678604

[startup+930.041 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 271478 0 0 0 92365 603 0 0 25 0 1 0 21948302 694890496 122172 4294967295 134512640 135987407 3221224560 3221223104 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 169651 122172 364 364 0 169287 0
[pid=8807] vsize: 678604
Current children cumulated CPU time (s) 929.68
Current children cumulated vsize (Kb) 678604

[startup+940.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 271480 0 0 0 93365 603 0 0 25 0 1 0 21948302 694890496 122174 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 169651 122174 364 364 0 169287 0
[pid=8807] vsize: 678604
Current children cumulated CPU time (s) 939.68
Current children cumulated vsize (Kb) 678604

[startup+950.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 271809 0 0 0 94363 604 0 0 25 0 1 0 21948302 695939072 122246 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 169907 122246 364 364 0 169543 0
[pid=8807] vsize: 679628
Current children cumulated CPU time (s) 949.67
Current children cumulated vsize (Kb) 679628

[startup+960.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 271811 0 0 0 95363 604 0 0 25 0 1 0 21948302 695939072 122248 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 169907 122248 364 364 0 169543 0
[pid=8807] vsize: 679628
Current children cumulated CPU time (s) 959.67
Current children cumulated vsize (Kb) 679628

[startup+970.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 271857 0 0 0 96363 604 0 0 25 0 1 0 21948302 695939072 122294 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 169907 122294 364 364 0 169543 0
[pid=8807] vsize: 679628
Current children cumulated CPU time (s) 969.67
Current children cumulated vsize (Kb) 679628

[startup+980.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 271858 0 0 0 97363 605 0 0 25 0 1 0 21948302 695939072 122295 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 169907 122295 364 364 0 169543 0
[pid=8807] vsize: 679628
Current children cumulated CPU time (s) 979.68
Current children cumulated vsize (Kb) 679628

[startup+990.041 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 272015 0 0 0 98362 605 0 0 25 0 1 0 21948302 696463360 122323 4294967295 134512640 135987407 3221224560 3221223200 134812447 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 170035 122323 364 364 0 169671 0
[pid=8807] vsize: 680140
Current children cumulated CPU time (s) 989.67
Current children cumulated vsize (Kb) 680140

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 272259 0 0 0 99360 606 0 0 25 0 1 0 21948302 696987648 122438 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 170163 122438 364 364 0 169799 0
[pid=8807] vsize: 680652
Current children cumulated CPU time (s) 999.66
Current children cumulated vsize (Kb) 680652

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 272440 0 0 0 100360 607 0 0 25 0 1 0 21948302 697511936 122490 4294967295 134512640 135987407 3221224560 3221223104 134812033 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 170291 122490 364 364 0 169927 0
[pid=8807] vsize: 681164
Current children cumulated CPU time (s) 1009.67
Current children cumulated vsize (Kb) 681164

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 272449 0 0 0 101360 607 0 0 25 0 1 0 21948302 697511936 122499 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 170291 122499 364 364 0 169927 0
[pid=8807] vsize: 681164
Current children cumulated CPU time (s) 1019.67
Current children cumulated vsize (Kb) 681164

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 272967 0 0 0 102359 608 0 0 25 0 1 0 21948302 699084800 122631 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 170675 122631 364 364 0 170311 0
[pid=8807] vsize: 682700
Current children cumulated CPU time (s) 1029.67
Current children cumulated vsize (Kb) 682700

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 273036 0 0 0 103358 609 0 0 25 0 1 0 21948302 699084800 122700 4294967295 134512640 135987407 3221224560 3221223104 134811937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 170675 122700 364 364 0 170311 0
[pid=8807] vsize: 682700
Current children cumulated CPU time (s) 1039.67
Current children cumulated vsize (Kb) 682700

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 273039 0 0 0 104358 609 0 0 25 0 1 0 21948302 699084800 122703 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 170675 122703 364 364 0 170311 0
[pid=8807] vsize: 682700
Current children cumulated CPU time (s) 1049.67
Current children cumulated vsize (Kb) 682700

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 273044 0 0 0 105358 609 0 0 25 0 1 0 21948302 699084800 122708 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 170675 122708 364 364 0 170311 0
[pid=8807] vsize: 682700
Current children cumulated CPU time (s) 1059.67
Current children cumulated vsize (Kb) 682700

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 273080 0 0 0 106357 609 0 0 25 0 1 0 21948302 699084800 122744 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 170675 122744 364 364 0 170311 0
[pid=8807] vsize: 682700
Current children cumulated CPU time (s) 1069.66
Current children cumulated vsize (Kb) 682700

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 273222 0 0 0 107356 610 0 0 25 0 1 0 21948302 699609088 122757 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 170803 122757 364 364 0 170439 0
[pid=8807] vsize: 683212
Current children cumulated CPU time (s) 1079.66
Current children cumulated vsize (Kb) 683212

[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 273680 0 0 0 108355 611 0 0 25 0 1 0 21948302 700657664 122958 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 171059 122958 364 364 0 170695 0
[pid=8807] vsize: 684236
Current children cumulated CPU time (s) 1089.66
Current children cumulated vsize (Kb) 684236

[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 273716 0 0 0 109354 611 0 0 25 0 1 0 21948302 700657664 122994 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 171059 122994 364 364 0 170695 0
[pid=8807] vsize: 684236
Current children cumulated CPU time (s) 1099.65
Current children cumulated vsize (Kb) 684236

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 274628 0 0 0 110351 613 0 0 25 0 1 0 21948302 702898176 123483 4294967295 134512640 135987407 3221224560 3221223104 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 171606 123483 364 364 0 171242 0
[pid=8807] vsize: 686424
Current children cumulated CPU time (s) 1109.64
Current children cumulated vsize (Kb) 686424

[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 274823 0 0 0 111351 614 0 0 25 0 1 0 21948302 703422464 123549 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 171734 123549 364 364 0 171370 0
[pid=8807] vsize: 686936
Current children cumulated CPU time (s) 1119.65
Current children cumulated vsize (Kb) 686936

[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 274825 0 0 0 112351 614 0 0 25 0 1 0 21948302 703422464 123551 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 171734 123551 364 364 0 171370 0
[pid=8807] vsize: 686936
Current children cumulated CPU time (s) 1129.65
Current children cumulated vsize (Kb) 686936

[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 274964 0 0 0 113350 614 0 0 25 0 1 0 21948302 704086016 123657 4294967295 134512640 135987407 3221224560 3221223280 134812873 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 171896 123657 364 364 0 171532 0
[pid=8807] vsize: 687584
Current children cumulated CPU time (s) 1139.64
Current children cumulated vsize (Kb) 687584

[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 275469 0 0 0 114349 615 0 0 25 0 1 0 21948302 705396736 123839 4294967295 134512640 135987407 3221224560 3221223264 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 172216 123839 364 364 0 171852 0
[pid=8807] vsize: 688864
Current children cumulated CPU time (s) 1149.64
Current children cumulated vsize (Kb) 688864

[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 275861 0 0 0 115348 616 0 0 25 0 1 0 21948302 706445312 123974 4294967295 134512640 135987407 3221224560 3221223104 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 172472 123974 364 364 0 172108 0
[pid=8807] vsize: 689888
Current children cumulated CPU time (s) 1159.64
Current children cumulated vsize (Kb) 689888

[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 275938 0 0 0 116348 616 0 0 25 0 1 0 21948302 706445312 124051 4294967295 134512640 135987407 3221224560 3221223104 134812138 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 172472 124051 364 364 0 172108 0
[pid=8807] vsize: 689888
Current children cumulated CPU time (s) 1169.64
Current children cumulated vsize (Kb) 689888

[startup+1180.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 276347 0 0 0 117346 617 0 0 25 0 1 0 21948302 707493888 124201 4294967295 134512640 135987407 3221224560 3221223200 134812447 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 172728 124201 364 364 0 172364 0
[pid=8807] vsize: 690912
Current children cumulated CPU time (s) 1179.63
Current children cumulated vsize (Kb) 690912

[startup+1190.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 276349 0 0 0 118346 617 0 0 25 0 1 0 21948302 707493888 124203 4294967295 134512640 135987407 3221224560 3221223200 134812377 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 172728 124203 364 364 0 172364 0
[pid=8807] vsize: 690912
Current children cumulated CPU time (s) 1189.63
Current children cumulated vsize (Kb) 690912

[startup+1200.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 276487 0 0 0 119345 618 0 0 25 0 1 0 21948302 707756032 124276 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 172792 124276 364 364 0 172428 0
[pid=8807] vsize: 691168
Current children cumulated CPU time (s) 1199.63
Current children cumulated vsize (Kb) 691168

[startup+1210.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 276716 0 0 0 120344 618 0 0 25 0 1 0 21948302 708280320 124375 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 172920 124375 364 364 0 172556 0
[pid=8807] vsize: 691680
Current children cumulated CPU time (s) 1209.62
Current children cumulated vsize (Kb) 691680



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4059 0 -1 0 276716 0 0 0 120344 618 0 0 25 0 1 0 21948302 708280320 124375 4294967295 134512640 135987407 3221224560 3221222992 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 172920 124375 364 364 0 172556 0
[pid=8807] vsize: 691680
Current children cumulated CPU time (s) 1209.62
Current children cumulated vsize (Kb) 691680

Sending SIGTERM to -8807
Sleeping 2 seconds
Sending SIGKILL to -8807
One traced child (pid=8807) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1212.18
CPU time (s): 1211.75
CPU user time (s): 1205.31
CPU system time (s): 6.43702
CPU usage (%): 99.965
Max. virtual memory (cumulated for all children) (Kb): 691680

Verifier Data

Verifier:	OK	91392