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

Nameweb/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
MD5SUM4caec1e880871fcef3276cf001aca352
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 104
Number of bits of the biggest sum of numbers7
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark22.9405
Number of variables4632
Total number of constraints35596
Number of constraints which are clauses29940
Number of constraints which are cardinality constraints (but not clauses)5578
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint1
Maximum length of a constraint29

Trace number 9911

Launcher Data

LAUNCH ON wulflinc24 THE 2005-09-23 15:49:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8592 boxname=wulflinc24 idbench=388 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4caec1e880871fcef3276cf001aca352  /oldhome/oroussel/tmp/wulflinc24/normalized-ppp:1-13.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc24/normalized-ppp:1-13.opb
IDLAUNCH: 8592
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.047
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.047
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        896612 kB
Buffers:         15020 kB
Cached:         103708 kB
SwapCached:          0 kB
Active:          67152 kB
Inactive:        54480 kB
HighTotal:      131008 kB
HighFree:        25424 kB
LowTotal:       903652 kB
LowFree:        871188 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            10800 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 16:11:35 (client local time) WITH STATUS 0 IN 1202.5 SECONDS
stats: 8592 7 1202.5 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 7790/28702	Time: 33.6259/86400
c Decision: 7790/28702	Time: 39.439/86400
c Decision: 7790/28702	Time: 44.6992/86400
c Decision: 7790/28702	Time: 49.8654/86400
c Decision: 7790/28702	Time: 55.7045/86400
c Decision: 7790/28702	Time: 61.3617/86400
c Decision: 7790/28702	Time: 68.1176/86400
c Decision: 7790/28702	Time: 73.4068/86400
c Decision: 7790/28702	Time: 79.5809/86400
c Decision: 7790/28702	Time: 84.7871/86400
c Decision: 7790/28702	Time: 91.3781/86400
c Decision: 7790/28702	Time: 97.3292/86400
c Decision: 7790/28702	Time: 103.714/86400
c Decision: 7790/28702	Time: 110.103/86400
c Decision: 7790/28702	Time: 116.561/86400
c Decision: 7790/28702	Time: 122.685/86400
c Decision: 7790/28702	Time: 129.476/86400
c Decision: 7790/28702	Time: 136.141/86400
c Decision: 7790/28702	Time: 142.28/86400
c Decision: 7790/28702	Time: 148.725/86400
c Decision: 7790/28702	Time: 155.572/86400
c Decision: 7790/28702	Time: 163.385/86400
c Decision: 7790/28702	Time: 170.65/86400
c Decision: 7790/28702	Time: 177.149/86400
c Decision: 7790/28702	Time: 183.763/86400
c Decision: 7790/28702	Time: 191.497/86400
c Decision: 7790/28702	Time: 198.214/86400
c Decision: 7790/28702	Time: 205.436/86400
c Decision: 7790/28702	Time: 212.148/86400
c Decision: 7790/28702	Time: 219.261/86400
c Decision: 7790/28702	Time: 226.484/86400
c Decision: 7790/28702	Time: 234.334/86400
c Decision: 7790/28702	Time: 243.043/86400
c Decision: 7790/28702	Time: 250.333/86400
c Decision: 7790/28702	Time: 257.983/86400
c Decision: 7790/28702	Time: 265.846/86400
c Decision: 7790/28702	Time: 273.255/86400
c Decision: 7790/28702	Time: 281.392/86400
c Decision: 7790/28702	Time: 290.725/86400
c Decision: 7790/28702	Time: 299.643/86400
c Decision: 7790/28702	Time: 309.042/86400
c Decision: 7790/28702	Time: 316.777/86400
c Decision: 7790/28702	Time: 324.796/86400
c Decision: 7790/28702	Time: 333.596/86400
c Decision: 7790/28702	Time: 342.75/86400
c Decision: 7790/28702	Time: 350.244/86400
c Decision: 7790/28702	Time: 359.642/86400
c Decision: 7790/28702	Time: 369.704/86400
c Decision: 7790/28702	Time: 377.848/86400
c Decision: 7790/28702	Time: 385.819/86400
c Decision: 7790/28702	Time: 394.18/86400
c Decision: 7790/28702	Time: 402.841/86400
c Decision: 7790/28702	Time: 411.823/86400
c Decision: 7790/28702	Time: 420.259/86400
c Decision: 7790/28702	Time: 429.115/86400
c Decision: 7790/28702	Time: 438.381/86400
c Decision: 7790/28702	Time: 446.829/86400
c Decision: 7790/28702	Time: 455.082/86400
c Decision: 7790/28702	Time: 463.551/86400
c Decision: 7790/28702	Time: 472.729/86400
c Decision: 7790/28702	Time: 481.593/86400
c Decision: 7790/28702	Time: 492.663/86400
c Decision: 7790/28702	Time: 501.136/86400
c Decision: 7790/28702	Time: 511.129/86400
c Decision: 7790/28702	Time: 521.701/86400
c Decision: 7790/28702	Time: 532.698/86400
c Decision: 7790/28702	Time: 542.915/86400
c Decision: 7790/28702	Time: 552.939/86400
c Decision: 7790/28702	Time: 561.242/86400
c Decision: 7790/28702	Time: 571.383/86400
c Decision: 7790/28702	Time: 580.901/86400
c Decision: 7790/28702	Time: 592.149/86400
c Decision: 7790/28702	Time: 601.974/86400
c Decision: 7790/28702	Time: 612.56/86400
c Decision: 7790/28702	Time: 622.798/86400
c Decision: 7790/28702	Time: 633.043/86400
c Decision: 7790/28702	Time: 642.349/86400
c Decision: 7790/28702	Time: 651.506/86400
c Decision: 7790/28702	Time: 660.964/86400
c Decision: 7790/28702	Time: 669.238/86400
c Decision: 7790/28702	Time: 678.051/86400
c Decision: 7790/28702	Time: 685.852/86400
c Decision: 7790/28702	Time: 694.684/86400
c Decision: 7790/28702	Time: 703.641/86400
c Decision: 7790/28702	Time: 713.117/86400
c Decision: 7790/28702	Time: 721.132/86400
c Decision: 7790/28702	Time: 729.065/86400
c Decision: 7790/28702	Time: 738.639/86400
c Decision: 7790/28702	Time: 748.629/86400
c Decision: 7790/28702	Time: 758.015/86400
c Decision: 7790/28702	Time: 766.804/86400
c Decision: 7790/28702	Time: 777.393/86400
c Decision: 7790/28702	Time: 788.236/86400
c Decision: 7790/28702	Time: 797.21/86400
c Decision: 7790/28702	Time: 807.294/86400
c Decision: 7790/28702	Time: 817.262/86400
c Decision: 7790/28702	Time: 827.62/86400
c Decision: 7790/28702	Time: 838.136/86400
c Decision: 7790/28702	Time: 846.87/86400
c Decision: 7790/28702	Time: 856.256/86400
c Decision: 7790/28702	Time: 866.653/86400
c Decision: 7790/28702	Time: 874.314/86400
c Decision: 7790/28702	Time: 882.378/86400
c Decision: 7790/28702	Time: 891.764/86400
c Decision: 7790/28702	Time: 902.326/86400
c Decision: 7790/28702	Time: 912.452/86400
c Decision: 7790/28702	Time: 923.195/86400
c Decision: 7790/28702	Time: 933.595/86400
c Decision: 7790/28702	Time: 944.024/86400
c Decision: 7790/28702	Time: 955.637/86400
c Decision: 7790/28702	Time: 966.468/86400
c Decision: 7790/28702	Time: 977.912/86400
c Decision: 7790/28702	Time: 988.112/86400
c Decision: 7790/28702	Time: 999.989/86400
c Decision: 7790/28702	Time: 1010.93/86400
c Decision: 7790/28702	Time: 1023.3/86400
c Decision: 7790/28702	Time: 1034.54/86400
c Decision: 7790/28702	Time: 1045.41/86400
c Decision: 7790/28702	Time: 1055.59/86400
c Decision: 7790/28702	Time: 1067.04/86400
c Decision: 7790/28702	Time: 1080.1/86400
c Decision: 7790/28702	Time: 1091.71/86400
c Decision: 7790/28702	Time: 1104.02/86400
c Decision: 7790/28702	Time: 1116.81/86400
c Decision: 7790/28702	Time: 1128.87/86400
c Decision: 7790/28702	Time: 1142.19/86400
c Decision: 7790/28702	Time: 1157.56/86400
c Decision: 7790/28702	Time: 1170.08/86400
c Decision: 7790/28702	Time: 1182.35/86400
c Decision: 7790/28702	Time: 1196.03/86400s UNKNOWN

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/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21393631 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8230/statm): 373 2 364 364 0 9 0
[pid=8230] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc24/normalized-ppp:1-13.opb

