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-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-dano3mip.opb
MD5SUMec262e52901896bc3a54080dbb9d2278
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 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 67108864000
Number of bits of the biggest number in a constraint 36
Biggest sum of numbers in a constraint 569083166190
Number of bits of the biggest sum of numbers40
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables399966
Total number of constraints3778
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)600
Number of constraints which are nor clauses,nor cardinality constraints3178
Minimum length of a constraint1
Maximum length of a constraint15900

Trace number 637

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        949068 kB
Buffers:           200 kB
Cached:          58044 kB
SwapCached:        508 kB
Active:          48040 kB
Inactive:        12572 kB
HighTotal:      131008 kB
HighFree:        69076 kB
LowTotal:       903652 kB
LowFree:        879992 kB
SwapTotal:     2097892 kB
SwapFree:      2096672 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5668 kB
Slab:            19244 kB
Committed_AS:    64184 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 12:10:34 (client local time) WITH STATUS 0 IN 240.547 SECONDS
stats: 621 7 240.547 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/22729/stat): 22729 (bsolo) T 22728 22729 19316 0 -1 0 25 0 0 0 0 0 0 0 21 0 1 0 1841149277 438272 9 4294967295 134512640 134736556 3221224560 3221223920 1073813229 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/22729/statm): 107 9 90 68 0 39 0
[pid=22729] 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/wulflinc17/normalized-mps-v2-20-10-dano3mip.opb

[startup+10.0028 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 22729
Raw data (/proc/22729/stat): 22729 (bsolo) R 22728 22729 19316 0 -1 0 25422 0 0 0 913 69 0 0 25 0 1 0 1841149277 106135552 24972 4294967295 134512640 134736556 3221224560 3221223136 134539935 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22729/statm): 25912 24972 1116 68 0 25844 0
[pid=22729] vsize: 103648
Current children cumulated CPU time (s) 9.82
Current children cumulated vsize (Kb) 103648

[startup+20.0034 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 22729
Raw data (/proc/22729/stat): 22729 (bsolo) R 22728 22729 19316 0 -1 0 44333 0 0 0 1860 113 0 0 25 0 1 0 1841149277 181166080 43175 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22729/statm): 44230 43175 1116 68 0 44162 0
[pid=22729] vsize: 176920
Current children cumulated CPU time (s) 19.73
Current children cumulated vsize (Kb) 176920

[startup+30.004 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 22729
Raw data (/proc/22729/stat): 22729 (bsolo) R 22728 22729 19316 0 -1 0 59888 0 0 0 2820 146 0 0 25 0 1 0 1841149277 244396032 58730 4294967295 134512640 134736556 3221224560 3221222968 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22729/statm): 59667 58730 1116 68 0 59599 0
[pid=22729] vsize: 238668
Current children cumulated CPU time (s) 29.66
Current children cumulated vsize (Kb) 238668

[startup+40.0046 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 22729
Raw data (/proc/22729/stat): 22729 (bsolo) R 22728 22729 19316 0 -1 0 73045 0 0 0 3787 174 0 0 25 0 1 0 1841149277 297865216 71384 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22729/statm): 72721 71384 1116 68 0 72653 0
[pid=22729] vsize: 290884
Current children cumulated CPU time (s) 39.61
Current children cumulated vsize (Kb) 290884

[startup+50.0052 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 22729
Raw data (/proc/22729/stat): 22729 (bsolo) R 22728 22729 19316 0 -1 0 87930 0 0 0 4752 204 0 0 25 0 1 0 1841149277 354709504 85357 4294967295 134512640 134736556 3221224560 3221222696 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22729/statm): 86599 85357 1116 68 0 86531 0
[pid=22729] vsize: 346396
Current children cumulated CPU time (s) 49.56
Current children cumulated vsize (Kb) 346396

[startup+60.0048 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 22729
Raw data (/proc/22729/stat): 22729 (bsolo) R 22728 22729 19316 0 -1 0 98745 0 0 0 5724 226 0 0 25 0 1 0 1841149277 398684160 96172 4294967295 134512640 134736556 3221224560 3221221260 1077191177 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22729/statm): 97335 96172 1116 68 0 97267 0
[pid=22729] vsize: 389340
Current children cumulated CPU time (s) 59.5
Current children cumulated vsize (Kb) 389340

