Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet4.opb
MD5SUMc6a26aa8aefc43a120ecaff31b506c53
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 9745597
Optimality of the best value was proved NO
Number of terms in the objective function 9638
Biggest coefficient in the objective function 5242880
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 2427493442
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 5242880
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 2427493442
Number of bits of the biggest sum of numbers32
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1240.35
Number of variables9890
Total number of constraints978
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)378
Number of constraints which are nor clauses,nor cardinality constraints600
Minimum length of a constraint1
Maximum length of a constraint1072

Trace number 5106

Launcher Data

LAUNCH ON wulflinc21 THE 2005-09-19 22:44:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=894 boxname=wulflinc21 idbench=894 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  c6a26aa8aefc43a120ecaff31b506c53  /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-fixnet4.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-fixnet4.opb
IDLAUNCH: 894
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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.161
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:        905104 kB
Buffers:         34724 kB
Cached:          64720 kB
SwapCached:        788 kB
Active:          44116 kB
Inactive:        57880 kB
HighTotal:      131008 kB
HighFree:        63420 kB
LowTotal:       903652 kB
LowFree:        841684 kB
SwapTotal:     2097892 kB
SwapFree:      2096456 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5700 kB
Slab:            21848 kB
Committed_AS:    64368 kB
PageTables:        340 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 22:49:54 (client local time) WITH STATUS 0 IN 302.188 SECONDS
stats: 894 7 302.188 0

Solver Data

c INFO: OSL Context initialized.
c Initial problem consists of 9890 variables and 700 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 5.159
c After prepocess the problem consists of 5883 variables and 595 constraints.
c Initial Lower Bound: 0
c Restart #1 #Var: 5883 #Dec: 20402 LB: 0 @ 6.432
c Restart #2 #Var: 5883 #Dec: 54130 LB: 0 @ 8.63
c Restart #3 #Var: 5883 #Dec: 99284 LB: 0 @ 11.606
c Restart #4 #Var: 5883 #Dec: 158086 LB: 0 @ 15.489
c Restart #5 #Var: 5883 #Dec: 234664 LB: 0 @ 20.556
c Restart #6 #Var: 5883 #Dec: 274867 LB: 0 @ 23.91
c Restart #7 #Var: 5883 #Dec: 339915 LB: 0 @ 28.824
c Restart #8 #Var: 5883 #Dec: 341553 LB: 0 @ 30.424
c Restart #9 #Var: 5883 #Dec: 354473 LB: 0 @ 32.322
c Restart #10 #Var: 5883 #Dec: 357536 LB: 0 @ 33.65
c Restart #11 #Var: 5883 #Dec: 359889 LB: 0 @ 35.13
c Restart #12 #Var: 5883 #Dec: 362362 LB: 0 @ 36.609
c Restart #13 #Var: 5883 #Dec: 365708 LB: 0 @ 38.425
c Restart #14 #Var: 5883 #Dec: 368734 LB: 0 @ 40.492
c Restart #15 #Var: 5883 #Dec: 372012 LB: 0 @ 42.779
c Restart #16 #Var: 5883 #Dec: 381748 LB: 0 @ 44.884
c Restart #17 #Var: 5883 #Dec: 385187 LB: 0 @ 46.796
c Restart #18 #Var: 5883 #Dec: 388825 LB: 0 @ 49.055
c Restart #19 #Var: 5883 #Dec: 392664 LB: 0 @ 51.515
c Restart #20 #Var: 5883 #Dec: 396699 LB: 0 @ 54.283
c Restart #21 #Var: 5883 #Dec: 400937 LB: 0 @ 56.851
c Restart #22 #Var: 5883 #Dec: 405372 LB: 0 @ 59.916
c Restart #23 #Var: 5883 #Dec: 410005 LB: 0 @ 63.088
c Restart #24 #Var: 5883 #Dec: 414846 LB: 0 @ 66.828
c Restart #25 #Var: 5883 #Dec: 426693 LB: 0 @ 71.615
c Restart #26 #Var: 5883 #Dec: 432646 LB: 0 @ 75.437
c Restart #27 #Var: 5883 #Dec: 438083 LB: 0 @ 79.619
c Restart #28 #Var: 5883 #Dec: 446106 LB: 0 @ 83.813
c Restart #29 #Var: 5883 #Dec: 451963 LB: 0 @ 88.025
c Restart #30 #Var: 5883 #Dec: 458695 LB: 0 @ 92.554
c Restart #31 #Var: 5883 #Dec: 466825 LB: 0 @ 97.247
c Restart #32 #Var: 5883 #Dec: 473264 LB: 0 @ 101.97
c Restart #33 #Var: 5883 #Dec: 479904 LB: 0 @ 106.98
c Restart #34 #Var: 5883 #Dec: 486742 LB: 0 @ 112.81
c Restart #35 #Var: 5883 #Dec: 493778 LB: 0 @ 118.04
c Restart #36 #Var: 5883 #Dec: 501017 LB: 0 @ 125.03
c Restart #37 #Var: 5883 #Dec: 508456 LB: 0 @ 130.21
c Restart #38 #Var: 5883 #Dec: 516092 LB: 0 @ 136.79
c Restart #39 #Var: 5883 #Dec: 523928 LB: 0 @ 142.64
c Restart #40 #Var: 5883 #Dec: 531963 LB: 0 @ 149.74
c Restart #41 #Var: 5883 #Dec: 540204 LB: 0 @ 155.96
c Restart #42 #Var: 5883 #Dec: 548641 LB: 0 @ 163.08
c Restart #43 #Var: 5883 #Dec: 557279 LB: 0 @ 170.11
c Restart #44 #Var: 5883 #Dec: 566116 LB: 0 @ 177.48
c Restart #45 #Var: 5883 #Dec: 575152 LB: 0 @ 184.76
c Restart #46 #Var: 5883 #Dec: 584391 LB: 0 @ 193.68
c Restart #47 #Var: 5883 #Dec: 593829 LB: 0 @ 201.32
c Restart #48 #Var: 5883 #Dec: 603468 LB: 0 @ 210.22
c Restart #49 #Var: 5883 #Dec: 613307 LB: 0 @ 218.81
c Restart #50 #Var: 5883 #Dec: 623345 LB: 0 @ 227.48
c Restart #51 #Var: 5883 #Dec: 633581 LB: 0 @ 236.7
c Restart #52 #Var: 5883 #Dec: 644016 LB: 0 @ 245.34
c Restart #53 #Var: 5883 #Dec: 654653 LB: 0 @ 255.98
c Restart #54 #Var: 5883 #Dec: 665489 LB: 0 @ 266.53
c Restart #55 #Var: 5883 #Dec: 676527 LB: 0 @ 277.62
c Restart #56 #Var: 5883 #Dec: 687763 LB: 0 @ 288.53
c Restart #57 #Var: 5883 #Dec: 699200 LB: 0 @ 300.16
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/7036/stat): 7036 (bsolo) R 7035 7036 20602 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1730863956 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7036/statm): 107 3 90 68 0 39 0
[pid=7036] 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/wulflinc21/normalized-mps-v2-13-7-fixnet4.opb

