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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_5.opb
MD5SUMeaead9cf67652e4b2ad71612149d4439
Bench Categoryoptimization, medium integers (OPTMEDINT)
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 20
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 1048575
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 131072000
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 576307709
Number of bits of the biggest sum of numbers30
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables269983
Total number of constraints3778
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)120
Number of constraints which are nor clauses,nor cardinality constraints3658
Minimum length of a constraint1
Maximum length of a constraint10600

Trace number 5317

Launcher Data

LAUNCH ON wulflinc7 THE 2005-09-20 00:34:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1098 boxname=wulflinc7 idbench=1098 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  eaead9cf67652e4b2ad71612149d4439  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-dano3_5.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-dano3_5.opb
IDLAUNCH: 1098
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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	: 2
cpu MHz		: 451.050
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:        854444 kB
Buffers:         33372 kB
Cached:         121408 kB
SwapCached:        736 kB
Active:          91448 kB
Inactive:        65956 kB
HighTotal:      131008 kB
HighFree:         7168 kB
LowTotal:       903652 kB
LowFree:        847276 kB
SwapTotal:     2097136 kB
SwapFree:      2095896 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5720 kB
Slab:            17068 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 00:40:30 (client local time) WITH STATUS 0 IN 380.489 SECONDS
stats: 1098 7 380.489 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/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1796048098 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 107 3 90 68 0 39 0
[pid=6324] 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/wulflinc7/normalized-mps-v2-13-7-dano3_5.opb

[startup+10.0033 s]
Raw data (loadavg): 0.91 0.96 0.98 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 36874 0 0 0 891 90 0 0 25 0 1 0 1796048098 153821184 36632 4294967295 134512640 134736556 3221224560 3221223136 134539904 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 37554 36632 1116 68 0 37486 0
[pid=6324] vsize: 150216
Current children cumulated CPU time (s) 9.81
Current children cumulated vsize (Kb) 150216

[startup+20.0039 s]
Raw data (loadavg): 0.92 0.96 0.98 1/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) T 6323 6324 15400 0 -1 0 59835 0 0 0 1837 135 0 0 25 0 1 0 1796048098 246251520 59067 4294967295 134512640 134736556 3221224560 3221222780 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6324/statm): 60120 59067 1116 68 0 60052 0
[pid=6324] vsize: 240480
Current children cumulated CPU time (s) 19.72
Current children cumulated vsize (Kb) 240480

[startup+30.0036 s]
Raw data (loadavg): 0.93 0.96 0.98 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 78164 0 0 0 2792 173 0 0 25 0 1 0 1796048098 318799872 76850 4294967295 134512640 134736556 3221224560 3221221228 1077359312 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 77832 76850 1116 68 0 77764 0
[pid=6324] vsize: 311328
Current children cumulated CPU time (s) 29.65
Current children cumulated vsize (Kb) 311328

[startup+40.0042 s]
Raw data (loadavg): 0.94 0.96 0.98 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 94286 0 0 0 3753 206 0 0 25 0 1 0 1796048098 384475136 92972 4294967295 134512640 134736556 3221224560 3221223068 1077399566 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 93866 92972 1116 68 0 93798 0
[pid=6324] vsize: 375464
Current children cumulated CPU time (s) 39.59
Current children cumulated vsize (Kb) 375464

[startup+50.0049 s]
Raw data (loadavg): 0.95 0.96 0.98 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 109540 0 0 0 4715 237 0 0 25 0 1 0 1796048098 446578688 107723 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 109028 107723 1116 68 0 108960 0
[pid=6324] vsize: 436112
Current children cumulated CPU time (s) 49.52
Current children cumulated vsize (Kb) 436112

[startup+60.0055 s]
Raw data (loadavg): 0.96 0.96 0.98 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 123979 0 0 0 5679 268 0 0 25 0 1 0 1796048098 505360384 122162 4294967295 134512640 134736556 3221224560 3221223068 1077399564 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 123379 122162 1116 68 0 123311 0
[pid=6324] vsize: 493516
Current children cumulated CPU time (s) 59.47
Current children cumulated vsize (Kb) 493516

