Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08aCUTS.opb
MD5SUMd1b87efc35bcd73acfc5183bbe3df4f0
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 2304
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 178464600
Number of bits of the sum of numbers in the objective function 28
Biggest number in a constraint 1048576
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 178464600
Number of bits of the biggest sum of numbers28
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables3288
Total number of constraints374
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 constraints310
Minimum length of a constraint1
Maximum length of a constraint123

Trace number 5187

Launcher Data

LAUNCH ON wulflinc11 THE 2005-09-19 23:22:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=975 boxname=wulflinc11 idbench=975 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  d1b87efc35bcd73acfc5183bbe3df4f0  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-pp08aCUTS.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-pp08aCUTS.opb
IDLAUNCH: 975
/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:        914424 kB
Buffers:          7728 kB
Cached:          86496 kB
SwapCached:        840 kB
Active:          19288 kB
Inactive:        77420 kB
HighTotal:      131008 kB
HighFree:        41580 kB
LowTotal:       903652 kB
LowFree:        872844 kB
SwapTotal:     2097136 kB
SwapFree:      2095596 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5580 kB
Slab:            17904 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 23:28:34 (client local time) WITH STATUS 0 IN 342.659 SECONDS
stats: 975 7 342.659 0

Solver Data

c INFO: OSL Context initialized.
c Initial problem consists of 3288 variables and 374 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 1.095
c After prepocess the problem consists of 3288 variables and 374 constraints.
c Initial Lower Bound: 0
c Restart #1 #Var: 3288 #Dec: 18843 LB: 0 @ 2.063
c Restart #2 #Var: 3288 #Dec: 54136 LB: 0 @ 3.983
c Restart #3 #Var: 3288 #Dec: 93276 LB: 0 @ 6.399
c Restart #4 #Var: 3288 #Dec: 124727 LB: 0 @ 8.474
c Restart #5 #Var: 3288 #Dec: 158182 LB: 0 @ 10.796
c Restart #6 #Var: 3288 #Dec: 181768 LB: 0 @ 12.675
c Restart #7 #Var: 3288 #Dec: 183609 LB: 0 @ 13.408
c Restart #8 #Var: 3288 #Dec: 185255 LB: 0 @ 14.283
c Restart #9 #Var: 3288 #Dec: 187099 LB: 0 @ 15.274
c Restart #10 #Var: 3288 #Dec: 189146 LB: 0 @ 16.358
c Restart #11 #Var: 3288 #Dec: 191391 LB: 0 @ 17.593
c Restart #12 #Var: 3288 #Dec: 193835 LB: 0 @ 18.903
c Restart #13 #Var: 3288 #Dec: 196481 LB: 0 @ 20.36
c Restart #14 #Var: 3288 #Dec: 199327 LB: 0 @ 21.879
c Restart #15 #Var: 3288 #Dec: 202371 LB: 0 @ 23.553
c Restart #16 #Var: 3288 #Dec: 205615 LB: 0 @ 25.459
c Restart #17 #Var: 3288 #Dec: 209061 LB: 0 @ 27.332
c Restart #18 #Var: 3288 #Dec: 212708 LB: 0 @ 29.586
c Restart #19 #Var: 3288 #Dec: 216556 LB: 0 @ 31.962
c Restart #20 #Var: 3288 #Dec: 220600 LB: 0 @ 35.058
c Restart #21 #Var: 3288 #Dec: 224846 LB: 0 @ 37.488
c Restart #22 #Var: 3288 #Dec: 229290 LB: 0 @ 40.459
c Restart #23 #Var: 3288 #Dec: 233935 LB: 0 @ 43.19
c Restart #24 #Var: 3288 #Dec: 238780 LB: 0 @ 46.195
c Restart #25 #Var: 3288 #Dec: 243825 LB: 0 @ 49.419
c Restart #26 #Var: 3288 #Dec: 249072 LB: 0 @ 52.789
c Restart #27 #Var: 3288 #Dec: 254519 LB: 0 @ 55.958
c Restart #28 #Var: 3288 #Dec: 260165 LB: 0 @ 59.792
c Restart #29 #Var: 3288 #Dec: 266009 LB: 0 @ 63.186
c Restart #30 #Var: 3288 #Dec: 272053 LB: 0 @ 67.535
c Restart #31 #Var: 3288 #Dec: 278297 LB: 0 @ 71.42
c Restart #32 #Var: 3288 #Dec: 284741 LB: 0 @ 75.998
c Restart #33 #Var: 3288 #Dec: 291386 LB: 0 @ 80.297
c Restart #34 #Var: 3288 #Dec: 298233 LB: 0 @ 85.43
c Restart #35 #Var: 3288 #Dec: 305278 LB: 0 @ 90.208
c Restart #36 #Var: 3288 #Dec: 312527 LB: 0 @ 96.048
c Restart #37 #Var: 3288 #Dec: 319972 LB: 0 @ 101.54
c Restart #38 #Var: 3288 #Dec: 327614 LB: 0 @ 107.23
c Restart #39 #Var: 3288 #Dec: 335460 LB: 0 @ 113.34
c Restart #40 #Var: 3288 #Dec: 343501 LB: 0 @ 120.19
c Restart #41 #Var: 3288 #Dec: 351744 LB: 0 @ 126.45
c Restart #42 #Var: 3288 #Dec: 360186 LB: 0 @ 133.43
c Restart #43 #Var: 3288 #Dec: 368834 LB: 0 @ 140.09
c Restart #44 #Var: 3288 #Dec: 377679 LB: 0 @ 147.84
c Restart #45 #Var: 3288 #Dec: 386720 LB: 0 @ 154.2
c Restart #46 #Var: 3288 #Dec: 395963 LB: 0 @ 162.11
c Restart #47 #Var: 3288 #Dec: 405410 LB: 0 @ 169.54
c Restart #48 #Var: 3288 #Dec: 415051 LB: 0 @ 178.29
c Restart #49 #Var: 3288 #Dec: 424899 LB: 0 @ 186.72
c Restart #50 #Var: 3288 #Dec: 434946 LB: 0 @ 195.64
c Restart #51 #Var: 3288 #Dec: 445189 LB: 0 @ 203.8
c Restart #52 #Var: 3288 #Dec: 455632 LB: 0 @ 213.73
c Restart #53 #Var: 3288 #Dec: 466278 LB: 0 @ 221.48
c Restart #54 #Var: 3288 #Dec: 477120 LB: 0 @ 231.53
c Restart #55 #Var: 3288 #Dec: 488163 LB: 0 @ 239.89
c Restart #56 #Var: 3288 #Dec: 499409 LB: 0 @ 250.14
c Restart #57 #Var: 3288 #Dec: 510851 LB: 0 @ 259.89
c Restart #58 #Var: 3288 #Dec: 522497 LB: 0 @ 269.79
c Restart #59 #Var: 3288 #Dec: 534340 LB: 0 @ 280.38
c Restart #60 #Var: 3288 #Dec: 546385 LB: 0 @ 290.31
c Restart #61 #Var: 3288 #Dec: 558629 LB: 0 @ 302.62
c Restart #62 #Var: 3288 #Dec: 571073 LB: 0 @ 313.54
c Restart #63 #Var: 3288 #Dec: 583718 LB: 0 @ 325.62
c Restart #64 #Var: 3288 #Dec: 596563 LB: 0 @ 337.57
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/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1795590950 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/30166/statm): 107 3 90 68 0 39 0
[pid=30166] 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-pp08aCUTS.opb

