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-pp08a.opb
MD5SUM962e64054cef66ff1ace4918a032c24a
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1983976
Optimality of the best value was proved NO
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 benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.02
Number of variables3584
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)64
Number of constraints which are nor clauses,nor cardinality constraints136
Minimum length of a constraint1
Maximum length of a constraint160

Trace number 5186

Launcher Data

LAUNCH ON wulflinc27 THE 2005-09-19 23:22:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=976 boxname=wulflinc27 idbench=976 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  962e64054cef66ff1ace4918a032c24a  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-pp08a.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-pp08a.opb
IDLAUNCH: 976
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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	: 3
cpu MHz		: 451.169
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:        960504 kB
Buffers:          6624 kB
Cached:          38320 kB
SwapCached:        752 kB
Active:          12976 kB
Inactive:        34600 kB
HighTotal:      131008 kB
HighFree:        88956 kB
LowTotal:       903652 kB
LowFree:        871548 kB
SwapTotal:     2097892 kB
SwapFree:      2096628 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5728 kB
Slab:            20868 kB
Committed_AS:    64220 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 23:28:27 (client local time) WITH STATUS 0 IN 323.906 SECONDS
stats: 976 7 323.906 0

Solver Data

c INFO: OSL Context initialized.
c Initial problem consists of 3584 variables and 200 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 0.862
c After prepocess the problem consists of 3288 variables and 200 constraints.
c Initial Lower Bound: 0
c Restart #1 #Var: 3288 #Dec: 16244 LB: 0 @ 1.661
c Restart #2 #Var: 3288 #Dec: 50352 LB: 0 @ 3.351
c Restart #3 #Var: 3288 #Dec: 88502 LB: 0 @ 5.357
c Restart #4 #Var: 3288 #Dec: 125372 LB: 0 @ 7.395
c Restart #5 #Var: 3288 #Dec: 168586 LB: 0 @ 9.854
c Restart #6 #Var: 3288 #Dec: 193721 LB: 0 @ 11.622
c Restart #7 #Var: 3288 #Dec: 210485 LB: 0 @ 13.062
c Restart #8 #Var: 3288 #Dec: 212128 LB: 0 @ 13.915
c Restart #9 #Var: 3288 #Dec: 213974 LB: 0 @ 14.883
c Restart #10 #Var: 3288 #Dec: 216021 LB: 0 @ 15.993
c Restart #11 #Var: 3288 #Dec: 218270 LB: 0 @ 17.257
c Restart #12 #Var: 3288 #Dec: 220716 LB: 0 @ 18.628
c Restart #13 #Var: 3288 #Dec: 223359 LB: 0 @ 20.111
c Restart #14 #Var: 3288 #Dec: 226202 LB: 0 @ 21.802
c Restart #15 #Var: 3288 #Dec: 229249 LB: 0 @ 23.573
c Restart #16 #Var: 3288 #Dec: 232495 LB: 0 @ 25.591
c Restart #17 #Var: 3288 #Dec: 235939 LB: 0 @ 27.609
c Restart #18 #Var: 3288 #Dec: 239582 LB: 0 @ 29.878
c Restart #19 #Var: 3288 #Dec: 243426 LB: 0 @ 32.617
c Restart #20 #Var: 3288 #Dec: 247471 LB: 0 @ 35.752
c Restart #21 #Var: 3288 #Dec: 251713 LB: 0 @ 38.736
c Restart #22 #Var: 3288 #Dec: 256155 LB: 0 @ 41.751
c Restart #23 #Var: 3288 #Dec: 260797 LB: 0 @ 44.994
c Restart #24 #Var: 3288 #Dec: 265638 LB: 0 @ 48.074
c Restart #25 #Var: 3288 #Dec: 270682 LB: 0 @ 51.522
c Restart #26 #Var: 3288 #Dec: 275925 LB: 0 @ 55.541
c Restart #27 #Var: 3288 #Dec: 281370 LB: 0 @ 59.577
c Restart #28 #Var: 3288 #Dec: 287012 LB: 0 @ 64.104
c Restart #29 #Var: 3288 #Dec: 292856 LB: 0 @ 67.547
c Restart #30 #Var: 3288 #Dec: 298898 LB: 0 @ 72.194
c Restart #31 #Var: 3288 #Dec: 305141 LB: 0 @ 76.61
c Restart #32 #Var: 3288 #Dec: 311586 LB: 0 @ 81.409
c Restart #33 #Var: 3288 #Dec: 318229 LB: 0 @ 86.384
c Restart #34 #Var: 3288 #Dec: 325073 LB: 0 @ 91.977
c Restart #35 #Var: 3288 #Dec: 332118 LB: 0 @ 97.241
c Restart #36 #Var: 3288 #Dec: 339363 LB: 0 @ 102.28
c Restart #37 #Var: 3288 #Dec: 346806 LB: 0 @ 107.75
c Restart #38 #Var: 3288 #Dec: 354450 LB: 0 @ 113.44
c Restart #39 #Var: 3288 #Dec: 362292 LB: 0 @ 119.23
c Restart #40 #Var: 3288 #Dec: 370335 LB: 0 @ 124.86
c Restart #41 #Var: 3288 #Dec: 378578 LB: 0 @ 131.88
c Restart #42 #Var: 3288 #Dec: 387024 LB: 0 @ 138.77
c Restart #43 #Var: 3288 #Dec: 395667 LB: 0 @ 145.99
c Restart #44 #Var: 3288 #Dec: 404509 LB: 0 @ 153.31
c Restart #45 #Var: 3288 #Dec: 413550 LB: 0 @ 161.24
c Restart #46 #Var: 3288 #Dec: 422790 LB: 0 @ 168.81
c Restart #47 #Var: 3288 #Dec: 432230 LB: 0 @ 176.19
c Restart #48 #Var: 3288 #Dec: 441873 LB: 0 @ 184.78
c Restart #49 #Var: 3288 #Dec: 451718 LB: 0 @ 193.64
c Restart #50 #Var: 3288 #Dec: 461756 LB: 0 @ 202.41
c Restart #51 #Var: 3288 #Dec: 471998 LB: 0 @ 211.14
c Restart #52 #Var: 3288 #Dec: 482438 LB: 0 @ 219.64
c Restart #53 #Var: 3288 #Dec: 493082 LB: 0 @ 229.85
c Restart #54 #Var: 3288 #Dec: 503922 LB: 0 @ 238.47
c Restart #55 #Var: 3288 #Dec: 514964 LB: 0 @ 248.64
c Restart #56 #Var: 3288 #Dec: 526205 LB: 0 @ 257.86
c Restart #57 #Var: 3288 #Dec: 537647 LB: 0 @ 267.1
c Restart #58 #Var: 3288 #Dec: 549290 LB: 0 @ 276.85
c Restart #59 #Var: 3288 #Dec: 561130 LB: 0 @ 286.17
c Restart #60 #Var: 3288 #Dec: 573173 LB: 0 @ 295.69
c Restart #61 #Var: 3288 #Dec: 585415 LB: 0 @ 305.88
c Restart #62 #Var: 3288 #Dec: 597859 LB: 0 @ 315.6
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/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1853807714 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20556/statm): 107 3 90 68 0 39 0
[pid=20556] 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/wulflinc27/normalized-mps-v2-13-7-pp08a.opb

