Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gen.opb
MD5SUM650632b92fbb7592f9a040d6375b78e9
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 8814
Biggest coefficient in the objective function 3375324200960
Number of bits for the biggest coefficient in the objective function 42
Sum of the numbers in the objective function 2061624536571104
Number of bits of the sum of numbers in the objective function 51
Biggest number in a constraint 3375324200960
Number of bits of the biggest number in a constraint 42
Biggest sum of numbers in a constraint 2061624536571104
Number of bits of the biggest sum of numbers51
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables12846
Total number of constraints1074
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)144
Number of constraints which are nor clauses,nor cardinality constraints930
Minimum length of a constraint1
Maximum length of a constraint192

Trace number 5225

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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:        910084 kB
Buffers:         26268 kB
Cached:          71428 kB
SwapCached:        700 kB
Active:          30404 kB
Inactive:        69900 kB
HighTotal:      131008 kB
HighFree:        55664 kB
LowTotal:       903652 kB
LowFree:        854420 kB
SwapTotal:     2097136 kB
SwapFree:      2095936 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5740 kB
Slab:            18520 kB
Committed_AS:    64164 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 23:52:46 (client local time) WITH STATUS 0 IN 608.088 SECONDS
stats: 1013 7 608.088 0

Solver Data

c INFO: OSL Context initialized.
c BIG Int formula...
c Initial problem consists of 12846 variables and 1080 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 5.257
c After prepocess the problem consists of 8245 variables and 1004 constraints.
c Initial Lower Bound: 3252183082304
c Restart #1 #Var: 8245 #Dec: 59092 LB: 3252183082304 @ 8.31
c Restart #2 #Var: 8245 #Dec: 185353 LB: 3252183082304 @ 14.891
c Restart #3 #Var: 8245 #Dec: 378962 LB: 3252183082304 @ 25.351
c Restart #4 #Var: 8245 #Dec: 636033 LB: 3252183082304 @ 39.777
c Restart #5 #Var: 8245 #Dec: 716662 LB: 3252183082304 @ 44.975
c Restart #6 #Var: 8245 #Dec: 762024 LB: 3252183082304 @ 48.095
c Restart #7 #Var: 8245 #Dec: 763460 LB: 3252183082304 @ 49.255
c Restart #8 #Var: 8245 #Dec: 775218 LB: 3252183082304 @ 50.763
c Restart #9 #Var: 8245 #Dec: 777052 LB: 3252183082304 @ 52.226
c Restart #10 #Var: 8243 #Dec: 783684 LB: 3252183082304 @ 54.489
c Restart #11 #Var: 8243 #Dec: 785922 LB: 3252183082304 @ 56.764
c Restart #12 #Var: 8243 #Dec: 788352 LB: 3252183082304 @ 59.359
c Restart #13 #Var: 8243 #Dec: 791011 LB: 3252183082304 @ 62.489
c Restart #14 #Var: 8243 #Dec: 793904 LB: 3252183082304 @ 66.694
c Restart #15 #Var: 8243 #Dec: 796931 LB: 3252183082304 @ 68.994
c Restart #16 #Var: 8243 #Dec: 829386 LB: 3252183082304 @ 72.649
c Restart #17 #Var: 8243 #Dec: 832822 LB: 3252183082304 @ 74.952
c Restart #18 #Var: 8243 #Dec: 841676 LB: 3252183082304 @ 77.965
c Restart #19 #Var: 8243 #Dec: 845510 LB: 3252183082304 @ 81.435
c Restart #20 #Var: 8243 #Dec: 849608 LB: 3252183082304 @ 85.75
c Restart #21 #Var: 8243 #Dec: 853837 LB: 3252183082304 @ 89.966
c Restart #22 #Var: 8243 #Dec: 858303 LB: 3252183082304 @ 93.75
c Restart #23 #Var: 8243 #Dec: 862931 LB: 3252183082304 @ 97.842
c Restart #24 #Var: 8243 #Dec: 867756 LB: 3252183082304 @ 102.91
c Restart #25 #Var: 8243 #Dec: 872781 LB: 3252183082304 @ 108.47
c Restart #26 #Var: 8241 #Dec: 878132 LB: 3252183082304 @ 115.58
c Restart #27 #Var: 8241 #Dec: 883559 LB: 3252183082304 @ 124.06
c Restart #28 #Var: 8241 #Dec: 889319 LB: 3252183082304 @ 133.06
c Restart #29 #Var: 8241 #Dec: 895178 LB: 3252183082304 @ 140.48
c Restart #30 #Var: 8241 #Dec: 901208 LB: 3252183082304 @ 149.27
c Restart #31 #Var: 8241 #Dec: 907476 LB: 3252183082304 @ 159.27
c Restart #32 #Var: 8241 #Dec: 914096 LB: 3252183082304 @ 166.99
c Restart #33 #Var: 8241 #Dec: 920722 LB: 3252183082304 @ 176.07
c Restart #34 #Var: 8241 #Dec: 927546 LB: 3252183082304 @ 187.25
c Restart #35 #Var: 8240 #Dec: 935128 LB: 3252183082304 @ 200.31
c Restart #36 #Var: 8219 #Dec: 968463 LB: 3252183082304 @ 234.75
c Restart #37 #Var: 8218 #Dec: 976131 LB: 3252183082304 @ 248.83
c Restart #38 #Var: 8215 #Dec: 996736 LB: 3252183082304 @ 269.3
c Restart #39 #Var: 8209 #Dec: 1062539 LB: 3252183082304 @ 300.04
c Restart #40 #Var: 8209 #Dec: 1071513 LB: 3252183082304 @ 304.7
c Restart #41 #Var: 8209 #Dec: 1081860 LB: 3252183082304 @ 311.02
c Restart #42 #Var: 8209 #Dec: 1090921 LB: 3252183082304 @ 317.43
c Restart #43 #Var: 8209 #Dec: 1101787 LB: 3252183082304 @ 332.15
c Restart #44 #Var: 8203 #Dec: 1184215 LB: 3252183082304 @ 451.85
c Restart #45 #Var: 8202 #Dec: 1247143 LB: 3252183082304 @ 477.67
c Restart #46 #Var: 8201 #Dec: 1277718 LB: 3252183082304 @ 494.15
c Restart #47 #Var: 8201 #Dec: 1293296 LB: 3252183082304 @ 505.86
c Restart #48 #Var: 8201 #Dec: 1302915 LB: 3252183082304 @ 515.45
c Restart #49 #Var: 8201 #Dec: 1312733 LB: 3252183082304 @ 525.32
c Restart #50 #Var: 8201 #Dec: 1323613 LB: 3252183082304 @ 535.14
c Restart #51 #Var: 8201 #Dec: 1334134 LB: 3252183082304 @ 544.26
c Restart #52 #Var: 8201 #Dec: 1344563 LB: 3252183082304 @ 557.9
c Restart #53 #Var: 8201 #Dec: 1355191 LB: 3252183082304 @ 569.5
c Restart #54 #Var: 8201 #Dec: 1366238 LB: 3252183082304 @ 581.16
c Restart #55 #Var: 8201 #Dec: 1377318 LB: 3252183082304 @ 591.31
c CHANGE Heuristic... 
c Restart #0 #Var: 8200 #Dec: 1389503 LB: 3252183082304 @ 604.2
c Restart #1 #Var: 8200 #Dec: 1390595 LB: 3252183082304 @ 604.83
c Caught signal: 15
s UNKNOWN
c Exit Code: 0

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/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1795730823 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 107 3 90 68 0 39 0
[pid=15623] 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/wulflinc13/normalized-mps-v2-13-7-gen.opb

