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/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
MD5SUM2fc65c15b9b26fc3028e8a890f1d86ad
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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 131
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 513
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables201731
Total number of constraints592525
Number of constraints which are clauses579429
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13096
Minimum length of a constraint1
Maximum length of a constraint15

Trace number 9802

Launcher Data

LAUNCH ON wulflinc11 THE 2005-09-23 15:18:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8510 boxname=wulflinc11 idbench=306 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  2fc65c15b9b26fc3028e8a890f1d86ad  /oldhome/oroussel/tmp/wulflinc11/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc11/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
IDLAUNCH: 8510
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.045
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.045
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:        896160 kB
Buffers:          8400 kB
Cached:         104412 kB
SwapCached:          0 kB
Active:          74480 kB
Inactive:        47880 kB
HighTotal:      131008 kB
HighFree:        24220 kB
LowTotal:       903652 kB
LowFree:        871940 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            10296 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 15:38:30 (client local time) WITH STATUS 0 IN 1203.94 SECONDS
stats: 8510 7 1203.94 0

Solver Data

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

c Decision: 15614/479651	Time: 59.088/86400
c Decision: 15723/479651	Time: 170.828/86400
c Decision: 17551/479651	Time: 255.542/86400
c Decision: 17551/479651	Time: 285.067/86400
c Decision: 17590/479651	Time: 366.673/86400
c Decision: 17594/479651	Time: 399.298/86400
c Decision: 17600/479651	Time: 451.424/86400
c Decision: 17694/479651	Time: 555.369/86400
c Decision: 17785/479651	Time: 670.13/86400
c Decision: 17800/479651	Time: 753.288/86400
c Decision: 17805/479651	Time: 802.991/86400
c Decision: 17805/479651	Time: 855.685/86400
c Decision: 17904/479651	Time: 1030.92/86400
c Decision: 17904/479651	Time: 1080.14/86400
c Decision: 17914/479651	Time: 1124.07/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/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21208914 1527808 2 4294967295 134512640 135987407 3221224544 3221224544 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 373 2 364 364 0 9 0
[pid=8311] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc11/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb

[startup+10.0015 s]
Raw data (loadavg): 0.84 0.92 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 5464 0 0 0 981 15 0 0 25 0 1 0 21208914 19247104 3532 4294967295 134512640 135987407 3221224544 3221221848 134639648 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 4699 3532 364 364 0 4335 0
[pid=8311] vsize: 18796
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 18796

[startup+20.0023 s]
Raw data (loadavg): 0.86 0.93 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 10707 0 0 0 1966 28 0 0 25 0 1 0 21208914 36642816 6756 4294967295 134512640 135987407 3221224544 3221221504 134887785 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8311/statm): 8946 6756 364 364 0 8582 0
[pid=8311] vsize: 35784
Current children cumulated CPU time (s) 19.94
Current children cumulated vsize (Kb) 35784

[startup+30.0031 s]
Raw data (loadavg): 0.88 0.93 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 14823 0 0 0 2952 41 0 0 25 0 1 0 21208914 47529984 9303 4294967295 134512640 135987407 3221224544 3221221792 134979162 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8311/statm): 11604 9303 364 364 0 11240 0
[pid=8311] vsize: 46416
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 46416

[startup+40.0039 s]
Raw data (loadavg): 0.90 0.93 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 21037 0 0 0 3934 57 0 0 25 0 1 0 21208914 79826944 15359 4294967295 134512640 135987407 3221224544 3221221280 134856487 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8311/statm): 19489 15362 364 364 0 19125 0
[pid=8311] vsize: 77956
Current children cumulated CPU time (s) 39.91
Current children cumulated vsize (Kb) 77956

[startup+50.0047 s]
Raw data (loadavg): 0.92 0.93 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 23624 0 0 0 4922 67 0 0 25 0 1 0 21208914 75624448 15609 4294967295 134512640 135987407 3221224544 3221221696 134878178 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8311/statm): 18463 15610 364 364 0 18099 0
[pid=8311] vsize: 73852
Current children cumulated CPU time (s) 49.89
Current children cumulated vsize (Kb) 73852

[startup+60.0045 s]
Raw data (loadavg): 0.93 0.93 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 29204 0 0 0 5906 81 0 0 25 0 1 0 21208914 92667904 18085 4294967295 134512640 135987407 3221224544 3221221692 134642045 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8311/statm): 22624 18085 364 364 0 22260 0
[pid=8311] vsize: 90496
Current children cumulated CPU time (s) 59.87
Current children cumulated vsize (Kb) 90496

[startup+70.0043 s]
Raw data (loadavg): 0.94 0.94 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 49984 0 0 0 6860 126 0 0 25 0 1 0 21208914 184463360 33853 4294967295 134512640 135987407 3221224544 3221217696 134887487 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8311/statm): 45035 33857 364 364 0 44671 0
[pid=8311] vsize: 180140
Current children cumulated CPU time (s) 69.86
Current children cumulated vsize (Kb) 180140

[startup+80.005 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 61922 0 0 0 7821 161 0 0 25 0 1 0 21208914 190431232 38528 4294967295 134512640 135987407 3221224544 3221223232 134811832 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8311/statm): 46492 38528 364 364 0 46128 0
[pid=8311] vsize: 185968
Current children cumulated CPU time (s) 79.82
Current children cumulated vsize (Kb) 185968

