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/miplib3/normalized-mps-v2-13-7-rgn.opb
MD5SUMe7e8123aa394c0918878e05410d4daeb
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 67200
Optimality of the best value was proved NO
Number of terms in the objective function 920
Biggest coefficient in the objective function 24576
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 1986400
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 3200000000
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 29101875011
Number of bits of the biggest sum of numbers35
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1236.27
Number of variables1020
Total number of constraints204
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)104
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint1
Maximum length of a constraint103

Trace number 5255

Launcher Data

LAUNCH ON wulflinc2 THE 2005-09-19 23:58:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1046 boxname=wulflinc2 idbench=1046 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  e7e8123aa394c0918878e05410d4daeb  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-rgn.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-rgn.opb
IDLAUNCH: 1046
/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:        914604 kB
Buffers:          3996 kB
Cached:          91768 kB
SwapCached:        864 kB
Active:          26788 kB
Inactive:        71428 kB
HighTotal:      131008 kB
HighFree:        35448 kB
LowTotal:       903652 kB
LowFree:        879156 kB
SwapTotal:     2097136 kB
SwapFree:      2095536 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5492 kB
Slab:            15916 kB
Committed_AS:    72360 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 00:04:20 (client local time) WITH STATUS 0 IN 341.594 SECONDS
stats: 1046 7 341.594 0

Solver Data