[startup+10.0038 s]
Raw data (loadavg): 0.94 0.98 0.99 1/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) T 20555 20556 28974 0 -1 0 4839 0 0 0 517 165 0 0 17 0 1 0 1853807714 22933504 4750 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/20556/statm): 5599 4750 1116 68 0 5531 0
[pid=20556] vsize: 22396
Current children cumulated CPU time (s) 6.82
Current children cumulated vsize (Kb) 22396

[startup+20.0046 s]
Raw data (loadavg): 0.95 0.98 0.99 1/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) T 20555 20556 28974 0 -1 0 8492 0 0 0 1139 296 0 0 25 0 1 0 1853807714 37945344 8402 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/20556/statm): 9264 8402 1116 68 0 9196 0
[pid=20556] vsize: 37056
Current children cumulated CPU time (s) 14.35
Current children cumulated vsize (Kb) 37056

[startup+30.0054 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 17607 0 0 0 2027 350 0 0 25 0 1 0 1853807714 75444224 17512 4294967295 134512640 134736556 3221224560 3221223136 134716300 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20556/statm): 18419 17512 1116 68 0 18351 0
[pid=20556] vsize: 73676
Current children cumulated CPU time (s) 23.77
Current children cumulated vsize (Kb) 73676

[startup+40.0063 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 25851 0 0 0 2931 396 0 0 25 0 1 0 1853807714 109330432 25744 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20556/statm): 26692 25744 1116 68 0 26624 0
[pid=20556] vsize: 106768
Current children cumulated CPU time (s) 33.27
Current children cumulated vsize (Kb) 106768

