Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pp08aCUTS.opb
MD5SUMfa6454a9831f2da4180d8bfab7c0a21b
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 constraints310
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints310
Minimum length of a constraint14
Maximum length of a constraint123

Trace number 5268

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        939424 kB
Buffers:          2476 kB
Cached:          65628 kB
SwapCached:        644 kB
Active:           9456 kB
Inactive:        60948 kB
HighTotal:      131008 kB
HighFree:        61768 kB
LowTotal:       903652 kB
LowFree:        877656 kB
SwapTotal:     2097892 kB
SwapFree:      2096412 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5284 kB
Slab:            19080 kB
Committed_AS:    64184 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 00:12:13 (client local time) WITH STATUS 0 IN 358.416 SECONDS
stats: 1059 7 358.416 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: 2.425
c After prepocess the problem consists of 3288 variables and 374 constraints.
c Initial Lower Bound: 0
c Restart #1 #Var: 3288 #Dec: 18664 LB: 0 @ 3.392
c Restart #2 #Var: 3288 #Dec: 53743 LB: 0 @ 5.341
c Restart #3 #Var: 3288 #Dec: 92990 LB: 0 @ 7.784
c Restart #4 #Var: 3288 #Dec: 124406 LB: 0 @ 9.892
c Restart #5 #Var: 3288 #Dec: 157953 LB: 0 @ 12.247
c Restart #6 #Var: 3288 #Dec: 181491 LB: 0 @ 14.16
c Restart #7 #Var: 3288 #Dec: 183323 LB: 0 @ 14.9
c Restart #8 #Var: 3288 #Dec: 184969 LB: 0 @ 15.768
c Restart #9 #Var: 3288 #Dec: 186814 LB: 0 @ 16.702
c Restart #10 #Var: 3288 #Dec: 188859 LB: 0 @ 17.872
c Restart #11 #Var: 3288 #Dec: 191105 LB: 0 @ 19.129
c Restart #12 #Var: 3288 #Dec: 193552 LB: 0 @ 20.491
c Restart #13 #Var: 3288 #Dec: 196194 LB: 0 @ 21.889
c Restart #14 #Var: 3288 #Dec: 199039 LB: 0 @ 23.616
c Restart #15 #Var: 3288 #Dec: 202084 LB: 0 @ 25.374
c Restart #16 #Var: 3288 #Dec: 205333 LB: 0 @ 27.163
c Restart #17 #Var: 3288 #Dec: 208779 LB: 0 @ 29.42
c Restart #18 #Var: 3288 #Dec: 212425 LB: 0 @ 31.864
c Restart #19 #Var: 3288 #Dec: 216272 LB: 0 @ 34.63
c Restart #20 #Var: 3288 #Dec: 220318 LB: 0 @ 37.902
c Restart #21 #Var: 3288 #Dec: 224566 LB: 0 @ 40.884
c Restart #22 #Var: 3288 #Dec: 229013 LB: 0 @ 43.819
c Restart #23 #Var: 3288 #Dec: 233660 LB: 0 @ 46.818
c Restart #24 #Var: 3288 #Dec: 238506 LB: 0 @ 50.464
c Restart #25 #Var: 3288 #Dec: 243553 LB: 0 @ 54.065
c Restart #26 #Var: 3288 #Dec: 248803 LB: 0 @ 57.807
c Restart #27 #Var: 3288 #Dec: 254247 LB: 0 @ 61.821
c Restart #28 #Var: 3288 #Dec: 259893 LB: 0 @ 65.581
c Restart #29 #Var: 3288 #Dec: 265736 LB: 0 @ 70.068
c Restart #30 #Var: 3288 #Dec: 271784 LB: 0 @ 74.335
c Restart #31 #Var: 3288 #Dec: 278030 LB: 0 @ 78.965
c Restart #32 #Var: 3288 #Dec: 284476 LB: 0 @ 83.284
c Restart #33 #Var: 3288 #Dec: 291123 LB: 0 @ 88.774
c Restart #34 #Var: 3288 #Dec: 297968 LB: 0 @ 93.544
c Restart #35 #Var: 3288 #Dec: 305013 LB: 0 @ 99.307
c Restart #36 #Var: 3288 #Dec: 312257 LB: 0 @ 104.74
c Restart #37 #Var: 3288 #Dec: 319701 LB: 0 @ 110.71
c Restart #38 #Var: 3288 #Dec: 327345 LB: 0 @ 116.59
c Restart #39 #Var: 3288 #Dec: 335193 LB: 0 @ 122.51
c Restart #40 #Var: 3288 #Dec: 343237 LB: 0 @ 128.85
c Restart #41 #Var: 3288 #Dec: 351479 LB: 0 @ 134.89
c Restart #42 #Var: 3288 #Dec: 359921 LB: 0 @ 142
c Restart #43 #Var: 3288 #Dec: 368562 LB: 0 @ 149.25
c Restart #44 #Var: 3288 #Dec: 377406 LB: 0 @ 156.15
c Restart #45 #Var: 3288 #Dec: 386454 LB: 0 @ 164.46
c Restart #46 #Var: 3288 #Dec: 395697 LB: 0 @ 172.41
c Restart #47 #Var: 3288 #Dec: 405142 LB: 0 @ 181.06
c Restart #48 #Var: 3288 #Dec: 414788 LB: 0 @ 189.61
c Restart #49 #Var: 3288 #Dec: 424635 LB: 0 @ 198.17
c Restart #50 #Var: 3288 #Dec: 434679 LB: 0 @ 206.7
c Restart #51 #Var: 3288 #Dec: 444922 LB: 0 @ 213.98
c Restart #52 #Var: 3288 #Dec: 455369 LB: 0 @ 223.7
c Restart #53 #Var: 3288 #Dec: 466012 LB: 0 @ 233.1
c Restart #54 #Var: 3288 #Dec: 476856 LB: 0 @ 243.14
c Restart #55 #Var: 3288 #Dec: 487898 LB: 0 @ 253.42
c Restart #56 #Var: 3288 #Dec: 499142 LB: 0 @ 263.69
c Restart #57 #Var: 3288 #Dec: 510582 LB: 0 @ 274.19
c Restart #58 #Var: 3288 #Dec: 522228 LB: 0 @ 284.79
c Restart #59 #Var: 3288 #Dec: 534073 LB: 0 @ 295.55
c Restart #60 #Var: 3288 #Dec: 546121 LB: 0 @ 305.14
c Restart #61 #Var: 3288 #Dec: 558368 LB: 0 @ 317.27
c Restart #62 #Var: 3288 #Dec: 570816 LB: 0 @ 327.84
c Restart #63 #Var: 3288 #Dec: 583460 LB: 0 @ 340.26
c Restart #64 #Var: 3288 #Dec: 596306 LB: 0 @ 352.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/27860/stat): 27860 (bsolo) R 27859 27860 5929 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1854066612 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/27860/statm): 107 3 90 68 0 39 0
[pid=27860] 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/wulflinc19/normalized-mps-v2-13-7-pp08aCUTS.opb

