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-ooo.burch_dill.8.accl.ucl.opb
MD5SUM0e5bfa52e1e730089f4eefb216f69dfd
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 73
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 262
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables21380
Total number of constraints60984
Number of constraints which are clauses58828
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2156
Minimum length of a constraint1
Maximum length of a constraint13

Trace number 365

Launcher Data

LAUNCH ON wulflinc31 THE 2005-09-18 09:30:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=323 boxname=wulflinc31 idbench=323 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  0e5bfa52e1e730089f4eefb216f69dfd  /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.burch_dill.8.accl.ucl.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.burch_dill.8.accl.ucl.opb
IDLAUNCH: 323
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        716288 kB
Buffers:         35172 kB
Cached:         252404 kB
SwapCached:       1016 kB
Active:          94264 kB
Inactive:       196028 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        716036 kB
SwapTotal:     2097892 kB
SwapFree:      2096404 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5768 kB
Slab:            22396 kB
Committed_AS:    64376 kB
PageTables:        340 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 09:50:26 (client local time) WITH STATUS 0 IN 1195.05 SECONDS
stats: 323 7 1195.05 0

Solver Data

c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 21380 variables and 60984 constraints.
c Using non-optimization problem switches.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 14.347
c After prepocess the problem consists of 21305 variables and 60797 constraints.
c Restart #1 #Var: 21305 #Dec: 6770 LB: 0 @ 19.185
c Restart #2 #Var: 21305 #Dec: 15791 LB: 0 @ 24.929
c Restart #3 #Var: 21305 #Dec: 24309 LB: 0 @ 43.798
c Restart #4 #Var: 21305 #Dec: 41191 LB: 0 @ 84.783
c Restart #5 #Var: 21305 #Dec: 52550 LB: 0 @ 111.61
c Restart #6 #Var: 21305 #Dec: 61946 LB: 0 @ 149.19
c Restart #7 #Var: 21305 #Dec: 67555 LB: 0 @ 184.93
c Restart #8 #Var: 21305 #Dec: 72249 LB: 0 @ 216.88
c Restart #9 #Var: 21305 #Dec: 80552 LB: 0 @ 269.21
c Restart #10 #Var: 21305 #Dec: 83272 LB: 0 @ 311.64
c Restart #11 #Var: 21305 #Dec: 88420 LB: 0 @ 366.71
c Restart #12 #Var: 21305 #Dec: 94743 LB: 0 @ 421.66
c Restart #13 #Var: 21305 #Dec: 99786 LB: 0 @ 493.99
c Restart #14 #Var: 21305 #Dec: 106064 LB: 0 @ 573.98
c CHANGE Heuristic... 
c Restart #0 #Var: 21305 #Dec: 111001 LB: 0 @ 645.25
c Restart #1 #Var: 21268 #Dec: 112280 LB: 0 @ 654.83
c Restart #2 #Var: 21268 #Dec: 115023 LB: 0 @ 669.75
c Restart #3 #Var: 21268 #Dec: 116749 LB: 0 @ 685.51
c Restart #4 #Var: 18816 #Dec: 119728 LB: 0 @ 713.61
c Restart #5 #Var: 18816 #Dec: 122690 LB: 0 @ 738.9
c Restart #6 #Var: 18790 #Dec: 126377 LB: 0 @ 779.85
c Restart #7 #Var: 18790 #Dec: 128818 LB: 0 @ 815.5
c Restart #8 #Var: 18790 #Dec: 131275 LB: 0 @ 857.34
c Restart #9 #Var: 18790 #Dec: 136013 LB: 0 @ 915.67
c Restart #10 #Var: 18790 #Dec: 141741 LB: 0 @ 959.29
c Restart #11 #Var: 18790 #Dec: 146758 LB: 0 @ 1019.3
c Restart #12 #Var: 18790 #Dec: 150452 LB: 0 @ 1077.2
c Restart #13 #Var: 18790 #Dec: 155755 LB: 0 @ 1158.1
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/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1840147959 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10432/statm): 107 3 90 68 0 39 0
[pid=10432] 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/wulflinc31/normalized-ooo.burch_dill.8.accl.ucl.opb

[startup+10.0042 s]
Raw data (loadavg): 0.93 0.98 0.91 2/57 10434
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 10096 0 0 0 917 39 0 0 22 0 1 0 1840147959 35123200 7707 4294967295 134512640 134736556 3221224560 3221223088 134574245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10432/statm): 8575 7707 1116 68 0 8507 0
[pid=10432] vsize: 34300
Current children cumulated CPU time (s) 9.56
Current children cumulated vsize (Kb) 34300

[startup+20.0051 s]
Raw data (loadavg): 0.94 0.98 0.91 2/57 10434
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 20335 0 0 0 1829 80 0 0 25 0 1 0 1840147959 54484992 12281 4294967295 134512640 134736556 3221224560 3221223280 134528844 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10432/statm): 13302 12281 1116 68 0 13234 0
[pid=10432] vsize: 53208
Current children cumulated CPU time (s) 19.09
Current children cumulated vsize (Kb) 53208

[startup+30.006 s]
Raw data (loadavg): 0.95 0.98 0.91 1/57 10434
Raw data (/proc/10432/stat): 10432 (bsolo) T 10431 10432 9102 0 -1 0 20424 0 0 0 2780 97 0 0 25 0 1 0 1840147959 54890496 12370 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10432/statm): 13401 12370 1116 68 0 13333 0
[pid=10432] vsize: 53604
Current children cumulated CPU time (s) 28.77
Current children cumulated vsize (Kb) 53604

[startup+40.007 s]
Raw data (loadavg): 0.96 0.98 0.91 2/57 10434
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 20511 0 0 0 3767 103 0 0 25 0 1 0 1840147959 55160832 12457 4294967295 134512640 134736556 3221224560 3221223180 134544504 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10432/statm): 13467 12457 1116 68 0 13399 0
[pid=10432] vsize: 53868
Current children cumulated CPU time (s) 38.7
Current children cumulated vsize (Kb) 53868

[startup+50.0079 s]
Raw data (loadavg): 0.96 0.98 0.91 2/57 10434
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 20609 0 0 0 4738 113 0 0 25 0 1 0 1840147959 55566336 12555 4294967295 134512640 134736556 3221224560 3221223104 134540200 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10432/statm): 13566 12555 1116 68 0 13498 0
[pid=10432] vsize: 54264
Current children cumulated CPU time (s) 48.51
Current children cumulated vsize (Kb) 54264

