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:3-13,25,26.opb
MD5SUM85cf0fb6ed84e77eea7ef88259fe2fe8
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 benchmark26.345
Number of variables4644
Total number of constraints35898
Number of constraints which are clauses30228
Number of constraints which are cardinality constraints (but not clauses)5592
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint1
Maximum length of a constraint29

Trace number 9933

Launcher Data

LAUNCH ON wulflinc1 THE 2005-09-23 15:53:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8595 boxname=wulflinc1 idbench=391 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  85cf0fb6ed84e77eea7ef88259fe2fe8  /oldhome/oroussel/tmp/wulflinc1/normalized-ppp:3-13,25,26.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc1/normalized-ppp:3-13,25,26.opb
IDLAUNCH: 8595
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.228
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	: 2
cpu MHz		: 451.228
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:        885500 kB
Buffers:         12792 kB
Cached:         118720 kB
SwapCached:          0 kB
Active:          77756 kB
Inactive:        56676 kB
HighTotal:      131008 kB
HighFree:        15848 kB
LowTotal:       903652 kB
LowFree:        869652 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6988 kB
Slab:             9140 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 16:15:08 (client local time) WITH STATUS 0 IN 1201.94 SECONDS
stats: 8595 7 1201.94 0

Solver Data

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

c Decision: 7830/28776	Time: 31.0413/86400
c Decision: 7830/28776	Time: 35.8196/86400
c Decision: 7830/28776	Time: 40.8288/86400
c Decision: 7830/28776	Time: 45.811/86400
c Decision: 7830/28776	Time: 51.1862/86400
c Decision: 7830/28776	Time: 56.7144/86400
c Decision: 7830/28776	Time: 63.0344/86400
c Decision: 7830/28776	Time: 69.2285/86400
c Decision: 7830/28776	Time: 74.7246/86400
c Decision: 7830/28776	Time: 79.7619/86400
c Decision: 7830/28776	Time: 85.701/86400
c Decision: 7830/28776	Time: 91.4411/86400
c Decision: 7830/28776	Time: 97.2042/86400
c Decision: 7830/28776	Time: 102.665/86400
c Decision: 7830/28776	Time: 108.658/86400
c Decision: 7830/28776	Time: 114.413/86400
c Decision: 7830/28776	Time: 120.499/86400
c Decision: 7830/28776	Time: 126.196/86400
c Decision: 7830/28776	Time: 131.532/86400
c Decision: 7830/28776	Time: 137.666/86400
c Decision: 7830/28776	Time: 143.389/86400
c Decision: 7830/28776	Time: 148.682/86400
c Decision: 7830/28776	Time: 154.671/86400
c Decision: 7830/28776	Time: 162.349/86400
c Decision: 7830/28776	Time: 169.058/86400
c Decision: 7830/28776	Time: 175.876/86400
c Decision: 7830/28776	Time: 182.397/86400
c Decision: 7830/28776	Time: 189.289/86400
c Decision: 7830/28776	Time: 195.846/86400
c Decision: 7830/28776	Time: 202.148/86400
c Decision: 7830/28776	Time: 210.139/86400
c Decision: 7830/28776	Time: 216.99/86400
c Decision: 7830/28776	Time: 223.985/86400
c Decision: 7830/28776	Time: 232.303/86400
c Decision: 7830/28776	Time: 239.954/86400
c Decision: 7830/28776	Time: 247.346/86400
c Decision: 7830/28776	Time: 254.23/86400
c Decision: 7830/28776	Time: 260.395/86400
c Decision: 7830/28776	Time: 267.281/86400
c Decision: 7830/28776	Time: 273.26/86400
c Decision: 7830/28776	Time: 279.849/86400
c Decision: 7830/28776	Time: 285.226/86400
c Decision: 7830/28776	Time: 292.076/86400
c Decision: 7830/28776	Time: 297.874/86400
c Decision: 7830/28776	Time: 305.413/86400
c Decision: 7830/28776	Time: 312.56/86400
c Decision: 7830/28776	Time: 319.255/86400
c Decision: 7830/28776	Time: 326.032/86400
c Decision: 7830/28776	Time: 332.756/86400
c Decision: 7830/28776	Time: 339.618/86400
c Decision: 7830/28776	Time: 346.587/86400
c Decision: 7830/28776	Time: 354.331/86400
c Decision: 7830/28776	Time: 362.151/86400
c Decision: 7830/28776	Time: 368.693/86400
c Decision: 7830/28776	Time: 375.831/86400
c Decision: 7830/28776	Time: 384.204/86400
c Decision: 7830/28776	Time: 392.036/86400
c Decision: 7830/28776	Time: 399.772/86400
c Decision: 7830/28776	Time: 407.408/86400
c Decision: 7830/28776	Time: 415.627/86400
c Decision: 7830/28776	Time: 424.291/86400
c Decision: 7830/28776	Time: 431.949/86400
c Decision: 7830/28776	Time: 439.646/86400
c Decision: 7830/28776	Time: 448.435/86400
c Decision: 7830/28776	Time: 456.52/86400
c Decision: 7830/28776	Time: 464.654/86400
c Decision: 7830/28776	Time: 472.921/86400
c Decision: 7830/28776	Time: 480.839/86400
c Decision: 7830/28776	Time: 488.752/86400
c Decision: 7830/28776	Time: 496.884/86400
c Decision: 7830/28776	Time: 503.723/86400
c Decision: 7830/28776	Time: 512.254/86400
c Decision: 7830/28776	Time: 521.27/86400
c Decision: 7830/28776	Time: 530.317/86400
c Decision: 7830/28776	Time: 539.406/86400
c Decision: 7830/28776	Time: 548.173/86400
c Decision: 7830/28776	Time: 556.215/86400
c Decision: 7830/28776	Time: 564.884/86400
c Decision: 7830/28776	Time: 572.758/86400
c Decision: 7830/28776	Time: 581.539/86400
c Decision: 7830/28776	Time: 589.83/86400
c Decision: 7830/28776	Time: 598.645/86400
c Decision: 7830/28776	Time: 607.773/86400
c Decision: 7830/28776	Time: 616.46/86400
c Decision: 7830/28776	Time: 625.125/86400
c Decision: 7830/28776	Time: 633.766/86400
c Decision: 7830/28776	Time: 643.961/86400
c Decision: 7830/28776	Time: 653.475/86400
c Decision: 7830/28776	Time: 660.769/86400
c Decision: 7830/28776	Time: 669.14/86400
c Decision: 7830/28776	Time: 676.394/86400
c Decision: 7830/28776	Time: 683.979/86400
c Decision: 7830/28776	Time: 691.304/86400
c Decision: 7830/28776	Time: 700.375/86400
c Decision: 7830/28776	Time: 708.822/86400
c Decision: 7830/28776	Time: 716.564/86400
c Decision: 7830/28776	Time: 723.507/86400
c Decision: 7830/28776	Time: 731.782/86400
c Decision: 7830/28776	Time: 739.757/86400
c Decision: 7830/28776	Time: 747.802/86400
c Decision: 7830/28776	Time: 756.975/86400
c Decision: 7830/28776	Time: 765.187/86400
c Decision: 7830/28776	Time: 773.324/86400
c Decision: 7830/28776	Time: 781.743/86400
c Decision: 7830/28776	Time: 791.34/86400
c Decision: 7830/28776	Time: 800.603/86400
c Decision: 7830/28776	Time: 810.998/86400
c Decision: 7830/28776	Time: 817.916/86400
c Decision: 7830/28776	Time: 825.356/86400
c Decision: 7830/28776	Time: 833.946/86400
c Decision: 7830/28776	Time: 842.697/86400
c Decision: 7830/28776	Time: 850.799/86400
c Decision: 7830/28776	Time: 860.302/86400
c Decision: 7830/28776	Time: 870.952/86400
c Decision: 7830/28776	Time: 879.4/86400
c Decision: 7830/28776	Time: 888.538/86400
c Decision: 7830/28776	Time: 898.844/86400
c Decision: 7830/28776	Time: 910.152/86400
c Decision: 7830/28776	Time: 919.714/86400
c Decision: 7830/28776	Time: 929.889/86400
c Decision: 7830/28776	Time: 941.275/86400
c Decision: 7830/28776	Time: 951.227/86400
c Decision: 7830/28776	Time: 960.884/86400
c Decision: 7830/28776	Time: 970.086/86400
c Decision: 7830/28776	Time: 980.189/86400
c Decision: 7830/28776	Time: 993.658/86400
c Decision: 7830/28776	Time: 1004.86/86400
c Decision: 7830/28776	Time: 1016.15/86400
c Decision: 7830/28776	Time: 1026.45/86400
c Decision: 7830/28776	Time: 1035.83/86400
c Decision: 7830/28776	Time: 1046.44/86400
c Decision: 7830/28776	Time: 1056.86/86400
c Decision: 7830/28776	Time: 1066.39/86400
c Decision: 7830/28776	Time: 1078.12/86400
c Decision: 7830/28776	Time: 1088.93/86400
c Decision: 7830/28776	Time: 1098.82/86400
c Decision: 7830/28776	Time: 1109.59/86400
c Decision: 7830/28776	Time: 1121.2/86400
c Decision: 7830/28776	Time: 1132.98/86400
c Decision: 7830/28776	Time: 1143.59/86400
c Decision: 7830/28776	Time: 1155.35/86400
c Decision: 7830/28776	Time: 1164.08/86400
c Decision: 7830/28776	Time: 1175.83/86400
c Decision: 7830/28776	Time: 1188.13/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/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21438723 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 373 2 364 364 0 9 0
[pid=9233] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc1/normalized-ppp:3-13,25,26.opb