[startup+50.0071 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 33284 0 0 0 3845 437 0 0 25 0 1 0 1853807714 139890688 33176 4294967295 134512640 134736556 3221224560 3221223120 134551108 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20556/statm): 34153 33176 1116 68 0 34085 0
[pid=20556] vsize: 136612
Current children cumulated CPU time (s) 42.82
Current children cumulated vsize (Kb) 136612

[startup+60.0079 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 41064 0 0 0 4759 477 0 0 25 0 1 0 1853807714 172122112 40923 4294967295 134512640 134736556 3221224560 3221223216 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20556/statm): 42022 40923 1116 68 0 41954 0
[pid=20556] vsize: 168088
Current children cumulated CPU time (s) 52.36
Current children cumulated vsize (Kb) 168088

[startup+70.0087 s]
Raw data (loadavg): 0.97 0.98 0.99 1/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) T 20555 20556 28974 0 -1 0 48258 0 0 0 5675 517 0 0 25 0 1 0 1853807714 201650176 48112 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/20556/statm): 49231 48112 1116 68 0 49163 0
[pid=20556] vsize: 196924
Current children cumulated CPU time (s) 61.92
Current children cumulated vsize (Kb) 196924

[startup+80.0085 s]
Raw data (loadavg): 0.98 0.98 0.99 1/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) T 20555 20556 28974 0 -1 0 55884 0 0 0 6586 560 0 0 25 0 1 0 1853807714 233156608 55730 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/20556/statm): 56923 55730 1116 68 0 56855 0
[pid=20556] vsize: 227692
Current children cumulated CPU time (s) 71.46
Current children cumulated vsize (Kb) 227692

[startup+90.0094 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 63378 0 0 0 7505 598 0 0 25 0 1 0 1853807714 263839744 63216 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20556/statm): 64414 63216 1116 68 0 64346 0
[pid=20556] vsize: 257656
Current children cumulated CPU time (s) 81.03
Current children cumulated vsize (Kb) 257656

[startup+100.009 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 70088 0 0 0 8429 634 0 0 25 0 1 0 1853807714 291221504 69915 4294967295 134512640 134736556 3221224560 3221223248 134605090 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20556/statm): 71099 69915 1116 68 0 71031 0
[pid=20556] vsize: 284396
Current children cumulated CPU time (s) 90.63
Current children cumulated vsize (Kb) 284396

[startup+110.01 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) T 20555 20556 28974 0 -1 0 77905 0 0 0 9342 676 0 0 25 0 1 0 1853807714 323043328 77468 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/20556/statm): 78868 77468 1116 68 0 78800 0
[pid=20556] vsize: 315472
Current children cumulated CPU time (s) 100.18
Current children cumulated vsize (Kb) 315472

[startup+120.011 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) T 20555 20556 28974 0 -1 0 84939 0 0 0 10265 713 0 0 25 0 1 0 1853807714 351830016 84416 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/20556/statm): 85896 84416 1116 68 0 85828 0
[pid=20556] vsize: 343584
Current children cumulated CPU time (s) 109.78
Current children cumulated vsize (Kb) 343584

[startup+130.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 92192 0 0 0 11182 753 0 0 25 0 1 0 1853807714 381644800 91667 4294967295 134512640 134736556 3221224560 3221223116 134536351 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20556/statm): 93175 91667 1116 68 0 93107 0
[pid=20556] vsize: 372700
Current children cumulated CPU time (s) 119.35
Current children cumulated vsize (Kb) 372700

[startup+140.011 s]
Raw data (loadavg): 1.07 1.00 1.00 2/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 99401 0 0 0 12101 791 0 0 25 0 1 0 1853807714 411443200 98869 4294967295 134512640 134736556 3221224560 3221223264 134528659 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20556/statm): 100450 98869 1116 68 0 100382 0
[pid=20556] vsize: 401800
Current children cumulated CPU time (s) 128.92
Current children cumulated vsize (Kb) 401800

