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/miplib/normalized-mps-v2-13-7-rgn.opb
MD5SUM1400a638b0a1a6fa8602672cb986ba1d
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 benchmark1257.5
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 5137

Launcher Data

LAUNCH ON wulflinc11 THE 2005-09-19 22:55:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=922 boxname=wulflinc11 idbench=922 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  1400a638b0a1a6fa8602672cb986ba1d  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-rgn.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-rgn.opb
IDLAUNCH: 922
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        917440 kB
Buffers:          5584 kB
Cached:          85580 kB
SwapCached:        840 kB
Active:          19008 kB
Inactive:        74576 kB
HighTotal:      131008 kB
HighFree:        41860 kB
LowTotal:       903652 kB
LowFree:        875580 kB
SwapTotal:     2097136 kB
SwapFree:      2095596 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5580 kB
Slab:            17896 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 23:01:53 (client local time) WITH STATUS 0 IN 339.992 SECONDS
stats: 922 7 339.992 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.352
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.723
c Restart #2 #Var: 1020 #Dec: 27175 LB: 0 @ 1.748
c Restart #3 #Var: 1020 #Dec: 49976 LB: 0 @ 2.984
c Restart #4 #Var: 1020 #Dec: 73603 LB: 0 @ 4.354
c Restart #5 #Var: 1020 #Dec: 87469 LB: 0 @ 5.376
c Restart #6 #Var: 1020 #Dec: 88692 LB: 0 @ 5.926
c Restart #7 #Var: 1020 #Dec: 90129 LB: 0 @ 6.622
c Restart #8 #Var: 1020 #Dec: 91752 LB: 0 @ 7.436
c Restart #9 #Var: 1020 #Dec: 93587 LB: 0 @ 8.367
c Restart #10 #Var: 1020 #Dec: 95607 LB: 0 @ 9.468
c Restart #11 #Var: 1020 #Dec: 97840 LB: 0 @ 10.737
c Restart #12 #Var: 1020 #Dec: 100277 LB: 0 @ 12.098
c Restart #13 #Var: 1020 #Dec: 102911 LB: 0 @ 13.643
c Restart #14 #Var: 1020 #Dec: 105745 LB: 0 @ 15.27
c Restart #15 #Var: 1020 #Dec: 108777 LB: 0 @ 17.201
c Restart #16 #Var: 1020 #Dec: 112013 LB: 0 @ 19.091
c Restart #17 #Var: 1020 #Dec: 115447 LB: 0 @ 21.233
c Restart #18 #Var: 1020 #Dec: 119077 LB: 0 @ 23.386
c Restart #19 #Var: 1020 #Dec: 122908 LB: 0 @ 26.195
c Restart #20 #Var: 1020 #Dec: 126943 LB: 0 @ 29.157
c Restart #21 #Var: 1020 #Dec: 131174 LB: 0 @ 31.96
c Restart #22 #Var: 1020 #Dec: 135607 LB: 0 @ 34.914
c Restart #23 #Var: 1020 #Dec: 140242 LB: 0 @ 38.105
c Restart #24 #Var: 1020 #Dec: 145077 LB: 0 @ 40.882
c Restart #25 #Var: 1020 #Dec: 150112 LB: 0 @ 44.195
c Restart #26 #Var: 1020 #Dec: 155345 LB: 0 @ 47.55
c Restart #27 #Var: 1020 #Dec: 160778 LB: 0 @ 51.133
c Restart #28 #Var: 1020 #Dec: 166412 LB: 0 @ 54.843
c Restart #29 #Var: 1020 #Dec: 172245 LB: 0 @ 59.574
c Restart #30 #Var: 1020 #Dec: 178275 LB: 0 @ 63.817
c Restart #31 #Var: 1020 #Dec: 184509 LB: 0 @ 69.147
c Restart #32 #Var: 1020 #Dec: 190945 LB: 0 @ 74.655
c Restart #33 #Var: 1020 #Dec: 197581 LB: 0 @ 80.469
c Restart #34 #Var: 1020 #Dec: 204413 LB: 0 @ 86.478
c Restart #35 #Var: 1020 #Dec: 211449 LB: 0 @ 91.708
c Restart #36 #Var: 1020 #Dec: 218684 LB: 0 @ 97.302
c Restart #37 #Var: 1020 #Dec: 226120 LB: 0 @ 103.22
c Restart #38 #Var: 1020 #Dec: 233755 LB: 0 @ 109.71
c Restart #39 #Var: 1020 #Dec: 241592 LB: 0 @ 116.49
c Restart #40 #Var: 1020 #Dec: 249628 LB: 0 @ 124.51
c Restart #41 #Var: 1020 #Dec: 257860 LB: 0 @ 131.24
c Restart #42 #Var: 1020 #Dec: 266294 LB: 0 @ 138.97
c Restart #43 #Var: 1020 #Dec: 274928 LB: 0 @ 146.44
c Restart #44 #Var: 1020 #Dec: 283763 LB: 0 @ 155
c Restart #45 #Var: 1020 #Dec: 292797 LB: 0 @ 163.42
c Restart #46 #Var: 1020 #Dec: 302035 LB: 0 @ 171.48
c Restart #47 #Var: 1020 #Dec: 311470 LB: 0 @ 179.05
c Restart #48 #Var: 1020 #Dec: 321099 LB: 0 @ 185.68
c Restart #49 #Var: 1020 #Dec: 330934 LB: 0 @ 194.54
c Restart #50 #Var: 1020 #Dec: 340960 LB: 0 @ 201.28
c Restart #51 #Var: 1020 #Dec: 351192 LB: 0 @ 209.73
c Restart #52 #Var: 1020 #Dec: 361623 LB: 0 @ 216.75
c Restart #53 #Var: 1020 #Dec: 372260 LB: 0 @ 225.56
c Restart #54 #Var: 1020 #Dec: 383093 LB: 0 @ 234.31
c Restart #55 #Var: 1020 #Dec: 394128 LB: 0 @ 242.42
c Restart #56 #Var: 1020 #Dec: 405359 LB: 0 @ 252.23
c Restart #57 #Var: 1020 #Dec: 416793 LB: 0 @ 260.83
c Restart #58 #Var: 1020 #Dec: 428426 LB: 0 @ 270.9
c Restart #59 #Var: 1020 #Dec: 440262 LB: 0 @ 282.39
c Restart #60 #Var: 1020 #Dec: 452297 LB: 0 @ 292.06
c Restart #61 #Var: 1020 #Dec: 464532 LB: 0 @ 303
c Restart #62 #Var: 1020 #Dec: 476963 LB: 0 @ 313.72
c Restart #63 #Var: 1020 #Dec: 489595 LB: 0 @ 323.61
c Restart #64 #Var: 1020 #Dec: 502426 LB: 0 @ 334.34
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/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1795431321 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/29949/statm): 107 3 90 68 0 39 0
[pid=29949] 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/wulflinc11/normalized-mps-v2-13-7-rgn.opb

