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-modglob.opb
MD5SUM7c23b551f45513828578e93f58c31ab1
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 6578
Biggest coefficient in the objective function 21493710848000000
Number of bits for the biggest coefficient in the objective function 55
Sum of the numbers in the objective function 1450509811657714210
Number of bits of the sum of numbers in the objective function 61
Biggest number in a constraint 21493710848000000
Number of bits of the biggest number in a constraint 55
Biggest sum of numbers in a constraint 1450509811657714210
Number of bits of the biggest sum of numbers61
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables6578
Total number of constraints389
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)98
Number of constraints which are nor clauses,nor cardinality constraints291
Minimum length of a constraint1
Maximum length of a constraint180

Trace number 5260

Launcher Data

LAUNCH ON wulflinc5 THE 2005-09-19 23:55:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1032 boxname=wulflinc5 idbench=1032 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  7c23b551f45513828578e93f58c31ab1  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-modglob.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-modglob.opb
IDLAUNCH: 1032
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        911324 kB
Buffers:         18640 kB
Cached:          79832 kB
SwapCached:        740 kB
Active:          37712 kB
Inactive:        63452 kB
HighTotal:      131008 kB
HighFree:        47040 kB
LowTotal:       903652 kB
LowFree:        864284 kB
SwapTotal:     2097136 kB
SwapFree:      2095892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5804 kB
Slab:            16364 kB
Committed_AS:    64300 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 00:06:04 (client local time) WITH STATUS 0 IN 620.582 SECONDS
stats: 1032 7 620.582 0

Solver Data

