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/MIPLIB/miplib2003/normalized-mps-v2-13-7-dano3mip.opb
MD5SUMb6a39917c8daf46435ad718b26e9c6f0
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 65536000
Number of bits of the biggest number in a constraint 26
Biggest sum of numbers in a constraint 555744750
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 variables266924
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 constraint10600

Trace number 5167

Launcher Data

LAUNCH ON wulflinc2 THE 2005-09-19 23:09:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=946 boxname=wulflinc2 idbench=946 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  b6a39917c8daf46435ad718b26e9c6f0  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-dano3mip.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-dano3mip.opb
IDLAUNCH: 946
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        843436 kB
Buffers:         34696 kB
Cached:         129672 kB
SwapCached:       1756 kB
Active:          59924 kB
Inactive:       107820 kB
HighTotal:      131008 kB
HighFree:         3724 kB
LowTotal:       903652 kB
LowFree:        839712 kB
SwapTotal:     2097136 kB
SwapFree:      2094852 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5700 kB
Slab:            17572 kB
Committed_AS:    72360 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 23:17:21 (client local time) WITH STATUS 0 IN 445.378 SECONDS
stats: 946 7 445.378 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/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1795530938 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31270/statm): 107 3 90 68 0 39 0
[pid=31270] 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/wulflinc2/normalized-mps-v2-13-7-dano3mip.opb

[startup+10.0034 s]
Raw data (loadavg): 0.94 0.96 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 45789 0 0 0 867 108 0 0 25 0 1 0 1795530938 189087744 45297 4294967295 134512640 134736556 3221224560 3221222696 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31270/statm): 46164 45297 1116 68 0 46096 0
[pid=31270] vsize: 184656
Current children cumulated CPU time (s) 9.75
Current children cumulated vsize (Kb) 184656

[startup+20.0041 s]
Raw data (loadavg): 0.95 0.96 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 66589 0 0 0 1814 152 0 0 25 0 1 0 1795530938 271757312 65337 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31270/statm): 66347 65337 1116 68 0 66279 0
[pid=31270] vsize: 265388
Current children cumulated CPU time (s) 19.66
Current children cumulated vsize (Kb) 265388

[startup+30.0048 s]
Raw data (loadavg): 0.95 0.96 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 82453 0 0 0 2774 185 0 0 25 0 1 0 1795530938 336388096 81201 4294967295 134512640 134736556 3221224560 3221223280 134525071 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31270/statm): 82126 81201 1116 68 0 82058 0
[pid=31270] vsize: 328504
Current children cumulated CPU time (s) 29.59
Current children cumulated vsize (Kb) 328504

[startup+40.0055 s]
Raw data (loadavg): 0.96 0.96 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 96741 0 0 0 3737 217 0 0 25 0 1 0 1795530938 394645504 94986 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31270/statm): 96349 94986 1116 68 0 96281 0
[pid=31270] vsize: 385396
Current children cumulated CPU time (s) 39.54
Current children cumulated vsize (Kb) 385396

[startup+50.0062 s]
Raw data (loadavg): 0.97 0.96 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 109291 0 0 0 4704 244 0 0 25 0 1 0 1795530938 445673472 107536 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 108807 107536 1116 68 0 108739 0
[pid=31270] vsize: 435228
Current children cumulated CPU time (s) 49.48
Current children cumulated vsize (Kb) 435228

[startup+60.0059 s]
Raw data (loadavg): 0.97 0.96 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 122226 0 0 0 5675 268 0 0 25 0 1 0 1795530938 498429952 120471 4294967295 134512640 134736556 3221224560 3221223304 1076647541 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 121687 120471 1116 68 0 121619 0
[pid=31270] vsize: 486748
Current children cumulated CPU time (s) 59.43
Current children cumulated vsize (Kb) 486748

[startup+70.0056 s]
Raw data (loadavg): 0.98 0.96 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 134477 0 0 0 6645 293 0 0 25 0 1 0 1795530938 544194560 131710 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 132860 131710 1116 68 0 132792 0
[pid=31270] vsize: 531440
Current children cumulated CPU time (s) 69.38
Current children cumulated vsize (Kb) 531440