[startup+60.0088 s]
Raw data (loadavg): 0.97 0.98 0.91 2/57 10434
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 20628 0 0 0 5729 117 0 0 25 0 1 0 1840147959 55701504 12574 4294967295 134512640 134736556 3221224560 3221223152 134540282 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 13599 12574 1116 68 0 13531 0
[pid=10432] vsize: 54396
Current children cumulated CPU time (s) 58.46
Current children cumulated vsize (Kb) 54396

[startup+70.0097 s]
Raw data (loadavg): 0.97 0.98 0.91 2/57 10436
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 20663 0 0 0 6711 124 0 0 25 0 1 0 1840147959 55836672 12609 4294967295 134512640 134736556 3221224560 3221223200 134536460 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 13632 12609 1116 68 0 13564 0
[pid=10432] vsize: 54528
Current children cumulated CPU time (s) 68.35
Current children cumulated vsize (Kb) 54528

[startup+80.0097 s]
Raw data (loadavg): 0.98 0.98 0.91 2/57 10436
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 20704 0 0 0 7693 130 0 0 25 0 1 0 1840147959 55971840 12650 4294967295 134512640 134736556 3221224560 3221223088 134716608 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 13665 12650 1116 68 0 13597 0
[pid=10432] vsize: 54660
Current children cumulated CPU time (s) 78.23
Current children cumulated vsize (Kb) 54660

[startup+90.0106 s]
Raw data (loadavg): 0.98 0.98 0.91 2/57 10436
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 20773 0 0 0 8667 141 0 0 25 0 1 0 1840147959 56242176 12719 4294967295 134512640 134736556 3221224560 3221223200 134543750 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10432/statm): 13731 12719 1116 68 0 13663 0
[pid=10432] vsize: 54924
Current children cumulated CPU time (s) 88.08
Current children cumulated vsize (Kb) 54924

[startup+100.012 s]
Raw data (loadavg): 0.98 0.98 0.91 2/57 10436
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 20824 0 0 0 9646 149 0 0 25 0 1 0 1840147959 56512512 12770 4294967295 134512640 134736556 3221224560 3221223088 134716298 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 13797 12770 1116 68 0 13729 0
[pid=10432] vsize: 55188
Current children cumulated CPU time (s) 97.95
Current children cumulated vsize (Kb) 55188

[startup+110.013 s]
Raw data (loadavg): 0.98 0.98 0.91 2/57 10436
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 20906 0 0 0 10628 154 0 0 25 0 1 0 1840147959 56782848 12852 4294967295 134512640 134736556 3221224560 3221223172 134544527 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10432/statm): 13863 12852 1116 68 0 13795 0
[pid=10432] vsize: 55452
Current children cumulated CPU time (s) 107.82
Current children cumulated vsize (Kb) 55452