c INFO: OSL Context initialized.
c BIG Int formula...
c Initial problem consists of 6578 variables and 384 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 1.885
c After prepocess the problem consists of 6002 variables and 382 constraints.
c Initial Lower Bound: 0
c Restart #1 #Var: 6002 #Dec: 21041 LB: 0 @ 3.056
c Restart #2 #Var: 6002 #Dec: 64430 LB: 0 @ 5.442
c Restart #3 #Var: 6002 #Dec: 149985 LB: 0 @ 10.223
c Restart #4 #Var: 6002 #Dec: 247534 LB: 0 @ 15.798
c Restart #5 #Var: 6002 #Dec: 304945 LB: 0 @ 19.453
c Restart #6 #Var: 6002 #Dec: 342955 LB: 0 @ 22.682
c Restart #7 #Var: 6002 #Dec: 357478 LB: 0 @ 25.039
c Restart #8 #Var: 6002 #Dec: 359117 LB: 0 @ 26.767
c Restart #9 #Var: 6002 #Dec: 360956 LB: 0 @ 29.2
c Restart #10 #Var: 6002 #Dec: 362987 LB: 0 @ 31.167
c Restart #11 #Var: 6002 #Dec: 365212 LB: 0 @ 32.688
c Restart #12 #Var: 6002 #Dec: 367625 LB: 0 @ 35.118
c Restart #13 #Var: 6002 #Dec: 370240 LB: 0 @ 38.014
c Restart #14 #Var: 6002 #Dec: 373068 LB: 0 @ 42.104
c Restart #15 #Var: 6002 #Dec: 376088 LB: 0 @ 46.498
c Restart #16 #Var: 6002 #Dec: 379302 LB: 0 @ 51.222
c Restart #17 #Var: 6002 #Dec: 382715 LB: 0 @ 56.276
c Restart #18 #Var: 6002 #Dec: 386336 LB: 0 @ 61.624
c Restart #19 #Var: 6002 #Dec: 390150 LB: 0 @ 68.101
c Restart #20 #Var: 6002 #Dec: 394173 LB: 0 @ 75.257
c Restart #21 #Var: 6002 #Dec: 398397 LB: 0 @ 82.715
c Restart #22 #Var: 6002 #Dec: 402820 LB: 0 @ 90.119
c Restart #23 #Var: 6002 #Dec: 407442 LB: 0 @ 98.286
c Restart #24 #Var: 6002 #Dec: 412268 LB: 0 @ 106.27
c Restart #25 #Var: 6002 #Dec: 417291 LB: 0 @ 114.87
c Restart #26 #Var: 6002 #Dec: 422512 LB: 0 @ 124.41
c Restart #27 #Var: 6002 #Dec: 427936 LB: 0 @ 134.3
c Restart #28 #Var: 6002 #Dec: 433559 LB: 0 @ 143.7
c Restart #29 #Var: 6002 #Dec: 439384 LB: 0 @ 154.44
c Restart #30 #Var: 6002 #Dec: 445407 LB: 0 @ 164.63
c Restart #31 #Var: 6002 #Dec: 451631 LB: 0 @ 176.46
c Restart #32 #Var: 6002 #Dec: 458053 LB: 0 @ 187.19
c Restart #33 #Var: 6002 #Dec: 464673 LB: 0 @ 199.17
c Restart #34 #Var: 6002 #Dec: 471493 LB: 0 @ 212.29
c Restart #35 #Var: 6002 #Dec: 478519 LB: 0 @ 228.86
c Restart #36 #Var: 6002 #Dec: 485740 LB: 0 @ 241.55
c Restart #37 #Var: 6002 #Dec: 493163 LB: 0 @ 258.06
c Restart #38 #Var: 6002 #Dec: 500786 LB: 0 @ 274.75
c Restart #39 #Var: 6002 #Dec: 508597 LB: 0 @ 289.64
c Restart #40 #Var: 6002 #Dec: 516620 LB: 0 @ 315.54
c Restart #41 #Var: 6002 #Dec: 524838 LB: 0 @ 328.76
c Restart #42 #Var: 6002 #Dec: 533266 LB: 0 @ 344.29
c Restart #43 #Var: 6002 #Dec: 541892 LB: 0 @ 360.75
c Restart #44 #Var: 6002 #Dec: 550715 LB: 0 @ 378.17
c Restart #45 #Var: 6002 #Dec: 559734 LB: 0 @ 394
c Restart #46 #Var: 6002 #Dec: 568961 LB: 0 @ 410.69
c Restart #47 #Var: 6002 #Dec: 578380 LB: 0 @ 432.99
c Restart #48 #Var: 6002 #Dec: 588002 LB: 0 @ 451.58
c Restart #49 #Var: 6002 #Dec: 597820 LB: 0 @ 472.53
c Restart #50 #Var: 6002 #Dec: 607840 LB: 0 @ 493.33
c Restart #51 #Var: 6002 #Dec: 618069 LB: 0 @ 516.53
c Restart #52 #Var: 6002 #Dec: 628494 LB: 0 @ 538.17
c Restart #53 #Var: 6002 #Dec: 639109 LB: 0 @ 561.08
c Restart #54 #Var: 6002 #Dec: 649931 LB: 0 @ 590.5
c CHANGE Heuristic... 
c Restart #0 #Var: 6002 #Dec: 660959 LB: 0 @ 613.53
c Restart #1 #Var: 6002 #Dec: 662206 LB: 0 @ 615.65
c Restart #2 #Var: 6002 #Dec: 662642 LB: 0 @ 615.89
c Restart #3 #Var: 6002 #Dec: 663280 LB: 0 @ 616.27
c Restart #4 #Var: 6002 #Dec: 664113 LB: 0 @ 616.83
c Restart #5 #Var: 6002 #Dec: 665131 LB: 0 @ 617.44
c Restart #6 #Var: 6002 #Dec: 666346 LB: 0 @ 618.21
c Restart #7 #Var: 6002 #Dec: 667756 LB: 0 @ 619.26
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/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1795796804 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23359/statm): 107 3 90 68 0 39 0
[pid=23359] 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/wulflinc5/normalized-mps-v2-13-7-modglob.opb

[startup+10.0034 s]
Raw data (loadavg): 0.93 0.98 0.99 1/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) T 23358 23359 824 0 -1 0 7426 0 0 0 576 146 0 0 17 0 1 0 1795796804 33611776 7337 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/23359/statm): 8206 7337 1116 68 0 8138 0
[pid=23359] vsize: 32824
Current children cumulated CPU time (s) 7.22
Current children cumulated vsize (Kb) 32824