[startup+90.0059 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 63284 0 0 0 8794 171 0 0 25 0 1 0 21208914 196337664 39725 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 47934 39725 364 364 0 47570 0
[pid=8311] vsize: 191736
Current children cumulated CPU time (s) 89.65
Current children cumulated vsize (Kb) 191736

[startup+100.006 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 64811 0 0 0 9781 177 0 0 25 0 1 0 21208914 203112448 40900 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 49588 40900 364 364 0 49224 0
[pid=8311] vsize: 198352
Current children cumulated CPU time (s) 99.58
Current children cumulated vsize (Kb) 198352

[startup+110.006 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 66269 0 0 0 10771 182 0 0 25 0 1 0 21208914 208756736 41899 4294967295 134512640 135987407 3221224544 3221223408 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 50966 41899 364 364 0 50602 0
[pid=8311] vsize: 203864
Current children cumulated CPU time (s) 109.53
Current children cumulated vsize (Kb) 203864

[startup+120.006 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 66917 0 0 0 11765 185 0 0 25 0 1 0 21208914 211017728 42350 4294967295 134512640 135987407 3221224544 3221223232 134811907 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 51518 42350 364 364 0 51154 0
[pid=8311] vsize: 206072
Current children cumulated CPU time (s) 119.5
Current children cumulated vsize (Kb) 206072

[startup+130.007 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 67082 0 0 0 12757 188 0 0 25 0 1 0 21208914 211816448 42515 4294967295 134512640 135987407 3221224544 3221223104 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 51713 42515 364 364 0 51349 0
[pid=8311] vsize: 206852
Current children cumulated CPU time (s) 129.45
Current children cumulated vsize (Kb) 206852

[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 68116 0 0 0 13749 192 0 0 25 0 1 0 21208914 212221952 42612 4294967295 134512640 135987407 3221224544 3221223232 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8311/statm): 51812 42612 364 364 0 51448 0
[pid=8311] vsize: 207248
Current children cumulated CPU time (s) 139.41
Current children cumulated vsize (Kb) 207248

[startup+150.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 69043 0 0 0 14735 199 0 0 25 0 1 0 21208914 215678976 43144 4294967295 134512640 135987407 3221224544 3221223408 134812612 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 52656 43144 364 364 0 52292 0
[pid=8311] vsize: 210624
Current children cumulated CPU time (s) 149.34
Current children cumulated vsize (Kb) 210624

[startup+160.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 69388 0 0 0 15730 201 0 0 25 0 1 0 21208914 216739840 43358 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 52915 43358 364 364 0 52551 0
[pid=8311] vsize: 211660
Current children cumulated CPU time (s) 159.31
Current children cumulated vsize (Kb) 211660

[startup+170.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 69886 0 0 0 16699 212 0 0 25 0 1 0 21208914 218333184 43658 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 53304 43658 364 364 0 52940 0
[pid=8311] vsize: 213216
Current children cumulated CPU time (s) 169.11
Current children cumulated vsize (Kb) 213216

[startup+180.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 70204 0 0 0 17684 218 0 0 25 0 1 0 21208914 219668480 43910 4294967295 134512640 135987407 3221224544 3221223232 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8311/statm): 53630 43910 364 364 0 53266 0
[pid=8311] vsize: 214520
Current children cumulated CPU time (s) 179.02
Current children cumulated vsize (Kb) 214520

[startup+190.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 70829 0 0 0 18672 223 0 0 25 0 1 0 21208914 222461952 44370 4294967295 134512640 135987407 3221224544 3221223408 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8311/statm): 54312 44370 364 364 0 53948 0
[pid=8311] vsize: 217248
Current children cumulated CPU time (s) 188.95
Current children cumulated vsize (Kb) 217248

[startup+200.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 71251 0 0 0 19659 227 0 0 25 0 1 0 21208914 224063488 44661 4294967295 134512640 135987407 3221224544 3221223392 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8311/statm): 54703 44661 364 364 0 54339 0
[pid=8311] vsize: 218812
Current children cumulated CPU time (s) 198.86
Current children cumulated vsize (Kb) 218812

[startup+210.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 71582 0 0 0 20649 231 0 0 25 0 1 0 21208914 225120256 44860 4294967295 134512640 135987407 3221224544 3221223232 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8311/statm): 54961 44860 364 364 0 54597 0
[pid=8311] vsize: 219844
Current children cumulated CPU time (s) 208.8
Current children cumulated vsize (Kb) 219844

[startup+220.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 71771 0 0 0 21641 234 0 0 25 0 1 0 21208914 225513472 44951 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8311/statm): 55057 44951 364 364 0 54693 0
[pid=8311] vsize: 220228
Current children cumulated CPU time (s) 218.75
Current children cumulated vsize (Kb) 220228

[startup+230.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 71810 0 0 0 22633 237 0 0 25 0 1 0 21208914 225513472 44990 4294967295 134512640 135987407 3221224544 3221223232 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8311/statm): 55057 44990 364 364 0 54693 0
[pid=8311] vsize: 220228
Current children cumulated CPU time (s) 228.7
Current children cumulated vsize (Kb) 220228

[startup+240.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 71922 0 0 0 23621 241 0 0 25 0 1 0 21208914 225775616 45036 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8311/statm): 55121 45036 364 364 0 54757 0
[pid=8311] vsize: 220484
Current children cumulated CPU time (s) 238.62
Current children cumulated vsize (Kb) 220484

[startup+250.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 72901 0 0 0 24611 246 0 0 25 0 1 0 21208914 226041856 45078 4294967295 134512640 135987407 3221224544 3221223232 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8311/statm): 55186 45078 364 364 0 54822 0
[pid=8311] vsize: 220744
Current children cumulated CPU time (s) 248.57
Current children cumulated vsize (Kb) 220744

[startup+260.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 73044 0 0 0 25598 250 0 0 25 0 1 0 21208914 226574336 45221 4294967295 134512640 135987407 3221224544 3221223232 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 55316 45221 364 364 0 54952 0
[pid=8311] vsize: 221264
Current children cumulated CPU time (s) 258.48
Current children cumulated vsize (Kb) 221264

[startup+270.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 73246 0 0 0 26588 254 0 0 25 0 1 0 21208914 227504128 45390 4294967295 134512640 135987407 3221224544 3221223360 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 55543 45390 364 364 0 55179 0
[pid=8311] vsize: 222172
Current children cumulated CPU time (s) 268.42
Current children cumulated vsize (Kb) 222172

[startup+280.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 73798 0 0 0 27577 258 0 0 25 0 1 0 21208914 229085184 45680 4294967295 134512640 135987407 3221224544 3221223232 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 55929 45680 364 364 0 55565 0
[pid=8311] vsize: 223716
Current children cumulated CPU time (s) 278.35
Current children cumulated vsize (Kb) 223716

[startup+290.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 73841 0 0 0 28571 260 0 0 25 0 1 0 21208914 229351424 45723 4294967295 134512640 135987407 3221224544 3221223328 134812358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 55994 45723 364 364 0 55630 0
[pid=8311] vsize: 223976
Current children cumulated CPU time (s) 288.31
Current children cumulated vsize (Kb) 223976

[startup+300.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 73859 0 0 0 29565 262 0 0 25 0 1 0 21208914 229351424 45741 4294967295 134512640 135987407 3221224544 3221223392 134790060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 55994 45741 364 364 0 55630 0
[pid=8311] vsize: 223976
Current children cumulated CPU time (s) 298.27
Current children cumulated vsize (Kb) 223976

[startup+310.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 74177 0 0 0 30557 266 0 0 25 0 1 0 21208914 230404096 45863 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 56251 45863 364 364 0 55887 0
[pid=8311] vsize: 225004
Current children cumulated CPU time (s) 308.23
Current children cumulated vsize (Kb) 225004

[startup+320.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 74285 0 0 0 31547 269 0 0 25 0 1 0 21208914 230801408 45938 4294967295 134512640 135987407 3221224544 3221223104 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 56348 45938 364 364 0 55984 0
[pid=8311] vsize: 225392
Current children cumulated CPU time (s) 318.16
Current children cumulated vsize (Kb) 225392

[startup+330.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 74301 0 0 0 32538 272 0 0 25 0 1 0 21208914 230801408 45954 4294967295 134512640 135987407 3221224544 3221223232 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 56348 45954 364 364 0 55984 0
[pid=8311] vsize: 225392
Current children cumulated CPU time (s) 328.1
Current children cumulated vsize (Kb) 225392

[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 75243 0 0 0 33528 277 0 0 25 0 1 0 21208914 230801408 45959 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 56348 45959 364 364 0 55984 0
[pid=8311] vsize: 225392
Current children cumulated CPU time (s) 338.05
Current children cumulated vsize (Kb) 225392

[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 75379 0 0 0 34523 279 0 0 25 0 1 0 21208914 231329792 46030 4294967295 134512640 135987407 3221224544 3221223392 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 56477 46030 364 364 0 56113 0
[pid=8311] vsize: 225908
Current children cumulated CPU time (s) 348.02
Current children cumulated vsize (Kb) 225908

[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 75394 0 0 0 35517 281 0 0 25 0 1 0 21208914 231329792 46045 4294967295 134512640 135987407 3221224544 3221223360 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 56477 46045 364 364 0 56113 0
[pid=8311] vsize: 225908
Current children cumulated CPU time (s) 357.98
Current children cumulated vsize (Kb) 225908

[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 76735 0 0 0 36510 285 0 0 25 0 1 0 21208914 232378368 46189 4294967295 134512640 135987407 3221224544 3221223360 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 56733 46189 364 364 0 56369 0
[pid=8311] vsize: 226932
Current children cumulated CPU time (s) 367.95
Current children cumulated vsize (Kb) 226932

[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 76806 0 0 0 37503 288 0 0 25 0 1 0 21208914 232509440 46227 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 56765 46227 364 364 0 56401 0
[pid=8311] vsize: 227060
Current children cumulated CPU time (s) 377.91
Current children cumulated vsize (Kb) 227060

[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 77264 0 0 0 38489 292 0 0 25 0 1 0 21208914 234094592 46489 4294967295 134512640 135987407 3221224544 3221223232 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 57152 46489 364 364 0 56788 0
[pid=8311] vsize: 228608
Current children cumulated CPU time (s) 387.81
Current children cumulated vsize (Kb) 228608

[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) T 8310 8311 4060 0 -1 0 77369 0 0 0 39475 297 0 0 25 0 1 0 21208914 234491904 46561 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8311/statm): 57249 46561 364 364 0 56885 0
[pid=8311] vsize: 228996
Current children cumulated CPU time (s) 397.72
Current children cumulated vsize (Kb) 228996

[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 77519 0 0 0 40466 300 0 0 25 0 1 0 21208914 235290624 46711 4294967295 134512640 135987407 3221224544 3221223392 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 57444 46711 364 364 0 57080 0
[pid=8311] vsize: 229776
Current children cumulated CPU time (s) 407.66
Current children cumulated vsize (Kb) 229776

[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) T 8310 8311 4060 0 -1 0 77566 0 0 0 41457 303 0 0 25 0 1 0 21208914 235556864 46758 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8311/statm): 57509 46758 364 364 0 57145 0
[pid=8311] vsize: 230036
Current children cumulated CPU time (s) 417.6
Current children cumulated vsize (Kb) 230036

[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 77592 0 0 0 42454 304 0 0 25 0 1 0 21208914 235556864 46784 4294967295 134512640 135987407 3221224544 3221223392 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 57509 46784 364 364 0 57145 0
[pid=8311] vsize: 230036
Current children cumulated CPU time (s) 427.58
Current children cumulated vsize (Kb) 230036

[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 77692 0 0 0 43450 305 0 0 25 0 1 0 21208914 235687936 46851 4294967295 134512640 135987407 3221224544 3221223312 134812419 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 57541 46851 364 364 0 57177 0
[pid=8311] vsize: 230164
Current children cumulated CPU time (s) 437.55
Current children cumulated vsize (Kb) 230164

[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 78736 0 0 0 44441 310 0 0 25 0 1 0 21208914 235950080 46892 4294967295 134512640 135987407 3221224544 3221223232 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8311/statm): 57605 46892 364 364 0 57241 0
[pid=8311] vsize: 230420
Current children cumulated CPU time (s) 447.51
Current children cumulated vsize (Kb) 230420

[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 78923 0 0 0 45433 314 0 0 25 0 1 0 21208914 236478464 47014 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8311/statm): 57734 47014 364 364 0 57370 0
[pid=8311] vsize: 230936
Current children cumulated CPU time (s) 457.47
Current children cumulated vsize (Kb) 230936

[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 78935 0 0 0 46423 316 0 0 25 0 1 0 21208914 236478464 47026 4294967295 134512640 135987407 3221224544 3221223392 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 57734 47026 364 364 0 57370 0
[pid=8311] vsize: 230936
Current children cumulated CPU time (s) 467.39
Current children cumulated vsize (Kb) 230936

[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 79886 0 0 0 47404 324 0 0 25 0 1 0 21208914 236478464 47040 4294967295 134512640 135987407 3221224544 3221223104 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 57734 47040 364 364 0 57370 0
[pid=8311] vsize: 230936
Current children cumulated CPU time (s) 477.28
Current children cumulated vsize (Kb) 230936

[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 79993 0 0 0 48387 330 0 0 25 0 1 0 21208914 236478464 47147 4294967295 134512640 135987407 3221224544 3221223328 134812304 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 57734 47147 364 364 0 57370 0
[pid=8311] vsize: 230936
Current children cumulated CPU time (s) 487.17
Current children cumulated vsize (Kb) 230936

[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 80135 0 0 0 49374 334 0 0 25 0 1 0 21208914 236740608 47224 4294967295 134512640 135987407 3221224544 3221223376 134812778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 57798 47224 364 364 0 57434 0
[pid=8311] vsize: 231192
Current children cumulated CPU time (s) 497.08
Current children cumulated vsize (Kb) 231192

[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 80168 0 0 0 50362 337 0 0 25 0 1 0 21208914 236875776 47257 4294967295 134512640 135987407 3221224544 3221223104 134788469 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8311/statm): 57831 47257 364 364 0 57467 0
[pid=8311] vsize: 231324
Current children cumulated CPU time (s) 506.99
Current children cumulated vsize (Kb) 231324

[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 80209 0 0 0 51349 342 0 0 25 0 1 0 21208914 236875776 47298 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8311/statm): 57831 47298 364 364 0 57467 0
[pid=8311] vsize: 231324
Current children cumulated CPU time (s) 516.91
Current children cumulated vsize (Kb) 231324

[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 80223 0 0 0 52343 344 0 0 25 0 1 0 21208914 236875776 47312 4294967295 134512640 135987407 3221224544 3221223184 134789466 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8311/statm): 57831 47312 364 364 0 57467 0
[pid=8311] vsize: 231324
Current children cumulated CPU time (s) 526.87
Current children cumulated vsize (Kb) 231324

[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 81225 0 0 0 53333 349 0 0 25 0 1 0 21208914 237006848 47344 4294967295 134512640 135987407 3221224544 3221223392 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8311/statm): 57863 47344 364 364 0 57499 0
[pid=8311] vsize: 231452
Current children cumulated CPU time (s) 536.82
Current children cumulated vsize (Kb) 231452

[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 81231 0 0 0 54320 354 0 0 25 0 1 0 21208914 237006848 47350 4294967295 134512640 135987407 3221224544 3221223232 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 57863 47350 364 364 0 57499 0
[pid=8311] vsize: 231452
Current children cumulated CPU time (s) 546.74
Current children cumulated vsize (Kb) 231452

[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 81255 0 0 0 55314 356 0 0 25 0 1 0 21208914 237006848 47374 4294967295 134512640 135987407 3221224544 3221223392 134789987 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 57863 47374 364 364 0 57499 0
[pid=8311] vsize: 231452
Current children cumulated CPU time (s) 556.7
Current children cumulated vsize (Kb) 231452

[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 81459 0 0 0 56304 359 0 0 25 0 1 0 21208914 237830144 47448 4294967295 134512640 135987407 3221224544 3221223232 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 58064 47448 364 364 0 57700 0
[pid=8311] vsize: 232256
Current children cumulated CPU time (s) 566.63
Current children cumulated vsize (Kb) 232256

[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 81524 0 0 0 57296 362 0 0 25 0 1 0 21208914 237830144 47513 4294967295 134512640 135987407 3221224544 3221223232 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 58064 47513 364 364 0 57700 0
[pid=8311] vsize: 232256
Current children cumulated CPU time (s) 576.58
Current children cumulated vsize (Kb) 232256

[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 81858 0 0 0 58286 366 0 0 25 0 1 0 21208914 238747648 47620 4294967295 134512640 135987407 3221224544 3221223232 134812002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 58288 47620 364 364 0 57924 0
[pid=8311] vsize: 233152
Current children cumulated CPU time (s) 586.52
Current children cumulated vsize (Kb) 233152

[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 81878 0 0 0 59277 369 0 0 25 0 1 0 21208914 238747648 47640 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 58288 47640 364 364 0 57924 0
[pid=8311] vsize: 233152
Current children cumulated CPU time (s) 596.46
Current children cumulated vsize (Kb) 233152

[startup+610.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 81956 0 0 0 60267 373 0 0 25 0 1 0 21208914 239009792 47653 4294967295 134512640 135987407 3221224544 3221223360 134824696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 58352 47654 364 364 0 57988 0
[pid=8311] vsize: 233408
Current children cumulated CPU time (s) 606.4
Current children cumulated vsize (Kb) 233408

[startup+620.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 81975 0 0 0 61258 375 0 0 25 0 1 0 21208914 239009792 47672 4294967295 134512640 135987407 3221224544 3221223360 134824722 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 58352 47672 364 364 0 57988 0
[pid=8311] vsize: 233408
Current children cumulated CPU time (s) 616.33
Current children cumulated vsize (Kb) 233408

[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 82000 0 0 0 62250 378 0 0 25 0 1 0 21208914 239009792 47697 4294967295 134512640 135987407 3221224544 3221223232 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 58352 47697 364 364 0 57988 0
[pid=8311] vsize: 233408
Current children cumulated CPU time (s) 626.28
Current children cumulated vsize (Kb) 233408

[startup+640.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 83012 0 0 0 63244 381 0 0 25 0 1 0 21208914 239276032 47772 4294967295 134512640 135987407 3221224544 3221223232 134812049 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 58417 47772 364 364 0 58053 0
[pid=8311] vsize: 233668
Current children cumulated CPU time (s) 636.25
Current children cumulated vsize (Kb) 233668

[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 83024 0 0 0 64238 383 0 0 25 0 1 0 21208914 239276032 47784 4294967295 134512640 135987407 3221224544 3221223300 134811684 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 58417 47784 364 364 0 58053 0
[pid=8311] vsize: 233668
Current children cumulated CPU time (s) 646.21
Current children cumulated vsize (Kb) 233668

[startup+660.03 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) T 8310 8311 4060 0 -1 0 83127 0 0 0 65227 386 0 0 25 0 1 0 21208914 239538176 47822 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8311/statm): 58481 47822 364 364 0 58117 0
[pid=8311] vsize: 233924
Current children cumulated CPU time (s) 656.13
Current children cumulated vsize (Kb) 233924

[startup+670.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 83136 0 0 0 66215 391 0 0 25 0 1 0 21208914 239538176 47831 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 58481 47831 364 364 0 58117 0
[pid=8311] vsize: 233924
Current children cumulated CPU time (s) 666.06
Current children cumulated vsize (Kb) 233924

[startup+680.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 83264 0 0 0 67205 395 0 0 25 0 1 0 21208914 239964160 47894 4294967295 134512640 135987407 3221224544 3221223232 134812025 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 58585 47894 364 364 0 58221 0
[pid=8311] vsize: 234340
Current children cumulated CPU time (s) 676
Current children cumulated vsize (Kb) 234340

[startup+690.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 83601 0 0 0 68196 399 0 0 25 0 1 0 21208914 240750592 48036 4294967295 134512640 135987407 3221224544 3221223392 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 58777 48036 364 364 0 58413 0
[pid=8311] vsize: 235108
Current children cumulated CPU time (s) 685.95
Current children cumulated vsize (Kb) 235108

[startup+700.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 83607 0 0 0 69188 401 0 0 25 0 1 0 21208914 240750592 48042 4294967295 134512640 135987407 3221224544 3221223232 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 58777 48042 364 364 0 58413 0
[pid=8311] vsize: 235108
Current children cumulated CPU time (s) 695.89
Current children cumulated vsize (Kb) 235108

[startup+710.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 83649 0 0 0 70178 405 0 0 25 0 1 0 21208914 240750592 48084 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 58777 48084 364 364 0 58413 0
[pid=8311] vsize: 235108
Current children cumulated CPU time (s) 705.83
Current children cumulated vsize (Kb) 235108

[startup+720.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 83671 0 0 0 71170 407 0 0 25 0 1 0 21208914 240750592 48106 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 58777 48106 364 364 0 58413 0
[pid=8311] vsize: 235108
Current children cumulated CPU time (s) 715.77
Current children cumulated vsize (Kb) 235108

[startup+730.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 83827 0 0 0 72162 410 0 0 25 0 1 0 21208914 241274880 48132 4294967295 134512640 135987407 3221224544 3221223232 134812120 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 58905 48132 364 364 0 58541 0
[pid=8311] vsize: 235620
Current children cumulated CPU time (s) 725.72
Current children cumulated vsize (Kb) 235620

[startup+740.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 83902 0 0 0 73152 414 0 0 25 0 1 0 21208914 241537024 48142 4294967295 134512640 135987407 3221224544 3221223392 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 58969 48142 364 364 0 58605 0
[pid=8311] vsize: 235876
Current children cumulated CPU time (s) 735.66
Current children cumulated vsize (Kb) 235876

[startup+750.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 83984 0 0 0 74138 418 0 0 25 0 1 0 21208914 241799168 48159 4294967295 134512640 135987407 3221224544 3221223264 134814464 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 59033 48159 364 364 0 58669 0
[pid=8311] vsize: 236132
Current children cumulated CPU time (s) 745.56
Current children cumulated vsize (Kb) 236132

[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 84932 0 0 0 75127 424 0 0 25 0 1 0 21208914 241799168 48170 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 59033 48170 364 364 0 58669 0
[pid=8311] vsize: 236132
Current children cumulated CPU time (s) 755.51
Current children cumulated vsize (Kb) 236132

[startup+770.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 84943 0 0 0 76119 427 0 0 25 0 1 0 21208914 241799168 48181 4294967295 134512640 135987407 3221224544 3221223408 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 59033 48181 364 364 0 58669 0
[pid=8311] vsize: 236132
Current children cumulated CPU time (s) 765.46
Current children cumulated vsize (Kb) 236132

[startup+780.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 85017 0 0 0 77108 430 0 0 25 0 1 0 21208914 242061312 48190 4294967295 134512640 135987407 3221224544 3221223232 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 59097 48190 364 364 0 58733 0
[pid=8311] vsize: 236388
Current children cumulated CPU time (s) 775.38
Current children cumulated vsize (Kb) 236388

[startup+790.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 85022 0 0 0 78097 434 0 0 25 0 1 0 21208914 242061312 48195 4294967295 134512640 135987407 3221224544 3221223360 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 59097 48195 364 364 0 58733 0
[pid=8311] vsize: 236388
Current children cumulated CPU time (s) 785.31
Current children cumulated vsize (Kb) 236388

[startup+800.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 85027 0 0 0 79088 437 0 0 25 0 1 0 21208914 242061312 48200 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 59097 48200 364 364 0 58733 0
[pid=8311] vsize: 236388
Current children cumulated CPU time (s) 795.25
Current children cumulated vsize (Kb) 236388

[startup+810.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 85276 0 0 0 80074 443 0 0 25 0 1 0 21208914 243396608 48449 4294967295 134512640 135987407 3221224544 3221223104 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 59423 48449 364 364 0 59059 0
[pid=8311] vsize: 237692
Current children cumulated CPU time (s) 805.17
Current children cumulated vsize (Kb) 237692

[startup+820.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 85389 0 0 0 81063 447 0 0 25 0 1 0 21208914 243593216 48562 4294967295 134512640 135987407 3221224544 3221223328 134812406 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 59471 48562 364 364 0 59107 0
[pid=8311] vsize: 237884
Current children cumulated CPU time (s) 815.1
Current children cumulated vsize (Kb) 237884

[startup+830.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 85399 0 0 0 82047 452 0 0 25 0 1 0 21208914 243593216 48572 4294967295 134512640 135987407 3221224544 3221223232 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 59471 48572 364 364 0 59107 0
[pid=8311] vsize: 237884
Current children cumulated CPU time (s) 824.99
Current children cumulated vsize (Kb) 237884

[startup+840.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 86350 0 0 0 83036 458 0 0 25 0 1 0 21208914 243593216 48586 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 59471 48586 364 364 0 59107 0
[pid=8311] vsize: 237884
Current children cumulated CPU time (s) 834.94
Current children cumulated vsize (Kb) 237884

[startup+850.037 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) T 8310 8311 4060 0 -1 0 86355 0 0 0 84027 461 0 0 25 0 1 0 21208914 243593216 48591 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8311/statm): 59471 48591 364 364 0 59107 0
[pid=8311] vsize: 237884
Current children cumulated CPU time (s) 844.88
Current children cumulated vsize (Kb) 237884

[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 86365 0 0 0 85019 463 0 0 25 0 1 0 21208914 243593216 48601 4294967295 134512640 135987407 3221224544 3221223232 134812138 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8311/statm): 59471 48601 364 364 0 59107 0
[pid=8311] vsize: 237884
Current children cumulated CPU time (s) 854.82
Current children cumulated vsize (Kb) 237884

[startup+870.038 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) T 8310 8311 4060 0 -1 0 86373 0 0 0 86009 467 0 0 25 0 1 0 21208914 243593216 48609 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8311/statm): 59471 48609 364 364 0 59107 0
[pid=8311] vsize: 237884
Current children cumulated CPU time (s) 864.76
Current children cumulated vsize (Kb) 237884

[startup+880.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 86381 0 0 0 86995 471 0 0 25 0 1 0 21208914 243593216 48617 4294967295 134512640 135987407 3221224544 3221223232 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 59471 48617 364 364 0 59107 0
[pid=8311] vsize: 237884
Current children cumulated CPU time (s) 874.66
Current children cumulated vsize (Kb) 237884

[startup+890.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 87319 0 0 0 87986 476 0 0 25 0 1 0 21208914 243593216 48618 4294967295 134512640 135987407 3221224544 3221223408 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 59471 48618 364 364 0 59107 0
[pid=8311] vsize: 237884
Current children cumulated CPU time (s) 884.62
Current children cumulated vsize (Kb) 237884

[startup+900.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 87531 0 0 0 88976 480 0 0 25 0 1 0 21208914 244752384 48830 4294967295 134512640 135987407 3221224544 3221223232 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 59754 48830 364 364 0 59390 0
[pid=8311] vsize: 239016
Current children cumulated CPU time (s) 894.56
Current children cumulated vsize (Kb) 239016

[startup+910.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 87557 0 0 0 89964 484 0 0 25 0 1 0 21208914 244752384 48856 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 59754 48856 364 364 0 59390 0
[pid=8311] vsize: 239016
Current children cumulated CPU time (s) 904.48
Current children cumulated vsize (Kb) 239016

[startup+920.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 87558 0 0 0 90957 486 0 0 25 0 1 0 21208914 244752384 48857 4294967295 134512640 135987407 3221224544 3221223232 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 59754 48857 364 364 0 59390 0
[pid=8311] vsize: 239016
Current children cumulated CPU time (s) 914.43
Current children cumulated vsize (Kb) 239016

[startup+930.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 87559 0 0 0 91949 489 0 0 25 0 1 0 21208914 244752384 48858 4294967295 134512640 135987407 3221224544 3221223292 134811686 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 59754 48858 364 364 0 59390 0
[pid=8311] vsize: 239016
Current children cumulated CPU time (s) 924.38
Current children cumulated vsize (Kb) 239016

[startup+940.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 88498 0 0 0 92941 493 0 0 25 0 1 0 21208914 244752384 48860 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 59754 48860 364 364 0 59390 0
[pid=8311] vsize: 239016
Current children cumulated CPU time (s) 934.34
Current children cumulated vsize (Kb) 239016

[startup+950.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 88499 0 0 0 93931 496 0 0 25 0 1 0 21208914 244752384 48861 4294967295 134512640 135987407 3221224544 3221223388 134812764 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 59754 48861 364 364 0 59390 0
[pid=8311] vsize: 239016
Current children cumulated CPU time (s) 944.27
Current children cumulated vsize (Kb) 239016

[startup+960.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 88582 0 0 0 94922 499 0 0 25 0 1 0 21208914 245014528 48879 4294967295 134512640 135987407 3221224544 3221223232 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 59818 48879 364 364 0 59454 0
[pid=8311] vsize: 239272
Current children cumulated CPU time (s) 954.21
Current children cumulated vsize (Kb) 239272

[startup+970.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 88583 0 0 0 95915 503 0 0 25 0 1 0 21208914 245014528 48880 4294967295 134512640 135987407 3221224544 3221223312 134812433 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 59818 48880 364 364 0 59454 0
[pid=8311] vsize: 239272
Current children cumulated CPU time (s) 964.18
Current children cumulated vsize (Kb) 239272

[startup+980.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 88588 0 0 0 96904 507 0 0 25 0 1 0 21208914 245014528 48885 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 59818 48885 364 364 0 59454 0
[pid=8311] vsize: 239272
Current children cumulated CPU time (s) 974.11
Current children cumulated vsize (Kb) 239272

[startup+990.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 88597 0 0 0 97892 511 0 0 25 0 1 0 21208914 245014528 48894 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 59818 48894 364 364 0 59454 0
[pid=8311] vsize: 239272
Current children cumulated CPU time (s) 984.03
Current children cumulated vsize (Kb) 239272

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 88601 0 0 0 98883 514 0 0 25 0 1 0 21208914 245014528 48898 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 59818 48898 364 364 0 59454 0
[pid=8311] vsize: 239272
Current children cumulated CPU time (s) 993.97
Current children cumulated vsize (Kb) 239272

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 88687 0 0 0 99875 517 0 0 25 0 1 0 21208914 245276672 48919 4294967295 134512640 135987407 3221224544 3221223104 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 59882 48919 364 364 0 59518 0
[pid=8311] vsize: 239528
Current children cumulated CPU time (s) 1003.92
Current children cumulated vsize (Kb) 239528

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 88695 0 0 0 100868 519 0 0 25 0 1 0 21208914 245276672 48927 4294967295 134512640 135987407 3221224544 3221223232 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 59882 48927 364 364 0 59518 0
[pid=8311] vsize: 239528
Current children cumulated CPU time (s) 1013.87
Current children cumulated vsize (Kb) 239528

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 88705 0 0 0 101863 521 0 0 25 0 1 0 21208914 245276672 48937 4294967295 134512640 135987407 3221224544 3221223104 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 59882 48937 364 364 0 59518 0
[pid=8311] vsize: 239528
Current children cumulated CPU time (s) 1023.84
Current children cumulated vsize (Kb) 239528

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 88792 0 0 0 102856 523 0 0 25 0 1 0 21208914 245538816 48959 4294967295 134512640 135987407 3221224544 3221223104 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 59946 48959 364 364 0 59582 0
[pid=8311] vsize: 239784
Current children cumulated CPU time (s) 1033.79
Current children cumulated vsize (Kb) 239784

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 88804 0 0 0 103849 526 0 0 25 0 1 0 21208914 245538816 48971 4294967295 134512640 135987407 3221224544 3221223232 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 59946 48971 364 364 0 59582 0
[pid=8311] vsize: 239784
Current children cumulated CPU time (s) 1043.75
Current children cumulated vsize (Kb) 239784

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 88817 0 0 0 104841 528 0 0 25 0 1 0 21208914 245538816 48984 4294967295 134512640 135987407 3221224544 3221223232 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 59946 48984 364 364 0 59582 0
[pid=8311] vsize: 239784
Current children cumulated CPU time (s) 1053.69
Current children cumulated vsize (Kb) 239784

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 88994 0 0 0 105835 531 0 0 25 0 1 0 21208914 246063104 49031 4294967295 134512640 135987407 3221224544 3221223408 134812653 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 60074 49031 364 364 0 59710 0
[pid=8311] vsize: 240296
Current children cumulated CPU time (s) 1063.66
Current children cumulated vsize (Kb) 240296

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 89022 0 0 0 106829 534 0 0 25 0 1 0 21208914 246063104 49059 4294967295 134512640 135987407 3221224544 3221223304 134811683 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 60074 49059 364 364 0 59710 0
[pid=8311] vsize: 240296
Current children cumulated CPU time (s) 1073.63
Current children cumulated vsize (Kb) 240296

[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 89265 0 0 0 107819 537 0 0 25 0 1 0 21208914 246849536 49107 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 60266 49107 364 364 0 59902 0
[pid=8311] vsize: 241064
Current children cumulated CPU time (s) 1083.56
Current children cumulated vsize (Kb) 241064

[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 89270 0 0 0 108810 540 0 0 25 0 1 0 21208914 246849536 49112 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8311/statm): 60266 49112 364 364 0 59902 0
[pid=8311] vsize: 241064
Current children cumulated CPU time (s) 1093.5
Current children cumulated vsize (Kb) 241064

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 89275 0 0 0 109804 542 0 0 25 0 1 0 21208914 246849536 49117 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8311/statm): 60266 49117 364 364 0 59902 0
[pid=8311] vsize: 241064
Current children cumulated CPU time (s) 1103.46
Current children cumulated vsize (Kb) 241064

[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 90291 0 0 0 110794 547 0 0 25 0 1 0 21208914 247111680 49131 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 60330 49131 364 364 0 59966 0
[pid=8311] vsize: 241320
Current children cumulated CPU time (s) 1113.41
Current children cumulated vsize (Kb) 241320

[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 90351 0 0 0 111785 551 0 0 25 0 1 0 21208914 247382016 49191 4294967295 134512640 135987407 3221224544 3221223360 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 60396 49191 364 364 0 60032 0
[pid=8311] vsize: 241584
Current children cumulated CPU time (s) 1123.36
Current children cumulated vsize (Kb) 241584

[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 90367 0 0 0 112779 553 0 0 25 0 1 0 21208914 247382016 49207 4294967295 134512640 135987407 3221224544 3221223232 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 60396 49207 364 364 0 60032 0
[pid=8311] vsize: 241584
Current children cumulated CPU time (s) 1133.32
Current children cumulated vsize (Kb) 241584

[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 90385 0 0 0 113771 556 0 0 25 0 1 0 21208914 247382016 49225 4294967295 134512640 135987407 3221224544 3221223104 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 60396 49225 364 364 0 60032 0
[pid=8311] vsize: 241584
Current children cumulated CPU time (s) 1143.27
Current children cumulated vsize (Kb) 241584

[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 90407 0 0 0 114765 559 0 0 25 0 1 0 21208914 247382016 49247 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 60396 49247 364 364 0 60032 0
[pid=8311] vsize: 241584
Current children cumulated CPU time (s) 1153.24
Current children cumulated vsize (Kb) 241584

[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 91353 0 0 0 115755 563 0 0 25 0 1 0 21208914 247382016 49256 4294967295 134512640 135987407 3221224544 3221223328 134812361 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 60396 49256 364 364 0 60032 0
[pid=8311] vsize: 241584
Current children cumulated CPU time (s) 1163.18
Current children cumulated vsize (Kb) 241584

[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 91359 0 0 0 116747 566 0 0 25 0 1 0 21208914 247382016 49262 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 60396 49262 364 364 0 60032 0
[pid=8311] vsize: 241584
Current children cumulated CPU time (s) 1173.13
Current children cumulated vsize (Kb) 241584

[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 91437 0 0 0 117740 568 0 0 25 0 1 0 21208914 247513088 49307 4294967295 134512640 135987407 3221224544 3221223328 134812361 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 60428 49307 364 364 0 60064 0
[pid=8311] vsize: 241712
Current children cumulated CPU time (s) 1183.08
Current children cumulated vsize (Kb) 241712

[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 91445 0 0 0 118732 571 0 0 25 0 1 0 21208914 247513088 49315 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 60428 49315 364 364 0 60064 0
[pid=8311] vsize: 241712
Current children cumulated CPU time (s) 1193.03
Current children cumulated vsize (Kb) 241712

[startup+1210.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 92388 0 0 0 119723 575 0 0 25 0 1 0 21208914 247513088 49321 4294967295 134512640 135987407 3221224544 3221223232 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 60428 49321 364 364 0 60064 0
[pid=8311] vsize: 241712
Current children cumulated CPU time (s) 1202.98
Current children cumulated vsize (Kb) 241712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8311
Raw data (/proc/8311/stat): 8311 (pb2sat) R 8310 8311 4060 0 -1 0 92388 0 0 0 119723 575 0 0 25 0 1 0 21208914 247513088 49321 4294967295 134512640 135987407 3221224544 3221223232 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8311/statm): 60428 49321 364 364 0 60064 0
[pid=8311] vsize: 241712
Current children cumulated CPU time (s) 1202.98
Current children cumulated vsize (Kb) 241712

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

Child status: 0
Real time (s): 1211.01
CPU time (s): 1203.94
CPU user time (s): 1198.08
CPU system time (s): 5.85811
CPU usage (%): 99.4165
Max. virtual memory (cumulated for all children) (Kb): 241712

Verifier Data

ERROR: no interpretation found !