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-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa2.opb
MD5SUM2494c95ada0b8f878d2a63b66980e2c5
Bench Categoryoptimization, big integers (OPTBIGINT)
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 13488
Biggest coefficient in the objective function 418848431931392
Number of bits for the biggest coefficient in the objective function 49
Sum of the numbers in the objective function 180205740755072640
Number of bits of the sum of numbers in the objective function 58
Biggest number in a constraint 418848431931392
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 180205740755072640
Number of bits of the biggest sum of numbers58
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables19344
Total number of constraints1872
Number of constraints which are clauses48
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1824
Minimum length of a constraint2
Maximum length of a constraint309

Trace number 645

Launcher Data

LAUNCH ON wulflinc24 THE 2005-09-18 12:11:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=630 boxname=wulflinc24 idbench=630 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  2494c95ada0b8f878d2a63b66980e2c5  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-gesa2.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-gesa2.opb
IDLAUNCH: 630
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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.080
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:        940224 kB
Buffers:         34308 kB
Cached:          32064 kB
SwapCached:        744 kB
Active:          56360 kB
Inactive:        12676 kB
HighTotal:      131008 kB
HighFree:        95284 kB
LowTotal:       903652 kB
LowFree:        844940 kB
SwapTotal:     2097892 kB
SwapFree:      2096644 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5736 kB
Slab:            19680 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 12:17:12 (client local time) WITH STATUS 0 IN 329.027 SECONDS
stats: 630 7 329.027 0

Solver Data

c INFO: OSL Context initialized.
c BIG Int formula...
c Initial problem consists of 19344 variables and 1872 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 8.65
c After prepocess the problem consists of 12264 variables and 1872 constraints.
c Initial Lower Bound: 0
c Restart #1 #Var: 12264 #Dec: 48810 LB: 0 @ 12.002
c Restart #2 #Var: 12264 #Dec: 146931 LB: 0 @ 18.74
c Restart #3 #Var: 12264 #Dec: 291016 LB: 0 @ 28.632
c Restart #4 #Var: 12264 #Dec: 518226 LB: 0 @ 44.079
c Restart #5 #Var: 12264 #Dec: 802244 LB: 0 @ 63.828
c Restart #6 #Var: 12264 #Dec: 972598 LB: 0 @ 74.331
c Restart #7 #Var: 12264 #Dec: 1031877 LB: 0 @ 78.63
c Restart #8 #Var: 12264 #Dec: 1111764 LB: 0 @ 83.988
c Restart #9 #Var: 12264 #Dec: 1113677 LB: 0 @ 86.516
c Restart #10 #Var: 12264 #Dec: 1115707 LB: 0 @ 88.125
c Restart #11 #Var: 12264 #Dec: 1117936 LB: 0 @ 90.34
c Restart #12 #Var: 12264 #Dec: 1120352 LB: 0 @ 93.336
c Restart #13 #Var: 12264 #Dec: 1128611 LB: 0 @ 96.242
c Restart #14 #Var: 12264 #Dec: 1131446 LB: 0 @ 97.948
c Restart #15 #Var: 12264 #Dec: 1134467 LB: 0 @ 100.58
c Restart #16 #Var: 12264 #Dec: 1137697 LB: 0 @ 103.07
c Restart #17 #Var: 12264 #Dec: 1141124 LB: 0 @ 106.63
c Restart #18 #Var: 12264 #Dec: 1144765 LB: 0 @ 110.6
c Restart #19 #Var: 12264 #Dec: 1151126 LB: 0 @ 119.59
c Restart #20 #Var: 12264 #Dec: 1155144 LB: 0 @ 127.01
c Restart #21 #Var: 12263 #Dec: 1198320 LB: 0 @ 133.9
c Restart #22 #Var: 12262 #Dec: 1204326 LB: 0 @ 139.21
c Restart #23 #Var: 12260 #Dec: 1210144 LB: 0 @ 144.73
c Restart #24 #Var: 12260 #Dec: 1214969 LB: 0 @ 148.97
c Restart #25 #Var: 12259 #Dec: 1222157 LB: 0 @ 154.03
c Restart #26 #Var: 12259 #Dec: 1227408 LB: 0 @ 158.25
c Restart #27 #Var: 12259 #Dec: 1232839 LB: 0 @ 163.16
c Restart #28 #Var: 12259 #Dec: 1238493 LB: 0 @ 168.91
c Restart #29 #Var: 12258 #Dec: 1246622 LB: 0 @ 174.22
c Restart #30 #Var: 12257 #Dec: 1253080 LB: 0 @ 182.3
c Restart #31 #Var: 12247 #Dec: 1269522 LB: 0 @ 195.97
c Restart #32 #Var: 12242 #Dec: 1282993 LB: 0 @ 202.74
c Restart #33 #Var: 12238 #Dec: 1300162 LB: 0 @ 210.19
c Restart #34 #Var: 12238 #Dec: 1306994 LB: 0 @ 214.85
c Restart #35 #Var: 12238 #Dec: 1314025 LB: 0 @ 220.47
c Restart #36 #Var: 12238 #Dec: 1321257 LB: 0 @ 226.15
c Restart #37 #Var: 12238 #Dec: 1328687 LB: 0 @ 232.53
c Restart #38 #Var: 12238 #Dec: 1336316 LB: 0 @ 239.25
c Restart #39 #Var: 12238 #Dec: 1344150 LB: 0 @ 245.86
c Restart #40 #Var: 12238 #Dec: 1352178 LB: 0 @ 252.4
c Restart #41 #Var: 12238 #Dec: 1360411 LB: 0 @ 259.49
c Restart #42 #Var: 12238 #Dec: 1368843 LB: 0 @ 267.17
c Restart #43 #Var: 12238 #Dec: 1377473 LB: 0 @ 275.2
c Restart #44 #Var: 12238 #Dec: 1386303 LB: 0 @ 284.01
c Restart #45 #Var: 12238 #Dec: 1395334 LB: 0 @ 292.75
c Restart #46 #Var: 12238 #Dec: 1404562 LB: 0 @ 301.29
c Restart #47 #Var: 12238 #Dec: 1413992 LB: 0 @ 310.62
c Restart #48 #Var: 12238 #Dec: 1423621 LB: 0 @ 321.41
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/23082/stat): 23082 (bsolo) R 23081 23082 20728 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1841152086 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23082/statm): 107 3 90 68 0 39 0
[pid=23082] 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/wulflinc24/normalized-mps-v2-20-10-gesa2.opb