c INFO: OSL Context initialized.
c BIG Int formula...
c Initial problem consists of 1020 variables and 124 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 0.354
c After prepocess the problem consists of 1020 variables and 124 constraints.
c Initial Lower Bound: 0
c Restart #1 #Var: 1020 #Dec: 6822 LB: 0 @ 0.744
c Restart #2 #Var: 1020 #Dec: 27175 LB: 0 @ 1.771
c Restart #3 #Var: 1020 #Dec: 49976 LB: 0 @ 3.04
c Restart #4 #Var: 1020 #Dec: 73603 LB: 0 @ 4.432
c Restart #5 #Var: 1020 #Dec: 87469 LB: 0 @ 5.501
c Restart #6 #Var: 1020 #Dec: 88692 LB: 0 @ 6.059
c Restart #7 #Var: 1020 #Dec: 90129 LB: 0 @ 6.748
c Restart #8 #Var: 1020 #Dec: 91752 LB: 0 @ 7.56
c Restart #9 #Var: 1020 #Dec: 93587 LB: 0 @ 8.496
c Restart #10 #Var: 1020 #Dec: 95607 LB: 0 @ 9.606
c Restart #11 #Var: 1020 #Dec: 97840 LB: 0 @ 10.871
c Restart #12 #Var: 1020 #Dec: 100277 LB: 0 @ 12.225
c Restart #13 #Var: 1020 #Dec: 102911 LB: 0 @ 13.76
c Restart #14 #Var: 1020 #Dec: 105745 LB: 0 @ 15.387
c Restart #15 #Var: 1020 #Dec: 108777 LB: 0 @ 17.308
c Restart #16 #Var: 1020 #Dec: 112013 LB: 0 @ 19.202
c Restart #17 #Var: 1020 #Dec: 115447 LB: 0 @ 21.348
c Restart #18 #Var: 1020 #Dec: 119077 LB: 0 @ 23.495
c Restart #19 #Var: 1020 #Dec: 122908 LB: 0 @ 26.309
c Restart #20 #Var: 1020 #Dec: 126943 LB: 0 @ 29.319
c Restart #21 #Var: 1020 #Dec: 131174 LB: 0 @ 32.113
c Restart #22 #Var: 1020 #Dec: 135607 LB: 0 @ 35.084
c Restart #23 #Var: 1020 #Dec: 140242 LB: 0 @ 38.321
c Restart #24 #Var: 1020 #Dec: 145077 LB: 0 @ 41.098
c Restart #25 #Var: 1020 #Dec: 150112 LB: 0 @ 44.422
c Restart #26 #Var: 1020 #Dec: 155345 LB: 0 @ 47.81
c Restart #27 #Var: 1020 #Dec: 160778 LB: 0 @ 51.417
c Restart #28 #Var: 1020 #Dec: 166412 LB: 0 @ 55.129
c Restart #29 #Var: 1020 #Dec: 172245 LB: 0 @ 59.89
c Restart #30 #Var: 1020 #Dec: 178275 LB: 0 @ 64.14
c Restart #31 #Var: 1020 #Dec: 184509 LB: 0 @ 69.486
c Restart #32 #Var: 1020 #Dec: 190945 LB: 0 @ 75.019
c Restart #33 #Var: 1020 #Dec: 197581 LB: 0 @ 80.837
c Restart #34 #Var: 1020 #Dec: 204413 LB: 0 @ 86.933
c Restart #35 #Var: 1020 #Dec: 211449 LB: 0 @ 92.21
c Restart #36 #Var: 1020 #Dec: 218684 LB: 0 @ 97.836
c Restart #37 #Var: 1020 #Dec: 226120 LB: 0 @ 103.83
c Restart #38 #Var: 1020 #Dec: 233755 LB: 0 @ 110.3
c Restart #39 #Var: 1020 #Dec: 241592 LB: 0 @ 117.06
c Restart #40 #Var: 1020 #Dec: 249628 LB: 0 @ 125.04
c Restart #41 #Var: 1020 #Dec: 257860 LB: 0 @ 131.82
c Restart #42 #Var: 1020 #Dec: 266294 LB: 0 @ 139.59
c Restart #43 #Var: 1020 #Dec: 274928 LB: 0 @ 147.12
c Restart #44 #Var: 1020 #Dec: 283763 LB: 0 @ 155.72
c Restart #45 #Var: 1020 #Dec: 292797 LB: 0 @ 164.15
c Restart #46 #Var: 1020 #Dec: 302035 LB: 0 @ 172.21
c Restart #47 #Var: 1020 #Dec: 311470 LB: 0 @ 179.75
c Restart #48 #Var: 1020 #Dec: 321099 LB: 0 @ 186.42
c Restart #49 #Var: 1020 #Dec: 330934 LB: 0 @ 195.29
c Restart #50 #Var: 1020 #Dec: 340960 LB: 0 @ 202.06
c Restart #51 #Var: 1020 #Dec: 351192 LB: 0 @ 210.63
c Restart #52 #Var: 1020 #Dec: 361623 LB: 0 @ 217.72
c Restart #53 #Var: 1020 #Dec: 372260 LB: 0 @ 226.5
c Restart #54 #Var: 1020 #Dec: 383093 LB: 0 @ 235.28
c Restart #55 #Var: 1020 #Dec: 394128 LB: 0 @ 243.47
c Restart #56 #Var: 1020 #Dec: 405359 LB: 0 @ 253.36
c Restart #57 #Var: 1020 #Dec: 416793 LB: 0 @ 261.95
c Restart #58 #Var: 1020 #Dec: 428426 LB: 0 @ 272.05
c Restart #59 #Var: 1020 #Dec: 440262 LB: 0 @ 283.54
c Restart #60 #Var: 1020 #Dec: 452297 LB: 0 @ 293.32
c Restart #61 #Var: 1020 #Dec: 464532 LB: 0 @ 304.33
c Restart #62 #Var: 1020 #Dec: 476963 LB: 0 @ 315.17
c Restart #63 #Var: 1020 #Dec: 489595 LB: 0 @ 325.13
c Restart #64 #Var: 1020 #Dec: 502426 LB: 0 @ 335.91
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/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1795821888 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31704/statm): 107 3 90 68 0 39 0
[pid=31704] 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-rgn.opb

[startup+10.0026 s]
Raw data (loadavg): 0.95 0.97 0.98 2/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 6193 0 0 0 619 132 0 0 25 0 1 0 1795821888 28524544 6104 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31704/statm): 6964 6104 1116 68 0 6896 0
[pid=31704] vsize: 27856
Current children cumulated CPU time (s) 7.51
Current children cumulated vsize (Kb) 27856

[startup+20.0034 s]
Raw data (loadavg): 0.96 0.97 0.98 1/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) T 31703 31704 6872 0 -1 0 14990 0 0 0 1516 182 0 0 25 0 1 0 1795821888 64696320 14895 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/31704/statm): 15795 14895 1116 68 0 15727 0
[pid=31704] vsize: 63180
Current children cumulated CPU time (s) 16.98
Current children cumulated vsize (Kb) 63180

[startup+30.0041 s]
Raw data (loadavg): 0.96 0.97 0.98 1/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) T 31703 31704 6872 0 -1 0 22835 0 0 0 2424 225 0 0 25 0 1 0 1795821888 96956416 22730 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/31704/statm): 23671 22730 1116 68 0 23603 0
[pid=31704] vsize: 94684
Current children cumulated CPU time (s) 26.49
Current children cumulated vsize (Kb) 94684