[startup+20.0072 s]
Raw data (loadavg): 0.94 0.98 0.99 1/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) T 23358 23359 824 0 -1 0 8004 0 0 0 1101 307 0 0 17 0 1 0 1795796804 36048896 7915 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/23359/statm): 8801 7915 1116 68 0 8733 0
[pid=23359] vsize: 35204
Current children cumulated CPU time (s) 14.08
Current children cumulated vsize (Kb) 35204

[startup+30.0079 s]
Raw data (loadavg): 0.95 0.98 0.99 1/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) T 23358 23359 824 0 -1 0 9129 0 0 0 1650 455 0 0 18 0 1 0 1795796804 40648704 9040 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/23359/statm): 9924 9040 1116 68 0 9856 0
[pid=23359] vsize: 39696
Current children cumulated CPU time (s) 21.05
Current children cumulated vsize (Kb) 39696

[startup+40.0077 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 13862 0 0 0 2497 513 0 0 25 0 1 0 1795796804 59977728 13773 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23359/statm): 14643 13773 1116 68 0 14575 0
[pid=23359] vsize: 58572
Current children cumulated CPU time (s) 30.1
Current children cumulated vsize (Kb) 58572

[startup+50.0084 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 20653 0 0 0 3426 550 0 0 25 0 1 0 1795796804 87826432 20564 4294967295 134512640 134736556 3221224560 3221223276 134554079 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23359/statm): 21442 20564 1116 68 0 21374 0
[pid=23359] vsize: 85768
Current children cumulated CPU time (s) 39.76
Current children cumulated vsize (Kb) 85768

[startup+60.0082 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 25271 0 0 0 4374 575 0 0 25 0 1 0 1795796804 106766336 25182 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23359/statm): 26066 25182 1116 68 0 25998 0
[pid=23359] vsize: 104264
Current children cumulated CPU time (s) 49.49
Current children cumulated vsize (Kb) 104264

[startup+70.0089 s]
Raw data (loadavg): 0.97 0.98 0.99 1/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) T 23358 23359 824 0 -1 0 30079 0 0 0 5323 600 0 0 25 0 1 0 1795796804 126517248 29985 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/23359/statm): 30888 29985 1116 68 0 30820 0
[pid=23359] vsize: 123552
Current children cumulated CPU time (s) 59.23
Current children cumulated vsize (Kb) 123552

[startup+80.0096 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 34210 0 0 0 6280 621 0 0 25 0 1 0 1795796804 143564800 34116 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23359/statm): 35050 34116 1116 68 0 34982 0
[pid=23359] vsize: 140200
Current children cumulated CPU time (s) 69.01
Current children cumulated vsize (Kb) 140200

[startup+90.0094 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 38024 0 0 0 7242 640 0 0 25 0 1 0 1795796804 159256576 37929 4294967295 134512640 134736556 3221224560 3221223152 134550999 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23359/statm): 38881 37929 1116 68 0 38813 0
[pid=23359] vsize: 155524
Current children cumulated CPU time (s) 78.82
Current children cumulated vsize (Kb) 155524

[startup+100.01 s]
Raw data (loadavg): 0.98 0.98 0.99 1/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) T 23358 23359 824 0 -1 0 42141 0 0 0 8199 662 0 0 25 0 1 0 1795796804 176160768 42044 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/23359/statm): 43008 42044 1116 68 0 42940 0
[pid=23359] vsize: 172032
Current children cumulated CPU time (s) 88.61
Current children cumulated vsize (Kb) 172032

[startup+110.011 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 46179 0 0 0 9157 684 0 0 25 0 1 0 1795796804 192909312 46071 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23359/statm): 47097 46071 1116 68 0 47029 0
[pid=23359] vsize: 188388
Current children cumulated CPU time (s) 98.41
Current children cumulated vsize (Kb) 188388