[startup+10.003 s]
Raw data (loadavg): 0.93 0.98 0.99 2/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 4707 0 0 0 570 144 0 0 16 0 1 0 1795590950 22372352 4618 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30166/statm): 5462 4618 1116 68 0 5394 0
[pid=30166] vsize: 21848
Current children cumulated CPU time (s) 7.14
Current children cumulated vsize (Kb) 21848

[startup+20.0028 s]
Raw data (loadavg): 0.94 0.98 0.99 2/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 8555 0 0 0 1244 259 0 0 17 0 1 0 1795590950 38211584 8465 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30166/statm): 9329 8465 1116 68 0 9261 0
[pid=30166] vsize: 37316
Current children cumulated CPU time (s) 15.03
Current children cumulated vsize (Kb) 37316

[startup+30.0036 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 17581 0 0 0 2131 314 0 0 17 0 1 0 1795590950 75202560 17489 4294967295 134512640 134736556 3221224560 3221223140 134716328 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30166/statm): 18360 17489 1116 68 0 18292 0
[pid=30166] vsize: 73440
Current children cumulated CPU time (s) 24.45
Current children cumulated vsize (Kb) 73440

[startup+40.0044 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 25673 0 0 0 3036 359 0 0 18 0 1 0 1795590950 108560384 25568 4294967295 134512640 134736556 3221224560 3221223152 134550928 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30166/statm): 26504 25568 1116 68 0 26436 0
[pid=30166] vsize: 106016
Current children cumulated CPU time (s) 33.95
Current children cumulated vsize (Kb) 106016