[startup+10.0012 s]
Raw data (loadavg): 0.88 0.94 0.94 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 4370 0 0 0 879 47 0 0 25 0 1 0 21393631 14082048 2983 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 3438 2983 364 364 0 3074 0
[pid=8230] vsize: 13752
Current children cumulated CPU time (s) 9.26
Current children cumulated vsize (Kb) 13752

[startup+20.0019 s]
Raw data (loadavg): 0.89 0.94 0.94 2/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 4598 0 0 0 1741 94 0 0 25 0 1 0 21393631 16584704 3211 4294967295 134512640 135987407 3221224576 3221223152 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8230/statm): 4049 3211 364 364 0 3685 0
[pid=8230] vsize: 16196
Current children cumulated CPU time (s) 18.35
Current children cumulated vsize (Kb) 16196

[startup+30.0026 s]
Raw data (loadavg): 0.91 0.94 0.94 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 4701 0 0 0 2595 142 0 0 25 0 1 0 21393631 16850944 3314 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 4114 3314 364 364 0 3750 0
[pid=8230] vsize: 16456
Current children cumulated CPU time (s) 27.37
Current children cumulated vsize (Kb) 16456

[startup+40.0033 s]
Raw data (loadavg): 0.92 0.94 0.94 2/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 4789 0 0 0 3438 195 0 0 25 0 1 0 21393631 16986112 3402 4294967295 134512640 135987407 3221224576 3221223424 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8230/statm): 4147 3402 364 364 0 3783 0
[pid=8230] vsize: 16588
Current children cumulated CPU time (s) 36.33
Current children cumulated vsize (Kb) 16588

[startup+50.004 s]
Raw data (loadavg): 0.93 0.94 0.94 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 4978 0 0 0 4282 246 0 0 23 0 1 0 21393631 17256448 3477 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8230/statm): 4213 3477 364 364 0 3849 0
[pid=8230] vsize: 16852
Current children cumulated CPU time (s) 45.28
Current children cumulated vsize (Kb) 16852

[startup+60.0037 s]
Raw data (loadavg): 0.94 0.94 0.94 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 5125 0 0 0 5124 298 0 0 25 0 1 0 21393631 17391616 3510 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 4246 3510 364 364 0 3882 0
[pid=8230] vsize: 16984
Current children cumulated CPU time (s) 54.22
Current children cumulated vsize (Kb) 16984

[startup+70.0044 s]
Raw data (loadavg): 0.95 0.95 0.94 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 5232 0 0 0 5956 353 0 0 25 0 1 0 21393631 17526784 3560 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 4279 3560 364 364 0 3915 0
[pid=8230] vsize: 17116
Current children cumulated CPU time (s) 63.09
Current children cumulated vsize (Kb) 17116

[startup+80.0051 s]
Raw data (loadavg): 0.96 0.95 0.94 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 5323 0 0 0 6806 403 0 0 25 0 1 0 21393631 17526784 3594 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 4279 3594 364 364 0 3915 0
[pid=8230] vsize: 17116
Current children cumulated CPU time (s) 72.09
Current children cumulated vsize (Kb) 17116

[startup+90.0058 s]
Raw data (loadavg): 0.96 0.95 0.94 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 5478 0 0 0 7653 454 0 0 25 0 1 0 21393631 17666048 3635 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 4313 3635 364 364 0 3949 0
[pid=8230] vsize: 17252
Current children cumulated CPU time (s) 81.07
Current children cumulated vsize (Kb) 17252

[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.94 2/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 5666 0 0 0 8514 497 0 0 25 0 1 0 21393631 17801216 3709 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8230/statm): 4346 3709 364 364 0 3982 0
[pid=8230] vsize: 17384
Current children cumulated CPU time (s) 90.11
Current children cumulated vsize (Kb) 17384

[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.94 2/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 5764 0 0 0 9373 543 0 0 21 0 1 0 21393631 17801216 3750 4294967295 134512640 135987407 3221224576 3221223424 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8230/statm): 4346 3750 364 364 0 3982 0
[pid=8230] vsize: 17384
Current children cumulated CPU time (s) 99.16
Current children cumulated vsize (Kb) 17384