[startup+120.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 50308 0 0 0 10113 706 0 0 25 0 1 0 1795796804 209813504 50197 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23359/statm): 51224 50197 1116 68 0 51156 0
[pid=23359] vsize: 204896
Current children cumulated CPU time (s) 108.19
Current children cumulated vsize (Kb) 204896

[startup+130.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 54297 0 0 0 11070 728 0 0 25 0 1 0 1795796804 226197504 54184 4294967295 134512640 134736556 3221224560 3221222968 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23359/statm): 55224 54184 1116 68 0 55156 0
[pid=23359] vsize: 220896
Current children cumulated CPU time (s) 117.98
Current children cumulated vsize (Kb) 220896

[startup+140.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 58051 0 0 0 12033 746 0 0 25 0 1 0 1795796804 241512448 57935 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23359/statm): 58963 57935 1116 68 0 58895 0
[pid=23359] vsize: 235852
Current children cumulated CPU time (s) 127.79
Current children cumulated vsize (Kb) 235852

[startup+150.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 61871 0 0 0 12991 767 0 0 25 0 1 0 1795796804 257208320 61753 4294967295 134512640 134736556 3221224560 3221223120 134550999 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23359/statm): 62795 61753 1116 68 0 62727 0
[pid=23359] vsize: 251180
Current children cumulated CPU time (s) 137.58
Current children cumulated vsize (Kb) 251180

[startup+160.013 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) T 23358 23359 824 0 -1 0 65895 0 0 0 13949 788 0 0 25 0 1 0 1795796804 273727488 65774 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/23359/statm): 66828 65774 1116 68 0 66760 0
[pid=23359] vsize: 267312
Current children cumulated CPU time (s) 147.37
Current children cumulated vsize (Kb) 267312

[startup+170.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 69752 0 0 0 14909 809 0 0 25 0 1 0 1795796804 289599488 69627 4294967295 134512640 134736556 3221224560 3221223136 134550806 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23359/statm): 70703 69627 1116 68 0 70635 0
[pid=23359] vsize: 282812
Current children cumulated CPU time (s) 157.18
Current children cumulated vsize (Kb) 282812

[startup+180.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 73737 0 0 0 15865 833 0 0 25 0 1 0 1795796804 306130944 73593 4294967295 134512640 134736556 3221224560 3221223100 134536708 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23359/statm): 74739 73593 1116 68 0 74671 0
[pid=23359] vsize: 298956
Current children cumulated CPU time (s) 166.98
Current children cumulated vsize (Kb) 298956

[startup+190.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 77498 0 0 0 16826 854 0 0 25 0 1 0 1795796804 321404928 77354 4294967295 134512640 134736556 3221224560 3221223120 134551088 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23359/statm): 78468 77354 1116 68 0 78400 0
[pid=23359] vsize: 313872
Current children cumulated CPU time (s) 176.8
Current children cumulated vsize (Kb) 313872

[startup+200.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 81812 0 0 0 17785 875 0 0 25 0 1 0 1795796804 339206144 81660 4294967295 134512640 134736556 3221224560 3221223248 1076647545 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23359/statm): 82814 81660 1116 68 0 82746 0
[pid=23359] vsize: 331256
Current children cumulated CPU time (s) 186.6
Current children cumulated vsize (Kb) 331256

[startup+210.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 85505 0 0 0 18747 894 0 0 25 0 1 0 1795796804 354295808 85351 4294967295 134512640 134736556 3221224560 3221223216 134524877 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23359/statm): 86498 85351 1116 68 0 86430 0
[pid=23359] vsize: 345992
Current children cumulated CPU time (s) 196.41
Current children cumulated vsize (Kb) 345992

[startup+220.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 88827 0 0 0 19715 910 0 0 25 0 1 0 1795796804 368021504 88671 4294967295 134512640 134736556 3221224560 3221223056 134536168 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23359/statm): 89849 88671 1116 68 0 89781 0
[pid=23359] vsize: 359396
Current children cumulated CPU time (s) 206.25
Current children cumulated vsize (Kb) 359396