[startup+10.002 s]
Raw data (loadavg): 0.93 0.96 0.97 1/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) T 7035 7036 20602 0 -1 0 11737 0 0 0 747 102 0 0 18 0 1 0 1730863956 51490816 11648 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7036/statm): 12571 11648 1116 68 0 12503 0
[pid=7036] vsize: 50284
Current children cumulated CPU time (s) 8.49
Current children cumulated vsize (Kb) 50284

[startup+20.0017 s]
Raw data (loadavg): 0.94 0.96 0.97 1/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) T 7035 7036 20602 0 -1 0 11752 0 0 0 1329 233 0 0 16 0 1 0 1730863956 51621888 11663 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7036/statm): 12603 11663 1116 68 0 12535 0
[pid=7036] vsize: 50412
Current children cumulated CPU time (s) 15.62
Current children cumulated vsize (Kb) 50412

[startup+30.0024 s]
Raw data (loadavg): 0.95 0.96 0.97 2/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) R 7035 7036 20602 0 -1 0 11790 0 0 0 1910 362 0 0 16 0 1 0 1730863956 51752960 11701 4294967295 134512640 134736556 3221224560 3221223248 134528524 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7036/statm): 12635 11701 1116 68 0 12567 0
[pid=7036] vsize: 50540
Current children cumulated CPU time (s) 22.72
Current children cumulated vsize (Kb) 50540

[startup+40.0021 s]
Raw data (loadavg): 0.96 0.96 0.97 1/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) T 7035 7036 20602 0 -1 0 11828 0 0 0 2607 461 0 0 16 0 1 0 1730863956 51888128 11739 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7036/statm): 12668 11739 1116 68 0 12600 0
[pid=7036] vsize: 50672
Current children cumulated CPU time (s) 30.68
Current children cumulated vsize (Kb) 50672

