Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-trento1.opb
MD5SUMa75eaaeeef32947fd9ba7cf4d126c00a
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
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 31855
Biggest coefficient in the objective function 524288000000000000
Number of bits for the biggest coefficient in the objective function 59
Sum of the numbers in the objective function 3494440607063922925
Number of bits of the sum of numbers in the objective function 62
Biggest number in a constraint 524288000000000000
Number of bits of the biggest number in a constraint 59
Biggest sum of numbers in a constraint 3507240607063922925
Number of bits of the biggest sum of numbers62
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables31855
Total number of constraints7680
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)6416
Number of constraints which are nor clauses,nor cardinality constraints1264
Minimum length of a constraint1
Maximum length of a constraint31855

Trace number 5746

Launcher Data

LAUNCH ON wulflinc20 THE 2005-09-20 01:02:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1160 boxname=wulflinc20 idbench=1160 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  a75eaaeeef32947fd9ba7cf4d126c00a  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-trento1.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-trento1.opb
IDLAUNCH: 1160
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        910460 kB
Buffers:          8616 kB
Cached:          85308 kB
SwapCached:        800 kB
Active:          34048 kB
Inactive:        62580 kB
HighTotal:      131008 kB
HighFree:        42000 kB
LowTotal:       903652 kB
LowFree:        868460 kB
SwapTotal:     2097892 kB
SwapFree:      2096636 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5736 kB
Slab:            21832 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 01:23:03 (client local time) WITH STATUS 0 IN 1195.23 SECONDS
stats: 1160 7 1195.23 0

Solver Data

c INFO: OSL Context initialized.
c BIG Int formula...
c Initial problem consists of 31855 variables and 2512 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 62.227
c After prepocess the problem consists of 22564 variables and 2512 constraints.
c Initial Lower Bound: 0
c Restart #1 #Var: 22564 #Dec: 33518 LB: 0 @ 69.766
c Restart #2 #Var: 22564 #Dec: 75127 LB: 0 @ 82.393
c Restart #3 #Var: 22564 #Dec: 111258 LB: 0 @ 110.26
c Restart #4 #Var: 22564 #Dec: 159655 LB: 0 @ 139.84
c Restart #5 #Var: 22564 #Dec: 208866 LB: 0 @ 179.51
c Restart #6 #Var: 22564 #Dec: 261366 LB: 0 @ 222.97
c Restart #7 #Var: 22564 #Dec: 361525 LB: 0 @ 269.55
c Restart #8 #Var: 22564 #Dec: 534264 LB: 0 @ 311.18
c Restart #9 #Var: 22564 #Dec: 693049 LB: 0 @ 324.07
c Restart #10 #Var: 22564 #Dec: 809383 LB: 0 @ 335.59
c Restart #11 #Var: 22564 #Dec: 813454 LB: 0 @ 338.6
c Restart #12 #Var: 22564 #Dec: 834451 LB: 0 @ 341.94
c Restart #13 #Var: 22564 #Dec: 869502 LB: 0 @ 346.32
c Restart #14 #Var: 22564 #Dec: 872533 LB: 0 @ 348.01
c Restart #15 #Var: 22564 #Dec: 888770 LB: 0 @ 351.28
c Restart #16 #Var: 22564 #Dec: 905634 LB: 0 @ 354.45
c Restart #17 #Var: 22564 #Dec: 909051 LB: 0 @ 357.37
c Restart #18 #Var: 22564 #Dec: 912724 LB: 0 @ 359.73
c Restart #19 #Var: 22564 #Dec: 919147 LB: 0 @ 362.81
c Restart #20 #Var: 22564 #Dec: 925644 LB: 0 @ 367.64
c Restart #21 #Var: 22564 #Dec: 947745 LB: 0 @ 375.18
c Restart #22 #Var: 22564 #Dec: 952298 LB: 0 @ 378.71
c Restart #23 #Var: 22564 #Dec: 956992 LB: 0 @ 382.9
c Restart #24 #Var: 22564 #Dec: 961807 LB: 0 @ 388.68
c Restart #25 #Var: 22564 #Dec: 966868 LB: 0 @ 393.4
c CHANGE Heuristic... 
c Restart #0 #Var: 22564 #Dec: 982870 LB: 0 @ 793.13
c Restart #1 #Var: 22564 #Dec: 983717 LB: 0 @ 863.18
c Restart #2 #Var: 22564 #Dec: 985359 LB: 0 @ 867.11
c Restart #3 #Var: 22564 #Dec: 986970 LB: 0 @ 868.9
c Restart #4 #Var: 22564 #Dec: 987823 LB: 0 @ 869.95
c Restart #5 #Var: 22564 #Dec: 990269 LB: 0 @ 871.83
c Restart #6 #Var: 22564 #Dec: 991511 LB: 0 @ 873.7
c Restart #7 #Var: 22564 #Dec: 992952 LB: 0 @ 876.91
c Restart #8 #Var: 22564 #Dec: 994589 LB: 0 @ 879.41
c Restart #9 #Var: 22564 #Dec: 997381 LB: 0 @ 882.17
c Restart #10 #Var: 22564 #Dec: 999409 LB: 0 @ 883.81
c Restart #11 #Var: 22564 #Dec: 1001634 LB: 0 @ 886.05
c Restart #12 #Var: 22564 #Dec: 1004062 LB: 0 @ 888.21
c Restart #13 #Var: 22564 #Dec: 1012209 LB: 0 @ 1040.6
c Restart #14 #Var: 22564 #Dec: 1017314 LB: 0 @ 1123.2
s UNKNOWN
c Exit Code: 0
c Total time: 1195 s

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/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1854423149 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26200/statm): 107 3 90 68 0 39 0
[pid=26200] vsize: 428
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libosl.so
open syscall for file tls/i686/libosl.so
open syscall for file tls/mmx/libosl.so
open syscall for file tls/libosl.so
open syscall for file i686/mmx/libosl.so
open syscall for file i686/libosl.so
open syscall for file mmx/libosl.so
open syscall for file libosl.so
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/i686/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/libosl.so
open syscall for file /oldhome/oroussel/lib/i686/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/i686/libosl.so
open syscall for file /oldhome/oroussel/lib/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/libosl.so
open syscall for file tls/i686/mmx/libstdc++-libc6.2-2.so.3
open syscall for file tls/i686/libstdc++-libc6.2-2.so.3
open syscall for file tls/mmx/libstdc++-libc6.2-2.so.3
open syscall for file tls/libstdc++-libc6.2-2.so.3
open syscall for file i686/mmx/libstdc++-libc6.2-2.so.3
open syscall for file i686/libstdc++-libc6.2-2.so.3
open syscall for file mmx/libstdc++-libc6.2-2.so.3
open syscall for file libstdc++-libc6.2-2.so.3
open syscall for file /oldhome/oroussel/lib/libstdc++-libc6.2-2.so.3
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++-libc6.2-2.so.3
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /etc/localtime
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-trento1.opb