[startup+230.017 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) T 23358 23359 824 0 -1 0 92181 0 0 0 20681 929 0 0 25 0 1 0 1795796804 381964288 91997 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/23359/statm): 93253 91997 1116 68 0 93185 0
[pid=23359] vsize: 373012
Current children cumulated CPU time (s) 216.1
Current children cumulated vsize (Kb) 373012

[startup+240.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 95670 0 0 0 21644 946 0 0 25 0 1 0 1795796804 396320768 95485 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23359/statm): 96758 95485 1116 68 0 96690 0
[pid=23359] vsize: 387032
Current children cumulated CPU time (s) 225.9
Current children cumulated vsize (Kb) 387032

[startup+250.017 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) T 23358 23359 824 0 -1 0 99030 0 0 0 22608 964 0 0 25 0 1 0 1795796804 410021888 98841 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/23359/statm): 100103 98841 1116 68 0 100035 0
[pid=23359] vsize: 400412
Current children cumulated CPU time (s) 235.72
Current children cumulated vsize (Kb) 400412

[startup+260.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 102395 0 0 0 23574 980 0 0 25 0 1 0 1795796804 423747584 102205 4294967295 134512640 134736556 3221224560 3221223288 134605852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23359/statm): 103454 102205 1116 68 0 103386 0
[pid=23359] vsize: 413816
Current children cumulated CPU time (s) 245.54
Current children cumulated vsize (Kb) 413816

[startup+270.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 105829 0 0 0 24539 995 0 0 25 0 1 0 1795796804 437882880 105635 4294967295 134512640 134736556 3221224560 3221223056 134536168 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23359/statm): 106905 105635 1116 68 0 106837 0
[pid=23359] vsize: 427620
Current children cumulated CPU time (s) 255.34
Current children cumulated vsize (Kb) 427620

[startup+280.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) T 23358 23359 824 0 -1 0 107948 0 0 0 25517 1007 0 0 25 0 1 0 1795796804 446582784 107750 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/23359/statm): 109029 107750 1116 68 0 108961 0
[pid=23359] vsize: 436116
Current children cumulated CPU time (s) 265.24
Current children cumulated vsize (Kb) 436116

[startup+290.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 111786 0 0 0 26469 1030 0 0 25 0 1 0 1795796804 462495744 111582 4294967295 134512640 134736556 3221224560 3221223120 134551162 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23359/statm): 112914 111582 1116 68 0 112846 0
[pid=23359] vsize: 451656
Current children cumulated CPU time (s) 274.99
Current children cumulated vsize (Kb) 451656

[startup+300.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 115688 0 0 0 27428 1050 0 0 25 0 1 0 1795796804 478310400 115484 4294967295 134512640 134736556 3221224560 3221223084 134536384 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23359/statm): 116775 115484 1116 68 0 116707 0
[pid=23359] vsize: 467100
Current children cumulated CPU time (s) 284.78
Current children cumulated vsize (Kb) 467100

[startup+310.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 117467 0 0 0 28410 1060 0 0 25 0 1 0 1795796804 485736448 117263 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23359/statm): 118588 117263 1116 68 0 118520 0
[pid=23359] vsize: 474352
Current children cumulated CPU time (s) 294.7
Current children cumulated vsize (Kb) 474352

[startup+320.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 119095 0 0 0 29389 1071 0 0 25 0 1 0 1795796804 492425216 118882 4294967295 134512640 134736556 3221224560 3221223096 1077377374 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23359/statm): 120221 118882 1116 68 0 120153 0
[pid=23359] vsize: 480884
Current children cumulated CPU time (s) 304.6
Current children cumulated vsize (Kb) 480884

[startup+330.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 122257 0 0 0 30352 1090 0 0 25 0 1 0 1795796804 505401344 122044 4294967295 134512640 134736556 3221224560 3221223104 134550882 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23359/statm): 123389 122044 1116 68 0 123321 0
[pid=23359] vsize: 493556
Current children cumulated CPU time (s) 314.42
Current children cumulated vsize (Kb) 493556

