Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08a.opb
MD5SUM58b746ba9d27bca658263dee1941983b
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 3424
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 180407058264
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 180407058264
Number of bits of the biggest sum of numbers38
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables5344
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)64
Number of constraints which are nor clauses,nor cardinality constraints136
Minimum length of a constraint1
Maximum length of a constraint240

Trace number 605

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        948364 kB
Buffers:         34004 kB
Cached:          25812 kB
SwapCached:        228 kB
Active:          54024 kB
Inactive:         8708 kB
HighTotal:      131008 kB
HighFree:       101472 kB
LowTotal:       903652 kB
LowFree:        846892 kB
SwapTotal:     2097136 kB
SwapFree:      2096756 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6272 kB
Slab:            18084 kB
Committed_AS:    64164 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 11:53:47 (client local time) WITH STATUS 0 IN 248.861 SECONDS
stats: 592 7 248.861 0

Solver Data

c INFO: OSL Context initialized.
c BIG Int formula...
c Initial problem consists of 5344 variables and 200 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 1.229
c After prepocess the problem consists of 4600 variables and 200 constraints.
c Initial Lower Bound: 0
c Restart #1 #Var: 4600 #Dec: 12406 LB: 0 @ 1.965
c Restart #2 #Var: 4600 #Dec: 42897 LB: 0 @ 3.614
c Restart #3 #Var: 4600 #Dec: 78779 LB: 0 @ 5.594
c Restart #4 #Var: 4600 #Dec: 109620 LB: 0 @ 7.419
c Restart #5 #Var: 4600 #Dec: 132057 LB: 0 @ 9.053
c Restart #6 #Var: 4600 #Dec: 158468 LB: 0 @ 11.047
c Restart #7 #Var: 4600 #Dec: 192448 LB: 0 @ 13.572
c Restart #8 #Var: 4600 #Dec: 225372 LB: 0 @ 16.172
c Restart #9 #Var: 4600 #Dec: 227243 LB: 0 @ 17.415
c Restart #10 #Var: 4600 #Dec: 229309 LB: 0 @ 18.811
c Restart #11 #Var: 4600 #Dec: 231579 LB: 0 @ 20.292
c Restart #12 #Var: 4600 #Dec: 234044 LB: 0 @ 21.95
c Restart #13 #Var: 4600 #Dec: 236713 LB: 0 @ 23.862
c Restart #14 #Var: 4600 #Dec: 239581 LB: 0 @ 25.912
c Restart #15 #Var: 4600 #Dec: 242651 LB: 0 @ 27.924
c Restart #16 #Var: 4600 #Dec: 245916 LB: 0 @ 30.385
c Restart #17 #Var: 4600 #Dec: 249383 LB: 0 @ 32.755
c Restart #18 #Var: 4600 #Dec: 253049 LB: 0 @ 35.683
c Restart #19 #Var: 4600 #Dec: 256918 LB: 0 @ 38.603
c Restart #20 #Var: 4600 #Dec: 260987 LB: 0 @ 42.281
c Restart #21 #Var: 4600 #Dec: 265255 LB: 0 @ 46.176
c Restart #22 #Var: 4600 #Dec: 269723 LB: 0 @ 49.616
c Restart #23 #Var: 4600 #Dec: 274393 LB: 0 @ 53.472
c Restart #24 #Var: 4600 #Dec: 279259 LB: 0 @ 57.672
c Restart #25 #Var: 4600 #Dec: 284327 LB: 0 @ 61.459
c Restart #26 #Var: 4600 #Dec: 289597 LB: 0 @ 66.09
c Restart #27 #Var: 4600 #Dec: 295063 LB: 0 @ 70.007
c Restart #28 #Var: 4600 #Dec: 300730 LB: 0 @ 74.837
c Restart #29 #Var: 4600 #Dec: 306599 LB: 0 @ 80.103
c Restart #30 #Var: 4600 #Dec: 312666 LB: 0 @ 85.075
c Restart #31 #Var: 4600 #Dec: 318935 LB: 0 @ 91.012
c Restart #32 #Var: 4600 #Dec: 325403 LB: 0 @ 96.364
c Restart #33 #Var: 4600 #Dec: 332071 LB: 0 @ 103.14
c Restart #34 #Var: 4600 #Dec: 338936 LB: 0 @ 108.68
c Restart #35 #Var: 4600 #Dec: 346005 LB: 0 @ 116.24
c Restart #36 #Var: 4600 #Dec: 353269 LB: 0 @ 122.99
c Restart #37 #Var: 4600 #Dec: 360737 LB: 0 @ 130.7
c Restart #38 #Var: 4600 #Dec: 368405 LB: 0 @ 138.43
c Restart #39 #Var: 4600 #Dec: 376274 LB: 0 @ 145.86
c Restart #40 #Var: 4600 #Dec: 384346 LB: 0 @ 154.04
c Restart #41 #Var: 4600 #Dec: 392612 LB: 0 @ 162.04
c Restart #42 #Var: 4600 #Dec: 401077 LB: 0 @ 169.41
c Restart #43 #Var: 4600 #Dec: 409746 LB: 0 @ 178.39
c Restart #44 #Var: 4600 #Dec: 418616 LB: 0 @ 189.2
c Restart #45 #Var: 4600 #Dec: 427683 LB: 0 @ 199.78
c Restart #46 #Var: 4600 #Dec: 436948 LB: 0 @ 208.69
c Restart #47 #Var: 4600 #Dec: 446416 LB: 0 @ 219.13
c Restart #48 #Var: 4600 #Dec: 456080 LB: 0 @ 228.68
c Restart #49 #Var: 4600 #Dec: 465946 LB: 0 @ 239.86
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/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1782830351 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24841/statm): 107 3 90 68 0 39 0
[pid=24841] 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/wulflinc10/normalized-mps-v2-20-10-pp08a.opb