[startup+10.0034 s]
Raw data (loadavg): 0.94 0.97 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 58217 0 0 0 837 133 0 0 25 0 1 0 1854423149 241176576 58000 4294967295 134512640 134736556 3221224560 3221221324 1077091875 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26200/statm): 58881 58000 1116 68 0 58813 0
[pid=26200] vsize: 235524
Current children cumulated CPU time (s) 9.7
Current children cumulated vsize (Kb) 235524

[startup+20.0041 s]
Raw data (loadavg): 0.95 0.97 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 59982 0 0 0 1830 137 0 0 25 0 1 0 1854423149 248524800 59758 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 60675 59758 1116 68 0 60607 0
[pid=26200] vsize: 242700
Current children cumulated CPU time (s) 19.67
Current children cumulated vsize (Kb) 242700

[startup+30.0038 s]
Raw data (loadavg): 0.95 0.97 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 61496 0 0 0 2823 142 0 0 25 0 1 0 1854423149 254676992 61264 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26200/statm): 62177 61264 1116 68 0 62109 0
[pid=26200] vsize: 248708
Current children cumulated CPU time (s) 29.65
Current children cumulated vsize (Kb) 248708

[startup+40.0045 s]
Raw data (loadavg): 0.96 0.97 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 61623 0 0 0 3821 143 0 0 25 0 1 0 1854423149 255352832 61379 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 62342 61379 1116 68 0 62274 0
[pid=26200] vsize: 249368
Current children cumulated CPU time (s) 39.64
Current children cumulated vsize (Kb) 249368

[startup+50.0053 s]
Raw data (loadavg): 0.97 0.97 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 61673 0 0 0 4821 143 0 0 25 0 1 0 1854423149 255488000 61429 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 62375 61429 1116 68 0 62307 0
[pid=26200] vsize: 249500
Current children cumulated CPU time (s) 49.64
Current children cumulated vsize (Kb) 249500

[startup+60.006 s]
Raw data (loadavg): 0.97 0.97 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 61875 0 0 0 5821 144 0 0 25 0 1 0 1854423149 256622592 61603 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 62652 61603 1116 68 0 62584 0
[pid=26200] vsize: 250608
Current children cumulated CPU time (s) 59.65
Current children cumulated vsize (Kb) 250608

[startup+70.0067 s]
Raw data (loadavg): 0.97 0.97 0.98 1/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) T 26199 26200 2660 0 -1 0 64950 0 0 0 6680 196 0 0 25 0 1 0 1854423149 270016512 64678 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/26200/statm): 65922 64678 1116 68 0 65854 0
[pid=26200] vsize: 263688
Current children cumulated CPU time (s) 68.76
Current children cumulated vsize (Kb) 263688

[startup+80.0075 s]
Raw data (loadavg): 0.98 0.97 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 64986 0 0 0 7541 242 0 0 25 0 1 0 1854423149 270127104 64714 4294967295 134512640 134736556 3221224560 3221223088 134716576 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 65949 64714 1116 68 0 65881 0
[pid=26200] vsize: 263796
Current children cumulated CPU time (s) 77.83
Current children cumulated vsize (Kb) 263796

[startup+90.0081 s]
Raw data (loadavg): 0.98 0.97 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 65021 0 0 0 8403 291 0 0 25 0 1 0 1854423149 270237696 64747 4294967295 134512640 134736556 3221224560 3221223108 134544531 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 65976 64747 1116 68 0 65908 0
[pid=26200] vsize: 263904
Current children cumulated CPU time (s) 86.94
Current children cumulated vsize (Kb) 263904

[startup+100.009 s]
Raw data (loadavg): 0.98 0.97 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 65032 0 0 0 9378 300 0 0 25 0 1 0 1854423149 270372864 64758 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 66009 64758 1116 68 0 65941 0
[pid=26200] vsize: 264036
Current children cumulated CPU time (s) 96.78
Current children cumulated vsize (Kb) 264036

[startup+110.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 65074 0 0 0 10361 306 0 0 25 0 1 0 1854423149 270508032 64800 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26200/statm): 66042 64800 1116 68 0 65974 0
[pid=26200] vsize: 264168
Current children cumulated CPU time (s) 106.67
Current children cumulated vsize (Kb) 264168

[startup+120.01 s]
Raw data (loadavg): 1.06 0.99 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 65074 0 0 0 11265 339 0 0 25 0 1 0 1854423149 270508032 64800 4294967295 134512640 134736556 3221224560 3221223136 134543977 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 66042 64800 1116 68 0 65974 0
[pid=26200] vsize: 264168
Current children cumulated CPU time (s) 116.04
Current children cumulated vsize (Kb) 264168

[startup+130.01 s]
Raw data (loadavg): 1.05 0.99 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 65076 0 0 0 12210 357 0 0 25 0 1 0 1854423149 270508032 64802 4294967295 134512640 134736556 3221224560 3221223136 134550888 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 66042 64802 1116 68 0 65974 0
[pid=26200] vsize: 264168
Current children cumulated CPU time (s) 125.67
Current children cumulated vsize (Kb) 264168