[startup+340.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 126191 0 0 0 31314 1108 0 0 25 0 1 0 1795796804 521355264 125978 4294967295 134512640 134736556 3221224560 3221223284 134529176 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23359/statm): 127284 125978 1116 68 0 127216 0
[pid=23359] vsize: 509136
Current children cumulated CPU time (s) 324.22
Current children cumulated vsize (Kb) 509136

[startup+350.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 129793 0 0 0 32280 1126 0 0 25 0 1 0 1795796804 536219648 129568 4294967295 134512640 134736556 3221224560 3221223024 134536168 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23359/statm): 130913 129568 1116 68 0 130845 0
[pid=23359] vsize: 523652
Current children cumulated CPU time (s) 334.06
Current children cumulated vsize (Kb) 523652

[startup+360.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 134311 0 0 0 33237 1148 0 0 25 0 1 0 1795796804 554737664 134086 4294967295 134512640 134736556 3221224560 3221223280 134529509 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23359/statm): 135434 134086 1116 68 0 135366 0
[pid=23359] vsize: 541736
Current children cumulated CPU time (s) 343.85
Current children cumulated vsize (Kb) 541736

[startup+370.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 137500 0 0 0 34206 1165 0 0 25 0 1 0 1795796804 567668736 137193 4294967295 134512640 134736556 3221224560 3221223152 134716124 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23359/statm): 138591 137193 1116 68 0 138523 0
[pid=23359] vsize: 554364
Current children cumulated CPU time (s) 353.71
Current children cumulated vsize (Kb) 554364

[startup+380.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 141310 0 0 0 35166 1184 0 0 25 0 1 0 1795796804 583233536 140914 4294967295 134512640 134736556 3221224560 3221223296 134529265 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23359/statm): 142391 140914 1116 68 0 142323 0
[pid=23359] vsize: 569564
Current children cumulated CPU time (s) 363.5
Current children cumulated vsize (Kb) 569564

[startup+390.022 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) T 23358 23359 824 0 -1 0 144982 0 0 0 36127 1203 0 0 25 0 1 0 1795796804 598405120 144586 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/23359/statm): 146095 144586 1116 68 0 146027 0
[pid=23359] vsize: 584380
Current children cumulated CPU time (s) 373.3
Current children cumulated vsize (Kb) 584380

[startup+400.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 148789 0 0 0 37087 1223 0 0 25 0 1 0 1795796804 613953536 148393 4294967295 134512640 134736556 3221224560 3221223184 134634278 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23359/statm): 149891 148393 1116 68 0 149823 0
[pid=23359] vsize: 599564
Current children cumulated CPU time (s) 383.1
Current children cumulated vsize (Kb) 599564

[startup+410.022 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) T 23358 23359 824 0 -1 0 152976 0 0 0 38043 1246 0 0 18 0 1 0 1795796804 631185408 152571 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/23359/statm): 154098 152571 1116 68 0 154030 0
[pid=23359] vsize: 616392
Current children cumulated CPU time (s) 392.89
Current children cumulated vsize (Kb) 616392

[startup+420.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 156916 0 0 0 39004 1266 0 0 25 0 1 0 1795796804 647200768 156502 4294967295 134512640 134736556 3221224560 3221223232 134528714 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23359/statm): 158008 156502 1116 68 0 157940 0
[pid=23359] vsize: 632032
Current children cumulated CPU time (s) 402.7
Current children cumulated vsize (Kb) 632032

[startup+430.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 159985 0 0 0 39972 1282 0 0 25 0 1 0 1795796804 659718144 159489 4294967295 134512640 134736556 3221224560 3221223232 134528659 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23359/statm): 161064 159489 1116 68 0 160996 0
[pid=23359] vsize: 644256
Current children cumulated CPU time (s) 412.54
Current children cumulated vsize (Kb) 644256

[startup+440.023 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) T 23358 23359 824 0 -1 0 162697 0 0 0 40944 1296 0 0 25 0 1 0 1795796804 670851072 162197 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/23359/statm): 163782 162197 1116 68 0 163714 0
[pid=23359] vsize: 655128
Current children cumulated CPU time (s) 422.4
Current children cumulated vsize (Kb) 655128

