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-pk1.opb
MD5SUM9c5126d785c8d5465220e290c5fc25a6
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6656
Optimality of the best value was proved NO
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 524288
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 2421502
Number of bits of the biggest sum of numbers22
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.01
Number of variables675
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)55
Number of constraints which are nor clauses,nor cardinality constraints45
Minimum length of a constraint1
Maximum length of a constraint95

Trace number 5180

Launcher Data

LAUNCH ON wulflinc12 THE 2005-09-19 23:21:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=974 boxname=wulflinc12 idbench=974 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  9c5126d785c8d5465220e290c5fc25a6  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-pk1.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-pk1.opb
IDLAUNCH: 974
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        918836 kB
Buffers:         33172 kB
Cached:          51920 kB
SwapCached:        520 kB
Active:          29812 kB
Inactive:        57840 kB
HighTotal:      131008 kB
HighFree:        77000 kB
LowTotal:       903652 kB
LowFree:        841836 kB
SwapTotal:     2097136 kB
SwapFree:      2096072 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5884 kB
Slab:            22384 kB
Committed_AS:    64136 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 23:25:44 (client local time) WITH STATUS 0 IN 250.398 SECONDS
stats: 974 7 250.398 0

Solver Data

c INFO: OSL Context initialized.
c Initial problem consists of 675 variables and 60 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 0.249
c After prepocess the problem consists of 675 variables and 60 constraints.
c Initial Lower Bound: 0
c Restart #1 #Var: 675 #Dec: 4338 LB: 0 @ 0.553
c Restart #2 #Var: 675 #Dec: 9911 LB: 0 @ 0.992
c Restart #3 #Var: 675 #Dec: 18320 LB: 0 @ 1.668
c Restart #4 #Var: 675 #Dec: 23243 LB: 0 @ 2.369
c Restart #5 #Var: 675 #Dec: 27281 LB: 0 @ 3.136
c Restart #6 #Var: 675 #Dec: 31793 LB: 0 @ 4.086
c Restart #7 #Var: 675 #Dec: 33403 LB: 0 @ 5.062
c Restart #8 #Var: 675 #Dec: 35093 LB: 0 @ 6.249
c Restart #9 #Var: 675 #Dec: 36980 LB: 0 @ 7.577
c Restart #10 #Var: 675 #Dec: 39063 LB: 0 @ 9.032
c Restart #11 #Var: 675 #Dec: 41347 LB: 0 @ 10.661
c Restart #12 #Var: 675 #Dec: 43832 LB: 0 @ 12.619
c Restart #13 #Var: 675 #Dec: 46519 LB: 0 @ 14.536
c Restart #14 #Var: 675 #Dec: 49404 LB: 0 @ 16.703
c Restart #15 #Var: 675 #Dec: 52490 LB: 0 @ 19.055
c Restart #16 #Var: 675 #Dec: 55776 LB: 0 @ 21.466
c Restart #17 #Var: 675 #Dec: 59262 LB: 0 @ 24.259
c Restart #18 #Var: 675 #Dec: 62944 LB: 0 @ 26.994
c Restart #19 #Var: 675 #Dec: 66827 LB: 0 @ 30.574
c Restart #20 #Var: 675 #Dec: 70912 LB: 0 @ 34.901
c Restart #21 #Var: 675 #Dec: 75196 LB: 0 @ 38.524
c Restart #22 #Var: 675 #Dec: 79679 LB: 0 @ 42.353
c Restart #23 #Var: 675 #Dec: 84365 LB: 0 @ 46.616
c Restart #24 #Var: 675 #Dec: 89249 LB: 0 @ 50.482
c Restart #25 #Var: 675 #Dec: 94334 LB: 0 @ 55.076
c Restart #26 #Var: 675 #Dec: 99618 LB: 0 @ 59.343
c Restart #27 #Var: 675 #Dec: 105102 LB: 0 @ 64.608
c Restart #28 #Var: 675 #Dec: 110788 LB: 0 @ 69.341
c Restart #29 #Var: 675 #Dec: 116673 LB: 0 @ 75.049
c Restart #30 #Var: 675 #Dec: 122759 LB: 0 @ 80.304
c Restart #31 #Var: 675 #Dec: 129047 LB: 0 @ 86.611
c Restart #32 #Var: 675 #Dec: 135532 LB: 0 @ 93.258
c Restart #33 #Var: 675 #Dec: 142215 LB: 0 @ 99.552
c Restart #34 #Var: 675 #Dec: 149097 LB: 0 @ 106.42
c Restart #35 #Var: 675 #Dec: 156183 LB: 0 @ 113.07
c Restart #36 #Var: 675 #Dec: 163465 LB: 0 @ 120.64
c Restart #37 #Var: 675 #Dec: 170950 LB: 0 @ 127
c Restart #38 #Var: 675 #Dec: 178631 LB: 0 @ 135.56
c Restart #39 #Var: 675 #Dec: 186514 LB: 0 @ 143.11
c Restart #40 #Var: 675 #Dec: 194599 LB: 0 @ 152.86
c Restart #41 #Var: 675 #Dec: 202882 LB: 0 @ 163.34
c Restart #42 #Var: 675 #Dec: 211367 LB: 0 @ 174.92
c Restart #43 #Var: 675 #Dec: 220050 LB: 0 @ 184.59
c Restart #44 #Var: 675 #Dec: 228933 LB: 0 @ 193.75
c Restart #45 #Var: 675 #Dec: 238016 LB: 0 @ 204.37
c Restart #46 #Var: 675 #Dec: 247295 LB: 0 @ 214.25
c Restart #47 #Var: 675 #Dec: 256777 LB: 0 @ 224.7
c Restart #48 #Var: 675 #Dec: 266461 LB: 0 @ 235.77
c Restart #49 #Var: 675 #Dec: 276345 LB: 0 @ 246.71
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/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 22 0 0 0 0 0 0 0 22 0 1 0 1795575778 438272 6 4294967295 134512640 134736556 3221224560 3221224536 1073815575 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8569/statm): 107 9 90 68 0 39 0
[pid=8569] 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/wulflinc12/normalized-mps-v2-13-7-pk1.opb

