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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-grow15.opb
MD5SUM997a6069ce24fed97967c5999a31ff05
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of terms in the objective function 1200
Biggest coefficient in the objective function 469762048
Number of bits for the biggest coefficient in the objective function 29
Sum of the numbers in the objective function 19327352658
Number of bits of the sum of numbers in the objective function 35
Biggest number in a constraint 109773592723456
Number of bits of the biggest number in a constraint 47
Biggest sum of numbers in a constraint 511403730649348
Number of bits of the biggest sum of numbers49
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1262.28
Number of variables14880
Total number of constraints900
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints900
Minimum length of a constraint19
Maximum length of a constraint416

Trace number 5093

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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:        871388 kB
Buffers:         40624 kB
Cached:          87324 kB
SwapCached:        844 kB
Active:          69952 kB
Inactive:        60636 kB
HighTotal:      131008 kB
HighFree:        41132 kB
LowTotal:       903652 kB
LowFree:        830256 kB
SwapTotal:     2097892 kB
SwapFree:      2096548 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5768 kB
Slab:            26960 kB
Committed_AS:    64184 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 22:43:57 (client local time) WITH STATUS 0 IN 501.682 SECONDS
stats: 874 7 501.682 0

Solver Data

c INFO: OSL Context initialized.
c BIG Int formula...
c Initial problem consists of 14880 variables and 1200 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 9.585
c After prepocess the problem consists of 14740 variables and 1158 constraints.
c Initial Lower Bound: -12166627154
c Restart #1 #Var: 14740 #Dec: 15101 LB: -12166627154 @ 12.106
c Restart #2 #Var: 14740 #Dec: 38712 LB: -12166627154 @ 16.703
c Restart #3 #Var: 14740 #Dec: 86891 LB: -12166627154 @ 25.506
c Restart #4 #Var: 14740 #Dec: 167246 LB: -12166627154 @ 36.964
c Restart #5 #Var: 14740 #Dec: 212195 LB: -12166627154 @ 46.721
c Restart #6 #Var: 14740 #Dec: 268928 LB: -12166627154 @ 57.558
c Restart #7 #Var: 14740 #Dec: 391910 LB: -12166627154 @ 72.756
c Restart #8 #Var: 14740 #Dec: 446839 LB: -12166627154 @ 80.969
c Restart #9 #Var: 14740 #Dec: 485523 LB: -12166627154 @ 89.132
c Restart #10 #Var: 14726 #Dec: 525000 LB: -10740563794 @ 95.814
c Restart #11 #Var: 14725 #Dec: 527252 LB: -10740563794 @ 97.98
c Restart #12 #Var: 14725 #Dec: 529699 LB: -10740563794 @ 100.89
c Restart #13 #Var: 14725 #Dec: 532349 LB: -10740563794 @ 104.84
c Restart #14 #Var: 14725 #Dec: 535205 LB: -10740563794 @ 108.31
c Restart #15 #Var: 14725 #Dec: 538253 LB: -10740563794 @ 112.13
c Restart #16 #Var: 14725 #Dec: 541510 LB: -10740563794 @ 117.9
c Restart #17 #Var: 14725 #Dec: 544953 LB: -10740563794 @ 123.39
c Restart #18 #Var: 14725 #Dec: 548604 LB: -10740563794 @ 128.61
c Restart #19 #Var: 14725 #Dec: 552460 LB: -10740563794 @ 132.95
c Restart #20 #Var: 14725 #Dec: 556510 LB: -10740563794 @ 138.83
c Restart #21 #Var: 14725 #Dec: 560769 LB: -10740563794 @ 143.94
c Restart #22 #Var: 14725 #Dec: 565222 LB: -10740563794 @ 151
c Restart #23 #Var: 14725 #Dec: 569876 LB: -10740563794 @ 159.33
c Restart #24 #Var: 14725 #Dec: 574727 LB: -10740563794 @ 166.49
c Restart #25 #Var: 14725 #Dec: 579785 LB: -10740563794 @ 174.41
c Restart #26 #Var: 14725 #Dec: 585035 LB: -10740563794 @ 185.52
c Restart #27 #Var: 14725 #Dec: 590490 LB: -10740563794 @ 197.12
c Restart #28 #Var: 14725 #Dec: 596132 LB: -10740563794 @ 201.65
c Restart #29 #Var: 14725 #Dec: 601982 LB: -10740563794 @ 213.55
c Restart #30 #Var: 14725 #Dec: 608014 LB: -10740563794 @ 233.56
c Restart #31 #Var: 14725 #Dec: 614266 LB: -10740563794 @ 242.75
c Restart #32 #Var: 14725 #Dec: 620711 LB: -10740563794 @ 248
c Restart #33 #Var: 14725 #Dec: 627363 LB: -10740563794 @ 254.39
c Restart #34 #Var: 14725 #Dec: 634219 LB: -10740563794 @ 262.98
c Restart #35 #Var: 14725 #Dec: 641273 LB: -10740563794 @ 270.54
c Restart #36 #Var: 14725 #Dec: 648521 LB: -10740563794 @ 283.23
c Restart #37 #Var: 14725 #Dec: 655978 LB: -10740563794 @ 308.67
c Restart #38 #Var: 14725 #Dec: 663627 LB: -10740563794 @ 315.71
c Restart #39 #Var: 14725 #Dec: 671476 LB: -10740563794 @ 324.29
c Restart #40 #Var: 14725 #Dec: 679529 LB: -10740563794 @ 330.44
c Restart #41 #Var: 14725 #Dec: 687785 LB: -10740563794 @ 340.26
c Restart #42 #Var: 14725 #Dec: 696232 LB: -10740563794 @ 351.91
c Restart #43 #Var: 14725 #Dec: 704884 LB: -10740563794 @ 363.11
c Restart #44 #Var: 14725 #Dec: 713736 LB: -10740563794 @ 370.59
c Restart #45 #Var: 14725 #Dec: 722785 LB: -10740563794 @ 381.61
c Restart #46 #Var: 14725 #Dec: 732036 LB: -10740563794 @ 390.62
c Restart #47 #Var: 14725 #Dec: 741486 LB: -10740563794 @ 402.91
c Restart #48 #Var: 14725 #Dec: 751136 LB: -10740563794 @ 411.27
c Restart #49 #Var: 14725 #Dec: 760988 LB: -10740563794 @ 423.95
c Restart #50 #Var: 14725 #Dec: 771038 LB: -10740563794 @ 432.25
c Restart #51 #Var: 14725 #Dec: 781293 LB: -10740563794 @ 445.62
c Restart #52 #Var: 14725 #Dec: 791745 LB: -10740563794 @ 455.23
c Restart #53 #Var: 14725 #Dec: 802396 LB: -10740563794 @ 468.37
c Restart #54 #Var: 14725 #Dec: 813250 LB: -10740563794 @ 478.08
c Restart #55 #Var: 14725 #Dec: 824300 LB: -10740563794 @ 492.33
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/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1853504048 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22291/statm): 107 3 90 68 0 39 0
[pid=22291] 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/wulflinc18/normalized-mps-v2-13-7-grow15.opb