[startup+10.0015 s]
Raw data (loadavg): 0.93 0.95 0.94 1/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 4359 0 0 0 886 45 0 0 25 0 1 0 21438723 13950976 2972 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9233/statm): 3406 2972 364 364 0 3042 0
[pid=9233] vsize: 13624
Current children cumulated CPU time (s) 9.31
Current children cumulated vsize (Kb) 13624

[startup+20.0033 s]
Raw data (loadavg): 0.94 0.96 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 4561 0 0 0 1740 91 0 0 17 0 1 0 21438723 16453632 3174 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 4017 3174 364 364 0 3653 0
[pid=9233] vsize: 16068
Current children cumulated CPU time (s) 18.31
Current children cumulated vsize (Kb) 16068

[startup+30.0041 s]
Raw data (loadavg): 0.95 0.96 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 4680 0 0 0 2584 143 0 0 25 0 1 0 21438723 16588800 3293 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9233/statm): 4050 3293 364 364 0 3686 0
[pid=9233] vsize: 16200
Current children cumulated CPU time (s) 27.27
Current children cumulated vsize (Kb) 16200

[startup+40.0039 s]
Raw data (loadavg): 0.95 0.96 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 4861 0 0 0 3430 193 0 0 22 0 1 0 21438723 16859136 3417 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 4116 3417 364 364 0 3752 0
[pid=9233] vsize: 16464
Current children cumulated CPU time (s) 36.23
Current children cumulated vsize (Kb) 16464

[startup+50.0047 s]
Raw data (loadavg): 0.96 0.96 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 5022 0 0 0 4265 247 0 0 25 0 1 0 21438723 17362944 3521 4294967295 134512640 135987407 3221224560 3221222928 134827528 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 4239 3521 364 364 0 3875 0
[pid=9233] vsize: 16956
Current children cumulated CPU time (s) 45.12
Current children cumulated vsize (Kb) 16956

[startup+60.0044 s]
Raw data (loadavg): 0.97 0.96 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 5047 0 0 0 5103 297 0 0 25 0 1 0 21438723 17129472 3489 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 4182 3489 364 364 0 3818 0
[pid=9233] vsize: 16728
Current children cumulated CPU time (s) 54
Current children cumulated vsize (Kb) 16728

[startup+70.0053 s]
Raw data (loadavg): 0.97 0.96 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 5232 0 0 0 5939 349 0 0 20 0 1 0 21438723 17264640 3560 4294967295 134512640 135987407 3221224560 3221223136 134788820 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 4215 3560 364 364 0 3851 0
[pid=9233] vsize: 16860
Current children cumulated CPU time (s) 62.88
Current children cumulated vsize (Kb) 16860

[startup+80.006 s]
Raw data (loadavg): 1.05 0.98 0.94 1/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 5322 0 0 0 6776 400 0 0 25 0 1 0 21438723 17399808 3593 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9233/statm): 4248 3593 364 364 0 3884 0
[pid=9233] vsize: 16992
Current children cumulated CPU time (s) 71.76
Current children cumulated vsize (Kb) 16992

[startup+90.0058 s]
Raw data (loadavg): 1.04 0.98 0.94 1/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 5469 0 0 0 7615 455 0 0 24 0 1 0 21438723 17534976 3626 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9233/statm): 4281 3626 364 364 0 3917 0
[pid=9233] vsize: 17124
Current children cumulated CPU time (s) 80.7
Current children cumulated vsize (Kb) 17124

[startup+100.007 s]
Raw data (loadavg): 1.03 0.98 0.94 1/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 5581 0 0 0 8472 503 0 0 25 0 1 0 21438723 17534976 3681 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9233/statm): 4281 3681 364 364 0 3917 0
[pid=9233] vsize: 17124
Current children cumulated CPU time (s) 89.75
Current children cumulated vsize (Kb) 17124

[startup+110.007 s]
Raw data (loadavg): 1.03 0.98 0.94 1/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 5730 0 0 0 9313 556 0 0 25 0 1 0 21438723 17670144 3716 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9233/statm): 4314 3716 364 364 0 3950 0
[pid=9233] vsize: 17256
Current children cumulated CPU time (s) 98.69
Current children cumulated vsize (Kb) 17256

[startup+120.008 s]
Raw data (loadavg): 1.02 0.98 0.94 1/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 5873 0 0 0 10161 606 0 0 19 0 1 0 21438723 17805312 3745 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9233/statm): 4347 3745 364 364 0 3983 0
[pid=9233] vsize: 17388
Current children cumulated CPU time (s) 107.67
Current children cumulated vsize (Kb) 17388

