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_3.opb
MD5SUMcb5fbc431eb68f8a2a8d0f81405ac2af
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 variables270305
Total number of constraints3778
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)72
Number of constraints which are nor clauses,nor cardinality constraints3706
Minimum length of a constraint1
Maximum length of a constraint10600

Trace number 5312

Launcher Data

LAUNCH ON wulflinc19 THE 2005-09-20 00:33:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1096 boxname=wulflinc19 idbench=1096 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  cb5fbc431eb68f8a2a8d0f81405ac2af  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-dano3_3.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-dano3_3.opb
IDLAUNCH: 1096
/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:        900540 kB
Buffers:          4756 kB
Cached:         102040 kB
SwapCached:        644 kB
Active:          43288 kB
Inactive:        65864 kB
HighTotal:      131008 kB
HighFree:        26628 kB
LowTotal:       903652 kB
LowFree:        873912 kB
SwapTotal:     2097892 kB
SwapFree:      2096412 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5284 kB
Slab:            19272 kB
Committed_AS:    64184 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 00:40:07 (client local time) WITH STATUS 0 IN 374.021 SECONDS
stats: 1096 7 374.021 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/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1854234288 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/28068/statm): 107 3 90 68 0 39 0
[pid=28068] 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-dano3_3.opb

[startup+10.0033 s]
Raw data (loadavg): 0.75 0.92 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 37732 0 0 0 891 89 0 0 25 0 1 0 1854234288 156377088 37238 4294967295 134512640 134736556 3221224560 3221221228 1077359226 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 38178 37238 1116 68 0 38110 0
[pid=28068] vsize: 152712
Current children cumulated CPU time (s) 9.8
Current children cumulated vsize (Kb) 152712

[startup+20.0041 s]
Raw data (loadavg): 0.79 0.92 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 60295 0 0 0 1839 133 0 0 25 0 1 0 1854234288 248221696 59549 4294967295 134512640 134736556 3221224560 3221223300 134560278 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 60601 59549 1116 68 0 60533 0
[pid=28068] vsize: 242404
Current children cumulated CPU time (s) 19.72
Current children cumulated vsize (Kb) 242404

[startup+30.0039 s]
Raw data (loadavg): 0.82 0.93 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 78495 0 0 0 2794 170 0 0 25 0 1 0 1854234288 320344064 77229 4294967295 134512640 134736556 3221224560 3221223064 1077049363 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 78209 77229 1116 68 0 78141 0
[pid=28068] vsize: 312836
Current children cumulated CPU time (s) 29.64
Current children cumulated vsize (Kb) 312836

[startup+40.0047 s]
Raw data (loadavg): 0.85 0.93 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 94098 0 0 0 3754 203 0 0 25 0 1 0 1854234288 383942656 92832 4294967295 134512640 134736556 3221224560 3221223044 1077414360 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 93736 92832 1116 68 0 93668 0
[pid=28068] vsize: 374944
Current children cumulated CPU time (s) 39.57
Current children cumulated vsize (Kb) 374944

[startup+50.0055 s]
Raw data (loadavg): 0.87 0.93 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 109745 0 0 0 4714 236 0 0 25 0 1 0 1854234288 447614976 107976 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 109281 107976 1116 68 0 109213 0
[pid=28068] vsize: 437124
Current children cumulated CPU time (s) 49.5
Current children cumulated vsize (Kb) 437124

[startup+60.0053 s]
Raw data (loadavg): 0.89 0.93 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 123894 0 0 0 5677 267 0 0 25 0 1 0 1854234288 505315328 122125 4294967295 134512640 134736556 3221224560 3221223136 134540422 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 123368 122125 1116 68 0 123300 0
[pid=28068] vsize: 493472
Current children cumulated CPU time (s) 59.44
Current children cumulated vsize (Kb) 493472

[startup+70.0061 s]
Raw data (loadavg): 0.91 0.93 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 138693 0 0 0 6642 298 0 0 25 0 1 0 1854234288 561348608 135882 4294967295 134512640 134736556 3221224560 3221222444 1077244511 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 137048 135882 1116 68 0 136980 0
[pid=28068] vsize: 548192
Current children cumulated CPU time (s) 69.4
Current children cumulated vsize (Kb) 548192