[startup+10.0026 s]
Raw data (loadavg): 0.84 0.94 0.98 1/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) T 22290 22291 31027 0 -1 0 14373 0 0 0 933 48 0 0 22 0 1 0 1853504048 62472192 14284 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/22291/statm): 15252 14284 1116 68 0 15184 0
[pid=22291] vsize: 61008
Current children cumulated CPU time (s) 9.81
Current children cumulated vsize (Kb) 61008

[startup+20.0035 s]
Raw data (loadavg): 0.86 0.94 0.98 1/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) T 22290 22291 31027 0 -1 0 14471 0 0 0 1742 110 0 0 23 0 1 0 1853504048 62717952 14382 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/22291/statm): 15312 14382 1116 68 0 15244 0
[pid=22291] vsize: 61248
Current children cumulated CPU time (s) 18.52
Current children cumulated vsize (Kb) 61248

[startup+30.0045 s]
Raw data (loadavg): 0.96 0.96 0.98 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 14476 0 0 0 2540 177 0 0 17 0 1 0 1853504048 62717952 14387 4294967295 134512640 134736556 3221224560 3221223232 134528541 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22291/statm): 15312 14387 1116 68 0 15244 0
[pid=22291] vsize: 61248
Current children cumulated CPU time (s) 27.17
Current children cumulated vsize (Kb) 61248