[startup+10.0029 s]
Raw data (loadavg): 0.93 0.98 0.99 1/56 24841
Raw data (/proc/24841/stat): 24841 (bsolo) T 24840 24841 22582 0 -1 0 5881 0 0 0 558 153 0 0 18 0 1 0 1782830351 27340800 5792 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/24841/statm): 6675 5792 1116 68 0 6607 0
[pid=24841] vsize: 26700
Current children cumulated CPU time (s) 7.11
Current children cumulated vsize (Kb) 26700

[startup+20.0035 s]
Raw data (loadavg): 0.94 0.98 0.99 1/56 24841
Raw data (/proc/24841/stat): 24841 (bsolo) T 24840 24841 22582 0 -1 0 9517 0 0 0 1152 291 0 0 18 0 1 0 1782830351 42209280 9428 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/24841/statm): 10305 9428 1116 68 0 10237 0
[pid=24841] vsize: 41220
Current children cumulated CPU time (s) 14.43
Current children cumulated vsize (Kb) 41220

[startup+30.0041 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 24841
Raw data (/proc/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 20141 0 0 0 1996 360 0 0 25 0 1 0 1782830351 85794816 20046 4294967295 134512640 134736556 3221224560 3221223184 134537444 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/24841/statm): 20946 20046 1116 68 0 20878 0
[pid=24841] vsize: 83784
Current children cumulated CPU time (s) 23.56
Current children cumulated vsize (Kb) 83784

[startup+40.0046 s]
Raw data (loadavg): 0.96 0.98 0.99 1/56 24841
Raw data (/proc/24841/stat): 24841 (bsolo) T 24840 24841 22582 0 -1 0 31742 0 0 0 2897 411 0 0 25 0 1 0 1782830351 133525504 31633 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/24841/statm): 32599 31633 1116 68 0 32531 0
[pid=24841] vsize: 130396
Current children cumulated CPU time (s) 33.08
Current children cumulated vsize (Kb) 130396

[startup+50.0042 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 24841
Raw data (/proc/24841/stat): 24841 (bsolo) T 24840 24841 22582 0 -1 0 41790 0 0 0 3811 457 0 0 25 0 1 0 1782830351 174784512 41674 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/24841/statm): 42672 41674 1116 68 0 42604 0
[pid=24841] vsize: 170688
Current children cumulated CPU time (s) 42.68
Current children cumulated vsize (Kb) 170688