[startup+130.009 s]
Raw data (loadavg): 1.02 0.98 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 6735 0 0 0 11006 658 0 0 25 0 1 0 21438723 20951040 3781 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 5115 3781 364 364 0 4751 0
[pid=9233] vsize: 20460
Current children cumulated CPU time (s) 116.64
Current children cumulated vsize (Kb) 20460

[startup+140.01 s]
Raw data (loadavg): 1.02 0.98 0.94 1/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 6895 0 0 0 11862 705 0 0 25 0 1 0 21438723 21086208 3827 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9233/statm): 5148 3827 364 364 0 4784 0
[pid=9233] vsize: 20592
Current children cumulated CPU time (s) 125.67
Current children cumulated vsize (Kb) 20592

[startup+150.011 s]
Raw data (loadavg): 1.01 0.98 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 7010 0 0 0 12726 749 0 0 25 0 1 0 21438723 21221376 3885 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9233/statm): 5181 3885 364 364 0 4817 0
[pid=9233] vsize: 20724
Current children cumulated CPU time (s) 134.75
Current children cumulated vsize (Kb) 20724

[startup+160.01 s]
Raw data (loadavg): 1.01 0.98 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 7195 0 0 0 13590 797 0 0 25 0 1 0 21438723 21356544 3956 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 5214 3956 364 364 0 4850 0
[pid=9233] vsize: 20856
Current children cumulated CPU time (s) 143.87
Current children cumulated vsize (Kb) 20856

[startup+170.011 s]
Raw data (loadavg): 1.01 0.98 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 7301 0 0 0 14457 843 0 0 25 0 1 0 21438723 21356544 4005 4294967295 134512640 135987407 3221224560 3221223248 134812194 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 5214 4005 364 364 0 4850 0
[pid=9233] vsize: 20856
Current children cumulated CPU time (s) 153
Current children cumulated vsize (Kb) 20856

[startup+180.012 s]
Raw data (loadavg): 1.01 0.98 0.94 1/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 7392 0 0 0 15312 892 0 0 25 0 1 0 21438723 21491712 4039 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9233/statm): 5247 4039 364 364 0 4883 0
[pid=9233] vsize: 20988
Current children cumulated CPU time (s) 162.04
Current children cumulated vsize (Kb) 20988

[startup+190.013 s]
Raw data (loadavg): 1.01 0.98 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 7493 0 0 0 16168 937 0 0 25 0 1 0 21438723 21626880 4083 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 5280 4083 364 364 0 4916 0
[pid=9233] vsize: 21120
Current children cumulated CPU time (s) 171.05
Current children cumulated vsize (Kb) 21120

[startup+200.013 s]
Raw data (loadavg): 1.00 0.98 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 7671 0 0 0 17033 980 0 0 25 0 1 0 21438723 21762048 4147 4294967295 134512640 135987407 3221224560 3221223376 134876866 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 5313 4147 364 364 0 4949 0
[pid=9233] vsize: 21252
Current children cumulated CPU time (s) 180.13
Current children cumulated vsize (Kb) 21252

[startup+210.013 s]
Raw data (loadavg): 1.00 0.98 0.94 1/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 7763 0 0 0 17879 1027 0 0 24 0 1 0 21438723 21762048 4182 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9233/statm): 5313 4182 364 364 0 4949 0
[pid=9233] vsize: 21252
Current children cumulated CPU time (s) 189.06
Current children cumulated vsize (Kb) 21252

[startup+220.014 s]
Raw data (loadavg): 1.00 0.98 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 7842 0 0 0 18746 1073 0 0 19 0 1 0 21438723 21897216 4204 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 5346 4204 364 364 0 4982 0
[pid=9233] vsize: 21384
Current children cumulated CPU time (s) 198.19
Current children cumulated vsize (Kb) 21384

[startup+230.015 s]
Raw data (loadavg): 1.00 0.98 0.94 1/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 8013 0 0 0 19618 1115 0 0 25 0 1 0 21438723 22032384 4261 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9233/statm): 5379 4261 364 364 0 5015 0
[pid=9233] vsize: 21516
Current children cumulated CPU time (s) 207.33
Current children cumulated vsize (Kb) 21516

[startup+240.015 s]
Raw data (loadavg): 1.00 0.98 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 8117 0 0 0 20470 1164 0 0 24 0 1 0 21438723 22032384 4308 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 5379 4308 364 364 0 5015 0
[pid=9233] vsize: 21516
Current children cumulated CPU time (s) 216.34
Current children cumulated vsize (Kb) 21516

[startup+250.015 s]
Raw data (loadavg): 1.00 0.98 0.94 1/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 8193 0 0 0 21334 1210 0 0 25 0 1 0 21438723 22167552 4327 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9233/statm): 5412 4327 364 364 0 5048 0
[pid=9233] vsize: 21648
Current children cumulated CPU time (s) 225.44
Current children cumulated vsize (Kb) 21648

[startup+260.016 s]
Raw data (loadavg): 1.00 0.98 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 8277 0 0 0 22200 1256 0 0 25 0 1 0 21438723 22167552 4354 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 5412 4354 364 364 0 5048 0
[pid=9233] vsize: 21648
Current children cumulated CPU time (s) 234.56
Current children cumulated vsize (Kb) 21648

[startup+270.017 s]
Raw data (loadavg): 1.00 0.98 0.94 1/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 8349 0 0 0 23067 1299 0 0 25 0 1 0 21438723 22302720 4369 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9233/statm): 5445 4369 364 364 0 5081 0
[pid=9233] vsize: 21780
Current children cumulated CPU time (s) 243.66
Current children cumulated vsize (Kb) 21780

[startup+280.018 s]
Raw data (loadavg): 1.00 0.98 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 8511 0 0 0 23927 1343 0 0 24 0 1 0 21438723 22302720 4417 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 5445 4417 364 364 0 5081 0
[pid=9233] vsize: 21780
Current children cumulated CPU time (s) 252.7
Current children cumulated vsize (Kb) 21780

[startup+290.019 s]
Raw data (loadavg): 1.00 0.98 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 8584 0 0 0 24798 1385 0 0 25 0 1 0 21438723 22437888 4433 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 5478 4433 364 364 0 5114 0
[pid=9233] vsize: 21912
Current children cumulated CPU time (s) 261.83
Current children cumulated vsize (Kb) 21912

[startup+300.019 s]
Raw data (loadavg): 1.00 0.98 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 8677 0 0 0 25676 1425 0 0 25 0 1 0 21438723 22437888 4469 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 5478 4469 364 364 0 5114 0
[pid=9233] vsize: 21912
Current children cumulated CPU time (s) 271.01
Current children cumulated vsize (Kb) 21912

[startup+310.019 s]
Raw data (loadavg): 1.00 0.98 0.94 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 8859 0 0 0 26541 1467 0 0 25 0 1 0 21438723 22573056 4537 4294967295 134512640 135987407 3221224560 3221223248 134811995 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 5511 4537 364 364 0 5147 0
[pid=9233] vsize: 22044
Current children cumulated CPU time (s) 280.08
Current children cumulated vsize (Kb) 22044

[startup+320.02 s]
Raw data (loadavg): 1.08 0.99 0.95 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 8964 0 0 0 27413 1510 0 0 25 0 1 0 21438723 22708224 4585 4294967295 134512640 135987407 3221224560 3221223132 134801609 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 5544 4585 364 364 0 5180 0
[pid=9233] vsize: 22176
Current children cumulated CPU time (s) 289.23
Current children cumulated vsize (Kb) 22176