[startup+10.0033 s]
Raw data (loadavg): 0.89 0.98 0.99 1/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) T 15622 15623 1333 0 -1 0 13545 0 0 0 722 111 0 0 18 0 1 0 1795730823 59002880 13456 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/15623/statm): 14405 13456 1116 68 0 14337 0
[pid=15623] vsize: 57620
Current children cumulated CPU time (s) 8.33
Current children cumulated vsize (Kb) 57620

[startup+20.004 s]
Raw data (loadavg): 1.06 1.01 1.00 1/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) T 15622 15623 1333 0 -1 0 13829 0 0 0 1228 266 0 0 17 0 1 0 1795730823 60076032 13740 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/15623/statm): 14667 13740 1116 68 0 14599 0
[pid=15623] vsize: 58668
Current children cumulated CPU time (s) 14.94
Current children cumulated vsize (Kb) 58668

[startup+30.0047 s]
Raw data (loadavg): 1.12 1.03 1.00 1/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) T 15622 15623 1333 0 -1 0 14104 0 0 0 1733 431 0 0 16 0 1 0 1795730823 61280256 14015 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/15623/statm): 14961 14015 1116 68 0 14893 0
[pid=15623] vsize: 59844
Current children cumulated CPU time (s) 21.64
Current children cumulated vsize (Kb) 59844