[startup+50.0052 s]
Raw data (loadavg): 0.96 0.98 0.99 1/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 33486 0 0 0 3945 405 0 0 18 0 1 0 1795590950 140685312 33377 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30166/statm): 34347 33377 1116 68 0 34279 0
[pid=30166] vsize: 137388
Current children cumulated CPU time (s) 43.5
Current children cumulated vsize (Kb) 137388

[startup+60.006 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 41419 0 0 0 4855 448 0 0 18 0 1 0 1795590950 173506560 41278 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30166/statm): 42360 41278 1116 68 0 42292 0
[pid=30166] vsize: 169440
Current children cumulated CPU time (s) 53.03
Current children cumulated vsize (Kb) 169440

[startup+70.0067 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 49818 0 0 0 5755 496 0 0 18 0 1 0 1795590950 208019456 49669 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30166/statm): 50786 49669 1116 68 0 50718 0
[pid=30166] vsize: 203144
Current children cumulated CPU time (s) 62.51
Current children cumulated vsize (Kb) 203144

[startup+80.0075 s]
Raw data (loadavg): 0.98 0.98 0.99 1/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 57071 0 0 0 6669 537 0 0 18 0 1 0 1795590950 237875200 56910 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30166/statm): 58075 56910 1116 68 0 58007 0
[pid=30166] vsize: 232300
Current children cumulated CPU time (s) 72.06
Current children cumulated vsize (Kb) 232300

[startup+90.0073 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 64524 0 0 0 7575 581 0 0 18 0 1 0 1795590950 268214272 64360 4294967295 134512640 134736556 3221224560 3221223056 134536168 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30166/statm): 65482 64360 1116 68 0 65414 0
[pid=30166] vsize: 261928
Current children cumulated CPU time (s) 81.56
Current children cumulated vsize (Kb) 261928

[startup+100.008 s]
Raw data (loadavg): 0.98 0.98 0.99 1/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 71663 0 0 0 8492 622 0 0 19 0 1 0 1795590950 297545728 71315 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30166/statm): 72643 71315 1116 68 0 72575 0
[pid=30166] vsize: 290572
Current children cumulated CPU time (s) 91.14
Current children cumulated vsize (Kb) 290572

[startup+110.009 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 78610 0 0 0 9412 660 0 0 19 0 1 0 1795590950 326057984 78260 4294967295 134512640 134736556 3221224560 3221223216 134537358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30166/statm): 79604 78260 1116 68 0 79536 0
[pid=30166] vsize: 318416
Current children cumulated CPU time (s) 100.72
Current children cumulated vsize (Kb) 318416

[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 85214 0 0 0 10337 693 0 0 17 0 1 0 1795590950 352743424 84782 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30166/statm): 86119 84782 1116 68 0 86051 0
[pid=30166] vsize: 344476
Current children cumulated CPU time (s) 110.3
Current children cumulated vsize (Kb) 344476

[startup+130.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 91547 0 0 0 11265 727 0 0 20 0 1 0 1795590950 379097088 91103 4294967295 134512640 134736556 3221224560 3221223232 134536462 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30166/statm): 92553 91103 1116 68 0 92485 0
[pid=30166] vsize: 370212
Current children cumulated CPU time (s) 119.92
Current children cumulated vsize (Kb) 370212

[startup+140.01 s]
Raw data (loadavg): 1.07 1.00 1.00 1/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 97863 0 0 0 12191 766 0 0 25 0 1 0 1795590950 404701184 97337 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30166/statm): 98804 97337 1116 68 0 98736 0
[pid=30166] vsize: 395216
Current children cumulated CPU time (s) 129.57
Current children cumulated vsize (Kb) 395216