[startup+10.0028 s]
Raw data (loadavg): 0.89 0.97 0.97 1/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) T 23081 23082 20728 0 -1 0 17983 0 0 0 882 64 0 0 18 0 1 0 1841152086 77463552 17894 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/23082/statm): 18912 17894 1116 68 0 18844 0
[pid=23082] vsize: 75648
Current children cumulated CPU time (s) 9.46
Current children cumulated vsize (Kb) 75648

[startup+20.0035 s]
Raw data (loadavg): 0.91 0.97 0.97 1/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) T 23081 23082 20728 0 -1 0 18303 0 0 0 1467 197 0 0 18 0 1 0 1841152086 78815232 18214 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/23082/statm): 19242 18214 1116 68 0 19174 0
[pid=23082] vsize: 76968
Current children cumulated CPU time (s) 16.64
Current children cumulated vsize (Kb) 76968

[startup+30.0043 s]
Raw data (loadavg): 0.92 0.97 0.97 1/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) T 23081 23082 20728 0 -1 0 18630 0 0 0 2053 331 0 0 18 0 1 0 1841152086 80166912 18541 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/23082/statm): 19572 18541 1116 68 0 19504 0
[pid=23082] vsize: 78288
Current children cumulated CPU time (s) 23.84
Current children cumulated vsize (Kb) 78288

[startup+40.0059 s]
Raw data (loadavg): 0.93 0.97 0.97 1/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) T 23081 23082 20728 0 -1 0 18944 0 0 0 2643 461 0 0 18 0 1 0 1841152086 81383424 18855 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/23082/statm): 19869 18855 1116 68 0 19801 0
[pid=23082] vsize: 79476
Current children cumulated CPU time (s) 31.04
Current children cumulated vsize (Kb) 79476