[startup+330.021 s]
Raw data (loadavg): 1.07 0.99 0.95 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 9115 0 0 0 28280 1554 0 0 25 0 1 0 21438723 22843392 4622 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9233/statm): 5577 4622 364 364 0 5213 0
[pid=9233] vsize: 22308
Current children cumulated CPU time (s) 298.34
Current children cumulated vsize (Kb) 22308

[startup+340.021 s]
Raw data (loadavg): 1.06 0.99 0.95 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 9197 0 0 0 29152 1599 0 0 25 0 1 0 21438723 22843392 4647 4294967295 134512640 135987407 3221224560 3221223248 134788831 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 5577 4647 364 364 0 5213 0
[pid=9233] vsize: 22308
Current children cumulated CPU time (s) 307.51
Current children cumulated vsize (Kb) 22308

[startup+350.021 s]
Raw data (loadavg): 1.05 0.99 0.95 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 9365 0 0 0 30030 1638 0 0 25 0 1 0 21438723 27406336 4758 4294967295 134512640 135987407 3221224560 3221222976 134827609 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 6691 4758 364 364 0 6327 0
[pid=9233] vsize: 26764
Current children cumulated CPU time (s) 316.68
Current children cumulated vsize (Kb) 26764

[startup+360.022 s]
Raw data (loadavg): 1.04 0.99 0.95 1/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 9442 0 0 0 30909 1681 0 0 25 0 1 0 21438723 27172864 4721 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9233/statm): 6634 4721 364 364 0 6270 0
[pid=9233] vsize: 26536
Current children cumulated CPU time (s) 325.9
Current children cumulated vsize (Kb) 26536

[startup+370.023 s]
Raw data (loadavg): 1.03 0.99 0.95 1/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 9529 0 0 0 31781 1724 0 0 25 0 1 0 21438723 27308032 4751 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9233/statm): 6667 4751 364 364 0 6303 0
[pid=9233] vsize: 26668
Current children cumulated CPU time (s) 335.05
Current children cumulated vsize (Kb) 26668

[startup+380.024 s]
Raw data (loadavg): 1.03 0.99 0.95 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 9694 0 0 0 32666 1762 0 0 25 0 1 0 21438723 27443200 4802 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 6700 4802 364 364 0 6336 0
[pid=9233] vsize: 26800
Current children cumulated CPU time (s) 344.28
Current children cumulated vsize (Kb) 26800

[startup+390.024 s]
Raw data (loadavg): 1.02 0.99 0.95 2/55 9233
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 9801 0 0 0 33551 1803 0 0 25 0 1 0 21438723 27443200 4852 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 6700 4852 364 364 0 6336 0
[pid=9233] vsize: 26800
Current children cumulated CPU time (s) 353.54
Current children cumulated vsize (Kb) 26800

[startup+400.025 s]
Raw data (loadavg): 1.02 0.99 0.95 1/56 9234
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 9890 0 0 0 34434 1843 0 0 23 0 1 0 21438723 27578368 4884 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9233/statm): 6733 4884 364 364 0 6369 0
[pid=9233] vsize: 26932
Current children cumulated CPU time (s) 362.77
Current children cumulated vsize (Kb) 26932

[startup+410.025 s]
Raw data (loadavg): 1.02 0.99 0.95 1/55 9288
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 9983 0 0 0 35300 1885 0 0 25 0 1 0 21438723 27713536 4920 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9233/statm): 6766 4920 364 364 0 6402 0
[pid=9233] vsize: 27064
Current children cumulated CPU time (s) 371.85
Current children cumulated vsize (Kb) 27064

[startup+420.026 s]
Raw data (loadavg): 1.01 0.99 0.95 1/55 9288
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 10163 0 0 0 36185 1923 0 0 25 0 1 0 21438723 27713536 4986 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9233/statm): 6766 4986 364 364 0 6402 0
[pid=9233] vsize: 27064
Current children cumulated CPU time (s) 381.08
Current children cumulated vsize (Kb) 27064

[startup+430.027 s]
Raw data (loadavg): 1.01 0.99 0.95 1/55 9288
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 10267 0 0 0 37065 1963 0 0 25 0 1 0 21438723 27848704 5033 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9233/statm): 6799 5033 364 364 0 6435 0
[pid=9233] vsize: 27196
Current children cumulated CPU time (s) 390.28
Current children cumulated vsize (Kb) 27196

[startup+440.027 s]
Raw data (loadavg): 1.09 1.01 0.95 2/55 9288
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 10355 0 0 0 37956 1998 0 0 25 0 1 0 21438723 27848704 5064 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 6799 5064 364 364 0 6435 0
[pid=9233] vsize: 27196
Current children cumulated CPU time (s) 399.54
Current children cumulated vsize (Kb) 27196

[startup+450.028 s]
Raw data (loadavg): 1.07 1.01 0.95 1/55 9288
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 10427 0 0 0 38835 2036 0 0 25 0 1 0 21438723 27983872 5079 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9233/statm): 6832 5079 364 364 0 6468 0
[pid=9233] vsize: 27328
Current children cumulated CPU time (s) 408.71
Current children cumulated vsize (Kb) 27328

[startup+460.029 s]
Raw data (loadavg): 1.06 1.01 0.95 2/55 9290
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 10531 0 0 0 39716 2073 0 0 25 0 1 0 21438723 27983872 5126 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 6832 5126 364 364 0 6468 0
[pid=9233] vsize: 27328
Current children cumulated CPU time (s) 417.89
Current children cumulated vsize (Kb) 27328

[startup+470.03 s]
Raw data (loadavg): 1.05 1.01 0.95 1/55 9290
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 10642 0 0 0 40602 2109 0 0 25 0 1 0 21438723 28119040 5180 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9233/statm): 6865 5180 364 364 0 6501 0
[pid=9233] vsize: 27460
Current children cumulated CPU time (s) 427.11
Current children cumulated vsize (Kb) 27460

[startup+480.031 s]
Raw data (loadavg): 1.04 1.01 0.95 1/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 10787 0 0 0 41486 2146 0 0 25 0 1 0 21438723 28119040 5211 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9233/statm): 6865 5211 364 364 0 6501 0
[pid=9233] vsize: 27460
Current children cumulated CPU time (s) 436.32
Current children cumulated vsize (Kb) 27460

[startup+490.03 s]
Raw data (loadavg): 1.04 1.01 0.95 1/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 10870 0 0 0 42371 2185 0 0 23 0 1 0 21438723 28254208 5237 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9233/statm): 6898 5237 364 364 0 6534 0
[pid=9233] vsize: 27592
Current children cumulated CPU time (s) 445.56
Current children cumulated vsize (Kb) 27592

[startup+500.031 s]
Raw data (loadavg): 1.03 1.01 0.95 1/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 10945 0 0 0 43252 2226 0 0 25 0 1 0 21438723 28254208 5255 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9233/statm): 6898 5255 364 364 0 6534 0
[pid=9233] vsize: 27592
Current children cumulated CPU time (s) 454.78
Current children cumulated vsize (Kb) 27592