[startup+150.011 s]
Raw data (loadavg): 1.06 1.00 1.00 1/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 104764 0 0 0 13110 805 0 0 25 0 1 0 1795590950 432803840 104149 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/30166/statm): 105665 104149 1116 68 0 105597 0
[pid=30166] vsize: 422660
Current children cumulated CPU time (s) 139.15
Current children cumulated vsize (Kb) 422660

[startup+160.012 s]
Raw data (loadavg): 1.05 1.00 1.00 2/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 110205 0 0 0 14045 835 0 0 25 0 1 0 1795590950 454889472 109497 4294967295 134512640 134736556 3221224560 3221223120 134550928 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30166/statm): 111057 109497 1116 68 0 110989 0
[pid=30166] vsize: 444228
Current children cumulated CPU time (s) 148.8
Current children cumulated vsize (Kb) 444228

[startup+170.012 s]
Raw data (loadavg): 1.04 1.00 1.00 1/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 117356 0 0 0 14960 875 0 0 19 0 1 0 1795590950 484155392 116642 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30166/statm): 118202 116642 1116 68 0 118134 0
[pid=30166] vsize: 472808
Current children cumulated CPU time (s) 158.35
Current children cumulated vsize (Kb) 472808

[startup+180.012 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 123852 0 0 0 15887 910 0 0 25 0 1 0 1795590950 510570496 123056 4294967295 134512640 134736556 3221224560 3221223276 134694485 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30166/statm): 124651 123057 1116 68 0 124583 0
[pid=30166] vsize: 498604
Current children cumulated CPU time (s) 167.97
Current children cumulated vsize (Kb) 498604

[startup+190.012 s]
Raw data (loadavg): 1.03 1.00 1.00 1/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 129611 0 0 0 16817 940 0 0 17 0 1 0 1795590950 533954560 128815 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30166/statm): 130360 128815 1116 68 0 130292 0
[pid=30166] vsize: 521440
Current children cumulated CPU time (s) 177.57
Current children cumulated vsize (Kb) 521440

[startup+200.013 s]
Raw data (loadavg): 1.02 1.00 1.00 1/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 135257 0 0 0 17749 976 0 0 21 0 1 0 1795590950 556630016 134202 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30166/statm): 135896 134202 1116 68 0 135828 0
[pid=30166] vsize: 543584
Current children cumulated CPU time (s) 187.25
Current children cumulated vsize (Kb) 543584

[startup+210.014 s]
Raw data (loadavg): 1.02 1.00 1.00 1/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 141398 0 0 0 18684 1008 0 0 25 0 1 0 1795590950 581136384 139936 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30166/statm): 141879 139936 1116 68 0 141811 0
[pid=30166] vsize: 567516
Current children cumulated CPU time (s) 196.92
Current children cumulated vsize (Kb) 567516

[startup+220.014 s]
Raw data (loadavg): 1.02 1.00 1.00 1/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 147551 0 0 0 19613 1041 0 0 25 0 1 0 1795590950 606347264 146086 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30166/statm): 148034 146086 1116 68 0 147966 0
[pid=30166] vsize: 592136
Current children cumulated CPU time (s) 206.54
Current children cumulated vsize (Kb) 592136

[startup+230.013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 153538 0 0 0 20543 1073 0 0 25 0 1 0 1795590950 630706176 152068 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30166/statm): 153981 152068 1116 68 0 153913 0
[pid=30166] vsize: 615924
Current children cumulated CPU time (s) 216.16
Current children cumulated vsize (Kb) 615924

[startup+240.013 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 159842 0 0 0 21463 1113 0 0 20 0 1 0 1795590950 656265216 158372 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30166/statm): 160221 158372 1116 68 0 160153 0
[pid=30166] vsize: 640884
Current children cumulated CPU time (s) 225.76
Current children cumulated vsize (Kb) 640884

[startup+250.014 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 165843 0 0 0 22389 1146 0 0 25 0 1 0 1795590950 680718336 164366 4294967295 134512640 134736556 3221224560 3221223024 134536168 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30166/statm): 166191 164366 1116 68 0 166123 0
[pid=30166] vsize: 664764
Current children cumulated CPU time (s) 235.35
Current children cumulated vsize (Kb) 664764

[startup+260.014 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 171798 0 0 0 23313 1184 0 0 25 0 1 0 1795590950 705183744 170311 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30166/statm): 172164 170311 1116 68 0 172096 0
[pid=30166] vsize: 688656
Current children cumulated CPU time (s) 244.97
Current children cumulated vsize (Kb) 688656

