Some explanations

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

General information on the benchmark

Namemps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit2p.opb
MD5SUM5f5cb3c37eae37e49339d7674a999c27
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 172663
Biggest coefficient in the objective function 10485760
Number of bits for the biggest coefficient in the objective function 24
Sum of the numbers in the objective function 42533442284
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 30985420800
Number of bits of the biggest number in a constraint 35
Biggest sum of numbers in a constraint 101083836075
Number of bits of the biggest sum of numbers37
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables210852
Total number of constraints10500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10500
Minimum length of a constraint10
Maximum length of a constraint413

Trace number 5026

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        894352 kB
Buffers:          7908 kB
Cached:         104512 kB
SwapCached:        800 kB
Active:          50328 kB
Inactive:        64644 kB
HighTotal:      131008 kB
HighFree:        23520 kB
LowTotal:       903652 kB
LowFree:        870832 kB
SwapTotal:     2097892 kB
SwapFree:      2096492 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            19560 kB
Committed_AS:    64184 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 22:19:03 (client local time) WITH STATUS 0 IN 489.521 SECONDS
stats: 815 7 489.521 0

Solver Data

c INFO: OSL Context initialized.
c BIG Int formula...
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/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1853376083 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 107 3 90 68 0 39 0
[pid=26777] 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/wulflinc19/normalized-mps-v2-13-7-fit2p.opb

[startup+10.0043 s]
Raw data (loadavg): 0.94 0.97 0.97 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 65657 0 0 0 816 150 0 0 25 0 1 0 1853376083 271462400 65253 4294967295 134512640 134736556 3221224560 3221223184 1077334000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 66275 65253 1116 68 0 66207 0
[pid=26777] vsize: 265100
Current children cumulated CPU time (s) 9.66
Current children cumulated vsize (Kb) 265100

[startup+20.0051 s]
Raw data (loadavg): 0.95 0.97 0.97 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 113343 0 0 0 1701 244 0 0 21 0 1 0 1853376083 465924096 112436 4294967295 134512640 134736556 3221224560 3221223088 134572994 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 113751 112436 1116 68 0 113683 0
[pid=26777] vsize: 455004
Current children cumulated CPU time (s) 19.45
Current children cumulated vsize (Kb) 455004

[startup+30.0059 s]
Raw data (loadavg): 0.96 0.97 0.97 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 149781 0 0 0 2614 318 0 0 25 0 1 0 1853376083 610361344 147860 4294967295 134512640 134736556 3221224560 3221221404 1077244776 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 149014 147860 1116 68 0 148946 0
[pid=26777] vsize: 596056
Current children cumulated CPU time (s) 29.32
Current children cumulated vsize (Kb) 596056

[startup+40.0067 s]
Raw data (loadavg): 0.96 0.97 0.97 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 165879 0 0 0 3574 350 0 0 25 0 1 0 1853376083 676102144 163958 4294967295 134512640 134736556 3221224560 3221223068 134517552 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 165064 163958 1116 68 0 164996 0
[pid=26777] vsize: 660256
Current children cumulated CPU time (s) 39.24
Current children cumulated vsize (Kb) 660256

[startup+50.0075 s]
Raw data (loadavg): 0.97 0.97 0.97 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 178424 0 0 0 4544 374 0 0 25 0 1 0 1853376083 727277568 176503 4294967295 134512640 134736556 3221224560 3221223088 134573621 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 177558 176503 1116 68 0 177490 0
[pid=26777] vsize: 710232
Current children cumulated CPU time (s) 49.18
Current children cumulated vsize (Kb) 710232

[startup+60.0083 s]
Raw data (loadavg): 0.97 0.97 0.97 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 184858 0 0 0 5524 390 0 0 25 0 1 0 1853376083 753606656 182937 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 183986 182937 1116 68 0 183918 0
[pid=26777] vsize: 735944
Current children cumulated CPU time (s) 59.14
Current children cumulated vsize (Kb) 735944

