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.rf9.ucl.opb
MD5SUM16020fb7e9a574406a9b7b25cd98594c
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
SatisfiableNO
(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 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark9.12861
Number of variables11476
Total number of constraints33090
Number of constraints which are clauses32382
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints708
Minimum length of a constraint1
Maximum length of a constraint11

Trace number 363

Launcher Data

LAUNCH ON wulflinc10 THE 2005-09-18 09:33:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=331 boxname=wulflinc10 idbench=331 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  16020fb7e9a574406a9b7b25cd98594c  /oldhome/oroussel/tmp/wulflinc10/normalized-ooo.rf9.ucl.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc10/normalized-ooo.rf9.ucl.opb
IDLAUNCH: 331
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        949460 kB
Buffers:         33856 kB
Cached:          24668 kB
SwapCached:        228 kB
Active:          54596 kB
Inactive:         6900 kB
HighTotal:      131008 kB
HighFree:       102536 kB
LowTotal:       903652 kB
LowFree:        846924 kB
SwapTotal:     2097136 kB
SwapFree:      2096756 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6272 kB
Slab:            18136 kB
Committed_AS:    64128 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 09:46:26 (client local time) WITH STATUS 20 IN 804.102 SECONDS
stats: 331 7 804.102 20

Solver Data

c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 11476 variables and 33090 constraints.
c Using non-optimization problem switches.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 6.097
c After prepocess the problem consists of 11450 variables and 33010 constraints.
c Restart #1 #Var: 11450 #Dec: 2323 LB: 0 @ 20.546
c Restart #2 #Var: 11449 #Dec: 5943 LB: 0 @ 48.031
c Restart #3 #Var: 11402 #Dec: 10600 LB: 0 @ 85.359
c Restart #4 #Var: 11372 #Dec: 13158 LB: 0 @ 135.77
c Restart #5 #Var: 11372 #Dec: 15161 LB: 0 @ 183.74
c Restart #6 #Var: 11317 #Dec: 17532 LB: 0 @ 265.26
c Restart #7 #Var: 11243 #Dec: 19601 LB: 0 @ 340.12
c Restart #8 #Var: 11162 #Dec: 22592 LB: 0 @ 428.01
c Restart #9 #Var: 11145 #Dec: 25230 LB: 0 @ 500.82
c Restart #10 #Var: 11099 #Dec: 28043 LB: 0 @ 574.42
c CHANGE Heuristic... 
c Restart #0 #Var: 11035 #Dec: 31471 LB: 0 @ 687.25
c Restart #1 #Var: 11035 #Dec: 31821 LB: 0 @ 696.42
c Restart #2 #Var: 11014 #Dec: 33116 LB: 0 @ 713.38
c Restart #3 #Var: 7603 #Dec: 34035 LB: 0 @ 738.88
c Restart #4 #Var: 7570 #Dec: 35274 LB: 0 @ 772.32
s UNSATISFIABLE
c Exit Code: 20
c Total time: 804.07 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/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1782012169 438272 3 4294967295 134512640 134736556 3221224576 3221224576 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 107 3 90 68 0 39 0
[pid=23976] 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/wulflinc10/normalized-ooo.rf9.ucl.opb

[startup+10.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 6794 0 0 0 962 22 0 0 25 0 1 0 1782012169 31297536 6704 4294967295 134512640 134736556 3221224576 3221223188 134537369 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 7641 6704 1116 68 0 7573 0
[pid=23976] vsize: 30564
Current children cumulated CPU time (s) 9.84
Current children cumulated vsize (Kb) 30564

[startup+20.0026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 6838 0 0 0 1954 24 0 0 25 0 1 0 1782012169 31432704 6748 4294967295 134512640 134736556 3221224576 3221223168 134716144 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 7674 6748 1116 68 0 7606 0
[pid=23976] vsize: 30696
Current children cumulated CPU time (s) 19.78
Current children cumulated vsize (Kb) 30696

[startup+30.0031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 6883 0 0 0 2944 27 0 0 25 0 1 0 1782012169 31703040 6793 4294967295 134512640 134736556 3221224576 3221223120 134543639 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 7740 6793 1116 68 0 7672 0
[pid=23976] vsize: 30960
Current children cumulated CPU time (s) 29.71
Current children cumulated vsize (Kb) 30960

[startup+40.0037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 6897 0 0 0 3941 29 0 0 25 0 1 0 1782012169 31703040 6807 4294967295 134512640 134736556 3221224576 3221223116 134543868 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 7740 6807 1116 68 0 7672 0
[pid=23976] vsize: 30960
Current children cumulated CPU time (s) 39.7
Current children cumulated vsize (Kb) 30960

[startup+50.0042 s]
Raw data (loadavg): 1.00 0.97 0.91 1/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) T 23975 23976 22582 0 -1 0 6927 0 0 0 4937 30 0 0 25 0 1 0 1782012169 31838208 6837 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/23976/statm): 7773 6837 1116 68 0 7705 0
[pid=23976] vsize: 31092
Current children cumulated CPU time (s) 49.67
Current children cumulated vsize (Kb) 31092

[startup+60.0048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 6967 0 0 0 5932 31 0 0 25 0 1 0 1782012169 31973376 6877 4294967295 134512640 134736556 3221224576 3221223120 134540280 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 7806 6877 1116 68 0 7738 0
[pid=23976] vsize: 31224
Current children cumulated CPU time (s) 59.63
Current children cumulated vsize (Kb) 31224

[startup+70.0054 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 6987 0 0 0 6929 33 0 0 25 0 1 0 1782012169 32108544 6897 4294967295 134512640 134736556 3221224576 3221223188 134544525 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 7839 6897 1116 68 0 7771 0
[pid=23976] vsize: 31356
Current children cumulated CPU time (s) 69.62
Current children cumulated vsize (Kb) 31356

[startup+80.0059 s]
Raw data (loadavg): 1.00 0.97 0.91 1/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) T 23975 23976 22582 0 -1 0 7025 0 0 0 7920 36 0 0 25 0 1 0 1782012169 32243712 6935 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/23976/statm): 7872 6935 1116 68 0 7804 0
[pid=23976] vsize: 31488
Current children cumulated CPU time (s) 79.56
Current children cumulated vsize (Kb) 31488

[startup+90.0065 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7111 0 0 0 8912 39 0 0 25 0 1 0 1782012169 32649216 7021 4294967295 134512640 134736556 3221224576 3221223104 134716511 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 7971 7021 1116 68 0 7903 0
[pid=23976] vsize: 31884
Current children cumulated CPU time (s) 89.51
Current children cumulated vsize (Kb) 31884

[startup+100.007 s]
Raw data (loadavg): 1.00 0.97 0.91 1/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) T 23975 23976 22582 0 -1 0 7128 0 0 0 9909 40 0 0 25 0 1 0 1782012169 32649216 7038 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/23976/statm): 7971 7038 1116 68 0 7903 0
[pid=23976] vsize: 31884
Current children cumulated CPU time (s) 99.49
Current children cumulated vsize (Kb) 31884

[startup+110.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7172 0 0 0 10905 41 0 0 25 0 1 0 1782012169 32784384 7082 4294967295 134512640 134736556 3221224576 3221223140 134537472 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 8004 7082 1116 68 0 7936 0
[pid=23976] vsize: 32016
Current children cumulated CPU time (s) 109.46
Current children cumulated vsize (Kb) 32016

[startup+120.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7209 0 0 0 11903 42 0 0 25 0 1 0 1782012169 33054720 7119 4294967295 134512640 134736556 3221224576 3221223100 134540147 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 8070 7119 1116 68 0 8002 0
[pid=23976] vsize: 32280
Current children cumulated CPU time (s) 119.45
Current children cumulated vsize (Kb) 32280

[startup+130.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7256 0 0 0 12900 43 0 0 25 0 1 0 1782012169 33189888 7166 4294967295 134512640 134736556 3221224576 3221223256 134528815 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 8103 7166 1116 68 0 8035 0
[pid=23976] vsize: 32412
Current children cumulated CPU time (s) 129.43
Current children cumulated vsize (Kb) 32412

[startup+140.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7286 0 0 0 13897 44 0 0 25 0 1 0 1782012169 33325056 7196 4294967295 134512640 134736556 3221224576 3221222864 134717435 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 8136 7196 1116 68 0 8068 0
[pid=23976] vsize: 32544
Current children cumulated CPU time (s) 139.41
Current children cumulated vsize (Kb) 32544

[startup+150.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7371 0 0 0 14893 46 0 0 25 0 1 0 1782012169 33595392 7281 4294967295 134512640 134736556 3221224576 3221223200 134537350 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 8202 7281 1116 68 0 8134 0
[pid=23976] vsize: 32808
Current children cumulated CPU time (s) 149.39
Current children cumulated vsize (Kb) 32808

[startup+160.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7460 0 0 0 15889 47 0 0 25 0 1 0 1782012169 34000896 7370 4294967295 134512640 134736556 3221224576 3221223016 134634645 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 8301 7370 1116 68 0 8233 0
[pid=23976] vsize: 33204
Current children cumulated CPU time (s) 159.36
Current children cumulated vsize (Kb) 33204

[startup+170.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7496 0 0 0 16887 48 0 0 25 0 1 0 1782012169 34136064 7406 4294967295 134512640 134736556 3221224576 3221223252 134536476 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 8334 7406 1116 68 0 8266 0
[pid=23976] vsize: 33336
Current children cumulated CPU time (s) 169.35
Current children cumulated vsize (Kb) 33336

[startup+180.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7545 0 0 0 17884 50 0 0 25 0 1 0 1782012169 34406400 7455 4294967295 134512640 134736556 3221224576 3221223100 134536676 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 8400 7455 1116 68 0 8332 0
[pid=23976] vsize: 33600
Current children cumulated CPU time (s) 179.34
Current children cumulated vsize (Kb) 33600

[startup+190.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7584 0 0 0 18880 51 0 0 25 0 1 0 1782012169 34541568 7494 4294967295 134512640 134736556 3221224576 3221223152 134543088 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 8433 7494 1116 68 0 8365 0
[pid=23976] vsize: 33732
Current children cumulated CPU time (s) 189.31
Current children cumulated vsize (Kb) 33732

[startup+200.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7600 0 0 0 19880 51 0 0 25 0 1 0 1782012169 34541568 7510 4294967295 134512640 134736556 3221224576 3221223280 134600619 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 8433 7510 1116 68 0 8365 0
[pid=23976] vsize: 33732
Current children cumulated CPU time (s) 199.31
Current children cumulated vsize (Kb) 33732

[startup+210.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7619 0 0 0 20880 51 0 0 25 0 1 0 1782012169 34676736 7529 4294967295 134512640 134736556 3221224576 3221223156 134716328 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 8466 7529 1116 68 0 8398 0
[pid=23976] vsize: 33864
Current children cumulated CPU time (s) 209.31
Current children cumulated vsize (Kb) 33864

[startup+220.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7659 0 0 0 21878 52 0 0 24 0 1 0 1782012169 34811904 7569 4294967295 134512640 134736556 3221224576 3221223200 134524877 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 8499 7569 1116 68 0 8431 0
[pid=23976] vsize: 33996
Current children cumulated CPU time (s) 219.3
Current children cumulated vsize (Kb) 33996

[startup+230.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7700 0 0 0 22877 52 0 0 25 0 1 0 1782012169 34947072 7610 4294967295 134512640 134736556 3221224576 3221223132 134544504 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 8532 7610 1116 68 0 8464 0
[pid=23976] vsize: 34128
Current children cumulated CPU time (s) 229.29
Current children cumulated vsize (Kb) 34128

[startup+240.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7718 0 0 0 23876 53 0 0 25 0 1 0 1782012169 35082240 7628 4294967295 134512640 134736556 3221224576 3221223172 134537394 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 8565 7628 1116 68 0 8497 0
[pid=23976] vsize: 34260
Current children cumulated CPU time (s) 239.29
Current children cumulated vsize (Kb) 34260

[startup+250.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7772 0 0 0 24872 54 0 0 25 0 1 0 1782012169 35352576 7682 4294967295 134512640 134736556 3221224576 3221223136 134543597 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 8631 7682 1116 68 0 8563 0
[pid=23976] vsize: 34524
Current children cumulated CPU time (s) 249.26
Current children cumulated vsize (Kb) 34524

[startup+260.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7826 0 0 0 25869 55 0 0 25 0 1 0 1782012169 35487744 7736 4294967295 134512640 134736556 3221224576 3221223160 134543970 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 8664 7736 1116 68 0 8596 0
[pid=23976] vsize: 34656
Current children cumulated CPU time (s) 259.24
Current children cumulated vsize (Kb) 34656

[startup+270.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7873 0 0 0 26866 56 0 0 25 0 1 0 1782012169 35745792 7783 4294967295 134512640 134736556 3221224576 3221223264 134524335 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 8727 7783 1116 68 0 8659 0
[pid=23976] vsize: 34908
Current children cumulated CPU time (s) 269.22
Current children cumulated vsize (Kb) 34908

[startup+280.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7910 0 0 0 27865 57 0 0 25 0 1 0 1782012169 35880960 7820 4294967295 134512640 134736556 3221224576 3221223296 134529206 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 8760 7820 1116 68 0 8692 0
[pid=23976] vsize: 35040
Current children cumulated CPU time (s) 279.22
Current children cumulated vsize (Kb) 35040

[startup+290.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7937 0 0 0 28864 57 0 0 25 0 1 0 1782012169 36016128 7847 4294967295 134512640 134736556 3221224576 3221223168 134716149 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 8793 7847 1116 68 0 8725 0
[pid=23976] vsize: 35172
Current children cumulated CPU time (s) 289.21
Current children cumulated vsize (Kb) 35172

[startup+300.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7980 0 0 0 29860 58 0 0 25 0 1 0 1782012169 36151296 7890 4294967295 134512640 134736556 3221224576 3221223200 134544698 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 8826 7890 1116 68 0 8758 0
[pid=23976] vsize: 35304
Current children cumulated CPU time (s) 299.18
Current children cumulated vsize (Kb) 35304

[startup+310.013 s]
Raw data (loadavg): 1.00 0.97 0.91 1/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) T 23975 23976 22582 0 -1 0 8022 0 0 0 30858 59 0 0 25 0 1 0 1782012169 36286464 7932 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/23976/statm): 8859 7932 1116 68 0 8791 0
[pid=23976] vsize: 35436
Current children cumulated CPU time (s) 309.17
Current children cumulated vsize (Kb) 35436

[startup+320.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8079 0 0 0 31855 60 0 0 25 0 1 0 1782012169 36556800 7989 4294967295 134512640 134736556 3221224576 3221223052 134536620 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 8925 7989 1116 68 0 8857 0
[pid=23976] vsize: 35700
Current children cumulated CPU time (s) 319.15
Current children cumulated vsize (Kb) 35700

[startup+330.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8100 0 0 0 32854 61 0 0 25 0 1 0 1782012169 36691968 8010 4294967295 134512640 134736556 3221224576 3221223120 134544590 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 8958 8010 1116 68 0 8890 0
[pid=23976] vsize: 35832
Current children cumulated CPU time (s) 329.15
Current children cumulated vsize (Kb) 35832

[startup+340.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8154 0 0 0 33852 62 0 0 25 0 1 0 1782012169 36827136 8064 4294967295 134512640 134736556 3221224576 3221223352 134560233 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 8991 8064 1116 68 0 8923 0
[pid=23976] vsize: 35964
Current children cumulated CPU time (s) 339.14
Current children cumulated vsize (Kb) 35964

[startup+350.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8188 0 0 0 34849 64 0 0 25 0 1 0 1782012169 36962304 8098 4294967295 134512640 134736556 3221224576 3221223084 134540130 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 9024 8098 1116 68 0 8956 0
[pid=23976] vsize: 36096
Current children cumulated CPU time (s) 349.13
Current children cumulated vsize (Kb) 36096

[startup+360.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8224 0 0 0 35846 65 0 0 25 0 1 0 1782012169 37097472 8134 4294967295 134512640 134736556 3221224576 3221223084 134540061 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 9057 8134 1116 68 0 8989 0
[pid=23976] vsize: 36228
Current children cumulated CPU time (s) 359.11
Current children cumulated vsize (Kb) 36228

[startup+370.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8267 0 0 0 36843 66 0 0 25 0 1 0 1782012169 37367808 8177 4294967295 134512640 134736556 3221224576 3221223160 134543970 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 9123 8177 1116 68 0 9055 0
[pid=23976] vsize: 36492
Current children cumulated CPU time (s) 369.09
Current children cumulated vsize (Kb) 36492

[startup+380.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8267 0 0 0 37842 66 0 0 25 0 1 0 1782012169 37367808 8177 4294967295 134512640 134736556 3221224576 3221223168 134540198 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 9123 8177 1116 68 0 9055 0
[pid=23976] vsize: 36492
Current children cumulated CPU time (s) 379.08
Current children cumulated vsize (Kb) 36492

[startup+390.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8271 0 0 0 38842 66 0 0 25 0 1 0 1782012169 37367808 8181 4294967295 134512640 134736556 3221224576 3221223124 134544519 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 9123 8181 1116 68 0 9055 0
[pid=23976] vsize: 36492
Current children cumulated CPU time (s) 389.08
Current children cumulated vsize (Kb) 36492

[startup+400.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8335 0 0 0 39838 67 0 0 25 0 1 0 1782012169 37638144 8245 4294967295 134512640 134736556 3221224576 3221223328 134597489 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 9189 8245 1116 68 0 9121 0
[pid=23976] vsize: 36756
Current children cumulated CPU time (s) 399.05
Current children cumulated vsize (Kb) 36756

[startup+410.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8383 0 0 0 40836 68 0 0 25 0 1 0 1782012169 37773312 8293 4294967295 134512640 134736556 3221224576 3221223052 134536623 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 9222 8293 1116 68 0 9154 0
[pid=23976] vsize: 36888
Current children cumulated CPU time (s) 409.04
Current children cumulated vsize (Kb) 36888

[startup+420.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8440 0 0 0 41833 69 0 0 25 0 1 0 1782012169 38043648 8350 4294967295 134512640 134736556 3221224576 3221223188 134544525 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 9288 8350 1116 68 0 9220 0
[pid=23976] vsize: 37152
Current children cumulated CPU time (s) 419.02
Current children cumulated vsize (Kb) 37152

[startup+430.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8487 0 0 0 42831 70 0 0 25 0 1 0 1782012169 38178816 8397 4294967295 134512640 134736556 3221224576 3221223152 134540282 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 9321 8397 1116 68 0 9253 0
[pid=23976] vsize: 37284
Current children cumulated CPU time (s) 429.01
Current children cumulated vsize (Kb) 37284

[startup+440.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8605 0 0 0 43826 72 0 0 25 0 1 0 1782012169 38711296 8515 4294967295 134512640 134736556 3221224576 3221223088 134543187 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 9451 8515 1116 68 0 9383 0
[pid=23976] vsize: 37804
Current children cumulated CPU time (s) 438.98
Current children cumulated vsize (Kb) 37804

[startup+450.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8659 0 0 0 44824 73 0 0 25 0 1 0 1782012169 38981632 8569 4294967295 134512640 134736556 3221224576 3221223168 134716180 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 9517 8569 1116 68 0 9449 0
[pid=23976] vsize: 38068
Current children cumulated CPU time (s) 448.97
Current children cumulated vsize (Kb) 38068

[startup+460.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8725 0 0 0 45821 74 0 0 25 0 1 0 1782012169 39251968 8635 4294967295 134512640 134736556 3221224576 3221223352 134560233 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 9583 8635 1116 68 0 9515 0
[pid=23976] vsize: 38332
Current children cumulated CPU time (s) 458.95
Current children cumulated vsize (Kb) 38332

[startup+470.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8797 0 0 0 46818 75 0 0 25 0 1 0 1782012169 39522304 8707 4294967295 134512640 134736556 3221224576 3221223168 134716272 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 9649 8707 1116 68 0 9581 0
[pid=23976] vsize: 38596
Current children cumulated CPU time (s) 468.93
Current children cumulated vsize (Kb) 38596

[startup+480.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8856 0 0 0 47816 76 0 0 25 0 1 0 1782012169 39792640 8766 4294967295 134512640 134736556 3221224576 3221223052 134536648 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 9715 8766 1116 68 0 9647 0
[pid=23976] vsize: 38860
Current children cumulated CPU time (s) 478.92
Current children cumulated vsize (Kb) 38860

[startup+490.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8905 0 0 0 48814 76 0 0 25 0 1 0 1782012169 39927808 8815 4294967295 134512640 134736556 3221224576 3221223328 134597473 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 9748 8815 1116 68 0 9680 0
[pid=23976] vsize: 38992
Current children cumulated CPU time (s) 488.9
Current children cumulated vsize (Kb) 38992

[startup+500.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8923 0 0 0 49812 77 0 0 25 0 1 0 1782012169 40062976 8834 4294967295 134512640 134736556 3221224576 3221222984 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 9781 8834 1116 68 0 9713 0
[pid=23976] vsize: 39124
Current children cumulated CPU time (s) 498.89
Current children cumulated vsize (Kb) 39124

[startup+510.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8938 0 0 0 50810 78 0 0 25 0 1 0 1782012169 40062976 8848 4294967295 134512640 134736556 3221224576 3221223176 134544625 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 9781 8848 1116 68 0 9713 0
[pid=23976] vsize: 39124
Current children cumulated CPU time (s) 508.88
Current children cumulated vsize (Kb) 39124

[startup+520.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8979 0 0 0 51807 80 0 0 25 0 1 0 1782012169 40198144 8889 4294967295 134512640 134736556 3221224576 3221223264 134536465 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23976/statm): 9814 8889 1116 68 0 9746 0
[pid=23976] vsize: 39256
Current children cumulated CPU time (s) 518.87
Current children cumulated vsize (Kb) 39256

[startup+530.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9096 0 0 0 52803 81 0 0 25 0 1 0 1782012169 40738816 9006 4294967295 134512640 134736556 3221224576 3221223168 134716177 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 9946 9006 1116 68 0 9878 0
[pid=23976] vsize: 39784
Current children cumulated CPU time (s) 528.84
Current children cumulated vsize (Kb) 39784

[startup+540.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9132 0 0 0 53799 83 0 0 25 0 1 0 1782012169 40873984 9042 4294967295 134512640 134736556 3221224576 3221223312 134529265 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 9979 9042 1116 68 0 9911 0
[pid=23976] vsize: 39916
Current children cumulated CPU time (s) 538.82
Current children cumulated vsize (Kb) 39916

[startup+550.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9158 0 0 0 54797 84 0 0 25 0 1 0 1782012169 41009152 9068 4294967295 134512640 134736556 3221224576 3221222948 134717263 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 10012 9068 1116 68 0 9944 0
[pid=23976] vsize: 40048
Current children cumulated CPU time (s) 548.81
Current children cumulated vsize (Kb) 40048

[startup+560.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9213 0 0 0 55794 86 0 0 25 0 1 0 1782012169 41144320 9123 4294967295 134512640 134736556 3221224576 3221223164 134543536 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 10045 9123 1116 68 0 9977 0
[pid=23976] vsize: 40180
Current children cumulated CPU time (s) 558.8
Current children cumulated vsize (Kb) 40180

[startup+570.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9287 0 0 0 56792 87 0 0 25 0 1 0 1782012169 41545728 9197 4294967295 134512640 134736556 3221224576 3221223136 134544700 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 10143 9197 1116 68 0 10075 0
[pid=23976] vsize: 40572
Current children cumulated CPU time (s) 568.79
Current children cumulated vsize (Kb) 40572

[startup+580.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9324 0 0 0 57788 89 0 0 25 0 1 0 1782012169 41680896 9234 4294967295 134512640 134736556 3221224576 3221223200 134537458 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 10176 9234 1116 68 0 10108 0
[pid=23976] vsize: 40704
Current children cumulated CPU time (s) 578.77
Current children cumulated vsize (Kb) 40704

[startup+590.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9357 0 0 0 58785 90 0 0 25 0 1 0 1782012169 41816064 9267 4294967295 134512640 134736556 3221224576 3221223232 134528776 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 10209 9267 1116 68 0 10141 0
[pid=23976] vsize: 40836
Current children cumulated CPU time (s) 588.75
Current children cumulated vsize (Kb) 40836

[startup+600.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9385 0 0 0 59782 92 0 0 25 0 1 0 1782012169 41951232 9295 4294967295 134512640 134736556 3221224576 3221223136 134550956 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 10242 9295 1116 68 0 10174 0
[pid=23976] vsize: 40968
Current children cumulated CPU time (s) 598.74
Current children cumulated vsize (Kb) 40968

[startup+610.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9414 0 0 0 60780 92 0 0 25 0 1 0 1782012169 42086400 9324 4294967295 134512640 134736556 3221224576 3221223136 134543222 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 10275 9324 1116 68 0 10207 0
[pid=23976] vsize: 41100
Current children cumulated CPU time (s) 608.72
Current children cumulated vsize (Kb) 41100

[startup+620.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9445 0 0 0 61778 94 0 0 25 0 1 0 1782012169 42086400 9355 4294967295 134512640 134736556 3221224576 3221223124 134544525 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 10275 9355 1116 68 0 10207 0
[pid=23976] vsize: 41100
Current children cumulated CPU time (s) 618.72
Current children cumulated vsize (Kb) 41100

[startup+630.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9499 0 0 0 62775 95 0 0 25 0 1 0 1782012169 42356736 9409 4294967295 134512640 134736556 3221224576 3221223304 134615585 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 10341 9409 1116 68 0 10273 0
[pid=23976] vsize: 41364
Current children cumulated CPU time (s) 628.7
Current children cumulated vsize (Kb) 41364

[startup+640.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9540 0 0 0 63773 96 0 0 25 0 1 0 1782012169 42491904 9450 4294967295 134512640 134736556 3221224576 3221223084 134540094 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 10374 9450 1116 68 0 10306 0
[pid=23976] vsize: 41496
Current children cumulated CPU time (s) 638.69
Current children cumulated vsize (Kb) 41496

[startup+650.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9579 0 0 0 64771 98 0 0 25 0 1 0 1782012169 42762240 9489 4294967295 134512640 134736556 3221224576 3221223252 134634388 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 10440 9489 1116 68 0 10372 0
[pid=23976] vsize: 41760
Current children cumulated CPU time (s) 648.69
Current children cumulated vsize (Kb) 41760

[startup+660.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9616 0 0 0 65768 99 0 0 25 0 1 0 1782012169 42897408 9526 4294967295 134512640 134736556 3221224576 3221223072 134543910 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 10473 9526 1116 68 0 10405 0
[pid=23976] vsize: 41892
Current children cumulated CPU time (s) 658.67
Current children cumulated vsize (Kb) 41892

[startup+670.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9654 0 0 0 66764 101 0 0 25 0 1 0 1782012169 43032576 9564 4294967295 134512640 134736556 3221224576 3221223200 134544672 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 10506 9564 1116 68 0 10438 0
[pid=23976] vsize: 42024
Current children cumulated CPU time (s) 668.65
Current children cumulated vsize (Kb) 42024

[startup+680.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9681 0 0 0 67762 102 0 0 25 0 1 0 1782012169 43167744 9591 4294967295 134512640 134736556 3221224576 3221223220 134544519 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 10539 9591 1116 68 0 10471 0
[pid=23976] vsize: 42156
Current children cumulated CPU time (s) 678.64
Current children cumulated vsize (Kb) 42156

[startup+690.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9778 0 0 0 68757 104 0 0 25 0 1 0 1782012169 43491328 9665 4294967295 134512640 134736556 3221224576 3221223264 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 10618 9665 1116 68 0 10550 0
[pid=23976] vsize: 42472
Current children cumulated CPU time (s) 688.61
Current children cumulated vsize (Kb) 42472

[startup+700.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9791 0 0 0 69754 105 0 0 25 0 1 0 1782012169 43491328 9678 4294967295 134512640 134736556 3221224576 3221223312 134529122 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 10618 9678 1116 68 0 10550 0
[pid=23976] vsize: 42472
Current children cumulated CPU time (s) 698.59
Current children cumulated vsize (Kb) 42472

[startup+710.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9856 0 0 0 70749 107 0 0 25 0 1 0 1782012169 43761664 9743 4294967295 134512640 134736556 3221224576 3221223100 134540059 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 10684 9743 1116 68 0 10616 0
[pid=23976] vsize: 42736
Current children cumulated CPU time (s) 708.56
Current children cumulated vsize (Kb) 42736

[startup+720.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9898 0 0 0 71746 108 0 0 25 0 1 0 1782012169 43896832 9785 4294967295 134512640 134736556 3221224576 3221223200 134634313 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 10717 9785 1116 68 0 10649 0
[pid=23976] vsize: 42868
Current children cumulated CPU time (s) 718.54
Current children cumulated vsize (Kb) 42868

[startup+730.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9948 0 0 0 72744 110 0 0 25 0 1 0 1782012169 44167168 9835 4294967295 134512640 134736556 3221224576 3221223200 134524556 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 10783 9835 1116 68 0 10715 0
[pid=23976] vsize: 43132
Current children cumulated CPU time (s) 728.54
Current children cumulated vsize (Kb) 43132

[startup+740.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 10012 0 0 0 73739 112 0 0 25 0 1 0 1782012169 44437504 9899 4294967295 134512640 134736556 3221224576 3221223132 134537486 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 10849 9899 1116 68 0 10781 0
[pid=23976] vsize: 43396
Current children cumulated CPU time (s) 738.51
Current children cumulated vsize (Kb) 43396

[startup+750.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 10063 0 0 0 74737 113 0 0 25 0 1 0 1782012169 44572672 9950 4294967295 134512640 134736556 3221224576 3221223168 134537400 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 10882 9950 1116 68 0 10814 0
[pid=23976] vsize: 43528
Current children cumulated CPU time (s) 748.5
Current children cumulated vsize (Kb) 43528

[startup+760.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 10071 0 0 0 75733 115 0 0 25 0 1 0 1782012169 44572672 9958 4294967295 134512640 134736556 3221224576 3221222788 134717263 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 10882 9958 1116 68 0 10814 0
[pid=23976] vsize: 43528
Current children cumulated CPU time (s) 758.48
Current children cumulated vsize (Kb) 43528

[startup+770.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 10144 0 0 0 76730 117 0 0 25 0 1 0 1782012169 44978176 10031 4294967295 134512640 134736556 3221224576 3221223168 134543990 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 10981 10031 1116 68 0 10913 0
[pid=23976] vsize: 43924
Current children cumulated CPU time (s) 768.47
Current children cumulated vsize (Kb) 43924

[startup+780.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 10144 0 0 0 77728 118 0 0 25 0 1 0 1782012169 44978176 10031 4294967295 134512640 134736556 3221224576 3221223312 134529492 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 10981 10031 1116 68 0 10913 0
[pid=23976] vsize: 43924
Current children cumulated CPU time (s) 778.46
Current children cumulated vsize (Kb) 43924

[startup+790.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 10237 0 0 0 78723 120 0 0 25 0 1 0 1782012169 45248512 10124 4294967295 134512640 134736556 3221224576 3221223304 134605903 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 11047 10124 1116 68 0 10979 0
[pid=23976] vsize: 44188
Current children cumulated CPU time (s) 788.43
Current children cumulated vsize (Kb) 44188

[startup+800.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23976
Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 10250 0 0 0 79721 121 0 0 25 0 1 0 1782012169 45383680 10137 4294967295 134512640 134736556 3221224576 3221223092 134716789 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23976/statm): 11080 10137 1116 68 0 11012 0
[pid=23976] vsize: 44320
Current children cumulated CPU time (s) 798.42
Current children cumulated vsize (Kb) 44320
One traced child (pid=23976) exited with status: 20
All traced children have exited ! Game is over.

Child status: 20
Real time (s): 805.725
CPU time (s): 804.102
CPU user time (s): 802.856
CPU system time (s): 1.24581
CPU usage (%): 99.7986
Max. virtual memory (cumulated for all children) (Kb): 44320

Verifier Data

ERROR: no interpretation found !