[startup+40.0038 s]
Raw data (loadavg): 0.97 0.97 0.98 2/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 30204 0 0 0 3334 266 0 0 25 0 1 0 1795821888 127111168 30092 4294967295 134512640 134736556 3221224560 3221223344 134602753 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31704/statm): 31033 30092 1116 68 0 30965 0
[pid=31704] vsize: 124132
Current children cumulated CPU time (s) 36
Current children cumulated vsize (Kb) 124132

[startup+50.0045 s]
Raw data (loadavg): 0.97 0.97 0.98 1/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) T 31703 31704 6872 0 -1 0 38026 0 0 0 4240 309 0 0 25 0 1 0 1795821888 159473664 37895 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/31704/statm): 38934 37895 1116 68 0 38866 0
[pid=31704] vsize: 155736
Current children cumulated CPU time (s) 45.49
Current children cumulated vsize (Kb) 155736

[startup+60.0042 s]
Raw data (loadavg): 0.98 0.97 0.98 2/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 45983 0 0 0 5147 352 0 0 25 0 1 0 1795821888 192049152 45852 4294967295 134512640 134736556 3221224560 3221223280 134529331 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31704/statm): 46887 45852 1116 68 0 46819 0
[pid=31704] vsize: 187548
Current children cumulated CPU time (s) 54.99
Current children cumulated vsize (Kb) 187548

[startup+70.0049 s]
Raw data (loadavg): 0.98 0.97 0.98 2/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 52408 0 0 0 6070 387 0 0 25 0 1 0 1795821888 218427392 52267 4294967295 134512640 134736556 3221224560 3221223120 134551076 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31704/statm): 53327 52267 1116 68 0 53259 0
[pid=31704] vsize: 213308
Current children cumulated CPU time (s) 64.57
Current children cumulated vsize (Kb) 213308

[startup+80.0056 s]
Raw data (loadavg): 0.98 0.97 0.98 2/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 58696 0 0 0 6990 425 0 0 25 0 1 0 1795821888 244248576 58552 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31704/statm): 59631 58552 1116 68 0 59563 0
[pid=31704] vsize: 238524
Current children cumulated CPU time (s) 74.15
Current children cumulated vsize (Kb) 238524

[startup+90.0053 s]
Raw data (loadavg): 0.98 0.97 0.98 2/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 64573 0 0 0 7917 460 0 0 25 0 1 0 1795821888 268472320 64332 4294967295 134512640 134736556 3221224560 3221223420 134531384 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31704/statm): 65545 64332 1116 68 0 65477 0
[pid=31704] vsize: 262180
Current children cumulated CPU time (s) 83.77
Current children cumulated vsize (Kb) 262180

[startup+100.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 70858 0 0 0 8842 496 0 0 25 0 1 0 1795821888 294273024 70607 4294967295 134512640 134736556 3221224560 3221223168 134634114 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31704/statm): 71844 70607 1116 68 0 71776 0
[pid=31704] vsize: 287376
Current children cumulated CPU time (s) 93.38
Current children cumulated vsize (Kb) 287376

[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 77809 0 0 0 9763 533 0 0 25 0 1 0 1795821888 322564096 77473 4294967295 134512640 134736556 3221224560 3221223056 134536168 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31704/statm): 78751 77473 1116 68 0 78683 0
[pid=31704] vsize: 315004
Current children cumulated CPU time (s) 102.96
Current children cumulated vsize (Kb) 315004

[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 83943 0 0 0 10699 562 0 0 25 0 1 0 1795821888 347488256 83442 4294967295 134512640 134736556 3221224560 3221223024 134536153 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31704/statm): 84836 83442 1116 68 0 84768 0
[pid=31704] vsize: 339344
Current children cumulated CPU time (s) 112.61
Current children cumulated vsize (Kb) 339344

[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 89354 0 0 0 11634 592 0 0 25 0 1 0 1795821888 369741824 88827 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31704/statm): 90269 88827 1116 68 0 90201 0
[pid=31704] vsize: 361076
Current children cumulated CPU time (s) 122.26
Current children cumulated vsize (Kb) 361076

[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 95428 0 0 0 12561 627 0 0 25 0 1 0 1795821888 394403840 94819 4294967295 134512640 134736556 3221224560 3221223116 134536265 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31704/statm): 96290 94819 1116 68 0 96222 0
[pid=31704] vsize: 385160
Current children cumulated CPU time (s) 131.88
Current children cumulated vsize (Kb) 385160