[startup+80.007 s]
Raw data (loadavg): 0.92 0.94 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 150438 0 0 0 7613 322 0 0 25 0 1 0 1854234288 609144832 147627 4294967295 134512640 134736556 3221224560 3221223300 134560258 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 148717 147627 1116 68 0 148649 0
[pid=28068] vsize: 594868
Current children cumulated CPU time (s) 79.35
Current children cumulated vsize (Kb) 594868

[startup+90.0068 s]
Raw data (loadavg): 0.93 0.94 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 162866 0 0 0 8581 349 0 0 25 0 1 0 1854234288 659820544 160055 4294967295 134512640 134736556 3221224560 3221222696 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 161089 160056 1116 68 0 161021 0
[pid=28068] vsize: 644356
Current children cumulated CPU time (s) 89.3
Current children cumulated vsize (Kb) 644356

[startup+100.007 s]
Raw data (loadavg): 0.94 0.94 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 173795 0 0 0 9552 373 0 0 25 0 1 0 1854234288 704323584 170984 4294967295 134512640 134736556 3221224560 3221223060 1077049349 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 171954 170984 1116 68 0 171886 0
[pid=28068] vsize: 687816
Current children cumulated CPU time (s) 99.25
Current children cumulated vsize (Kb) 687816

[startup+110.006 s]
Raw data (loadavg): 0.95 0.94 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 185915 0 0 0 10522 398 0 0 25 0 1 0 1854234288 753700864 183104 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 184009 183104 1116 68 0 183941 0
[pid=28068] vsize: 736036
Current children cumulated CPU time (s) 109.2
Current children cumulated vsize (Kb) 736036

[startup+120.007 s]
Raw data (loadavg): 0.96 0.94 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 197593 0 0 0 11491 424 0 0 25 0 1 0 1854234288 801374208 193779 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28068/statm): 195648 193779 1116 68 0 195580 0
[pid=28068] vsize: 782592
Current children cumulated CPU time (s) 119.15
Current children cumulated vsize (Kb) 782592

[startup+130.007 s]
Raw data (loadavg): 0.96 0.94 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 208076 0 0 0 12461 450 0 0 25 0 1 0 1854234288 844038144 204262 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 206064 204262 1116 68 0 205996 0
[pid=28068] vsize: 824256
Current children cumulated CPU time (s) 129.11
Current children cumulated vsize (Kb) 824256

[startup+140.008 s]
Raw data (loadavg): 0.97 0.94 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 209652 0 0 0 13457 452 0 0 25 0 1 0 1854234288 850526208 205838 4294967295 134512640 134736556 3221224560 3221221260 1077191111 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 207648 205838 1116 68 0 207580 0
[pid=28068] vsize: 830592
Current children cumulated CPU time (s) 139.09
Current children cumulated vsize (Kb) 830592

[startup+150.009 s]
Raw data (loadavg): 0.97 0.95 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 211228 0 0 0 14452 456 0 0 25 0 1 0 1854234288 857014272 207414 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 209232 207414 1116 68 0 209164 0
[pid=28068] vsize: 836928
Current children cumulated CPU time (s) 149.08
Current children cumulated vsize (Kb) 836928

[startup+160.008 s]
Raw data (loadavg): 0.98 0.95 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 212906 0 0 0 15443 463 0 0 25 0 1 0 1854234288 863772672 209092 4294967295 134512640 134736556 3221224560 3221223064 134532897 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 210882 209092 1116 68 0 210814 0
[pid=28068] vsize: 843528
Current children cumulated CPU time (s) 159.06
Current children cumulated vsize (Kb) 843528

[startup+170.009 s]
Raw data (loadavg): 0.98 0.95 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 214806 0 0 0 16435 470 0 0 25 0 1 0 1854234288 871612416 210992 4294967295 134512640 134736556 3221224560 3221221256 1077359216 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 212796 210992 1116 68 0 212728 0
[pid=28068] vsize: 851184
Current children cumulated CPU time (s) 169.05
Current children cumulated vsize (Kb) 851184