[startup+70.0051 s]
Raw data (loadavg): 0.96 0.96 0.98 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 137047 0 0 0 6646 294 0 0 25 0 1 0 1796048098 558653440 135230 4294967295 134512640 134736556 3221224560 3221221324 1077090884 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 136390 135230 1116 68 0 136322 0
[pid=6324] vsize: 545560
Current children cumulated CPU time (s) 69.4
Current children cumulated vsize (Kb) 545560

[startup+80.0048 s]
Raw data (loadavg): 0.97 0.96 0.98 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 151001 0 0 0 7613 321 0 0 25 0 1 0 1796048098 611041280 148086 4294967295 134512640 134736556 3221224560 3221223068 134517552 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 149180 148086 1116 68 0 149112 0
[pid=6324] vsize: 596720
Current children cumulated CPU time (s) 79.34
Current children cumulated vsize (Kb) 596720

[startup+90.0054 s]
Raw data (loadavg): 0.97 0.96 0.98 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 163567 0 0 0 8582 345 0 0 25 0 1 0 1796048098 662253568 160652 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 161683 160652 1116 68 0 161615 0
[pid=6324] vsize: 646732
Current children cumulated CPU time (s) 89.27
Current children cumulated vsize (Kb) 646732

[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.98 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 174762 0 0 0 9554 369 0 0 25 0 1 0 1796048098 707813376 171847 4294967295 134512640 134736556 3221224560 3221221332 1077359168 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 172806 171847 1116 68 0 172738 0
[pid=6324] vsize: 691224
Current children cumulated CPU time (s) 99.23
Current children cumulated vsize (Kb) 691224

[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.98 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 186716 0 0 0 10526 392 0 0 25 0 1 0 1796048098 756563968 183801 4294967295 134512640 134736556 3221224560 3221223068 1077399575 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 184708 183801 1116 68 0 184640 0
[pid=6324] vsize: 738832
Current children cumulated CPU time (s) 109.18
Current children cumulated vsize (Kb) 738832

[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.98 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 197857 0 0 0 11498 415 0 0 25 0 1 0 1796048098 801984512 193939 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 195797 193939 1116 68 0 195729 0
[pid=6324] vsize: 783188
Current children cumulated CPU time (s) 119.13
Current children cumulated vsize (Kb) 783188

[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.98 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 208136 0 0 0 12469 439 0 0 25 0 1 0 1796048098 843837440 204218 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 206015 204218 1116 68 0 205947 0
[pid=6324] vsize: 824060
Current children cumulated CPU time (s) 129.08
Current children cumulated vsize (Kb) 824060

[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 209745 0 0 0 13464 443 0 0 25 0 1 0 1796048098 850460672 205827 4294967295 134512640 134736556 3221224560 3221221260 1077197713 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 207632 205827 1116 68 0 207564 0
[pid=6324] vsize: 830528
Current children cumulated CPU time (s) 139.07
Current children cumulated vsize (Kb) 830528

[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 211371 0 0 0 14458 448 0 0 25 0 1 0 1796048098 857083904 207453 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 209249 207453 1116 68 0 209181 0
[pid=6324] vsize: 836996
Current children cumulated CPU time (s) 149.06
Current children cumulated vsize (Kb) 836996

[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 213082 0 0 0 15451 453 0 0 25 0 1 0 1796048098 864112640 209164 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 210965 209164 1116 68 0 210897 0
[pid=6324] vsize: 843860
Current children cumulated CPU time (s) 159.04
Current children cumulated vsize (Kb) 843860

[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 214969 0 0 0 16444 458 0 0 25 0 1 0 1796048098 871817216 211051 4294967295 134512640 134736556 3221224560 3221221404 1077254713 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 212846 211051 1116 68 0 212778 0
[pid=6324] vsize: 851384
Current children cumulated CPU time (s) 169.02
Current children cumulated vsize (Kb) 851384

[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 217446 0 0 0 17434 465 0 0 25 0 1 0 1796048098 881954816 213528 4294967295 134512640 134736556 3221224560 3221223064 1077294273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 215321 213528 1116 68 0 215253 0
[pid=6324] vsize: 861284
Current children cumulated CPU time (s) 178.99
Current children cumulated vsize (Kb) 861284

[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 218675 0 0 0 18427 470 0 0 25 0 1 0 1796048098 887209984 214605 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 216604 214605 1116 68 0 216536 0
[pid=6324] vsize: 866416
Current children cumulated CPU time (s) 188.97
Current children cumulated vsize (Kb) 866416

[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 219245 0 0 0 19424 472 0 0 25 0 1 0 1796048098 889872384 214956 4294967295 134512640 134736556 3221224560 3221223136 134539967 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 217254 214956 1116 68 0 217186 0
[pid=6324] vsize: 869016
Current children cumulated CPU time (s) 198.96
Current children cumulated vsize (Kb) 869016

[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 219748 0 0 0 20422 474 0 0 25 0 1 0 1796048098 892063744 215374 4294967295 134512640 134736556 3221224560 3221223336 1076611932 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 217789 215374 1116 68 0 217721 0
[pid=6324] vsize: 871156
Current children cumulated CPU time (s) 208.96
Current children cumulated vsize (Kb) 871156

[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 220297 0 0 0 21419 477 0 0 25 0 1 0 1796048098 894418944 215646 4294967295 134512640 134736556 3221224560 3221223136 134539904 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 218364 215646 1116 68 0 218296 0
[pid=6324] vsize: 873456
Current children cumulated CPU time (s) 218.96
Current children cumulated vsize (Kb) 873456

[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 220828 0 0 0 22416 479 0 0 25 0 1 0 1796048098 896888832 215866 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 218967 215866 1116 68 0 218899 0
[pid=6324] vsize: 875868
Current children cumulated CPU time (s) 228.95
Current children cumulated vsize (Kb) 875868

[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 221294 0 0 0 23414 481 0 0 25 0 1 0 1796048098 898838528 216311 4294967295 134512640 134736556 3221224560 3221223136 134539935 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 219443 216311 1116 68 0 219375 0
[pid=6324] vsize: 877772
Current children cumulated CPU time (s) 238.95
Current children cumulated vsize (Kb) 877772

[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 221775 0 0 0 24411 483 0 0 25 0 1 0 1796048098 901029888 216772 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 219978 216772 1116 68 0 219910 0
[pid=6324] vsize: 879912
Current children cumulated CPU time (s) 248.94
Current children cumulated vsize (Kb) 879912

[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 222228 0 4 0 25408 484 0 0 25 0 1 0 1796048098 903114752 216918 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 220487 216918 1116 68 0 220419 0
[pid=6324] vsize: 881948
Current children cumulated CPU time (s) 258.92
Current children cumulated vsize (Kb) 881948

[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 222716 0 9 0 26403 486 0 0 25 0 1 0 1796048098 905306112 217388 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 221022 217389 1116 68 0 220954 0
[pid=6324] vsize: 884088
Current children cumulated CPU time (s) 268.89
Current children cumulated vsize (Kb) 884088

[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 223212 0 16 0 27395 488 0 0 25 0 1 0 1796048098 907526144 217550 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 221564 217550 1116 68 0 221496 0
[pid=6324] vsize: 886256
Current children cumulated CPU time (s) 278.83
Current children cumulated vsize (Kb) 886256

[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 223640 0 22 0 28390 489 0 0 25 0 1 0 1796048098 909275136 217969 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 221991 217969 1116 68 0 221923 0
[pid=6324] vsize: 887964
Current children cumulated CPU time (s) 288.79
Current children cumulated vsize (Kb) 887964

[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 224050 0 25 0 29385 490 0 0 25 0 1 0 1796048098 911187968 218234 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 222458 218234 1116 68 0 222390 0
[pid=6324] vsize: 889832
Current children cumulated CPU time (s) 298.75
Current children cumulated vsize (Kb) 889832

[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.98 1/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) T 6323 6324 15400 0 -1 0 224528 0 33 0 30379 492 0 0 25 0 1 0 1796048098 913223680 218080 4294967295 134512640 134736556 3221224560 3221222828 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6324/statm): 222955 218080 1116 68 0 222887 0
[pid=6324] vsize: 891820
Current children cumulated CPU time (s) 308.71
Current children cumulated vsize (Kb) 891820

[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 224930 0 38 0 31375 493 0 0 25 0 1 0 1796048098 915013632 218470 4294967295 134512640 134736556 3221224560 3221221260 1077191778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 223392 218470 1116 68 0 223324 0
[pid=6324] vsize: 893568
Current children cumulated CPU time (s) 318.68
Current children cumulated vsize (Kb) 893568

[startup+330.015 s]
Raw data (loadavg): 1.15 1.00 0.99 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 225368 0 42 0 32371 494 0 0 25 0 1 0 1796048098 916934656 218890 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 223861 218890 1116 68 0 223793 0
[pid=6324] vsize: 895444
Current children cumulated CPU time (s) 328.65
Current children cumulated vsize (Kb) 895444

[startup+340.015 s]
Raw data (loadavg): 1.20 1.02 1.00 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 225799 0 49 0 33365 497 0 0 25 0 1 0 1796048098 918953984 219311 4294967295 134512640 134736556 3221224560 3221223136 134539940 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 224354 219311 1116 68 0 224286 0
[pid=6324] vsize: 897416
Current children cumulated CPU time (s) 338.62
Current children cumulated vsize (Kb) 897416

[startup+350.015 s]
Raw data (loadavg): 1.17 1.02 1.00 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 226748 0 177 0 34310 503 0 0 25 0 1 0 1796048098 922578944 219664 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 225239 219664 1116 68 0 225171 0
[pid=6324] vsize: 900956
Current children cumulated CPU time (s) 348.13
Current children cumulated vsize (Kb) 900956

[startup+360.016 s]
Raw data (loadavg): 1.14 1.02 1.00 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 227934 0 280 0 35258 509 0 0 25 0 1 0 1796048098 927174656 220229 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 226361 220229 1116 68 0 226293 0
[pid=6324] vsize: 905444
Current children cumulated CPU time (s) 357.67
Current children cumulated vsize (Kb) 905444

[startup+370.016 s]
Raw data (loadavg): 1.12 1.02 1.00 2/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 229485 0 318 0 36203 516 0 0 25 0 1 0 1796048098 933122048 221135 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 227813 221135 1116 68 0 227745 0
[pid=6324] vsize: 911252
Current children cumulated CPU time (s) 367.19
Current children cumulated vsize (Kb) 911252

[startup+380.016 s]
Raw data (loadavg): 1.18 1.03 1.01 3/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 231327 0 338 0 37175 526 0 0 25 0 1 0 1796048098 940453888 222430 4294967295 134512640 134736556 3221224560 3221223168 134544644 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 229603 222430 1116 68 0 229535 0
[pid=6324] vsize: 918412
Current children cumulated CPU time (s) 377.01
Current children cumulated vsize (Kb) 918412



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+383.137 s]
Raw data (loadavg): 1.18 1.03 1.01 1/56 6324
Raw data (/proc/6324/stat): 6324 (bsolo) T 6323 6324 15400 0 -1 0 232111 0 353 0 37477 528 0 0 25 0 1 0 1796048098 943722496 222760 4294967295 134512640 134736556 3221224560 3221222828 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/6324/statm): 230401 222760 1116 68 0 230333 0
[pid=6324] vsize: 921604
Current children cumulated CPU time (s) 380.05
Current children cumulated vsize (Kb) 921604

Sending SIGTERM to -6324
Sleeping 2 seconds
Sending SIGKILL to -6324
One traced child (pid=6324) 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): 385.564
CPU time (s): 380.489
CPU user time (s): 374.779
CPU system time (s): 5.71013
CPU usage (%): 98.6837
Max. virtual memory (cumulated for all children) (Kb): 921604

Verifier Data

ERROR: no interpretation found !