[startup+40.0053 s]
Raw data (loadavg): 1.10 1.03 1.00 1/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) T 15622 15623 1333 0 -1 0 14369 0 0 0 2249 596 0 0 16 0 1 0 1795730823 62361600 14280 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/15623/statm): 15225 14280 1116 68 0 15157 0
[pid=15623] vsize: 60900
Current children cumulated CPU time (s) 28.45
Current children cumulated vsize (Kb) 60900

[startup+50.006 s]
Raw data (loadavg): 1.09 1.03 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 14638 0 0 0 2774 753 0 0 16 0 1 0 1795730823 63434752 14549 4294967295 134512640 134736556 3221224560 3221223356 134608932 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 15487 14549 1116 68 0 15419 0
[pid=15623] vsize: 61948
Current children cumulated CPU time (s) 35.27
Current children cumulated vsize (Kb) 61948

[startup+60.0066 s]
Raw data (loadavg): 1.15 1.04 1.01 1/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) T 15622 15623 1333 0 -1 0 14927 0 0 0 3309 903 0 0 16 0 1 0 1795730823 64647168 14838 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/15623/statm): 15783 14838 1116 68 0 15715 0
[pid=15623] vsize: 63132
Current children cumulated CPU time (s) 42.12
Current children cumulated vsize (Kb) 63132

[startup+70.0073 s]
Raw data (loadavg): 1.13 1.04 1.01 1/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) T 15622 15623 1333 0 -1 0 17432 0 0 0 3936 1031 0 0 16 0 1 0 1795730823 74924032 17343 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/15623/statm): 18292 17343 1116 68 0 18224 0
[pid=15623] vsize: 73168
Current children cumulated CPU time (s) 49.67
Current children cumulated vsize (Kb) 73168

[startup+80.0079 s]
Raw data (loadavg): 1.11 1.04 1.01 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 24471 0 0 0 4841 1074 0 0 17 0 1 0 1795730823 103718912 24381 4294967295 134512640 134736556 3221224560 3221223120 134550999 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 25322 24381 1116 68 0 25254 0
[pid=15623] vsize: 101288
Current children cumulated CPU time (s) 59.15
Current children cumulated vsize (Kb) 101288

[startup+90.0076 s]
Raw data (loadavg): 1.09 1.04 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 30429 0 0 0 5779 1106 0 0 25 0 1 0 1795730823 128217088 30338 4294967295 134512640 134736556 3221224560 3221223136 134550735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 31303 30338 1116 68 0 31235 0
[pid=15623] vsize: 125212
Current children cumulated CPU time (s) 68.85
Current children cumulated vsize (Kb) 125212

[startup+100.007 s]
Raw data (loadavg): 1.08 1.03 1.00 1/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) T 15622 15623 1333 0 -1 0 37563 0 0 0 6572 1185 0 0 17 0 1 0 1795730823 157417472 37472 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/15623/statm): 38432 37472 1116 68 0 38364 0
[pid=15623] vsize: 153728
Current children cumulated CPU time (s) 77.57
Current children cumulated vsize (Kb) 153728

[startup+110.008 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) T 15622 15623 1333 0 -1 0 44469 0 0 0 7504 1220 0 0 20 0 1 0 1795730823 185683968 44377 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/15623/statm): 45333 44377 1116 68 0 45265 0
[pid=15623] vsize: 181332
Current children cumulated CPU time (s) 87.24
Current children cumulated vsize (Kb) 181332