[startup+10.0034 s]
Raw data (loadavg): 0.92 0.99 0.99 1/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) T 27859 27860 5929 0 -1 0 4597 0 0 0 631 126 0 0 17 0 1 0 1854066612 21909504 4508 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/27860/statm): 5349 4508 1116 68 0 5281 0
[pid=27860] vsize: 21396
Current children cumulated CPU time (s) 7.57
Current children cumulated vsize (Kb) 21396

[startup+20.0042 s]
Raw data (loadavg): 0.93 0.99 0.99 2/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) R 27859 27860 5929 0 -1 0 7214 0 0 0 1253 257 0 0 25 0 1 0 1854066612 32722944 7125 4294967295 134512640 134736556 3221224560 3221223204 134537369 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/27860/statm): 7989 7125 1116 68 0 7921 0
[pid=27860] vsize: 31956
Current children cumulated CPU time (s) 15.1
Current children cumulated vsize (Kb) 31956

[startup+30.005 s]
Raw data (loadavg): 0.94 0.99 0.99 2/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) R 27859 27860 5929 0 -1 0 16032 0 0 0 2147 307 0 0 25 0 1 0 1854066612 68874240 15940 4294967295 134512640 134736556 3221224560 3221223264 134528785 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/27860/statm): 16815 15940 1116 68 0 16747 0
[pid=27860] vsize: 67260
Current children cumulated CPU time (s) 24.54
Current children cumulated vsize (Kb) 67260