[startup+50.0028 s]
Raw data (loadavg): 0.96 0.96 0.97 2/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) T 7035 7036 20602 0 -1 0 19236 0 0 0 3482 517 0 0 18 0 1 0 1730863956 82161664 19147 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7036/statm): 20059 19147 1116 68 0 19991 0
[pid=7036] vsize: 80236
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 80236

[startup+60.0024 s]
Raw data (loadavg): 0.97 0.96 0.97 1/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) T 7035 7036 20602 0 -1 0 26590 0 0 0 4363 568 0 0 17 0 1 0 1730863956 112443392 26497 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7036/statm): 27452 26497 1116 68 0 27384 0
[pid=7036] vsize: 109808
Current children cumulated CPU time (s) 49.31
Current children cumulated vsize (Kb) 109808

[startup+70.0021 s]
Raw data (loadavg): 1.05 0.98 0.98 2/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) R 7035 7036 20602 0 -1 0 36451 0 0 0 5266 617 0 0 18 0 1 0 1730863956 152965120 36350 4294967295 134512640 134736556 3221224560 3221223136 134550811 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7036/statm): 37345 36350 1116 68 0 37277 0
[pid=7036] vsize: 149380
Current children cumulated CPU time (s) 58.83
Current children cumulated vsize (Kb) 149380

[startup+80.0028 s]
Raw data (loadavg): 1.04 0.98 0.98 2/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) R 7035 7036 20602 0 -1 0 45279 0 0 0 6178 658 0 0 19 0 1 0 1730863956 189186048 45170 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7036/statm): 46188 45170 1116 68 0 46120 0
[pid=7036] vsize: 184752
Current children cumulated CPU time (s) 68.36
Current children cumulated vsize (Kb) 184752

[startup+90.0025 s]
Raw data (loadavg): 1.03 0.98 0.98 2/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) R 7035 7036 20602 0 -1 0 52930 0 0 0 7068 708 0 0 17 0 1 0 1730863956 220672000 52804 4294967295 134512640 134736556 3221224560 3221223268 134560280 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7036/statm): 53875 52804 1116 68 0 53807 0
[pid=7036] vsize: 215500
Current children cumulated CPU time (s) 77.76
Current children cumulated vsize (Kb) 215500

[startup+100.003 s]
Raw data (loadavg): 1.03 0.98 0.98 1/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) T 7035 7036 20602 0 -1 0 61461 0 0 0 7974 752 0 0 18 0 1 0 1730863956 255655936 61333 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7036/statm): 62416 61333 1116 68 0 62348 0
[pid=7036] vsize: 249664
Current children cumulated CPU time (s) 87.26
Current children cumulated vsize (Kb) 249664

[startup+110.004 s]
Raw data (loadavg): 1.02 0.98 0.98 2/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) T 7035 7036 20602 0 -1 0 70154 0 0 0 8880 797 0 0 18 0 1 0 1730863956 291192832 70020 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7036/statm): 71092 70020 1116 68 0 71024 0
[pid=7036] vsize: 284368
Current children cumulated CPU time (s) 96.77
Current children cumulated vsize (Kb) 284368

[startup+120.004 s]
Raw data (loadavg): 1.02 0.98 0.98 2/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) R 7035 7036 20602 0 -1 0 79121 0 0 0 9786 842 0 0 17 0 1 0 1730863956 328138752 78879 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7036/statm): 80112 78879 1116 68 0 80044 0
[pid=7036] vsize: 320448
Current children cumulated CPU time (s) 106.28
Current children cumulated vsize (Kb) 320448

[startup+130.004 s]
Raw data (loadavg): 1.02 0.98 0.98 2/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) R 7035 7036 20602 0 -1 0 86897 0 0 0 10712 878 0 0 19 0 1 0 1730863956 360009728 86651 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7036/statm): 87893 86651 1116 68 0 87825 0
[pid=7036] vsize: 351572
Current children cumulated CPU time (s) 115.9
Current children cumulated vsize (Kb) 351572

[startup+140.004 s]
Raw data (loadavg): 1.01 0.98 0.98 2/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) R 7035 7036 20602 0 -1 0 94024 0 0 0 11643 911 0 0 19 0 1 0 1730863956 389312512 93770 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7036/statm): 95047 93770 1116 68 0 94979 0
[pid=7036] vsize: 380188
Current children cumulated CPU time (s) 125.54
Current children cumulated vsize (Kb) 380188