[startup+510.031 s]
Raw data (loadavg): 1.02 1.00 0.95 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 11025 0 0 0 44136 2262 0 0 25 0 1 0 21438723 28389376 5278 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9233/statm): 6931 5278 364 364 0 6567 0
[pid=9233] vsize: 27724
Current children cumulated CPU time (s) 463.98
Current children cumulated vsize (Kb) 27724

[startup+520.031 s]
Raw data (loadavg): 1.02 1.00 0.95 1/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 11114 0 0 0 45024 2300 0 0 25 0 1 0 21438723 28389376 5310 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9233/statm): 6931 5310 364 364 0 6567 0
[pid=9233] vsize: 27724
Current children cumulated CPU time (s) 473.24
Current children cumulated vsize (Kb) 27724

[startup+530.032 s]
Raw data (loadavg): 1.02 1.00 0.95 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 11194 0 0 0 45914 2338 0 0 25 0 1 0 21438723 28389376 5333 4294967295 134512640 135987407 3221224560 3221223312 134801266 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 6931 5333 364 364 0 6567 0
[pid=9233] vsize: 27724
Current children cumulated CPU time (s) 482.52
Current children cumulated vsize (Kb) 27724

[startup+540.031 s]
Raw data (loadavg): 1.01 1.00 0.95 1/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 11271 0 0 0 46804 2374 0 0 25 0 1 0 21438723 28524544 5353 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9233/statm): 6964 5353 364 364 0 6600 0
[pid=9233] vsize: 27856
Current children cumulated CPU time (s) 491.78
Current children cumulated vsize (Kb) 27856

[startup+550.032 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 11341 0 0 0 47692 2411 0 0 25 0 1 0 21438723 28524544 5366 4294967295 134512640 135987407 3221224560 3221223280 134814085 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 6964 5366 364 364 0 6600 0
[pid=9233] vsize: 27856
Current children cumulated CPU time (s) 501.03
Current children cumulated vsize (Kb) 27856

[startup+560.033 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 11505 0 0 0 48588 2448 0 0 25 0 1 0 21438723 28659712 5416 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9233/statm): 6997 5416 364 364 0 6633 0
[pid=9233] vsize: 27988
Current children cumulated CPU time (s) 510.36
Current children cumulated vsize (Kb) 27988

[startup+570.033 s]
Raw data (loadavg): 1.01 1.00 0.95 1/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 11578 0 0 0 49476 2486 0 0 25 0 1 0 21438723 28659712 5432 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9233/statm): 6997 5432 364 364 0 6633 0
[pid=9233] vsize: 27988
Current children cumulated CPU time (s) 519.62
Current children cumulated vsize (Kb) 27988