[startup+10.0032 s]
Raw data (loadavg): 0.93 0.98 0.99 2/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 6241 0 0 0 612 134 0 0 25 0 1 0 1795431321 28659712 6152 4294967295 134512640 134736556 3221224560 3221223136 134551043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/29949/statm): 6997 6152 1116 68 0 6929 0
[pid=29949] vsize: 27988
Current children cumulated CPU time (s) 7.46
Current children cumulated vsize (Kb) 27988

[startup+20.004 s]
Raw data (loadavg): 0.94 0.98 0.99 2/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) T 29948 29949 9854 0 -1 0 15046 0 0 0 1508 184 0 0 25 0 1 0 1795431321 64966656 14951 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/29949/statm): 15861 14951 1116 68 0 15793 0
[pid=29949] vsize: 63444
Current children cumulated CPU time (s) 16.92
Current children cumulated vsize (Kb) 63444

[startup+30.0049 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 22894 0 0 0 2420 226 0 0 25 0 1 0 1795431321 97239040 22789 4294967295 134512640 134736556 3221224560 3221223168 134524350 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/29949/statm): 23740 22789 1116 68 0 23672 0
[pid=29949] vsize: 94960
Current children cumulated CPU time (s) 26.46
Current children cumulated vsize (Kb) 94960

[startup+40.0046 s]
Raw data (loadavg): 0.96 0.98 0.99 1/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) T 29948 29949 9854 0 -1 0 30333 0 0 0 3334 267 0 0 25 0 1 0 1795431321 127651840 30221 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/29949/statm): 31165 30221 1116 68 0 31097 0
[pid=29949] vsize: 124660
Current children cumulated CPU time (s) 36.01
Current children cumulated vsize (Kb) 124660