[startup+40.0058 s]
Raw data (loadavg): 0.95 0.99 0.99 2/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) R 27859 27860 5929 0 -1 0 23857 0 0 0 3053 351 0 0 25 0 1 0 1854066612 101134336 23750 4294967295 134512640 134736556 3221224560 3221223296 134529464 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/27860/statm): 24691 23750 1116 68 0 24623 0
[pid=27860] vsize: 98764
Current children cumulated CPU time (s) 34.04
Current children cumulated vsize (Kb) 98764

[startup+50.0066 s]
Raw data (loadavg): 0.96 0.99 0.99 2/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) R 27859 27860 5929 0 -1 0 30801 0 0 0 3966 388 0 0 25 0 1 0 1854066612 129662976 30689 4294967295 134512640 134736556 3221224560 3221223052 1076648084 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27860/statm): 31656 30689 1116 68 0 31588 0
[pid=27860] vsize: 126624
Current children cumulated CPU time (s) 43.54
Current children cumulated vsize (Kb) 126624

[startup+60.0064 s]
Raw data (loadavg): 0.96 0.99 0.99 2/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) R 27859 27860 5929 0 -1 0 37982 0 0 0 4884 425 0 0 25 0 1 0 1854066612 159518720 37835 4294967295 134512640 134736556 3221224560 3221223024 134536053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27860/statm): 38945 37835 1116 68 0 38877 0
[pid=27860] vsize: 155780
Current children cumulated CPU time (s) 53.09
Current children cumulated vsize (Kb) 155780

[startup+70.0072 s]
Raw data (loadavg): 0.97 0.99 0.99 1/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) T 27859 27860 5929 0 -1 0 44847 0 0 0 5803 462 0 0 25 0 1 0 1854066612 187740160 44689 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/27860/statm): 45835 44689 1116 68 0 45767 0
[pid=27860] vsize: 183340
Current children cumulated CPU time (s) 62.65
Current children cumulated vsize (Kb) 183340

[startup+80.008 s]
Raw data (loadavg): 0.97 0.99 0.99 1/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) T 27859 27860 5929 0 -1 0 51939 0 0 0 6720 503 0 0 25 0 1 0 1854066612 216711168 51779 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/27860/statm): 52908 51779 1116 68 0 52840 0
[pid=27860] vsize: 211632
Current children cumulated CPU time (s) 72.23
Current children cumulated vsize (Kb) 211632

[startup+90.0079 s]
Raw data (loadavg): 0.98 0.99 0.99 1/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) T 27859 27860 5929 0 -1 0 59214 0 0 0 7635 541 0 0 25 0 1 0 1854066612 246509568 58968 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/27860/statm): 60183 58968 1116 68 0 60115 0
[pid=27860] vsize: 240732
Current children cumulated CPU time (s) 81.76
Current children cumulated vsize (Kb) 240732

[startup+100.009 s]
Raw data (loadavg): 0.98 0.99 0.99 2/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) R 27859 27860 5929 0 -1 0 65684 0 0 0 8552 582 0 0 25 0 1 0 1854066612 272941056 65435 4294967295 134512640 134736556 3221224560 3221223120 134551094 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27860/statm): 66636 65435 1116 68 0 66568 0
[pid=27860] vsize: 266544
Current children cumulated CPU time (s) 91.34
Current children cumulated vsize (Kb) 266544

[startup+110.009 s]
Raw data (loadavg): 0.98 0.99 0.99 1/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) T 27859 27860 5929 0 -1 0 72271 0 0 0 9477 617 0 0 25 0 1 0 1854066612 300335104 71832 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/27860/statm): 73324 71832 1116 68 0 73256 0
[pid=27860] vsize: 293296
Current children cumulated CPU time (s) 100.94
Current children cumulated vsize (Kb) 293296

