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/miplib/normalized-mps-v2-13-7-modglob.opb
MD5SUM6a1cb641fd0d264267e84120b98acbe3
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 5136

Launcher Data

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        886416 kB
Buffers:         36472 kB
Cached:          81016 kB
SwapCached:        764 kB
Active:          56008 kB
Inactive:        64952 kB
HighTotal:      131008 kB
HighFree:        50036 kB
LowTotal:       903652 kB
LowFree:        836380 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5716 kB
Slab:            21792 kB
Committed_AS:    64268 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 23:01:39 (client local time) WITH STATUS 0 IN 624.175 SECONDS
stats: 910 7 624.175 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.911
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.073
c Restart #2 #Var: 6002 #Dec: 64430 LB: 0 @ 5.48
c Restart #3 #Var: 6002 #Dec: 149985 LB: 0 @ 10.107
c Restart #4 #Var: 6002 #Dec: 247534 LB: 0 @ 15.582
c Restart #5 #Var: 6002 #Dec: 304945 LB: 0 @ 19.171
c Restart #6 #Var: 6002 #Dec: 342955 LB: 0 @ 22.435
c Restart #7 #Var: 6002 #Dec: 357478 LB: 0 @ 24.836
c Restart #8 #Var: 6002 #Dec: 359117 LB: 0 @ 26.597
c Restart #9 #Var: 6002 #Dec: 360956 LB: 0 @ 29.066
c Restart #10 #Var: 6002 #Dec: 362987 LB: 0 @ 31.052
c Restart #11 #Var: 6002 #Dec: 365212 LB: 0 @ 32.599
c Restart #12 #Var: 6002 #Dec: 367625 LB: 0 @ 35.045
c Restart #13 #Var: 6002 #Dec: 370240 LB: 0 @ 37.905
c Restart #14 #Var: 6002 #Dec: 373068 LB: 0 @ 41.991
c Restart #15 #Var: 6002 #Dec: 376088 LB: 0 @ 46.437
c Restart #16 #Var: 6002 #Dec: 379302 LB: 0 @ 51.146
c Restart #17 #Var: 6002 #Dec: 382715 LB: 0 @ 56.173
c Restart #18 #Var: 6002 #Dec: 386336 LB: 0 @ 61.538
c Restart #19 #Var: 6002 #Dec: 390150 LB: 0 @ 68.06
c Restart #20 #Var: 6002 #Dec: 394173 LB: 0 @ 75.27
c Restart #21 #Var: 6002 #Dec: 398397 LB: 0 @ 82.709
c Restart #22 #Var: 6002 #Dec: 402820 LB: 0 @ 90.156
c Restart #23 #Var: 6002 #Dec: 407442 LB: 0 @ 98.357
c Restart #24 #Var: 6002 #Dec: 412268 LB: 0 @ 106.47
c Restart #25 #Var: 6002 #Dec: 417291 LB: 0 @ 115.16
c Restart #26 #Var: 6002 #Dec: 422512 LB: 0 @ 124.77
c Restart #27 #Var: 6002 #Dec: 427936 LB: 0 @ 134.7
c Restart #28 #Var: 6002 #Dec: 433559 LB: 0 @ 144.05
c Restart #29 #Var: 6002 #Dec: 439384 LB: 0 @ 154.82
c Restart #30 #Var: 6002 #Dec: 445407 LB: 0 @ 165
c Restart #31 #Var: 6002 #Dec: 451631 LB: 0 @ 176.8
c Restart #32 #Var: 6002 #Dec: 458053 LB: 0 @ 187.7
c Restart #33 #Var: 6002 #Dec: 464673 LB: 0 @ 199.75
c Restart #34 #Var: 6002 #Dec: 471493 LB: 0 @ 213.05
c Restart #35 #Var: 6002 #Dec: 478519 LB: 0 @ 229.78
c Restart #36 #Var: 6002 #Dec: 485740 LB: 0 @ 242.57
c Restart #37 #Var: 6002 #Dec: 493163 LB: 0 @ 259.12
c Restart #38 #Var: 6002 #Dec: 500786 LB: 0 @ 275.76
c Restart #39 #Var: 6002 #Dec: 508597 LB: 0 @ 290.81
c Restart #40 #Var: 6002 #Dec: 516620 LB: 0 @ 316.92
c Restart #41 #Var: 6002 #Dec: 524838 LB: 0 @ 330.27
c Restart #42 #Var: 6002 #Dec: 533266 LB: 0 @ 345.85
c Restart #43 #Var: 6002 #Dec: 541892 LB: 0 @ 362.4
c Restart #44 #Var: 6002 #Dec: 550715 LB: 0 @ 380.07
c Restart #45 #Var: 6002 #Dec: 559734 LB: 0 @ 395.96
c Restart #46 #Var: 6002 #Dec: 568961 LB: 0 @ 412.72
c Restart #47 #Var: 6002 #Dec: 578380 LB: 0 @ 435.22
c Restart #48 #Var: 6002 #Dec: 588002 LB: 0 @ 453.88
c Restart #49 #Var: 6002 #Dec: 597820 LB: 0 @ 474.82
c Restart #50 #Var: 6002 #Dec: 607840 LB: 0 @ 495.69
c Restart #51 #Var: 6002 #Dec: 618069 LB: 0 @ 519.11
c Restart #52 #Var: 6002 #Dec: 628494 LB: 0 @ 541
c Restart #53 #Var: 6002 #Dec: 639109 LB: 0 @ 564.07
c Restart #54 #Var: 6002 #Dec: 649931 LB: 0 @ 593.81
c CHANGE Heuristic... 
c Restart #0 #Var: 6002 #Dec: 660959 LB: 0 @ 617.03
c Restart #1 #Var: 6002 #Dec: 662206 LB: 0 @ 619.18
c Restart #2 #Var: 6002 #Dec: 662642 LB: 0 @ 619.43
c Restart #3 #Var: 6002 #Dec: 663280 LB: 0 @ 619.82
c Restart #4 #Var: 6002 #Dec: 664113 LB: 0 @ 620.38
c Restart #5 #Var: 6002 #Dec: 665131 LB: 0 @ 621.01
c Restart #6 #Var: 6002 #Dec: 666346 LB: 0 @ 621.8
c Restart #7 #Var: 6002 #Dec: 667756 LB: 0 @ 622.86
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/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1853619839 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 107 3 90 68 0 39 0
[pid=26651] 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/wulflinc30/normalized-mps-v2-13-7-modglob.opb