[startup+50.0054 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 38259 0 0 0 4238 311 0 0 25 0 1 0 1795431321 160419840 38128 4294967295 134512640 134736556 3221224560 3221223096 1077377425 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/29949/statm): 39165 38128 1116 68 0 39097 0
[pid=29949] vsize: 156660
Current children cumulated CPU time (s) 45.49
Current children cumulated vsize (Kb) 156660

[startup+60.0052 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 45990 0 0 0 5146 354 0 0 25 0 1 0 1795431321 192049152 45859 4294967295 134512640 134736556 3221224560 3221223116 134536254 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/29949/statm): 46887 45859 1116 68 0 46819 0
[pid=29949] vsize: 187548
Current children cumulated CPU time (s) 55
Current children cumulated vsize (Kb) 187548

[startup+70.006 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 52673 0 0 0 6068 392 0 0 25 0 1 0 1795431321 219508736 52532 4294967295 134512640 134736556 3221224560 3221223184 134537363 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/29949/statm): 53591 52532 1116 68 0 53523 0
[pid=29949] vsize: 214364
Current children cumulated CPU time (s) 64.6
Current children cumulated vsize (Kb) 214364

[startup+80.0068 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 58964 0 0 0 6993 428 0 0 25 0 1 0 1795431321 245329920 58820 4294967295 134512640 134736556 3221224560 3221223200 134537415 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/29949/statm): 59895 58820 1116 68 0 59827 0
[pid=29949] vsize: 239580
Current children cumulated CPU time (s) 74.21
Current children cumulated vsize (Kb) 239580

[startup+90.0066 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) T 29948 29949 9854 0 -1 0 65034 0 0 0 7923 461 0 0 25 0 1 0 1795431321 270364672 64793 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/29949/statm): 66007 64793 1116 68 0 65939 0
[pid=29949] vsize: 264028
Current children cumulated CPU time (s) 83.84
Current children cumulated vsize (Kb) 264028

[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.99 1/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) T 29948 29949 9854 0 -1 0 71294 0 0 0 8848 497 0 0 25 0 1 0 1795431321 296030208 71043 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/29949/statm): 72273 71043 1116 68 0 72205 0
[pid=29949] vsize: 289092
Current children cumulated CPU time (s) 93.45
Current children cumulated vsize (Kb) 289092

[startup+110.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 78122 0 0 0 9767 534 0 0 25 0 1 0 1795431321 323915776 77786 4294967295 134512640 134736556 3221224560 3221223220 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/29949/statm): 79081 77786 1116 68 0 79013 0
[pid=29949] vsize: 316324
Current children cumulated CPU time (s) 103.01
Current children cumulated vsize (Kb) 316324

[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 84395 0 0 0 10700 566 0 0 25 0 1 0 1795431321 349245440 83894 4294967295 134512640 134736556 3221224560 3221223244 134524324 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/29949/statm): 85265 83894 1116 68 0 85197 0
[pid=29949] vsize: 341060
Current children cumulated CPU time (s) 112.66
Current children cumulated vsize (Kb) 341060

[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 89852 0 0 0 11633 599 0 0 25 0 1 0 1795431321 371769344 89325 4294967295 134512640 134736556 3221224560 3221223120 134551076 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/29949/statm): 90764 89325 1116 68 0 90696 0
[pid=29949] vsize: 363056
Current children cumulated CPU time (s) 122.32
Current children cumulated vsize (Kb) 363056

[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 95654 0 0 0 12569 629 0 0 25 0 1 0 1795431321 395137024 94963 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/29949/statm): 96469 94963 1116 68 0 96401 0
[pid=29949] vsize: 385876
Current children cumulated CPU time (s) 131.98
Current children cumulated vsize (Kb) 385876

[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 101612 0 0 0 13500 662 0 0 25 0 1 0 1795431321 419602432 100911 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/29949/statm): 102442 100911 1116 68 0 102374 0
[pid=29949] vsize: 409768
Current children cumulated CPU time (s) 141.62
Current children cumulated vsize (Kb) 409768