[startup+10.003 s]
Raw data (loadavg): 0.93 0.95 0.96 2/56 8569
Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 11304 0 0 0 799 82 0 0 25 0 1 0 1795575778 49442816 11213 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8569/statm): 12071 11213 1116 68 0 12003 0
[pid=8569] vsize: 48284
Current children cumulated CPU time (s) 8.81
Current children cumulated vsize (Kb) 48284

[startup+20.0029 s]
Raw data (loadavg): 0.94 0.96 0.96 2/56 8569
Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 22710 0 0 0 1705 132 0 0 17 0 1 0 1795575778 96284672 22614 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8569/statm): 23507 22614 1116 68 0 23439 0
[pid=8569] vsize: 94028
Current children cumulated CPU time (s) 18.37
Current children cumulated vsize (Kb) 94028

[startup+30.0037 s]
Raw data (loadavg): 0.95 0.96 0.96 2/56 8569
Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 33678 0 0 0 2615 174 0 0 25 0 1 0 1795575778 141381632 33569 4294967295 134512640 134736556 3221224560 3221223084 134536384 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8569/statm): 34517 33569 1116 68 0 34449 0
[pid=8569] vsize: 138068
Current children cumulated CPU time (s) 27.89
Current children cumulated vsize (Kb) 138068

[startup+40.0046 s]
Raw data (loadavg): 0.95 0.96 0.96 1/56 8569
Raw data (/proc/8569/stat): 8569 (bsolo) T 8568 8569 8263 0 -1 0 42883 0 0 0 3539 212 0 0 25 0 1 0 1795575778 179200000 42763 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8569/statm): 43750 42763 1116 68 0 43682 0
[pid=8569] vsize: 175000
Current children cumulated CPU time (s) 37.51
Current children cumulated vsize (Kb) 175000

[startup+50.0054 s]
Raw data (loadavg): 0.96 0.96 0.96 2/56 8569
Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 52646 0 0 0 4455 255 0 0 25 0 1 0 1795575778 219209728 52517 4294967295 134512640 134736556 3221224560 3221223080 134716525 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8569/statm): 53518 52517 1116 68 0 53450 0
[pid=8569] vsize: 214072
Current children cumulated CPU time (s) 47.1
Current children cumulated vsize (Kb) 214072

[startup+60.0062 s]
Raw data (loadavg): 0.97 0.96 0.96 2/56 8569
Raw data (/proc/8569/stat): 8569 (bsolo) T 8568 8569 8263 0 -1 0 62910 0 0 0 5377 294 0 0 17 0 1 0 1795575778 261410816 62761 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8569/statm): 63821 62761 1116 68 0 63753 0
[pid=8569] vsize: 255284
Current children cumulated CPU time (s) 56.71
Current children cumulated vsize (Kb) 255284