[startup+450.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 166455 0 0 0 41904 1316 0 0 25 0 1 0 1795796804 686260224 165955 4294967295 134512640 134736556 3221224560 3221223200 134608199 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23359/statm): 167544 165955 1116 68 0 167476 0
[pid=23359] vsize: 670176
Current children cumulated CPU time (s) 432.2
Current children cumulated vsize (Kb) 670176

[startup+460.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 169674 0 0 0 42867 1334 0 0 25 0 1 0 1795796804 699502592 169167 4294967295 134512640 134736556 3221224560 3221223204 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23359/statm): 170777 169167 1116 68 0 170709 0
[pid=23359] vsize: 683108
Current children cumulated CPU time (s) 442.01
Current children cumulated vsize (Kb) 683108

[startup+470.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 172671 0 0 0 43834 1349 0 0 25 0 1 0 1795796804 711860224 172164 4294967295 134512640 134736556 3221224560 3221223216 134537350 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23359/statm): 173794 172164 1116 68 0 173726 0
[pid=23359] vsize: 695176
Current children cumulated CPU time (s) 451.83
Current children cumulated vsize (Kb) 695176

[startup+480.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 175257 0 0 0 44807 1361 0 0 25 0 1 0 1795796804 722403328 174750 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23359/statm): 176368 174750 1116 68 0 176300 0
[pid=23359] vsize: 705472
Current children cumulated CPU time (s) 461.68
Current children cumulated vsize (Kb) 705472

[startup+490.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 179327 0 0 0 45766 1381 0 0 25 0 1 0 1795796804 739028992 178820 4294967295 134512640 134736556 3221224560 3221223152 134551097 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23359/statm): 180427 178820 1116 68 0 180359 0
[pid=23359] vsize: 721708
Current children cumulated CPU time (s) 471.47
Current children cumulated vsize (Kb) 721708

[startup+500.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 182715 0 0 0 46732 1400 0 0 25 0 1 0 1795796804 753217536 182196 4294967295 134512640 134736556 3221224560 3221223296 134529155 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23359/statm): 183891 182196 1116 68 0 183823 0
[pid=23359] vsize: 735564
Current children cumulated CPU time (s) 481.32
Current children cumulated vsize (Kb) 735564

[startup+510.027 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) T 23358 23359 824 0 -1 0 186037 0 0 0 47697 1416 0 0 25 0 1 0 1795796804 766734336 185518 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/23359/statm): 187191 185518 1116 68 0 187123 0
[pid=23359] vsize: 748764
Current children cumulated CPU time (s) 491.13
Current children cumulated vsize (Kb) 748764

[startup+520.029 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) T 23358 23359 824 0 -1 0 188815 0 0 0 48668 1432 0 0 25 0 1 0 1795796804 778129408 188296 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/23359/statm): 189973 188296 1116 68 0 189905 0
[pid=23359] vsize: 759892
Current children cumulated CPU time (s) 501
Current children cumulated vsize (Kb) 759892

[startup+530.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 192114 0 0 0 49632 1451 0 0 25 0 1 0 1795796804 791711744 191595 4294967295 134512640 134736556 3221224560 3221223232 134528744 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23359/statm): 193289 191595 1116 68 0 193221 0
[pid=23359] vsize: 773156
Current children cumulated CPU time (s) 510.83
Current children cumulated vsize (Kb) 773156

[startup+540.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 194788 0 0 0 50604 1465 0 0 25 0 1 0 1795796804 802689024 194266 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23359/statm): 195969 194266 1116 68 0 195901 0
[pid=23359] vsize: 783876
Current children cumulated CPU time (s) 520.69
Current children cumulated vsize (Kb) 783876

[startup+550.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 198621 0 0 0 51562 1487 0 0 25 0 1 0 1795796804 818372608 198099 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23359/statm): 199798 198099 1116 68 0 199730 0
[pid=23359] vsize: 799192
Current children cumulated CPU time (s) 530.49
Current children cumulated vsize (Kb) 799192