[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 107706 0 0 0 14426 697 0 0 25 0 1 0 1795431321 444342272 107004 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/29949/statm): 108482 107004 1116 68 0 108414 0
[pid=29949] vsize: 433928
Current children cumulated CPU time (s) 151.23
Current children cumulated vsize (Kb) 433928

[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) T 29948 29949 9854 0 -1 0 112701 0 0 0 15362 727 0 0 25 0 1 0 1795431321 464621568 111999 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/29949/statm): 113433 111999 1116 68 0 113365 0
[pid=29949] vsize: 453732
Current children cumulated CPU time (s) 160.89
Current children cumulated vsize (Kb) 453732

[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) T 29948 29949 9854 0 -1 0 118861 0 0 0 16293 759 0 0 25 0 1 0 1795431321 489549824 118077 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/29949/statm): 119519 118077 1116 68 0 119451 0
[pid=29949] vsize: 478076
Current children cumulated CPU time (s) 170.52
Current children cumulated vsize (Kb) 478076

[startup+190.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 125298 0 0 0 17222 793 0 0 25 0 1 0 1795431321 515366912 124006 4294967295 134512640 134736556 3221224560 3221223168 134634142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/29949/statm): 125822 124006 1116 68 0 125754 0
[pid=29949] vsize: 503288
Current children cumulated CPU time (s) 180.15
Current children cumulated vsize (Kb) 503288

[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) T 29948 29949 9854 0 -1 0 132083 0 0 0 18144 829 0 0 25 0 1 0 1795431321 543113216 130785 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/29949/statm): 132596 130785 1116 68 0 132528 0
[pid=29949] vsize: 530384
Current children cumulated CPU time (s) 189.73
Current children cumulated vsize (Kb) 530384

[startup+210.008 s]
Raw data (loadavg): 1.07 1.00 1.00 2/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 139287 0 0 0 19058 868 0 0 25 0 1 0 1795431321 572518400 137980 4294967295 134512640 134736556 3221224560 3221223104 134551260 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/29949/statm): 139775 137980 1116 68 0 139707 0
[pid=29949] vsize: 559100
Current children cumulated CPU time (s) 199.26
Current children cumulated vsize (Kb) 559100

[startup+220.009 s]
Raw data (loadavg): 1.06 1.00 1.00 1/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) T 29948 29949 9854 0 -1 0 145926 0 0 0 19974 910 0 0 20 0 1 0 1795431321 599588864 144614 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/29949/statm): 146384 144614 1116 68 0 146316 0
[pid=29949] vsize: 585536
Current children cumulated CPU time (s) 208.84
Current children cumulated vsize (Kb) 585536

[startup+230.009 s]
Raw data (loadavg): 1.05 1.00 1.00 1/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) T 29948 29949 9854 0 -1 0 152203 0 0 0 20900 942 0 0 25 0 1 0 1795431321 625336320 150887 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/29949/statm): 152670 150887 1116 68 0 152602 0
[pid=29949] vsize: 610680
Current children cumulated CPU time (s) 218.42
Current children cumulated vsize (Kb) 610680

[startup+240.008 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) T 29948 29949 9854 0 -1 0 158370 0 0 0 21832 975 0 0 25 0 1 0 1795431321 650702848 157044 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/29949/statm): 158863 157044 1116 68 0 158795 0
[pid=29949] vsize: 635452
Current children cumulated CPU time (s) 228.07
Current children cumulated vsize (Kb) 635452

[startup+250.009 s]
Raw data (loadavg): 1.03 1.00 1.00 1/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) T 29948 29949 9854 0 -1 0 165117 0 0 0 22750 1012 0 0 23 0 1 0 1795431321 678408192 163782 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/29949/statm): 165627 163782 1116 68 0 165559 0
[pid=29949] vsize: 662508
Current children cumulated CPU time (s) 237.62
Current children cumulated vsize (Kb) 662508

[startup+260.009 s]
Raw data (loadavg): 1.03 1.00 1.00 1/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) T 29948 29949 9854 0 -1 0 171905 0 0 0 23669 1049 0 0 25 0 1 0 1795431321 706138112 170564 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/29949/statm): 172397 170564 1116 68 0 172329 0
[pid=29949] vsize: 689588
Current children cumulated CPU time (s) 247.18
Current children cumulated vsize (Kb) 689588

