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/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-dano3_4.opb
MD5SUM0fb19246428e886fa1f72b2bd977e0d3
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 134217728000
Number of bits of the biggest number in a constraint 37
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 variables404566
Total number of constraints3778
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)96
Number of constraints which are nor clauses,nor cardinality constraints3682
Minimum length of a constraint1
Maximum length of a constraint15900

Trace number 4343

Launcher Data

LAUNCH ON wulflinc1 THE 2005-09-19 17:06:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=712 boxname=wulflinc1 idbench=712 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  0fb19246428e886fa1f72b2bd977e0d3  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-dano3_4.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-dano3_4.opb
IDLAUNCH: 712
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 2
cpu MHz		: 451.053
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:        896464 kB
Buffers:           800 kB
Cached:         106768 kB
SwapCached:       1028 kB
Active:          57188 kB
Inactive:        53428 kB
HighTotal:      131008 kB
HighFree:        19852 kB
LowTotal:       903652 kB
LowFree:        876612 kB
SwapTotal:     2097136 kB
SwapFree:      2095388 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           7180 kB
Slab:            21472 kB
Committed_AS:    95932 kB
PageTables:        364 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 17:10:23 (client local time) WITH STATUS 0 IN 223.533 SECONDS
stats: 712 7 223.533 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/10361/stat): 10361 (bsolo) R 10360 10361 10120 34816 10324 0 18 0 0 0 0 0 0 0 21 0 1 0 1736482764 438272 3 4294967295 134512640 134736556 3221221648 3221221648 1073744960 0 0 0 0 0 0 0 17 0 0 0
Raw data (/proc/10361/statm): 107 3 90 68 0 39 0
[pid=10361] vsize: 428
open syscall for file /etc/ld.so.preload
open syscall for file /usr/local/intel-8.0-20031016/lib/tls/i686/mmx/libosl.so
open syscall for file /usr/local/intel-8.0-20031016/lib/tls/i686/libosl.so
open syscall for file /usr/local/intel-8.0-20031016/lib/tls/mmx/libosl.so
open syscall for file /usr/local/intel-8.0-20031016/lib/tls/libosl.so
open syscall for file /usr/local/intel-8.0-20031016/lib/i686/mmx/libosl.so
open syscall for file /usr/local/intel-8.0-20031016/lib/i686/libosl.so
open syscall for file /usr/local/intel-8.0-20031016/lib/mmx/libosl.so
open syscall for file /usr/local/intel-8.0-20031016/lib/libosl.so
open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/tls/i686/mmx/libosl.so
open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/tls/i686/libosl.so
open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/tls/mmx/libosl.so
open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/tls/libosl.so
open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/i686/mmx/libosl.so
open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/i686/libosl.so
open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/mmx/libosl.so
open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/libosl.so
open syscall for file /usr/local/globus-2.4.3/lib/tls/i686/mmx/libosl.so
open syscall for file /usr/local/globus-2.4.3/lib/tls/i686/libosl.so
open syscall for file /usr/local/globus-2.4.3/lib/tls/mmx/libosl.so
open syscall for file /usr/local/globus-2.4.3/lib/tls/libosl.so
open syscall for file /usr/local/globus-2.4.3/lib/i686/mmx/libosl.so
open syscall for file /usr/local/globus-2.4.3/lib/i686/libosl.so
open syscall for file /usr/local/globus-2.4.3/lib/mmx/libosl.so
open syscall for file /usr/local/globus-2.4.3/lib/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 /usr/local/intel-8.0-20031016/lib/libstdc++-libc6.2-2.so.3
open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/libstdc++-libc6.2-2.so.3
open syscall for file /usr/local/globus-2.4.3/lib/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 /usr/local/intel-8.0-20031016/lib/libm.so.6
open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/libm.so.6
open syscall for file /usr/local/globus-2.4.3/lib/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 /usr/local/intel-8.0-20031016/lib/libpthread.so.0
open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/libpthread.so.0
open syscall for file /usr/local/globus-2.4.3/lib/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 /usr/local/intel-8.0-20031016/lib/libc.so.6
open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/libc.so.6
open syscall for file /usr/local/globus-2.4.3/lib/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 /usr/local/intel-8.0-20031016/lib/libgcc_s.so.1
open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/libgcc_s.so.1
open syscall for file /usr/local/globus-2.4.3/lib/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/wulflinc1/normalized-mps-v2-20-10-dano3_4.opb