[startup+140.011 s]
Raw data (loadavg): 1.04 0.99 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 65079 0 0 0 13179 367 0 0 25 0 1 0 1854423149 270508032 64805 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26200/statm): 66042 64805 1116 68 0 65974 0
[pid=26200] vsize: 264168
Current children cumulated CPU time (s) 135.46
Current children cumulated vsize (Kb) 264168

[startup+150.011 s]
Raw data (loadavg): 1.04 0.99 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 65095 0 0 0 14074 400 0 0 25 0 1 0 1854423149 270585856 64821 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 66061 64821 1116 68 0 65993 0
[pid=26200] vsize: 264244
Current children cumulated CPU time (s) 144.74
Current children cumulated vsize (Kb) 264244

[startup+160.012 s]
Raw data (loadavg): 1.03 0.99 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 65095 0 0 0 15028 417 0 0 25 0 1 0 1854423149 270585856 64821 4294967295 134512640 134736556 3221224560 3221223140 134716328 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 66061 64821 1116 68 0 65993 0
[pid=26200] vsize: 264244
Current children cumulated CPU time (s) 154.45
Current children cumulated vsize (Kb) 264244

[startup+170.013 s]
Raw data (loadavg): 1.02 0.99 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 65097 0 0 0 15999 428 0 0 25 0 1 0 1854423149 270585856 64823 4294967295 134512640 134736556 3221224560 3221223204 1077374494 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 66061 64823 1116 68 0 65993 0
[pid=26200] vsize: 264244
Current children cumulated CPU time (s) 164.27
Current children cumulated vsize (Kb) 264244

[startup+180.013 s]
Raw data (loadavg): 1.02 0.99 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 65097 0 0 0 16975 436 0 0 25 0 1 0 1854423149 270585856 64823 4294967295 134512640 134736556 3221224560 3221223084 134540061 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 66061 64823 1116 68 0 65993 0
[pid=26200] vsize: 264244
Current children cumulated CPU time (s) 174.11
Current children cumulated vsize (Kb) 264244

[startup+190.013 s]
Raw data (loadavg): 1.02 0.99 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 65106 0 0 0 17878 467 0 0 25 0 1 0 1854423149 270585856 64832 4294967295 134512640 134736556 3221224560 3221223072 134543184 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26200/statm): 66061 64832 1116 68 0 65993 0
[pid=26200] vsize: 264244
Current children cumulated CPU time (s) 183.45
Current children cumulated vsize (Kb) 264244

[startup+200.013 s]
Raw data (loadavg): 1.01 0.99 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 65121 0 0 0 18836 482 0 0 25 0 1 0 1854423149 270675968 64847 4294967295 134512640 134736556 3221224560 3221223272 134560233 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 66083 64847 1116 68 0 66015 0
[pid=26200] vsize: 264332
Current children cumulated CPU time (s) 193.18
Current children cumulated vsize (Kb) 264332

[startup+210.014 s]
Raw data (loadavg): 1.01 0.99 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 65147 0 0 0 19817 488 0 0 25 0 1 0 1854423149 270737408 64869 4294967295 134512640 134736556 3221224560 3221223136 134523844 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 66098 64869 1116 68 0 66030 0
[pid=26200] vsize: 264392
Current children cumulated CPU time (s) 203.05
Current children cumulated vsize (Kb) 264392

[startup+220.015 s]
Raw data (loadavg): 1.01 0.99 0.98 1/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) T 26199 26200 2660 0 -1 0 65219 0 0 0 20782 499 0 0 25 0 1 0 1854423149 271065088 64923 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/26200/statm): 66178 64923 1116 68 0 66110 0
[pid=26200] vsize: 264712
Current children cumulated CPU time (s) 212.81
Current children cumulated vsize (Kb) 264712

[startup+230.014 s]
Raw data (loadavg): 1.01 0.99 0.98 1/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) T 26199 26200 2660 0 -1 0 65267 0 0 0 21737 513 0 0 25 0 1 0 1854423149 271257600 64971 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/26200/statm): 66225 64971 1116 68 0 66157 0
[pid=26200] vsize: 264900
Current children cumulated CPU time (s) 222.5
Current children cumulated vsize (Kb) 264900

[startup+240.014 s]
Raw data (loadavg): 1.01 0.99 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 65304 0 0 0 22604 555 0 0 25 0 1 0 1854423149 271343616 65008 4294967295 134512640 134736556 3221224560 3221223068 134540130 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26200/statm): 66246 65008 1116 68 0 66178 0
[pid=26200] vsize: 264984
Current children cumulated CPU time (s) 231.59
Current children cumulated vsize (Kb) 264984

[startup+250.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 65379 0 0 0 23550 571 0 0 25 0 1 0 1854423149 271712256 65083 4294967295 134512640 134736556 3221224560 3221223068 134540047 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26200/statm): 66336 65083 1116 68 0 66268 0
[pid=26200] vsize: 265344
Current children cumulated CPU time (s) 241.21
Current children cumulated vsize (Kb) 265344

[startup+260.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 65455 0 0 0 24505 587 0 0 25 0 1 0 1854423149 271974400 65159 4294967295 134512640 134736556 3221224560 3221223084 134540155 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 66400 65159 1116 68 0 66332 0
[pid=26200] vsize: 265600
Current children cumulated CPU time (s) 250.92
Current children cumulated vsize (Kb) 265600

[startup+270.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 65506 0 0 0 25412 616 0 0 25 0 1 0 1854423149 272244736 65210 4294967295 134512640 134736556 3221224560 3221223112 134544505 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 66466 65210 1116 68 0 66398 0
[pid=26200] vsize: 265864
Current children cumulated CPU time (s) 260.28
Current children cumulated vsize (Kb) 265864

[startup+280.016 s]
Raw data (loadavg): 1.00 0.99 0.98 1/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) T 26199 26200 2660 0 -1 0 65612 0 0 0 26308 654 0 0 23 0 1 0 1854423149 272650240 65316 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/26200/statm): 66565 65316 1116 68 0 66497 0
[pid=26200] vsize: 266260
Current children cumulated CPU time (s) 269.62
Current children cumulated vsize (Kb) 266260