[startup+40.0054 s]
Raw data (loadavg): 0.97 0.96 0.98 1/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) T 22290 22291 31027 0 -1 0 14487 0 0 0 3296 256 0 0 20 0 1 0 1853504048 62787584 14398 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/22291/statm): 15329 14398 1116 68 0 15261 0
[pid=22291] vsize: 61316
Current children cumulated CPU time (s) 35.52
Current children cumulated vsize (Kb) 61316

[startup+50.0063 s]
Raw data (loadavg): 0.97 0.96 0.98 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 14518 0 0 0 4133 311 0 0 22 0 1 0 1853504048 62922752 14429 4294967295 134512640 134736556 3221224560 3221223276 134694456 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22291/statm): 15362 14429 1116 68 0 15294 0
[pid=22291] vsize: 61448
Current children cumulated CPU time (s) 44.44
Current children cumulated vsize (Kb) 61448

[startup+60.0062 s]
Raw data (loadavg): 0.98 0.96 0.98 1/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) T 22290 22291 31027 0 -1 0 14518 0 0 0 4955 369 0 0 18 0 1 0 1853504048 62922752 14429 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22291/statm): 15362 14429 1116 68 0 15294 0
[pid=22291] vsize: 61448
Current children cumulated CPU time (s) 53.24
Current children cumulated vsize (Kb) 61448

[startup+70.0092 s]
Raw data (loadavg): 1.06 0.98 0.99 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 14610 0 0 0 5715 444 0 0 20 0 1 0 1853504048 63328256 14521 4294967295 134512640 134736556 3221224560 3221223216 134544812 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22291/statm): 15461 14521 1116 68 0 15393 0
[pid=22291] vsize: 61844
Current children cumulated CPU time (s) 61.59
Current children cumulated vsize (Kb) 61844

[startup+80.0101 s]
Raw data (loadavg): 1.05 0.98 0.99 1/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) T 22290 22291 31027 0 -1 0 14695 0 0 0 6437 534 0 0 16 0 1 0 1853504048 63733760 14606 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/22291/statm): 15560 14606 1116 68 0 15492 0
[pid=22291] vsize: 62240
Current children cumulated CPU time (s) 69.71
Current children cumulated vsize (Kb) 62240

[startup+90.0122 s]
Raw data (loadavg): 1.04 0.98 0.99 1/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) T 22290 22291 31027 0 -1 0 14902 0 0 0 7189 615 0 0 16 0 1 0 1853504048 64540672 14813 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/22291/statm): 15757 14813 1116 68 0 15689 0
[pid=22291] vsize: 63028
Current children cumulated CPU time (s) 78.04
Current children cumulated vsize (Kb) 63028

[startup+100.013 s]
Raw data (loadavg): 1.03 0.98 0.99 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 15095 0 0 0 7979 687 0 0 17 0 1 0 1853504048 65351680 15006 4294967295 134512640 134736556 3221224560 3221223360 134552878 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22291/statm): 15955 15006 1116 68 0 15887 0
[pid=22291] vsize: 63820
Current children cumulated CPU time (s) 86.66
Current children cumulated vsize (Kb) 63820

[startup+110.014 s]
Raw data (loadavg): 1.03 0.98 0.99 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 16025 0 0 0 8808 744 0 0 17 0 1 0 1853504048 69120000 15936 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22291/statm): 16875 15936 1116 68 0 16807 0
[pid=22291] vsize: 67500
Current children cumulated CPU time (s) 95.52
Current children cumulated vsize (Kb) 67500

[startup+120.015 s]
Raw data (loadavg): 1.02 0.98 0.99 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 22103 0 0 0 9751 772 0 0 25 0 1 0 1853504048 93978624 22014 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22291/statm): 22944 22014 1116 68 0 22876 0
[pid=22291] vsize: 91776
Current children cumulated CPU time (s) 105.23
Current children cumulated vsize (Kb) 91776

[startup+130.016 s]
Raw data (loadavg): 1.02 0.98 0.99 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 27666 0 0 0 10697 801 0 0 21 0 1 0 1853504048 116940800 27576 4294967295 134512640 134736556 3221224560 3221223204 134608243 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22291/statm): 28550 27577 1116 68 0 28482 0
[pid=22291] vsize: 114200
Current children cumulated CPU time (s) 114.98
Current children cumulated vsize (Kb) 114200