[startup+10.0031 s]
Raw data (loadavg): 0.39 0.22 0.17 2/57 10361
Raw data (/proc/10361/stat): 10361 (bsolo) R 10360 10361 10120 34816 10324 0 30189 0 0 0 911 72 0 0 25 0 1 0 1736482764 126013440 29837 4294967295 134512640 134736556 3221221648 3221218732 1077244613 0 0 0 16384 0 0 0 17 0 0 0
Raw data (/proc/10361/statm): 30765 29837 1116 68 0 30697 0
[pid=10361] vsize: 123060
Current children cumulated CPU time (s) 9.83
Current children cumulated vsize (Kb) 123060

[startup+20.0039 s]
Raw data (loadavg): 0.49 0.24 0.18 2/57 10361
Raw data (/proc/10361/stat): 10361 (bsolo) R 10360 10361 10120 34816 10324 0 49427 0 0 0 1863 112 0 0 25 0 1 0 1736482764 202604544 48417 4294967295 134512640 134736556 3221221648 3221220156 1077399562 0 0 0 16384 0 0 0 17 0 0 0
Raw data (/proc/10361/statm): 49464 48417 1116 68 0 49396 0
[pid=10361] vsize: 197856
Current children cumulated CPU time (s) 19.75
Current children cumulated vsize (Kb) 197856

[startup+30.0037 s]
Raw data (loadavg): 0.56 0.27 0.18 2/57 10361
Raw data (/proc/10361/stat): 10361 (bsolo) R 10360 10361 10120 34816 10324 0 64523 0 0 0 2824 145 0 0 25 0 1 0 1736482764 263966720 63513 4294967295 134512640 134736556 3221221648 3221220160 134572994 0 0 0 16384 0 0 0 17 1 0 0
Raw data (/proc/10361/statm): 64445 63513 1116 68 0 64377 0
[pid=10361] vsize: 257780
Current children cumulated CPU time (s) 29.69
Current children cumulated vsize (Kb) 257780

[startup+40.0035 s]
Raw data (loadavg): 0.63 0.29 0.19 2/57 10361
Raw data (/proc/10361/stat): 10361 (bsolo) R 10360 10361 10120 34816 10324 0 77284 0 0 0 3793 170 0 0 25 0 1 0 1736482764 315912192 75771 4294967295 134512640 134736556 3221221648 3221220392 134560233 0 0 0 16384 0 0 0 17 1 0 0
Raw data (/proc/10361/statm): 77127 75771 1116 68 0 77059 0
[pid=10361] vsize: 308508
Current children cumulated CPU time (s) 39.63
Current children cumulated vsize (Kb) 308508

[startup+50.0042 s]
Raw data (loadavg): 0.69 0.31 0.20 2/57 10361
Raw data (/proc/10361/stat): 10361 (bsolo) R 10360 10361 10120 34816 10324 0 91820 0 0 0 4759 199 0 0 25 0 1 0 1736482764 371683328 89497 4294967295 134512640 134736556 3221221648 3221220156 1077399562 0 0 0 16384 0 0 0 17 1 0 0
Raw data (/proc/10361/statm): 90743 89497 1116 68 0 90675 0
[pid=10361] vsize: 362972
Current children cumulated CPU time (s) 49.58
Current children cumulated vsize (Kb) 362972

[startup+60.004 s]
Raw data (loadavg): 0.73 0.33 0.21 2/57 10361
Raw data (/proc/10361/stat): 10361 (bsolo) R 10360 10361 10120 34816 10324 0 103167 0 0 0 5732 220 0 0 25 0 1 0 1736482764 417828864 100844 4294967295 134512640 134736556 3221221648 3221220156 1077049373 0 0 0 16384 0 0 0 17 1 0 0
Raw data (/proc/10361/statm): 102009 100844 1116 68 0 101941 0
[pid=10361] vsize: 408036
Current children cumulated CPU time (s) 59.52
Current children cumulated vsize (Kb) 408036