[startup+290.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 65694 0 0 0 27158 703 0 0 25 0 1 0 1854423149 272920576 65398 4294967295 134512640 134736556 3221224560 3221223296 134529014 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26200/statm): 66631 65398 1116 68 0 66563 0
[pid=26200] vsize: 266524
Current children cumulated CPU time (s) 278.61
Current children cumulated vsize (Kb) 266524

[startup+300.017 s]
Raw data (loadavg): 1.00 0.99 0.98 1/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) T 26199 26200 2660 0 -1 0 65789 0 0 0 28053 739 0 0 25 0 1 0 1854423149 273313792 65493 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/26200/statm): 66727 65493 1116 68 0 66659 0
[pid=26200] vsize: 266908
Current children cumulated CPU time (s) 287.92
Current children cumulated vsize (Kb) 266908

[startup+310.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 65904 0 0 0 28923 785 0 0 23 0 1 0 1854423149 273854464 65608 4294967295 134512640 134736556 3221224560 3221223068 134540120 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26200/statm): 66859 65608 1116 68 0 66791 0
[pid=26200] vsize: 267436
Current children cumulated CPU time (s) 297.08
Current children cumulated vsize (Kb) 267436

[startup+320.019 s]
Raw data (loadavg): 1.00 0.99 0.98 1/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) T 26199 26200 2660 0 -1 0 66036 0 0 0 29705 854 0 0 22 0 1 0 1854423149 274395136 65740 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/26200/statm): 66991 65740 1116 68 0 66923 0
[pid=26200] vsize: 267964
Current children cumulated CPU time (s) 305.59
Current children cumulated vsize (Kb) 267964

[startup+330.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 66201 0 0 0 30425 951 0 0 17 0 1 0 1854423149 275070976 65905 4294967295 134512640 134736556 3221224560 3221223216 134537358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26200/statm): 67156 65905 1116 68 0 67088 0
[pid=26200] vsize: 268624
Current children cumulated CPU time (s) 313.76
Current children cumulated vsize (Kb) 268624

[startup+340.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 66292 0 0 0 31028 1077 0 0 19 0 1 0 1854423149 275472384 65996 4294967295 134512640 134736556 3221224560 3221223104 134716177 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 67254 65996 1116 68 0 67186 0
[pid=26200] vsize: 269016
Current children cumulated CPU time (s) 321.05
Current children cumulated vsize (Kb) 269016

[startup+350.021 s]
Raw data (loadavg): 1.00 0.99 0.98 1/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) T 26199 26200 2660 0 -1 0 66988 0 0 0 31700 1184 0 0 18 0 1 0 1854423149 278310912 66692 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/26200/statm): 67947 66692 1116 68 0 67879 0
[pid=26200] vsize: 271788
Current children cumulated CPU time (s) 328.84
Current children cumulated vsize (Kb) 271788

[startup+360.022 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 68778 0 0 0 32494 1254 0 0 25 0 1 0 1854423149 285605888 68482 4294967295 134512640 134736556 3221224560 3221223136 134550251 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26200/statm): 69728 68482 1116 68 0 69660 0
[pid=26200] vsize: 278912
Current children cumulated CPU time (s) 337.48
Current children cumulated vsize (Kb) 278912

[startup+370.021 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 71565 0 0 0 33261 1341 0 0 25 0 1 0 1854423149 297082880 71269 4294967295 134512640 134736556 3221224560 3221223296 134605558 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 72530 71269 1116 68 0 72462 0
[pid=26200] vsize: 290120
Current children cumulated CPU time (s) 346.02
Current children cumulated vsize (Kb) 290120

[startup+380.021 s]
Raw data (loadavg): 1.00 0.99 0.98 1/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) T 26199 26200 2660 0 -1 0 75116 0 0 0 34097 1400 0 0 25 0 1 0 1854423149 311541760 74820 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/26200/statm): 76060 74820 1116 68 0 75992 0
[pid=26200] vsize: 304240
Current children cumulated CPU time (s) 354.97
Current children cumulated vsize (Kb) 304240

[startup+390.022 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 79028 0 0 0 35012 1433 0 0 25 0 1 0 1854423149 327626752 78732 4294967295 134512640 134736556 3221224560 3221223296 134529232 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 79987 78732 1116 68 0 79919 0
[pid=26200] vsize: 319948
Current children cumulated CPU time (s) 364.45
Current children cumulated vsize (Kb) 319948

[startup+400.022 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 81318 0 0 0 35906 1470 0 0 25 0 1 0 1854423149 336953344 81022 4294967295 134512640 134736556 3221224560 3221223164 134537568 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 82264 81022 1116 68 0 82196 0
[pid=26200] vsize: 329056
Current children cumulated CPU time (s) 373.76
Current children cumulated vsize (Kb) 329056

[startup+410.022 s]
Raw data (loadavg): 1.08 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 85703 0 0 0 36844 1498 0 0 25 0 1 0 1854423149 354983936 85407 4294967295 134512640 134736556 3221224560 3221223160 134554109 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26200/statm): 86666 85407 1116 68 0 86598 0
[pid=26200] vsize: 346664
Current children cumulated CPU time (s) 383.42
Current children cumulated vsize (Kb) 346664

[startup+420.022 s]
Raw data (loadavg): 1.07 1.00 0.99 1/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) T 26199 26200 2660 0 -1 0 89603 0 0 0 37780 1525 0 0 25 0 1 0 1854423149 370950144 89306 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90564 89306 1116 68 0 90496 0
[pid=26200] vsize: 362256
Current children cumulated CPU time (s) 393.05
Current children cumulated vsize (Kb) 362256

[startup+430.022 s]
Raw data (loadavg): 1.06 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89775 0 0 0 38765 1531 0 0 25 0 1 0 1854423149 371761152 89478 4294967295 134512640 134736556 3221224560 3221223296 134605558 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90762 89478 1116 68 0 90694 0
[pid=26200] vsize: 363048
Current children cumulated CPU time (s) 402.96
Current children cumulated vsize (Kb) 363048