[startup+580.033 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 11653 0 0 0 50363 2525 0 0 24 0 1 0 21438723 28794880 5450 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7030 5450 364 364 0 6666 0
[pid=9233] vsize: 28120
Current children cumulated CPU time (s) 528.88
Current children cumulated vsize (Kb) 28120

[startup+590.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 11733 0 0 0 51253 2562 0 0 25 0 1 0 21438723 28794880 5473 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7030 5473 364 364 0 6666 0
[pid=9233] vsize: 28120
Current children cumulated CPU time (s) 538.15
Current children cumulated vsize (Kb) 28120

[startup+600.034 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 11817 0 0 0 52147 2594 0 0 25 0 1 0 21438723 28794880 5500 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9233/statm): 7030 5500 364 364 0 6666 0
[pid=9233] vsize: 28120
Current children cumulated CPU time (s) 547.41
Current children cumulated vsize (Kb) 28120

[startup+610.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 11917 0 0 0 53043 2626 0 0 25 0 1 0 21438723 28930048 5543 4294967295 134512640 135987407 3221224560 3221223248 134811852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 7063 5543 364 364 0 6699 0
[pid=9233] vsize: 28252
Current children cumulated CPU time (s) 556.69
Current children cumulated vsize (Kb) 28252

[startup+620.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 11989 0 0 0 53941 2660 0 0 25 0 1 0 21438723 28930048 5558 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7063 5558 364 364 0 6699 0
[pid=9233] vsize: 28252
Current children cumulated CPU time (s) 566.01
Current children cumulated vsize (Kb) 28252

[startup+630.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 12068 0 0 0 54841 2694 0 0 25 0 1 0 21438723 29065216 5580 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7096 5580 364 364 0 6732 0
[pid=9233] vsize: 28384
Current children cumulated CPU time (s) 575.35
Current children cumulated vsize (Kb) 28384

[startup+640.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 12176 0 0 0 55732 2732 0 0 25 0 1 0 21438723 29065216 5631 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7096 5631 364 364 0 6732 0
[pid=9233] vsize: 28384
Current children cumulated CPU time (s) 584.64
Current children cumulated vsize (Kb) 28384

[startup+650.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 12340 0 0 0 56629 2766 0 0 25 0 1 0 21438723 29200384 5681 4294967295 134512640 135987407 3221224560 3221223376 134876948 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7129 5681 364 364 0 6765 0
[pid=9233] vsize: 28516
Current children cumulated CPU time (s) 593.95
Current children cumulated vsize (Kb) 28516

[startup+660.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 12419 0 0 0 57525 2799 0 0 25 0 1 0 21438723 29200384 5703 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7129 5703 364 364 0 6765 0
[pid=9233] vsize: 28516
Current children cumulated CPU time (s) 603.24
Current children cumulated vsize (Kb) 28516

[startup+670.038 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 12491 0 0 0 58417 2834 0 0 25 0 1 0 21438723 29200384 5718 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7129 5718 364 364 0 6765 0
[pid=9233] vsize: 28516
Current children cumulated CPU time (s) 612.51
Current children cumulated vsize (Kb) 28516

[startup+680.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 12568 0 0 0 59314 2867 0 0 25 0 1 0 21438723 29339648 5738 4294967295 134512640 135987407 3221224560 3221223248 134811896 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 7163 5738 364 364 0 6799 0
[pid=9233] vsize: 28652
Current children cumulated CPU time (s) 621.81
Current children cumulated vsize (Kb) 28652

[startup+690.038 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 12672 0 0 0 60211 2900 0 0 21 0 1 0 21438723 29339648 5785 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7163 5785 364 364 0 6799 0
[pid=9233] vsize: 28652
Current children cumulated CPU time (s) 631.11
Current children cumulated vsize (Kb) 28652

[startup+700.039 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 12779 0 0 0 61104 2934 0 0 25 0 1 0 21438723 29478912 5835 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7197 5835 364 364 0 6833 0
[pid=9233] vsize: 28788
Current children cumulated CPU time (s) 640.38
Current children cumulated vsize (Kb) 28788

[startup+710.04 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 12850 0 0 0 61995 2969 0 0 25 0 1 0 21438723 29478912 5849 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9233/statm): 7197 5849 364 364 0 6833 0
[pid=9233] vsize: 28788
Current children cumulated CPU time (s) 649.64
Current children cumulated vsize (Kb) 28788

[startup+720.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9294
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 12923 0 0 0 62884 3003 0 0 25 0 1 0 21438723 29614080 5865 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7230 5865 364 364 0 6866 0
[pid=9233] vsize: 28920
Current children cumulated CPU time (s) 658.87
Current children cumulated vsize (Kb) 28920

[startup+730.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 12994 0 0 0 63783 3039 0 0 25 0 1 0 21438723 29614080 5879 4294967295 134512640 135987407 3221224560 3221223248 134811873 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7230 5879 364 364 0 6866 0
[pid=9233] vsize: 28920
Current children cumulated CPU time (s) 668.22
Current children cumulated vsize (Kb) 28920

[startup+740.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 13067 0 0 0 64679 3073 0 0 25 0 1 0 21438723 29614080 5895 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7230 5895 364 364 0 6866 0
[pid=9233] vsize: 28920
Current children cumulated CPU time (s) 677.52
Current children cumulated vsize (Kb) 28920

[startup+750.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 13152 0 0 0 65582 3104 0 0 25 0 1 0 21438723 29753344 5923 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 7264 5923 364 364 0 6900 0
[pid=9233] vsize: 29056
Current children cumulated CPU time (s) 686.86
Current children cumulated vsize (Kb) 29056

[startup+760.042 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 13288 0 0 0 66488 3135 0 0 25 0 1 0 21438723 29753344 5945 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9233/statm): 7264 5945 364 364 0 6900 0
[pid=9233] vsize: 29056
Current children cumulated CPU time (s) 696.23
Current children cumulated vsize (Kb) 29056

[startup+770.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 13370 0 0 0 67387 3169 0 0 25 0 1 0 21438723 29892608 5970 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7298 5970 364 364 0 6934 0
[pid=9233] vsize: 29192
Current children cumulated CPU time (s) 705.56
Current children cumulated vsize (Kb) 29192

[startup+780.042 s]
Raw data (loadavg): 1.08 1.02 0.96 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 13492 0 0 0 68286 3204 0 0 25 0 1 0 21438723 29892608 6035 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7298 6035 364 364 0 6934 0
[pid=9233] vsize: 29192
Current children cumulated CPU time (s) 714.9
Current children cumulated vsize (Kb) 29192

[startup+790.042 s]
Raw data (loadavg): 1.07 1.02 0.96 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 13597 0 0 0 69180 3235 0 0 25 0 1 0 21438723 30031872 6083 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7332 6083 364 364 0 6968 0
[pid=9233] vsize: 29328
Current children cumulated CPU time (s) 724.15
Current children cumulated vsize (Kb) 29328

[startup+800.043 s]
Raw data (loadavg): 1.06 1.01 0.96 1/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 13683 0 0 0 70070 3269 0 0 25 0 1 0 21438723 30031872 6112 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9233/statm): 7332 6112 364 364 0 6968 0
[pid=9233] vsize: 29328
Current children cumulated CPU time (s) 733.39
Current children cumulated vsize (Kb) 29328

[startup+810.044 s]
Raw data (loadavg): 1.05 1.01 0.96 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 13769 0 0 0 70963 3304 0 0 25 0 1 0 21438723 30171136 6141 4294967295 134512640 135987407 3221224560 3221223248 134811803 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7366 6141 364 364 0 7002 0
[pid=9233] vsize: 29464
Current children cumulated CPU time (s) 742.67
Current children cumulated vsize (Kb) 29464

[startup+820.043 s]
Raw data (loadavg): 1.04 1.01 0.96 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 13891 0 0 0 71859 3340 0 0 25 0 1 0 21438723 30306304 6206 4294967295 134512640 135987407 3221224560 3221223280 134814139 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7399 6206 364 364 0 7035 0
[pid=9233] vsize: 29596
Current children cumulated CPU time (s) 751.99
Current children cumulated vsize (Kb) 29596

[startup+830.044 s]
Raw data (loadavg): 1.03 1.01 0.96 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 14061 0 0 0 72752 3374 0 0 25 0 1 0 21438723 30306304 6262 4294967295 134512640 135987407 3221224560 3221223376 134876866 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 7399 6262 364 364 0 7035 0
[pid=9233] vsize: 29596
Current children cumulated CPU time (s) 761.26
Current children cumulated vsize (Kb) 29596

[startup+840.044 s]
Raw data (loadavg): 1.03 1.01 0.96 1/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 14139 0 0 0 73648 3405 0 0 25 0 1 0 21438723 30445568 6283 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9233/statm): 7433 6283 364 364 0 7069 0
[pid=9233] vsize: 29732
Current children cumulated CPU time (s) 770.53
Current children cumulated vsize (Kb) 29732

[startup+850.045 s]
Raw data (loadavg): 1.10 1.03 0.96 1/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 14209 0 0 0 74546 3439 0 0 25 0 1 0 21438723 30445568 6296 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9233/statm): 7433 6296 364 364 0 7069 0
[pid=9233] vsize: 29732
Current children cumulated CPU time (s) 779.85
Current children cumulated vsize (Kb) 29732

[startup+860.046 s]
Raw data (loadavg): 1.08 1.03 0.96 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 14301 0 0 0 75450 3471 0 0 25 0 1 0 21438723 30580736 6331 4294967295 134512640 135987407 3221224560 3221223248 134811867 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7466 6331 364 364 0 7102 0
[pid=9233] vsize: 29864
Current children cumulated CPU time (s) 789.21
Current children cumulated vsize (Kb) 29864

[startup+870.045 s]
Raw data (loadavg): 1.07 1.02 0.96 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 14371 0 0 0 76346 3506 0 0 25 0 1 0 21438723 30580736 6344 4294967295 134512640 135987407 3221224560 3221223300 135478139 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7466 6344 364 364 0 7102 0
[pid=9233] vsize: 29864
Current children cumulated CPU time (s) 798.52
Current children cumulated vsize (Kb) 29864

[startup+880.046 s]
Raw data (loadavg): 1.06 1.02 0.96 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 14456 0 0 0 77247 3539 0 0 25 0 1 0 21438723 30715904 6372 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7499 6372 364 364 0 7135 0
[pid=9233] vsize: 29996
Current children cumulated CPU time (s) 807.86
Current children cumulated vsize (Kb) 29996

[startup+890.046 s]
Raw data (loadavg): 1.05 1.02 0.96 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 14525 0 0 0 78149 3571 0 0 25 0 1 0 21438723 30715904 6384 4294967295 134512640 135987407 3221224560 3221223376 134816639 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7499 6384 364 364 0 7135 0
[pid=9233] vsize: 29996
Current children cumulated CPU time (s) 817.2
Current children cumulated vsize (Kb) 29996

[startup+900.047 s]
Raw data (loadavg): 1.04 1.02 0.96 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 14593 0 0 0 79047 3607 0 0 25 0 1 0 21438723 30715904 6395 4294967295 134512640 135987407 3221224560 3221223248 134811990 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7499 6395 364 364 0 7135 0
[pid=9233] vsize: 29996
Current children cumulated CPU time (s) 826.54
Current children cumulated vsize (Kb) 29996

[startup+910.047 s]
Raw data (loadavg): 1.03 1.02 0.96 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 14683 0 0 0 79952 3640 0 0 25 0 1 0 21438723 30851072 6428 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7532 6428 364 364 0 7168 0
[pid=9233] vsize: 30128
Current children cumulated CPU time (s) 835.92
Current children cumulated vsize (Kb) 30128

[startup+920.047 s]
Raw data (loadavg): 1.03 1.02 0.96 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 14792 0 0 0 80858 3675 0 0 25 0 1 0 21438723 30851072 6480 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7532 6480 364 364 0 7168 0
[pid=9233] vsize: 30128
Current children cumulated CPU time (s) 845.33
Current children cumulated vsize (Kb) 30128

[startup+930.048 s]
Raw data (loadavg): 1.02 1.02 0.96 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 14874 0 0 0 81767 3704 0 0 25 0 1 0 21438723 30851072 6505 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 7532 6505 364 364 0 7168 0
[pid=9233] vsize: 30128
Current children cumulated CPU time (s) 854.71
Current children cumulated vsize (Kb) 30128

[startup+940.048 s]
Raw data (loadavg): 1.02 1.02 0.96 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 14961 0 0 0 82676 3733 0 0 25 0 1 0 21438723 30986240 6535 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7565 6535 364 364 0 7201 0
[pid=9233] vsize: 30260
Current children cumulated CPU time (s) 864.09
Current children cumulated vsize (Kb) 30260

[startup+950.049 s]
Raw data (loadavg): 1.02 1.02 0.96 1/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 15074 0 0 0 83583 3764 0 0 25 0 1 0 21438723 31125504 6591 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7599 6591 364 364 0 7235 0
[pid=9233] vsize: 30396
Current children cumulated CPU time (s) 873.47
Current children cumulated vsize (Kb) 30396

[startup+960.048 s]
Raw data (loadavg): 1.01 1.02 0.96 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 15184 0 0 0 84492 3794 0 0 25 0 1 0 21438723 31125504 6644 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7599 6644 364 364 0 7235 0
[pid=9233] vsize: 30396
Current children cumulated CPU time (s) 882.86
Current children cumulated vsize (Kb) 30396

[startup+970.048 s]
Raw data (loadavg): 1.01 1.01 0.96 1/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 15297 0 0 0 85400 3823 0 0 25 0 1 0 21438723 31264768 6700 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7633 6700 364 364 0 7269 0
[pid=9233] vsize: 30532
Current children cumulated CPU time (s) 892.23
Current children cumulated vsize (Kb) 30532

[startup+980.049 s]
Raw data (loadavg): 1.01 1.01 0.96 1/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 15375 0 0 0 86311 3851 0 0 25 0 1 0 21438723 31264768 6721 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7633 6721 364 364 0 7269 0
[pid=9233] vsize: 30532
Current children cumulated CPU time (s) 901.62
Current children cumulated vsize (Kb) 30532

[startup+990.05 s]
Raw data (loadavg): 1.01 1.01 0.96 1/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 15452 0 0 0 87203 3886 0 0 25 0 1 0 21438723 31399936 6741 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7666 6741 364 364 0 7302 0
[pid=9233] vsize: 30664
Current children cumulated CPU time (s) 910.89
Current children cumulated vsize (Kb) 30664

[startup+1000.05 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 15539 0 0 0 88102 3918 0 0 25 0 1 0 21438723 31539200 6771 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7700 6771 364 364 0 7336 0
[pid=9233] vsize: 30800
Current children cumulated CPU time (s) 920.2
Current children cumulated vsize (Kb) 30800

[startup+1010.05 s]
Raw data (loadavg): 1.08 1.03 0.97 1/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 15622 0 0 0 89010 3948 0 0 25 0 1 0 21438723 31539200 6797 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9233/statm): 7700 6797 364 364 0 7336 0
[pid=9233] vsize: 30800
Current children cumulated CPU time (s) 929.58
Current children cumulated vsize (Kb) 30800

[startup+1020.05 s]
Raw data (loadavg): 1.07 1.03 0.97 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 15741 0 0 0 89915 3979 0 0 25 0 1 0 21438723 31674368 6859 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7733 6859 364 364 0 7369 0
[pid=9233] vsize: 30932
Current children cumulated CPU time (s) 938.94
Current children cumulated vsize (Kb) 30932

[startup+1030.05 s]
Raw data (loadavg): 1.06 1.03 0.97 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 15833 0 0 0 90825 4009 0 0 25 0 1 0 21438723 31674368 6894 4294967295 134512640 135987407 3221224560 3221223376 134815381 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 7733 6894 364 364 0 7369 0
[pid=9233] vsize: 30932
Current children cumulated CPU time (s) 948.34
Current children cumulated vsize (Kb) 30932

[startup+1040.05 s]
Raw data (loadavg): 1.05 1.02 0.97 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 15848 0 0 0 91733 4038 0 0 25 0 1 0 21438723 31809536 6909 4294967295 134512640 135987407 3221224560 3221223376 134824216 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 7766 6909 364 364 0 7402 0
[pid=9233] vsize: 31064
Current children cumulated CPU time (s) 957.71
Current children cumulated vsize (Kb) 31064

[startup+1050.05 s]
Raw data (loadavg): 1.04 1.02 0.97 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 15916 0 0 0 92640 4068 0 0 25 0 1 0 21438723 31809536 6920 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7766 6920 364 364 0 7402 0
[pid=9233] vsize: 31064
Current children cumulated CPU time (s) 967.08
Current children cumulated vsize (Kb) 31064

[startup+1060.05 s]
Raw data (loadavg): 1.03 1.02 0.97 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 16000 0 0 0 93546 4100 0 0 25 0 1 0 21438723 31944704 6947 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7799 6947 364 364 0 7435 0
[pid=9233] vsize: 31196
Current children cumulated CPU time (s) 976.46
Current children cumulated vsize (Kb) 31196

[startup+1070.05 s]
Raw data (loadavg): 1.03 1.02 0.97 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 16072 0 0 0 94455 4129 0 0 25 0 1 0 21438723 31944704 6962 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7799 6962 364 364 0 7435 0
[pid=9233] vsize: 31196
Current children cumulated CPU time (s) 985.84
Current children cumulated vsize (Kb) 31196

[startup+1080.05 s]
Raw data (loadavg): 1.02 1.02 0.97 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 16083 0 0 0 95361 4161 0 0 25 0 1 0 21438723 31944704 6973 4294967295 134512640 135987407 3221224560 3221223376 134824777 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 7799 6973 364 364 0 7435 0
[pid=9233] vsize: 31196
Current children cumulated CPU time (s) 995.22
Current children cumulated vsize (Kb) 31196

[startup+1090.05 s]
Raw data (loadavg): 1.02 1.02 0.97 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 16161 0 0 0 96270 4190 0 0 25 0 1 0 21438723 32079872 6994 4294967295 134512640 135987407 3221224560 3221223248 134812049 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7832 6994 364 364 0 7468 0
[pid=9233] vsize: 31328
Current children cumulated CPU time (s) 1004.6
Current children cumulated vsize (Kb) 31328

[startup+1100.06 s]
Raw data (loadavg): 1.02 1.02 0.97 1/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 16235 0 0 0 97180 4220 0 0 25 0 1 0 21438723 32079872 7011 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9233/statm): 7832 7011 364 364 0 7468 0
[pid=9233] vsize: 31328
Current children cumulated CPU time (s) 1014
Current children cumulated vsize (Kb) 31328

[startup+1110.06 s]
Raw data (loadavg): 1.01 1.02 0.97 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 16305 0 0 0 98088 4252 0 0 25 0 1 0 21438723 32079872 7024 4294967295 134512640 135987407 3221224560 3221223376 134815381 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 7832 7024 364 364 0 7468 0
[pid=9233] vsize: 31328
Current children cumulated CPU time (s) 1023.4
Current children cumulated vsize (Kb) 31328

[startup+1120.06 s]
Raw data (loadavg): 1.01 1.02 0.97 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 16376 0 0 0 98995 4281 0 0 25 0 1 0 21438723 32215040 7038 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7865 7038 364 364 0 7501 0
[pid=9233] vsize: 31460
Current children cumulated CPU time (s) 1032.76
Current children cumulated vsize (Kb) 31460

[startup+1130.06 s]
Raw data (loadavg): 1.01 1.02 0.97 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 16450 0 0 0 99910 4310 0 0 25 0 1 0 21438723 32215040 7055 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 7865 7055 364 364 0 7501 0
[pid=9233] vsize: 31460
Current children cumulated CPU time (s) 1042.2
Current children cumulated vsize (Kb) 31460

[startup+1140.06 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 16542 0 0 0 100821 4337 0 0 25 0 1 0 21438723 32215040 7090 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7865 7090 364 364 0 7501 0
[pid=9233] vsize: 31460
Current children cumulated CPU time (s) 1051.58
Current children cumulated vsize (Kb) 31460

[startup+1150.06 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 16555 0 0 0 101731 4366 0 0 25 0 1 0 21438723 32350208 7103 4294967295 134512640 135987407 3221224560 3221223280 134813732 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 7898 7103 364 364 0 7534 0
[pid=9233] vsize: 31592
Current children cumulated CPU time (s) 1060.97
Current children cumulated vsize (Kb) 31592

[startup+1160.06 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 16628 0 0 0 102647 4392 0 0 25 0 1 0 21438723 32350208 7119 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9233/statm): 7898 7119 364 364 0 7534 0
[pid=9233] vsize: 31592
Current children cumulated CPU time (s) 1070.39
Current children cumulated vsize (Kb) 31592

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 16704 0 0 0 103551 4426 0 0 25 0 1 0 21438723 32350208 7138 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7898 7138 364 364 0 7534 0
[pid=9233] vsize: 31592
Current children cumulated CPU time (s) 1079.77
Current children cumulated vsize (Kb) 31592

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 16794 0 0 0 104450 4456 0 0 25 0 1 0 21438723 32485376 7171 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7931 7171 364 364 0 7567 0
[pid=9233] vsize: 31724
Current children cumulated CPU time (s) 1089.06
Current children cumulated vsize (Kb) 31724

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.01 0.97 1/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 16913 0 0 0 105353 4488 0 0 25 0 1 0 21438723 32620544 7233 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9233/statm): 7964 7233 364 364 0 7600 0
[pid=9233] vsize: 31856
Current children cumulated CPU time (s) 1098.41
Current children cumulated vsize (Kb) 31856

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 17001 0 0 0 106261 4516 0 0 25 0 1 0 21438723 32620544 7264 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7964 7264 364 364 0 7600 0
[pid=9233] vsize: 31856
Current children cumulated CPU time (s) 1107.77
Current children cumulated vsize (Kb) 31856

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 17068 0 0 0 107171 4545 0 0 25 0 1 0 21438723 32620544 7274 4294967295 134512640 135987407 3221224560 3221223248 134811873 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7964 7274 364 364 0 7600 0
[pid=9233] vsize: 31856
Current children cumulated CPU time (s) 1117.16
Current children cumulated vsize (Kb) 31856

[startup+1220.06 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 17137 0 0 0 108085 4575 0 0 25 0 1 0 21438723 32620544 7286 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7964 7286 364 364 0 7600 0
[pid=9233] vsize: 31856
Current children cumulated CPU time (s) 1126.6
Current children cumulated vsize (Kb) 31856

[startup+1230.06 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 17145 0 0 0 108996 4602 0 0 25 0 1 0 21438723 32620544 7294 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 7964 7294 364 364 0 7600 0
[pid=9233] vsize: 31856
Current children cumulated CPU time (s) 1135.98
Current children cumulated vsize (Kb) 31856

[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 17211 0 0 0 109912 4630 0 0 25 0 1 0 21438723 32755712 7303 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7997 7303 364 364 0 7633 0
[pid=9233] vsize: 31988
Current children cumulated CPU time (s) 1145.42
Current children cumulated vsize (Kb) 31988

[startup+1250.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 17278 0 0 0 110824 4660 0 0 25 0 1 0 21438723 32755712 7313 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 7997 7313 364 364 0 7633 0
[pid=9233] vsize: 31988
Current children cumulated CPU time (s) 1154.84
Current children cumulated vsize (Kb) 31988

[startup+1260.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 17359 0 0 0 111731 4691 0 0 25 0 1 0 21438723 32755712 7337 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 7997 7337 364 364 0 7633 0
[pid=9233] vsize: 31988
Current children cumulated CPU time (s) 1164.22
Current children cumulated vsize (Kb) 31988

[startup+1270.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 17373 0 0 0 112646 4718 0 0 25 0 1 0 21438723 32903168 7351 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9233/statm): 8033 7351 364 364 0 7669 0
[pid=9233] vsize: 32132
Current children cumulated CPU time (s) 1173.64
Current children cumulated vsize (Kb) 32132

[startup+1280.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 17455 0 0 0 113556 4748 0 0 25 0 1 0 21438723 32903168 7376 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 8033 7376 364 364 0 7669 0
[pid=9233] vsize: 32132
Current children cumulated CPU time (s) 1183.04
Current children cumulated vsize (Kb) 32132

[startup+1290.06 s]
Raw data (loadavg): 1.00 1.00 0.97 1/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4704 0 -1 0 17524 0 0 0 114471 4775 0 0 25 0 1 0 21438723 33038336 7388 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9233/statm): 8066 7388 364 364 0 7702 0
[pid=9233] vsize: 32264
Current children cumulated CPU time (s) 1192.46
Current children cumulated vsize (Kb) 32264

[startup+1300.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 17565 0 0 0 115379 4806 0 0 25 0 1 0 21438723 33038336 7429 4294967295 134512640 135987407 3221224560 3221223376 134824777 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 8066 7429 364 364 0 7702 0
[pid=9233] vsize: 32264
Current children cumulated CPU time (s) 1201.85
Current children cumulated vsize (Kb) 32264



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1300.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9296
Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4704 0 -1 0 17565 0 0 0 115379 4806 0 0 25 0 1 0 21438723 33038336 7429 4294967295 134512640 135987407 3221224560 3221223376 134824777 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9233/statm): 8066 7429 364 364 0 7702 0
[pid=9233] vsize: 32264
Current children cumulated CPU time (s) 1201.85
Current children cumulated vsize (Kb) 32264

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

Child status: 0
Real time (s): 1300.15
CPU time (s): 1201.94
CPU user time (s): 1153.86
CPU system time (s): 48.0797
CPU usage (%): 92.4465
Max. virtual memory (cumulated for all children) (Kb): 32264

Verifier Data

ERROR: no interpretation found !