[startup+140.017 s]
Raw data (loadavg): 1.02 0.98 0.99 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 32070 0 0 0 11652 821 0 0 25 0 1 0 1853504048 135065600 31974 4294967295 134512640 134736556 3221224560 3221223168 134544608 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22291/statm): 32975 31974 1116 68 0 32907 0
[pid=22291] vsize: 131900
Current children cumulated CPU time (s) 124.73
Current children cumulated vsize (Kb) 131900

[startup+150.018 s]
Raw data (loadavg): 1.01 0.98 0.99 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 37954 0 0 0 12597 849 0 0 25 0 1 0 1853504048 159105024 37855 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22291/statm): 38844 37855 1116 68 0 38776 0
[pid=22291] vsize: 155376
Current children cumulated CPU time (s) 134.46
Current children cumulated vsize (Kb) 155376

[startup+160.018 s]
Raw data (loadavg): 1.01 0.98 0.99 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 43354 0 0 0 13547 876 0 0 25 0 1 0 1853504048 181305344 43254 4294967295 134512640 134736556 3221224560 3221223184 134524547 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22291/statm): 44264 43254 1116 68 0 44196 0
[pid=22291] vsize: 177056
Current children cumulated CPU time (s) 144.23
Current children cumulated vsize (Kb) 177056

[startup+170.018 s]
Raw data (loadavg): 1.01 0.98 0.99 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 47944 0 0 0 14505 897 0 0 25 0 1 0 1853504048 200208384 47836 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22291/statm): 48879 47836 1116 68 0 48811 0
[pid=22291] vsize: 195516
Current children cumulated CPU time (s) 154.02
Current children cumulated vsize (Kb) 195516

[startup+180.018 s]
Raw data (loadavg): 1.01 0.98 0.99 1/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) T 22290 22291 31027 0 -1 0 52611 0 0 0 15459 920 0 0 25 0 1 0 1853504048 219303936 52498 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/22291/statm): 53541 52498 1116 68 0 53473 0
[pid=22291] vsize: 214164
Current children cumulated CPU time (s) 163.79
Current children cumulated vsize (Kb) 214164

[startup+190.019 s]
Raw data (loadavg): 1.01 0.98 0.99 1/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) T 22290 22291 31027 0 -1 0 57306 0 0 0 16414 942 0 0 25 0 1 0 1853504048 238686208 57185 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/22291/statm): 58273 57185 1116 68 0 58205 0
[pid=22291] vsize: 233092
Current children cumulated CPU time (s) 173.56
Current children cumulated vsize (Kb) 233092

[startup+200.02 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 61032 0 0 0 17378 960 0 0 25 0 1 0 1853504048 253919232 60910 4294967295 134512640 134736556 3221224560 3221223024 134536162 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22291/statm): 61992 60910 1116 68 0 61924 0
[pid=22291] vsize: 247968
Current children cumulated CPU time (s) 183.38
Current children cumulated vsize (Kb) 247968

[startup+210.02 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) T 22290 22291 31027 0 -1 0 64703 0 0 0 18341 979 0 0 25 0 1 0 1853504048 269041664 64576 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/22291/statm): 65684 64576 1116 68 0 65616 0
[pid=22291] vsize: 262736
Current children cumulated CPU time (s) 193.2
Current children cumulated vsize (Kb) 262736

[startup+220.021 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 69561 0 0 0 19290 1003 0 0 19 0 1 0 1853504048 288931840 69431 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22291/statm): 70540 69431 1116 68 0 70472 0
[pid=22291] vsize: 282160
Current children cumulated CPU time (s) 202.93
Current children cumulated vsize (Kb) 282160

[startup+230.022 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 73683 0 0 0 20254 1022 0 0 17 0 1 0 1853504048 305807360 73553 4294967295 134512640 134736556 3221224560 3221223152 134551097 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22291/statm): 74660 73553 1116 68 0 74592 0
[pid=22291] vsize: 298640
Current children cumulated CPU time (s) 212.76
Current children cumulated vsize (Kb) 298640