[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.94 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 5907 0 0 0 10236 589 0 0 25 0 1 0 21393631 17936384 3779 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 4379 3779 364 364 0 4015 0
[pid=8230] vsize: 17516
Current children cumulated CPU time (s) 108.25
Current children cumulated vsize (Kb) 17516

[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.94 2/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 5992 0 0 0 11089 639 0 0 25 0 1 0 21393631 18071552 3807 4294967295 134512640 135987407 3221224576 3221223264 134811722 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8230/statm): 4412 3807 364 364 0 4048 0
[pid=8230] vsize: 17648
Current children cumulated CPU time (s) 117.28
Current children cumulated vsize (Kb) 17648

[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.94 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 6885 0 0 0 11943 690 0 0 25 0 1 0 21393631 21217280 3874 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 5180 3874 364 364 0 4816 0
[pid=8230] vsize: 20720
Current children cumulated CPU time (s) 126.33
Current children cumulated vsize (Kb) 20720

[startup+150.007 s]
Raw data (loadavg): 0.98 0.95 0.94 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 7028 0 0 0 12801 738 0 0 25 0 1 0 21393631 21352448 3903 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 5213 3903 364 364 0 4849 0
[pid=8230] vsize: 20852
Current children cumulated CPU time (s) 135.39
Current children cumulated vsize (Kb) 20852

[startup+160.007 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 7104 0 0 0 13664 783 0 0 25 0 1 0 21393631 21352448 3922 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8230/statm): 5213 3922 364 364 0 4849 0
[pid=8230] vsize: 20852
Current children cumulated CPU time (s) 144.47
Current children cumulated vsize (Kb) 20852

[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.94 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 7253 0 0 0 14520 831 0 0 24 0 1 0 21393631 21491712 3957 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 5247 3957 364 364 0 4883 0
[pid=8230] vsize: 20988
Current children cumulated CPU time (s) 153.51
Current children cumulated vsize (Kb) 20988

[startup+180.008 s]
Raw data (loadavg): 0.99 0.96 0.94 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 7384 0 0 0 15357 890 0 0 23 0 1 0 21393631 21762048 4031 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 5313 4031 364 364 0 4949 0
[pid=8230] vsize: 21252
Current children cumulated CPU time (s) 162.47
Current children cumulated vsize (Kb) 21252

[startup+190.009 s]
Raw data (loadavg): 0.99 0.96 0.94 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 7463 0 0 0 16215 940 0 0 25 0 1 0 21393631 21762048 4053 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 5313 4053 364 364 0 4949 0
[pid=8230] vsize: 21252
Current children cumulated CPU time (s) 171.55
Current children cumulated vsize (Kb) 21252

[startup+200.008 s]
Raw data (loadavg): 0.99 0.96 0.94 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 7556 0 0 0 17081 986 0 0 25 0 1 0 21393631 21897216 4089 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 5346 4089 364 364 0 4982 0
[pid=8230] vsize: 21384
Current children cumulated CPU time (s) 180.67
Current children cumulated vsize (Kb) 21384

[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 7737 0 0 0 17941 1034 0 0 25 0 1 0 21393631 21897216 4156 4294967295 134512640 135987407 3221224576 3221223360 134812358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8230/statm): 5346 4156 364 364 0 4982 0
[pid=8230] vsize: 21384
Current children cumulated CPU time (s) 189.75
Current children cumulated vsize (Kb) 21384

[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 7840 0 0 0 18806 1079 0 0 25 0 1 0 21393631 22032384 4202 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8230/statm): 5379 4202 364 364 0 5015 0
[pid=8230] vsize: 21516
Current children cumulated CPU time (s) 198.85
Current children cumulated vsize (Kb) 21516

[startup+230.009 s]
Raw data (loadavg): 0.99 0.96 0.94 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 7929 0 0 0 19671 1127 0 0 25 0 1 0 21393631 22167552 4234 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 5412 4234 364 364 0 5048 0
[pid=8230] vsize: 21648
Current children cumulated CPU time (s) 207.98
Current children cumulated vsize (Kb) 21648

[startup+240.009 s]
Raw data (loadavg): 0.99 0.96 0.94 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 8087 0 0 0 20542 1170 0 0 25 0 1 0 21393631 22167552 4278 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 5412 4278 364 364 0 5048 0
[pid=8230] vsize: 21648
Current children cumulated CPU time (s) 217.12
Current children cumulated vsize (Kb) 21648

[startup+250.01 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 8206 0 0 0 21421 1211 0 0 25 0 1 0 21393631 22302720 4340 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8230/statm): 5445 4340 364 364 0 5081 0
[pid=8230] vsize: 21780
Current children cumulated CPU time (s) 226.32
Current children cumulated vsize (Kb) 21780

[startup+260.01 s]
Raw data (loadavg): 0.99 0.96 0.94 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 8309 0 0 0 22304 1251 0 0 25 0 1 0 21393631 22437888 4386 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 5478 4386 364 364 0 5114 0
[pid=8230] vsize: 21912
Current children cumulated CPU time (s) 235.55
Current children cumulated vsize (Kb) 21912

[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 8388 0 0 0 23183 1291 0 0 25 0 1 0 21393631 22437888 4408 4294967295 134512640 135987407 3221224576 3221223136 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8230/statm): 5478 4408 364 364 0 5114 0
[pid=8230] vsize: 21912
Current children cumulated CPU time (s) 244.74
Current children cumulated vsize (Kb) 21912

[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.94 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 8495 0 0 0 24064 1330 0 0 25 0 1 0 21393631 22573056 4458 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 5511 4458 364 364 0 5147 0
[pid=8230] vsize: 22044
Current children cumulated CPU time (s) 253.94
Current children cumulated vsize (Kb) 22044

[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.94 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 8667 0 0 0 24942 1371 0 0 24 0 1 0 21393631 22573056 4516 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 5511 4516 364 364 0 5147 0
[pid=8230] vsize: 22044
Current children cumulated CPU time (s) 263.13
Current children cumulated vsize (Kb) 22044

[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 8761 0 0 0 25811 1418 0 0 25 0 1 0 21393631 26902528 4553 4294967295 134512640 135987407 3221224576 3221223424 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8230/statm): 6568 4553 364 364 0 6204 0
[pid=8230] vsize: 26272
Current children cumulated CPU time (s) 272.29
Current children cumulated vsize (Kb) 26272

[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.94 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 8841 0 0 0 26685 1461 0 0 25 0 1 0 21393631 26902528 4576 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 6568 4576 364 364 0 6204 0
[pid=8230] vsize: 26272
Current children cumulated CPU time (s) 281.46
Current children cumulated vsize (Kb) 26272

[startup+320.012 s]
Raw data (loadavg): 1.07 0.99 0.94 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 8925 0 0 0 27563 1503 0 0 25 0 1 0 21393631 27037696 4603 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 6601 4603 364 364 0 6237 0
[pid=8230] vsize: 26404
Current children cumulated CPU time (s) 290.66
Current children cumulated vsize (Kb) 26404

[startup+330.013 s]
Raw data (loadavg): 1.06 0.99 0.94 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 9003 0 0 0 28438 1545 0 0 25 0 1 0 21393631 27037696 4624 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 6601 4624 364 364 0 6237 0
[pid=8230] vsize: 26404
Current children cumulated CPU time (s) 299.83
Current children cumulated vsize (Kb) 26404

[startup+340.013 s]
Raw data (loadavg): 1.05 0.99 0.94 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 9078 0 0 0 29318 1585 0 0 25 0 1 0 21393631 27172864 4642 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 6634 4642 364 364 0 6270 0
[pid=8230] vsize: 26536
Current children cumulated CPU time (s) 309.03
Current children cumulated vsize (Kb) 26536

[startup+350.014 s]
Raw data (loadavg): 1.04 0.99 0.94 2/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 9156 0 0 0 30185 1627 0 0 25 0 1 0 21393631 27172864 4663 4294967295 134512640 135987407 3221224576 3221223136 134788502 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8230/statm): 6634 4663 364 364 0 6270 0
[pid=8230] vsize: 26536
Current children cumulated CPU time (s) 318.12
Current children cumulated vsize (Kb) 26536

[startup+360.014 s]
Raw data (loadavg): 1.03 0.99 0.94 2/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 9243 0 0 0 31067 1670 0 0 25 0 1 0 21393631 27308032 4693 4294967295 134512640 135987407 3221224576 3221223264 134811829 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8230/statm): 6667 4693 364 364 0 6303 0
[pid=8230] vsize: 26668
Current children cumulated CPU time (s) 327.37
Current children cumulated vsize (Kb) 26668

[startup+370.014 s]
Raw data (loadavg): 1.03 0.99 0.94 2/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 9323 0 0 0 31942 1710 0 0 25 0 1 0 21393631 27308032 4716 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 6667 4716 364 364 0 6303 0
[pid=8230] vsize: 26668
Current children cumulated CPU time (s) 336.52
Current children cumulated vsize (Kb) 26668

[startup+380.014 s]
Raw data (loadavg): 1.02 0.99 0.94 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 9426 0 0 0 32813 1752 0 0 25 0 1 0 21393631 27443200 4762 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 6700 4762 364 364 0 6336 0
[pid=8230] vsize: 26800
Current children cumulated CPU time (s) 345.65
Current children cumulated vsize (Kb) 26800

[startup+390.015 s]
Raw data (loadavg): 1.02 0.99 0.94 2/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 9597 0 0 0 33692 1793 0 0 24 0 1 0 21393631 27578368 4819 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 6733 4819 364 364 0 6369 0
[pid=8230] vsize: 26932
Current children cumulated CPU time (s) 354.85
Current children cumulated vsize (Kb) 26932

[startup+400.014 s]
Raw data (loadavg): 1.02 0.99 0.94 2/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 9673 0 0 0 34566 1836 0 0 25 0 1 0 21393631 27578368 4838 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 6733 4838 364 364 0 6369 0
[pid=8230] vsize: 26932
Current children cumulated CPU time (s) 364.02
Current children cumulated vsize (Kb) 26932

[startup+410.014 s]
Raw data (loadavg): 1.09 1.00 0.95 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 9698 0 0 0 35446 1879 0 0 25 0 1 0 21393631 27713536 4863 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 6766 4863 364 364 0 6402 0
[pid=8230] vsize: 27064
Current children cumulated CPU time (s) 373.25
Current children cumulated vsize (Kb) 27064

[startup+420.015 s]
Raw data (loadavg): 1.07 1.00 0.95 2/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 9853 0 0 0 36316 1922 0 0 25 0 1 0 21393631 27713536 4904 4294967295 134512640 135987407 3221224576 3221223264 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8230/statm): 6766 4904 364 364 0 6402 0
[pid=8230] vsize: 27064
Current children cumulated CPU time (s) 382.38
Current children cumulated vsize (Kb) 27064

[startup+430.015 s]
Raw data (loadavg): 1.06 1.00 0.95 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 9962 0 0 0 37192 1966 0 0 25 0 1 0 21393631 27848704 4956 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 6799 4956 364 364 0 6435 0
[pid=8230] vsize: 27196
Current children cumulated CPU time (s) 391.58
Current children cumulated vsize (Kb) 27196

[startup+440.015 s]
Raw data (loadavg): 1.05 1.00 0.95 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 10071 0 0 0 38077 2004 0 0 25 0 1 0 21393631 27987968 5008 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 6833 5008 364 364 0 6469 0
[pid=8230] vsize: 27332
Current children cumulated CPU time (s) 400.81
Current children cumulated vsize (Kb) 27332

[startup+450.016 s]
Raw data (loadavg): 1.04 1.00 0.95 2/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 10141 0 0 0 38955 2044 0 0 25 0 1 0 21393631 27987968 5021 4294967295 134512640 135987407 3221224576 3221223264 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8230/statm): 6833 5021 364 364 0 6469 0
[pid=8230] vsize: 27332
Current children cumulated CPU time (s) 409.99
Current children cumulated vsize (Kb) 27332

[startup+460.016 s]
Raw data (loadavg): 1.04 1.00 0.95 2/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 10219 0 0 0 39837 2084 0 0 25 0 1 0 21393631 27987968 5042 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 6833 5042 364 364 0 6469 0
[pid=8230] vsize: 27332
Current children cumulated CPU time (s) 419.21
Current children cumulated vsize (Kb) 27332

[startup+470.016 s]
Raw data (loadavg): 1.03 1.00 0.95 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 10296 0 0 0 40715 2126 0 0 25 0 1 0 21393631 28127232 5062 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 6867 5062 364 364 0 6503 0
[pid=8230] vsize: 27468
Current children cumulated CPU time (s) 428.41
Current children cumulated vsize (Kb) 27468

[startup+480.017 s]
Raw data (loadavg): 1.02 1.00 0.95 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 10392 0 0 0 41595 2166 0 0 25 0 1 0 21393631 28127232 5101 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 6867 5101 364 364 0 6503 0
[pid=8230] vsize: 27468
Current children cumulated CPU time (s) 437.61
Current children cumulated vsize (Kb) 27468

[startup+490.018 s]
Raw data (loadavg): 1.02 1.00 0.95 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 10500 0 0 0 42488 2200 0 0 25 0 1 0 21393631 28262400 5152 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 6900 5152 364 364 0 6536 0
[pid=8230] vsize: 27600
Current children cumulated CPU time (s) 446.88
Current children cumulated vsize (Kb) 27600

[startup+500.017 s]
Raw data (loadavg): 1.02 1.00 0.95 2/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 10577 0 0 0 43382 2237 0 0 25 0 1 0 21393631 28262400 5172 4294967295 134512640 135987407 3221224576 3221223136 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8230/statm): 6900 5172 364 364 0 6536 0
[pid=8230] vsize: 27600
Current children cumulated CPU time (s) 456.19
Current children cumulated vsize (Kb) 27600

[startup+510.018 s]
Raw data (loadavg): 1.01 1.00 0.95 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 10660 0 0 0 44262 2280 0 0 25 0 1 0 21393631 28397568 5198 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 6933 5198 364 364 0 6569 0
[pid=8230] vsize: 27732
Current children cumulated CPU time (s) 465.42
Current children cumulated vsize (Kb) 27732

[startup+520.019 s]
Raw data (loadavg): 1.01 1.00 0.95 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 10767 0 0 0 45144 2324 0 0 25 0 1 0 21393631 28397568 5248 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 6933 5248 364 364 0 6569 0
[pid=8230] vsize: 27732
Current children cumulated CPU time (s) 474.68
Current children cumulated vsize (Kb) 27732

[startup+530.019 s]
Raw data (loadavg): 1.01 1.00 0.95 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 10872 0 0 0 46037 2361 0 0 25 0 1 0 21393631 28532736 5296 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 6966 5296 364 364 0 6602 0
[pid=8230] vsize: 27864
Current children cumulated CPU time (s) 483.98
Current children cumulated vsize (Kb) 27864

[startup+540.019 s]
Raw data (loadavg): 1.01 1.00 0.95 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 10953 0 0 0 46928 2400 0 0 25 0 1 0 21393631 28532736 5320 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 6966 5320 364 364 0 6602 0
[pid=8230] vsize: 27864
Current children cumulated CPU time (s) 493.28
Current children cumulated vsize (Kb) 27864

[startup+550.019 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 11018 0 0 0 47826 2434 0 0 25 0 1 0 21393631 28532736 5328 4294967295 134512640 135987407 3221224576 3221223264 134812120 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8230/statm): 6966 5328 364 364 0 6602 0
[pid=8230] vsize: 27864
Current children cumulated CPU time (s) 502.6
Current children cumulated vsize (Kb) 27864

[startup+560.019 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 11095 0 0 0 48718 2473 0 0 25 0 1 0 21393631 28667904 5348 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 6999 5348 364 364 0 6635 0
[pid=8230] vsize: 27996
Current children cumulated CPU time (s) 511.91
Current children cumulated vsize (Kb) 27996

[startup+570.019 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 11180 0 0 0 49608 2509 0 0 25 0 1 0 21393631 28803072 5376 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7032 5376 364 364 0 6668 0
[pid=8230] vsize: 28128
Current children cumulated CPU time (s) 521.17
Current children cumulated vsize (Kb) 28128

[startup+580.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 11272 0 0 0 50480 2551 0 0 20 0 1 0 21393631 28803072 5411 4294967295 134512640 135987407 3221224576 3221223264 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8230/statm): 7032 5411 364 364 0 6668 0
[pid=8230] vsize: 28128
Current children cumulated CPU time (s) 530.31
Current children cumulated vsize (Kb) 28128

[startup+590.02 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 11360 0 0 0 51370 2589 0 0 25 0 1 0 21393631 28803072 5442 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7032 5442 364 364 0 6668 0
[pid=8230] vsize: 28128
Current children cumulated CPU time (s) 539.59
Current children cumulated vsize (Kb) 28128

[startup+600.02 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 11437 0 0 0 52261 2623 0 0 25 0 1 0 21393631 28938240 5462 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7065 5462 364 364 0 6701 0
[pid=8230] vsize: 28260
Current children cumulated CPU time (s) 548.84
Current children cumulated vsize (Kb) 28260

[startup+610.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8230
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 11509 0 0 0 53153 2660 0 0 25 0 1 0 21393631 28938240 5477 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7065 5477 364 364 0 6701 0
[pid=8230] vsize: 28260
Current children cumulated CPU time (s) 558.13
Current children cumulated vsize (Kb) 28260

[startup+620.021 s]
Raw data (loadavg): 1.08 1.02 0.95 1/55 8285
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 11599 0 0 0 54033 2702 0 0 25 0 1 0 21393631 29077504 5510 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7099 5510 364 364 0 6735 0
[pid=8230] vsize: 28396
Current children cumulated CPU time (s) 567.35
Current children cumulated vsize (Kb) 28396

[startup+630.021 s]
Raw data (loadavg): 1.07 1.02 0.95 2/55 8285
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 11697 0 0 0 54926 2737 0 0 25 0 1 0 21393631 29077504 5551 4294967295 134512640 135987407 3221224576 3221223136 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7099 5551 364 364 0 6735 0
[pid=8230] vsize: 28396
Current children cumulated CPU time (s) 576.63
Current children cumulated vsize (Kb) 28396

[startup+640.022 s]
Raw data (loadavg): 1.06 1.01 0.95 1/55 8285
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 11797 0 0 0 55825 2770 0 0 25 0 1 0 21393631 29077504 5594 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7099 5594 364 364 0 6735 0
[pid=8230] vsize: 28396
Current children cumulated CPU time (s) 585.95
Current children cumulated vsize (Kb) 28396

[startup+650.022 s]
Raw data (loadavg): 1.05 1.01 0.95 2/55 8285
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 11803 0 0 0 56710 2807 0 0 25 0 1 0 21393631 29077504 5600 4294967295 134512640 135987407 3221224576 3221223424 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7099 5600 364 364 0 6735 0
[pid=8230] vsize: 28396
Current children cumulated CPU time (s) 595.17
Current children cumulated vsize (Kb) 28396

[startup+660.023 s]
Raw data (loadavg): 1.04 1.01 0.95 2/55 8285
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 11883 0 0 0 57606 2842 0 0 25 0 1 0 21393631 29212672 5623 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7132 5623 364 364 0 6768 0
[pid=8230] vsize: 28528
Current children cumulated CPU time (s) 604.48
Current children cumulated vsize (Kb) 28528

[startup+670.023 s]
Raw data (loadavg): 1.11 1.03 0.96 1/55 8287
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 11950 0 0 0 58491 2880 0 0 25 0 1 0 21393631 29212672 5633 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7132 5633 364 364 0 6768 0
[pid=8230] vsize: 28528
Current children cumulated CPU time (s) 613.71
Current children cumulated vsize (Kb) 28528

[startup+680.023 s]
Raw data (loadavg): 1.10 1.03 0.96 2/55 8287
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 12025 0 0 0 59383 2917 0 0 22 0 1 0 21393631 29212672 5651 4294967295 134512640 135987407 3221224576 3221223264 134812126 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8230/statm): 7132 5651 364 364 0 6768 0
[pid=8230] vsize: 28528
Current children cumulated CPU time (s) 623
Current children cumulated vsize (Kb) 28528

[startup+690.024 s]
Raw data (loadavg): 1.08 1.03 0.96 2/55 8291
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 12118 0 0 0 60270 2956 0 0 25 0 1 0 21393631 29351936 5687 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7166 5687 364 364 0 6802 0
[pid=8230] vsize: 28664
Current children cumulated CPU time (s) 632.26
Current children cumulated vsize (Kb) 28664

[startup+700.024 s]
Raw data (loadavg): 1.07 1.03 0.96 1/55 8291
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 12216 0 0 0 61168 2993 0 0 25 0 1 0 21393631 29351936 5728 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7166 5728 364 364 0 6802 0
[pid=8230] vsize: 28664
Current children cumulated CPU time (s) 641.61
Current children cumulated vsize (Kb) 28664

[startup+710.024 s]
Raw data (loadavg): 1.06 1.02 0.96 1/55 8291
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 12289 0 0 0 62064 3025 0 0 25 0 1 0 21393631 29351936 5744 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7166 5744 364 364 0 6802 0
[pid=8230] vsize: 28664
Current children cumulated CPU time (s) 650.89
Current children cumulated vsize (Kb) 28664

[startup+720.025 s]
Raw data (loadavg): 1.05 1.02 0.96 1/55 8291
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 12359 0 0 0 62954 3060 0 0 25 0 1 0 21393631 29487104 5757 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7199 5757 364 364 0 6835 0
[pid=8230] vsize: 28796
Current children cumulated CPU time (s) 660.14
Current children cumulated vsize (Kb) 28796

[startup+730.025 s]
Raw data (loadavg): 1.04 1.02 0.96 1/55 8291
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 12432 0 0 0 63844 3097 0 0 25 0 1 0 21393631 29487104 5773 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7199 5773 364 364 0 6835 0
[pid=8230] vsize: 28796
Current children cumulated CPU time (s) 669.41
Current children cumulated vsize (Kb) 28796

[startup+740.026 s]
Raw data (loadavg): 1.03 1.02 0.96 2/55 8291
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 12529 0 0 0 64738 3135 0 0 18 0 1 0 21393631 29626368 5813 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7233 5813 364 364 0 6869 0
[pid=8230] vsize: 28932
Current children cumulated CPU time (s) 678.73
Current children cumulated vsize (Kb) 28932

[startup+750.026 s]
Raw data (loadavg): 1.03 1.02 0.96 1/55 8291
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 12616 0 0 0 65633 3169 0 0 25 0 1 0 21393631 29626368 5843 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7233 5843 364 364 0 6869 0
[pid=8230] vsize: 28932
Current children cumulated CPU time (s) 688.02
Current children cumulated vsize (Kb) 28932

[startup+760.027 s]
Raw data (loadavg): 1.02 1.02 0.96 2/55 8291
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 12690 0 0 0 66528 3205 0 0 25 0 1 0 21393631 29626368 5860 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7233 5860 364 364 0 6869 0
[pid=8230] vsize: 28932
Current children cumulated CPU time (s) 697.33
Current children cumulated vsize (Kb) 28932

[startup+770.027 s]
Raw data (loadavg): 1.02 1.02 0.96 2/55 8291
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 12769 0 0 0 67423 3239 0 0 25 0 1 0 21393631 29761536 5882 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8230/statm): 7266 5882 364 364 0 6902 0
[pid=8230] vsize: 29064
Current children cumulated CPU time (s) 706.62
Current children cumulated vsize (Kb) 29064

[startup+780.028 s]
Raw data (loadavg): 1.02 1.02 0.96 2/55 8291
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 12849 0 0 0 68314 3278 0 0 25 0 1 0 21393631 29761536 5905 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7266 5905 364 364 0 6902 0
[pid=8230] vsize: 29064
Current children cumulated CPU time (s) 715.92
Current children cumulated vsize (Kb) 29064

[startup+790.029 s]
Raw data (loadavg): 1.01 1.02 0.96 2/55 8291
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 13025 0 0 0 69215 3312 0 0 25 0 1 0 21393631 29896704 5967 4294967295 134512640 135987407 3221224576 3221223392 134876948 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7299 5967 364 364 0 6935 0
[pid=8230] vsize: 29196
Current children cumulated CPU time (s) 725.27
Current children cumulated vsize (Kb) 29196

[startup+800.029 s]
Raw data (loadavg): 1.08 1.03 0.96 1/55 8291
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 13099 0 0 0 70110 3348 0 0 25 0 1 0 21393631 30031872 5984 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7332 5984 364 364 0 6968 0
[pid=8230] vsize: 29328
Current children cumulated CPU time (s) 734.58
Current children cumulated vsize (Kb) 29328

[startup+810.029 s]
Raw data (loadavg): 1.07 1.03 0.96 1/55 8291
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 13180 0 0 0 71006 3382 0 0 25 0 1 0 21393631 30031872 6008 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7332 6008 364 364 0 6968 0
[pid=8230] vsize: 29328
Current children cumulated CPU time (s) 743.88
Current children cumulated vsize (Kb) 29328

[startup+820.03 s]
Raw data (loadavg): 1.06 1.03 0.96 1/55 8291
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 13262 0 0 0 71906 3415 0 0 25 0 1 0 21393631 30167040 6033 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7365 6033 364 364 0 7001 0
[pid=8230] vsize: 29460
Current children cumulated CPU time (s) 753.21
Current children cumulated vsize (Kb) 29460

[startup+830.03 s]
Raw data (loadavg): 1.05 1.03 0.96 1/55 8291
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 13346 0 0 0 72800 3453 0 0 25 0 1 0 21393631 30167040 6060 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7365 6060 364 364 0 7001 0
[pid=8230] vsize: 29460
Current children cumulated CPU time (s) 762.53
Current children cumulated vsize (Kb) 29460

[startup+840.031 s]
Raw data (loadavg): 1.04 1.03 0.96 2/55 8291
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 13451 0 0 0 73694 3489 0 0 25 0 1 0 21393631 30302208 6108 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7398 6108 364 364 0 7034 0
[pid=8230] vsize: 29592
Current children cumulated CPU time (s) 771.83
Current children cumulated vsize (Kb) 29592

[startup+850.031 s]
Raw data (loadavg): 1.03 1.03 0.96 1/55 8291
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 13471 0 0 0 74593 3523 0 0 25 0 1 0 21393631 30302208 6128 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7398 6128 364 364 0 7034 0
[pid=8230] vsize: 29592
Current children cumulated CPU time (s) 781.16
Current children cumulated vsize (Kb) 29592

[startup+860.031 s]
Raw data (loadavg): 1.03 1.02 0.96 1/55 8291
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 13546 0 0 0 75488 3562 0 0 25 0 1 0 21393631 30437376 6146 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7431 6146 364 364 0 7067 0
[pid=8230] vsize: 29724
Current children cumulated CPU time (s) 790.5
Current children cumulated vsize (Kb) 29724

[startup+870.031 s]
Raw data (loadavg): 1.02 1.02 0.96 2/55 8291
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 13658 0 0 0 76381 3598 0 0 25 0 1 0 21393631 30437376 6201 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7431 6201 364 364 0 7067 0
[pid=8230] vsize: 29724
Current children cumulated CPU time (s) 799.79
Current children cumulated vsize (Kb) 29724

[startup+880.031 s]
Raw data (loadavg): 1.02 1.02 0.96 1/55 8291
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 13758 0 0 0 77282 3634 0 0 25 0 1 0 21393631 30437376 6244 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7431 6244 364 364 0 7067 0
[pid=8230] vsize: 29724
Current children cumulated CPU time (s) 809.16
Current children cumulated vsize (Kb) 29724

[startup+890.032 s]
Raw data (loadavg): 1.02 1.02 0.96 1/55 8291
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 13860 0 0 0 78181 3665 0 0 25 0 1 0 21393631 30572544 6289 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7464 6289 364 364 0 7100 0
[pid=8230] vsize: 29856
Current children cumulated CPU time (s) 818.46
Current children cumulated vsize (Kb) 29856

[startup+900.032 s]
Raw data (loadavg): 1.01 1.02 0.96 2/55 8291
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 13941 0 0 0 79081 3700 0 0 25 0 1 0 21393631 30572544 6313 4294967295 134512640 135987407 3221224576 3221223392 134816522 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7464 6313 364 364 0 7100 0
[pid=8230] vsize: 29856
Current children cumulated CPU time (s) 827.81
Current children cumulated vsize (Kb) 29856

[startup+910.032 s]
Raw data (loadavg): 1.01 1.02 0.96 1/55 8291
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 14016 0 0 0 79981 3735 0 0 25 0 1 0 21393631 30707712 6331 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7497 6331 364 364 0 7133 0
[pid=8230] vsize: 29988
Current children cumulated CPU time (s) 837.16
Current children cumulated vsize (Kb) 29988

[startup+920.033 s]
Raw data (loadavg): 1.08 1.03 0.97 1/55 8291
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 14088 0 0 0 80880 3770 0 0 25 0 1 0 21393631 30707712 6346 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7497 6346 364 364 0 7133 0
[pid=8230] vsize: 29988
Current children cumulated CPU time (s) 846.5
Current children cumulated vsize (Kb) 29988

[startup+930.034 s]
Raw data (loadavg): 1.07 1.03 0.97 1/55 8291
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 14162 0 0 0 81778 3802 0 0 25 0 1 0 21393631 30707712 6363 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7497 6363 364 364 0 7133 0
[pid=8230] vsize: 29988
Current children cumulated CPU time (s) 855.8
Current children cumulated vsize (Kb) 29988

[startup+940.034 s]
Raw data (loadavg): 1.06 1.03 0.97 2/55 8291
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 14231 0 0 0 82673 3837 0 0 25 0 1 0 21393631 30842880 6375 4294967295 134512640 135987407 3221224576 3221223264 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7530 6375 364 364 0 7166 0
[pid=8230] vsize: 30120
Current children cumulated CPU time (s) 865.1
Current children cumulated vsize (Kb) 30120

[startup+950.034 s]
Raw data (loadavg): 1.05 1.03 0.97 1/55 8291
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 14320 0 0 0 83576 3868 0 0 25 0 1 0 21393631 30842880 6407 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7530 6407 364 364 0 7166 0
[pid=8230] vsize: 30120
Current children cumulated CPU time (s) 874.44
Current children cumulated vsize (Kb) 30120

[startup+960.035 s]
Raw data (loadavg): 1.12 1.04 0.97 1/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 14398 0 0 0 84476 3901 0 0 25 0 1 0 21393631 30978048 6428 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7563 6428 364 364 0 7199 0
[pid=8230] vsize: 30252
Current children cumulated CPU time (s) 883.77
Current children cumulated vsize (Kb) 30252

[startup+970.035 s]
Raw data (loadavg): 1.10 1.04 0.97 2/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 14479 0 0 0 85373 3934 0 0 22 0 1 0 21393631 30978048 6452 4294967295 134512640 135987407 3221224576 3221223424 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7563 6452 364 364 0 7199 0
[pid=8230] vsize: 30252
Current children cumulated CPU time (s) 893.07
Current children cumulated vsize (Kb) 30252

[startup+980.036 s]
Raw data (loadavg): 1.09 1.04 0.97 2/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 14557 0 0 0 86273 3968 0 0 25 0 1 0 21393631 31113216 6473 4294967295 134512640 135987407 3221224576 3221223264 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7596 6473 364 364 0 7232 0
[pid=8230] vsize: 30384
Current children cumulated CPU time (s) 902.41
Current children cumulated vsize (Kb) 30384

[startup+990.038 s]
Raw data (loadavg): 1.07 1.04 0.97 1/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 14659 0 0 0 87173 4001 0 0 25 0 1 0 21393631 31113216 6518 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7596 6518 364 364 0 7232 0
[pid=8230] vsize: 30384
Current children cumulated CPU time (s) 911.74
Current children cumulated vsize (Kb) 30384

[startup+1000.04 s]
Raw data (loadavg): 1.06 1.04 0.97 2/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 14746 0 0 0 88077 4035 0 0 25 0 1 0 21393631 31113216 6548 4294967295 134512640 135987407 3221224576 3221223264 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8230/statm): 7596 6548 364 364 0 7232 0
[pid=8230] vsize: 30384
Current children cumulated CPU time (s) 921.12
Current children cumulated vsize (Kb) 30384

[startup+1010.04 s]
Raw data (loadavg): 1.05 1.03 0.97 1/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 14817 0 0 0 88978 4068 0 0 25 0 1 0 21393631 31248384 6562 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7629 6562 364 364 0 7265 0
[pid=8230] vsize: 30516
Current children cumulated CPU time (s) 930.46
Current children cumulated vsize (Kb) 30516

[startup+1020.04 s]
Raw data (loadavg): 1.12 1.05 0.98 1/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 14906 0 0 0 89880 4100 0 0 25 0 1 0 21393631 31248384 6594 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7629 6594 364 364 0 7265 0
[pid=8230] vsize: 30516
Current children cumulated CPU time (s) 939.8
Current children cumulated vsize (Kb) 30516

[startup+1030.04 s]
Raw data (loadavg): 1.10 1.05 0.98 2/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 15008 0 0 0 90796 4127 0 0 25 0 1 0 21393631 31383552 6639 4294967295 134512640 135987407 3221224576 3221223264 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7662 6639 364 364 0 7298 0
[pid=8230] vsize: 30648
Current children cumulated CPU time (s) 949.23
Current children cumulated vsize (Kb) 30648

[startup+1040.04 s]
Raw data (loadavg): 1.08 1.05 0.98 1/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 15051 0 0 0 91700 4160 0 0 25 0 1 0 21393631 31383552 6682 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7662 6682 364 364 0 7298 0
[pid=8230] vsize: 30648
Current children cumulated CPU time (s) 958.6
Current children cumulated vsize (Kb) 30648

[startup+1050.04 s]
Raw data (loadavg): 1.07 1.04 0.98 1/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 15149 0 0 0 92603 4194 0 0 25 0 1 0 21393631 31518720 6723 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7695 6723 364 364 0 7331 0
[pid=8230] vsize: 30780
Current children cumulated CPU time (s) 967.97
Current children cumulated vsize (Kb) 30780

[startup+1060.04 s]
Raw data (loadavg): 1.06 1.04 0.98 2/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 15230 0 0 0 93509 4226 0 0 25 0 1 0 21393631 31518720 6747 4294967295 134512640 135987407 3221224576 3221223136 134788483 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8230/statm): 7695 6747 364 364 0 7331 0
[pid=8230] vsize: 30780
Current children cumulated CPU time (s) 977.35
Current children cumulated vsize (Kb) 30780

[startup+1070.04 s]
Raw data (loadavg): 1.05 1.04 0.98 2/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 15308 0 0 0 94414 4258 0 0 25 0 1 0 21393631 31518720 6768 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8230/statm): 7695 6768 364 364 0 7331 0
[pid=8230] vsize: 30780
Current children cumulated CPU time (s) 986.72
Current children cumulated vsize (Kb) 30780

[startup+1080.04 s]
Raw data (loadavg): 1.04 1.04 0.98 1/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 15375 0 0 0 95320 4292 0 0 25 0 1 0 21393631 31653888 6778 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7728 6778 364 364 0 7364 0
[pid=8230] vsize: 30912
Current children cumulated CPU time (s) 996.12
Current children cumulated vsize (Kb) 30912

[startup+1090.04 s]
Raw data (loadavg): 1.03 1.04 0.98 2/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 15455 0 0 0 96229 4323 0 0 25 0 1 0 21393631 31653888 6801 4294967295 134512640 135987407 3221224576 3221223264 134811894 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7728 6801 364 364 0 7364 0
[pid=8230] vsize: 30912
Current children cumulated CPU time (s) 1005.52
Current children cumulated vsize (Kb) 30912

[startup+1100.04 s]
Raw data (loadavg): 1.03 1.03 0.98 1/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 15500 0 0 0 97135 4356 0 0 25 0 1 0 21393631 31789056 6846 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7761 6846 364 364 0 7397 0
[pid=8230] vsize: 31044
Current children cumulated CPU time (s) 1014.91
Current children cumulated vsize (Kb) 31044

[startup+1110.04 s]
Raw data (loadavg): 1.02 1.03 0.98 2/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 15607 0 0 0 98039 4386 0 0 25 0 1 0 21393631 31789056 6896 4294967295 134512640 135987407 3221224576 3221223264 134811907 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8230/statm): 7761 6896 364 364 0 7397 0
[pid=8230] vsize: 31044
Current children cumulated CPU time (s) 1024.25
Current children cumulated vsize (Kb) 31044

