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-pp08a.opb
MD5SUM70f8dad81749dae15a5dabba2309b4f5
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 3424
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 180407058264
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 180407058264
Number of bits of the biggest sum of numbers38
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables5344
Total number of constraints136
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 constraints136
Minimum length of a constraint31
Maximum length of a constraint240

Trace number 1273

Launcher Data

LAUNCH ON wulflinc23 THE 2005-09-18 14:45:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=657 boxname=wulflinc23 idbench=657 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  70f8dad81749dae15a5dabba2309b4f5  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-pp08a.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-pp08a.opb
IDLAUNCH: 657
/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:        913040 kB
Buffers:         34264 kB
Cached:          60048 kB
SwapCached:        820 kB
Active:          62044 kB
Inactive:        34980 kB
HighTotal:      131008 kB
HighFree:        69412 kB
LowTotal:       903652 kB
LowFree:        843628 kB
SwapTotal:     2097136 kB
SwapFree:      2095864 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            19028 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 14:49:43 (client local time) WITH STATUS 0 IN 247.866 SECONDS
stats: 657 7 247.866 0

Solver Data

c INFO: OSL Context initialized.
c BIG Int formula...
c Initial problem consists of 5344 variables and 200 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 2.795
c After prepocess the problem consists of 4600 variables and 200 constraints.
c Initial Lower Bound: 0
c Restart #1 #Var: 4600 #Dec: 15759 LB: 0 @ 3.699
c Restart #2 #Var: 4600 #Dec: 49057 LB: 0 @ 5.479
c Restart #3 #Var: 4600 #Dec: 85197 LB: 0 @ 7.533
c Restart #4 #Var: 4600 #Dec: 115865 LB: 0 @ 9.389
c Restart #5 #Var: 4600 #Dec: 138317 LB: 0 @ 11.025
c Restart #6 #Var: 4600 #Dec: 165236 LB: 0 @ 13.02
c Restart #7 #Var: 4600 #Dec: 198752 LB: 0 @ 15.498
c Restart #8 #Var: 4600 #Dec: 226131 LB: 0 @ 17.882
c Restart #9 #Var: 4600 #Dec: 227999 LB: 0 @ 19.15
c Restart #10 #Var: 4600 #Dec: 230069 LB: 0 @ 20.583
c Restart #11 #Var: 4600 #Dec: 232338 LB: 0 @ 22.091
c Restart #12 #Var: 4600 #Dec: 234806 LB: 0 @ 23.742
c Restart #13 #Var: 4600 #Dec: 237473 LB: 0 @ 25.728
c Restart #14 #Var: 4600 #Dec: 240341 LB: 0 @ 27.79
c Restart #15 #Var: 4600 #Dec: 243406 LB: 0 @ 29.893
c Restart #16 #Var: 4600 #Dec: 246670 LB: 0 @ 32.359
c Restart #17 #Var: 4600 #Dec: 250137 LB: 0 @ 34.877
c Restart #18 #Var: 4600 #Dec: 253802 LB: 0 @ 37.707
c Restart #19 #Var: 4600 #Dec: 257667 LB: 0 @ 40.657
c Restart #20 #Var: 4600 #Dec: 261735 LB: 0 @ 44.217
c Restart #21 #Var: 4600 #Dec: 266002 LB: 0 @ 48.248
c Restart #22 #Var: 4600 #Dec: 270469 LB: 0 @ 51.854
c Restart #23 #Var: 4600 #Dec: 275137 LB: 0 @ 56.188
c Restart #24 #Var: 4600 #Dec: 280007 LB: 0 @ 60.629
c Restart #25 #Var: 4600 #Dec: 285078 LB: 0 @ 65.109
c Restart #26 #Var: 4600 #Dec: 290347 LB: 0 @ 69.599
c Restart #27 #Var: 4600 #Dec: 295815 LB: 0 @ 74.86
c Restart #28 #Var: 4600 #Dec: 301481 LB: 0 @ 79.64
c Restart #29 #Var: 4600 #Dec: 307350 LB: 0 @ 84.406
c Restart #30 #Var: 4600 #Dec: 313414 LB: 0 @ 89.727
c Restart #31 #Var: 4600 #Dec: 319683 LB: 0 @ 94.423
c Restart #32 #Var: 4600 #Dec: 326154 LB: 0 @ 100.49
c Restart #33 #Var: 4600 #Dec: 332822 LB: 0 @ 106.31
c Restart #34 #Var: 4600 #Dec: 339687 LB: 0 @ 112.88
c Restart #35 #Var: 4600 #Dec: 346751 LB: 0 @ 119.4
c Restart #36 #Var: 4600 #Dec: 354015 LB: 0 @ 126.36
c Restart #37 #Var: 4600 #Dec: 361485 LB: 0 @ 134
c Restart #38 #Var: 4600 #Dec: 369151 LB: 0 @ 141.4
c Restart #39 #Var: 4600 #Dec: 377018 LB: 0 @ 148.78
c Restart #40 #Var: 4600 #Dec: 385087 LB: 0 @ 156.51
c Restart #41 #Var: 4600 #Dec: 393355 LB: 0 @ 163.83
c Restart #42 #Var: 4600 #Dec: 401824 LB: 0 @ 172.74
c Restart #43 #Var: 4600 #Dec: 410493 LB: 0 @ 182.04
c Restart #44 #Var: 4600 #Dec: 419359 LB: 0 @ 190.66
c Restart #45 #Var: 4600 #Dec: 428429 LB: 0 @ 200.59
c Restart #46 #Var: 4600 #Dec: 437697 LB: 0 @ 209.86
c Restart #47 #Var: 4600 #Dec: 447169 LB: 0 @ 219.74
c Restart #48 #Var: 4600 #Dec: 456835 LB: 0 @ 229.58
c Restart #49 #Var: 4600 #Dec: 466703 LB: 0 @ 239.36
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/8481/stat): 8481 (bsolo) R 8480 8481 5299 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1842088030 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8481/statm): 107 3 90 68 0 39 0
[pid=8481] 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/wulflinc23/normalized-mps-v2-20-10-pp08a.opb