[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 101029 0 0 0 13490 658 0 0 25 0 1 0 1795821888 417169408 100328 4294967295 134512640 134736556 3221224560 3221223248 134536462 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31704/statm): 101848 100328 1116 68 0 101780 0
[pid=31704] vsize: 407392
Current children cumulated CPU time (s) 141.48
Current children cumulated vsize (Kb) 407392

[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 107058 0 0 0 14417 692 0 0 25 0 1 0 1795821888 441774080 106357 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31704/statm): 107855 106357 1116 68 0 107787 0
[pid=31704] vsize: 431420
Current children cumulated CPU time (s) 151.09
Current children cumulated vsize (Kb) 431420

[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 112202 0 0 0 15358 722 0 0 25 0 1 0 1795821888 462594048 111500 4294967295 134512640 134736556 3221224560 3221223140 134551038 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31704/statm): 112938 111500 1116 68 0 112870 0
[pid=31704] vsize: 451752
Current children cumulated CPU time (s) 160.8
Current children cumulated vsize (Kb) 451752

[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 118402 0 0 0 16288 755 0 0 22 0 1 0 1795821888 487657472 117618 4294967295 134512640 134736556 3221224560 3221223368 134598737 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31704/statm): 119057 117618 1116 68 0 118989 0
[pid=31704] vsize: 476228
Current children cumulated CPU time (s) 170.43
Current children cumulated vsize (Kb) 476228

[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 124926 0 0 0 17211 792 0 0 25 0 1 0 1795821888 513814528 123639 4294967295 134512640 134736556 3221224560 3221223204 134537369 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31704/statm): 125443 123639 1116 68 0 125375 0
[pid=31704] vsize: 501772
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 501772

[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 131487 0 0 0 18129 830 0 0 25 0 1 0 1795821888 540680192 130190 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31704/statm): 132002 130190 1116 68 0 131934 0
[pid=31704] vsize: 528008
Current children cumulated CPU time (s) 189.59
Current children cumulated vsize (Kb) 528008

[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 138386 0 0 0 19047 871 0 0 25 0 1 0 1795821888 568733696 137079 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31704/statm): 138851 137079 1116 68 0 138783 0
[pid=31704] vsize: 555404
Current children cumulated CPU time (s) 199.18
Current children cumulated vsize (Kb) 555404

[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 145091 0 0 0 19968 909 0 0 25 0 1 0 1795821888 596209664 143779 4294967295 134512640 134736556 3221224560 3221223272 134694469 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31704/statm): 145559 143779 1116 68 0 145491 0
[pid=31704] vsize: 582236
Current children cumulated CPU time (s) 208.77
Current children cumulated vsize (Kb) 582236

[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 151703 0 0 0 20891 945 0 0 25 0 1 0 1795821888 623243264 150391 4294967295 134512640 134736556 3221224560 3221223240 134554078 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31704/statm): 152159 150391 1116 68 0 152091 0
[pid=31704] vsize: 608636
Current children cumulated CPU time (s) 218.36
Current children cumulated vsize (Kb) 608636

[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.98 1/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) T 31703 31704 6872 0 -1 0 157638 0 0 0 21815 980 0 0 25 0 1 0 1795821888 647589888 156317 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/31704/statm): 158103 156317 1116 68 0 158035 0
[pid=31704] vsize: 632412
Current children cumulated CPU time (s) 227.95
Current children cumulated vsize (Kb) 632412

[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.98 1/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) T 31703 31704 6872 0 -1 0 164157 0 0 0 22736 1016 0 0 25 0 1 0 1795821888 674488320 162822 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/31704/statm): 164670 162822 1116 68 0 164602 0
[pid=31704] vsize: 658680
Current children cumulated CPU time (s) 237.52
Current children cumulated vsize (Kb) 658680

[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.98 1/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) T 31703 31704 6872 0 -1 0 170974 0 0 0 23656 1055 0 0 25 0 1 0 1795821888 702353408 169633 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/31704/statm): 171473 169633 1116 68 0 171405 0
[pid=31704] vsize: 685892
Current children cumulated CPU time (s) 247.11
Current children cumulated vsize (Kb) 685892