[startup+70.0091 s]
Raw data (loadavg): 0.98 0.97 0.97 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 185826 0 0 0 6520 394 0 0 25 0 1 0 1853376083 757526528 183905 4294967295 134512640 134736556 3221224560 3221221428 1077001803 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 184943 183905 1116 68 0 184875 0
[pid=26777] vsize: 739772
Current children cumulated CPU time (s) 69.14
Current children cumulated vsize (Kb) 739772

[startup+80.0089 s]
Raw data (loadavg): 0.98 0.97 0.97 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 186742 0 0 0 7517 396 0 0 25 0 1 0 1853376083 761311232 184821 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 185867 184821 1116 68 0 185799 0
[pid=26777] vsize: 743468
Current children cumulated CPU time (s) 79.13
Current children cumulated vsize (Kb) 743468

[startup+90.0097 s]
Raw data (loadavg): 0.98 0.97 0.97 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 187690 0 0 0 8513 399 0 0 25 0 1 0 1853376083 765095936 185769 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 186791 185769 1116 68 0 186723 0
[pid=26777] vsize: 747164
Current children cumulated CPU time (s) 89.12
Current children cumulated vsize (Kb) 747164

[startup+100.01 s]
Raw data (loadavg): 0.98 0.97 0.97 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 188609 0 0 0 9508 403 0 0 25 0 1 0 1853376083 768880640 186688 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 187715 186688 1116 68 0 187647 0
[pid=26777] vsize: 750860
Current children cumulated CPU time (s) 99.11
Current children cumulated vsize (Kb) 750860