[startup+10.0029 s]
Raw data (loadavg): 0.93 0.99 1.00 1/56 8481
Raw data (/proc/8481/stat): 8481 (bsolo) T 8480 8481 5299 0 -1 0 5503 0 0 0 628 136 0 0 17 0 1 0 1842088030 25780224 5414 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8481/statm): 6294 5414 1116 68 0 6226 0
[pid=8481] vsize: 25176
Current children cumulated CPU time (s) 7.64
Current children cumulated vsize (Kb) 25176

[startup+20.0026 s]
Raw data (loadavg): 0.94 0.99 1.00 1/56 8481
Raw data (/proc/8481/stat): 8481 (bsolo) T 8480 8481 5299 0 -1 0 8483 0 0 0 1181 287 0 0 15 0 1 0 1842088030 37957632 8394 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8481/statm): 9267 8394 1116 68 0 9199 0
[pid=8481] vsize: 37068
Current children cumulated CPU time (s) 14.68
Current children cumulated vsize (Kb) 37068

[startup+30.0032 s]
Raw data (loadavg): 0.95 0.99 1.00 2/56 8481
Raw data (/proc/8481/stat): 8481 (bsolo) R 8480 8481 5299 0 -1 0 18028 0 0 0 1985 369 0 0 18 0 1 0 1842088030 77152256 17938 4294967295 134512640 134736556 3221224560 3221223256 134532881 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8481/statm): 18836 17938 1116 68 0 18768 0
[pid=8481] vsize: 75344
Current children cumulated CPU time (s) 23.54
Current children cumulated vsize (Kb) 75344

[startup+40.0028 s]
Raw data (loadavg): 0.96 0.99 1.00 2/56 8481
Raw data (/proc/8481/stat): 8481 (bsolo) R 8480 8481 5299 0 -1 0 29335 0 0 0 2887 421 0 0 18 0 1 0 1842088030 123449344 29240 4294967295 134512640 134736556 3221224560 3221223208 134554061 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8481/statm): 30139 29240 1116 68 0 30071 0
[pid=8481] vsize: 120556
Current children cumulated CPU time (s) 33.08
Current children cumulated vsize (Kb) 120556