[startup+70.0061 s]
Raw data (loadavg): 0.97 0.96 0.96 1/56 8569
Raw data (/proc/8569/stat): 8569 (bsolo) T 8568 8569 8263 0 -1 0 72883 0 0 0 6294 337 0 0 25 0 1 0 1795575778 302411776 72729 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8569/statm): 73831 72729 1116 68 0 73763 0
[pid=8569] vsize: 295324
Current children cumulated CPU time (s) 66.31
Current children cumulated vsize (Kb) 295324

[startup+80.0069 s]
Raw data (loadavg): 0.98 0.96 0.96 1/56 8569
Raw data (/proc/8569/stat): 8569 (bsolo) T 8568 8569 8263 0 -1 0 82211 0 0 0 7220 377 0 0 18 0 1 0 1795575778 340635648 82050 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8569/statm): 83163 82050 1116 68 0 83095 0
[pid=8569] vsize: 332652
Current children cumulated CPU time (s) 75.97
Current children cumulated vsize (Kb) 332652

[startup+90.0067 s]
Raw data (loadavg): 0.98 0.96 0.96 2/56 8569
Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 92040 0 0 0 8144 415 0 0 25 0 1 0 1795575778 380837888 91875 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8569/statm): 92978 91875 1116 68 0 92910 0
[pid=8569] vsize: 371912
Current children cumulated CPU time (s) 85.59
Current children cumulated vsize (Kb) 371912

[startup+100.008 s]
Raw data (loadavg): 0.98 0.96 0.96 2/56 8569
Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 100231 0 0 0 9077 450 0 0 25 0 1 0 1795575778 414425088 100063 4294967295 134512640 134736556 3221224560 3221223192 134554109 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8569/statm): 101178 100063 1116 68 0 101110 0
[pid=8569] vsize: 404712
Current children cumulated CPU time (s) 95.27
Current children cumulated vsize (Kb) 404712

[startup+110.008 s]
Raw data (loadavg): 0.98 0.96 0.96 1/56 8569
Raw data (/proc/8569/stat): 8569 (bsolo) T 8568 8569 8263 0 -1 0 109510 0 0 0 10003 488 0 0 25 0 1 0 1795575778 452440064 109328 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8569/statm): 110459 109328 1116 68 0 110391 0
[pid=8569] vsize: 441836
Current children cumulated CPU time (s) 104.91
Current children cumulated vsize (Kb) 441836

[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 8569
Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 118378 0 0 0 10931 524 0 0 25 0 1 0 1795575778 488509440 118032 4294967295 134512640 134736556 3221224560 3221223116 134536620 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8569/statm): 119265 118032 1116 68 0 119197 0
[pid=8569] vsize: 477060
Current children cumulated CPU time (s) 114.55
Current children cumulated vsize (Kb) 477060

[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 8569
Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 128096 0 0 0 11851 565 0 0 25 0 1 0 1795575778 528343040 127663 4294967295 134512640 134736556 3221224560 3221223168 134634142 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8569/statm): 128990 127663 1116 68 0 128922 0
[pid=8569] vsize: 515960
Current children cumulated CPU time (s) 124.16
Current children cumulated vsize (Kb) 515960

[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 8569
Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 136968 0 0 0 12780 602 0 0 25 0 1 0 1795575778 564469760 136532 4294967295 134512640 134736556 3221224560 3221223180 134537572 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8569/statm): 137810 136532 1116 68 0 137742 0
[pid=8569] vsize: 551240
Current children cumulated CPU time (s) 133.82
Current children cumulated vsize (Kb) 551240

[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 8569
Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 145279 0 0 0 13713 637 0 0 25 0 1 0 1795575778 598519808 144757 4294967295 134512640 134736556 3221224560 3221223136 134551043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8569/statm): 146123 144757 1116 68 0 146055 0
[pid=8569] vsize: 584492
Current children cumulated CPU time (s) 143.5
Current children cumulated vsize (Kb) 584492

[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 8569
Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 152689 0 0 0 14653 668 0 0 25 0 1 0 1795575778 628588544 152083 4294967295 134512640 134736556 3221224560 3221223140 134551038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8569/statm): 153464 152083 1116 68 0 153396 0
[pid=8569] vsize: 613856
Current children cumulated CPU time (s) 153.21
Current children cumulated vsize (Kb) 613856

[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 8569
Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 160249 0 0 0 15590 698 0 0 25 0 1 0 1795575778 659738624 159629 4294967295 134512640 134736556 3221224560 3221223212 134554100 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8569/statm): 161069 159629 1116 68 0 161001 0
[pid=8569] vsize: 644276
Current children cumulated CPU time (s) 162.88
Current children cumulated vsize (Kb) 644276