[startup+70.0044 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 22729
Raw data (/proc/22729/stat): 22729 (bsolo) R 22728 22729 19316 0 -1 0 109670 0 0 0 6697 248 0 0 25 0 1 0 1841149277 443207680 107097 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22729/statm): 108205 107097 1116 68 0 108137 0
[pid=22729] vsize: 432820
Current children cumulated CPU time (s) 69.45
Current children cumulated vsize (Kb) 432820

[startup+80.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 22729
Raw data (/proc/22729/stat): 22729 (bsolo) R 22728 22729 19316 0 -1 0 120461 0 0 0 7669 271 0 0 25 0 1 0 1841149277 487034880 117888 4294967295 134512640 134736556 3221224560 3221222852 1077314255 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22729/statm): 118905 117888 1116 68 0 118837 0
[pid=22729] vsize: 475620
Current children cumulated CPU time (s) 79.4
Current children cumulated vsize (Kb) 475620

[startup+90.0046 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 22729
Raw data (/proc/22729/stat): 22729 (bsolo) R 22728 22729 19316 0 -1 0 130382 0 0 0 8647 288 0 0 25 0 1 0 1841149277 527351808 127809 4294967295 134512640 134736556 3221224560 3221221348 1077358243 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22729/statm): 128748 127809 1116 68 0 128680 0
[pid=22729] vsize: 514992
Current children cumulated CPU time (s) 89.35
Current children cumulated vsize (Kb) 514992

[startup+100.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 22729
Raw data (/proc/22729/stat): 22729 (bsolo) R 22728 22729 19316 0 -1 0 139721 0 0 0 9624 308 0 0 25 0 1 0 1841149277 565350400 137148 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22729/statm): 138025 137148 1116 68 0 137957 0
[pid=22729] vsize: 552100
Current children cumulated CPU time (s) 99.32
Current children cumulated vsize (Kb) 552100

[startup+110.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 22729
Raw data (/proc/22729/stat): 22729 (bsolo) R 22728 22729 19316 0 -1 0 149918 0 0 0 10602 327 0 0 25 0 1 0 1841149277 606818304 146342 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22729/statm): 148149 146342 1116 68 0 148081 0
[pid=22729] vsize: 592596
Current children cumulated CPU time (s) 109.29
Current children cumulated vsize (Kb) 592596

[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 22729
Raw data (/proc/22729/stat): 22729 (bsolo) R 22728 22729 19316 0 -1 0 158914 0 0 0 11581 344 0 0 25 0 1 0 1841149277 643420160 155338 4294967295 134512640 134736556 3221224560 3221223088 134573621 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22729/statm): 157085 155342 1116 68 0 157017 0
[pid=22729] vsize: 628340
Current children cumulated CPU time (s) 119.25
Current children cumulated vsize (Kb) 628340

[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 22729
Raw data (/proc/22729/stat): 22729 (bsolo) R 22728 22729 19316 0 -1 0 167567 0 0 0 12560 361 0 0 25 0 1 0 1841149277 678567936 163991 4294967295 134512640 134736556 3221224560 3221223044 1077414446 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22729/statm): 165666 163991 1116 68 0 165598 0
[pid=22729] vsize: 662664
Current children cumulated CPU time (s) 129.21
Current children cumulated vsize (Kb) 662664

[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 22729
Raw data (/proc/22729/stat): 22729 (bsolo) R 22728 22729 19316 0 -1 0 179760 0 0 0 13528 389 0 0 25 0 1 0 1841149277 720826368 174360 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22729/statm): 175983 174360 1116 68 0 175915 0
[pid=22729] vsize: 703932
Current children cumulated CPU time (s) 139.17
Current children cumulated vsize (Kb) 703932

[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 22729
Raw data (/proc/22729/stat): 22729 (bsolo) R 22728 22729 19316 0 -1 0 188306 0 0 0 14508 405 0 0 25 0 1 0 1841149277 755580928 182906 4294967295 134512640 134736556 3221224560 3221223136 134539944 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22729/statm): 184468 182906 1116 68 0 184400 0
[pid=22729] vsize: 737872
Current children cumulated CPU time (s) 149.13
Current children cumulated vsize (Kb) 737872

[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 22729
Raw data (/proc/22729/stat): 22729 (bsolo) R 22728 22729 19316 0 -1 0 196826 0 0 0 15484 425 0 0 25 0 1 0 1841149277 790196224 191426 4294967295 134512640 134736556 3221224560 3221223064 1077294273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22729/statm): 192919 191426 1116 68 0 192851 0
[pid=22729] vsize: 771676
Current children cumulated CPU time (s) 159.09
Current children cumulated vsize (Kb) 771676