[startup+150.005 s]
Raw data (loadavg): 1.08 0.99 0.98 2/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) R 7035 7036 20602 0 -1 0 102862 0 0 0 12552 956 0 0 19 0 1 0 1730863956 425484288 102603 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7036/statm): 103878 102603 1116 68 0 103810 0
[pid=7036] vsize: 415512
Current children cumulated CPU time (s) 135.08
Current children cumulated vsize (Kb) 415512

[startup+160.004 s]
Raw data (loadavg): 1.07 0.99 0.98 1/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) T 7035 7036 20602 0 -1 0 110757 0 0 0 13469 998 0 0 19 0 1 0 1730863956 457949184 110491 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7036/statm): 111804 110491 1116 68 0 111736 0
[pid=7036] vsize: 447216
Current children cumulated CPU time (s) 144.67
Current children cumulated vsize (Kb) 447216

[startup+170.004 s]
Raw data (loadavg): 1.06 0.99 0.98 1/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) T 7035 7036 20602 0 -1 0 119098 0 0 0 14388 1040 0 0 18 0 1 0 1730863956 492052480 118826 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7036/statm): 120130 118826 1116 68 0 120062 0
[pid=7036] vsize: 480520
Current children cumulated CPU time (s) 154.28
Current children cumulated vsize (Kb) 480520

[startup+180.005 s]
Raw data (loadavg): 1.05 0.99 0.98 2/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) T 7035 7036 20602 0 -1 0 126410 0 0 0 15314 1073 0 0 21 0 1 0 1730863956 522088448 126133 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7036/statm): 127463 126133 1116 68 0 127395 0
[pid=7036] vsize: 509852
Current children cumulated CPU time (s) 163.87
Current children cumulated vsize (Kb) 509852

[startup+190.004 s]
Raw data (loadavg): 1.04 0.99 0.98 2/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) R 7035 7036 20602 0 -1 0 134863 0 0 0 16230 1115 0 0 18 0 1 0 1730863956 556822528 134494 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7036/statm): 135943 134494 1116 68 0 135875 0
[pid=7036] vsize: 543772
Current children cumulated CPU time (s) 173.45
Current children cumulated vsize (Kb) 543772

[startup+200.005 s]
Raw data (loadavg): 1.04 0.99 0.98 1/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) T 7035 7036 20602 0 -1 0 143259 0 0 0 17159 1153 0 0 17 0 1 0 1730863956 591269888 142723 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7036/statm): 144353 142723 1116 68 0 144285 0
[pid=7036] vsize: 577412
Current children cumulated CPU time (s) 183.12
Current children cumulated vsize (Kb) 577412

[startup+210.006 s]
Raw data (loadavg): 1.03 0.99 0.98 2/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) R 7035 7036 20602 0 -1 0 150363 0 0 0 18088 1187 0 0 19 0 1 0 1730863956 620154880 149823 4294967295 134512640 134736556 3221224560 3221223272 134554078 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7036/statm): 151405 149823 1116 68 0 151337 0
[pid=7036] vsize: 605620
Current children cumulated CPU time (s) 192.75
Current children cumulated vsize (Kb) 605620

[startup+220.005 s]
Raw data (loadavg): 1.02 0.99 0.98 1/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) T 7035 7036 20602 0 -1 0 157644 0 0 0 19019 1223 0 0 20 0 1 0 1730863956 650006528 156940 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7036/statm): 158693 156940 1116 68 0 158625 0
[pid=7036] vsize: 634772
Current children cumulated CPU time (s) 202.42
Current children cumulated vsize (Kb) 634772

[startup+230.005 s]
Raw data (loadavg): 1.02 0.99 0.98 1/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) T 7035 7036 20602 0 -1 0 164885 0 0 0 19951 1256 0 0 22 0 1 0 1730863956 679333888 164097 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7036/statm): 165853 164097 1116 68 0 165785 0
[pid=7036] vsize: 663412
Current children cumulated CPU time (s) 212.07
Current children cumulated vsize (Kb) 663412

[startup+240.005 s]
Raw data (loadavg): 1.09 1.01 0.99 1/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) T 7035 7036 20602 0 -1 0 172720 0 0 0 20874 1294 0 0 19 0 1 0 1730863956 711237632 171932 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7036/statm): 173642 171932 1116 68 0 173574 0
[pid=7036] vsize: 694568
Current children cumulated CPU time (s) 221.68
Current children cumulated vsize (Kb) 694568