[startup+120.01 s]
Raw data (loadavg): 0.98 0.99 0.99 2/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) R 27859 27860 5929 0 -1 0 79283 0 0 0 10396 652 0 0 17 0 1 0 1854066612 328777728 78762 4294967295 134512640 134736556 3221224560 3221223216 134536510 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/27860/statm): 80268 78762 1116 68 0 80200 0
[pid=27860] vsize: 321072
Current children cumulated CPU time (s) 110.48
Current children cumulated vsize (Kb) 321072

[startup+130.011 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) R 27859 27860 5929 0 -1 0 86002 0 0 0 11315 689 0 0 25 0 1 0 1854066612 355950592 85399 4294967295 134512640 134736556 3221224560 3221223272 134560233 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/27860/statm): 86902 85399 1116 68 0 86834 0
[pid=27860] vsize: 347608
Current children cumulated CPU time (s) 120.04
Current children cumulated vsize (Kb) 347608

[startup+140.011 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) T 27859 27860 5929 0 -1 0 92098 0 0 0 12241 723 0 0 25 0 1 0 1854066612 380641280 91412 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/27860/statm): 92930 91412 1116 68 0 92862 0
[pid=27860] vsize: 371720
Current children cumulated CPU time (s) 129.64
Current children cumulated vsize (Kb) 371720

[startup+150.012 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) T 27859 27860 5929 0 -1 0 99149 0 0 0 13153 765 0 0 25 0 1 0 1854066612 409677824 98462 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/27860/statm): 100019 98462 1116 68 0 99951 0
[pid=27860] vsize: 400076
Current children cumulated CPU time (s) 139.18
Current children cumulated vsize (Kb) 400076

[startup+160.012 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) R 27859 27860 5929 0 -1 0 105269 0 0 0 14078 800 0 0 25 0 1 0 1854066612 434548736 104582 4294967295 134512640 134736556 3221224560 3221223288 134537641 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27860/statm): 106091 104582 1116 68 0 106023 0
[pid=27860] vsize: 424364
Current children cumulated CPU time (s) 148.78
Current children cumulated vsize (Kb) 424364

[startup+170.012 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) T 27859 27860 5929 0 -1 0 111333 0 0 0 15013 832 0 0 25 0 1 0 1854066612 458985472 110398 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/27860/statm): 112057 110398 1116 68 0 111989 0
[pid=27860] vsize: 448228
Current children cumulated CPU time (s) 158.45
Current children cumulated vsize (Kb) 448228

[startup+180.013 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) T 27859 27860 5929 0 -1 0 117128 0 0 0 15944 864 0 0 25 0 1 0 1854066612 482504704 116193 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/27860/statm): 117799 116193 1116 68 0 117731 0
[pid=27860] vsize: 471196
Current children cumulated CPU time (s) 168.08
Current children cumulated vsize (Kb) 471196

[startup+190.013 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) T 27859 27860 5929 0 -1 0 123192 0 0 0 16872 897 0 0 25 0 1 0 1854066612 507166720 122253 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/27860/statm): 123820 122253 1116 68 0 123752 0
[pid=27860] vsize: 495280
Current children cumulated CPU time (s) 177.69
Current children cumulated vsize (Kb) 495280

[startup+200.014 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) T 27859 27860 5929 0 -1 0 128774 0 0 0 17801 929 0 0 25 0 1 0 1854066612 529874944 127835 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/27860/statm): 129364 127835 1116 68 0 129296 0
[pid=27860] vsize: 517456
Current children cumulated CPU time (s) 187.3
Current children cumulated vsize (Kb) 517456

[startup+210.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) R 27859 27860 5929 0 -1 0 134809 0 0 0 18726 965 0 0 25 0 1 0 1854066612 554602496 133779 4294967295 134512640 134736556 3221224560 3221223164 134537545 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/27860/statm): 135401 133779 1116 68 0 135333 0
[pid=27860] vsize: 541604
Current children cumulated CPU time (s) 196.91
Current children cumulated vsize (Kb) 541604