[startup+50.0034 s]
Raw data (loadavg): 0.96 0.99 1.00 1/56 8481
Raw data (/proc/8481/stat): 8481 (bsolo) T 8480 8481 5299 0 -1 0 40198 0 0 0 3794 469 0 0 19 0 1 0 1842088030 168222720 40090 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8481/statm): 41070 40090 1116 68 0 41002 0
[pid=8481] vsize: 164280
Current children cumulated CPU time (s) 42.63
Current children cumulated vsize (Kb) 164280

[startup+60.0031 s]
Raw data (loadavg): 0.97 0.99 1.00 2/56 8481
Raw data (/proc/8481/stat): 8481 (bsolo) R 8480 8481 5299 0 -1 0 49465 0 0 0 4717 510 0 0 19 0 1 0 1842088030 206364672 49344 4294967295 134512640 134736556 3221224560 3221223164 134524088 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8481/statm): 50382 49344 1116 68 0 50314 0
[pid=8481] vsize: 201528
Current children cumulated CPU time (s) 52.27
Current children cumulated vsize (Kb) 201528

[startup+70.0037 s]
Raw data (loadavg): 0.97 0.99 1.00 2/56 8481
Raw data (/proc/8481/stat): 8481 (bsolo) R 8480 8481 5299 0 -1 0 58836 0 0 0 5638 552 0 0 25 0 1 0 1842088030 244846592 58701 4294967295 134512640 134736556 3221224560 3221223136 134716295 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8481/statm): 59777 58701 1116 68 0 59709 0
[pid=8481] vsize: 239108
Current children cumulated CPU time (s) 61.9
Current children cumulated vsize (Kb) 239108

[startup+80.0044 s]
Raw data (loadavg): 0.98 0.99 1.00 2/56 8481
Raw data (/proc/8481/stat): 8481 (bsolo) R 8480 8481 5299 0 -1 0 68263 0 0 0 6563 590 0 0 18 0 1 0 1842088030 283648000 68106 4294967295 134512640 134736556 3221224560 3221223168 134634178 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8481/statm): 69250 68106 1116 68 0 69182 0
[pid=8481] vsize: 277000
Current children cumulated CPU time (s) 71.53
Current children cumulated vsize (Kb) 277000

[startup+90.005 s]
Raw data (loadavg): 0.98 0.99 1.00 2/56 8481
Raw data (/proc/8481/stat): 8481 (bsolo) R 8480 8481 5299 0 -1 0 77715 0 0 0 7481 634 0 0 18 0 1 0 1842088030 322596864 77556 4294967295 134512640 134736556 3221224560 3221223128 134634653 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8481/statm): 78759 77556 1116 68 0 78691 0
[pid=8481] vsize: 315036
Current children cumulated CPU time (s) 81.15
Current children cumulated vsize (Kb) 315036

[startup+100.006 s]
Raw data (loadavg): 0.98 0.99 1.00 2/56 8481
Raw data (/proc/8481/stat): 8481 (bsolo) R 8480 8481 5299 0 -1 0 87717 0 0 0 8396 678 0 0 19 0 1 0 1842088030 363642880 87550 4294967295 134512640 134736556 3221224560 3221222804 134717401 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8481/statm): 88780 87550 1116 68 0 88712 0
[pid=8481] vsize: 355120
Current children cumulated CPU time (s) 90.74
Current children cumulated vsize (Kb) 355120

[startup+110.006 s]
Raw data (loadavg): 0.98 0.99 1.00 2/56 8481
Raw data (/proc/8481/stat): 8481 (bsolo) R 8480 8481 5299 0 -1 0 97881 0 0 0 9311 723 0 0 20 0 1 0 1842088030 405209088 97711 4294967295 134512640 134736556 3221224560 3221223232 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8481/statm): 98928 97711 1116 68 0 98860 0
[pid=8481] vsize: 395712
Current children cumulated CPU time (s) 100.34
Current children cumulated vsize (Kb) 395712

[startup+120.006 s]
Raw data (loadavg): 0.99 0.99 1.00 1/56 8481
Raw data (/proc/8481/stat): 8481 (bsolo) T 8480 8481 5299 0 -1 0 107046 0 0 0 10228 767 0 0 18 0 1 0 1842088030 442548224 106876 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8481/statm): 108044 106876 1116 68 0 107976 0
[pid=8481] vsize: 432176
Current children cumulated CPU time (s) 109.95
Current children cumulated vsize (Kb) 432176