[startup+440.022 s]
Raw data (loadavg): 1.05 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89842 0 0 0 39750 1535 0 0 25 0 1 0 1854423149 372031488 89545 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90828 89545 1116 68 0 90760 0
[pid=26200] vsize: 363312
Current children cumulated CPU time (s) 412.85
Current children cumulated vsize (Kb) 363312

[startup+450.022 s]
Raw data (loadavg): 1.04 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89849 0 0 0 40737 1540 0 0 25 0 1 0 1854423149 371879936 89538 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90791 89538 1116 68 0 90723 0
[pid=26200] vsize: 363164
Current children cumulated CPU time (s) 422.77
Current children cumulated vsize (Kb) 363164

[startup+460.023 s]
Raw data (loadavg): 1.03 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89871 0 0 0 41732 1542 0 0 25 0 1 0 1854423149 372006912 89560 4294967295 134512640 134736556 3221224560 3221223296 134605558 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90822 89560 1116 68 0 90754 0
[pid=26200] vsize: 363288
Current children cumulated CPU time (s) 432.74
Current children cumulated vsize (Kb) 363288

[startup+470.024 s]
Raw data (loadavg): 1.03 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89879 0 0 0 42731 1543 0 0 25 0 1 0 1854423149 372006912 89568 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90822 89568 1116 68 0 90754 0
[pid=26200] vsize: 363288
Current children cumulated CPU time (s) 442.74
Current children cumulated vsize (Kb) 363288

[startup+480.023 s]
Raw data (loadavg): 1.02 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89879 0 0 0 43729 1544 0 0 25 0 1 0 1854423149 372006912 89568 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90822 89568 1116 68 0 90754 0
[pid=26200] vsize: 363288
Current children cumulated CPU time (s) 452.73
Current children cumulated vsize (Kb) 363288

[startup+490.023 s]
Raw data (loadavg): 1.02 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89886 0 0 0 44728 1545 0 0 25 0 1 0 1854423149 372109312 89568 4294967295 134512640 134736556 3221224560 3221223096 1077377893 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89568 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 462.73
Current children cumulated vsize (Kb) 363388

[startup+500.024 s]
Raw data (loadavg): 1.02 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89886 0 0 0 45726 1545 0 0 25 0 1 0 1854423149 372109312 89568 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89568 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 472.71
Current children cumulated vsize (Kb) 363388