[startup+120.009 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) T 15622 15623 1333 0 -1 0 51884 0 0 0 8431 1255 0 0 18 0 1 0 1795730823 216121344 51791 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/15623/statm): 52764 51791 1116 68 0 52696 0
[pid=15623] vsize: 211056
Current children cumulated CPU time (s) 96.86
Current children cumulated vsize (Kb) 211056

[startup+130.009 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 58161 0 0 0 9366 1288 0 0 19 0 1 0 1795730823 241897472 58065 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 59057 58065 1116 68 0 58989 0
[pid=15623] vsize: 236228
Current children cumulated CPU time (s) 106.54
Current children cumulated vsize (Kb) 236228

[startup+140.009 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) T 15622 15623 1333 0 -1 0 63442 0 0 0 10308 1318 0 0 19 0 1 0 1795730823 263671808 63341 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/15623/statm): 64373 63341 1116 68 0 64305 0
[pid=15623] vsize: 257492
Current children cumulated CPU time (s) 116.26
Current children cumulated vsize (Kb) 257492

[startup+150.009 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) T 15622 15623 1333 0 -1 0 67657 0 0 0 11263 1342 0 0 25 0 1 0 1795730823 280993792 67553 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/15623/statm): 68602 67553 1116 68 0 68534 0
[pid=15623] vsize: 274408
Current children cumulated CPU time (s) 126.05
Current children cumulated vsize (Kb) 274408