[startup+70.0048 s]
Raw data (loadavg): 0.77 0.36 0.22 2/57 10361
Raw data (/proc/10361/stat): 10361 (bsolo) R 10360 10361 10120 34816 10324 0 113025 0 0 0 6708 240 0 0 25 0 1 0 1736482764 457965568 110702 4294967295 134512640 134736556 3221221648 3221220156 1077399562 0 0 0 16384 0 0 0 17 1 0 0
Raw data (/proc/10361/statm): 111808 110702 1116 68 0 111740 0
[pid=10361] vsize: 447232
Current children cumulated CPU time (s) 69.48
Current children cumulated vsize (Kb) 447232

[startup+80.0056 s]
Raw data (loadavg): 0.81 0.38 0.22 2/57 10361
Raw data (/proc/10361/stat): 10361 (bsolo) R 10360 10361 10120 34816 10324 0 123176 0 0 0 7682 261 0 0 25 0 1 0 1736482764 499154944 120853 4294967295 134512640 134736556 3221221648 3221220136 1077358896 0 0 0 16384 0 0 0 17 1 0 0
Raw data (/proc/10361/statm): 121864 120853 1116 68 0 121796 0
[pid=10361] vsize: 487456
Current children cumulated CPU time (s) 79.43
Current children cumulated vsize (Kb) 487456

[startup+90.0054 s]
Raw data (loadavg): 0.84 0.40 0.23 2/57 10361
Raw data (/proc/10361/stat): 10361 (bsolo) R 10360 10361 10120 34816 10324 0 133522 0 0 0 8657 280 0 0 25 0 1 0 1736482764 541257728 131199 4294967295 134512640 134736556 3221221648 3221220464 134569822 0 0 0 16384 0 0 0 17 0 0 0
Raw data (/proc/10361/statm): 132143 131199 1116 68 0 132075 0
[pid=10361] vsize: 528572
Current children cumulated CPU time (s) 89.37
Current children cumulated vsize (Kb) 528572

[startup+100.006 s]
Raw data (loadavg): 0.86 0.42 0.24 2/57 10361
Raw data (/proc/10361/stat): 10361 (bsolo) R 10360 10361 10120 34816 10324 0 143125 0 0 0 9633 300 0 0 25 0 1 0 1736482764 580329472 140802 4294967295 134512640 134736556 3221221648 3221220112 1077313969 0 0 0 16384 0 0 0 17 1 0 0
Raw data (/proc/10361/statm): 141682 140802 1116 68 0 141614 0
[pid=10361] vsize: 566728
Current children cumulated CPU time (s) 99.33
Current children cumulated vsize (Kb) 566728

[startup+110.006 s]
Raw data (loadavg): 0.88 0.43 0.25 2/57 10361
Raw data (/proc/10361/stat): 10361 (bsolo) R 10360 10361 10120 34816 10324 0 153582 0 0 0 10606 322 0 0 25 0 1 0 1736482764 622899200 150256 4294967295 134512640 134736556 3221221648 3221220160 134572994 0 0 0 16384 0 0 0 17 1 0 0
Raw data (/proc/10361/statm): 152075 150256 1116 68 0 152007 0
[pid=10361] vsize: 608300
Current children cumulated CPU time (s) 109.28
Current children cumulated vsize (Kb) 608300

[startup+120.007 s]
Raw data (loadavg): 0.90 0.45 0.25 2/57 10361
Raw data (/proc/10361/stat): 10361 (bsolo) R 10360 10361 10120 34816 10324 0 165420 0 0 0 11579 346 0 0 25 0 1 0 1736482764 664375296 160464 4294967295 134512640 134736556 3221221648 3221220160 134572994 0 0 0 16384 0 0 0 17 1 0 0
Raw data (/proc/10361/statm): 162201 160464 1116 68 0 162133 0
[pid=10361] vsize: 648804
Current children cumulated CPU time (s) 119.25
Current children cumulated vsize (Kb) 648804