[startup+240.022 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 76170 0 0 0 21230 1035 0 0 25 0 1 0 1853504048 316145664 76029 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22291/statm): 77184 76029 1116 68 0 77116 0
[pid=22291] vsize: 308736
Current children cumulated CPU time (s) 222.65
Current children cumulated vsize (Kb) 308736

[startup+250.023 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 78576 0 0 0 22209 1046 0 0 25 0 1 0 1853504048 326090752 78434 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22291/statm): 79612 78434 1116 68 0 79544 0
[pid=22291] vsize: 318448
Current children cumulated CPU time (s) 232.55
Current children cumulated vsize (Kb) 318448

[startup+260.023 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 83544 0 0 0 23160 1073 0 0 17 0 1 0 1853504048 346324992 83402 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22291/statm): 84552 83403 1116 68 0 84484 0
[pid=22291] vsize: 338208
Current children cumulated CPU time (s) 242.33
Current children cumulated vsize (Kb) 338208

[startup+270.024 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 91742 0 0 0 24088 1111 0 0 18 0 1 0 1853504048 380108800 91586 4294967295 134512640 134736556 3221224560 3221223140 134716325 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22291/statm): 92800 91587 1116 68 0 92732 0
[pid=22291] vsize: 371200
Current children cumulated CPU time (s) 251.99
Current children cumulated vsize (Kb) 371200

[startup+280.024 s]
Raw data (loadavg): 1.00 0.98 0.99 1/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) T 22290 22291 31027 0 -1 0 98468 0 0 0 25031 1140 0 0 18 0 1 0 1853504048 407756800 98305 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/22291/statm): 99550 98305 1116 68 0 99482 0
[pid=22291] vsize: 398200
Current children cumulated CPU time (s) 261.71
Current children cumulated vsize (Kb) 398200

[startup+290.024 s]
Raw data (loadavg): 1.00 0.98 0.99 1/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) T 22290 22291 31027 0 -1 0 105303 0 0 0 25973 1174 0 0 20 0 1 0 1853504048 435838976 105116 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/22291/statm): 106406 105116 1116 68 0 106338 0
[pid=22291] vsize: 425624
Current children cumulated CPU time (s) 271.47
Current children cumulated vsize (Kb) 425624

[startup+300.025 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 109060 0 0 0 26933 1194 0 0 23 0 1 0 1853504048 451260416 108873 4294967295 134512640 134736556 3221224560 3221223000 134634650 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22291/statm): 110171 108873 1116 68 0 110103 0
[pid=22291] vsize: 440684
Current children cumulated CPU time (s) 281.27
Current children cumulated vsize (Kb) 440684

[startup+310.025 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 110235 0 0 0 27920 1200 0 0 25 0 1 0 1853504048 456081408 110040 4294967295 134512640 134736556 3221224560 3221223084 134536351 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22291/statm): 111348 110040 1116 68 0 111280 0
[pid=22291] vsize: 445392
Current children cumulated CPU time (s) 291.2
Current children cumulated vsize (Kb) 445392

[startup+320.026 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 110696 0 0 0 28915 1203 0 0 25 0 1 0 1853504048 457973760 110501 4294967295 134512640 134736556 3221224560 3221223184 134524547 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22291/statm): 111810 110501 1116 68 0 111742 0
[pid=22291] vsize: 447240
Current children cumulated CPU time (s) 301.18
Current children cumulated vsize (Kb) 447240

[startup+330.027 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 116849 0 0 0 29859 1232 0 0 25 0 1 0 1853504048 483262464 116652 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22291/statm): 117984 116652 1116 68 0 117916 0
[pid=22291] vsize: 471936
Current children cumulated CPU time (s) 310.91
Current children cumulated vsize (Kb) 471936

[startup+340.027 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 124428 0 0 0 30788 1270 0 0 20 0 1 0 1853504048 514195456 124230 4294967295 134512640 134736556 3221224560 3221223272 134560233 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22291/statm): 125536 124230 1116 68 0 125468 0
[pid=22291] vsize: 502144
Current children cumulated CPU time (s) 320.58
Current children cumulated vsize (Kb) 502144

