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/fctp/normalized-mps-v2-20-10-ran12x12.opb
MD5SUMe4638ea46dbf743c721f5094f551c5b7
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4043776
Optimality of the best value was proved NO
Number of terms in the objective function 4464
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 856864234722
Number of bits of the sum of numbers in the objective function 40
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 856864234722
Number of bits of the biggest sum of numbers40
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1227.47
Number of variables4464
Total number of constraints168
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints168
Minimum length of a constraint31
Maximum length of a constraint360

Trace number 10197

Launcher Data

LAUNCH ON wulflinc31 THE 2005-09-23 17:16:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8901 boxname=wulflinc31 idbench=697 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  e4638ea46dbf743c721f5094f551c5b7  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-ran12x12.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-ran12x12.opb
IDLAUNCH: 8901
/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:        921620 kB
Buffers:         19200 kB
Cached:          74980 kB
SwapCached:          0 kB
Active:          41792 kB
Inactive:        55212 kB
HighTotal:      131008 kB
HighFree:        52192 kB
LowTotal:       903652 kB
LowFree:        869428 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:            10468 kB
Committed_AS:    63628 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 17:37:19 (client local time) WITH STATUS 0 IN 1200.74 SECONDS
stats: 8901 7 1200.74 0

Solver Data

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

c Decision: 15342/120743	Time: 34.3938/86400
c Decision: 15342/120743	Time: 38.8241/86400
c Decision: 15342/120743	Time: 43.5744/86400
c Decision: 15342/120743	Time: 47.8867/86400
c Decision: 15342/120743	Time: 52.0841/86400
c Decision: 15342/120743	Time: 58.4351/86400
c Decision: 15342/120743	Time: 64.9951/86400
c Decision: 15342/120743	Time: 70.2293/86400
c Decision: 15342/120743	Time: 75.3016/86400
c Decision: 15342/120743	Time: 80.1988/86400
c Decision: 15342/120743	Time: 85.811/86400
c Decision: 15342/120743	Time: 91.1341/86400
c Decision: 15342/120743	Time: 95.7964/86400
c Decision: 15342/120743	Time: 101.311/86400
c Decision: 15342/120743	Time: 104.346/86400
c Decision: 15342/120743	Time: 109.606/86400
c Decision: 15342/120743	Time: 113.389/86400
c Decision: 15342/120743	Time: 118.372/86400
c Decision: 15342/120743	Time: 123.287/86400
c Decision: 15342/120743	Time: 128.394/86400
c Decision: 15342/120743	Time: 133.498/86400
c Decision: 15342/120743	Time: 138.767/86400
c Decision: 15342/120743	Time: 143.957/86400
c Decision: 15342/120743	Time: 149.306/86400
c Decision: 15342/120743	Time: 153.495/86400
c Decision: 15342/120743	Time: 158.939/86400
c Decision: 15342/120743	Time: 164.02/86400
c Decision: 15342/120743	Time: 168.512/86400
c Decision: 15342/120743	Time: 173.211/86400
c Decision: 15342/120743	Time: 178.307/86400
c Decision: 15342/120743	Time: 183.716/86400
c Decision: 15342/120743	Time: 189.135/86400
c Decision: 15342/120743	Time: 193.978/86400
c Decision: 15342/120743	Time: 199.189/86400
c Decision: 15342/120743	Time: 203.2/86400
c Decision: 15342/120743	Time: 208.471/86400
c Decision: 15342/120743	Time: 213.505/86400
c Decision: 15342/120743	Time: 218.833/86400
c Decision: 15342/120743	Time: 223.29/86400
c Decision: 15342/120743	Time: 228.445/86400
c Decision: 15342/120743	Time: 233.081/86400
c Decision: 15342/120743	Time: 238.449/86400
c Decision: 15342/120743	Time: 242.825/86400
c Decision: 15342/120743	Time: 247.828/86400
c Decision: 15342/120743	Time: 252.323/86400
c Decision: 15342/120743	Time: 257.288/86400
c Decision: 15342/120743	Time: 262.228/86400
c Decision: 15342/120743	Time: 266.656/86400
c Decision: 15342/120743	Time: 271.745/86400
c Decision: 15342/120743	Time: 276.706/86400
c Decision: 15342/120743	Time: 282.615/86400
c Decision: 15342/120743	Time: 288.019/86400
c Decision: 15342/120743	Time: 292.674/86400
c Decision: 15342/120743	Time: 297.375/86400
c Decision: 15342/120743	Time: 301.933/86400
c Decision: 15342/120743	Time: 306.978/86400
c Decision: 15342/120743	Time: 312.408/86400
c Decision: 15342/120743	Time: 318.122/86400
c Decision: 15342/120743	Time: 323.905/86400
c Decision: 15342/120743	Time: 329.339/86400
c Decision: 15342/120743	Time: 335.168/86400
c Decision: 15342/120743	Time: 340.31/86400
c Decision: 15342/120743	Time: 345.393/86400
c Decision: 15342/120743	Time: 350.442/86400
c Decision: 15342/120743	Time: 354.651/86400
c Decision: 15342/120743	Time: 359.823/86400
c Decision: 15342/120743	Time: 364.603/86400
c Decision: 15342/120743	Time: 369.634/86400
c Decision: 15342/120743	Time: 375.261/86400
c Decision: 15342/120743	Time: 380.263/86400
c Decision: 15342/120743	Time: 386.597/86400
c Decision: 15342/120743	Time: 392.103/86400
c Decision: 15342/120743	Time: 397.323/86400
c Decision: 15342/120743	Time: 401.911/86400
c Decision: 15342/120743	Time: 407.175/86400
c Decision: 15342/120743	Time: 412.883/86400
c Decision: 15342/120743	Time: 418.435/86400
c Decision: 15342/120743	Time: 423.567/86400
c Decision: 15342/120743	Time: 428.958/86400
c Decision: 15342/120743	Time: 434.043/86400
c Decision: 15342/120743	Time: 439.357/86400
c Decision: 15342/120743	Time: 444.707/86400
c Decision: 15342/120743	Time: 449.839/86400
c Decision: 15342/120743	Time: 454.483/86400
c Decision: 15342/120743	Time: 459.924/86400
c Decision: 15342/120743	Time: 467.539/86400
c Decision: 15342/120743	Time: 472.547/86400
c Decision: 15342/120743	Time: 478.715/86400
c Decision: 15342/120743	Time: 484.901/86400
c Decision: 15342/120743	Time: 489.953/86400
c Decision: 15342/120743	Time: 495.444/86400
c Decision: 15342/120743	Time: 500.754/86400
c Decision: 15342/120743	Time: 506.785/86400
c Decision: 15342/120743	Time: 512.15/86400
c Decision: 15342/120743	Time: 517.941/86400
c Decision: 15342/120743	Time: 523.478/86400
c Decision: 15342/120743	Time: 528.474/86400
c Decision: 15342/120743	Time: 534.045/86400
c Decision: 15342/120743	Time: 540.098/86400
c Decision: 15342/120743	Time: 545.247/86400
c Decision: 15342/120743	Time: 551.517/86400
c Decision: 15342/120743	Time: 557.279/86400
c Decision: 15342/120743	Time: 563.195/86400
c Decision: 15342/120743	Time: 569.238/86400
c Decision: 15342/120743	Time: 574.7/86400
c Decision: 15342/120743	Time: 580.655/86400
c Decision: 15342/120743	Time: 586.076/86400
c Decision: 15342/120743	Time: 592.444/86400
c Decision: 15342/120743	Time: 598.407/86400
c Decision: 15342/120743	Time: 603.922/86400
c Decision: 15342/120743	Time: 609.592/86400
c Decision: 15342/120743	Time: 615.175/86400
c Decision: 15342/120743	Time: 620.882/86400
c Decision: 15342/120743	Time: 625.674/86400
c Decision: 15342/120743	Time: 630.762/86400
c Decision: 15342/120743	Time: 636.658/86400
c Decision: 15342/120743	Time: 642.189/86400
c Decision: 15342/120743	Time: 647.778/86400
c Decision: 15342/120743	Time: 653.627/86400
c Decision: 15342/120743	Time: 659.596/86400
c Decision: 15342/120743	Time: 665.523/86400
c Decision: 15342/120743	Time: 671.319/86400
c Decision: 15342/120743	Time: 677.104/86400
c Decision: 15342/120743	Time: 682.549/86400
c Decision: 15342/120743	Time: 688.539/86400
c Decision: 15342/120743	Time: 695.069/86400
c Decision: 15342/120743	Time: 701.368/86400
c Decision: 15342/120743	Time: 706.866/86400
c Decision: 15342/120743	Time: 712.996/86400
c Decision: 15342/120743	Time: 718.385/86400
c Decision: 15342/120743	Time: 725.169/86400
c Decision: 15342/120743	Time: 731.302/86400
c Decision: 15342/120743	Time: 738.372/86400
c Decision: 15342/120743	Time: 743.966/86400
c Decision: 15342/120743	Time: 750.07/86400
c Decision: 15342/120743	Time: 756.364/86400
c Decision: 15342/120743	Time: 761.823/86400
c Decision: 15342/120743	Time: 767.8/86400
c Decision: 15342/120743	Time: 775.27/86400
c Decision: 15342/120743	Time: 782.574/86400
c Decision: 15342/120743	Time: 788.838/86400
c Decision: 15342/120743	Time: 794.712/86400
c Decision: 15342/120743	Time: 801.722/86400
c Decision: 15342/120743	Time: 808.232/86400
c Decision: 15342/120743	Time: 814.519/86400
c Decision: 15342/120743	Time: 820.633/86400
c Decision: 15342/120743	Time: 826.953/86400
c Decision: 15342/120743	Time: 835.065/86400
c Decision: 15342/120743	Time: 841.189/86400
c Decision: 15342/120743	Time: 847.835/86400
c Decision: 15342/120743	Time: 854.485/86400
c Decision: 15342/120743	Time: 860.928/86400
c Decision: 15342/120743	Time: 866.802/86400
c Decision: 15342/120743	Time: 872.905/86400
c Decision: 15342/120743	Time: 879.068/86400
c Decision: 15342/120743	Time: 885.307/86400
c Decision: 15342/120743	Time: 891.032/86400
c Decision: 15342/120743	Time: 897.566/86400
c Decision: 15342/120743	Time: 902.706/86400
c Decision: 15342/120743	Time: 909.193/86400
c Decision: 15342/120743	Time: 916.737/86400
c Decision: 15342/120743	Time: 923.209/86400
c Decision: 15342/120743	Time: 929.677/86400
c Decision: 15342/120743	Time: 936.322/86400
c Decision: 15342/120743	Time: 942.594/86400
c Decision: 15342/120743	Time: 949.505/86400
c Decision: 15342/120743	Time: 955.586/86400
c Decision: 15342/120743	Time: 961.677/86400
c Decision: 15342/120743	Time: 969.44/86400
c Decision: 15342/120743	Time: 975.947/86400
c Decision: 15342/120743	Time: 983.178/86400
c Decision: 15342/120743	Time: 991.233/86400
c Decision: 15342/120743	Time: 998.328/86400
c Decision: 15342/120743	Time: 1005.52/86400
c Decision: 15342/120743	Time: 1012.05/86400
c Decision: 15342/120743	Time: 1018.92/86400
c Decision: 15342/120743	Time: 1025.41/86400
c Decision: 15342/120743	Time: 1032.5/86400
c Decision: 15342/120743	Time: 1038.79/86400
c Decision: 15342/120743	Time: 1045.37/86400
c Decision: 15342/120743	Time: 1052.6/86400
c Decision: 15342/120743	Time: 1059.91/86400
c Decision: 15342/120743	Time: 1066.12/86400
c Decision: 15342/120743	Time: 1072.59/86400
c Decision: 15342/120743	Time: 1078.89/86400
c Decision: 15342/120743	Time: 1086.45/86400
c Decision: 15342/120743	Time: 1094.05/86400
c Decision: 15342/120743	Time: 1100.63/86400
c Decision: 15342/120743	Time: 1107.22/86400
c Decision: 15342/120743	Time: 1115.08/86400
c Decision: 15342/120743	Time: 1121.64/86400
c Decision: 15342/120743	Time: 1128.65/86400
c Decision: 15342/120743	Time: 1135.76/86400
c Decision: 15342/120743	Time: 1142.65/86400
c Decision: 15342/120743	Time: 1149.88/86400
c Decision: 15342/120743	Time: 1156.65/86400
c Decision: 15342/120743	Time: 1164.17/86400
c Decision: 15342/120743	Time: 1170.29/86400
c Decision: 15342/120743	Time: 1176.44/86400
c Decision: 15342/120743	Time: 1182.97/86400
c Decision: 15342/120743	Time: 1191.3/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/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21873795 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9204/statm): 373 2 364 364 0 9 0
[pid=9204] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-ran12x12.opb