[startup+50.0066 s]
Raw data (loadavg): 0.94 0.97 0.97 2/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) R 23081 23082 20728 0 -1 0 19273 0 0 0 3227 596 0 0 18 0 1 0 1841152086 82735104 19184 4294967295 134512640 134736556 3221224560 3221223104 134716187 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23082/statm): 20199 19184 1116 68 0 20131 0
[pid=23082] vsize: 80796
Current children cumulated CPU time (s) 38.23
Current children cumulated vsize (Kb) 80796

[startup+60.0073 s]
Raw data (loadavg): 0.95 0.97 0.97 2/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) R 23081 23082 20728 0 -1 0 19590 0 0 0 3806 736 0 0 18 0 1 0 1841152086 84086784 19501 4294967295 134512640 134736556 3221224560 3221223180 134543708 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23082/statm): 20529 19501 1116 68 0 20461 0
[pid=23082] vsize: 82116
Current children cumulated CPU time (s) 45.42
Current children cumulated vsize (Kb) 82116

[startup+70.008 s]
Raw data (loadavg): 0.96 0.97 0.97 1/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) T 23081 23082 20728 0 -1 0 19898 0 0 0 4392 870 0 0 18 0 1 0 1841152086 85303296 19809 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/23082/statm): 20826 19809 1116 68 0 20758 0
[pid=23082] vsize: 83304
Current children cumulated CPU time (s) 52.62
Current children cumulated vsize (Kb) 83304

[startup+80.0087 s]
Raw data (loadavg): 0.96 0.97 0.97 1/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) T 23081 23082 20728 0 -1 0 20244 0 0 0 4987 1006 0 0 18 0 1 0 1841152086 86790144 20155 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/23082/statm): 21189 20155 1116 68 0 21121 0
[pid=23082] vsize: 84756
Current children cumulated CPU time (s) 59.93
Current children cumulated vsize (Kb) 84756

[startup+90.0094 s]
Raw data (loadavg): 1.05 0.99 0.98 1/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) T 23081 23082 20728 0 -1 0 20590 0 0 0 5564 1146 0 0 17 0 1 0 1841152086 88150016 20501 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/23082/statm): 21521 20501 1116 68 0 21453 0
[pid=23082] vsize: 86084
Current children cumulated CPU time (s) 67.1
Current children cumulated vsize (Kb) 86084

[startup+100.01 s]
Raw data (loadavg): 1.04 0.99 0.98 2/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) R 23081 23082 20728 0 -1 0 21219 0 0 0 6103 1296 0 0 18 0 1 0 1841152086 90722304 21130 4294967295 134512640 134736556 3221224560 3221223296 134605573 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23082/statm): 22149 21130 1116 68 0 22081 0
[pid=23082] vsize: 88596
Current children cumulated CPU time (s) 73.99
Current children cumulated vsize (Kb) 88596

[startup+110.011 s]
Raw data (loadavg): 1.03 0.99 0.98 1/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) T 23081 23082 20728 0 -1 0 22860 0 0 0 6690 1432 0 0 17 0 1 0 1841152086 97480704 22771 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/23082/statm): 23799 22771 1116 68 0 23731 0
[pid=23082] vsize: 95196
Current children cumulated CPU time (s) 81.22
Current children cumulated vsize (Kb) 95196

[startup+120.012 s]
Raw data (loadavg): 1.10 1.00 0.98 1/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) T 23081 23082 20728 0 -1 0 29049 0 0 0 7501 1503 0 0 25 0 1 0 1841152086 122912768 28960 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/23082/statm): 30008 28960 1116 68 0 29940 0
[pid=23082] vsize: 120032
Current children cumulated CPU time (s) 90.04
Current children cumulated vsize (Kb) 120032

[startup+130.011 s]
Raw data (loadavg): 1.09 1.00 0.98 2/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) R 23081 23082 20728 0 -1 0 37626 0 0 0 8401 1553 0 0 25 0 1 0 1841152086 158056448 37536 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23082/statm): 38588 37536 1116 68 0 38520 0
[pid=23082] vsize: 154352
Current children cumulated CPU time (s) 99.54
Current children cumulated vsize (Kb) 154352