[startup+350.028 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 131495 0 0 0 31715 1306 0 0 25 0 1 0 1853504048 543195136 131290 4294967295 134512640 134736556 3221224560 3221223312 134609059 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22291/statm): 132616 131290 1116 68 0 132548 0
[pid=22291] vsize: 530464
Current children cumulated CPU time (s) 330.21
Current children cumulated vsize (Kb) 530464

[startup+360.028 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 136635 0 0 0 32658 1334 0 0 17 0 1 0 1853504048 564375552 136425 4294967295 134512640 134736556 3221224560 3221223168 134553387 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22291/statm): 137787 136425 1116 68 0 137719 0
[pid=22291] vsize: 551148
Current children cumulated CPU time (s) 339.92
Current children cumulated vsize (Kb) 551148

[startup+370.029 s]
Raw data (loadavg): 1.00 0.98 0.99 1/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) T 22290 22291 31027 0 -1 0 141066 0 0 0 33607 1358 0 0 25 0 1 0 1853504048 582492160 140852 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/22291/statm): 142210 140852 1116 68 0 142142 0
[pid=22291] vsize: 568840
Current children cumulated CPU time (s) 349.65
Current children cumulated vsize (Kb) 568840

[startup+380.029 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 145534 0 0 0 34560 1380 0 0 25 0 1 0 1853504048 600834048 145306 4294967295 134512640 134736556 3221224560 3221223216 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22291/statm): 146688 145306 1116 68 0 146620 0
[pid=22291] vsize: 586752
Current children cumulated CPU time (s) 359.4
Current children cumulated vsize (Kb) 586752

[startup+390.029 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 151809 0 0 0 35495 1411 0 0 18 0 1 0 1853504048 626593792 151578 4294967295 134512640 134736556 3221224560 3221223132 134634644 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22291/statm): 152977 151578 1116 68 0 152909 0
[pid=22291] vsize: 611908
Current children cumulated CPU time (s) 369.06
Current children cumulated vsize (Kb) 611908

[startup+400.03 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 157157 0 0 0 36439 1440 0 0 20 0 1 0 1853504048 648593408 156918 4294967295 134512640 134736556 3221224560 3221223060 134543905 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22291/statm): 158348 156919 1116 68 0 158280 0
[pid=22291] vsize: 633392
Current children cumulated CPU time (s) 378.79
Current children cumulated vsize (Kb) 633392

[startup+410.03 s]
Raw data (loadavg): 1.00 0.98 0.99 1/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) T 22290 22291 31027 0 -1 0 162806 0 0 0 37380 1471 0 0 25 0 1 0 1853504048 671825920 162545 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/22291/statm): 164020 162545 1116 68 0 163952 0
[pid=22291] vsize: 656080
Current children cumulated CPU time (s) 388.51
Current children cumulated vsize (Kb) 656080

[startup+420.031 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 168120 0 0 0 38324 1498 0 0 20 0 1 0 1853504048 693858304 167852 4294967295 134512640 134736556 3221224560 3221223096 1077377193 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22291/statm): 169399 167852 1116 68 0 169331 0
[pid=22291] vsize: 677596
Current children cumulated CPU time (s) 398.22
Current children cumulated vsize (Kb) 677596

[startup+430.032 s]
Raw data (loadavg): 1.00 0.98 0.99 1/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) T 22290 22291 31027 0 -1 0 174205 0 0 0 39257 1531 0 0 18 0 1 0 1853504048 718786560 173936 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/22291/statm): 175485 173936 1116 68 0 175417 0
[pid=22291] vsize: 701940
Current children cumulated CPU time (s) 407.88
Current children cumulated vsize (Kb) 701940

[startup+440.031 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 179411 0 0 0 40201 1559 0 0 17 0 1 0 1853504048 740327424 179130 4294967295 134512640 134736556 3221224560 3221223232 134536510 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22291/statm): 180744 179130 1116 68 0 180676 0
[pid=22291] vsize: 722976
Current children cumulated CPU time (s) 417.6
Current children cumulated vsize (Kb) 722976

[startup+450.032 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 185005 0 0 0 41140 1589 0 0 25 0 1 0 1853504048 763346944 184711 4294967295 134512640 134736556 3221224560 3221223280 134605104 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22291/statm): 186364 184711 1116 68 0 186296 0
[pid=22291] vsize: 745456
Current children cumulated CPU time (s) 427.29
Current children cumulated vsize (Kb) 745456