[startup+130.006 s]
Raw data (loadavg): 0.92 0.47 0.26 2/57 10361
Raw data (/proc/10361/stat): 10361 (bsolo) R 10360 10361 10120 34816 10324 0 174362 0 0 0 12555 366 0 0 25 0 1 0 1736482764 700706816 169406 4294967295 134512640 134736556 3221221648 3221220160 134572999 0 0 0 16384 0 0 0 17 1 0 0
Raw data (/proc/10361/statm): 171071 169406 1116 68 0 171003 0
[pid=10361] vsize: 684284
Current children cumulated CPU time (s) 129.21
Current children cumulated vsize (Kb) 684284

[startup+140.006 s]
Raw data (loadavg): 0.93 0.49 0.27 2/57 10361
Raw data (/proc/10361/stat): 10361 (bsolo) R 10360 10361 10120 34816 10324 0 182795 0 0 0 13535 382 0 0 25 0 1 0 1736482764 735051776 177839 4294967295 134512640 134736556 3221221648 3221220056 1077378037 0 0 0 16384 0 0 0 17 1 0 0
Raw data (/proc/10361/statm): 179456 177839 1116 68 0 179388 0
[pid=10361] vsize: 717824
Current children cumulated CPU time (s) 139.17
Current children cumulated vsize (Kb) 717824

[startup+150.007 s]
Raw data (loadavg): 0.94 0.50 0.28 2/57 10361
Raw data (/proc/10361/stat): 10361 (bsolo) R 10360 10361 10120 34816 10324 0 191059 0 0 0 14516 398 0 0 25 0 1 0 1736482764 768638976 186103 4294967295 134512640 134736556 3221221648 3221219532 1077272282 0 0 0 16384 0 0 0 17 1 0 0
Raw data (/proc/10361/statm): 187656 186103 1116 68 0 187588 0
[pid=10361] vsize: 750624
Current children cumulated CPU time (s) 149.14
Current children cumulated vsize (Kb) 750624

[startup+160.007 s]
Raw data (loadavg): 0.95 0.52 0.28 1/57 10361
Raw data (/proc/10361/stat): 10361 (bsolo) T 10360 10361 10120 34816 10324 0 199211 0 0 0 15495 415 0 0 25 0 1 0 1736482764 801898496 194255 4294967295 134512640 134736556 3221221648 3221219868 1077782939 0 0 0 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10361/statm): 195776 194255 1116 68 0 195708 0
[pid=10361] vsize: 783104
Current children cumulated CPU time (s) 159.1
Current children cumulated vsize (Kb) 783104

[startup+170.008 s]
Raw data (loadavg): 0.95 0.53 0.29 2/57 10361
Raw data (/proc/10361/stat): 10361 (bsolo) R 10360 10361 10120 34816 10324 0 207442 0 0 0 16475 432 0 0 25 0 1 0 1736482764 835231744 202486 4294967295 134512640 134736556 3221221648 3221220176 134573621 0 0 0 16384 0 0 0 17 1 0 0
Raw data (/proc/10361/statm): 203914 202486 1116 68 0 203846 0
[pid=10361] vsize: 815656
Current children cumulated CPU time (s) 169.07
Current children cumulated vsize (Kb) 815656

[startup+180.008 s]
Raw data (loadavg): 0.96 0.55 0.30 2/57 10361
Raw data (/proc/10361/stat): 10361 (bsolo) R 10360 10361 10120 34816 10324 0 215255 0 0 0 17454 449 0 0 25 0 1 0 1736482764 867119104 210299 4294967295 134512640 134736556 3221221648 3221220156 1077399562 0 0 0 16384 0 0 0 17 1 0 0
Raw data (/proc/10361/statm): 211699 210299 1116 68 0 211631 0
[pid=10361] vsize: 846796
Current children cumulated CPU time (s) 179.03
Current children cumulated vsize (Kb) 846796