[startup+180.01 s]
Raw data (loadavg): 0.98 0.95 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 217142 0 0 0 17425 477 0 0 25 0 1 0 1854234288 881209344 213328 4294967295 134512640 134736556 3221224560 3221223068 134517552 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 215139 213328 1116 68 0 215071 0
[pid=28068] vsize: 860556
Current children cumulated CPU time (s) 179.02
Current children cumulated vsize (Kb) 860556

[startup+190.01 s]
Raw data (loadavg): 0.98 0.95 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 218690 0 0 0 18419 483 0 0 25 0 1 0 1854234288 887799808 214852 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 216748 214852 1116 68 0 216680 0
[pid=28068] vsize: 866992
Current children cumulated CPU time (s) 189.02
Current children cumulated vsize (Kb) 866992

[startup+200.01 s]
Raw data (loadavg): 0.99 0.95 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 219334 0 0 0 19417 484 0 0 25 0 1 0 1854234288 890740736 215466 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 217466 215466 1116 68 0 217398 0
[pid=28068] vsize: 869864
Current children cumulated CPU time (s) 199.01
Current children cumulated vsize (Kb) 869864

[startup+210.01 s]
Raw data (loadavg): 0.99 0.95 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 219879 0 0 0 20414 487 0 0 25 0 1 0 1854234288 893067264 215988 4294967295 134512640 134736556 3221224560 3221221260 1077191361 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 218034 215988 1116 68 0 217966 0
[pid=28068] vsize: 872136
Current children cumulated CPU time (s) 209.01
Current children cumulated vsize (Kb) 872136

[startup+220.011 s]
Raw data (loadavg): 0.99 0.95 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 220461 0 0 0 21412 488 0 0 25 0 1 0 1854234288 895737856 216544 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 218686 216544 1116 68 0 218618 0
[pid=28068] vsize: 874744
Current children cumulated CPU time (s) 219
Current children cumulated vsize (Kb) 874744

[startup+230.012 s]
Raw data (loadavg): 0.99 0.95 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 220962 0 0 0 22410 490 0 0 25 0 1 0 1854234288 898093056 217024 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 219261 217024 1116 68 0 219193 0
[pid=28068] vsize: 877044
Current children cumulated CPU time (s) 229
Current children cumulated vsize (Kb) 877044

[startup+240.012 s]
Raw data (loadavg): 0.99 0.95 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 221451 0 0 0 23408 492 0 0 25 0 1 0 1854234288 900284416 217493 4294967295 134512640 134736556 3221224560 3221223136 134539948 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 219796 217493 1116 68 0 219728 0
[pid=28068] vsize: 879184
Current children cumulated CPU time (s) 239
Current children cumulated vsize (Kb) 879184

[startup+250.013 s]
Raw data (loadavg): 0.99 0.96 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 221948 0 0 0 24406 493 0 0 25 0 1 0 1854234288 902512640 217968 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 220340 217968 1116 68 0 220272 0
[pid=28068] vsize: 881360
Current children cumulated CPU time (s) 248.99
Current children cumulated vsize (Kb) 881360

[startup+260.013 s]
Raw data (loadavg): 0.99 0.96 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 222425 0 0 0 25404 495 0 0 25 0 1 0 1854234288 904704000 218421 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 220875 218421 1116 68 0 220807 0
[pid=28068] vsize: 883500
Current children cumulated CPU time (s) 258.99
Current children cumulated vsize (Kb) 883500

[startup+270.013 s]
Raw data (loadavg): 0.99 0.96 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 222914 0 0 0 26402 496 0 0 25 0 1 0 1854234288 906924032 218886 4294967295 134512640 134736556 3221224560 3221223136 134539919 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 221417 218886 1116 68 0 221349 0
[pid=28068] vsize: 885668
Current children cumulated CPU time (s) 268.98
Current children cumulated vsize (Kb) 885668

[startup+280.014 s]
Raw data (loadavg): 0.99 0.96 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 223349 0 0 0 27400 498 0 0 25 0 1 0 1854234288 908808192 219304 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 221877 219304 1116 68 0 221809 0
[pid=28068] vsize: 887508
Current children cumulated CPU time (s) 278.98
Current children cumulated vsize (Kb) 887508