[startup+10.0018 s]
Raw data (loadavg): 0.92 0.95 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 15579 0 0 0 932 48 0 0 25 0 1 0 21873795 46292992 9802 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 11302 9802 364 364 0 10938 0
[pid=9204] vsize: 45208
Current children cumulated CPU time (s) 9.8
Current children cumulated vsize (Kb) 45208

[startup+20.0038 s]
Raw data (loadavg): 0.93 0.95 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 16202 0 0 0 1891 62 0 0 25 0 1 0 21873795 48926720 10425 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 11945 10425 364 364 0 11581 0
[pid=9204] vsize: 47780
Current children cumulated CPU time (s) 19.53
Current children cumulated vsize (Kb) 47780

[startup+30.0047 s]
Raw data (loadavg): 0.94 0.95 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 16399 0 0 0 2814 89 0 0 25 0 1 0 21873795 49647616 10622 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9204/statm): 12121 10622 364 364 0 11757 0
[pid=9204] vsize: 48484
Current children cumulated CPU time (s) 29.03
Current children cumulated vsize (Kb) 48484

[startup+40.0046 s]
Raw data (loadavg): 0.95 0.96 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 16504 0 0 0 3739 113 0 0 25 0 1 0 21873795 49942528 10727 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 12193 10727 364 364 0 11829 0
[pid=9204] vsize: 48772
Current children cumulated CPU time (s) 38.52
Current children cumulated vsize (Kb) 48772