[startup+130.007 s]
Raw data (loadavg): 0.99 0.99 1.00 2/56 8481
Raw data (/proc/8481/stat): 8481 (bsolo) R 8480 8481 5299 0 -1 0 116199 0 0 0 11155 804 0 0 19 0 1 0 1842088030 480305152 115804 4294967295 134512640 134736556 3221224560 3221223116 134536611 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8481/statm): 117262 115804 1116 68 0 117194 0
[pid=8481] vsize: 469048
Current children cumulated CPU time (s) 119.59
Current children cumulated vsize (Kb) 469048

[startup+140.006 s]
Raw data (loadavg): 0.99 0.99 1.00 1/56 8481
Raw data (/proc/8481/stat): 8481 (bsolo) T 8480 8481 5299 0 -1 0 125061 0 0 0 12081 844 0 0 25 0 1 0 1842088030 516378624 124583 4294967295 134512640 134736556 3221224560 3221222908 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8481/statm): 126069 124583 1116 68 0 126001 0
[pid=8481] vsize: 504276
Current children cumulated CPU time (s) 129.25
Current children cumulated vsize (Kb) 504276

[startup+150.007 s]
Raw data (loadavg): 0.99 0.99 1.00 1/56 8481
Raw data (/proc/8481/stat): 8481 (bsolo) T 8480 8481 5299 0 -1 0 133378 0 0 0 13010 881 0 0 25 0 1 0 1842088030 550477824 132900 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8481/statm): 134394 132900 1116 68 0 134326 0
[pid=8481] vsize: 537576
Current children cumulated CPU time (s) 138.91
Current children cumulated vsize (Kb) 537576

[startup+160.006 s]
Raw data (loadavg): 0.99 0.99 1.00 2/56 8481
Raw data (/proc/8481/stat): 8481 (bsolo) R 8480 8481 5299 0 -1 0 142697 0 0 0 13934 922 0 0 17 0 1 0 1842088030 588599296 142219 4294967295 134512640 134736556 3221224560 3221223232 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8481/statm): 143701 142219 1116 68 0 143633 0
[pid=8481] vsize: 574804
Current children cumulated CPU time (s) 148.56
Current children cumulated vsize (Kb) 574804

[startup+170.006 s]
Raw data (loadavg): 1.07 1.00 1.00 2/56 8481
Raw data (/proc/8481/stat): 8481 (bsolo) R 8480 8481 5299 0 -1 0 151217 0 0 0 14863 958 0 0 19 0 1 0 1842088030 623259648 150655 4294967295 134512640 134736556 3221224560 3221223204 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8481/statm): 152163 150655 1116 68 0 152095 0
[pid=8481] vsize: 608652
Current children cumulated CPU time (s) 158.21
Current children cumulated vsize (Kb) 608652

[startup+180.007 s]
Raw data (loadavg): 1.06 1.00 1.00 2/56 8481
Raw data (/proc/8481/stat): 8481 (bsolo) R 8480 8481 5299 0 -1 0 160531 0 0 0 15778 1000 0 0 25 0 1 0 1842088030 661196800 159886 4294967295 134512640 134736556 3221224560 3221223320 134560320 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8481/statm): 161425 159886 1116 68 0 161357 0
[pid=8481] vsize: 645700
Current children cumulated CPU time (s) 167.78
Current children cumulated vsize (Kb) 645700

[startup+190.006 s]
Raw data (loadavg): 1.05 1.00 1.00 2/56 8481
Raw data (/proc/8481/stat): 8481 (bsolo) R 8480 8481 5299 0 -1 0 168299 0 0 0 16713 1034 0 0 17 0 1 0 1842088030 693026816 167651 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8481/statm): 169196 167651 1116 68 0 169128 0
[pid=8481] vsize: 676784
Current children cumulated CPU time (s) 177.47
Current children cumulated vsize (Kb) 676784