[startup+120.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10436
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 21024 0 0 0 11612 159 0 0 25 0 1 0 1840147959 57323520 12970 4294967295 134512640 134736556 3221224560 3221223072 134543071 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 13995 12970 1116 68 0 13927 0
[pid=10432] vsize: 55980
Current children cumulated CPU time (s) 117.71
Current children cumulated vsize (Kb) 55980

[startup+130.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10438
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 21066 0 0 0 12598 164 0 0 25 0 1 0 1840147959 57458688 13012 4294967295 134512640 134736556 3221224560 3221223084 134540147 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 14028 13012 1116 68 0 13960 0
[pid=10432] vsize: 56112
Current children cumulated CPU time (s) 127.62
Current children cumulated vsize (Kb) 56112

[startup+140.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10438
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 21143 0 0 0 13586 169 0 0 25 0 1 0 1840147959 57864192 13089 4294967295 134512640 134736556 3221224560 3221223080 134716525 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 14127 13089 1116 68 0 14059 0
[pid=10432] vsize: 56508
Current children cumulated CPU time (s) 137.55
Current children cumulated vsize (Kb) 56508

[startup+150.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10438
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 21261 0 0 0 14576 173 0 0 25 0 1 0 1840147959 58269696 13207 4294967295 134512640 134736556 3221224560 3221223116 134537537 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 14226 13207 1116 68 0 14158 0
[pid=10432] vsize: 56904
Current children cumulated CPU time (s) 147.49
Current children cumulated vsize (Kb) 56904

[startup+160.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10438
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 21375 0 0 0 15560 179 0 0 25 0 1 0 1840147959 58810368 13321 4294967295 134512640 134736556 3221224560 3221223160 134716454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 14358 13321 1116 68 0 14290 0
[pid=10432] vsize: 57432
Current children cumulated CPU time (s) 157.39
Current children cumulated vsize (Kb) 57432

[startup+170.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10438
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 21455 0 0 0 16553 182 0 0 25 0 1 0 1840147959 59080704 13401 4294967295 134512640 134736556 3221224560 3221223104 134716124 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 14424 13401 1116 68 0 14356 0
[pid=10432] vsize: 57696
Current children cumulated CPU time (s) 167.35
Current children cumulated vsize (Kb) 57696

[startup+180.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10438
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 21551 0 0 0 17544 185 0 0 25 0 1 0 1840147959 59486208 13497 4294967295 134512640 134736556 3221224560 3221223108 134544525 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 14523 13497 1116 68 0 14455 0
[pid=10432] vsize: 58092
Current children cumulated CPU time (s) 177.29
Current children cumulated vsize (Kb) 58092

[startup+190.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10440
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 21592 0 0 0 18536 188 0 0 25 0 1 0 1840147959 59621376 13538 4294967295 134512640 134736556 3221224560 3221223072 134543184 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 14556 13538 1116 68 0 14488 0
[pid=10432] vsize: 58224
Current children cumulated CPU time (s) 187.24
Current children cumulated vsize (Kb) 58224

[startup+200.017 s]
Raw data (loadavg): 0.99 0.98 0.91 1/57 10440
Raw data (/proc/10432/stat): 10432 (bsolo) T 10431 10432 9102 0 -1 0 21729 0 0 0 19523 193 0 0 25 0 1 0 1840147959 60162048 13675 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10432/statm): 14688 13675 1116 68 0 14620 0
[pid=10432] vsize: 58752
Current children cumulated CPU time (s) 197.16
Current children cumulated vsize (Kb) 58752

[startup+210.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10440
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 21819 0 0 0 20517 195 0 0 25 0 1 0 1840147959 60567552 13765 4294967295 134512640 134736556 3221224560 3221223120 134543212 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 14787 13765 1116 68 0 14719 0
[pid=10432] vsize: 59148
Current children cumulated CPU time (s) 207.12
Current children cumulated vsize (Kb) 59148

[startup+220.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10440
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 21931 0 0 0 21511 197 0 0 25 0 1 0 1840147959 60973056 13877 4294967295 134512640 134736556 3221224560 3221223036 134536620 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 14886 13877 1116 68 0 14818 0
[pid=10432] vsize: 59544
Current children cumulated CPU time (s) 217.08
Current children cumulated vsize (Kb) 59544

[startup+230.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10440
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 21987 0 0 0 22494 202 0 0 25 0 1 0 1840147959 61243392 13933 4294967295 134512640 134736556 3221224560 3221223084 134540147 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 14952 13933 1116 68 0 14884 0
[pid=10432] vsize: 59808
Current children cumulated CPU time (s) 226.96
Current children cumulated vsize (Kb) 59808

[startup+240.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10440
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 22074 0 0 0 23483 208 0 0 25 0 1 0 1840147959 61648896 14020 4294967295 134512640 134736556 3221224560 3221223200 134543750 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 15051 14020 1116 68 0 14983 0
[pid=10432] vsize: 60204
Current children cumulated CPU time (s) 236.91
Current children cumulated vsize (Kb) 60204

[startup+250.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10442
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 22148 0 0 0 24477 209 0 0 25 0 1 0 1840147959 61915136 14094 4294967295 134512640 134736556 3221224560 3221223296 134529245 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 15116 14094 1116 68 0 15048 0
[pid=10432] vsize: 60464
Current children cumulated CPU time (s) 246.86
Current children cumulated vsize (Kb) 60464

[startup+260.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10442
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 22185 0 0 0 25472 211 0 0 25 0 1 0 1840147959 62050304 14131 4294967295 134512640 134736556 3221224560 3221223080 134543063 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 15149 14131 1116 68 0 15081 0
[pid=10432] vsize: 60596
Current children cumulated CPU time (s) 256.83
Current children cumulated vsize (Kb) 60596

[startup+270.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10442
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 22235 0 0 0 26467 213 0 0 25 0 1 0 1840147959 62320640 14181 4294967295 134512640 134736556 3221224560 3221223120 134543625 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 15215 14181 1116 68 0 15147 0
[pid=10432] vsize: 60860
Current children cumulated CPU time (s) 266.8
Current children cumulated vsize (Kb) 60860

[startup+280.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10442
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 22347 0 0 0 27458 217 0 0 25 0 1 0 1840147959 62726144 14293 4294967295 134512640 134736556 3221224560 3221223088 134716608 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10432/statm): 15314 14293 1116 68 0 15246 0
[pid=10432] vsize: 61256
Current children cumulated CPU time (s) 276.75
Current children cumulated vsize (Kb) 61256

[startup+290.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10442
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 22399 0 0 0 28454 219 0 0 25 0 1 0 1840147959 62996480 14345 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10432/statm): 15380 14345 1116 68 0 15312 0
[pid=10432] vsize: 61520
Current children cumulated CPU time (s) 286.73
Current children cumulated vsize (Kb) 61520

[startup+300.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10442
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 22421 0 0 0 29447 221 0 0 25 0 1 0 1840147959 62996480 14367 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10432/statm): 15380 14367 1116 68 0 15312 0
[pid=10432] vsize: 61520
Current children cumulated CPU time (s) 296.68
Current children cumulated vsize (Kb) 61520

[startup+310.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10444
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 22478 0 0 0 30439 225 0 0 25 0 1 0 1840147959 63266816 14424 4294967295 134512640 134736556 3221224560 3221223036 134536611 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10432/statm): 15446 14424 1116 68 0 15378 0
[pid=10432] vsize: 61784
Current children cumulated CPU time (s) 306.64
Current children cumulated vsize (Kb) 61784

[startup+320.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10444
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 22478 0 0 0 31435 227 0 0 25 0 1 0 1840147959 63266816 14424 4294967295 134512640 134736556 3221224560 3221223296 134529331 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10432/statm): 15446 14424 1116 68 0 15378 0
[pid=10432] vsize: 61784
Current children cumulated CPU time (s) 316.62
Current children cumulated vsize (Kb) 61784

[startup+330.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10444
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 22569 0 0 0 32425 231 0 0 25 0 1 0 1840147959 63672320 14515 4294967295 134512640 134736556 3221224560 3221223152 134716146 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10432/statm): 15545 14515 1116 68 0 15477 0
[pid=10432] vsize: 62180
Current children cumulated CPU time (s) 326.56
Current children cumulated vsize (Kb) 62180

[startup+340.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10444
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 22670 0 0 0 33419 234 0 0 25 0 1 0 1840147959 64077824 14616 4294967295 134512640 134736556 3221224560 3221223184 134524547 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10432/statm): 15644 14616 1116 68 0 15576 0
[pid=10432] vsize: 62576
Current children cumulated CPU time (s) 336.53
Current children cumulated vsize (Kb) 62576

[startup+350.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10444
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 22736 0 0 0 34412 237 0 0 25 0 1 0 1840147959 64348160 14682 4294967295 134512640 134736556 3221224560 3221223104 134543576 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10432/statm): 15710 14682 1116 68 0 15642 0
[pid=10432] vsize: 62840
Current children cumulated CPU time (s) 346.49
Current children cumulated vsize (Kb) 62840

[startup+360.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10444
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 22785 0 0 0 35406 240 0 0 25 0 1 0 1840147959 64483328 14731 4294967295 134512640 134736556 3221224560 3221223200 134536470 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10432/statm): 15743 14731 1116 68 0 15675 0
[pid=10432] vsize: 62972
Current children cumulated CPU time (s) 356.46
Current children cumulated vsize (Kb) 62972

[startup+370.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10446
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 22835 0 0 0 36398 244 0 0 25 0 1 0 1840147959 64753664 14781 4294967295 134512640 134736556 3221224560 3221223148 134537486 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10432/statm): 15809 14781 1116 68 0 15741 0
[pid=10432] vsize: 63236
Current children cumulated CPU time (s) 366.42
Current children cumulated vsize (Kb) 63236

[startup+380.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10446
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 22835 0 0 0 37393 246 0 0 25 0 1 0 1840147959 64733184 14781 4294967295 134512640 134736556 3221224560 3221223072 134543187 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10432/statm): 15804 14781 1116 68 0 15736 0
[pid=10432] vsize: 63216
Current children cumulated CPU time (s) 376.39
Current children cumulated vsize (Kb) 63216

[startup+390.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10446
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 22954 0 0 0 38386 249 0 0 25 0 1 0 1840147959 65269760 14900 4294967295 134512640 134736556 3221224560 3221223084 134540061 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 15935 14900 1116 68 0 15867 0
[pid=10432] vsize: 63740
Current children cumulated CPU time (s) 386.35
Current children cumulated vsize (Kb) 63740

[startup+400.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10446
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 23050 0 0 0 39378 253 0 0 25 0 1 0 1840147959 65675264 14996 4294967295 134512640 134736556 3221224560 3221223272 134544034 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 16034 14996 1116 68 0 15966 0
[pid=10432] vsize: 64136
Current children cumulated CPU time (s) 396.31
Current children cumulated vsize (Kb) 64136

[startup+410.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10446
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 23141 0 0 0 40370 256 0 0 25 0 1 0 1840147959 65945600 15087 4294967295 134512640 134736556 3221224560 3221223152 134716439 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 16100 15087 1116 68 0 16032 0
[pid=10432] vsize: 64400
Current children cumulated CPU time (s) 406.26
Current children cumulated vsize (Kb) 64400

[startup+420.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10446
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 23198 0 0 0 41363 259 0 0 25 0 1 0 1840147959 66215936 15144 4294967295 134512640 134736556 3221224560 3221223136 134543071 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 16166 15144 1116 68 0 16098 0
[pid=10432] vsize: 64664
Current children cumulated CPU time (s) 416.22
Current children cumulated vsize (Kb) 64664

[startup+430.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10448
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 23216 0 0 0 42356 261 0 0 25 0 1 0 1840147959 66351104 15162 4294967295 134512640 134736556 3221224560 3221223200 134524432 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 16199 15162 1116 68 0 16131 0
[pid=10432] vsize: 64796
Current children cumulated CPU time (s) 426.17
Current children cumulated vsize (Kb) 64796

[startup+440.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10448
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 23256 0 0 0 43350 264 0 0 25 0 1 0 1840147959 66482176 15202 4294967295 134512640 134736556 3221224560 3221223136 134543187 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 16231 15202 1116 68 0 16163 0
[pid=10432] vsize: 64924
Current children cumulated CPU time (s) 436.14
Current children cumulated vsize (Kb) 64924

[startup+450.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10448
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 23310 0 0 0 44346 266 0 0 25 0 1 0 1840147959 66617344 15256 4294967295 134512640 134736556 3221224560 3221223164 134544624 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 16264 15256 1116 68 0 16196 0
[pid=10432] vsize: 65056
Current children cumulated CPU time (s) 446.12
Current children cumulated vsize (Kb) 65056

[startup+460.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10448
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 23338 0 0 0 45339 269 0 0 25 0 1 0 1840147959 66752512 15284 4294967295 134512640 134736556 3221224560 3221223032 134634446 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 16297 15284 1116 68 0 16229 0
[pid=10432] vsize: 65188
Current children cumulated CPU time (s) 456.08
Current children cumulated vsize (Kb) 65188

[startup+470.04 s]
Raw data (loadavg): 0.99 0.98 0.91 1/57 10448
Raw data (/proc/10432/stat): 10432 (bsolo) T 10431 10432 9102 0 -1 0 23343 0 0 0 46335 271 0 0 25 0 1 0 1840147959 66752512 15289 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10432/statm): 16297 15289 1116 68 0 16229 0
[pid=10432] vsize: 65188
Current children cumulated CPU time (s) 466.06
Current children cumulated vsize (Kb) 65188

[startup+480.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10448
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 23381 0 0 0 47330 273 0 0 25 0 1 0 1840147959 67022848 15327 4294967295 134512640 134736556 3221224560 3221223088 134543222 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 16363 15327 1116 68 0 16295 0
[pid=10432] vsize: 65452
Current children cumulated CPU time (s) 476.03
Current children cumulated vsize (Kb) 65452

[startup+490.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10450
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 23396 0 0 0 48325 275 0 0 25 0 1 0 1840147959 66985984 15342 4294967295 134512640 134736556 3221224560 3221223072 134543195 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 16354 15342 1116 68 0 16286 0
[pid=10432] vsize: 65416
Current children cumulated CPU time (s) 486
Current children cumulated vsize (Kb) 65416

[startup+500.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10450
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 23439 0 0 0 49319 277 0 0 25 0 1 0 1840147959 67256320 15385 4294967295 134512640 134736556 3221224560 3221223144 134716081 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 16420 15385 1116 68 0 16352 0
[pid=10432] vsize: 65680
Current children cumulated CPU time (s) 495.96
Current children cumulated vsize (Kb) 65680

[startup+510.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10450
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 23439 0 0 0 50314 279 0 0 25 0 1 0 1840147959 67186688 15385 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 16403 15385 1116 68 0 16335 0
[pid=10432] vsize: 65612
Current children cumulated CPU time (s) 505.93
Current children cumulated vsize (Kb) 65612

[startup+520.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10450
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 23517 0 0 0 51307 281 0 0 25 0 1 0 1840147959 67575808 15463 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 16498 15463 1116 68 0 16430 0
[pid=10432] vsize: 65992
Current children cumulated CPU time (s) 515.88
Current children cumulated vsize (Kb) 65992

[startup+530.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10450
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 23564 0 0 0 52302 283 0 0 25 0 1 0 1840147959 67710976 15510 4294967295 134512640 134736556 3221224560 3221222936 134717498 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 16531 15510 1116 68 0 16463 0
[pid=10432] vsize: 66124
Current children cumulated CPU time (s) 525.85
Current children cumulated vsize (Kb) 66124

[startup+540.044 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10450
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 23628 0 0 0 53297 285 0 0 25 0 1 0 1840147959 67883008 15566 4294967295 134512640 134736556 3221224560 3221223136 134550871 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 16573 15566 1116 68 0 16505 0
[pid=10432] vsize: 66292
Current children cumulated CPU time (s) 535.82
Current children cumulated vsize (Kb) 66292

[startup+550.044 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10452
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 23693 0 0 0 54293 287 0 0 25 0 1 0 1840147959 68153344 15631 4294967295 134512640 134736556 3221224560 3221223060 134543907 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 16639 15631 1116 68 0 16571 0
[pid=10432] vsize: 66556
Current children cumulated CPU time (s) 545.8
Current children cumulated vsize (Kb) 66556

[startup+560.045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10452
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 23696 0 0 0 55288 288 0 0 25 0 1 0 1840147959 68288512 15634 4294967295 134512640 134736556 3221224560 3221223144 134716411 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 16672 15634 1116 68 0 16604 0
[pid=10432] vsize: 66688
Current children cumulated CPU time (s) 555.76
Current children cumulated vsize (Kb) 66688

[startup+570.046 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10452
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 23719 0 0 0 56281 291 0 0 25 0 1 0 1840147959 68288512 15657 4294967295 134512640 134736556 3221224560 3221223152 134540209 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 16672 15657 1116 68 0 16604 0
[pid=10432] vsize: 66688
Current children cumulated CPU time (s) 565.72
Current children cumulated vsize (Kb) 66688

[startup+580.046 s]
Raw data (loadavg): 0.99 0.98 0.91 1/57 10452
Raw data (/proc/10432/stat): 10432 (bsolo) T 10431 10432 9102 0 -1 0 23748 0 0 0 57274 294 0 0 25 0 1 0 1840147959 68427776 15686 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10432/statm): 16706 15686 1116 68 0 16638 0
[pid=10432] vsize: 66824
Current children cumulated CPU time (s) 575.68
Current children cumulated vsize (Kb) 66824

[startup+590.047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10452
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 23798 0 0 0 58267 297 0 0 25 0 1 0 1840147959 68698112 15736 4294967295 134512640 134736556 3221224560 3221222852 134717407 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 16772 15736 1116 68 0 16704 0
[pid=10432] vsize: 67088
Current children cumulated CPU time (s) 585.64
Current children cumulated vsize (Kb) 67088

[startup+600.048 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10452
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 23837 0 0 0 59262 299 0 0 25 0 1 0 1840147959 68833280 15775 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 16805 15775 1116 68 0 16737 0
[pid=10432] vsize: 67220
Current children cumulated CPU time (s) 595.61
Current children cumulated vsize (Kb) 67220

[startup+610.048 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10454
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 23860 0 0 0 60258 300 0 0 25 0 1 0 1840147959 68960256 15798 4294967295 134512640 134736556 3221224560 3221223108 134544519 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 16836 15798 1116 68 0 16768 0
[pid=10432] vsize: 67344
Current children cumulated CPU time (s) 605.58
Current children cumulated vsize (Kb) 67344

[startup+620.048 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10454
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 23891 0 0 0 61253 303 0 0 25 0 1 0 1840147959 68960256 15829 4294967295 134512640 134736556 3221224560 3221223172 134544513 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 16836 15829 1116 68 0 16768 0
[pid=10432] vsize: 67344
Current children cumulated CPU time (s) 615.56
Current children cumulated vsize (Kb) 67344

[startup+630.048 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10454
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 23918 0 0 0 62248 304 0 0 25 0 1 0 1840147959 69095424 15856 4294967295 134512640 134736556 3221224560 3221223168 134634123 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 16869 15856 1116 68 0 16801 0
[pid=10432] vsize: 67476
Current children cumulated CPU time (s) 625.52
Current children cumulated vsize (Kb) 67476

[startup+640.049 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10454
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 23948 0 0 0 63243 306 0 0 25 0 1 0 1840147959 69230592 15886 4294967295 134512640 134736556 3221224560 3221223200 134544658 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 16902 15886 1116 68 0 16834 0
[pid=10432] vsize: 67608
Current children cumulated CPU time (s) 635.49
Current children cumulated vsize (Kb) 67608

[startup+650.049 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10454
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 24088 0 0 0 64238 309 0 0 25 0 1 0 1840147959 69255168 15942 4294967295 134512640 134736556 3221224560 3221223108 134544519 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 16908 15942 1116 68 0 16840 0
[pid=10432] vsize: 67632
Current children cumulated CPU time (s) 645.47
Current children cumulated vsize (Kb) 67632

[startup+660.049 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10454
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 24088 0 0 0 65230 313 0 0 25 0 1 0 1840147959 69255168 15942 4294967295 134512640 134736556 3221224560 3221223120 134544646 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 16908 15942 1116 68 0 16840 0
[pid=10432] vsize: 67632
Current children cumulated CPU time (s) 655.43
Current children cumulated vsize (Kb) 67632

[startup+670.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10456
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 24114 0 0 0 66219 317 0 0 25 0 1 0 1840147959 69390336 15968 4294967295 134512640 134736556 3221224560 3221223136 134543071 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10432/statm): 16941 15968 1116 68 0 16873 0
[pid=10432] vsize: 67764
Current children cumulated CPU time (s) 665.36
Current children cumulated vsize (Kb) 67764

[startup+680.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10456
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 24227 0 0 0 67210 319 0 0 25 0 1 0 1840147959 69926912 16081 4294967295 134512640 134736556 3221224560 3221223232 134528461 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 17072 16081 1116 68 0 17004 0
[pid=10432] vsize: 68288
Current children cumulated CPU time (s) 675.29
Current children cumulated vsize (Kb) 68288

[startup+690.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10456
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 24321 0 0 0 68202 322 0 0 25 0 1 0 1840147959 70332416 16175 4294967295 134512640 134736556 3221224560 3221223136 134540200 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 17171 16175 1116 68 0 17103 0
[pid=10432] vsize: 68684
Current children cumulated CPU time (s) 685.24
Current children cumulated vsize (Kb) 68684

[startup+700.052 s]
Raw data (loadavg): 0.99 0.98 0.91 1/57 10456
Raw data (/proc/10432/stat): 10432 (bsolo) T 10431 10432 9102 0 -1 0 24329 0 0 0 69193 326 0 0 25 0 1 0 1840147959 70332416 16183 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10432/statm): 17171 16183 1116 68 0 17103 0
[pid=10432] vsize: 68684
Current children cumulated CPU time (s) 695.19
Current children cumulated vsize (Kb) 68684

[startup+710.052 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10456
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 24392 0 0 0 70189 328 0 0 25 0 1 0 1840147959 70602752 16246 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10432/statm): 17237 16246 1116 68 0 17169 0
[pid=10432] vsize: 68948
Current children cumulated CPU time (s) 705.17
Current children cumulated vsize (Kb) 68948

[startup+720.053 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10456
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 24509 0 0 0 71182 331 0 0 25 0 1 0 1840147959 71008256 16363 4294967295 134512640 134736556 3221224560 3221223140 134544630 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 17336 16363 1116 68 0 17268 0
[pid=10432] vsize: 69344
Current children cumulated CPU time (s) 715.13
Current children cumulated vsize (Kb) 69344

[startup+730.053 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10458
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 24580 0 0 0 72176 333 0 0 25 0 1 0 1840147959 71278592 16434 4294967295 134512640 134736556 3221224560 3221223072 134543187 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 17402 16434 1116 68 0 17334 0
[pid=10432] vsize: 69608
Current children cumulated CPU time (s) 725.09
Current children cumulated vsize (Kb) 69608

[startup+740.054 s]
Raw data (loadavg): 0.99 0.98 0.91 2/57 10458
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 24728 0 0 0 73168 336 0 0 25 0 1 0 1840147959 71954432 16582 4294967295 134512640 134736556 3221224560 3221223172 134524344 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 17567 16582 1116 68 0 17499 0
[pid=10432] vsize: 70268
Current children cumulated CPU time (s) 735.04
Current children cumulated vsize (Kb) 70268

[startup+750.055 s]
Raw data (loadavg): 1.07 1.00 0.92 2/57 10458
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 24748 0 0 0 74161 337 0 0 25 0 1 0 1840147959 71954432 16602 4294967295 134512640 134736556 3221224560 3221223268 134609065 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 17567 16602 1116 68 0 17499 0
[pid=10432] vsize: 70268
Current children cumulated CPU time (s) 744.98
Current children cumulated vsize (Kb) 70268

[startup+760.055 s]
Raw data (loadavg): 1.06 1.00 0.92 2/57 10458
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 24862 0 0 0 75152 341 0 0 25 0 1 0 1840147959 72495104 16716 4294967295 134512640 134736556 3221224560 3221223108 134544519 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 17699 16716 1116 68 0 17631 0
[pid=10432] vsize: 70796
Current children cumulated CPU time (s) 754.93
Current children cumulated vsize (Kb) 70796

[startup+770.055 s]
Raw data (loadavg): 1.05 1.00 0.92 2/57 10458
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 24944 0 0 0 76148 343 0 0 25 0 1 0 1840147959 72765440 16798 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 17765 16798 1116 68 0 17697 0
[pid=10432] vsize: 71060
Current children cumulated CPU time (s) 764.91
Current children cumulated vsize (Kb) 71060

[startup+780.056 s]
Raw data (loadavg): 1.04 1.00 0.92 2/57 10458
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 25043 0 0 0 77142 346 0 0 25 0 1 0 1840147959 73170944 16897 4294967295 134512640 134736556 3221224560 3221223184 134537450 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 17864 16897 1116 68 0 17796 0
[pid=10432] vsize: 71456
Current children cumulated CPU time (s) 774.88
Current children cumulated vsize (Kb) 71456

[startup+790.057 s]
Raw data (loadavg): 1.03 1.00 0.92 2/57 10460
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 25173 0 0 0 78137 348 0 0 25 0 1 0 1840147959 73707520 17027 4294967295 134512640 134736556 3221224560 3221223072 134543151 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 17995 17027 1116 68 0 17927 0
[pid=10432] vsize: 71980
Current children cumulated CPU time (s) 784.85
Current children cumulated vsize (Kb) 71980

[startup+800.057 s]
Raw data (loadavg): 1.03 1.00 0.92 2/57 10460
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 25241 0 0 0 79132 350 0 0 25 0 1 0 1840147959 73977856 17095 4294967295 134512640 134736556 3221224560 3221223144 134716081 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 18061 17095 1116 68 0 17993 0
[pid=10432] vsize: 72244
Current children cumulated CPU time (s) 794.82
Current children cumulated vsize (Kb) 72244

[startup+810.057 s]
Raw data (loadavg): 1.02 1.00 0.92 2/57 10460
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 25280 0 0 0 80127 352 0 0 25 0 1 0 1840147959 74199040 17134 4294967295 134512640 134736556 3221224560 3221223128 134634653 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 18115 17134 1116 68 0 18047 0
[pid=10432] vsize: 72460
Current children cumulated CPU time (s) 804.79
Current children cumulated vsize (Kb) 72460

[startup+820.058 s]
Raw data (loadavg): 1.02 1.00 0.92 2/57 10460
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 25314 0 0 0 81122 353 0 0 25 0 1 0 1840147959 74334208 17168 4294967295 134512640 134736556 3221224560 3221223136 134550251 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 18148 17168 1116 68 0 18080 0
[pid=10432] vsize: 72592
Current children cumulated CPU time (s) 814.75
Current children cumulated vsize (Kb) 72592

[startup+830.058 s]
Raw data (loadavg): 1.02 1.00 0.92 2/57 10460
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 25356 0 0 0 82117 354 0 0 25 0 1 0 1840147959 74469376 17210 4294967295 134512640 134736556 3221224560 3221223152 134540337 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 18181 17210 1116 68 0 18113 0
[pid=10432] vsize: 72724
Current children cumulated CPU time (s) 824.71
Current children cumulated vsize (Kb) 72724

[startup+840.059 s]
Raw data (loadavg): 1.01 1.00 0.92 2/57 10460
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 25430 0 0 0 83114 356 0 0 25 0 1 0 1840147959 74874880 17284 4294967295 134512640 134736556 3221224560 3221223116 134537537 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 18280 17284 1116 68 0 18212 0
[pid=10432] vsize: 73120
Current children cumulated CPU time (s) 834.7
Current children cumulated vsize (Kb) 73120

[startup+850.06 s]
Raw data (loadavg): 1.01 1.00 0.92 2/57 10462
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 25451 0 0 0 84110 357 0 0 25 0 1 0 1840147959 74874880 17305 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 18280 17305 1116 68 0 18212 0
[pid=10432] vsize: 73120
Current children cumulated CPU time (s) 844.67
Current children cumulated vsize (Kb) 73120

[startup+860.06 s]
Raw data (loadavg): 1.01 1.00 0.92 2/57 10462
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 25479 0 0 0 85105 359 0 0 25 0 1 0 1840147959 75010048 17333 4294967295 134512640 134736556 3221224560 3221223360 134552874 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 18313 17333 1116 68 0 18245 0
[pid=10432] vsize: 73252
Current children cumulated CPU time (s) 854.64
Current children cumulated vsize (Kb) 73252

[startup+870.061 s]
Raw data (loadavg): 1.01 1.00 0.92 2/57 10462
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 25479 0 0 0 86101 361 0 0 25 0 1 0 1840147959 75010048 17333 4294967295 134512640 134736556 3221224560 3221223084 134540032 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 18313 17333 1116 68 0 18245 0
[pid=10432] vsize: 73252
Current children cumulated CPU time (s) 864.62
Current children cumulated vsize (Kb) 73252

[startup+880.062 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10462
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 25526 0 0 0 87097 362 0 0 25 0 1 0 1840147959 75145216 17380 4294967295 134512640 134736556 3221224560 3221223072 134543187 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 18346 17380 1116 68 0 18278 0
[pid=10432] vsize: 73384
Current children cumulated CPU time (s) 874.59
Current children cumulated vsize (Kb) 73384

[startup+890.062 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10462
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 25564 0 0 0 88091 364 0 0 25 0 1 0 1840147959 75415552 17418 4294967295 134512640 134736556 3221224560 3221223228 134544720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 18412 17418 1116 68 0 18344 0
[pid=10432] vsize: 73648
Current children cumulated CPU time (s) 884.55
Current children cumulated vsize (Kb) 73648

[startup+900.063 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10462
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 25678 0 0 0 89083 367 0 0 25 0 1 0 1840147959 75821056 17532 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 18511 17532 1116 68 0 18443 0
[pid=10432] vsize: 74044
Current children cumulated CPU time (s) 894.5
Current children cumulated vsize (Kb) 74044

[startup+910.063 s]
Raw data (loadavg): 1.00 1.00 0.92 1/57 10464
Raw data (/proc/10432/stat): 10432 (bsolo) T 10431 10432 9102 0 -1 0 25760 0 0 0 90078 370 0 0 25 0 1 0 1840147959 76226560 17614 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10432/statm): 18610 17614 1116 68 0 18542 0
[pid=10432] vsize: 74440
Current children cumulated CPU time (s) 904.48
Current children cumulated vsize (Kb) 74440

[startup+920.064 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10464
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 25811 0 0 0 91074 371 0 0 25 0 1 0 1840147959 76337152 17665 4294967295 134512640 134736556 3221224560 3221223152 134716112 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 18637 17665 1116 68 0 18569 0
[pid=10432] vsize: 74548
Current children cumulated CPU time (s) 914.45
Current children cumulated vsize (Kb) 74548

[startup+930.065 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10464
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 25850 0 0 0 92069 373 0 0 25 0 1 0 1840147959 76472320 17704 4294967295 134512640 134736556 3221224560 3221223072 134543071 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10432/statm): 18670 17704 1116 68 0 18602 0
[pid=10432] vsize: 74680
Current children cumulated CPU time (s) 924.42
Current children cumulated vsize (Kb) 74680

[startup+940.066 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10464
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 25912 0 0 0 93063 375 0 0 25 0 1 0 1840147959 76742656 17766 4294967295 134512640 134736556 3221224560 3221223024 134536153 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 18736 17766 1116 68 0 18668 0
[pid=10432] vsize: 74944
Current children cumulated CPU time (s) 934.38
Current children cumulated vsize (Kb) 74944

[startup+950.067 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10464
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 25998 0 0 0 94058 377 0 0 25 0 1 0 1840147959 77148160 17852 4294967295 134512640 134736556 3221224560 3221223164 134554100 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 18835 17852 1116 68 0 18767 0
[pid=10432] vsize: 75340
Current children cumulated CPU time (s) 944.35
Current children cumulated vsize (Kb) 75340

[startup+960.067 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10464
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 26164 0 0 0 95041 384 0 0 25 0 1 0 1840147959 77824000 18018 4294967295 134512640 134736556 3221224560 3221223280 134609059 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 19000 18018 1116 68 0 18932 0
[pid=10432] vsize: 76000
Current children cumulated CPU time (s) 954.25
Current children cumulated vsize (Kb) 76000

[startup+970.067 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10466
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 26228 0 0 0 96036 386 0 0 25 0 1 0 1840147959 78086144 18082 4294967295 134512640 134736556 3221224560 3221223136 134523666 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 19064 18082 1116 68 0 18996 0
[pid=10432] vsize: 76256
Current children cumulated CPU time (s) 964.22
Current children cumulated vsize (Kb) 76256

[startup+980.067 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10466
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 26392 0 0 0 97028 390 0 0 25 0 1 0 1840147959 78761984 18246 4294967295 134512640 134736556 3221224560 3221223024 134539736 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 19229 18246 1116 68 0 19161 0
[pid=10432] vsize: 76916
Current children cumulated CPU time (s) 974.18
Current children cumulated vsize (Kb) 76916

[startup+990.068 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10466
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 26485 0 0 0 98023 391 0 0 25 0 1 0 1840147959 79167488 18339 4294967295 134512640 134736556 3221224560 3221223068 134540061 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 19328 18339 1116 68 0 19260 0
[pid=10432] vsize: 77312
Current children cumulated CPU time (s) 984.14
Current children cumulated vsize (Kb) 77312

[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10466
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 26507 0 0 0 99018 394 0 0 25 0 1 0 1840147959 79167488 18361 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 19328 18361 1116 68 0 19260 0
[pid=10432] vsize: 77312
Current children cumulated CPU time (s) 994.12
Current children cumulated vsize (Kb) 77312

[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10466
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 26534 0 0 0 100011 396 0 0 25 0 1 0 1840147959 79302656 18388 4294967295 134512640 134736556 3221224560 3221223312 134608970 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10432/statm): 19361 18388 1116 68 0 19293 0
[pid=10432] vsize: 77444
Current children cumulated CPU time (s) 1004.07
Current children cumulated vsize (Kb) 77444

[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10466
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 26554 0 0 0 101005 399 0 0 25 0 1 0 1840147959 79437824 18408 4294967295 134512640 134736556 3221224560 3221223248 134524412 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 19394 18408 1116 68 0 19326 0
[pid=10432] vsize: 77576
Current children cumulated CPU time (s) 1014.04
Current children cumulated vsize (Kb) 77576

[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10468
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 26563 0 0 0 101998 402 0 0 25 0 1 0 1840147959 79437824 18417 4294967295 134512640 134736556 3221224560 3221223128 134543543 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 19394 18417 1116 68 0 19326 0
[pid=10432] vsize: 77576
Current children cumulated CPU time (s) 1024
Current children cumulated vsize (Kb) 77576

[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10468
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 26625 0 0 0 102992 404 0 0 25 0 1 0 1840147959 79704064 18479 4294967295 134512640 134736556 3221224560 3221223280 134609059 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 19459 18479 1116 68 0 19391 0
[pid=10432] vsize: 77836
Current children cumulated CPU time (s) 1033.96
Current children cumulated vsize (Kb) 77836

[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10468
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 26670 0 0 0 103987 406 0 0 25 0 1 0 1840147959 79839232 18524 4294967295 134512640 134736556 3221224560 3221223072 134543071 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 19492 18524 1116 68 0 19424 0
[pid=10432] vsize: 77968
Current children cumulated CPU time (s) 1043.93
Current children cumulated vsize (Kb) 77968

[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10468
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 26719 0 0 0 104982 409 0 0 25 0 1 0 1840147959 80109568 18573 4294967295 134512640 134736556 3221224560 3221223084 134540061 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 19558 18573 1116 68 0 19490 0
[pid=10432] vsize: 78232
Current children cumulated CPU time (s) 1053.91
Current children cumulated vsize (Kb) 78232

[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10468
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 26746 0 0 0 105978 410 0 0 25 0 1 0 1840147959 80244736 18600 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 19591 18600 1116 68 0 19523 0
[pid=10432] vsize: 78364
Current children cumulated CPU time (s) 1063.88
Current children cumulated vsize (Kb) 78364

[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10468
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 26768 0 0 0 106973 412 0 0 25 0 1 0 1840147959 80244736 18622 4294967295 134512640 134736556 3221224560 3221223132 134634440 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 19591 18622 1116 68 0 19523 0
[pid=10432] vsize: 78364
Current children cumulated CPU time (s) 1073.85
Current children cumulated vsize (Kb) 78364

[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10470
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 26768 0 0 0 107970 413 0 0 25 0 1 0 1840147959 80244736 18622 4294967295 134512640 134736556 3221224560 3221223136 134544688 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 19591 18622 1116 68 0 19523 0
[pid=10432] vsize: 78364
Current children cumulated CPU time (s) 1083.83
Current children cumulated vsize (Kb) 78364

[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10470
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 26850 0 0 0 108963 416 0 0 25 0 1 0 1840147959 80650240 18704 4294967295 134512640 134736556 3221224560 3221223360 134552874 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 19690 18704 1116 68 0 19622 0
[pid=10432] vsize: 78760
Current children cumulated CPU time (s) 1093.79
Current children cumulated vsize (Kb) 78760

[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10470
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 26902 0 0 0 109960 418 0 0 25 0 1 0 1840147959 80781312 18756 4294967295 134512640 134736556 3221224560 3221223120 134543184 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 19722 18756 1116 68 0 19654 0
[pid=10432] vsize: 78888
Current children cumulated CPU time (s) 1103.78
Current children cumulated vsize (Kb) 78888

[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10470
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 26968 0 0 0 110954 420 0 0 25 0 1 0 1840147959 80973824 18803 4294967295 134512640 134736556 3221224560 3221223184 134524576 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 19769 18803 1116 68 0 19701 0
[pid=10432] vsize: 79076
Current children cumulated CPU time (s) 1113.74
Current children cumulated vsize (Kb) 79076

[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10470
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 27012 0 0 0 111948 423 0 0 25 0 1 0 1840147959 81244160 18847 4294967295 134512640 134736556 3221224560 3221223104 134540186 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10432/statm): 19835 18847 1116 68 0 19767 0
[pid=10432] vsize: 79340
Current children cumulated CPU time (s) 1123.71
Current children cumulated vsize (Kb) 79340

[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10470
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 27045 0 0 0 112944 425 0 0 25 0 1 0 1840147959 81379328 18880 4294967295 134512640 134736556 3221224560 3221223068 134540061 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 19868 18880 1116 68 0 19800 0
[pid=10432] vsize: 79472
Current children cumulated CPU time (s) 1133.69
Current children cumulated vsize (Kb) 79472

[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10472
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 27069 0 0 0 113938 426 0 0 25 0 1 0 1840147959 81514496 18904 4294967295 134512640 134736556 3221224560 3221223104 134543676 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 19901 18904 1116 68 0 19833 0
[pid=10432] vsize: 79604
Current children cumulated CPU time (s) 1143.64
Current children cumulated vsize (Kb) 79604

[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10472
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 27103 0 0 0 114934 427 0 0 25 0 1 0 1840147959 81649664 18938 4294967295 134512640 134736556 3221224560 3221223120 134544670 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 19934 18938 1116 68 0 19866 0
[pid=10432] vsize: 79736
Current children cumulated CPU time (s) 1153.61
Current children cumulated vsize (Kb) 79736

[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10472
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 27116 0 0 0 115928 429 0 0 25 0 1 0 1840147959 81649664 18951 4294967295 134512640 134736556 3221224560 3221223036 134536672 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 19934 18951 1116 68 0 19866 0
[pid=10432] vsize: 79736
Current children cumulated CPU time (s) 1163.57
Current children cumulated vsize (Kb) 79736

[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10472
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 27144 0 0 0 116924 431 0 0 25 0 1 0 1840147959 81780736 18979 4294967295 134512640 134736556 3221224560 3221223064 134634653 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 19966 18979 1116 68 0 19898 0
[pid=10432] vsize: 79864
Current children cumulated CPU time (s) 1173.55
Current children cumulated vsize (Kb) 79864

[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10472
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 27168 0 0 0 117919 433 0 0 25 0 1 0 1840147959 81920000 19003 4294967295 134512640 134736556 3221224560 3221223188 134537464 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 20000 19003 1116 68 0 19932 0
[pid=10432] vsize: 80000
Current children cumulated CPU time (s) 1183.52
Current children cumulated vsize (Kb) 80000

[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 10472
Raw data (/proc/10432/stat): 10432 (bsolo) R 10431 10432 9102 0 -1 0 27192 0 0 0 118914 435 0 0 25 0 1 0 1840147959 81920000 19027 4294967295 134512640 134736556 3221224560 3221223136 134544716 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10432/statm): 20000 19027 1116 68 0 19932 0
[pid=10432] vsize: 80000
Current children cumulated CPU time (s) 1193.49
Current children cumulated vsize (Kb) 80000
One traced child (pid=10432) exited with status: 0
All traced children have exited ! Game is over.

Child status: 0
Real time (s): 1201.64
CPU time (s): 1195.05
CPU user time (s): 1190.66
CPU system time (s): 4.39133
CPU usage (%): 99.4517
Max. virtual memory (cumulated for all children) (Kb): 80000

Verifier Data

ERROR: no interpretation found !