[startup+560.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 201799 0 0 0 52531 1502 0 0 25 0 1 0 1795796804 831537152 201185 4294967295 134512640 134736556 3221224560 3221223296 134529337 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23359/statm): 203012 201185 1116 68 0 202944 0
[pid=23359] vsize: 812048
Current children cumulated CPU time (s) 540.33
Current children cumulated vsize (Kb) 812048

[startup+570.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 205328 0 0 0 53496 1518 0 0 25 0 1 0 1795796804 846000128 204714 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23359/statm): 206543 204714 1116 68 0 206475 0
[pid=23359] vsize: 826172
Current children cumulated CPU time (s) 550.14
Current children cumulated vsize (Kb) 826172

[startup+580.031 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) T 23358 23359 824 0 -1 0 208631 0 0 0 54460 1536 0 0 25 0 1 0 1795796804 859516928 208017 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/23359/statm): 209843 208017 1116 68 0 209775 0
[pid=23359] vsize: 839372
Current children cumulated CPU time (s) 559.96
Current children cumulated vsize (Kb) 839372

[startup+590.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 210243 0 0 0 55446 1543 0 0 25 0 1 0 1795796804 865951744 209538 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23359/statm): 211414 209538 1116 68 0 211346 0
[pid=23359] vsize: 845656
Current children cumulated CPU time (s) 569.89
Current children cumulated vsize (Kb) 845656

[startup+600.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 212667 0 0 0 56420 1556 0 0 25 0 1 0 1795796804 875819008 211961 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23359/statm): 213823 211961 1116 68 0 213755 0
[pid=23359] vsize: 855292
Current children cumulated CPU time (s) 579.76
Current children cumulated vsize (Kb) 855292

[startup+610.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 216656 0 0 0 57379 1575 0 0 25 0 1 0 1795796804 892104704 215946 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23359/statm): 217799 215946 1116 68 0 217731 0
[pid=23359] vsize: 871196
Current children cumulated CPU time (s) 589.54
Current children cumulated vsize (Kb) 871196

[startup+620.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 219085 0 0 0 58354 1586 0 0 18 0 1 0 1795796804 902307840 218365 4294967295 134512640 134736556 3221224560 3221223116 134536391 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23359/statm): 220290 218365 1116 68 0 220222 0
[pid=23359] vsize: 881160
Current children cumulated CPU time (s) 599.4
Current children cumulated vsize (Kb) 881160

[startup+630.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) R 23358 23359 824 0 -1 0 223070 0 0 0 59314 1606 0 0 25 0 1 0 1795796804 918663168 222350 4294967295 134512640 134736556 3221224560 3221223136 134550865 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23359/statm): 224283 222350 1116 68 0 224215 0
[pid=23359] vsize: 897132
Current children cumulated CPU time (s) 609.2
Current children cumulated vsize (Kb) 897132

[startup+640.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) T 23358 23359 824 0 -1 0 228116 0 0 0 60256 1634 0 0 25 0 1 0 1795796804 939208704 227396 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/23359/statm): 229299 227396 1116 68 0 229231 0
[pid=23359] vsize: 917196
Current children cumulated CPU time (s) 618.9
Current children cumulated vsize (Kb) 917196



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+641.333 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 23359
Raw data (/proc/23359/stat): 23359 (bsolo) T 23358 23359 824 0 -1 0 229215 0 0 0 60373 1642 0 0 25 0 1 0 1795796804 943804416 228495 4294967295 134512640 134736556 3221224560 3221223020 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/23359/statm): 230421 228495 1116 68 0 230353 0
[pid=23359] vsize: 921684
Current children cumulated CPU time (s) 620.15
Current children cumulated vsize (Kb) 921684

Sending SIGTERM to -23359
Sleeping 2 seconds
Sending SIGKILL to -23359
One traced child (pid=23359) 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): 643.761
CPU time (s): 620.582
CPU user time (s): 603.732
CPU system time (s): 16.8494
CPU usage (%): 96.3994
Max. virtual memory (cumulated for all children) (Kb): 921684

Verifier Data

ERROR: no interpretation found !