[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 8569
Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 166632 0 0 0 16538 724 0 0 25 0 1 0 1795575778 685826048 166012 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8569/statm): 167438 166012 1116 68 0 167370 0
[pid=8569] vsize: 669752
Current children cumulated CPU time (s) 172.62
Current children cumulated vsize (Kb) 669752

[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.96 1/56 8569
Raw data (/proc/8569/stat): 8569 (bsolo) T 8568 8569 8263 0 -1 0 174062 0 0 0 17479 753 0 0 25 0 1 0 1795575778 716095488 173354 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8569/statm): 174828 173354 1116 68 0 174760 0
[pid=8569] vsize: 699312
Current children cumulated CPU time (s) 182.32
Current children cumulated vsize (Kb) 699312

[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.96 1/56 8569
Raw data (/proc/8569/stat): 8569 (bsolo) T 8568 8569 8263 0 -1 0 182598 0 0 0 18413 787 0 0 25 0 1 0 1795575778 751099904 181877 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8569/statm): 183374 181877 1116 68 0 183306 0
[pid=8569] vsize: 733496
Current children cumulated CPU time (s) 192
Current children cumulated vsize (Kb) 733496

[startup+210.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 8569
Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 190555 0 0 0 19346 820 0 0 25 0 1 0 1795575778 783470592 189826 4294967295 134512640 134736556 3221224560 3221223152 134551097 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8569/statm): 191277 189826 1116 68 0 191209 0
[pid=8569] vsize: 765108
Current children cumulated CPU time (s) 201.66
Current children cumulated vsize (Kb) 765108

[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.96 1/56 8569
Raw data (/proc/8569/stat): 8569 (bsolo) T 8568 8569 8263 0 -1 0 198187 0 0 0 20278 853 0 0 25 0 1 0 1795575778 814694400 197458 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8569/statm): 198900 197458 1116 68 0 198832 0
[pid=8569] vsize: 795600
Current children cumulated CPU time (s) 211.31
Current children cumulated vsize (Kb) 795600

[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.96 1/56 8569
Raw data (/proc/8569/stat): 8569 (bsolo) T 8568 8569 8263 0 -1 0 206427 0 0 0 21209 889 0 0 25 0 1 0 1795575778 848084992 205698 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8569/statm): 207052 205698 1116 68 0 206984 0
[pid=8569] vsize: 828208
Current children cumulated CPU time (s) 220.98
Current children cumulated vsize (Kb) 828208

[startup+240.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 8569
Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 214391 0 0 0 22146 920 0 0 18 0 1 0 1795575778 880640000 213498 4294967295 134512640 134736556 3221224560 3221223136 134550742 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8569/statm): 215000 213498 1116 68 0 214932 0
[pid=8569] vsize: 860000
Current children cumulated CPU time (s) 230.66
Current children cumulated vsize (Kb) 860000

[startup+250.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 8569
Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 222555 0 0 0 23080 955 0 0 18 0 1 0 1795575778 913657856 221418 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8569/statm): 223061 221418 1116 68 0 222993 0
[pid=8569] vsize: 892244
Current children cumulated CPU time (s) 240.35
Current children cumulated vsize (Kb) 892244



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+259.968 s]
Raw data (loadavg): 1.07 0.99 0.97 1/56 8569
Raw data (/proc/8569/stat): 8569 (bsolo) T 8568 8569 8263 0 -1 0 229969 0 0 0 24008 989 0 0 25 0 1 0 1795575778 943800320 228832 4294967295 134512640 134736556 3221224560 3221222908 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8569/statm): 230420 228832 1116 68 0 230352 0
[pid=8569] vsize: 921680
Current children cumulated CPU time (s) 249.97
Current children cumulated vsize (Kb) 921680

Sending SIGTERM to -8569
Sleeping 2 seconds

[startup+260.016 s]
Raw data (loadavg): 1.07 0.99 0.97 1/57 8570
Raw data (/proc/8569/stat): 8569 (bsolo) S 8568 8569 8263 0 -1 0 229969 0 0 0 24008 989 0 0 25 0 1 0 1795575778 943800320 228832 4294967295 134512640 134736556 3221224560 3221221880 1077867073 0 16384 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8569/statm): 230420 228832 1116 68 0 230352 0
[pid=8569] vsize: 921680
Current children cumulated CPU time (s) 249.97
Current children cumulated vsize (Kb) 921680
Sending SIGKILL to -8569
One traced child (pid=8569) 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): 262.39
CPU time (s): 250.398
CPU user time (s): 240.083
CPU system time (s): 10.3154
CPU usage (%): 95.4298
Max. virtual memory (cumulated for all children) (Kb): 921680

Verifier Data

ERROR: no interpretation found !