[startup+290.014 s]
Raw data (loadavg): 0.99 0.96 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 223818 0 0 0 28397 500 0 0 25 0 1 0 1854234288 910995456 219750 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 222411 219750 1116 68 0 222343 0
[pid=28068] vsize: 889644
Current children cumulated CPU time (s) 288.97
Current children cumulated vsize (Kb) 889644

[startup+300.014 s]
Raw data (loadavg): 0.99 0.96 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 224224 0 0 0 29396 501 0 0 25 0 1 0 1854234288 912805888 220137 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 222853 220137 1116 68 0 222785 0
[pid=28068] vsize: 891412
Current children cumulated CPU time (s) 298.97
Current children cumulated vsize (Kb) 891412

[startup+310.015 s]
Raw data (loadavg): 0.99 0.96 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 224694 0 0 0 30394 503 0 0 25 0 1 0 1854234288 914862080 220587 4294967295 134512640 134736556 3221224560 3221223136 134539944 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 223355 220587 1116 68 0 223287 0
[pid=28068] vsize: 893420
Current children cumulated CPU time (s) 308.97
Current children cumulated vsize (Kb) 893420

[startup+320.015 s]
Raw data (loadavg): 0.99 0.96 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 225126 0 0 0 31392 504 0 0 25 0 1 0 1854234288 916881408 221004 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 223848 221004 1116 68 0 223780 0
[pid=28068] vsize: 895392
Current children cumulated CPU time (s) 318.96
Current children cumulated vsize (Kb) 895392

[startup+330.016 s]
Raw data (loadavg): 0.99 0.96 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 225525 0 0 0 32390 506 0 0 25 0 1 0 1854234288 918687744 221383 4294967295 134512640 134736556 3221224560 3221223068 1077399567 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28068/statm): 224289 221383 1116 68 0 224221 0
[pid=28068] vsize: 897156
Current children cumulated CPU time (s) 328.96
Current children cumulated vsize (Kb) 897156

[startup+340.016 s]
Raw data (loadavg): 0.99 0.96 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 225996 0 0 0 33389 507 0 0 25 0 1 0 1854234288 920743936 221834 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28068/statm): 224791 221834 1116 68 0 224723 0
[pid=28068] vsize: 899164
Current children cumulated CPU time (s) 338.96
Current children cumulated vsize (Kb) 899164

[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 227444 0 0 0 34380 513 0 0 25 0 1 0 1854234288 926691328 223282 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28068/statm): 226243 223282 1116 68 0 226175 0
[pid=28068] vsize: 904972
Current children cumulated CPU time (s) 348.93
Current children cumulated vsize (Kb) 904972

[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 228476 0 0 0 35374 517 0 0 25 0 1 0 1854234288 931016704 224314 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 227299 224314 1116 68 0 227231 0
[pid=28068] vsize: 909196
Current children cumulated CPU time (s) 358.91
Current children cumulated vsize (Kb) 909196

[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 230090 0 0 0 36363 522 0 0 25 0 1 0 1854234288 937504768 224201 4294967295 134512640 134736556 3221224560 3221221316 1077365025 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28068/statm): 228883 224201 1116 68 0 228815 0
[pid=28068] vsize: 915532
Current children cumulated CPU time (s) 368.85
Current children cumulated vsize (Kb) 915532



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+374.784 s]
Raw data (loadavg): 0.99 0.97 0.97 1/56 28068
Raw data (/proc/28068/stat): 28068 (bsolo) T 28067 28068 5929 0 -1 0 231592 0 0 0 36828 531 0 0 25 0 1 0 1854234288 943755264 225703 4294967295 134512640 134736556 3221224560 3221222828 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/28068/statm): 230409 225703 1116 68 0 230341 0
[pid=28068] vsize: 921636
Current children cumulated CPU time (s) 373.59
Current children cumulated vsize (Kb) 921636

Sending SIGTERM to -28068
Sleeping 2 seconds
Sending SIGKILL to -28068
One traced child (pid=28068) 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): 377.214
CPU time (s): 374.021
CPU user time (s): 368.28
CPU system time (s): 5.74113
CPU usage (%): 99.1537
Max. virtual memory (cumulated for all children) (Kb): 921636

Verifier Data

ERROR: no interpretation found !