[startup+220.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) R 27859 27860 5929 0 -1 0 141123 0 0 0 19656 997 0 0 25 0 1 0 1854066612 579993600 139669 4294967295 134512640 134736556 3221224560 3221223148 134537548 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/27860/statm): 141600 139669 1116 68 0 141532 0
[pid=27860] vsize: 566400
Current children cumulated CPU time (s) 206.53
Current children cumulated vsize (Kb) 566400

[startup+230.015 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) R 27859 27860 5929 0 -1 0 147543 0 0 0 20581 1031 0 0 25 0 1 0 1854066612 605933568 145926 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27860/statm): 147933 145926 1116 68 0 147865 0
[pid=27860] vsize: 591732
Current children cumulated CPU time (s) 216.12
Current children cumulated vsize (Kb) 591732

[startup+240.015 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) R 27859 27860 5929 0 -1 0 153044 0 0 0 21514 1064 0 0 25 0 1 0 1854066612 628240384 151427 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27860/statm): 153379 151427 1116 68 0 153311 0
[pid=27860] vsize: 613516
Current children cumulated CPU time (s) 225.78
Current children cumulated vsize (Kb) 613516

[startup+250.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) R 27859 27860 5929 0 -1 0 159194 0 0 0 22442 1098 0 0 25 0 1 0 1854066612 653291520 157407 4294967295 134512640 134736556 3221224560 3221223272 134553033 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/27860/statm): 159495 157407 1116 68 0 159427 0
[pid=27860] vsize: 637980
Current children cumulated CPU time (s) 235.4
Current children cumulated vsize (Kb) 637980

[startup+260.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) R 27859 27860 5929 0 -1 0 164291 0 0 0 23376 1128 0 0 25 0 1 0 1854066612 674033664 162422 4294967295 134512640 134736556 3221224560 3221223164 1076647540 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/27860/statm): 164559 162422 1116 68 0 164491 0
[pid=27860] vsize: 658236
Current children cumulated CPU time (s) 245.04
Current children cumulated vsize (Kb) 658236

[startup+270.017 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) T 27859 27860 5929 0 -1 0 170114 0 0 0 24305 1160 0 0 25 0 1 0 1854066612 697454592 168001 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/27860/statm): 170277 168001 1116 68 0 170209 0
[pid=27860] vsize: 681108
Current children cumulated CPU time (s) 254.65
Current children cumulated vsize (Kb) 681108

[startup+280.018 s]
Raw data (loadavg): 1.07 1.01 0.99 2/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) R 27859 27860 5929 0 -1 0 176119 0 0 0 25239 1188 0 0 25 0 1 0 1854066612 721633280 173844 4294967295 134512640 134736556 3221224560 3221223264 134528723 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27860/statm): 176180 173844 1116 68 0 176112 0
[pid=27860] vsize: 704720
Current children cumulated CPU time (s) 264.27
Current children cumulated vsize (Kb) 704720

[startup+290.018 s]
Raw data (loadavg): 1.06 1.01 0.99 2/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) R 27859 27860 5929 0 -1 0 182232 0 0 0 26167 1223 0 0 25 0 1 0 1854066612 746430464 179875 4294967295 134512640 134736556 3221224560 3221223168 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27860/statm): 182234 179875 1116 68 0 182166 0
[pid=27860] vsize: 728936
Current children cumulated CPU time (s) 273.9
Current children cumulated vsize (Kb) 728936

[startup+300.019 s]
Raw data (loadavg): 1.05 1.01 0.99 1/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) T 27859 27860 5929 0 -1 0 188032 0 0 0 27094 1257 0 0 25 0 1 0 1854066612 770084864 185675 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/27860/statm): 188009 185675 1116 68 0 187941 0
[pid=27860] vsize: 752036
Current children cumulated CPU time (s) 283.51
Current children cumulated vsize (Kb) 752036