[startup+460.032 s]
Raw data (loadavg): 1.00 0.98 0.99 1/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) T 22290 22291 31027 0 -1 0 191095 0 0 0 42075 1620 0 0 23 0 1 0 1853504048 788418560 190800 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/22291/statm): 192485 190800 1116 68 0 192417 0
[pid=22291] vsize: 769940
Current children cumulated CPU time (s) 436.95
Current children cumulated vsize (Kb) 769940

[startup+470.033 s]
Raw data (loadavg): 1.00 0.98 0.99 1/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) T 22290 22291 31027 0 -1 0 195656 0 0 0 43024 1647 0 0 17 0 1 0 1853504048 807067648 195356 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22291/statm): 197038 195356 1116 68 0 196970 0
[pid=22291] vsize: 788152
Current children cumulated CPU time (s) 446.71
Current children cumulated vsize (Kb) 788152

[startup+480.034 s]
Raw data (loadavg): 1.00 0.98 0.99 1/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) T 22290 22291 31027 0 -1 0 202324 0 0 0 43951 1683 0 0 22 0 1 0 1853504048 834080768 201860 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/22291/statm): 203633 201860 1116 68 0 203565 0
[pid=22291] vsize: 814532
Current children cumulated CPU time (s) 456.34
Current children cumulated vsize (Kb) 814532

[startup+490.034 s]
Raw data (loadavg): 1.00 0.98 0.99 1/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) T 22290 22291 31027 0 -1 0 207821 0 0 0 44892 1712 0 0 17 0 1 0 1853504048 856588288 207352 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/22291/statm): 209128 207352 1116 68 0 209060 0
[pid=22291] vsize: 836512
Current children cumulated CPU time (s) 466.04
Current children cumulated vsize (Kb) 836512

[startup+500.035 s]
Raw data (loadavg): 1.00 0.98 0.99 1/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) T 22290 22291 31027 0 -1 0 214029 0 0 0 45829 1743 0 0 17 0 1 0 1853504048 882028544 213560 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/22291/statm): 215339 213560 1116 68 0 215271 0
[pid=22291] vsize: 861356
Current children cumulated CPU time (s) 475.72
Current children cumulated vsize (Kb) 861356

[startup+510.035 s]
Raw data (loadavg): 1.00 0.98 0.99 2/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) R 22290 22291 31027 0 -1 0 219381 0 0 0 46769 1771 0 0 18 0 1 0 1853504048 903954432 218764 4294967295 134512640 134736556 3221224560 3221222968 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22291/statm): 220692 218764 1116 68 0 220624 0
[pid=22291] vsize: 882768
Current children cumulated CPU time (s) 485.4
Current children cumulated vsize (Kb) 882768

[startup+520.038 s]
Raw data (loadavg): 1.00 0.98 0.99 1/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) T 22290 22291 31027 0 -1 0 224451 0 26 0 47692 1798 0 0 18 0 1 0 1853504048 923893760 223640 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/22291/statm): 225560 223640 1116 68 0 225492 0
[pid=22291] vsize: 902240
Current children cumulated CPU time (s) 494.9
Current children cumulated vsize (Kb) 902240



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+526.671 s]
Raw data (loadavg): 1.00 0.98 0.99 1/56 22291
Raw data (/proc/22291/stat): 22291 (bsolo) T 22290 22291 31027 0 -1 0 229263 0 28 0 48291 1834 0 0 19 0 1 0 1853504048 943730688 228150 4294967295 134512640 134736556 3221224560 3221222908 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/22291/statm): 230403 228150 1116 68 0 230335 0
[pid=22291] vsize: 921612
Current children cumulated CPU time (s) 501.25
Current children cumulated vsize (Kb) 921612

Sending SIGTERM to -22291
Sleeping 2 seconds
Sending SIGKILL to -22291
One traced child (pid=22291) 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): 529.1
CPU time (s): 501.682
CPU user time (s): 482.915
CPU system time (s): 18.7671
CPU usage (%): 94.818
Max. virtual memory (cumulated for all children) (Kb): 921612

Verifier Data

ERROR: no interpretation found !