[startup+10.0033 s]
Raw data (loadavg): 1.16 1.03 1.01 1/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) T 26650 26651 5245 0 -1 0 7438 0 0 0 589 144 0 0 17 0 1 0 1853619839 33746944 7349 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/26651/statm): 8239 7349 1116 68 0 8171 0
[pid=26651] vsize: 32956
Current children cumulated CPU time (s) 7.33
Current children cumulated vsize (Kb) 32956

[startup+20.0041 s]
Raw data (loadavg): 1.14 1.03 1.01 1/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) T 26650 26651 5245 0 -1 0 8029 0 0 0 1111 302 0 0 15 0 1 0 1853619839 36184064 7940 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/26651/statm): 8834 7940 1116 68 0 8766 0
[pid=26651] vsize: 35336
Current children cumulated CPU time (s) 14.13
Current children cumulated vsize (Kb) 35336

[startup+30.0049 s]
Raw data (loadavg): 1.12 1.03 1.01 1/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) T 26650 26651 5245 0 -1 0 9183 0 0 0 1668 447 0 0 16 0 1 0 1853619839 40919040 9094 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/26651/statm): 9990 9094 1116 68 0 9922 0
[pid=26651] vsize: 39960
Current children cumulated CPU time (s) 21.15
Current children cumulated vsize (Kb) 39960

[startup+40.0057 s]
Raw data (loadavg): 1.10 1.03 1.01 1/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) T 26650 26651 5245 0 -1 0 14105 0 0 0 2545 496 0 0 17 0 1 0 1853619839 61059072 14016 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/26651/statm): 14907 14016 1116 68 0 14839 0
[pid=26651] vsize: 59628
Current children cumulated CPU time (s) 30.41
Current children cumulated vsize (Kb) 59628

[startup+50.0065 s]
Raw data (loadavg): 1.08 1.03 1.01 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 20867 0 0 0 3477 530 0 0 24 0 1 0 1853619839 88772608 20778 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 21673 20778 1116 68 0 21605 0
[pid=26651] vsize: 86692
Current children cumulated CPU time (s) 40.07
Current children cumulated vsize (Kb) 86692