[startup+140.012 s]
Raw data (loadavg): 1.07 1.00 0.98 2/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) R 23081 23082 20728 0 -1 0 46463 0 0 0 9325 1594 0 0 25 0 1 0 1841152086 194289664 46373 4294967295 134512640 134736556 3221224560 3221223224 134554101 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23082/statm): 47434 46373 1116 68 0 47366 0
[pid=23082] vsize: 189736
Current children cumulated CPU time (s) 109.19
Current children cumulated vsize (Kb) 189736

[startup+150.013 s]
Raw data (loadavg): 1.06 1.00 0.98 2/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) T 23081 23082 20728 0 -1 0 50567 0 0 0 10275 1617 0 0 25 0 1 0 1841152086 211066880 50476 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/23082/statm): 51530 50476 1116 68 0 51462 0
[pid=23082] vsize: 206120
Current children cumulated CPU time (s) 118.92
Current children cumulated vsize (Kb) 206120

[startup+160.012 s]
Raw data (loadavg): 1.05 1.00 0.98 2/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) R 23081 23082 20728 0 -1 0 55534 0 0 0 11232 1640 0 0 25 0 1 0 1841152086 231510016 55440 4294967295 134512640 134736556 3221224560 3221223152 134551094 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23082/statm): 56521 55440 1116 68 0 56453 0
[pid=23082] vsize: 226084
Current children cumulated CPU time (s) 128.72
Current children cumulated vsize (Kb) 226084

[startup+170.013 s]
Raw data (loadavg): 1.04 1.00 0.98 2/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) R 23081 23082 20728 0 -1 0 60065 0 0 0 12031 1713 0 0 25 0 1 0 1841152086 250040320 59969 4294967295 134512640 134736556 3221224560 3221222896 1077377192 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23082/statm): 61045 59969 1116 68 0 60977 0
[pid=23082] vsize: 244180
Current children cumulated CPU time (s) 137.44
Current children cumulated vsize (Kb) 244180

[startup+180.014 s]
Raw data (loadavg): 1.04 1.00 0.98 1/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) T 23081 23082 20728 0 -1 0 68302 0 0 0 12951 1754 0 0 25 0 1 0 1841152086 283930624 68203 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/23082/statm): 69319 68203 1116 68 0 69251 0
[pid=23082] vsize: 277276
Current children cumulated CPU time (s) 147.05
Current children cumulated vsize (Kb) 277276

[startup+190.014 s]
Raw data (loadavg): 1.03 1.00 0.98 2/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) R 23081 23082 20728 0 -1 0 77412 0 0 0 13869 1794 0 0 25 0 1 0 1841152086 321265664 77309 4294967295 134512640 134736556 3221224560 3221223084 134536369 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23082/statm): 78434 77309 1116 68 0 78366 0
[pid=23082] vsize: 313736
Current children cumulated CPU time (s) 156.63
Current children cumulated vsize (Kb) 313736

[startup+200.014 s]
Raw data (loadavg): 1.02 1.00 0.98 2/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) T 23081 23082 20728 0 -1 0 86237 0 0 0 14794 1833 0 0 25 0 1 0 1841152086 357412864 86133 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/23082/statm): 87259 86133 1116 68 0 87191 0
[pid=23082] vsize: 349036
Current children cumulated CPU time (s) 166.27
Current children cumulated vsize (Kb) 349036

[startup+210.014 s]
Raw data (loadavg): 1.02 1.00 0.98 2/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) R 23081 23082 20728 0 -1 0 94515 0 0 0 15706 1878 0 0 25 0 1 0 1841152086 391405568 94406 4294967295 134512640 134736556 3221224560 3221223160 134554101 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23082/statm): 95558 94406 1116 68 0 95490 0
[pid=23082] vsize: 382232
Current children cumulated CPU time (s) 175.84
Current children cumulated vsize (Kb) 382232