[startup+190.008 s]
Raw data (loadavg): 0.97 0.56 0.31 3/57 10361
Raw data (/proc/10361/stat): 10361 (bsolo) R 10360 10361 10120 34816 10324 0 228979 0 0 0 18413 484 0 0 25 0 1 0 1736482764 922865664 223515 4294967295 134512640 134736556 3221221648 3221218412 1077091118 0 0 0 16384 0 0 0 17 1 0 0
Raw data (/proc/10361/statm): 225309 223516 1116 68 0 225241 0
[pid=10361] vsize: 901236
Current children cumulated CPU time (s) 188.97
Current children cumulated vsize (Kb) 901236

[startup+200.009 s]
Raw data (loadavg): 1.04 0.59 0.32 2/57 10361
Raw data (/proc/10361/stat): 10361 (bsolo) R 10360 10361 10120 34816 10324 0 231646 0 192 0 19057 493 0 0 21 0 1 0 1736482764 929644544 219704 4294967295 134512640 134736556 3221221648 3221220156 1077399562 0 0 0 16384 0 0 0 17 0 0 0
Raw data (/proc/10361/statm): 226964 219704 1116 68 0 226896 0
[pid=10361] vsize: 907856
Current children cumulated CPU time (s) 195.5
Current children cumulated vsize (Kb) 907856

[startup+210.009 s]
Raw data (loadavg): 1.04 0.61 0.32 2/57 10361
Raw data (/proc/10361/stat): 10361 (bsolo) R 10360 10361 10120 34816 10324 0 233142 0 194 0 20049 497 0 0 25 0 1 0 1736482764 934780928 221048 4294967295 134512640 134736556 3221221648 3221220156 1077399562 0 0 0 16384 0 0 0 17 1 0 0
Raw data (/proc/10361/statm): 228218 221048 1116 68 0 228150 0
[pid=10361] vsize: 912872
Current children cumulated CPU time (s) 205.46
Current children cumulated vsize (Kb) 912872

[startup+220.009 s]
Raw data (loadavg): 1.03 0.62 0.33 2/57 10361
Raw data (/proc/10361/stat): 10361 (bsolo) R 10360 10361 10120 34816 10324 0 234585 0 270 0 21026 503 0 0 25 0 1 0 1736482764 939782144 222367 4294967295 134512640 134736556 3221221648 3221220504 1077334139 0 0 0 16384 0 0 0 17 0 0 0
Raw data (/proc/10361/statm): 229439 222367 1116 68 0 229371 0
[pid=10361] vsize: 917756
Current children cumulated CPU time (s) 215.29
Current children cumulated vsize (Kb) 917756



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+228.134 s]
Raw data (loadavg): 1.03 0.63 0.34 1/57 10361
Raw data (/proc/10361/stat): 10361 (bsolo) T 10360 10361 10120 34816 10324 0 235738 0 328 0 21803 507 0 0 25 0 1 0 1736482764 943837184 222769 4294967295 134512640 134736556 3221221648 3221219916 1077782939 0 0 0 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10361/statm): 230429 222769 1116 68 0 230361 0
[pid=10361] vsize: 921716
Current children cumulated CPU time (s) 223.1
Current children cumulated vsize (Kb) 921716

Sending SIGTERM to -10361
Sleeping 2 seconds

[startup+230.009 s]
Raw data (loadavg): 1.03 0.63 0.34 1/58 10362
Raw data (/proc/10361/stat): 10361 (bsolo) S 10360 10361 10120 34816 10324 0 235741 0 328 0 21803 507 0 0 25 0 1 0 1736482764 943837184 222772 4294967295 134512640 134736556 3221221648 3221218888 1077867073 0 16384 0 16384 0 0 0 17 0 0 0
Raw data (/proc/10361/statm): 230429 222772 1116 68 0 230361 0
[pid=10361] vsize: 921716
Current children cumulated CPU time (s) 223.1
Current children cumulated vsize (Kb) 921716
Sending SIGKILL to -10361
One traced child (pid=10361) 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): 230.559
CPU time (s): 223.533
CPU user time (s): 218.039
CPU system time (s): 5.49416
CPU usage (%): 96.9528
Max. virtual memory (cumulated for all children) (Kb): 921716

Verifier Data

ERROR: no interpretation found !