[startup+170.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 22729
Raw data (/proc/22729/stat): 22729 (bsolo) R 22728 22729 19316 0 -1 0 205129 0 0 0 16461 443 0 0 25 0 1 0 1841149277 824008704 199729 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22729/statm): 201174 199729 1116 68 0 201106 0
[pid=22729] vsize: 804696
Current children cumulated CPU time (s) 169.04
Current children cumulated vsize (Kb) 804696

[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 22729
Raw data (/proc/22729/stat): 22729 (bsolo) R 22728 22729 19316 0 -1 0 213370 0 0 0 17442 459 0 0 25 0 1 0 1841149277 857493504 207970 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22729/statm): 209349 207970 1116 68 0 209281 0
[pid=22729] vsize: 837396
Current children cumulated CPU time (s) 179.01
Current children cumulated vsize (Kb) 837396

[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 22729
Raw data (/proc/22729/stat): 22729 (bsolo) R 22728 22729 19316 0 -1 0 227651 0 0 0 18400 493 0 0 25 0 1 0 1841149277 915644416 222251 4294967295 134512640 134736556 3221224560 3221223144 1077377891 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22729/statm): 223546 222251 1116 68 0 223478 0
[pid=22729] vsize: 894184
Current children cumulated CPU time (s) 188.93
Current children cumulated vsize (Kb) 894184

[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 22729
Raw data (/proc/22729/stat): 22729 (bsolo) R 22728 22729 19316 0 -1 0 229222 0 0 0 19393 498 0 0 25 0 1 0 1841149277 922062848 223822 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22729/statm): 225113 223822 1116 68 0 225045 0
[pid=22729] vsize: 900452
Current children cumulated CPU time (s) 198.91
Current children cumulated vsize (Kb) 900452

[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 22729
Raw data (/proc/22729/stat): 22729 (bsolo) R 22728 22729 19316 0 -1 0 230468 0 0 0 20389 501 0 0 25 0 1 0 1841149277 927199232 225068 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22729/statm): 226367 225068 1116 68 0 226299 0
[pid=22729] vsize: 905468
Current children cumulated CPU time (s) 208.9
Current children cumulated vsize (Kb) 905468

[startup+220.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 22729
Raw data (/proc/22729/stat): 22729 (bsolo) R 22728 22729 19316 0 -1 0 231715 0 0 0 21383 505 0 0 25 0 1 0 1841149277 932335616 226315 4294967295 134512640 134736556 3221224560 3221223332 1077374177 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22729/statm): 227621 226315 1116 68 0 227553 0
[pid=22729] vsize: 910484
Current children cumulated CPU time (s) 218.88
Current children cumulated vsize (Kb) 910484

[startup+230.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 22729
Raw data (/proc/22729/stat): 22729 (bsolo) R 22728 22729 19316 0 -1 0 232995 0 0 0 22378 510 0 0 25 0 1 0 1841149277 937607168 227595 4294967295 134512640 134736556 3221224560 3221223072 134572999 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22729/statm): 228908 227595 1116 68 0 228840 0
[pid=22729] vsize: 915632
Current children cumulated CPU time (s) 228.88
Current children cumulated vsize (Kb) 915632

[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 22729
Raw data (/proc/22729/stat): 22729 (bsolo) R 22728 22729 19316 0 -1 0 234344 0 0 0 23374 512 0 0 25 0 1 0 1841149277 943013888 228944 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22729/statm): 230228 228944 1116 68 0 230160 0
[pid=22729] vsize: 920912
Current children cumulated CPU time (s) 238.86
Current children cumulated vsize (Kb) 920912



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+241.26 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 22729
Raw data (/proc/22729/stat): 22729 (bsolo) T 22728 22729 19316 0 -1 0 234510 0 0 0 23499 513 0 0 25 0 1 0 1841149277 943824896 229110 4294967295 134512640 134736556 3221224560 3221222828 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/22729/statm): 230426 229110 1116 68 0 230358 0
[pid=22729] vsize: 921704
Current children cumulated CPU time (s) 240.12
Current children cumulated vsize (Kb) 921704

Sending SIGTERM to -22729
Sleeping 2 seconds
Sending SIGKILL to -22729
One traced child (pid=22729) 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): 243.686
CPU time (s): 240.547
CPU user time (s): 234.993
CPU system time (s): 5.55415
CPU usage (%): 98.7122
Max. virtual memory (cumulated for all children) (Kb): 921704

Verifier Data

ERROR: no interpretation found !