[startup+270.01 s]
Raw data (loadavg): 1.02 1.00 1.00 1/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) T 29948 29949 9854 0 -1 0 178244 0 0 0 24594 1085 0 0 25 0 1 0 1795431321 732176384 176890 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/29949/statm): 178754 176890 1116 68 0 178686 0
[pid=29949] vsize: 715016
Current children cumulated CPU time (s) 256.79
Current children cumulated vsize (Kb) 715016

[startup+280.01 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 184668 0 0 0 25523 1118 0 0 25 0 1 0 1795431321 758398976 183145 4294967295 134512640 134736556 3221224560 3221223160 134544625 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/29949/statm): 185156 183145 1116 68 0 185088 0
[pid=29949] vsize: 740624
Current children cumulated CPU time (s) 266.41
Current children cumulated vsize (Kb) 740624

[startup+290.009 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 190188 0 0 0 26456 1150 0 0 25 0 1 0 1795431321 781103104 188658 4294967295 134512640 134736556 3221224560 3221223284 134529176 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/29949/statm): 190699 188658 1116 68 0 190631 0
[pid=29949] vsize: 762796
Current children cumulated CPU time (s) 276.06
Current children cumulated vsize (Kb) 762796

[startup+300.01 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 195723 0 0 0 27391 1182 0 0 25 0 1 0 1795431321 803790848 194179 4294967295 134512640 134736556 3221224560 3221223152 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/29949/statm): 196238 194179 1116 68 0 196170 0
[pid=29949] vsize: 784952
Current children cumulated CPU time (s) 285.73
Current children cumulated vsize (Kb) 784952

[startup+310.01 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 201703 0 0 0 28325 1211 0 0 25 0 1 0 1795431321 828469248 200137 4294967295 134512640 134736556 3221224560 3221222968 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/29949/statm): 202263 200138 1116 68 0 202195 0
[pid=29949] vsize: 809052
Current children cumulated CPU time (s) 295.36
Current children cumulated vsize (Kb) 809052

[startup+320.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 207599 0 0 0 29251 1244 0 0 25 0 1 0 1795431321 852615168 206032 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/29949/statm): 208158 206032 1116 68 0 208090 0
[pid=29949] vsize: 832632
Current children cumulated CPU time (s) 304.95
Current children cumulated vsize (Kb) 832632

[startup+330.012 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 213610 0 0 0 30182 1276 0 0 25 0 1 0 1795431321 877309952 212025 4294967295 134512640 134736556 3221224560 3221223084 134536687 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/29949/statm): 214187 212025 1116 68 0 214119 0
[pid=29949] vsize: 856748
Current children cumulated CPU time (s) 314.58
Current children cumulated vsize (Kb) 856748

[startup+340.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 220335 0 0 0 31101 1311 0 0 25 0 1 0 1795431321 904851456 218745 4294967295 134512640 134736556 3221224560 3221223152 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/29949/statm): 220911 218745 1116 68 0 220843 0
[pid=29949] vsize: 883644
Current children cumulated CPU time (s) 324.12
Current children cumulated vsize (Kb) 883644

[startup+350.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 227239 0 0 0 32015 1349 0 0 25 0 1 0 1795431321 932974592 225633 4294967295 134512640 134736556 3221224560 3221223264 134529376 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/29949/statm): 227777 225633 1116 68 0 227709 0
[pid=29949] vsize: 911108
Current children cumulated CPU time (s) 333.64
Current children cumulated vsize (Kb) 911108



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+356.098 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 29949
Raw data (/proc/29949/stat): 29949 (bsolo) T 29948 29949 9854 0 -1 0 229858 0 0 0 32593 1364 0 0 25 0 1 0 1795431321 943792128 228252 4294967295 134512640 134736556 3221224560 3221223020 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/29949/statm): 230418 228252 1116 68 0 230350 0
[pid=29949] vsize: 921672
Current children cumulated CPU time (s) 339.57
Current children cumulated vsize (Kb) 921672

Sending SIGTERM to -29949
Sleeping 2 seconds
Sending SIGKILL to -29949
One traced child (pid=29949) 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): 358.52
CPU time (s): 339.992
CPU user time (s): 325.934
CPU system time (s): 14.0579
CPU usage (%): 94.8321
Max. virtual memory (cumulated for all children) (Kb): 921672

Verifier Data

ERROR: no interpretation found !