[startup+160.009 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 72308 0 0 0 12211 1367 0 0 25 0 1 0 1795730823 300072960 72204 4294967295 134512640 134736556 3221224560 3221223280 134605919 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 73260 72204 1116 68 0 73192 0
[pid=15623] vsize: 293040
Current children cumulated CPU time (s) 135.78
Current children cumulated vsize (Kb) 293040

[startup+170.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 77466 0 0 0 13157 1394 0 0 25 0 1 0 1795730823 321191936 77361 4294967295 134512640 134736556 3221224560 3221223136 134551210 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 78416 77361 1116 68 0 78348 0
[pid=15623] vsize: 313664
Current children cumulated CPU time (s) 145.51
Current children cumulated vsize (Kb) 313664

[startup+180.01 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 81532 0 0 0 14112 1417 0 0 25 0 1 0 1795730823 338022400 81422 4294967295 134512640 134736556 3221224560 3221223204 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 82525 81422 1116 68 0 82457 0
[pid=15623] vsize: 330100
Current children cumulated CPU time (s) 155.29
Current children cumulated vsize (Kb) 330100

[startup+190.01 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) T 15622 15623 1333 0 -1 0 86956 0 0 0 15053 1445 0 0 17 0 1 0 1795730823 360218624 86843 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/15623/statm): 87944 86843 1116 68 0 87876 0
[pid=15623] vsize: 351776
Current children cumulated CPU time (s) 164.98
Current children cumulated vsize (Kb) 351776

[startup+200.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 91872 0 0 0 15998 1470 0 0 25 0 1 0 1795730823 380416000 91756 4294967295 134512640 134736556 3221224560 3221223116 134536384 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 92875 91756 1116 68 0 92807 0
[pid=15623] vsize: 371500
Current children cumulated CPU time (s) 174.68
Current children cumulated vsize (Kb) 371500

[startup+210.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 95955 0 0 0 16956 1490 0 0 25 0 1 0 1795730823 397180928 95839 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 96968 95839 1116 68 0 96900 0
[pid=15623] vsize: 387872
Current children cumulated CPU time (s) 184.46
Current children cumulated vsize (Kb) 387872

[startup+220.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 99432 0 0 0 17916 1509 0 0 25 0 1 0 1795730823 411582464 99307 4294967295 134512640 134736556 3221224560 3221223108 134551038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 100484 99307 1116 68 0 100416 0
[pid=15623] vsize: 401936
Current children cumulated CPU time (s) 194.25
Current children cumulated vsize (Kb) 401936

[startup+230.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 103031 0 0 0 18879 1526 0 0 25 0 1 0 1795730823 426344448 102903 4294967295 134512640 134736556 3221224560 3221223184 134537350 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 104088 102903 1116 68 0 104020 0
[pid=15623] vsize: 416352
Current children cumulated CPU time (s) 204.05
Current children cumulated vsize (Kb) 416352

[startup+240.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 104688 0 0 0 19857 1536 0 0 25 0 1 0 1795730823 433102848 104560 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/15623/statm): 105738 104560 1116 68 0 105670 0
[pid=15623] vsize: 422952
Current children cumulated CPU time (s) 213.93
Current children cumulated vsize (Kb) 422952

[startup+250.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 104896 0 0 0 20830 1546 0 0 25 0 1 0 1795730823 434049024 104767 4294967295 134512640 134736556 3221224560 3221223084 134540135 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/15623/statm): 105969 104767 1116 68 0 105901 0
[pid=15623] vsize: 423876
Current children cumulated CPU time (s) 223.76
Current children cumulated vsize (Kb) 423876

[startup+260.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 105867 0 0 0 21742 1579 0 0 20 0 1 0 1795730823 437968896 105738 4294967295 134512640 134736556 3221224560 3221222852 134717260 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/15623/statm): 106926 105739 1116 68 0 106858 0
[pid=15623] vsize: 427704
Current children cumulated CPU time (s) 233.21
Current children cumulated vsize (Kb) 427704

[startup+270.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 109307 0 0 0 22704 1596 0 0 25 0 1 0 1795730823 452079616 109176 4294967295 134512640 134736556 3221224560 3221223136 134716298 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 110371 109176 1116 68 0 110303 0
[pid=15623] vsize: 441484
Current children cumulated CPU time (s) 243
Current children cumulated vsize (Kb) 441484

[startup+280.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 112830 0 0 0 23664 1616 0 0 25 0 1 0 1795730823 466542592 112696 4294967295 134512640 134736556 3221224560 3221223056 134536168 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 113902 112696 1116 68 0 113834 0
[pid=15623] vsize: 455608
Current children cumulated CPU time (s) 252.8
Current children cumulated vsize (Kb) 455608

[startup+290.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 115769 0 0 0 24616 1637 0 0 25 0 1 0 1795730823 478736384 115621 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434789 0 0 17 0 0 0
Raw data (/proc/15623/statm): 116879 115621 1116 68 0 116811 0
[pid=15623] vsize: 467516
Current children cumulated CPU time (s) 262.53
Current children cumulated vsize (Kb) 467516

[startup+300.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 116621 0 0 0 25547 1660 0 0 18 0 1 0 1795730823 482254848 116473 4294967295 134512640 134736556 3221224560 3221223248 134529232 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 117738 116473 1116 68 0 117670 0
[pid=15623] vsize: 470952
Current children cumulated CPU time (s) 272.07
Current children cumulated vsize (Kb) 470952

[startup+310.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 117224 0 0 0 26461 1691 0 0 18 0 1 0 1795730823 484818944 117076 4294967295 134512640 134736556 3221224560 3221223072 134543219 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/15623/statm): 118364 117076 1116 68 0 118296 0
[pid=15623] vsize: 473456
Current children cumulated CPU time (s) 281.52
Current children cumulated vsize (Kb) 473456

[startup+320.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 117741 0 0 0 27375 1720 0 0 18 0 1 0 1795730823 486842368 117593 4294967295 134512640 134736556 3221224560 3221223084 134536676 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 118858 117593 1116 68 0 118790 0
[pid=15623] vsize: 475432
Current children cumulated CPU time (s) 290.95
Current children cumulated vsize (Kb) 475432

[startup+330.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 121169 0 0 0 28294 1750 0 0 18 0 1 0 1795730823 500887552 121021 4294967295 134512640 134736556 3221224560 3221223136 134550713 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 122287 121021 1116 68 0 122219 0
[pid=15623] vsize: 489148
Current children cumulated CPU time (s) 300.44
Current children cumulated vsize (Kb) 489148

[startup+340.016 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) T 15622 15623 1333 0 -1 0 130408 0 0 0 29194 1799 0 0 17 0 1 0 1795730823 538869760 130259 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/15623/statm): 131560 130259 1116 68 0 131492 0
[pid=15623] vsize: 526240
Current children cumulated CPU time (s) 309.93
Current children cumulated vsize (Kb) 526240

[startup+350.016 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) T 15622 15623 1333 0 -1 0 139135 0 0 0 30102 1846 0 0 18 0 1 0 1795730823 574566400 138986 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/15623/statm): 140275 138986 1116 68 0 140207 0
[pid=15623] vsize: 561100
Current children cumulated CPU time (s) 319.48
Current children cumulated vsize (Kb) 561100

[startup+360.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 142207 0 0 0 31059 1865 0 0 25 0 1 0 1795730823 587145216 142058 4294967295 134512640 134736556 3221224560 3221223064 134634653 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 143346 142058 1116 68 0 143278 0
[pid=15623] vsize: 573384
Current children cumulated CPU time (s) 329.24
Current children cumulated vsize (Kb) 573384

[startup+370.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) T 15622 15623 1333 0 -1 0 144940 0 0 0 32014 1886 0 0 25 0 1 0 1795730823 598376448 144791 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/15623/statm): 146088 144791 1116 68 0 146020 0
[pid=15623] vsize: 584352
Current children cumulated CPU time (s) 339
Current children cumulated vsize (Kb) 584352

[startup+380.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 145659 0 0 0 32922 1919 0 0 17 0 1 0 1795730823 601350144 145510 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/15623/statm): 146814 145510 1116 68 0 146746 0
[pid=15623] vsize: 587256
Current children cumulated CPU time (s) 348.41
Current children cumulated vsize (Kb) 587256

[startup+390.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 145951 0 0 0 33896 1929 0 0 25 0 1 0 1795730823 602558464 145802 4294967295 134512640 134736556 3221224560 3221223084 134536623 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 147109 145802 1116 68 0 147041 0
[pid=15623] vsize: 588436
Current children cumulated CPU time (s) 358.25
Current children cumulated vsize (Kb) 588436

[startup+400.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 146281 0 0 0 34849 1948 0 0 22 0 1 0 1795730823 603922432 146131 4294967295 134512640 134736556 3221224560 3221223248 134529320 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 147442 146131 1116 68 0 147374 0
[pid=15623] vsize: 589768
Current children cumulated CPU time (s) 367.97
Current children cumulated vsize (Kb) 589768

[startup+410.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 146413 0 0 0 35825 1957 0 0 25 0 1 0 1795730823 604463104 146263 4294967295 134512640 134736556 3221224560 3221223188 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 147574 146263 1116 68 0 147506 0
[pid=15623] vsize: 590296
Current children cumulated CPU time (s) 377.82
Current children cumulated vsize (Kb) 590296

[startup+420.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 146561 0 0 0 36785 1970 0 0 22 0 1 0 1795730823 605138944 146411 4294967295 134512640 134736556 3221224560 3221223020 134554060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 147739 146411 1116 68 0 147671 0
[pid=15623] vsize: 590956
Current children cumulated CPU time (s) 387.55
Current children cumulated vsize (Kb) 590956

[startup+430.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 146609 0 0 0 37759 1979 0 0 25 0 1 0 1795730823 605274112 146459 4294967295 134512640 134736556 3221224560 3221223220 134528665 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 147772 146459 1116 68 0 147704 0
[pid=15623] vsize: 591088
Current children cumulated CPU time (s) 397.38
Current children cumulated vsize (Kb) 591088

[startup+440.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 146628 0 0 0 38755 1981 0 0 25 0 1 0 1795730823 605409280 146478 4294967295 134512640 134736556 3221224560 3221223232 134529378 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 147805 146478 1116 68 0 147737 0
[pid=15623] vsize: 591220
Current children cumulated CPU time (s) 407.36
Current children cumulated vsize (Kb) 591220

[startup+450.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 146647 0 0 0 39752 1982 0 0 25 0 1 0 1795730823 605544448 146497 4294967295 134512640 134736556 3221224560 3221223256 134554050 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 147838 146497 1116 68 0 147770 0
[pid=15623] vsize: 591352
Current children cumulated CPU time (s) 417.34
Current children cumulated vsize (Kb) 591352

[startup+460.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 146669 0 0 0 40747 1985 0 0 25 0 1 0 1795730823 605544448 146519 4294967295 134512640 134736556 3221224560 3221223072 134543071 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 147838 146519 1116 68 0 147770 0
[pid=15623] vsize: 591352
Current children cumulated CPU time (s) 427.32
Current children cumulated vsize (Kb) 591352

[startup+470.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 146768 0 0 0 41741 1987 0 0 25 0 1 0 1795730823 605949952 146618 4294967295 134512640 134736556 3221224560 3221223160 134554109 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 147937 146618 1116 68 0 147869 0
[pid=15623] vsize: 591748
Current children cumulated CPU time (s) 437.28
Current children cumulated vsize (Kb) 591748

[startup+480.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 147069 0 0 0 42716 1995 0 0 25 0 1 0 1795730823 607158272 146919 4294967295 134512640 134736556 3221224560 3221223264 134528799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 148232 146919 1116 68 0 148164 0
[pid=15623] vsize: 592928
Current children cumulated CPU time (s) 447.11
Current children cumulated vsize (Kb) 592928

[startup+490.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 147797 0 0 0 43647 2019 0 0 18 0 1 0 1795730823 610127872 147647 4294967295 134512640 134736556 3221224560 3221223208 134554070 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 148957 147647 1116 68 0 148889 0
[pid=15623] vsize: 595828
Current children cumulated CPU time (s) 456.66
Current children cumulated vsize (Kb) 595828

[startup+500.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 148028 0 0 0 44577 2043 0 0 17 0 1 0 1795730823 611102720 147878 4294967295 134512640 134736556 3221224560 3221223200 134524403 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/15623/statm): 149195 147878 1116 68 0 149127 0
[pid=15623] vsize: 596780
Current children cumulated CPU time (s) 466.2
Current children cumulated vsize (Kb) 596780

[startup+510.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 149881 0 0 0 45449 2088 0 0 16 0 1 0 1795730823 618786816 149731 4294967295 134512640 134736556 3221224560 3221223312 134556623 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 151071 149731 1116 68 0 151003 0
[pid=15623] vsize: 604284
Current children cumulated CPU time (s) 475.37
Current children cumulated vsize (Kb) 604284

[startup+520.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 153346 0 0 0 46342 2131 0 0 18 0 1 0 1795730823 633036800 153192 4294967295 134512640 134736556 3221224560 3221223116 134536384 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 154550 153192 1116 68 0 154482 0
[pid=15623] vsize: 618200
Current children cumulated CPU time (s) 484.73
Current children cumulated vsize (Kb) 618200

[startup+530.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 157095 0 0 0 47278 2158 0 0 25 0 1 0 1795730823 648310784 156941 4294967295 134512640 134736556 3221224560 3221223196 134554110 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 158279 156941 1116 68 0 158211 0
[pid=15623] vsize: 633116
Current children cumulated CPU time (s) 494.36
Current children cumulated vsize (Kb) 633116

[startup+540.025 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 161829 0 0 0 48202 2192 0 0 25 0 1 0 1795730823 667774976 161675 4294967295 134512640 134736556 3221224560 3221223264 134528604 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 163031 161675 1116 68 0 162963 0
[pid=15623] vsize: 652124
Current children cumulated CPU time (s) 503.94
Current children cumulated vsize (Kb) 652124

[startup+550.025 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 168788 0 0 0 49132 2226 0 0 17 0 1 0 1795730823 696307712 168632 4294967295 134512640 134736556 3221224560 3221223184 134524547 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/15623/statm): 169997 168632 1116 68 0 169929 0
[pid=15623] vsize: 679988
Current children cumulated CPU time (s) 513.58
Current children cumulated vsize (Kb) 679988

[startup+560.025 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 175408 0 0 0 50067 2257 0 0 22 0 1 0 1795730823 723525632 175250 4294967295 134512640 134736556 3221224560 3221223152 134551097 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/15623/statm): 176642 175250 1116 68 0 176574 0
[pid=15623] vsize: 706568
Current children cumulated CPU time (s) 523.24
Current children cumulated vsize (Kb) 706568

[startup+570.026 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 181932 0 0 0 50998 2294 0 0 19 0 1 0 1795730823 750379008 181771 4294967295 134512640 134736556 3221224560 3221223200 134537375 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 183198 181771 1116 68 0 183130 0
[pid=15623] vsize: 732792
Current children cumulated CPU time (s) 532.92
Current children cumulated vsize (Kb) 732792

[startup+580.027 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 189379 0 0 0 51916 2335 0 0 21 0 1 0 1795730823 780935168 189216 4294967295 134512640 134736556 3221224560 3221223104 134543153 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 190658 189216 1116 68 0 190590 0
[pid=15623] vsize: 762632
Current children cumulated CPU time (s) 542.51
Current children cumulated vsize (Kb) 762632

[startup+590.026 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 195412 0 0 0 52851 2367 0 0 25 0 1 0 1795730823 805699584 195246 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/15623/statm): 196704 195246 1116 68 0 196636 0
[pid=15623] vsize: 786816
Current children cumulated CPU time (s) 552.18
Current children cumulated vsize (Kb) 786816

[startup+600.026 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) T 15622 15623 1333 0 -1 0 200826 0 0 0 53796 2394 0 0 25 0 1 0 1795730823 827932672 200656 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/15623/statm): 202132 200656 1116 68 0 202064 0
[pid=15623] vsize: 808528
Current children cumulated CPU time (s) 561.9
Current children cumulated vsize (Kb) 808528

[startup+610.027 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) T 15622 15623 1333 0 -1 0 206894 0 0 0 54733 2426 0 0 17 0 1 0 1795730823 852905984 206716 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/15623/statm): 208229 206716 1116 68 0 208161 0
[pid=15623] vsize: 832916
Current children cumulated CPU time (s) 571.59
Current children cumulated vsize (Kb) 832916

[startup+620.026 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 0 213133 0 0 0 55667 2459 0 0 20 0 1 0 1795730823 878428160 212948 4294967295 134512640 134736556 3221224560 3221223208 134554070 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 214460 212948 1116 68 0 214392 0
[pid=15623] vsize: 857840
Current children cumulated CPU time (s) 581.26
Current children cumulated vsize (Kb) 857840

[startup+630.027 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) T 15622 15623 1333 0 -1 0 220866 0 0 0 56590 2498 0 0 25 0 1 0 1795730823 910184448 220679 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/15623/statm): 222213 220679 1116 68 0 222145 0
[pid=15623] vsize: 888852
Current children cumulated CPU time (s) 590.88
Current children cumulated vsize (Kb) 888852

[startup+640.028 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) T 15622 15623 1333 0 -1 0 226902 0 0 0 57527 2530 0 0 25 0 1 0 1795730823 935084032 226709 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/15623/statm): 228292 226709 1116 68 0 228224 0
[pid=15623] vsize: 913168
Current children cumulated CPU time (s) 600.57
Current children cumulated vsize (Kb) 913168



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+647.611 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 15623
Raw data (/proc/15623/stat): 15623 (bsolo) T 15622 15623 1333 0 -1 0 229629 0 22 0 58210 2555 0 0 17 0 1 0 1795730823 943788032 228833 4294967295 134512640 134736556 3221224560 3221222908 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/15623/statm): 230417 228833 1116 68 0 230349 0
[pid=15623] vsize: 921668
Current children cumulated CPU time (s) 607.65
Current children cumulated vsize (Kb) 921668

Sending SIGTERM to -15623
Sleeping 2 seconds
Sending SIGKILL to -15623

[startup+650.028 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 15624
Raw data (/proc/15623/stat): 15623 (bsolo) R 15622 15623 1333 0 -1 1028 229629 0 22 0 58210 2597 0 0 17 0 1 0 1795730823 0 0 4294967295 0 0 0 0 0 0 16384 5 16384 0 0 0 17 1 0 0
Raw data (/proc/15623/statm): 0 0 0 0 0 0 0
[pid=15623] vsize: 0
Current children cumulated CPU time (s) 608.07
Current children cumulated vsize (Kb) 0
One traced child (pid=15623) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 650.035
CPU time (s): 608.088
CPU user time (s): 582.11
CPU system time (s): 25.9781
CPU usage (%): 93.5468
Max. virtual memory (cumulated for all children) (Kb): 921668

Verifier Data

ERROR: no interpretation found !