[startup+50.0056 s]
Raw data (loadavg): 0.96 0.96 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 17199 0 0 0 4666 135 0 0 25 0 1 0 21873795 50769920 10950 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 12395 10950 364 364 0 12031 0
[pid=9204] vsize: 49580
Current children cumulated CPU time (s) 48.01
Current children cumulated vsize (Kb) 49580

[startup+60.0065 s]
Raw data (loadavg): 0.96 0.96 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 18065 0 0 0 5591 162 0 0 25 0 1 0 21873795 51331072 11108 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 12532 11108 364 364 0 12168 0
[pid=9204] vsize: 50128
Current children cumulated CPU time (s) 57.53
Current children cumulated vsize (Kb) 50128

[startup+70.0074 s]
Raw data (loadavg): 0.97 0.96 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 18163 0 0 0 6507 191 0 0 25 0 1 0 21873795 51658752 11206 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 12612 11206 364 364 0 12248 0
[pid=9204] vsize: 50448
Current children cumulated CPU time (s) 66.98
Current children cumulated vsize (Kb) 50448

[startup+80.0084 s]
Raw data (loadavg): 0.97 0.96 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 18698 0 0 0 7417 219 0 0 25 0 1 0 21873795 51970048 11269 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 12688 11269 364 364 0 12324 0
[pid=9204] vsize: 50752
Current children cumulated CPU time (s) 76.36
Current children cumulated vsize (Kb) 50752

[startup+90.0083 s]
Raw data (loadavg): 0.98 0.96 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 19192 0 0 0 8312 258 0 0 25 0 1 0 21873795 52117504 11291 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 12724 11291 364 364 0 12360 0
[pid=9204] vsize: 50896
Current children cumulated CPU time (s) 85.7
Current children cumulated vsize (Kb) 50896

[startup+100.009 s]
Raw data (loadavg): 0.98 0.96 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 19453 0 0 0 9205 292 0 0 25 0 1 0 21873795 52117504 11316 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 12724 11316 364 364 0 12360 0
[pid=9204] vsize: 50896
Current children cumulated CPU time (s) 94.97
Current children cumulated vsize (Kb) 50896

[startup+110.01 s]
Raw data (loadavg): 0.98 0.96 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 19944 0 0 0 10093 331 0 0 25 0 1 0 21873795 52117504 11335 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 12724 11335 364 364 0 12360 0
[pid=9204] vsize: 50896
Current children cumulated CPU time (s) 104.24
Current children cumulated vsize (Kb) 50896

[startup+120.012 s]
Raw data (loadavg): 0.98 0.96 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 20472 0 0 0 11003 363 0 0 25 0 1 0 21873795 52260864 11391 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 12759 11391 364 364 0 12395 0
[pid=9204] vsize: 51036
Current children cumulated CPU time (s) 113.66
Current children cumulated vsize (Kb) 51036