[startup+1120.04 s]
Raw data (loadavg): 1.02 1.03 0.98 1/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 15693 0 0 0 98946 4416 0 0 25 0 1 0 21393631 31924224 6925 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7794 6925 364 364 0 7430 0
[pid=8230] vsize: 31176
Current children cumulated CPU time (s) 1033.62
Current children cumulated vsize (Kb) 31176

[startup+1130.04 s]
Raw data (loadavg): 1.02 1.03 0.98 2/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 15761 0 0 0 99852 4447 0 0 25 0 1 0 21393631 31924224 6936 4294967295 134512640 135987407 3221224576 3221223264 134811873 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8230/statm): 7794 6936 364 364 0 7430 0
[pid=8230] vsize: 31176
Current children cumulated CPU time (s) 1042.99
Current children cumulated vsize (Kb) 31176

[startup+1140.04 s]
Raw data (loadavg): 1.01 1.03 0.98 1/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 15828 0 0 0 100758 4479 0 0 25 0 1 0 21393631 31924224 6946 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7794 6946 364 364 0 7430 0
[pid=8230] vsize: 31176
Current children cumulated CPU time (s) 1052.37
Current children cumulated vsize (Kb) 31176

[startup+1150.04 s]
Raw data (loadavg): 1.01 1.03 0.98 2/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 15906 0 0 0 101661 4514 0 0 25 0 1 0 21393631 32059392 6967 4294967295 134512640 135987407 3221224576 3221223264 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7827 6967 364 364 0 7463 0
[pid=8230] vsize: 31308
Current children cumulated CPU time (s) 1061.75
Current children cumulated vsize (Kb) 31308