[startup+80.0063 s]
Raw data (loadavg): 0.98 0.96 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 145833 0 0 0 7618 316 0 0 25 0 1 0 1795530938 590598144 143066 4294967295 134512640 134736556 3221224560 3221223068 1077399566 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 144189 143066 1116 68 0 144121 0
[pid=31270] vsize: 576756
Current children cumulated CPU time (s) 79.34
Current children cumulated vsize (Kb) 576756

[startup+90.006 s]
Raw data (loadavg): 0.98 0.96 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 155560 0 0 0 8595 334 0 0 25 0 1 0 1795530938 630206464 152793 4294967295 134512640 134736556 3221224560 3221223324 1077334098 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31270/statm): 153859 152793 1116 68 0 153791 0
[pid=31270] vsize: 615436
Current children cumulated CPU time (s) 89.29
Current children cumulated vsize (Kb) 615436

[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 164393 0 0 0 9573 352 0 0 25 0 1 0 1795530938 666181632 161626 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 162642 161626 1116 68 0 162574 0
[pid=31270] vsize: 650568
Current children cumulated CPU time (s) 99.25
Current children cumulated vsize (Kb) 650568

[startup+110.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 173154 0 0 0 10551 370 0 0 25 0 1 0 1795530938 701906944 170387 4294967295 134512640 134736556 3221224560 3221222804 1077414363 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 171364 170387 1116 68 0 171296 0
[pid=31270] vsize: 685456
Current children cumulated CPU time (s) 109.21
Current children cumulated vsize (Kb) 685456

[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 179773 0 0 0 11537 381 0 0 17 0 1 0 1795530938 728838144 177006 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 177939 177006 1116 68 0 177871 0
[pid=31270] vsize: 711756
Current children cumulated CPU time (s) 119.18
Current children cumulated vsize (Kb) 711756

[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 185707 0 0 0 12520 395 0 0 25 0 1 0 1795530938 752979968 182940 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 183833 182940 1116 68 0 183765 0
[pid=31270] vsize: 735332
Current children cumulated CPU time (s) 129.15
Current children cumulated vsize (Kb) 735332

[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 191746 0 0 0 13504 407 0 0 25 0 1 0 1795530938 777588736 188979 4294967295 134512640 134736556 3221224560 3221223088 134572971 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 189841 188979 1116 68 0 189773 0
[pid=31270] vsize: 759364
Current children cumulated CPU time (s) 139.11
Current children cumulated vsize (Kb) 759364

[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 198471 0 0 0 14486 422 0 0 25 0 1 0 1795530938 805122048 194701 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 196563 194701 1116 68 0 196495 0
[pid=31270] vsize: 786252
Current children cumulated CPU time (s) 149.08
Current children cumulated vsize (Kb) 786252

[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 203779 0 0 0 15472 434 0 0 25 0 1 0 1795530938 826748928 200009 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 201843 200009 1116 68 0 201775 0
[pid=31270] vsize: 807372
Current children cumulated CPU time (s) 159.06
Current children cumulated vsize (Kb) 807372

[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 207774 0 0 0 16461 442 0 0 25 0 1 0 1795530938 843116544 204004 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 205839 204004 1116 68 0 205771 0
[pid=31270] vsize: 823356
Current children cumulated CPU time (s) 169.03
Current children cumulated vsize (Kb) 823356

[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 208965 0 0 0 17455 446 0 0 25 0 1 0 1795530938 847982592 205195 4294967295 134512640 134736556 3221224560 3221221324 1077091153 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 207027 205195 1116 68 0 206959 0
[pid=31270] vsize: 828108
Current children cumulated CPU time (s) 179.01
Current children cumulated vsize (Kb) 828108

[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 210210 0 0 0 18449 451 0 0 25 0 1 0 1795530938 852983808 206440 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 208248 206440 1116 68 0 208180 0
[pid=31270] vsize: 832992
Current children cumulated CPU time (s) 189
Current children cumulated vsize (Kb) 832992

[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 211260 0 0 0 19444 454 0 0 25 0 1 0 1795530938 857309184 207490 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 209304 207491 1116 68 0 209236 0
[pid=31270] vsize: 837216
Current children cumulated CPU time (s) 198.98
Current children cumulated vsize (Kb) 837216

[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 212587 0 0 0 20439 458 0 0 25 0 1 0 1795530938 862715904 208817 4294967295 134512640 134736556 3221224560 3221223296 134576119 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31270/statm): 210624 208817 1116 68 0 210556 0
[pid=31270] vsize: 842496
Current children cumulated CPU time (s) 208.97
Current children cumulated vsize (Kb) 842496

[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 214107 0 0 0 21431 463 0 0 25 0 1 0 1795530938 868933632 210337 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 212142 210337 1116 68 0 212074 0
[pid=31270] vsize: 848568
Current children cumulated CPU time (s) 218.94
Current children cumulated vsize (Kb) 848568

[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 216030 0 0 0 22421 471 0 0 25 0 1 0 1795530938 876908544 212260 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 214089 212260 1116 68 0 214021 0
[pid=31270] vsize: 856356
Current children cumulated CPU time (s) 228.92
Current children cumulated vsize (Kb) 856356

[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 217670 0 1 0 23412 478 0 0 25 0 1 0 1795530938 883617792 213603 4294967295 134512640 134736556 3221224560 3221223136 134539935 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31270/statm): 215727 213603 1116 68 0 215659 0
[pid=31270] vsize: 862908
Current children cumulated CPU time (s) 238.9
Current children cumulated vsize (Kb) 862908

[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 218187 0 1 0 24408 481 0 0 25 0 1 0 1795530938 885968896 213895 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 216301 213895 1116 68 0 216233 0
[pid=31270] vsize: 865204
Current children cumulated CPU time (s) 248.89
Current children cumulated vsize (Kb) 865204

[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 218733 0 1 0 25406 483 0 0 25 0 1 0 1795530938 888471552 214331 4294967295 134512640 134736556 3221224560 3221221248 1077359372 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 216912 214331 1116 68 0 216844 0
[pid=31270] vsize: 867648
Current children cumulated CPU time (s) 258.89
Current children cumulated vsize (Kb) 867648

[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 219184 0 1 0 26402 486 0 0 25 0 1 0 1795530938 890531840 214226 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 217415 214226 1116 68 0 217347 0
[pid=31270] vsize: 869660
Current children cumulated CPU time (s) 268.88
Current children cumulated vsize (Kb) 869660

[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 219678 0 1 0 27401 487 0 0 25 0 1 0 1795530938 892719104 214698 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 217949 214698 1116 68 0 217881 0
[pid=31270] vsize: 871796
Current children cumulated CPU time (s) 278.88
Current children cumulated vsize (Kb) 871796

[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 220114 0 1 0 28399 488 0 0 25 0 1 0 1795530938 894750720 215113 4294967295 134512640 134736556 3221224560 3221221404 1077244613 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 218445 215113 1116 68 0 218377 0
[pid=31270] vsize: 873780
Current children cumulated CPU time (s) 288.87
Current children cumulated vsize (Kb) 873780

[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 220580 0 1 0 29397 489 0 0 25 0 1 0 1795530938 896700416 215563 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 218921 215563 1116 68 0 218853 0
[pid=31270] vsize: 875684
Current children cumulated CPU time (s) 298.86
Current children cumulated vsize (Kb) 875684

[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 220984 0 1 0 30396 491 0 0 25 0 1 0 1795530938 898625536 215576 4294967295 134512640 134736556 3221224560 3221223060 1077049349 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 219391 215576 1116 68 0 219323 0
[pid=31270] vsize: 877564
Current children cumulated CPU time (s) 308.87
Current children cumulated vsize (Kb) 877564

[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 221465 0 1 0 31394 493 0 0 25 0 1 0 1795530938 900714496 216042 4294967295 134512640 134736556 3221224560 3221223136 134539935 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 219901 216042 1116 68 0 219833 0
[pid=31270] vsize: 879604
Current children cumulated CPU time (s) 318.87
Current children cumulated vsize (Kb) 879604

[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 221872 0 1 0 32392 494 0 0 25 0 1 0 1795530938 902541312 216253 4294967295 134512640 134736556 3221224560 3221223060 1077049349 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31270/statm): 220347 216253 1116 68 0 220279 0
[pid=31270] vsize: 881388
Current children cumulated CPU time (s) 328.86
Current children cumulated vsize (Kb) 881388

[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 222292 0 1 0 33390 496 0 0 25 0 1 0 1795530938 904491008 216654 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 220823 216654 1116 68 0 220755 0
[pid=31270] vsize: 883292
Current children cumulated CPU time (s) 338.86
Current children cumulated vsize (Kb) 883292

[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 222693 0 1 0 34388 498 0 0 25 0 1 0 1795530938 906342400 216829 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 221275 216829 1116 68 0 221207 0
[pid=31270] vsize: 885100
Current children cumulated CPU time (s) 348.86
Current children cumulated vsize (Kb) 885100

[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 223040 0 1 0 35387 499 0 0 25 0 1 0 1795530938 907866112 217161 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 221647 217161 1116 68 0 221579 0
[pid=31270] vsize: 886588
Current children cumulated CPU time (s) 358.86
Current children cumulated vsize (Kb) 886588

[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 223516 0 1 0 36385 500 0 0 25 0 1 0 1795530938 909856768 217405 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 222133 217405 1116 68 0 222065 0
[pid=31270] vsize: 888532
Current children cumulated CPU time (s) 368.85
Current children cumulated vsize (Kb) 888532

[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 224035 0 3 0 37378 503 0 0 25 0 1 0 1795530938 912211968 217664 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 222708 217664 1116 68 0 222640 0
[pid=31270] vsize: 890832
Current children cumulated CPU time (s) 378.81
Current children cumulated vsize (Kb) 890832

[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 224582 0 4 0 38374 504 0 0 25 0 1 0 1795530938 914649088 218190 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 223303 218190 1116 68 0 223235 0
[pid=31270] vsize: 893212
Current children cumulated CPU time (s) 388.78
Current children cumulated vsize (Kb) 893212

[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 225085 0 5 0 39371 506 0 0 25 0 1 0 1795530938 916762624 218245 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 223819 218245 1116 68 0 223751 0
[pid=31270] vsize: 895276
Current children cumulated CPU time (s) 398.77
Current children cumulated vsize (Kb) 895276

[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 225579 0 5 0 40369 508 0 0 25 0 1 0 1795530938 919080960 218718 4294967295 134512640 134736556 3221224560 3221223144 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 224385 218718 1116 68 0 224317 0
[pid=31270] vsize: 897540
Current children cumulated CPU time (s) 408.77
Current children cumulated vsize (Kb) 897540

[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 226078 0 29 0 41344 510 0 0 25 0 1 0 1795530938 921038848 218818 4294967295 134512640 134736556 3221224560 3221223248 134524934 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 224863 218818 1116 68 0 224795 0
[pid=31270] vsize: 899452
Current children cumulated CPU time (s) 418.54
Current children cumulated vsize (Kb) 899452

[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) R 31269 31270 6872 0 -1 0 227740 0 68 0 42302 517 0 0 25 0 1 0 1795530938 927391744 219878 4294967295 134512640 134736556 3221224560 3221223064 1077049329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31270/statm): 226414 219878 1116 68 0 226346 0
[pid=31270] vsize: 905656
Current children cumulated CPU time (s) 428.19
Current children cumulated vsize (Kb) 905656

[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.98 1/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) D 31269 31270 6872 0 -1 0 229403 0 119 0 43240 526 0 0 24 0 1 0 1795530938 933609472 220375 4294967295 134512640 134736556 3221224560 3221222920 1077377328 0 0 5 16384 3222515881 0 0 17 0 0 0
Raw data (/proc/31270/statm): 227932 220375 1116 68 0 227864 0
[pid=31270] vsize: 911728
Current children cumulated CPU time (s) 437.66
Current children cumulated vsize (Kb) 911728



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+447.581 s]
Raw data (loadavg): 0.99 0.97 0.98 1/56 31270
Raw data (/proc/31270/stat): 31270 (bsolo) T 31269 31270 6872 0 -1 0 230426 0 166 0 43965 530 0 0 25 0 1 0 1795530938 953282560 221444 4294967295 134512640 134736556 3221224560 3221223224 1077799011 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/31270/statm): 232735 221444 1116 68 0 232667 0
[pid=31270] vsize: 930940
Current children cumulated CPU time (s) 444.95
Current children cumulated vsize (Kb) 930940

Sending SIGTERM to -31270
Sleeping 2 seconds
Sending SIGKILL to -31270
One traced child (pid=31270) 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): 450.003
CPU time (s): 445.378
CPU user time (s): 439.651
CPU system time (s): 5.72713
CPU usage (%): 98.9722
Max. virtual memory (cumulated for all children) (Kb): 930940

Verifier Data

ERROR: no interpretation found !