[startup+110.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 189494 0 0 0 10504 406 0 0 25 0 1 0 1853376083 772534272 187573 4294967295 134512640 134736556 3221224560 3221223376 134569787 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 188607 187573 1116 68 0 188539 0
[pid=26777] vsize: 754428
Current children cumulated CPU time (s) 109.1
Current children cumulated vsize (Kb) 754428

[startup+120.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 190422 0 0 0 11500 409 0 0 25 0 1 0 1853376083 776323072 188501 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 189532 188501 1116 68 0 189464 0
[pid=26777] vsize: 758128
Current children cumulated CPU time (s) 119.09
Current children cumulated vsize (Kb) 758128

[startup+130.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 191276 0 0 0 12494 414 0 0 25 0 1 0 1853376083 779841536 189355 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 190391 189355 1116 68 0 190323 0
[pid=26777] vsize: 761564
Current children cumulated CPU time (s) 129.08
Current children cumulated vsize (Kb) 761564

[startup+140.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 192237 0 0 0 13490 418 0 0 25 0 1 0 1853376083 783921152 190316 4294967295 134512640 134736556 3221224560 3221222444 1077245808 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 191387 190316 1116 68 0 191319 0
[pid=26777] vsize: 765548
Current children cumulated CPU time (s) 139.08
Current children cumulated vsize (Kb) 765548

[startup+150.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 193040 0 0 0 14486 421 0 0 25 0 1 0 1853376083 787165184 191119 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 192179 191119 1116 68 0 192111 0
[pid=26777] vsize: 768716
Current children cumulated CPU time (s) 149.07
Current children cumulated vsize (Kb) 768716

[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 193913 0 0 0 15481 424 0 0 25 0 1 0 1853376083 790679552 191992 4294967295 134512640 134736556 3221224560 3221223288 1076611932 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 193037 191992 1116 68 0 192969 0
[pid=26777] vsize: 772148
Current children cumulated CPU time (s) 159.05
Current children cumulated vsize (Kb) 772148

[startup+170.012 s]
Raw data (loadavg): 1.07 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 194761 0 0 0 16478 427 0 0 25 0 1 0 1853376083 794202112 192840 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 193897 192840 1116 68 0 193829 0
[pid=26777] vsize: 775588
Current children cumulated CPU time (s) 169.05
Current children cumulated vsize (Kb) 775588

[startup+180.012 s]
Raw data (loadavg): 1.06 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 195713 0 0 0 17475 430 0 0 25 0 1 0 1853376083 798154752 193792 4294967295 134512640 134736556 3221224560 3221223068 1077399560 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 194862 193792 1116 68 0 194794 0
[pid=26777] vsize: 779448
Current children cumulated CPU time (s) 179.05
Current children cumulated vsize (Kb) 779448

[startup+190.013 s]
Raw data (loadavg): 1.05 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 196591 0 0 0 18470 434 0 0 25 0 1 0 1853376083 801812480 194670 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 195755 194670 1116 68 0 195687 0
[pid=26777] vsize: 783020
Current children cumulated CPU time (s) 189.04
Current children cumulated vsize (Kb) 783020

[startup+200.013 s]
Raw data (loadavg): 1.04 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 197432 0 0 0 19466 437 0 0 25 0 1 0 1853376083 805203968 195511 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 196583 195511 1116 68 0 196515 0
[pid=26777] vsize: 786332
Current children cumulated CPU time (s) 199.03
Current children cumulated vsize (Kb) 786332

[startup+210.013 s]
Raw data (loadavg): 1.04 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 198294 0 0 0 20462 440 0 0 25 0 1 0 1853376083 808742912 196373 4294967295 134512640 134736556 3221224560 3221221404 1077253706 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 197447 196373 1116 68 0 197379 0
[pid=26777] vsize: 789788
Current children cumulated CPU time (s) 209.02
Current children cumulated vsize (Kb) 789788

[startup+220.014 s]
Raw data (loadavg): 1.03 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 199112 0 0 0 21457 443 0 0 25 0 1 0 1853376083 812134400 197191 4294967295 134512640 134736556 3221224560 3221222444 1077246007 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 198275 197191 1116 68 0 198207 0
[pid=26777] vsize: 793100
Current children cumulated CPU time (s) 219
Current children cumulated vsize (Kb) 793100

[startup+230.014 s]
Raw data (loadavg): 1.02 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 200076 0 0 0 22453 447 0 0 25 0 1 0 1853376083 816398336 198142 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 199316 198142 1116 68 0 199248 0
[pid=26777] vsize: 797264
Current children cumulated CPU time (s) 229
Current children cumulated vsize (Kb) 797264

[startup+240.014 s]
Raw data (loadavg): 1.02 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 200838 0 0 0 23448 450 0 0 25 0 1 0 1853376083 819507200 198904 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 200075 198904 1116 68 0 200007 0
[pid=26777] vsize: 800300
Current children cumulated CPU time (s) 238.98
Current children cumulated vsize (Kb) 800300

[startup+250.014 s]
Raw data (loadavg): 1.02 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 201584 0 0 0 24444 453 0 0 25 0 1 0 1853376083 822480896 199650 4294967295 134512640 134736556 3221224560 3221223068 1077399556 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 200801 199650 1116 68 0 200733 0
[pid=26777] vsize: 803204
Current children cumulated CPU time (s) 248.97
Current children cumulated vsize (Kb) 803204

[startup+260.014 s]
Raw data (loadavg): 1.01 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 202430 0 0 0 25440 456 0 0 25 0 1 0 1853376083 826155008 200496 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 201698 200496 1116 68 0 201630 0
[pid=26777] vsize: 806792
Current children cumulated CPU time (s) 258.96
Current children cumulated vsize (Kb) 806792

[startup+270.015 s]
Raw data (loadavg): 1.01 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 203221 0 0 0 26436 460 0 0 25 0 1 0 1853376083 829399040 201287 4294967295 134512640 134736556 3221224560 3221223064 134532895 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 202490 201287 1116 68 0 202422 0
[pid=26777] vsize: 809960
Current children cumulated CPU time (s) 268.96
Current children cumulated vsize (Kb) 809960

[startup+280.015 s]
Raw data (loadavg): 1.01 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 203916 0 0 0 27432 463 0 0 25 0 1 0 1853376083 832237568 201982 4294967295 134512640 134736556 3221224560 3221223068 1077399588 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 203183 201982 1116 68 0 203115 0
[pid=26777] vsize: 812732
Current children cumulated CPU time (s) 278.95
Current children cumulated vsize (Kb) 812732

[startup+290.016 s]
Raw data (loadavg): 1.01 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 204640 0 0 0 28430 465 0 0 25 0 1 0 1853376083 835211264 202706 4294967295 134512640 134736556 3221224560 3221221260 1077198926 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 203909 202706 1116 68 0 203841 0
[pid=26777] vsize: 815636
Current children cumulated CPU time (s) 288.95
Current children cumulated vsize (Kb) 815636

[startup+300.016 s]
Raw data (loadavg): 1.01 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 205514 0 0 0 29425 468 0 0 25 0 1 0 1853376083 838742016 203580 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 204771 203580 1116 68 0 204703 0
[pid=26777] vsize: 819084
Current children cumulated CPU time (s) 298.93
Current children cumulated vsize (Kb) 819084

[startup+310.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 206336 0 0 0 30422 471 0 0 25 0 1 0 1853376083 842129408 204402 4294967295 134512640 134736556 3221224560 3221221324 1077091183 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 205598 204402 1116 68 0 205530 0
[pid=26777] vsize: 822392
Current children cumulated CPU time (s) 308.93
Current children cumulated vsize (Kb) 822392

[startup+320.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 207234 0 0 0 31417 475 0 0 25 0 1 0 1853376083 845819904 205290 4294967295 134512640 134736556 3221224560 3221221260 1077191297 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 206499 205290 1116 68 0 206431 0
[pid=26777] vsize: 825996
Current children cumulated CPU time (s) 318.92
Current children cumulated vsize (Kb) 825996

[startup+330.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 208087 0 0 0 32413 478 0 0 25 0 1 0 1853376083 849489920 206140 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26777/statm): 207395 206140 1116 68 0 207327 0
[pid=26777] vsize: 829580
Current children cumulated CPU time (s) 328.91
Current children cumulated vsize (Kb) 829580

[startup+340.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 208820 0 0 0 33411 480 0 0 25 0 1 0 1853376083 852463616 206873 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26777/statm): 208121 206873 1116 68 0 208053 0
[pid=26777] vsize: 832484
Current children cumulated CPU time (s) 338.91
Current children cumulated vsize (Kb) 832484

[startup+350.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 209620 0 0 0 34407 483 0 0 25 0 1 0 1853376083 856039424 207670 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26777/statm): 208994 207670 1116 68 0 208926 0
[pid=26777] vsize: 835976
Current children cumulated CPU time (s) 348.9
Current children cumulated vsize (Kb) 835976

[startup+360.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 210326 0 0 0 35404 484 0 0 25 0 1 0 1853376083 858877952 208376 4294967295 134512640 134736556 3221224560 3221222832 1077314037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26777/statm): 209687 208376 1116 68 0 209619 0
[pid=26777] vsize: 838748
Current children cumulated CPU time (s) 358.88
Current children cumulated vsize (Kb) 838748

[startup+370.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 211093 0 0 0 36400 487 0 0 25 0 1 0 1853376083 862019584 209143 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26777/statm): 210454 209143 1116 68 0 210386 0
[pid=26777] vsize: 841816
Current children cumulated CPU time (s) 368.87
Current children cumulated vsize (Kb) 841816

[startup+380.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 211778 0 0 0 37397 489 0 0 25 0 1 0 1853376083 864858112 209828 4294967295 134512640 134736556 3221224560 3221221404 1077253625 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26777/statm): 211147 209828 1116 68 0 211079 0
[pid=26777] vsize: 844588
Current children cumulated CPU time (s) 378.86
Current children cumulated vsize (Kb) 844588

[startup+390.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 212557 0 0 0 38395 491 0 0 25 0 1 0 1853376083 868425728 210598 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26777/statm): 212018 210598 1116 68 0 211950 0
[pid=26777] vsize: 848072
Current children cumulated CPU time (s) 388.86
Current children cumulated vsize (Kb) 848072

[startup+400.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 213239 0 0 0 39392 494 0 0 25 0 1 0 1853376083 871129088 211280 4294967295 134512640 134736556 3221224560 3221223072 134572999 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26777/statm): 212678 211280 1116 68 0 212610 0
[pid=26777] vsize: 850712
Current children cumulated CPU time (s) 398.86
Current children cumulated vsize (Kb) 850712

[startup+410.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 213942 0 0 0 40389 496 0 0 25 0 1 0 1853376083 873832448 211983 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26777/statm): 213338 211983 1116 68 0 213270 0
[pid=26777] vsize: 853352
Current children cumulated CPU time (s) 408.85
Current children cumulated vsize (Kb) 853352

[startup+420.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 214742 0 0 0 41386 498 0 0 25 0 1 0 1853376083 877363200 212759 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26777/statm): 214200 212759 1116 68 0 214132 0
[pid=26777] vsize: 856800
Current children cumulated CPU time (s) 418.84
Current children cumulated vsize (Kb) 856800

[startup+430.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 215662 0 0 0 42382 501 0 0 25 0 1 0 1853376083 881594368 213642 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26777/statm): 215233 213642 1116 68 0 215165 0
[pid=26777] vsize: 860932
Current children cumulated CPU time (s) 428.83
Current children cumulated vsize (Kb) 860932

[startup+440.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 216338 0 0 0 43379 503 0 0 25 0 1 0 1853376083 884432896 214318 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26777/statm): 215926 214318 1116 68 0 215858 0
[pid=26777] vsize: 863704
Current children cumulated CPU time (s) 438.82
Current children cumulated vsize (Kb) 863704

[startup+450.021 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 217051 0 0 0 44375 506 0 0 25 0 1 0 1853376083 887451648 215023 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26777/statm): 216663 215024 1116 68 0 216595 0
[pid=26777] vsize: 866652
Current children cumulated CPU time (s) 448.81
Current children cumulated vsize (Kb) 866652

[startup+460.022 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 217804 0 0 0 45372 508 0 0 25 0 1 0 1853376083 890728448 215776 4294967295 134512640 134736556 3221224560 3221222444 1077244359 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26777/statm): 217463 215776 1116 68 0 217395 0
[pid=26777] vsize: 869852
Current children cumulated CPU time (s) 458.8
Current children cumulated vsize (Kb) 869852

[startup+470.021 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 218463 0 0 0 46370 510 0 0 25 0 1 0 1853376083 893431808 216435 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26777/statm): 218123 216435 1116 68 0 218055 0
[pid=26777] vsize: 872492
Current children cumulated CPU time (s) 468.8
Current children cumulated vsize (Kb) 872492

[startup+480.021 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 219172 0 0 0 47367 512 0 0 25 0 1 0 1853376083 896135168 217144 4294967295 134512640 134736556 3221224560 3221221324 1077091057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26777/statm): 218783 217144 1116 68 0 218715 0
[pid=26777] vsize: 875132
Current children cumulated CPU time (s) 478.79
Current children cumulated vsize (Kb) 875132

[startup+490.022 s]
Raw data (loadavg): 1.00 0.99 0.98 3/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) R 26776 26777 5929 0 -1 0 225216 0 0 0 48349 528 0 0 25 0 1 0 1853376083 931880960 222863 4294967295 134512640 134736556 3221224560 3221223488 134597184 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26777/statm): 227510 222844 1116 68 0 227442 0
[pid=26777] vsize: 910040
Current children cumulated CPU time (s) 488.77
Current children cumulated vsize (Kb) 910040



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+491.613 s]
Raw data (loadavg): 1.08 1.00 0.99 1/56 26777
Raw data (/proc/26777/stat): 26777 (bsolo) T 26776 26777 5929 0 -1 0 229571 0 0 0 48355 553 0 0 24 0 1 0 1853376083 945381376 225348 4294967295 134512640 134736556 3221224560 3221223160 1077799011 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/26777/statm): 230806 225348 1116 68 0 230738 0
[pid=26777] vsize: 923224
Current children cumulated CPU time (s) 489.08
Current children cumulated vsize (Kb) 923224

Sending SIGTERM to -26777
Sleeping 2 seconds
Sending SIGKILL to -26777
One traced child (pid=26777) 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): 494.042
CPU time (s): 489.521
CPU user time (s): 483.558
CPU system time (s): 5.96309
CPU usage (%): 99.0848
Max. virtual memory (cumulated for all children) (Kb): 923224

Verifier Data

ERROR: no interpretation found !