[startup+1160.04 s]
Raw data (loadavg): 1.01 1.03 0.98 2/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 15921 0 0 0 102564 4546 0 0 25 0 1 0 21393631 32059392 6982 4294967295 134512640 135987407 3221224576 3221223296 134813818 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7827 6982 364 364 0 7463 0
[pid=8230] vsize: 31308
Current children cumulated CPU time (s) 1071.1
Current children cumulated vsize (Kb) 31308

[startup+1170.05 s]
Raw data (loadavg): 1.01 1.02 0.98 2/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 15992 0 0 0 103469 4577 0 0 25 0 1 0 21393631 32059392 6996 4294967295 134512640 135987407 3221224576 3221223264 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7827 6996 364 364 0 7463 0
[pid=8230] vsize: 31308
Current children cumulated CPU time (s) 1080.46
Current children cumulated vsize (Kb) 31308

[startup+1180.05 s]
Raw data (loadavg): 1.00 1.02 0.98 1/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 16061 0 0 0 104372 4610 0 0 25 0 1 0 21393631 32059392 7008 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7827 7008 364 364 0 7463 0
[pid=8230] vsize: 31308
Current children cumulated CPU time (s) 1089.82
Current children cumulated vsize (Kb) 31308

[startup+1190.05 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 16130 0 0 0 105284 4641 0 0 25 0 1 0 21393631 32194560 7020 4294967295 134512640 135987407 3221224576 3221223264 134811850 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7860 7020 364 364 0 7496 0
[pid=8230] vsize: 31440
Current children cumulated CPU time (s) 1099.25
Current children cumulated vsize (Kb) 31440

[startup+1200.05 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 16213 0 0 0 106197 4672 0 0 25 0 1 0 21393631 32194560 7046 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7860 7046 364 364 0 7496 0
[pid=8230] vsize: 31440
Current children cumulated CPU time (s) 1108.69
Current children cumulated vsize (Kb) 31440

[startup+1210.05 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 16226 0 0 0 107100 4703 0 0 25 0 1 0 21393631 32329728 7059 4294967295 134512640 135987407 3221224576 3221223152 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8230/statm): 7893 7059 364 364 0 7529 0
[pid=8230] vsize: 31572
Current children cumulated CPU time (s) 1118.03
Current children cumulated vsize (Kb) 31572

[startup+1220.05 s]
Raw data (loadavg): 1.00 1.02 0.98 1/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 16333 0 0 0 108004 4740 0 0 25 0 1 0 21393631 32329728 7109 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7893 7109 364 364 0 7529 0
[pid=8230] vsize: 31572
Current children cumulated CPU time (s) 1127.44
Current children cumulated vsize (Kb) 31572

[startup+1230.05 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 16423 0 0 0 108897 4779 0 0 25 0 1 0 21393631 32468992 7142 4294967295 134512640 135987407 3221224576 3221223136 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7927 7142 364 364 0 7563 0
[pid=8230] vsize: 31708
Current children cumulated CPU time (s) 1136.76
Current children cumulated vsize (Kb) 31708

[startup+1240.05 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 16454 0 0 0 109811 4806 0 0 25 0 1 0 21393631 32468992 7173 4294967295 134512640 135987407 3221224576 3221223296 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7927 7173 364 364 0 7563 0
[pid=8230] vsize: 31708
Current children cumulated CPU time (s) 1146.17
Current children cumulated vsize (Kb) 31708

[startup+1250.05 s]
Raw data (loadavg): 1.00 1.02 0.98 1/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) T 8229 8230 4059 0 -1 0 16519 0 0 0 110716 4836 0 0 25 0 1 0 21393631 32468992 7181 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8230/statm): 7927 7181 364 364 0 7563 0
[pid=8230] vsize: 31708
Current children cumulated CPU time (s) 1155.52
Current children cumulated vsize (Kb) 31708

[startup+1260.05 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 16586 0 0 0 111618 4867 0 0 25 0 1 0 21393631 32468992 7191 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7927 7191 364 364 0 7563 0
[pid=8230] vsize: 31708
Current children cumulated CPU time (s) 1164.85
Current children cumulated vsize (Kb) 31708

[startup+1270.05 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 16595 0 0 0 112528 4899 0 0 25 0 1 0 21393631 32468992 7200 4294967295 134512640 135987407 3221224576 3221223296 134813833 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7927 7200 364 364 0 7563 0
[pid=8230] vsize: 31708
Current children cumulated CPU time (s) 1174.27
Current children cumulated vsize (Kb) 31708

[startup+1280.05 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 16666 0 0 0 113437 4931 0 0 25 0 1 0 21393631 32604160 7214 4294967295 134512640 135987407 3221224576 3221223264 134788831 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8230/statm): 7960 7214 364 364 0 7596 0
[pid=8230] vsize: 31840
Current children cumulated CPU time (s) 1183.68
Current children cumulated vsize (Kb) 31840

[startup+1290.05 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 16684 0 0 0 114343 4964 0 0 25 0 1 0 21393631 32604160 7232 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7960 7232 364 364 0 7596 0
[pid=8230] vsize: 31840
Current children cumulated CPU time (s) 1193.07
Current children cumulated vsize (Kb) 31840

[startup+1300.05 s]
Raw data (loadavg): 1.07 1.03 0.98 2/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 16764 0 0 0 115246 4995 0 0 25 0 1 0 21393631 32743424 7255 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7994 7255 364 364 0 7630 0
[pid=8230] vsize: 31976
Current children cumulated CPU time (s) 1202.41
Current children cumulated vsize (Kb) 31976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1300.05 s]
Raw data (loadavg): 1.07 1.03 0.98 2/55 8293
Raw data (/proc/8230/stat): 8230 (pb2sat) R 8229 8230 4059 0 -1 0 16764 0 0 0 115246 4995 0 0 25 0 1 0 21393631 32743424 7255 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8230/statm): 7994 7255 364 364 0 7630 0
[pid=8230] vsize: 31976
Current children cumulated CPU time (s) 1202.41
Current children cumulated vsize (Kb) 31976

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

Child status: 0
Real time (s): 1300.14
CPU time (s): 1202.5
CPU user time (s): 1152.53
CPU system time (s): 49.9684
CPU usage (%): 92.4903
Max. virtual memory (cumulated for all children) (Kb): 31976

Verifier Data

ERROR: no interpretation found !