[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 177132 0 0 0 24586 1088 0 0 25 0 1 0 1795821888 727580672 175780 4294967295 134512640 134736556 3221224560 3221223152 134716017 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31704/statm): 177632 175780 1116 68 0 177564 0
[pid=31704] vsize: 710528
Current children cumulated CPU time (s) 256.74
Current children cumulated vsize (Kb) 710528

[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.98 1/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) T 31703 31704 6872 0 -1 0 183757 0 0 0 25511 1124 0 0 25 0 1 0 1795821888 754548736 182234 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/31704/statm): 184216 182234 1116 68 0 184148 0
[pid=31704] vsize: 736864
Current children cumulated CPU time (s) 266.35
Current children cumulated vsize (Kb) 736864

[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.98 1/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) T 31703 31704 6872 0 -1 0 189255 0 0 0 26442 1157 0 0 25 0 1 0 1795821888 777318400 187725 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/31704/statm): 189775 187725 1116 68 0 189707 0
[pid=31704] vsize: 759100
Current children cumulated CPU time (s) 275.99
Current children cumulated vsize (Kb) 759100

[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 194931 0 0 0 27373 1190 0 0 25 0 1 0 1795821888 800546816 193388 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31704/statm): 195446 193388 1116 68 0 195378 0
[pid=31704] vsize: 781784
Current children cumulated CPU time (s) 285.63
Current children cumulated vsize (Kb) 781784

[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.98 1/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) T 31703 31704 6872 0 -1 0 200778 0 0 0 28303 1222 0 0 25 0 1 0 1795821888 824619008 199216 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/31704/statm): 201323 199216 1116 68 0 201255 0
[pid=31704] vsize: 805292
Current children cumulated CPU time (s) 295.25
Current children cumulated vsize (Kb) 805292

[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 206914 0 0 0 29227 1260 0 0 25 0 1 0 1795821888 849911808 205347 4294967295 134512640 134736556 3221224560 3221223204 134537369 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31704/statm): 207498 205347 1116 68 0 207430 0
[pid=31704] vsize: 829992
Current children cumulated CPU time (s) 304.87
Current children cumulated vsize (Kb) 829992

[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 213603 0 0 0 30150 1297 0 0 25 0 1 0 1795821888 877309952 212018 4294967295 134512640 134736556 3221224560 3221223232 134536462 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31704/statm): 214187 212018 1116 68 0 214119 0
[pid=31704] vsize: 856748
Current children cumulated CPU time (s) 314.47
Current children cumulated vsize (Kb) 856748

[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 220283 0 0 0 31073 1330 0 0 25 0 1 0 1795821888 904581120 218693 4294967295 134512640 134736556 3221224560 3221223272 134694449 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31704/statm): 220845 218694 1116 68 0 220777 0
[pid=31704] vsize: 883380
Current children cumulated CPU time (s) 324.03
Current children cumulated vsize (Kb) 883380

[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.98 1/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) T 31703 31704 6872 0 -1 0 226030 0 0 0 32004 1363 0 0 25 0 1 0 1795821888 928108544 224424 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/31704/statm): 226589 224424 1116 68 0 226521 0
[pid=31704] vsize: 906356
Current children cumulated CPU time (s) 333.67
Current children cumulated vsize (Kb) 906356



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+357.75 s]
Raw data (loadavg): 0.99 0.97 0.98 1/56 31704
Raw data (/proc/31704/stat): 31704 (bsolo) T 31703 31704 6872 0 -1 0 229860 0 0 0 32732 1384 0 0 25 0 1 0 1795821888 943792128 227603 4294967295 134512640 134736556 3221224560 3221223020 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/31704/statm): 230418 227603 1116 68 0 230350 0
[pid=31704] vsize: 921672
Current children cumulated CPU time (s) 341.16
Current children cumulated vsize (Kb) 921672

Sending SIGTERM to -31704
Sleeping 2 seconds
Sending SIGKILL to -31704

[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 31705
Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 1028 229860 0 0 0 32732 1410 0 0 18 0 1 0 1795821888 0 0 4294967295 0 0 0 0 0 0 16384 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31704/statm): 0 0 0 0 0 0 0
[pid=31704] vsize: 0
Current children cumulated CPU time (s) 341.42
Current children cumulated vsize (Kb) 0
One traced child (pid=31704) 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): 360.176
CPU time (s): 341.594
CPU user time (s): 327.323
CPU system time (s): 14.2708
CPU usage (%): 94.8408
Max. virtual memory (cumulated for all children) (Kb): 921672

Verifier Data

ERROR: no interpretation found !