[startup+220.015 s]
Raw data (loadavg): 1.02 1.00 0.98 2/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) R 23081 23082 20728 0 -1 0 101080 0 0 0 16641 1910 0 0 25 0 1 0 1841152086 418316288 100971 4294967295 134512640 134736556 3221224560 3221223184 134634275 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23082/statm): 102128 100971 1116 68 0 102060 0
[pid=23082] vsize: 408512
Current children cumulated CPU time (s) 185.51
Current children cumulated vsize (Kb) 408512

[startup+230.015 s]
Raw data (loadavg): 1.01 1.00 0.98 1/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) T 23081 23082 20728 0 -1 0 103243 0 0 0 17588 1931 0 0 25 0 1 0 1841152086 427241472 103134 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/23082/statm): 104307 103134 1116 68 0 104239 0
[pid=23082] vsize: 417228
Current children cumulated CPU time (s) 195.19
Current children cumulated vsize (Kb) 417228

[startup+240.016 s]
Raw data (loadavg): 1.01 1.00 0.98 2/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) R 23081 23082 20728 0 -1 0 108975 0 0 0 18482 1978 0 0 22 0 1 0 1841152086 450785280 108865 4294967295 134512640 134736556 3221224560 3221223228 134554079 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23082/statm): 110055 108865 1116 68 0 109987 0
[pid=23082] vsize: 440220
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (Kb) 440220

[startup+250.017 s]
Raw data (loadavg): 1.01 1.00 0.98 2/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) R 23081 23082 20728 0 -1 0 119715 0 0 0 19369 2033 0 0 25 0 1 0 1841152086 494911488 119599 4294967295 134512640 134736556 3221224560 3221223056 134536168 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23082/statm): 120828 119599 1116 68 0 120760 0
[pid=23082] vsize: 483312
Current children cumulated CPU time (s) 214.02
Current children cumulated vsize (Kb) 483312

[startup+260.017 s]
Raw data (loadavg): 1.01 1.00 0.98 2/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) R 23081 23082 20728 0 -1 0 130397 0 0 0 20279 2079 0 0 25 0 1 0 1841152086 538767360 130268 4294967295 134512640 134736556 3221224560 3221223280 134605798 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23082/statm): 131535 130268 1116 68 0 131467 0
[pid=23082] vsize: 526140
Current children cumulated CPU time (s) 223.58
Current children cumulated vsize (Kb) 526140

[startup+270.018 s]
Raw data (loadavg): 1.01 1.00 0.98 2/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) R 23081 23082 20728 0 -1 0 140310 0 0 0 21195 2124 0 0 25 0 1 0 1841152086 579502080 140174 4294967295 134512640 134736556 3221224560 3221223296 134605786 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23082/statm): 141480 140174 1116 68 0 141412 0
[pid=23082] vsize: 565920
Current children cumulated CPU time (s) 233.19
Current children cumulated vsize (Kb) 565920

[startup+280.018 s]
Raw data (loadavg): 1.00 1.00 0.98 1/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) T 23081 23082 20728 0 -1 0 150206 0 0 0 22107 2169 0 0 24 0 1 0 1841152086 620101632 150054 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/23082/statm): 151392 150054 1116 68 0 151324 0
[pid=23082] vsize: 605568
Current children cumulated CPU time (s) 242.76
Current children cumulated vsize (Kb) 605568

[startup+290.018 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) R 23081 23082 20728 0 -1 0 160453 0 0 0 23018 2216 0 0 23 0 1 0 1841152086 662089728 160298 4294967295 134512640 134736556 3221224560 3221223280 134529337 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23082/statm): 161643 160298 1116 68 0 161575 0
[pid=23082] vsize: 646572
Current children cumulated CPU time (s) 252.34
Current children cumulated vsize (Kb) 646572

[startup+300.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) R 23081 23082 20728 0 -1 0 170100 0 0 0 23936 2262 0 0 25 0 1 0 1841152086 701640704 169941 4294967295 134512640 134736556 3221224560 3221223136 134550251 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23082/statm): 171299 169941 1116 68 0 171231 0
[pid=23082] vsize: 685196
Current children cumulated CPU time (s) 261.98
Current children cumulated vsize (Kb) 685196