[startup+60.0073 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 25503 0 0 0 4431 555 0 0 25 0 1 0 1853619839 107724800 25413 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 26300 25413 1116 68 0 26232 0
[pid=26651] vsize: 105200
Current children cumulated CPU time (s) 49.86
Current children cumulated vsize (Kb) 105200

[startup+70.0081 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 30410 0 0 0 5385 578 0 0 21 0 1 0 1853619839 127868928 30316 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 31218 30316 1116 68 0 31150 0
[pid=26651] vsize: 124872
Current children cumulated CPU time (s) 59.63
Current children cumulated vsize (Kb) 124872

[startup+80.0089 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 34417 0 0 0 6342 601 0 0 25 0 1 0 1853619839 144379904 34323 4294967295 134512640 134736556 3221224560 3221223056 134536153 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 35249 34323 1116 68 0 35181 0
[pid=26651] vsize: 140996
Current children cumulated CPU time (s) 69.43
Current children cumulated vsize (Kb) 140996

[startup+90.0097 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 38245 0 0 0 7303 620 0 0 25 0 1 0 1853619839 160206848 38150 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 39113 38150 1116 68 0 39045 0
[pid=26651] vsize: 156452
Current children cumulated CPU time (s) 79.23
Current children cumulated vsize (Kb) 156452

[startup+100.009 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 42363 0 0 0 8258 645 0 0 22 0 1 0 1853619839 177106944 42266 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 43239 42266 1116 68 0 43171 0
[pid=26651] vsize: 172956
Current children cumulated CPU time (s) 89.03
Current children cumulated vsize (Kb) 172956

[startup+110.012 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) T 26650 26651 5245 0 -1 0 46238 0 0 0 9214 666 0 0 25 0 1 0 1853619839 193044480 46130 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/26651/statm): 47130 46130 1116 68 0 47062 0
[pid=26651] vsize: 188520
Current children cumulated CPU time (s) 98.8
Current children cumulated vsize (Kb) 188520

[startup+120.013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 50370 0 0 0 10173 689 0 0 25 0 1 0 1853619839 209948672 50259 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 51257 50259 1116 68 0 51189 0
[pid=26651] vsize: 205028
Current children cumulated CPU time (s) 108.62
Current children cumulated vsize (Kb) 205028

[startup+130.013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 54309 0 0 0 11135 706 0 0 25 0 1 0 1853619839 226197504 54196 4294967295 134512640 134736556 3221224560 3221223204 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 55224 54196 1116 68 0 55156 0
[pid=26651] vsize: 220896
Current children cumulated CPU time (s) 118.41
Current children cumulated vsize (Kb) 220896

[startup+140.014 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) T 26650 26651 5245 0 -1 0 58052 0 0 0 12099 724 0 0 25 0 1 0 1853619839 241512448 57936 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/26651/statm): 58963 57936 1116 68 0 58895 0
[pid=26651] vsize: 235852
Current children cumulated CPU time (s) 128.23
Current children cumulated vsize (Kb) 235852

[startup+150.014 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 61880 0 0 0 13062 742 0 0 17 0 1 0 1853619839 257208320 61762 4294967295 134512640 134736556 3221224560 3221223164 134537483 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 62795 61762 1116 68 0 62727 0
[pid=26651] vsize: 251180
Current children cumulated CPU time (s) 138.04
Current children cumulated vsize (Kb) 251180

[startup+160.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 65924 0 0 0 14021 763 0 0 17 0 1 0 1853619839 273862656 65803 4294967295 134512640 134736556 3221224560 3221223012 134717287 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 66861 65803 1116 68 0 66793 0
[pid=26651] vsize: 267444
Current children cumulated CPU time (s) 147.84
Current children cumulated vsize (Kb) 267444

[startup+170.016 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 69820 0 0 0 14983 783 0 0 25 0 1 0 1853619839 289869824 69695 4294967295 134512640 134736556 3221224560 3221223344 134602814 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 70769 69695 1116 68 0 70701 0
[pid=26651] vsize: 283076
Current children cumulated CPU time (s) 157.66
Current children cumulated vsize (Kb) 283076

[startup+180.017 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 73803 0 0 0 15942 804 0 0 25 0 1 0 1853619839 306401280 73659 4294967295 134512640 134736556 3221224560 3221223024 134536153 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 74805 73659 1116 68 0 74737 0
[pid=26651] vsize: 299220
Current children cumulated CPU time (s) 167.46
Current children cumulated vsize (Kb) 299220

[startup+190.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 77505 0 0 0 16907 821 0 0 25 0 1 0 1853619839 321540096 77361 4294967295 134512640 134736556 3221224560 3221223296 134529232 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 78501 77361 1116 68 0 78433 0
[pid=26651] vsize: 314004
Current children cumulated CPU time (s) 177.28
Current children cumulated vsize (Kb) 314004

[startup+200.018 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) T 26650 26651 5245 0 -1 0 81799 0 0 0 17865 842 0 0 25 0 1 0 1853619839 339070976 81647 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/26651/statm): 82781 81647 1116 68 0 82713 0
[pid=26651] vsize: 331124
Current children cumulated CPU time (s) 187.07
Current children cumulated vsize (Kb) 331124

[startup+210.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 85504 0 0 0 18828 861 0 0 25 0 1 0 1853619839 354295808 85350 4294967295 134512640 134736556 3221224560 3221223248 134524332 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 86498 85350 1116 68 0 86430 0
[pid=26651] vsize: 345992
Current children cumulated CPU time (s) 196.89
Current children cumulated vsize (Kb) 345992

[startup+220.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 88740 0 0 0 19795 878 0 0 25 0 1 0 1853619839 367751168 88584 4294967295 134512640 134736556 3221224560 3221223120 134543161 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 89783 88584 1116 68 0 89715 0
[pid=26651] vsize: 359132
Current children cumulated CPU time (s) 206.73
Current children cumulated vsize (Kb) 359132

[startup+230.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 92078 0 0 0 20763 895 0 0 25 0 1 0 1853619839 381558784 91894 4294967295 134512640 134736556 3221224560 3221223064 134634645 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 93154 91894 1116 68 0 93086 0
[pid=26651] vsize: 372616
Current children cumulated CPU time (s) 216.58
Current children cumulated vsize (Kb) 372616

[startup+240.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 95498 0 0 0 21726 913 0 0 25 0 1 0 1853619839 395644928 95313 4294967295 134512640 134736556 3221224560 3221223164 134554100 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 96593 95313 1116 68 0 96525 0
[pid=26651] vsize: 386372
Current children cumulated CPU time (s) 226.39
Current children cumulated vsize (Kb) 386372

[startup+250.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 98766 0 0 0 22691 930 0 0 25 0 1 0 1853619839 408940544 98577 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 99839 98577 1116 68 0 99771 0
[pid=26651] vsize: 399356
Current children cumulated CPU time (s) 236.21
Current children cumulated vsize (Kb) 399356

[startup+260.022 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) T 26650 26651 5245 0 -1 0 102233 0 0 0 23662 946 0 0 25 0 1 0 1853619839 423206912 102043 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/26651/statm): 103322 102043 1116 68 0 103254 0
[pid=26651] vsize: 413288
Current children cumulated CPU time (s) 246.08
Current children cumulated vsize (Kb) 413288

[startup+270.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 105607 0 0 0 24628 963 0 0 25 0 1 0 1853619839 436936704 105413 4294967295 134512640 134736556 3221224560 3221223024 134536168 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 106674 105413 1116 68 0 106606 0
[pid=26651] vsize: 426696
Current children cumulated CPU time (s) 255.91
Current children cumulated vsize (Kb) 426696

[startup+280.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 107701 0 0 0 25606 974 0 0 25 0 1 0 1853619839 445501440 107503 4294967295 134512640 134736556 3221224560 3221223296 134529232 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 108765 107503 1116 68 0 108697 0
[pid=26651] vsize: 435060
Current children cumulated CPU time (s) 265.8
Current children cumulated vsize (Kb) 435060

[startup+290.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 111712 0 0 0 26562 994 0 0 25 0 1 0 1853619839 461991936 111514 4294967295 134512640 134736556 3221224560 3221223232 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 112791 111514 1116 68 0 112723 0
[pid=26651] vsize: 451164
Current children cumulated CPU time (s) 275.56
Current children cumulated vsize (Kb) 451164

[startup+300.024 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 115490 0 0 0 27522 1015 0 0 25 0 1 0 1853619839 477499392 115286 4294967295 134512640 134736556 3221224560 3221223152 134716180 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 116577 115286 1116 68 0 116509 0
[pid=26651] vsize: 466308
Current children cumulated CPU time (s) 285.37
Current children cumulated vsize (Kb) 466308

[startup+310.025 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 117437 0 0 0 28500 1026 0 0 25 0 1 0 1853619839 485601280 117233 4294967295 134512640 134736556 3221224560 3221223164 134537548 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 118555 117233 1116 68 0 118487 0
[pid=26651] vsize: 474220
Current children cumulated CPU time (s) 295.26
Current children cumulated vsize (Kb) 474220

[startup+320.026 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 118819 0 0 0 29483 1034 0 0 25 0 1 0 1853619839 491343872 118606 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 119957 118606 1116 68 0 119889 0
[pid=26651] vsize: 479828
Current children cumulated CPU time (s) 305.17
Current children cumulated vsize (Kb) 479828

[startup+330.027 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 122030 0 0 0 30446 1053 0 0 25 0 1 0 1853619839 504455168 121817 4294967295 134512640 134736556 3221224560 3221223024 134536162 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 123158 121817 1116 68 0 123090 0
[pid=26651] vsize: 492632
Current children cumulated CPU time (s) 314.99
Current children cumulated vsize (Kb) 492632

[startup+340.028 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 125736 0 0 0 31406 1074 0 0 25 0 1 0 1853619839 519598080 125523 4294967295 134512640 134736556 3221224560 3221223204 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 126855 125523 1116 68 0 126787 0
[pid=26651] vsize: 507420
Current children cumulated CPU time (s) 324.8
Current children cumulated vsize (Kb) 507420

[startup+350.027 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 129415 0 0 0 32368 1093 0 0 25 0 1 0 1853619839 534667264 129196 4294967295 134512640 134736556 3221224560 3221223296 134605558 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 130534 129196 1116 68 0 130466 0
[pid=26651] vsize: 522136
Current children cumulated CPU time (s) 334.61
Current children cumulated vsize (Kb) 522136

[startup+360.028 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 133902 0 0 0 33316 1121 0 0 25 0 1 0 1853619839 553115648 133677 4294967295 134512640 134736556 3221224560 3221223024 134536168 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 135038 133677 1116 68 0 134970 0
[pid=26651] vsize: 540152
Current children cumulated CPU time (s) 344.37
Current children cumulated vsize (Kb) 540152

[startup+370.029 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 136974 0 0 0 34285 1134 0 0 25 0 1 0 1853619839 565583872 136749 4294967295 134512640 134736556 3221224560 3221223056 134535752 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 138082 136749 1116 68 0 138014 0
[pid=26651] vsize: 552328
Current children cumulated CPU time (s) 354.19
Current children cumulated vsize (Kb) 552328

[startup+380.029 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 140983 0 0 0 35245 1154 0 0 25 0 1 0 1853619839 582017024 140587 4294967295 134512640 134736556 3221224560 3221223136 134716298 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 142094 140587 1116 68 0 142026 0
[pid=26651] vsize: 568376
Current children cumulated CPU time (s) 363.99
Current children cumulated vsize (Kb) 568376

[startup+390.03 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 144637 0 0 0 36205 1174 0 0 25 0 1 0 1853619839 596889600 144241 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 145725 144241 1116 68 0 145657 0
[pid=26651] vsize: 582900
Current children cumulated CPU time (s) 373.79
Current children cumulated vsize (Kb) 582900

[startup+400.03 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 148105 0 0 0 37167 1194 0 0 25 0 1 0 1853619839 611115008 147709 4294967295 134512640 134736556 3221224560 3221223024 134536168 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 149198 147709 1116 68 0 149130 0
[pid=26651] vsize: 596792
Current children cumulated CPU time (s) 383.61
Current children cumulated vsize (Kb) 596792

[startup+410.031 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 152294 0 0 0 38129 1212 0 0 25 0 1 0 1853619839 628346880 151889 4294967295 134512640 134736556 3221224560 3221223116 134536696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 153405 151889 1116 68 0 153337 0
[pid=26651] vsize: 613620
Current children cumulated CPU time (s) 393.41
Current children cumulated vsize (Kb) 613620

[startup+420.032 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 156081 0 0 0 39089 1231 0 0 25 0 1 0 1853619839 643821568 155667 4294967295 134512640 134736556 3221224560 3221223288 134529467 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 157183 155667 1116 68 0 157115 0
[pid=26651] vsize: 628732
Current children cumulated CPU time (s) 403.2
Current children cumulated vsize (Kb) 628732

[startup+430.033 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 159924 0 0 0 40052 1251 0 0 25 0 1 0 1853619839 659582976 159428 4294967295 134512640 134736556 3221224560 3221223056 134536111 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 161031 159428 1116 68 0 160963 0
[pid=26651] vsize: 644124
Current children cumulated CPU time (s) 413.03
Current children cumulated vsize (Kb) 644124

[startup+440.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 162109 0 0 0 41029 1263 0 0 25 0 1 0 1853619839 668418048 161609 4294967295 134512640 134736556 3221224560 3221223232 134528659 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 163188 161609 1116 68 0 163120 0
[pid=26651] vsize: 652752
Current children cumulated CPU time (s) 422.92
Current children cumulated vsize (Kb) 652752

[startup+450.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 165746 0 0 0 41991 1283 0 0 17 0 1 0 1853619839 683286528 165246 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 166818 165246 1116 68 0 166750 0
[pid=26651] vsize: 667272
Current children cumulated CPU time (s) 432.74
Current children cumulated vsize (Kb) 667272

[startup+460.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 169074 0 0 0 42949 1302 0 0 25 0 1 0 1853619839 697069568 168567 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26651/statm): 170183 168567 1116 68 0 170115 0
[pid=26651] vsize: 680732
Current children cumulated CPU time (s) 442.51
Current children cumulated vsize (Kb) 680732

[startup+470.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 172415 0 0 0 43914 1319 0 0 25 0 1 0 1853619839 710721536 171908 4294967295 134512640 134736556 3221224560 3221223136 134543195 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26651/statm): 173516 171908 1116 68 0 173448 0
[pid=26651] vsize: 694064
Current children cumulated CPU time (s) 452.33
Current children cumulated vsize (Kb) 694064

[startup+480.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 174983 0 0 0 44887 1332 0 0 25 0 1 0 1853619839 721321984 174476 4294967295 134512640 134736556 3221224560 3221223160 134554109 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 176104 174476 1116 68 0 176036 0
[pid=26651] vsize: 704416
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (Kb) 704416

[startup+490.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 178437 0 0 0 45849 1350 0 0 25 0 1 0 1853619839 735379456 177930 4294967295 134512640 134736556 3221224560 3221223100 134536274 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 179536 177930 1116 68 0 179468 0
[pid=26651] vsize: 718144
Current children cumulated CPU time (s) 471.99
Current children cumulated vsize (Kb) 718144

[startup+500.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 181887 0 0 0 46814 1368 0 0 25 0 1 0 1853619839 749838336 181368 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 183066 181368 1116 68 0 182998 0
[pid=26651] vsize: 732264
Current children cumulated CPU time (s) 481.82
Current children cumulated vsize (Kb) 732264

[startup+510.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 185425 0 0 0 47777 1389 0 0 25 0 1 0 1853619839 764301312 184906 4294967295 134512640 134736556 3221224560 3221223280 134529373 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 186597 184906 1116 68 0 186529 0
[pid=26651] vsize: 746388
Current children cumulated CPU time (s) 491.66
Current children cumulated vsize (Kb) 746388

[startup+520.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 187975 0 0 0 48750 1402 0 0 25 0 1 0 1853619839 774750208 187456 4294967295 134512640 134736556 3221224560 3221223216 134536532 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 189148 187456 1116 68 0 189080 0
[pid=26651] vsize: 756592
Current children cumulated CPU time (s) 501.52
Current children cumulated vsize (Kb) 756592

[startup+530.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 191649 0 0 0 49715 1419 0 0 25 0 1 0 1853619839 789819392 191130 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26651/statm): 192827 191130 1116 68 0 192759 0
[pid=26651] vsize: 771308
Current children cumulated CPU time (s) 511.34
Current children cumulated vsize (Kb) 771308

[startup+540.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 194049 0 0 0 50691 1431 0 0 25 0 1 0 1853619839 799715328 193527 4294967295 134512640 134736556 3221224560 3221223220 134528665 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 195243 193527 1116 68 0 195175 0
[pid=26651] vsize: 780972
Current children cumulated CPU time (s) 521.22
Current children cumulated vsize (Kb) 780972

[startup+550.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 197543 0 0 0 51656 1448 0 0 25 0 1 0 1853619839 813912064 197021 4294967295 134512640 134736556 3221224560 3221223256 134554006 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 198709 197021 1116 68 0 198641 0
[pid=26651] vsize: 794836
Current children cumulated CPU time (s) 531.04
Current children cumulated vsize (Kb) 794836

[startup+560.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 201251 0 0 0 52616 1468 0 0 25 0 1 0 1853619839 829186048 200729 4294967295 134512640 134736556 3221224560 3221223148 134537548 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 202438 200729 1116 68 0 202370 0
[pid=26651] vsize: 809752
Current children cumulated CPU time (s) 540.84
Current children cumulated vsize (Kb) 809752

[startup+570.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 204437 0 0 0 53585 1484 0 0 17 0 1 0 1853619839 842350592 203823 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 205652 203823 1116 68 0 205584 0
[pid=26651] vsize: 822608
Current children cumulated CPU time (s) 550.69
Current children cumulated vsize (Kb) 822608

[startup+580.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 207870 0 0 0 54550 1501 0 0 25 0 1 0 1853619839 856408064 207256 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 209084 207256 1116 68 0 209016 0
[pid=26651] vsize: 836336
Current children cumulated CPU time (s) 560.51
Current children cumulated vsize (Kb) 836336

[startup+590.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 209796 0 0 0 55532 1510 0 0 25 0 1 0 1853619839 864059392 209091 4294967295 134512640 134736556 3221224560 3221223164 134537548 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 210952 209091 1116 68 0 210884 0
[pid=26651] vsize: 843808
Current children cumulated CPU time (s) 570.42
Current children cumulated vsize (Kb) 843808

[startup+600.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 211769 0 0 0 56512 1519 0 0 25 0 1 0 1853619839 872169472 211063 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 212932 211063 1116 68 0 212864 0
[pid=26651] vsize: 851728
Current children cumulated CPU time (s) 580.31
Current children cumulated vsize (Kb) 851728

[startup+610.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 215537 0 0 0 57469 1540 0 0 25 0 1 0 1853619839 887508992 214827 4294967295 134512640 134736556 3221224560 3221223120 134551184 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 216677 214827 1116 68 0 216609 0
[pid=26651] vsize: 866708
Current children cumulated CPU time (s) 590.09
Current children cumulated vsize (Kb) 866708

[startup+620.043 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) T 26650 26651 5245 0 -1 0 217983 0 0 0 58444 1552 0 0 25 0 1 0 1853619839 897847296 217263 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/26651/statm): 219201 217263 1116 68 0 219133 0
[pid=26651] vsize: 876804
Current children cumulated CPU time (s) 599.96
Current children cumulated vsize (Kb) 876804

[startup+630.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 222020 0 0 0 59402 1573 0 0 25 0 1 0 1853619839 914337792 221290 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 223227 221290 1116 68 0 223159 0
[pid=26651] vsize: 892908
Current children cumulated CPU time (s) 609.75
Current children cumulated vsize (Kb) 892908

[startup+640.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) R 26650 26651 5245 0 -1 0 225095 0 1 0 60363 1593 0 0 22 0 1 0 1853619839 926638080 224337 4294967295 134512640 134736556 3221224560 3221223152 134716180 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26651/statm): 226230 224337 1116 68 0 226162 0
[pid=26651] vsize: 904920
Current children cumulated CPU time (s) 619.56
Current children cumulated vsize (Kb) 904920



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+644.454 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 26651
Raw data (/proc/26651/stat): 26651 (bsolo) T 26650 26651 5245 0 -1 0 229253 0 1 0 60757 1617 0 0 24 0 1 0 1853619839 943804416 227583 4294967295 134512640 134736556 3221224560 3221223020 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/26651/statm): 230421 227571 1116 68 0 230353 0
[pid=26651] vsize: 921684
Current children cumulated CPU time (s) 623.74
Current children cumulated vsize (Kb) 921684

Sending SIGTERM to -26651
Sleeping 2 seconds
Sending SIGKILL to -26651
One traced child (pid=26651) 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): 646.884
CPU time (s): 624.175
CPU user time (s): 607.574
CPU system time (s): 16.6015
CPU usage (%): 96.4896
Max. virtual memory (cumulated for all children) (Kb): 921684

Verifier Data

ERROR: no interpretation found !