[startup+150.012 s]
Raw data (loadavg): 1.06 1.00 1.00 2/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 105967 0 0 0 13026 825 0 0 25 0 1 0 1853807714 438075392 105435 4294967295 134512640 134736556 3221224560 3221223208 134554109 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20556/statm): 106952 105435 1116 68 0 106884 0
[pid=20556] vsize: 427808
Current children cumulated CPU time (s) 138.51
Current children cumulated vsize (Kb) 427808

[startup+160.013 s]
Raw data (loadavg): 1.05 1.00 1.00 2/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 112320 0 0 0 13960 859 0 0 25 0 1 0 1853807714 463937536 111622 4294967295 134512640 134736556 3221224560 3221223284 134529176 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20556/statm): 113266 111622 1116 68 0 113198 0
[pid=20556] vsize: 453064
Current children cumulated CPU time (s) 148.19
Current children cumulated vsize (Kb) 453064

[startup+170.014 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 119248 0 0 0 14878 898 0 0 25 0 1 0 1853807714 491896832 118386 4294967295 134512640 134736556 3221224560 3221223296 134529164 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20556/statm): 120092 118386 1116 68 0 120024 0
[pid=20556] vsize: 480368
Current children cumulated CPU time (s) 157.76
Current children cumulated vsize (Kb) 480368

[startup+180.015 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 125474 0 0 0 15803 933 0 0 25 0 1 0 1853807714 517468160 124523 4294967295 134512640 134736556 3221224560 3221223136 134716390 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20556/statm): 126335 124523 1116 68 0 126267 0
[pid=20556] vsize: 505340
Current children cumulated CPU time (s) 167.36
Current children cumulated vsize (Kb) 505340

[startup+190.016 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 131920 0 0 0 16733 967 0 0 25 0 1 0 1853807714 543399936 130805 4294967295 134512640 134736556 3221224560 3221223264 134528509 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20556/statm): 132666 130805 1116 68 0 132598 0
[pid=20556] vsize: 530664
Current children cumulated CPU time (s) 177
Current children cumulated vsize (Kb) 530664

[startup+200.016 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 138057 0 0 0 17662 1001 0 0 25 0 1 0 1853807714 568193024 136860 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20556/statm): 138719 136860 1116 68 0 138651 0
[pid=20556] vsize: 554876
Current children cumulated CPU time (s) 186.63
Current children cumulated vsize (Kb) 554876

[startup+210.017 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 144891 0 0 0 18587 1035 0 0 25 0 1 0 1853807714 595714048 143279 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20556/statm): 145438 143279 1116 68 0 145370 0
[pid=20556] vsize: 581752
Current children cumulated CPU time (s) 196.22
Current children cumulated vsize (Kb) 581752

[startup+220.018 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 150807 0 0 0 19514 1070 0 0 25 0 1 0 1853807714 619773952 149195 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20556/statm): 151312 149195 1116 68 0 151244 0
[pid=20556] vsize: 605248
Current children cumulated CPU time (s) 205.84
Current children cumulated vsize (Kb) 605248

[startup+230.018 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) T 20555 20556 28974 0 -1 0 157381 0 0 0 20435 1106 0 0 25 0 1 0 1853807714 646729728 155769 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/20556/statm): 157893 155769 1116 68 0 157825 0
[pid=20556] vsize: 631572
Current children cumulated CPU time (s) 215.41
Current children cumulated vsize (Kb) 631572

[startup+240.019 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 163614 0 0 0 21366 1136 0 0 21 0 1 0 1853807714 672063488 161994 4294967295 134512640 134736556 3221224560 3221223232 134536515 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20556/statm): 164078 161994 1116 68 0 164010 0
[pid=20556] vsize: 656312
Current children cumulated CPU time (s) 225.02
Current children cumulated vsize (Kb) 656312

[startup+250.019 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) T 20555 20556 28974 0 -1 0 170252 0 0 0 22294 1169 0 0 25 0 1 0 1853807714 699011072 168461 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/20556/statm): 170657 168461 1116 68 0 170589 0
[pid=20556] vsize: 682628
Current children cumulated CPU time (s) 234.63
Current children cumulated vsize (Kb) 682628