[startup+270.014 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 177856 0 0 0 24240 1218 0 0 25 0 1 0 1795590950 729493504 176205 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30166/statm): 178099 176205 1116 68 0 178031 0
[pid=30166] vsize: 712396
Current children cumulated CPU time (s) 254.58
Current children cumulated vsize (Kb) 712396

[startup+280.014 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 184001 0 0 0 25168 1254 0 0 25 0 1 0 1795590950 754479104 182188 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30166/statm): 184199 182188 1116 68 0 184131 0
[pid=30166] vsize: 736796
Current children cumulated CPU time (s) 264.22
Current children cumulated vsize (Kb) 736796

[startup+290.014 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 189747 0 0 0 26102 1285 0 0 25 0 1 0 1795590950 777793536 187933 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30166/statm): 189891 187933 1116 68 0 189823 0
[pid=30166] vsize: 759564
Current children cumulated CPU time (s) 273.87
Current children cumulated vsize (Kb) 759564

[startup+300.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 195877 0 0 0 27033 1316 0 0 25 0 1 0 1795590950 802512896 193901 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30166/statm): 195926 193901 1116 68 0 195858 0
[pid=30166] vsize: 783704
Current children cumulated CPU time (s) 283.49
Current children cumulated vsize (Kb) 783704

[startup+310.015 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 201693 0 0 0 27967 1349 0 0 21 0 1 0 1795590950 826015744 199555 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30166/statm): 201664 199555 1116 68 0 201596 0
[pid=30166] vsize: 806656
Current children cumulated CPU time (s) 293.16
Current children cumulated vsize (Kb) 806656

[startup+320.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 207501 0 0 0 28902 1382 0 0 20 0 1 0 1795590950 849580032 205195 4294967295 134512640 134736556 3221224560 3221223196 134554100 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30166/statm): 207417 205195 1116 68 0 207349 0
[pid=30166] vsize: 829668
Current children cumulated CPU time (s) 302.84
Current children cumulated vsize (Kb) 829668

[startup+330.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 213946 0 0 0 29821 1419 0 0 17 0 1 0 1795590950 875806720 211640 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30166/statm): 213820 211640 1116 68 0 213752 0
[pid=30166] vsize: 855280
Current children cumulated CPU time (s) 312.4
Current children cumulated vsize (Kb) 855280

[startup+340.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 219266 0 0 0 30759 1448 0 0 25 0 1 0 1795590950 897343488 216791 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30166/statm): 219078 216791 1116 68 0 219010 0
[pid=30166] vsize: 876312
Current children cumulated CPU time (s) 322.07
Current children cumulated vsize (Kb) 876312

[startup+350.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 224621 0 0 0 31697 1475 0 0 18 0 1 0 1795590950 918814720 221984 4294967295 134512640 134736556 3221224560 3221223336 134560348 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30166/statm): 224320 221984 1116 68 0 224252 0
[pid=30166] vsize: 897280
Current children cumulated CPU time (s) 331.72
Current children cumulated vsize (Kb) 897280

[startup+360.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 230000 0 0 0 32633 1507 0 0 25 0 1 0 1795590950 940441600 227363 4294967295 134512640 134736556 3221224560 3221223240 134553973 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30166/statm): 229600 227363 1116 68 0 229532 0
[pid=30166] vsize: 918400
Current children cumulated CPU time (s) 341.4
Current children cumulated vsize (Kb) 918400



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+360.901 s]
Raw data (loadavg): 1.08 1.02 1.01 1/56 30166
Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 230795 0 0 0 32711 1512 0 0 25 0 1 0 1795590950 943820800 227793 4294967295 134512640 134736556 3221224560 3221223020 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30166/statm): 230425 227793 1116 68 0 230357 0
[pid=30166] vsize: 921700
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (Kb) 921700

Sending SIGTERM to -30166
Sleeping 2 seconds
Sending SIGKILL to -30166
One traced child (pid=30166) 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): 363.326
CPU time (s): 342.659
CPU user time (s): 327.118
CPU system time (s): 15.5406
CPU usage (%): 94.3117
Max. virtual memory (cumulated for all children) (Kb): 921700

Verifier Data

ERROR: no interpretation found !