[startup+250.005 s]
Raw data (loadavg): 1.08 1.01 0.99 2/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) R 7035 7036 20602 0 -1 0 180320 0 0 0 21799 1333 0 0 17 0 1 0 1730863956 742113280 179450 4294967295 134512640 134736556 3221224560 3221223456 134592021 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7036/statm): 181180 179450 1116 68 0 181112 0
[pid=7036] vsize: 724720
Current children cumulated CPU time (s) 231.32
Current children cumulated vsize (Kb) 724720

[startup+260.005 s]
Raw data (loadavg): 1.06 1.01 0.99 2/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) R 7035 7036 20602 0 -1 0 188073 0 0 0 22721 1374 0 0 17 0 1 0 1730863956 773607424 187203 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7036/statm): 188869 187203 1116 68 0 188801 0
[pid=7036] vsize: 755476
Current children cumulated CPU time (s) 240.95
Current children cumulated vsize (Kb) 755476

[startup+270.005 s]
Raw data (loadavg): 1.05 1.01 0.99 1/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) T 7035 7036 20602 0 -1 0 195340 0 0 0 23652 1406 0 0 22 0 1 0 1730863956 803414016 194466 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7036/statm): 196146 194466 1116 68 0 196078 0
[pid=7036] vsize: 784584
Current children cumulated CPU time (s) 250.58
Current children cumulated vsize (Kb) 784584

[startup+280.005 s]
Raw data (loadavg): 1.04 1.01 0.99 2/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) R 7035 7036 20602 0 -1 0 201723 0 0 0 24588 1436 0 0 17 0 1 0 1730863956 829288448 200767 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7036/statm): 202463 200767 1116 68 0 202395 0
[pid=7036] vsize: 809852
Current children cumulated CPU time (s) 260.24
Current children cumulated vsize (Kb) 809852

[startup+290.005 s]
Raw data (loadavg): 1.04 1.01 0.99 2/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) R 7035 7036 20602 0 -1 0 208334 0 0 0 25522 1467 0 0 20 0 1 0 1730863956 856092672 207134 4294967295 134512640 134736556 3221224560 3221223084 134536384 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7036/statm): 209007 207134 1116 68 0 208939 0
[pid=7036] vsize: 836028
Current children cumulated CPU time (s) 269.89
Current children cumulated vsize (Kb) 836028

[startup+300.006 s]
Raw data (loadavg): 1.03 1.00 0.99 1/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) T 7035 7036 20602 0 -1 0 214852 0 0 0 26456 1498 0 0 25 0 1 0 1730863956 882450432 213652 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7036/statm): 215442 213652 1116 68 0 215374 0
[pid=7036] vsize: 861768
Current children cumulated CPU time (s) 279.54
Current children cumulated vsize (Kb) 861768

[startup+310.006 s]
Raw data (loadavg): 1.03 1.00 0.99 2/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) R 7035 7036 20602 0 -1 0 221640 0 0 0 27390 1530 0 0 25 0 1 0 1730863956 910159872 220440 4294967295 134512640 134736556 3221224560 3221223264 134528711 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7036/statm): 222207 220440 1116 68 0 222139 0
[pid=7036] vsize: 888828
Current children cumulated CPU time (s) 289.2
Current children cumulated vsize (Kb) 888828

[startup+320.006 s]
Raw data (loadavg): 1.02 1.00 0.99 2/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) R 7035 7036 20602 0 -1 0 228912 0 0 0 28315 1568 0 0 18 0 1 0 1730863956 939900928 227712 4294967295 134512640 134736556 3221224560 3221223152 134551076 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7036/statm): 229468 227712 1116 68 0 229400 0
[pid=7036] vsize: 917872
Current children cumulated CPU time (s) 298.83
Current children cumulated vsize (Kb) 917872



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+322.967 s]
Raw data (loadavg): 1.02 1.00 0.99 1/57 7036
Raw data (/proc/7036/stat): 7036 (bsolo) T 7035 7036 20602 0 -1 0 229949 0 0 0 28603 1573 0 0 23 0 1 0 1730863956 943722496 228505 4294967295 134512640 134736556 3221224560 3221223020 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7036/statm): 230401 228505 1116 68 0 230333 0
[pid=7036] vsize: 921604
Current children cumulated CPU time (s) 301.76
Current children cumulated vsize (Kb) 921604

Sending SIGTERM to -7036
Sleeping 2 seconds
Sending SIGKILL to -7036
One traced child (pid=7036) 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): 325.39
CPU time (s): 302.188
CPU user time (s): 286.034
CPU system time (s): 16.1545
CPU usage (%): 92.8695
Max. virtual memory (cumulated for all children) (Kb): 921604

Verifier Data

ERROR: no interpretation found !