[startup+260.019 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 176414 0 0 0 23219 1205 0 0 25 0 1 0 1853807714 724221952 174620 4294967295 134512640 134736556 3221224560 3221223296 134529152 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20556/statm): 176812 174620 1116 68 0 176744 0
[pid=20556] vsize: 707248
Current children cumulated CPU time (s) 244.24
Current children cumulated vsize (Kb) 707248

[startup+270.02 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 182585 0 0 0 24143 1239 0 0 25 0 1 0 1853807714 749244416 180787 4294967295 134512640 134736556 3221224560 3221223068 134540075 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20556/statm): 182921 180787 1116 68 0 182853 0
[pid=20556] vsize: 731684
Current children cumulated CPU time (s) 253.82
Current children cumulated vsize (Kb) 731684

[startup+280.02 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) T 20555 20556 28974 0 -1 0 189368 0 0 0 25067 1275 0 0 25 0 1 0 1853807714 776876032 187488 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/20556/statm): 189667 187488 1116 68 0 189599 0
[pid=20556] vsize: 758668
Current children cumulated CPU time (s) 263.42
Current children cumulated vsize (Kb) 758668

[startup+290.021 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) T 20555 20556 28974 0 -1 0 195886 0 0 0 25994 1310 0 0 25 0 1 0 1853807714 803573760 193998 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/20556/statm): 196185 193998 1116 68 0 196117 0
[pid=20556] vsize: 784740
Current children cumulated CPU time (s) 273.04
Current children cumulated vsize (Kb) 784740

[startup+300.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 202427 0 0 0 26916 1345 0 0 25 0 1 0 1853807714 830234624 200538 4294967295 134512640 134736556 3221224560 3221223152 134551010 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20556/statm): 202694 200538 1116 68 0 202626 0
[pid=20556] vsize: 810776
Current children cumulated CPU time (s) 282.61
Current children cumulated vsize (Kb) 810776

[startup+310.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 208995 0 0 0 27836 1385 0 0 22 0 1 0 1853807714 857063424 207101 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20556/statm): 209244 207101 1116 68 0 209176 0
[pid=20556] vsize: 836976
Current children cumulated CPU time (s) 292.21
Current children cumulated vsize (Kb) 836976

[startup+320.021 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) T 20555 20556 28974 0 -1 0 215615 0 0 0 28765 1416 0 0 25 0 1 0 1853807714 884224000 213709 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/20556/statm): 215875 213709 1116 68 0 215807 0
[pid=20556] vsize: 863500
Current children cumulated CPU time (s) 301.81
Current children cumulated vsize (Kb) 863500

[startup+330.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 222178 0 0 0 29690 1454 0 0 25 0 1 0 1853807714 911065088 220272 4294967295 134512640 134736556 3221224560 3221223284 134529474 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20556/statm): 222428 220272 1116 68 0 222360 0
[pid=20556] vsize: 889712
Current children cumulated CPU time (s) 311.44
Current children cumulated vsize (Kb) 889712

[startup+340.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 228451 0 0 0 30618 1487 0 0 25 0 1 0 1853807714 936935424 226530 4294967295 134512640 134736556 3221224560 3221223172 134527251 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20556/statm): 228744 226530 1116 68 0 228676 0
[pid=20556] vsize: 914976
Current children cumulated CPU time (s) 321.05
Current children cumulated vsize (Kb) 914976



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+342.543 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 20556
Raw data (/proc/20556/stat): 20556 (bsolo) T 20555 20556 28974 0 -1 0 230094 0 0 0 30852 1496 0 0 21 0 1 0 1853807714 943861760 228173 4294967295 134512640 134736556 3221224560 3221222760 1077799011 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/20556/statm): 230435 228173 1116 68 0 230367 0
[pid=20556] vsize: 921740
Current children cumulated CPU time (s) 323.48
Current children cumulated vsize (Kb) 921740

Sending SIGTERM to -20556
Sleeping 2 seconds
Sending SIGKILL to -20556
One traced child (pid=20556) 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): 344.964
CPU time (s): 323.906
CPU user time (s): 308.524
CPU system time (s): 15.3817
CPU usage (%): 93.8956
Max. virtual memory (cumulated for all children) (Kb): 921740

Verifier Data

ERROR: no interpretation found !