[startup+310.019 s]
Raw data (loadavg): 1.04 1.00 0.99 2/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) R 27859 27860 5929 0 -1 0 194192 0 0 0 28025 1289 0 0 25 0 1 0 1854066612 795037696 191665 4294967295 134512640 134736556 3221224560 3221223240 134560233 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/27860/statm): 194101 191665 1116 68 0 194033 0
[pid=27860] vsize: 776404
Current children cumulated CPU time (s) 293.14
Current children cumulated vsize (Kb) 776404

[startup+320.019 s]
Raw data (loadavg): 1.04 1.00 0.99 2/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) R 27859 27860 5929 0 -1 0 200367 0 0 0 28952 1323 0 0 25 0 1 0 1854066612 819888128 197678 4294967295 134512640 134736556 3221224560 3221223344 134600137 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/27860/statm): 200168 197678 1116 68 0 200100 0
[pid=27860] vsize: 800672
Current children cumulated CPU time (s) 302.75
Current children cumulated vsize (Kb) 800672

[startup+330.02 s]
Raw data (loadavg): 1.03 1.00 0.99 1/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) T 27859 27860 5929 0 -1 0 205605 0 0 0 29892 1352 0 0 25 0 1 0 1854066612 841314304 202908 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/27860/statm): 205399 202908 1116 68 0 205331 0
[pid=27860] vsize: 821596
Current children cumulated CPU time (s) 312.44
Current children cumulated vsize (Kb) 821596

[startup+340.02 s]
Raw data (loadavg): 1.03 1.00 0.99 1/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) T 27859 27860 5929 0 -1 0 210801 0 0 0 30831 1380 0 0 25 0 1 0 1854066612 862535680 208104 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/27860/statm): 210580 208104 1116 68 0 210512 0
[pid=27860] vsize: 842320
Current children cumulated CPU time (s) 322.11
Current children cumulated vsize (Kb) 842320

[startup+350.021 s]
Raw data (loadavg): 1.02 1.00 0.99 2/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) R 27859 27860 5929 0 -1 0 216068 0 0 0 31767 1409 0 0 25 0 1 0 1854066612 883892224 213371 4294967295 134512640 134736556 3221224560 3221223252 134528665 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27860/statm): 215794 213371 1116 68 0 215726 0
[pid=27860] vsize: 863176
Current children cumulated CPU time (s) 331.76
Current children cumulated vsize (Kb) 863176

[startup+360.022 s]
Raw data (loadavg): 1.02 1.00 0.99 2/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) R 27859 27860 5929 0 -1 0 221435 0 0 0 32704 1438 0 0 25 0 1 0 1854066612 905420800 218492 4294967295 134512640 134736556 3221224560 3221223204 134537369 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/27860/statm): 221050 218492 1116 68 0 220982 0
[pid=27860] vsize: 884200
Current children cumulated CPU time (s) 341.42
Current children cumulated vsize (Kb) 884200

[startup+370.023 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) R 27859 27860 5929 0 -1 0 227902 0 0 0 33625 1474 0 0 25 0 1 0 1854066612 931778560 224959 4294967295 134512640 134736556 3221224560 3221223216 134524547 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27860/statm): 227485 224959 1116 68 0 227417 0
[pid=27860] vsize: 909940
Current children cumulated CPU time (s) 350.99
Current children cumulated vsize (Kb) 909940



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+377.186 s]
Raw data (loadavg): 1.01 1.00 0.99 1/56 27860
Raw data (/proc/27860/stat): 27860 (bsolo) T 27859 27860 5929 0 -1 0 230831 0 0 0 34310 1488 0 0 25 0 1 0 1854066612 943808512 227888 4294967295 134512640 134736556 3221224560 3221223020 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/27860/statm): 230422 227888 1116 68 0 230354 0
[pid=27860] vsize: 921688
Current children cumulated CPU time (s) 357.98
Current children cumulated vsize (Kb) 921688

Sending SIGTERM to -27860
Sleeping 2 seconds
Sending SIGKILL to -27860
One traced child (pid=27860) 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): 379.612
CPU time (s): 358.416
CPU user time (s): 343.11
CPU system time (s): 15.3057
CPU usage (%): 94.4163
Max. virtual memory (cumulated for all children) (Kb): 921688

Verifier Data

ERROR: no interpretation found !