[startup+130.012 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 21024 0 0 0 11918 392 0 0 25 0 1 0 21873795 52555776 11471 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 12831 11471 364 364 0 12467 0
[pid=9204] vsize: 51324
Current children cumulated CPU time (s) 123.1
Current children cumulated vsize (Kb) 51324

[startup+140.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 21300 0 0 0 12815 427 0 0 25 0 1 0 21873795 52703232 11511 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 12867 11511 364 364 0 12503 0
[pid=9204] vsize: 51468
Current children cumulated CPU time (s) 132.42
Current children cumulated vsize (Kb) 51468

[startup+150.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 21850 0 0 0 13714 460 0 0 25 0 1 0 21873795 52850688 11589 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 12903 11589 364 364 0 12539 0
[pid=9204] vsize: 51612
Current children cumulated CPU time (s) 141.74
Current children cumulated vsize (Kb) 51612

[startup+160.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 22348 0 0 0 14620 493 0 0 25 0 1 0 21873795 52850688 11615 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 12903 11615 364 364 0 12539 0
[pid=9204] vsize: 51612
Current children cumulated CPU time (s) 151.13
Current children cumulated vsize (Kb) 51612

[startup+170.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 22614 0 0 0 15516 527 0 0 25 0 1 0 21873795 52985856 11645 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 12936 11645 364 364 0 12572 0
[pid=9204] vsize: 51744
Current children cumulated CPU time (s) 160.43
Current children cumulated vsize (Kb) 51744

[startup+180.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 23131 0 0 0 16417 562 0 0 25 0 1 0 21873795 53121024 11690 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9204/statm): 12969 11690 364 364 0 12605 0
[pid=9204] vsize: 51876
Current children cumulated CPU time (s) 169.79
Current children cumulated vsize (Kb) 51876

[startup+190.017 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 23691 0 0 0 17315 598 0 0 25 0 1 0 21873795 53272576 11778 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 13006 11778 364 364 0 12642 0
[pid=9204] vsize: 52024
Current children cumulated CPU time (s) 179.13
Current children cumulated vsize (Kb) 52024

[startup+200.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 23969 0 0 0 18210 633 0 0 25 0 1 0 21873795 53436416 11820 4294967295 134512640 135987407 3221224560 3221223200 134789452 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 13046 11820 364 364 0 12682 0
[pid=9204] vsize: 52184
Current children cumulated CPU time (s) 188.43
Current children cumulated vsize (Kb) 52184

[startup+210.018 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 24481 0 0 0 19108 666 0 0 25 0 1 0 21873795 53600256 11860 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 13086 11860 364 364 0 12722 0
[pid=9204] vsize: 52344
Current children cumulated CPU time (s) 197.74
Current children cumulated vsize (Kb) 52344

[startup+220.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 24983 0 0 0 20007 700 0 0 25 0 1 0 21873795 53600256 11890 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 13086 11890 364 364 0 12722 0
[pid=9204] vsize: 52344
Current children cumulated CPU time (s) 207.07
Current children cumulated vsize (Kb) 52344

[startup+230.018 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 25505 0 0 0 20906 736 0 0 25 0 1 0 21873795 53764096 11940 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 13126 11940 364 364 0 12762 0
[pid=9204] vsize: 52504
Current children cumulated CPU time (s) 216.42
Current children cumulated vsize (Kb) 52504

[startup+240.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 26001 0 0 0 21805 773 0 0 25 0 1 0 21873795 53764096 11964 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 13126 11964 364 364 0 12762 0
[pid=9204] vsize: 52504
Current children cumulated CPU time (s) 225.78
Current children cumulated vsize (Kb) 52504

[startup+250.02 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 26270 0 0 0 22685 812 0 0 25 0 1 0 21873795 53899264 11997 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 13159 11997 364 364 0 12795 0
[pid=9204] vsize: 52636
Current children cumulated CPU time (s) 234.97
Current children cumulated vsize (Kb) 52636

[startup+260.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 26769 0 0 0 23583 845 0 0 25 0 1 0 21873795 53899264 12024 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9204/statm): 13159 12024 364 364 0 12795 0
[pid=9204] vsize: 52636
Current children cumulated CPU time (s) 244.28
Current children cumulated vsize (Kb) 52636

[startup+270.022 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 27280 0 0 0 24478 879 0 0 25 0 1 0 21873795 54034432 12063 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 13192 12063 364 364 0 12828 0
[pid=9204] vsize: 52768
Current children cumulated CPU time (s) 253.57
Current children cumulated vsize (Kb) 52768

[startup+280.022 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 27790 0 0 0 25382 911 0 0 25 0 1 0 21873795 54034432 12101 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 13192 12101 364 364 0 12828 0
[pid=9204] vsize: 52768
Current children cumulated CPU time (s) 262.93
Current children cumulated vsize (Kb) 52768

[startup+290.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 28304 0 0 0 26282 944 0 0 25 0 1 0 21873795 54165504 12143 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 13224 12143 364 364 0 12860 0
[pid=9204] vsize: 52896
Current children cumulated CPU time (s) 272.26
Current children cumulated vsize (Kb) 52896

[startup+300.023 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 28579 0 0 0 27184 976 0 0 25 0 1 0 21873795 54165504 12182 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 13224 12182 364 364 0 12860 0
[pid=9204] vsize: 52896
Current children cumulated CPU time (s) 281.6
Current children cumulated vsize (Kb) 52896

[startup+310.023 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 29076 0 0 0 28091 1005 0 0 25 0 1 0 21873795 54296576 12207 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 13256 12207 364 364 0 12892 0
[pid=9204] vsize: 53024
Current children cumulated CPU time (s) 290.96
Current children cumulated vsize (Kb) 53024

[startup+320.024 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 29626 0 0 0 28999 1035 0 0 25 0 1 0 21873795 54648832 12285 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 13342 12285 364 364 0 12978 0
[pid=9204] vsize: 53368
Current children cumulated CPU time (s) 300.34
Current children cumulated vsize (Kb) 53368

[startup+330.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 30122 0 0 0 29899 1070 0 0 25 0 1 0 21873795 54648832 12309 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 13342 12309 364 364 0 12978 0
[pid=9204] vsize: 53368
Current children cumulated CPU time (s) 309.69
Current children cumulated vsize (Kb) 53368

[startup+340.024 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 30613 0 0 0 30796 1105 0 0 25 0 1 0 21873795 54648832 12328 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 13342 12328 364 364 0 12978 0
[pid=9204] vsize: 53368
Current children cumulated CPU time (s) 319.01
Current children cumulated vsize (Kb) 53368

[startup+350.025 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 30879 0 0 0 31697 1137 0 0 25 0 1 0 21873795 54648832 12358 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 13342 12358 364 364 0 12978 0
[pid=9204] vsize: 53368
Current children cumulated CPU time (s) 328.34
Current children cumulated vsize (Kb) 53368

[startup+360.026 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 31386 0 0 0 32597 1171 0 0 25 0 1 0 21873795 54784000 12393 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 13375 12393 364 364 0 13011 0
[pid=9204] vsize: 53500
Current children cumulated CPU time (s) 337.68
Current children cumulated vsize (Kb) 53500

[startup+370.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 31886 0 0 0 33503 1202 0 0 25 0 1 0 21873795 54919168 12421 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 13408 12421 364 364 0 13044 0
[pid=9204] vsize: 53632
Current children cumulated CPU time (s) 347.05
Current children cumulated vsize (Kb) 53632

[startup+380.027 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 32395 0 0 0 34404 1236 0 0 25 0 1 0 21873795 54919168 12458 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 13408 12458 364 364 0 13044 0
[pid=9204] vsize: 53632
Current children cumulated CPU time (s) 356.4
Current children cumulated vsize (Kb) 53632

[startup+390.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 32911 0 0 0 35310 1267 0 0 25 0 1 0 21873795 55054336 12502 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9204/statm): 13441 12502 364 364 0 13077 0
[pid=9204] vsize: 53764
Current children cumulated CPU time (s) 365.77
Current children cumulated vsize (Kb) 53764

[startup+400.028 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 33412 0 0 0 36199 1309 0 0 25 0 1 0 21873795 55054336 12531 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 13441 12531 364 364 0 13077 0
[pid=9204] vsize: 53764
Current children cumulated CPU time (s) 375.08
Current children cumulated vsize (Kb) 53764

[startup+410.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 33689 0 0 0 37103 1343 0 0 25 0 1 0 21873795 55185408 12572 4294967295 134512640 135987407 3221224560 3221223376 134816522 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 13473 12572 364 364 0 13109 0
[pid=9204] vsize: 53892
Current children cumulated CPU time (s) 384.46
Current children cumulated vsize (Kb) 53892

[startup+420.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 34188 0 0 0 38023 1369 0 0 18 0 1 0 21873795 55185408 12599 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9204/statm): 13473 12599 364 364 0 13109 0
[pid=9204] vsize: 53892
Current children cumulated CPU time (s) 393.92
Current children cumulated vsize (Kb) 53892

[startup+430.03 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 34691 0 0 0 38921 1406 0 0 25 0 1 0 21873795 55185408 12630 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 13473 12630 364 364 0 13109 0
[pid=9204] vsize: 53892
Current children cumulated CPU time (s) 403.27
Current children cumulated vsize (Kb) 53892

[startup+440.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 35209 0 0 0 39830 1436 0 0 25 0 1 0 21873795 55316480 12676 4294967295 134512640 135987407 3221224560 3221223424 134812703 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9204/statm): 13505 12676 364 364 0 13141 0
[pid=9204] vsize: 54020
Current children cumulated CPU time (s) 412.66
Current children cumulated vsize (Kb) 54020

[startup+450.031 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 35475 0 0 0 40745 1466 0 0 18 0 1 0 21873795 55447552 12706 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 13537 12706 364 364 0 13173 0
[pid=9204] vsize: 54148
Current children cumulated CPU time (s) 422.11
Current children cumulated vsize (Kb) 54148

[startup+460.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 35982 0 0 0 41662 1498 0 0 25 0 1 0 21873795 55447552 12741 4294967295 134512640 135987407 3221224560 3221223248 134811835 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 13537 12741 364 364 0 13173 0
[pid=9204] vsize: 54148
Current children cumulated CPU time (s) 431.6
Current children cumulated vsize (Kb) 54148

[startup+470.033 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 36492 0 0 0 42576 1530 0 0 25 0 1 0 21873795 55447552 12779 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 13537 12779 364 364 0 13173 0
[pid=9204] vsize: 54148
Current children cumulated CPU time (s) 441.06
Current children cumulated vsize (Kb) 54148

[startup+480.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 36998 0 0 0 43493 1556 0 0 25 0 1 0 21873795 63971328 12813 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 15618 12813 364 364 0 15254 0
[pid=9204] vsize: 62472
Current children cumulated CPU time (s) 450.49
Current children cumulated vsize (Kb) 62472

[startup+490.034 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 37509 0 0 0 44410 1584 0 0 17 0 1 0 21873795 63971328 12852 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 15618 12852 364 364 0 15254 0
[pid=9204] vsize: 62472
Current children cumulated CPU time (s) 459.94
Current children cumulated vsize (Kb) 62472

[startup+500.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 37772 0 0 0 45326 1612 0 0 25 0 1 0 21873795 64106496 12879 4294967295 134512640 135987407 3221224560 3221223248 134812126 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9204/statm): 15651 12879 364 364 0 15287 0
[pid=9204] vsize: 62604
Current children cumulated CPU time (s) 469.38
Current children cumulated vsize (Kb) 62604

[startup+510.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 38266 0 0 0 46244 1641 0 0 25 0 1 0 21873795 64106496 12901 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9204/statm): 15651 12901 364 364 0 15287 0
[pid=9204] vsize: 62604
Current children cumulated CPU time (s) 478.85
Current children cumulated vsize (Kb) 62604

[startup+520.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 38546 0 0 0 47159 1671 0 0 25 0 1 0 21873795 64241664 12945 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 15684 12945 364 364 0 15320 0
[pid=9204] vsize: 62736
Current children cumulated CPU time (s) 488.3
Current children cumulated vsize (Kb) 62736

[startup+530.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 39060 0 0 0 48072 1698 0 0 25 0 1 0 21873795 64376832 12987 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 15717 12987 364 364 0 15353 0
[pid=9204] vsize: 62868
Current children cumulated CPU time (s) 497.7
Current children cumulated vsize (Kb) 62868

[startup+540.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 39561 0 0 0 48989 1727 0 0 25 0 1 0 21873795 64376832 13016 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 15717 13016 364 364 0 15353 0
[pid=9204] vsize: 62868
Current children cumulated CPU time (s) 507.16
Current children cumulated vsize (Kb) 62868

[startup+550.038 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 39826 0 0 0 49899 1757 0 0 25 0 1 0 21873795 64507904 13045 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 15749 13045 364 364 0 15385 0
[pid=9204] vsize: 62996
Current children cumulated CPU time (s) 516.56
Current children cumulated vsize (Kb) 62996

[startup+560.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 40331 0 0 0 50813 1789 0 0 25 0 1 0 21873795 64507904 13078 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 15749 13078 364 364 0 15385 0
[pid=9204] vsize: 62996
Current children cumulated CPU time (s) 526.02
Current children cumulated vsize (Kb) 62996

[startup+570.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 40834 0 0 0 51739 1814 0 0 25 0 1 0 21873795 64507904 13109 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 15749 13109 364 364 0 15385 0
[pid=9204] vsize: 62996
Current children cumulated CPU time (s) 535.53
Current children cumulated vsize (Kb) 62996

[startup+580.042 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 41103 0 0 0 52647 1845 0 0 25 0 1 0 21873795 64638976 13142 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 15781 13142 364 364 0 15417 0
[pid=9204] vsize: 63124
Current children cumulated CPU time (s) 544.92
Current children cumulated vsize (Kb) 63124

[startup+590.042 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 41617 0 0 0 53561 1875 0 0 25 0 1 0 21873795 64770048 13184 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 15813 13184 364 364 0 15449 0
[pid=9204] vsize: 63252
Current children cumulated CPU time (s) 554.36
Current children cumulated vsize (Kb) 63252

[startup+600.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 42117 0 0 0 54484 1902 0 0 25 0 1 0 21873795 64770048 13212 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 15813 13212 364 364 0 15449 0
[pid=9204] vsize: 63252
Current children cumulated CPU time (s) 563.86
Current children cumulated vsize (Kb) 63252

[startup+610.044 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 42388 0 0 0 55392 1933 0 0 25 0 1 0 21873795 64770048 13247 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 15813 13247 364 364 0 15449 0
[pid=9204] vsize: 63252
Current children cumulated CPU time (s) 573.25
Current children cumulated vsize (Kb) 63252

[startup+620.045 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 42895 0 0 0 56304 1963 0 0 25 0 1 0 21873795 64901120 13282 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 15845 13282 364 364 0 15481 0
[pid=9204] vsize: 63380
Current children cumulated CPU time (s) 582.67
Current children cumulated vsize (Kb) 63380

[startup+630.045 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 43391 0 0 0 57220 1994 0 0 25 0 1 0 21873795 64901120 13306 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 15845 13306 364 364 0 15481 0
[pid=9204] vsize: 63380
Current children cumulated CPU time (s) 592.14
Current children cumulated vsize (Kb) 63380

[startup+640.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 43655 0 0 0 58130 2023 0 0 25 0 1 0 21873795 64901120 13334 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9204/statm): 15845 13334 364 364 0 15481 0
[pid=9204] vsize: 63380
Current children cumulated CPU time (s) 601.53
Current children cumulated vsize (Kb) 63380

[startup+650.046 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 44163 0 0 0 59048 2049 0 0 25 0 1 0 21873795 65036288 13370 4294967295 134512640 135987407 3221224560 3221223376 134816728 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 15878 13370 364 364 0 15514 0
[pid=9204] vsize: 63512
Current children cumulated CPU time (s) 610.97
Current children cumulated vsize (Kb) 63512

[startup+660.047 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 44671 0 0 0 59978 2072 0 0 25 0 1 0 21873795 66002944 13642 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 16114 13642 364 364 0 15750 0
[pid=9204] vsize: 64456
Current children cumulated CPU time (s) 620.5
Current children cumulated vsize (Kb) 64456

[startup+670.047 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 44948 0 0 0 60898 2098 0 0 25 0 1 0 21873795 65187840 13447 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 15915 13447 364 364 0 15551 0
[pid=9204] vsize: 63660
Current children cumulated CPU time (s) 629.96
Current children cumulated vsize (Kb) 63660

[startup+680.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 48527 0 0 0 61812 2131 0 0 25 0 1 0 21873795 77770752 13481 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9204/statm): 18987 13481 364 364 0 18623 0
[pid=9204] vsize: 75948
Current children cumulated CPU time (s) 639.43
Current children cumulated vsize (Kb) 75948

[startup+690.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 49031 0 0 0 62738 2157 0 0 25 0 1 0 21873795 77901824 13513 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19019 13513 364 364 0 18655 0
[pid=9204] vsize: 76076
Current children cumulated CPU time (s) 648.95
Current children cumulated vsize (Kb) 76076

[startup+700.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 49301 0 0 0 63649 2189 0 0 25 0 1 0 21873795 77901824 13547 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19019 13547 364 364 0 18655 0
[pid=9204] vsize: 76076
Current children cumulated CPU time (s) 658.38
Current children cumulated vsize (Kb) 76076

[startup+710.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 49815 0 0 0 64581 2214 0 0 25 0 1 0 21873795 78049280 13589 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19055 13589 364 364 0 18691 0
[pid=9204] vsize: 76220
Current children cumulated CPU time (s) 667.95
Current children cumulated vsize (Kb) 76220

[startup+720.052 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 50328 0 0 0 65515 2238 0 0 25 0 1 0 21873795 78049280 13630 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19055 13630 364 364 0 18691 0
[pid=9204] vsize: 76220
Current children cumulated CPU time (s) 677.53
Current children cumulated vsize (Kb) 76220

[startup+730.052 s]
Raw data (loadavg): 1.07 0.99 0.93 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 50605 0 0 0 66437 2264 0 0 25 0 1 0 21873795 78180352 13671 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9204/statm): 19087 13671 364 364 0 18723 0
[pid=9204] vsize: 76348
Current children cumulated CPU time (s) 687.01
Current children cumulated vsize (Kb) 76348

[startup+740.053 s]
Raw data (loadavg): 1.06 0.99 0.93 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 51111 0 0 0 67363 2287 0 0 25 0 1 0 21873795 78180352 13705 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19087 13705 364 364 0 18723 0
[pid=9204] vsize: 76348
Current children cumulated CPU time (s) 696.5
Current children cumulated vsize (Kb) 76348

[startup+750.054 s]
Raw data (loadavg): 1.05 0.99 0.93 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 51372 0 0 0 68281 2316 0 0 25 0 1 0 21873795 78315520 13730 4294967295 134512640 135987407 3221224560 3221223344 134812349 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19120 13730 364 364 0 18756 0
[pid=9204] vsize: 76480
Current children cumulated CPU time (s) 705.97
Current children cumulated vsize (Kb) 76480

[startup+760.054 s]
Raw data (loadavg): 1.04 0.99 0.93 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 51886 0 0 0 69211 2340 0 0 25 0 1 0 21873795 78315520 13772 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19120 13772 364 364 0 18756 0
[pid=9204] vsize: 76480
Current children cumulated CPU time (s) 715.51
Current children cumulated vsize (Kb) 76480

[startup+770.055 s]
Raw data (loadavg): 1.04 0.99 0.93 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 52396 0 0 0 70139 2365 0 0 25 0 1 0 21873795 78450688 13810 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19153 13810 364 364 0 18789 0
[pid=9204] vsize: 76612
Current children cumulated CPU time (s) 725.04
Current children cumulated vsize (Kb) 76612

[startup+780.056 s]
Raw data (loadavg): 1.10 1.00 0.94 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 52654 0 0 0 71055 2392 0 0 18 0 1 0 21873795 78450688 13832 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19153 13832 364 364 0 18789 0
[pid=9204] vsize: 76612
Current children cumulated CPU time (s) 734.47
Current children cumulated vsize (Kb) 76612

[startup+790.056 s]
Raw data (loadavg): 1.09 1.00 0.94 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 53151 0 0 0 71986 2415 0 0 25 0 1 0 21873795 78450688 13857 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19153 13857 364 364 0 18789 0
[pid=9204] vsize: 76612
Current children cumulated CPU time (s) 744.01
Current children cumulated vsize (Kb) 76612

[startup+800.057 s]
Raw data (loadavg): 1.07 1.00 0.94 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 53420 0 0 0 72906 2440 0 0 25 0 1 0 21873795 78581760 13890 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19185 13890 364 364 0 18821 0
[pid=9204] vsize: 76740
Current children cumulated CPU time (s) 753.46
Current children cumulated vsize (Kb) 76740

[startup+810.058 s]
Raw data (loadavg): 1.06 1.00 0.94 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 53688 0 0 0 73827 2468 0 0 25 0 1 0 21873795 78581760 13922 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19185 13922 364 364 0 18821 0
[pid=9204] vsize: 76740
Current children cumulated CPU time (s) 762.95
Current children cumulated vsize (Kb) 76740

[startup+820.058 s]
Raw data (loadavg): 1.05 1.00 0.94 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 53960 0 0 0 74750 2495 0 0 25 0 1 0 21873795 78716928 13958 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9204/statm): 19218 13958 364 364 0 18854 0
[pid=9204] vsize: 76872
Current children cumulated CPU time (s) 772.45
Current children cumulated vsize (Kb) 76872

[startup+830.059 s]
Raw data (loadavg): 1.04 1.00 0.94 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 54456 0 0 0 75680 2518 0 0 25 0 1 0 21873795 78716928 13982 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9204/statm): 19218 13982 364 364 0 18854 0
[pid=9204] vsize: 76872
Current children cumulated CPU time (s) 781.98
Current children cumulated vsize (Kb) 76872

[startup+840.06 s]
Raw data (loadavg): 1.04 1.00 0.94 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 54719 0 0 0 76601 2547 0 0 25 0 1 0 21873795 78716928 14009 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19218 14009 364 364 0 18854 0
[pid=9204] vsize: 76872
Current children cumulated CPU time (s) 791.48
Current children cumulated vsize (Kb) 76872

[startup+850.061 s]
Raw data (loadavg): 1.03 1.00 0.94 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 55220 0 0 0 77534 2568 0 0 25 0 1 0 21873795 78716928 14038 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19218 14038 364 364 0 18854 0
[pid=9204] vsize: 76872
Current children cumulated CPU time (s) 801.02
Current children cumulated vsize (Kb) 76872

[startup+860.062 s]
Raw data (loadavg): 1.02 1.00 0.94 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 55478 0 0 0 78455 2596 0 0 25 0 1 0 21873795 78848000 14060 4294967295 134512640 135987407 3221224560 3221223376 134816535 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19250 14060 364 364 0 18886 0
[pid=9204] vsize: 77000
Current children cumulated CPU time (s) 810.51
Current children cumulated vsize (Kb) 77000

[startup+870.063 s]
Raw data (loadavg): 1.02 1.00 0.94 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 55975 0 0 0 79374 2624 0 0 25 0 1 0 21873795 78848000 14085 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9204/statm): 19250 14085 364 364 0 18886 0
[pid=9204] vsize: 77000
Current children cumulated CPU time (s) 819.98
Current children cumulated vsize (Kb) 77000

[startup+880.064 s]
Raw data (loadavg): 1.02 1.00 0.94 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 56246 0 0 0 80302 2647 0 0 25 0 1 0 21873795 78848000 14120 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19250 14120 364 364 0 18886 0
[pid=9204] vsize: 77000
Current children cumulated CPU time (s) 829.49
Current children cumulated vsize (Kb) 77000

[startup+890.064 s]
Raw data (loadavg): 1.17 1.03 0.95 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 56503 0 0 0 81221 2674 0 0 25 0 1 0 21873795 78983168 14141 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9204/statm): 19283 14141 364 364 0 18919 0
[pid=9204] vsize: 77132
Current children cumulated CPU time (s) 838.95
Current children cumulated vsize (Kb) 77132

[startup+900.065 s]
Raw data (loadavg): 1.14 1.03 0.95 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 57000 0 0 0 82142 2700 0 0 25 0 1 0 21873795 78983168 14166 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19283 14166 364 364 0 18919 0
[pid=9204] vsize: 77132
Current children cumulated CPU time (s) 848.42
Current children cumulated vsize (Kb) 77132

[startup+910.066 s]
Raw data (loadavg): 1.12 1.03 0.95 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 57262 0 0 0 83058 2729 0 0 25 0 1 0 21873795 78983168 14192 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9204/statm): 19283 14192 364 364 0 18919 0
[pid=9204] vsize: 77132
Current children cumulated CPU time (s) 857.87
Current children cumulated vsize (Kb) 77132

[startup+920.067 s]
Raw data (loadavg): 1.10 1.03 0.95 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 57762 0 0 0 83983 2755 0 0 25 0 1 0 21873795 78983168 14220 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19283 14220 364 364 0 18919 0
[pid=9204] vsize: 77132
Current children cumulated CPU time (s) 867.38
Current children cumulated vsize (Kb) 77132

[startup+930.068 s]
Raw data (loadavg): 1.08 1.03 0.95 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 58027 0 0 0 84905 2782 0 0 25 0 1 0 21873795 79114240 14249 4294967295 134512640 135987407 3221224560 3221223408 134790091 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19315 14249 364 364 0 18951 0
[pid=9204] vsize: 77260
Current children cumulated CPU time (s) 876.87
Current children cumulated vsize (Kb) 77260

[startup+940.069 s]
Raw data (loadavg): 1.07 1.03 0.95 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 58540 0 0 0 85830 2810 0 0 25 0 1 0 21873795 79114240 14290 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9204/statm): 19315 14290 364 364 0 18951 0
[pid=9204] vsize: 77260
Current children cumulated CPU time (s) 886.4
Current children cumulated vsize (Kb) 77260

[startup+950.07 s]
Raw data (loadavg): 1.06 1.02 0.95 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 58803 0 0 0 86756 2837 0 0 22 0 1 0 21873795 79249408 14317 4294967295 134512640 135987407 3221224560 3221223280 134813833 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19348 14317 364 364 0 18984 0
[pid=9204] vsize: 77392
Current children cumulated CPU time (s) 895.93
Current children cumulated vsize (Kb) 77392

[startup+960.071 s]
Raw data (loadavg): 1.05 1.02 0.95 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 59305 0 0 0 87687 2860 0 0 25 0 1 0 21873795 79249408 14347 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19348 14347 364 364 0 18984 0
[pid=9204] vsize: 77392
Current children cumulated CPU time (s) 905.47
Current children cumulated vsize (Kb) 77392

[startup+970.071 s]
Raw data (loadavg): 1.04 1.02 0.95 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 59803 0 0 0 88607 2887 0 0 25 0 1 0 21873795 79249408 14373 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19348 14373 364 364 0 18984 0
[pid=9204] vsize: 77392
Current children cumulated CPU time (s) 914.94
Current children cumulated vsize (Kb) 77392

[startup+980.072 s]
Raw data (loadavg): 1.12 1.04 0.95 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 60062 0 0 0 89531 2912 0 0 25 0 1 0 21873795 79380480 14396 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19380 14396 364 364 0 19016 0
[pid=9204] vsize: 77520
Current children cumulated CPU time (s) 924.43
Current children cumulated vsize (Kb) 77520

[startup+990.072 s]
Raw data (loadavg): 1.10 1.04 0.95 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 60322 0 0 0 90457 2937 0 0 25 0 1 0 21873795 79380480 14420 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19380 14420 364 364 0 19016 0
[pid=9204] vsize: 77520
Current children cumulated CPU time (s) 933.94
Current children cumulated vsize (Kb) 77520

[startup+1000.07 s]
Raw data (loadavg): 1.08 1.03 0.95 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 60831 0 0 0 91382 2962 0 0 25 0 1 0 21873795 79380480 14457 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19380 14457 364 364 0 19016 0
[pid=9204] vsize: 77520
Current children cumulated CPU time (s) 943.44
Current children cumulated vsize (Kb) 77520

[startup+1010.07 s]
Raw data (loadavg): 1.07 1.03 0.95 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 61102 0 0 0 92300 2989 0 0 25 0 1 0 21873795 79511552 14492 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19412 14492 364 364 0 19048 0
[pid=9204] vsize: 77648
Current children cumulated CPU time (s) 952.89
Current children cumulated vsize (Kb) 77648

[startup+1020.07 s]
Raw data (loadavg): 1.06 1.03 0.95 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 61603 0 0 0 93223 3014 0 0 25 0 1 0 21873795 79511552 14521 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19412 14521 364 364 0 19048 0
[pid=9204] vsize: 77648
Current children cumulated CPU time (s) 962.37
Current children cumulated vsize (Kb) 77648

[startup+1030.08 s]
Raw data (loadavg): 1.05 1.03 0.95 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 61864 0 0 0 94149 3038 0 0 25 0 1 0 21873795 79511552 14546 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19412 14546 364 364 0 19048 0
[pid=9204] vsize: 77648
Current children cumulated CPU time (s) 971.87
Current children cumulated vsize (Kb) 77648

[startup+1040.08 s]
Raw data (loadavg): 1.04 1.03 0.95 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 62363 0 0 0 95081 3062 0 0 25 0 1 0 21873795 79642624 14573 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9204/statm): 19444 14573 364 364 0 19080 0
[pid=9204] vsize: 77776
Current children cumulated CPU time (s) 981.43
Current children cumulated vsize (Kb) 77776

[startup+1050.08 s]
Raw data (loadavg): 1.03 1.03 0.95 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 62630 0 0 0 96001 3089 0 0 25 0 1 0 21873795 79642624 14604 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19444 14604 364 364 0 19080 0
[pid=9204] vsize: 77776
Current children cumulated CPU time (s) 990.9
Current children cumulated vsize (Kb) 77776

[startup+1060.08 s]
Raw data (loadavg): 1.03 1.03 0.95 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 62897 0 0 0 96936 3112 0 0 25 0 1 0 21873795 79773696 14635 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19476 14635 364 364 0 19112 0
[pid=9204] vsize: 77904
Current children cumulated CPU time (s) 1000.48
Current children cumulated vsize (Kb) 77904

[startup+1070.08 s]
Raw data (loadavg): 1.02 1.02 0.95 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 63174 0 0 0 97862 3138 0 0 25 0 1 0 21873795 79925248 14676 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19513 14676 364 364 0 19149 0
[pid=9204] vsize: 78052
Current children cumulated CPU time (s) 1010
Current children cumulated vsize (Kb) 78052

[startup+1080.08 s]
Raw data (loadavg): 1.02 1.02 0.95 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 63673 0 0 0 98788 3165 0 0 25 0 1 0 21873795 79925248 14703 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19513 14703 364 364 0 19149 0
[pid=9204] vsize: 78052
Current children cumulated CPU time (s) 1019.53
Current children cumulated vsize (Kb) 78052

[startup+1090.08 s]
Raw data (loadavg): 1.02 1.02 0.95 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 63934 0 0 0 99715 3190 0 0 25 0 1 0 21873795 79925248 14728 4294967295 134512640 135987407 3221224560 3221223124 134788428 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19513 14728 364 364 0 19149 0
[pid=9204] vsize: 78052
Current children cumulated CPU time (s) 1029.05
Current children cumulated vsize (Kb) 78052

[startup+1100.08 s]
Raw data (loadavg): 1.01 1.02 0.95 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 64438 0 0 0 100647 3215 0 0 25 0 1 0 21873795 80060416 14760 4294967295 134512640 135987407 3221224560 3221223248 134811803 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9204/statm): 19546 14760 364 364 0 19182 0
[pid=9204] vsize: 78184
Current children cumulated CPU time (s) 1038.62
Current children cumulated vsize (Kb) 78184

[startup+1110.08 s]
Raw data (loadavg): 1.09 1.04 0.96 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 64704 0 0 0 101578 3238 0 0 25 0 1 0 21873795 80060416 14790 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19546 14790 364 364 0 19182 0
[pid=9204] vsize: 78184
Current children cumulated CPU time (s) 1048.16
Current children cumulated vsize (Kb) 78184

[startup+1120.08 s]
Raw data (loadavg): 1.08 1.04 0.96 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 65200 0 0 0 102512 3260 0 0 25 0 1 0 21873795 80060416 14814 4294967295 134512640 135987407 3221224560 3221223376 134876845 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19546 14814 364 364 0 19182 0
[pid=9204] vsize: 78184
Current children cumulated CPU time (s) 1057.72
Current children cumulated vsize (Kb) 78184

[startup+1130.08 s]
Raw data (loadavg): 1.06 1.03 0.96 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 65463 0 0 0 103437 3288 0 0 25 0 1 0 21873795 80060416 14841 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9204/statm): 19546 14841 364 364 0 19182 0
[pid=9204] vsize: 78184
Current children cumulated CPU time (s) 1067.25
Current children cumulated vsize (Kb) 78184

[startup+1140.08 s]
Raw data (loadavg): 1.05 1.03 0.96 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 65730 0 0 0 104359 3313 0 0 25 0 1 0 21873795 80191488 14872 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19578 14872 364 364 0 19214 0
[pid=9204] vsize: 78312
Current children cumulated CPU time (s) 1076.72
Current children cumulated vsize (Kb) 78312

[startup+1150.09 s]
Raw data (loadavg): 1.04 1.03 0.96 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 66228 0 0 0 105287 3337 0 0 25 0 1 0 21873795 80191488 14898 4294967295 134512640 135987407 3221224560 3221223376 134816522 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19578 14898 364 364 0 19214 0
[pid=9204] vsize: 78312
Current children cumulated CPU time (s) 1086.24
Current children cumulated vsize (Kb) 78312

[startup+1160.09 s]
Raw data (loadavg): 1.04 1.03 0.96 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 66487 0 0 0 106223 3357 0 0 25 0 1 0 21873795 80191488 14921 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19578 14921 364 364 0 19214 0
[pid=9204] vsize: 78312
Current children cumulated CPU time (s) 1095.8
Current children cumulated vsize (Kb) 78312

[startup+1170.09 s]
Raw data (loadavg): 1.03 1.03 0.96 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 66769 0 0 0 107150 3381 0 0 25 0 1 0 21873795 80338944 14967 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19614 14967 364 364 0 19250 0
[pid=9204] vsize: 78456
Current children cumulated CPU time (s) 1105.31
Current children cumulated vsize (Kb) 78456

[startup+1180.09 s]
Raw data (loadavg): 1.03 1.03 0.96 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 67273 0 0 0 108079 3404 0 0 25 0 1 0 21873795 80338944 14999 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19614 14999 364 364 0 19250 0
[pid=9204] vsize: 78456
Current children cumulated CPU time (s) 1114.83
Current children cumulated vsize (Kb) 78456

[startup+1190.09 s]
Raw data (loadavg): 1.02 1.03 0.96 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 67537 0 0 0 109010 3429 0 0 25 0 1 0 21873795 80474112 15027 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19647 15027 364 364 0 19283 0
[pid=9204] vsize: 78588
Current children cumulated CPU time (s) 1124.39
Current children cumulated vsize (Kb) 78588

[startup+1200.09 s]
Raw data (loadavg): 1.02 1.02 0.96 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 68033 0 0 0 109936 3454 0 0 25 0 1 0 21873795 81440768 15287 4294967295 134512640 135987407 3221224560 3221222932 134828865 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19883 15287 364 364 0 19519 0
[pid=9204] vsize: 79532
Current children cumulated CPU time (s) 1133.9
Current children cumulated vsize (Kb) 79532

[startup+1210.09 s]
Raw data (loadavg): 1.01 1.02 0.96 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 68296 0 0 0 110869 3477 0 0 25 0 1 0 21873795 80605184 15078 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19679 15078 364 364 0 19315 0
[pid=9204] vsize: 78716
Current children cumulated CPU time (s) 1143.46
Current children cumulated vsize (Kb) 78716

[startup+1220.09 s]
Raw data (loadavg): 1.01 1.02 0.96 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 68567 0 0 0 111796 3501 0 0 25 0 1 0 21873795 80744448 15113 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19713 15113 364 364 0 19349 0
[pid=9204] vsize: 78852
Current children cumulated CPU time (s) 1152.97
Current children cumulated vsize (Kb) 78852

[startup+1230.09 s]
Raw data (loadavg): 1.01 1.02 0.96 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 69063 0 0 0 112731 3523 0 0 25 0 1 0 21873795 80744448 15137 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9204/statm): 19713 15137 364 364 0 19349 0
[pid=9204] vsize: 78852
Current children cumulated CPU time (s) 1162.54
Current children cumulated vsize (Kb) 78852

[startup+1240.09 s]
Raw data (loadavg): 1.01 1.02 0.96 1/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) T 9203 9204 4005 0 -1 0 69314 0 0 0 113650 3551 0 0 25 0 1 0 21873795 80744448 15152 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19713 15152 364 364 0 19349 0
[pid=9204] vsize: 78852
Current children cumulated CPU time (s) 1172.01
Current children cumulated vsize (Kb) 78852

[startup+1250.09 s]
Raw data (loadavg): 1.01 1.02 0.96 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 69339 0 0 0 114574 3574 0 0 25 0 1 0 21873795 80744448 15177 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9204/statm): 19713 15177 364 364 0 19349 0
[pid=9204] vsize: 78852
Current children cumulated CPU time (s) 1181.48
Current children cumulated vsize (Kb) 78852

[startup+1260.09 s]
Raw data (loadavg): 1.00 1.02 0.96 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 69836 0 0 0 115497 3602 0 0 25 0 1 0 21873795 80879616 15202 4294967295 134512640 135987407 3221224560 3221223376 134816538 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9204/statm): 19746 15202 364 364 0 19382 0
[pid=9204] vsize: 78984
Current children cumulated CPU time (s) 1190.99
Current children cumulated vsize (Kb) 78984

[startup+1270.09 s]
Raw data (loadavg): 1.00 1.02 0.96 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 70097 0 0 0 116421 3630 0 0 19 0 1 0 21873795 80879616 15227 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9204/statm): 19746 15227 364 364 0 19382 0
[pid=9204] vsize: 78984
Current children cumulated CPU time (s) 1200.51
Current children cumulated vsize (Kb) 78984



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1270.1 s]
Raw data (loadavg): 1.00 1.02 0.96 2/55 9204
Raw data (/proc/9204/stat): 9204 (pb2sat) R 9203 9204 4005 0 -1 0 70097 0 0 0 116421 3630 0 0 19 0 1 0 21873795 80879616 15227 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9204/statm): 19746 15227 364 364 0 19382 0
[pid=9204] vsize: 78984
Current children cumulated CPU time (s) 1200.51
Current children cumulated vsize (Kb) 78984

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

Child status: 0
Real time (s): 1270.32
CPU time (s): 1200.74
CPU user time (s): 1164.41
CPU system time (s): 36.3345
CPU usage (%): 94.5227
Max. virtual memory (cumulated for all children) (Kb): 79532

Verifier Data

ERROR: no interpretation found !