[startup+310.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) R 23081 23082 20728 0 -1 0 178924 0 0 0 24857 2302 0 0 25 0 1 0 1841152086 737644544 178764 4294967295 134512640 134736556 3221224560 3221223120 134549995 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23082/statm): 180089 178764 1116 68 0 180021 0
[pid=23082] vsize: 720356
Current children cumulated CPU time (s) 271.59
Current children cumulated vsize (Kb) 720356

[startup+320.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) R 23081 23082 20728 0 -1 0 188199 0 0 0 25780 2340 0 0 25 0 1 0 1841152086 775929856 187941 4294967295 134512640 134736556 3221224560 3221223296 134529272 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23082/statm): 189436 187941 1116 68 0 189368 0
[pid=23082] vsize: 757744
Current children cumulated CPU time (s) 281.2
Current children cumulated vsize (Kb) 757744

[startup+330.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) R 23081 23082 20728 0 -1 0 196969 0 0 0 26706 2379 0 0 25 0 1 0 1841152086 811806720 196706 4294967295 134512640 134736556 3221224560 3221223296 134605573 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23082/statm): 198195 196706 1116 68 0 198127 0
[pid=23082] vsize: 792780
Current children cumulated CPU time (s) 290.85
Current children cumulated vsize (Kb) 792780

[startup+340.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) R 23081 23082 20728 0 -1 0 205863 0 0 0 27631 2416 0 0 25 0 1 0 1841152086 848584704 205600 4294967295 134512640 134736556 3221224560 3221223096 1077378412 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23082/statm): 207174 205600 1116 68 0 207106 0
[pid=23082] vsize: 828696
Current children cumulated CPU time (s) 300.47
Current children cumulated vsize (Kb) 828696

[startup+350.022 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) R 23081 23082 20728 0 -1 0 214585 0 0 0 28551 2457 0 0 25 0 1 0 1841152086 884338688 214316 4294967295 134512640 134736556 3221224560 3221223472 134582954 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23082/statm): 215903 214316 1116 68 0 215835 0
[pid=23082] vsize: 863612
Current children cumulated CPU time (s) 310.08
Current children cumulated vsize (Kb) 863612

[startup+360.022 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) T 23081 23082 20728 0 -1 0 222133 0 0 0 29486 2489 0 0 25 0 1 0 1841152086 915083264 221862 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/23082/statm): 223409 221862 1116 68 0 223341 0
[pid=23082] vsize: 893636
Current children cumulated CPU time (s) 319.75
Current children cumulated vsize (Kb) 893636



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+369.19 s]
Raw data (loadavg): 1.00 1.00 0.98 1/56 23082
Raw data (/proc/23082/stat): 23082 (bsolo) T 23081 23082 20728 0 -1 0 229104 0 0 0 30341 2518 0 0 25 0 1 0 1841152086 943828992 228830 4294967295 134512640 134736556 3221224560 3221222892 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/23082/statm): 230427 228830 1116 68 0 230359 0
[pid=23082] vsize: 921708
Current children cumulated CPU time (s) 328.59
Current children cumulated vsize (Kb) 921708

Sending SIGTERM to -23082
Sleeping 2 seconds

[startup+370.023 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 23083
Raw data (/proc/23082/stat): 23082 (bsolo) S 23081 23082 20728 0 -1 0 229104 0 0 0 30341 2518 0 0 25 0 1 0 1841152086 943828992 228830 4294967295 134512640 134736556 3221224560 3221221864 1077867073 0 16384 5 16384 0 0 0 17 1 0 0
Raw data (/proc/23082/statm): 230427 228830 1116 68 0 230359 0
[pid=23082] vsize: 921708
Current children cumulated CPU time (s) 328.59
Current children cumulated vsize (Kb) 921708
Sending SIGKILL to -23082
One traced child (pid=23082) 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): 371.615
CPU time (s): 329.027
CPU user time (s): 303.42
CPU system time (s): 25.6071
CPU usage (%): 88.5397
Max. virtual memory (cumulated for all children) (Kb): 921708

Verifier Data

ERROR: no interpretation found !