[startup+510.025 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89893 0 0 0 46725 1546 0 0 25 0 1 0 1854423149 372109312 89575 4294967295 134512640 134736556 3221224560 3221223240 134560233 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89575 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 482.71
Current children cumulated vsize (Kb) 363388

[startup+520.024 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89894 0 0 0 47724 1547 0 0 25 0 1 0 1854423149 372109312 89576 4294967295 134512640 134736556 3221224560 3221223280 134605914 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89576 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 492.71
Current children cumulated vsize (Kb) 363388

[startup+530.025 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89894 0 0 0 48724 1547 0 0 25 0 1 0 1854423149 372109312 89576 4294967295 134512640 134736556 3221224560 3221223136 134550735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89576 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 502.71
Current children cumulated vsize (Kb) 363388

[startup+540.025 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89894 0 0 0 49722 1548 0 0 25 0 1 0 1854423149 372109312 89576 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89576 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 512.7
Current children cumulated vsize (Kb) 363388

[startup+550.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89894 0 0 0 50722 1549 0 0 25 0 1 0 1854423149 372109312 89576 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89576 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 522.71
Current children cumulated vsize (Kb) 363388

[startup+560.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89894 0 0 0 51721 1549 0 0 25 0 1 0 1854423149 372109312 89576 4294967295 134512640 134736556 3221224560 3221223296 134605558 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89576 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 532.7
Current children cumulated vsize (Kb) 363388

[startup+570.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89894 0 0 0 52719 1550 0 0 25 0 1 0 1854423149 372109312 89576 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89576 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 542.69
Current children cumulated vsize (Kb) 363388

[startup+580.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89894 0 0 0 53719 1551 0 0 25 0 1 0 1854423149 372109312 89576 4294967295 134512640 134736556 3221224560 3221223296 134605558 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89576 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 552.7
Current children cumulated vsize (Kb) 363388

[startup+590.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89894 0 0 0 54718 1551 0 0 25 0 1 0 1854423149 372109312 89576 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89576 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 562.69
Current children cumulated vsize (Kb) 363388

[startup+600.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89894 0 0 0 55717 1551 0 0 25 0 1 0 1854423149 372109312 89576 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89576 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 572.68
Current children cumulated vsize (Kb) 363388

[startup+610.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89894 0 0 0 56716 1552 0 0 25 0 1 0 1854423149 372109312 89576 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89576 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 582.68
Current children cumulated vsize (Kb) 363388

[startup+620.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89894 0 0 0 57716 1552 0 0 25 0 1 0 1854423149 372109312 89576 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89576 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 592.68
Current children cumulated vsize (Kb) 363388

[startup+630.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89894 0 0 0 58716 1552 0 0 25 0 1 0 1854423149 372109312 89576 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89576 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 602.68
Current children cumulated vsize (Kb) 363388

[startup+640.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89894 0 0 0 59714 1553 0 0 25 0 1 0 1854423149 372109312 89576 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89576 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 612.67
Current children cumulated vsize (Kb) 363388

[startup+650.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89894 0 0 0 60713 1553 0 0 25 0 1 0 1854423149 372109312 89576 4294967295 134512640 134736556 3221224560 3221223296 134605558 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89576 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 622.66
Current children cumulated vsize (Kb) 363388

[startup+660.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89894 0 0 0 61713 1553 0 0 25 0 1 0 1854423149 372109312 89576 4294967295 134512640 134736556 3221224560 3221223296 134605558 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89576 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 632.66
Current children cumulated vsize (Kb) 363388

[startup+670.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89894 0 0 0 62712 1554 0 0 25 0 1 0 1854423149 372109312 89576 4294967295 134512640 134736556 3221224560 3221223296 134605558 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89576 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 642.66
Current children cumulated vsize (Kb) 363388

[startup+680.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89894 0 0 0 63711 1554 0 0 25 0 1 0 1854423149 372109312 89576 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89576 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 652.65
Current children cumulated vsize (Kb) 363388

[startup+690.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89894 0 0 0 64710 1555 0 0 25 0 1 0 1854423149 372109312 89576 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89576 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 662.65
Current children cumulated vsize (Kb) 363388

[startup+700.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89894 0 0 0 65709 1555 0 0 25 0 1 0 1854423149 372109312 89576 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89576 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 672.64
Current children cumulated vsize (Kb) 363388

[startup+710.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89894 0 0 0 66708 1555 0 0 25 0 1 0 1854423149 372109312 89576 4294967295 134512640 134736556 3221224560 3221223136 134550735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89576 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 682.63
Current children cumulated vsize (Kb) 363388

[startup+720.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89894 0 0 0 67707 1556 0 0 25 0 1 0 1854423149 372109312 89576 4294967295 134512640 134736556 3221224560 3221223136 134550871 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89576 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 692.63
Current children cumulated vsize (Kb) 363388

[startup+730.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89894 0 0 0 68706 1557 0 0 25 0 1 0 1854423149 372109312 89576 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89576 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 702.63
Current children cumulated vsize (Kb) 363388

[startup+740.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89894 0 0 0 69706 1557 0 0 25 0 1 0 1854423149 372109312 89576 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89576 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 712.63
Current children cumulated vsize (Kb) 363388

[startup+750.03 s]
Raw data (loadavg): 1.07 1.02 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89894 0 0 0 70705 1557 0 0 25 0 1 0 1854423149 372109312 89576 4294967295 134512640 134736556 3221224560 3221223136 134550888 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89576 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 722.62
Current children cumulated vsize (Kb) 363388

[startup+760.031 s]
Raw data (loadavg): 1.06 1.02 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89894 0 0 0 71704 1558 0 0 25 0 1 0 1854423149 372109312 89576 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89576 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 732.62
Current children cumulated vsize (Kb) 363388

[startup+770.03 s]
Raw data (loadavg): 1.05 1.01 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89894 0 0 0 72703 1558 0 0 25 0 1 0 1854423149 372109312 89576 4294967295 134512640 134736556 3221224560 3221223280 134605919 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89576 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 742.61
Current children cumulated vsize (Kb) 363388

[startup+780.03 s]
Raw data (loadavg): 1.04 1.01 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89894 0 0 0 73703 1559 0 0 25 0 1 0 1854423149 372109312 89576 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89576 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 752.62
Current children cumulated vsize (Kb) 363388

[startup+790.031 s]
Raw data (loadavg): 1.04 1.01 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89894 0 0 0 74702 1559 0 0 25 0 1 0 1854423149 372109312 89576 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89576 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 762.61
Current children cumulated vsize (Kb) 363388

[startup+800.03 s]
Raw data (loadavg): 1.03 1.01 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89894 0 0 0 75701 1560 0 0 25 0 1 0 1854423149 372109312 89576 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89576 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 772.61
Current children cumulated vsize (Kb) 363388

[startup+810.031 s]
Raw data (loadavg): 1.02 1.01 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89894 0 0 0 76700 1560 0 0 25 0 1 0 1854423149 372109312 89576 4294967295 134512640 134736556 3221224560 3221223136 134550735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89576 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 782.6
Current children cumulated vsize (Kb) 363388

[startup+820.032 s]
Raw data (loadavg): 1.02 1.01 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89894 0 0 0 77700 1560 0 0 25 0 1 0 1854423149 372109312 89576 4294967295 134512640 134736556 3221224560 3221223296 134605558 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90847 89576 1116 68 0 90779 0
[pid=26200] vsize: 363388
Current children cumulated CPU time (s) 792.6
Current children cumulated vsize (Kb) 363388

[startup+830.032 s]
Raw data (loadavg): 1.02 1.01 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89963 0 0 0 78697 1562 0 0 25 0 1 0 1854423149 371986432 89537 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26200/statm): 90817 89537 1116 68 0 90749 0
[pid=26200] vsize: 363268
Current children cumulated CPU time (s) 802.59
Current children cumulated vsize (Kb) 363268

[startup+840.032 s]
Raw data (loadavg): 1.01 1.01 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 89963 0 0 0 79696 1562 0 0 25 0 1 0 1854423149 371986432 89537 4294967295 134512640 134736556 3221224560 3221223296 134605558 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90817 89537 1116 68 0 90749 0
[pid=26200] vsize: 363268
Current children cumulated CPU time (s) 812.58
Current children cumulated vsize (Kb) 363268

[startup+850.033 s]
Raw data (loadavg): 1.01 1.01 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 90030 0 0 0 80696 1562 0 0 25 0 1 0 1854423149 372256768 89604 4294967295 134512640 134736556 3221224560 3221223296 134605558 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90883 89604 1116 68 0 90815 0
[pid=26200] vsize: 363532
Current children cumulated CPU time (s) 822.58
Current children cumulated vsize (Kb) 363532

[startup+860.034 s]
Raw data (loadavg): 1.01 1.01 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 90030 0 0 0 81696 1563 0 0 25 0 1 0 1854423149 372256768 89604 4294967295 134512640 134736556 3221224560 3221223204 134544513 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90883 89604 1116 68 0 90815 0
[pid=26200] vsize: 363532
Current children cumulated CPU time (s) 832.59
Current children cumulated vsize (Kb) 363532

[startup+870.035 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 90076 0 0 0 82696 1563 0 0 25 0 1 0 1854423149 372391936 89650 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90916 89650 1116 68 0 90848 0
[pid=26200] vsize: 363664
Current children cumulated CPU time (s) 842.59
Current children cumulated vsize (Kb) 363664

[startup+880.035 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 90076 0 0 0 83695 1563 0 0 25 0 1 0 1854423149 372391936 89650 4294967295 134512640 134736556 3221224560 3221223296 134605561 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90916 89650 1116 68 0 90848 0
[pid=26200] vsize: 363664
Current children cumulated CPU time (s) 852.58
Current children cumulated vsize (Kb) 363664

[startup+890.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 90076 0 0 0 84695 1563 0 0 25 0 1 0 1854423149 372391936 89650 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 90916 89650 1116 68 0 90848 0
[pid=26200] vsize: 363664
Current children cumulated CPU time (s) 862.58
Current children cumulated vsize (Kb) 363664

[startup+900.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) T 26199 26200 2660 0 -1 0 91600 0 0 0 85658 1580 0 0 25 0 1 0 1854423149 378609664 91174 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/26200/statm): 92434 91174 1116 68 0 92366 0
[pid=26200] vsize: 369736
Current children cumulated CPU time (s) 872.38
Current children cumulated vsize (Kb) 369736

[startup+910.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 94517 0 0 0 86616 1598 0 0 25 0 1 0 1854423149 390660096 94091 4294967295 134512640 134736556 3221224560 3221223256 134532897 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 95376 94092 1116 68 0 95308 0
[pid=26200] vsize: 381504
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (Kb) 381504

[startup+920.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 98305 0 0 0 87555 1625 0 0 25 0 1 0 1854423149 406224896 97879 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 99176 97879 1116 68 0 99108 0
[pid=26200] vsize: 396704
Current children cumulated CPU time (s) 891.8
Current children cumulated vsize (Kb) 396704

[startup+930.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 98390 0 0 0 88543 1629 0 0 25 0 1 0 1854423149 406495232 97964 4294967295 134512640 134736556 3221224560 3221223152 134540282 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 99242 97964 1116 68 0 99174 0
[pid=26200] vsize: 396968
Current children cumulated CPU time (s) 901.72
Current children cumulated vsize (Kb) 396968

[startup+940.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 98454 0 0 0 89542 1629 0 0 25 0 1 0 1854423149 406765568 98028 4294967295 134512640 134736556 3221224560 3221223152 134540200 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 99308 98028 1116 68 0 99240 0
[pid=26200] vsize: 397232
Current children cumulated CPU time (s) 911.71
Current children cumulated vsize (Kb) 397232

[startup+950.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 98514 0 0 0 90541 1630 0 0 25 0 1 0 1854423149 407035904 98088 4294967295 134512640 134736556 3221224560 3221223208 134543866 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 99374 98088 1116 68 0 99306 0
[pid=26200] vsize: 397496
Current children cumulated CPU time (s) 921.71
Current children cumulated vsize (Kb) 397496

[startup+960.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 98592 0 0 0 91540 1631 0 0 25 0 1 0 1854423149 407306240 98166 4294967295 134512640 134736556 3221224560 3221223276 134694485 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 99440 98166 1116 68 0 99372 0
[pid=26200] vsize: 397760
Current children cumulated CPU time (s) 931.71
Current children cumulated vsize (Kb) 397760

[startup+970.039 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 98592 0 0 0 92540 1631 0 0 25 0 1 0 1854423149 407306240 98166 4294967295 134512640 134736556 3221224560 3221223276 134694456 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 99440 98166 1116 68 0 99372 0
[pid=26200] vsize: 397760
Current children cumulated CPU time (s) 941.71
Current children cumulated vsize (Kb) 397760

[startup+980.039 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 98592 0 0 0 93540 1631 0 0 25 0 1 0 1854423149 407306240 98166 4294967295 134512640 134736556 3221224560 3221223296 134605567 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 99440 98166 1116 68 0 99372 0
[pid=26200] vsize: 397760
Current children cumulated CPU time (s) 951.71
Current children cumulated vsize (Kb) 397760

[startup+990.039 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 98592 0 0 0 94540 1631 0 0 25 0 1 0 1854423149 407306240 98166 4294967295 134512640 134736556 3221224560 3221223108 134544527 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 99440 98166 1116 68 0 99372 0
[pid=26200] vsize: 397760
Current children cumulated CPU time (s) 961.71
Current children cumulated vsize (Kb) 397760

[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 98592 0 0 0 95540 1631 0 0 25 0 1 0 1854423149 407306240 98166 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 99440 98166 1116 68 0 99372 0
[pid=26200] vsize: 397760
Current children cumulated CPU time (s) 971.71
Current children cumulated vsize (Kb) 397760

[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 98592 0 0 0 96541 1631 0 0 25 0 1 0 1854423149 407306240 98166 4294967295 134512640 134736556 3221224560 3221223296 134605558 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 99440 98166 1116 68 0 99372 0
[pid=26200] vsize: 397760
Current children cumulated CPU time (s) 981.72
Current children cumulated vsize (Kb) 397760

[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 98605 0 0 0 97541 1631 0 0 25 0 1 0 1854423149 407441408 98179 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 99473 98179 1116 68 0 99405 0
[pid=26200] vsize: 397892
Current children cumulated CPU time (s) 991.72
Current children cumulated vsize (Kb) 397892

[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 98664 0 0 0 98540 1632 0 0 25 0 1 0 1854423149 407576576 98238 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 99506 98238 1116 68 0 99438 0
[pid=26200] vsize: 398024
Current children cumulated CPU time (s) 1001.72
Current children cumulated vsize (Kb) 398024

[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 98731 0 0 0 99540 1632 0 0 25 0 1 0 1854423149 407982080 98305 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 99605 98305 1116 68 0 99537 0
[pid=26200] vsize: 398420
Current children cumulated CPU time (s) 1011.72
Current children cumulated vsize (Kb) 398420

[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 98806 0 0 0 100540 1632 0 0 25 0 1 0 1854423149 408248320 98380 4294967295 134512640 134736556 3221224560 3221223280 134605914 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 99670 98380 1116 68 0 99602 0
[pid=26200] vsize: 398680
Current children cumulated CPU time (s) 1021.72
Current children cumulated vsize (Kb) 398680

[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 98893 0 0 0 101538 1634 0 0 25 0 1 0 1854423149 408518656 98467 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 99736 98467 1116 68 0 99668 0
[pid=26200] vsize: 398944
Current children cumulated CPU time (s) 1031.72
Current children cumulated vsize (Kb) 398944

[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 99097 0 0 0 102531 1636 0 0 25 0 1 0 1854423149 409464832 98671 4294967295 134512640 134736556 3221224560 3221223272 134694477 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26200/statm): 99967 98671 1116 68 0 99899 0
[pid=26200] vsize: 399868
Current children cumulated CPU time (s) 1041.67
Current children cumulated vsize (Kb) 399868

[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 99097 0 0 0 103531 1636 0 0 25 0 1 0 1854423149 409464832 98671 4294967295 134512640 134736556 3221224560 3221223104 134544602 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 99967 98671 1116 68 0 99899 0
[pid=26200] vsize: 399868
Current children cumulated CPU time (s) 1051.67
Current children cumulated vsize (Kb) 399868

[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 99097 0 0 0 104530 1637 0 0 25 0 1 0 1854423149 409464832 98671 4294967295 134512640 134736556 3221224560 3221223116 134543056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 99967 98671 1116 68 0 99899 0
[pid=26200] vsize: 399868
Current children cumulated CPU time (s) 1061.67
Current children cumulated vsize (Kb) 399868

[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 99097 0 0 0 105530 1637 0 0 25 0 1 0 1854423149 409464832 98671 4294967295 134512640 134736556 3221224560 3221223296 134605558 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 99967 98671 1116 68 0 99899 0
[pid=26200] vsize: 399868
Current children cumulated CPU time (s) 1071.67
Current children cumulated vsize (Kb) 399868

[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 99097 0 0 0 106530 1638 0 0 25 0 1 0 1854423149 409464832 98671 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 99967 98671 1116 68 0 99899 0
[pid=26200] vsize: 399868
Current children cumulated CPU time (s) 1081.68
Current children cumulated vsize (Kb) 399868

[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 99097 0 0 0 107529 1638 0 0 25 0 1 0 1854423149 409464832 98671 4294967295 134512640 134736556 3221224560 3221223120 134544672 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 99967 98671 1116 68 0 99899 0
[pid=26200] vsize: 399868
Current children cumulated CPU time (s) 1091.67
Current children cumulated vsize (Kb) 399868

[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 99097 0 0 0 108528 1639 0 0 25 0 1 0 1854423149 409464832 98671 4294967295 134512640 134736556 3221224560 3221223104 134544600 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 99967 98671 1116 68 0 99899 0
[pid=26200] vsize: 399868
Current children cumulated CPU time (s) 1101.67
Current children cumulated vsize (Kb) 399868

[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 99097 0 0 0 109528 1639 0 0 25 0 1 0 1854423149 409464832 98671 4294967295 134512640 134736556 3221224560 3221223296 134605558 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 99967 98671 1116 68 0 99899 0
[pid=26200] vsize: 399868
Current children cumulated CPU time (s) 1111.67
Current children cumulated vsize (Kb) 399868

[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 99321 0 0 0 110515 1644 0 0 25 0 1 0 1854423149 410275840 98895 4294967295 134512640 134736556 3221224560 3221223296 134529164 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 100165 98895 1116 68 0 100097 0
[pid=26200] vsize: 400660
Current children cumulated CPU time (s) 1121.59
Current children cumulated vsize (Kb) 400660

[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 99967 0 0 0 111504 1648 0 0 25 0 1 0 1854423149 412979200 99540 4294967295 134512640 134736556 3221224560 3221223184 134537350 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 100825 99540 1116 68 0 100757 0
[pid=26200] vsize: 403300
Current children cumulated CPU time (s) 1131.52
Current children cumulated vsize (Kb) 403300

[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 99967 0 0 0 112504 1648 0 0 25 0 1 0 1854423149 412979200 99540 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 100825 99540 1116 68 0 100757 0
[pid=26200] vsize: 403300
Current children cumulated CPU time (s) 1141.52
Current children cumulated vsize (Kb) 403300

[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 99967 0 0 0 113504 1649 0 0 25 0 1 0 1854423149 412979200 99540 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 100825 99540 1116 68 0 100757 0
[pid=26200] vsize: 403300
Current children cumulated CPU time (s) 1151.53
Current children cumulated vsize (Kb) 403300

[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 99968 0 0 0 114504 1649 0 0 25 0 1 0 1854423149 412979200 99541 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 100825 99541 1116 68 0 100757 0
[pid=26200] vsize: 403300
Current children cumulated CPU time (s) 1161.53
Current children cumulated vsize (Kb) 403300

[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 99968 0 0 0 115503 1649 0 0 25 0 1 0 1854423149 412979200 99541 4294967295 134512640 134736556 3221224560 3221223296 134605558 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 100825 99541 1116 68 0 100757 0
[pid=26200] vsize: 403300
Current children cumulated CPU time (s) 1171.52
Current children cumulated vsize (Kb) 403300

[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 99968 0 0 0 116502 1650 0 0 25 0 1 0 1854423149 412979200 99541 4294967295 134512640 134736556 3221224560 3221223296 134529265 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 100825 99541 1116 68 0 100757 0
[pid=26200] vsize: 403300
Current children cumulated CPU time (s) 1181.52
Current children cumulated vsize (Kb) 403300

[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 26200
Raw data (/proc/26200/stat): 26200 (bsolo) R 26199 26200 2660 0 -1 0 100016 0 0 0 117501 1650 0 0 25 0 1 0 1854423149 413249536 99589 4294967295 134512640 134736556 3221224560 3221223200 134553321 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26200/statm): 100891 99589 1116 68 0 100823 0
[pid=26200] vsize: 403564
Current children cumulated CPU time (s) 1191.51
Current children cumulated vsize (Kb) 403564
One traced child (pid=26200) exited with status: 0
All traced children have exited ! Game is over.

Child status: 0
Real time (s): 1223.76
CPU time (s): 1195.23
CPU user time (s): 1178.54
CPU system time (s): 16.6915
CPU usage (%): 97.6683
Max. virtual memory (cumulated for all children) (Kb): 403564

Verifier Data

ERROR: no interpretation found !