[startup+60.0048 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 24841
Raw data (/proc/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 51857 0 0 0 4728 500 0 0 25 0 1 0 1782830351 216125440 51738 4294967295 134512640 134736556 3221224560 3221223284 134529176 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/24841/statm): 52765 51738 1116 68 0 52697 0
[pid=24841] vsize: 211060
Current children cumulated CPU time (s) 52.28
Current children cumulated vsize (Kb) 211060

[startup+70.0053 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 24841
Raw data (/proc/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 62105 0 0 0 5645 542 0 0 25 0 1 0 1782830351 258150400 61960 4294967295 134512640 134736556 3221224560 3221223244 134554060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/24841/statm): 63025 61960 1116 68 0 62957 0
[pid=24841] vsize: 252100
Current children cumulated CPU time (s) 61.87
Current children cumulated vsize (Kb) 252100

[startup+80.0049 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 24841
Raw data (/proc/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 72622 0 0 0 6558 587 0 0 25 0 1 0 1782830351 301408256 72467 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/24841/statm): 73586 72467 1116 68 0 73518 0
[pid=24841] vsize: 294344
Current children cumulated CPU time (s) 71.45
Current children cumulated vsize (Kb) 294344

[startup+90.0055 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 24841
Raw data (/proc/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 82211 0 0 0 7479 628 0 0 25 0 1 0 1782830351 340766720 82052 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/24841/statm): 83195 82052 1116 68 0 83127 0
[pid=24841] vsize: 332780
Current children cumulated CPU time (s) 81.07
Current children cumulated vsize (Kb) 332780

[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.99 1/56 24841
Raw data (/proc/24841/stat): 24841 (bsolo) T 24840 24841 22582 0 -1 0 92078 0 0 0 8396 667 0 0 25 0 1 0 1782830351 381112320 91915 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/24841/statm): 93045 91915 1116 68 0 92977 0
[pid=24841] vsize: 372180
Current children cumulated CPU time (s) 90.63
Current children cumulated vsize (Kb) 372180

[startup+110.009 s]
Raw data (loadavg): 0.98 0.98 0.99 1/56 24841
Raw data (/proc/24841/stat): 24841 (bsolo) T 24840 24841 22582 0 -1 0 101249 0 0 0 9322 709 0 0 25 0 1 0 1782830351 418693120 101082 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/24841/statm): 102220 101082 1116 68 0 102152 0
[pid=24841] vsize: 408880
Current children cumulated CPU time (s) 100.31
Current children cumulated vsize (Kb) 408880

[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 24841
Raw data (/proc/24841/stat): 24841 (bsolo) T 24840 24841 22582 0 -1 0 110374 0 0 0 10249 746 0 0 25 0 1 0 1782830351 455946240 110199 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/24841/statm): 111315 110199 1116 68 0 111247 0
[pid=24841] vsize: 445260
Current children cumulated CPU time (s) 109.95
Current children cumulated vsize (Kb) 445260

[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 24841
Raw data (/proc/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 119268 0 0 0 11181 783 0 0 25 0 1 0 1782830351 492240896 118831 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/24841/statm): 120176 118831 1116 68 0 120108 0
[pid=24841] vsize: 480704
Current children cumulated CPU time (s) 119.64
Current children cumulated vsize (Kb) 480704

[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 24841
Raw data (/proc/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 128174 0 0 0 12104 823 0 0 25 0 1 0 1782830351 528588800 127652 4294967295 134512640 134736556 3221224560 3221223232 134528735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/24841/statm): 129050 127652 1116 68 0 128982 0
[pid=24841] vsize: 516200
Current children cumulated CPU time (s) 129.27
Current children cumulated vsize (Kb) 516200

[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 24841
Raw data (/proc/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 135988 0 0 0 13040 855 0 0 25 0 1 0 1782830351 560472064 135380 4294967295 134512640 134736556 3221224560 3221223204 134537369 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/24841/statm): 136834 135380 1116 68 0 136766 0
[pid=24841] vsize: 547336
Current children cumulated CPU time (s) 138.95
Current children cumulated vsize (Kb) 547336

[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 24841
Raw data (/proc/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 145055 0 0 0 13959 897 0 0 25 0 1 0 1782830351 597467136 144406 4294967295 134512640 134736556 3221224560 3221223136 134550742 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/24841/statm): 145866 144406 1116 68 0 145798 0
[pid=24841] vsize: 583464
Current children cumulated CPU time (s) 148.56
Current children cumulated vsize (Kb) 583464

[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 24841
Raw data (/proc/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 153792 0 0 0 14884 937 0 0 25 0 1 0 1782830351 633073664 153061 4294967295 134512640 134736556 3221224560 3221223152 134551076 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/24841/statm): 154559 153061 1116 68 0 154491 0
[pid=24841] vsize: 618236
Current children cumulated CPU time (s) 158.21
Current children cumulated vsize (Kb) 618236

[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 24841
Raw data (/proc/24841/stat): 24841 (bsolo) T 24840 24841 22582 0 -1 0 163509 0 0 0 15800 979 0 0 25 0 1 0 1782830351 672653312 162616 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/24841/statm): 164222 162616 1116 68 0 164154 0
[pid=24841] vsize: 656888
Current children cumulated CPU time (s) 167.79
Current children cumulated vsize (Kb) 656888

[startup+190.008 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 24841
Raw data (/proc/24841/stat): 24841 (bsolo) T 24840 24841 22582 0 -1 0 171861 0 0 0 16728 1013 0 0 25 0 1 0 1782830351 706715648 170968 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/24841/statm): 172538 170968 1116 68 0 172470 0
[pid=24841] vsize: 690152
Current children cumulated CPU time (s) 177.41
Current children cumulated vsize (Kb) 690152

[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 24841
Raw data (/proc/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 179339 0 0 0 17669 1046 0 0 25 0 1 0 1782830351 737263616 178446 4294967295 134512640 134736556 3221224560 3221223296 134529155 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/24841/statm): 179996 178446 1116 68 0 179928 0
[pid=24841] vsize: 719984
Current children cumulated CPU time (s) 187.15
Current children cumulated vsize (Kb) 719984

[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 24841
Raw data (/proc/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 186444 0 0 0 18613 1075 0 0 25 0 1 0 1782830351 766111744 185460 4294967295 134512640 134736556 3221224560 3221223084 134536676 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/24841/statm): 187039 185460 1116 68 0 186971 0
[pid=24841] vsize: 748156
Current children cumulated CPU time (s) 196.88
Current children cumulated vsize (Kb) 748156

[startup+220.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 24841
Raw data (/proc/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 194668 0 0 0 19543 1114 0 0 24 0 1 0 1782830351 799358976 193684 4294967295 134512640 134736556 3221224560 3221223284 134605913 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/24841/statm): 195156 193684 1116 68 0 195088 0
[pid=24841] vsize: 780624
Current children cumulated CPU time (s) 206.57
Current children cumulated vsize (Kb) 780624

[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 24841
Raw data (/proc/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 202665 0 0 0 20475 1148 0 0 25 0 1 0 1782830351 832057344 201599 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/24841/statm): 203139 201599 1116 68 0 203071 0
[pid=24841] vsize: 812556
Current children cumulated CPU time (s) 216.23
Current children cumulated vsize (Kb) 812556

[startup+240.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 24841
Raw data (/proc/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 211159 0 0 0 21402 1183 0 0 25 0 1 0 1782830351 866795520 210093 4294967295 134512640 134736556 3221224560 3221223368 134598797 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/24841/statm): 211620 210093 1116 68 0 211552 0
[pid=24841] vsize: 846480
Current children cumulated CPU time (s) 225.85
Current children cumulated vsize (Kb) 846480

[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 24841
Raw data (/proc/24841/stat): 24841 (bsolo) T 24840 24841 22582 0 -1 0 219600 0 0 0 22332 1220 0 0 25 0 1 0 1782830351 901029888 218286 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/24841/statm): 219978 218286 1116 68 0 219910 0
[pid=24841] vsize: 879912
Current children cumulated CPU time (s) 235.52
Current children cumulated vsize (Kb) 879912

[startup+260.009 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 24841
Raw data (/proc/24841/stat): 24841 (bsolo) T 24840 24841 22582 0 -1 0 226965 0 0 0 23270 1251 0 0 25 0 1 0 1782830351 930578432 225236 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/24841/statm): 227192 225236 1116 68 0 227124 0
[pid=24841] vsize: 908768
Current children cumulated CPU time (s) 245.21
Current children cumulated vsize (Kb) 908768



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+263.362 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 24841
Raw data (/proc/24841/stat): 24841 (bsolo) T 24840 24841 22582 0 -1 0 230178 0 0 0 23578 1266 0 0 25 0 1 0 1782830351 943824896 228449 4294967295 134512640 134736556 3221224560 3221223020 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/24841/statm): 230426 228449 1116 68 0 230358 0
[pid=24841] vsize: 921704
Current children cumulated CPU time (s) 248.44
Current children cumulated vsize (Kb) 921704

Sending SIGTERM to -24841
Sleeping 2 seconds
Sending SIGKILL to -24841
One traced child (pid=24841) 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): 265.785
CPU time (s): 248.861
CPU user time (s): 235.782
CPU system time (s): 13.079
CPU usage (%): 93.6325
Max. virtual memory (cumulated for all children) (Kb): 921704

Verifier Data

ERROR: no interpretation found !