[startup+200.007 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 8481
Raw data (/proc/8481/stat): 8481 (bsolo) R 8480 8481 5299 0 -1 0 176839 0 0 0 17638 1074 0 0 25 0 1 0 1842088030 727887872 176109 4294967295 134512640 134736556 3221224560 3221223200 134608199 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8481/statm): 177707 176110 1116 68 0 177639 0
[pid=8481] vsize: 710828
Current children cumulated CPU time (s) 187.12
Current children cumulated vsize (Kb) 710828

[startup+210.008 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 8481
Raw data (/proc/8481/stat): 8481 (bsolo) R 8480 8481 5299 0 -1 0 184760 0 0 0 18569 1112 0 0 25 0 1 0 1842088030 760393728 184023 4294967295 134512640 134736556 3221224560 3221223272 134554070 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8481/statm): 185643 184023 1116 68 0 185575 0
[pid=8481] vsize: 742572
Current children cumulated CPU time (s) 196.81
Current children cumulated vsize (Kb) 742572

[startup+220.007 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 8481
Raw data (/proc/8481/stat): 8481 (bsolo) R 8480 8481 5299 0 -1 0 193626 0 0 0 19490 1154 0 0 25 0 1 0 1842088030 796614656 192887 4294967295 134512640 134736556 3221224560 3221223096 1077377648 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8481/statm): 194486 192888 1116 68 0 194418 0
[pid=8481] vsize: 777944
Current children cumulated CPU time (s) 206.44
Current children cumulated vsize (Kb) 777944

[startup+230.007 s]
Raw data (loadavg): 1.02 1.00 1.00 1/56 8481
Raw data (/proc/8481/stat): 8481 (bsolo) T 8480 8481 5299 0 -1 0 201599 0 0 0 20417 1191 0 0 25 0 1 0 1842088030 829054976 200860 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8481/statm): 202406 200860 1116 68 0 202338 0
[pid=8481] vsize: 809624
Current children cumulated CPU time (s) 216.08
Current children cumulated vsize (Kb) 809624

[startup+240.007 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 8481
Raw data (/proc/8481/stat): 8481 (bsolo) R 8480 8481 5299 0 -1 0 209830 0 0 0 21344 1230 0 0 25 0 1 0 1842088030 862609408 209089 4294967295 134512640 134736556 3221224560 3221223152 134551147 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8481/statm): 210598 209089 1116 68 0 210530 0
[pid=8481] vsize: 842392
Current children cumulated CPU time (s) 225.74
Current children cumulated vsize (Kb) 842392

[startup+250.007 s]
Raw data (loadavg): 1.02 1.00 1.00 1/56 8481
Raw data (/proc/8481/stat): 8481 (bsolo) T 8480 8481 5299 0 -1 0 218269 0 0 0 22273 1267 0 0 17 0 1 0 1842088030 897126400 217440 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8481/statm): 219025 217440 1116 68 0 218957 0
[pid=8481] vsize: 876100
Current children cumulated CPU time (s) 235.4
Current children cumulated vsize (Kb) 876100

[startup+260.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 8481
Raw data (/proc/8481/stat): 8481 (bsolo) R 8480 8481 5299 0 -1 0 227113 0 0 0 23201 1304 0 0 21 0 1 0 1842088030 933023744 225854 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8481/statm): 227789 225854 1116 68 0 227721 0
[pid=8481] vsize: 911156
Current children cumulated CPU time (s) 245.05
Current children cumulated vsize (Kb) 911156



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+262.505 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 8481
Raw data (/proc/8481/stat): 8481 (bsolo) T 8480 8481 5299 0 -1 0 229735 0 0 0 23426 1318 0 0 17 0 1 0 1842088030 943837184 228476 4294967295 134512640 134736556 3221224560 3221222892 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8481/statm): 230429 228476 1116 68 0 230361 0
[pid=8481] vsize: 921716
Current children cumulated CPU time (s) 247.44
Current children cumulated vsize (Kb) 921716

Sending SIGTERM to -8481
Sleeping 2 seconds
Sending SIGKILL to -8481
One traced child (pid=8481) 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): 264.931
CPU time (s): 247.866
CPU user time (s): 234.262
CPU system time (s): 13.6039
CPU usage (%): 93.5589
Max. virtual memory (cumulated for all children) (Kb): 921716

Verifier Data

ERROR: no interpretation found !