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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-recipe.opb
MD5SUM3ed8b1557bef6552695b255ca35679eb
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -107049521
Optimality of the best value was proved NO
Number of terms in the objective function 1055
Biggest coefficient in the objective function 65536000
Number of bits for the biggest coefficient in the objective function 26
Sum of the numbers in the objective function 584330055
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 5681631310381056
Number of bits of the biggest number in a constraint 53
Biggest sum of numbers in a constraint 98271137637301167
Number of bits of the biggest sum of numbers57
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1260.57
Number of variables3671
Total number of constraints159
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 constraints159
Minimum length of a constraint10
Maximum length of a constraint420

Trace number 477

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        939540 kB
Buffers:         34708 kB
Cached:          27768 kB
SwapCached:        764 kB
Active:          53816 kB
Inactive:        11276 kB
HighTotal:      131008 kB
HighFree:       100296 kB
LowTotal:       903652 kB
LowFree:        839244 kB
SwapTotal:     2097892 kB
SwapFree:      2096616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5724 kB
Slab:            24208 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 10:50:20 (client local time) WITH STATUS 0 IN 367.877 SECONDS
stats: 452 7 367.877 0

Solver Data

c INFO: OSL Context initialized.
c BIG Int formula...
c Initial problem consists of 3671 variables and 219 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 1.742
c After prepocess the problem consists of 3082 variables and 163 constraints.
c Initial Lower Bound: -557741203
c Restart #1 #Var: 3082 #Dec: 7575 LB: -557741203 @ 2.45
c Restart #2 #Var: 3082 #Dec: 20563 LB: -557741203 @ 3.731
c Restart #3 #Var: 3082 #Dec: 39863 LB: -557741203 @ 5.704
c Restart #4 #Var: 3082 #Dec: 59768 LB: -557741203 @ 8.251
c Restart #5 #Var: 3082 #Dec: 75602 LB: -557741203 @ 10.435
c Restart #6 #Var: 3082 #Dec: 83926 LB: -557741203 @ 12.479
c Restart #7 #Var: 3082 #Dec: 97008 LB: -557741203 @ 16.707
c Restart #8 #Var: 3082 #Dec: 103468 LB: -557741203 @ 18.493
c Restart #9 #Var: 3082 #Dec: 113599 LB: -557741203 @ 20.682
c Restart #10 #Var: 3082 #Dec: 118563 LB: -557741203 @ 24.563
c Restart #11 #Var: 3082 #Dec: 133992 LB: -557741203 @ 27.935
c Restart #12 #Var: 3082 #Dec: 136472 LB: -557741203 @ 30.146
c Restart #13 #Var: 3082 #Dec: 139477 LB: -557741203 @ 34.675
c Restart #14 #Var: 3082 #Dec: 142764 LB: -557741203 @ 37.255
c Restart #15 #Var: 3082 #Dec: 145844 LB: -557741203 @ 39.644
c Restart #16 #Var: 3082 #Dec: 149123 LB: -557741203 @ 42.416
c Restart #17 #Var: 3082 #Dec: 152620 LB: -557741203 @ 45.292
c Restart #18 #Var: 3082 #Dec: 156299 LB: -557741203 @ 48.151
c Restart #19 #Var: 3082 #Dec: 160182 LB: -557741203 @ 51.303
c Restart #20 #Var: 3082 #Dec: 164485 LB: -557741203 @ 55.015
c Restart #21 #Var: 3082 #Dec: 168764 LB: -557741203 @ 58.613
c Restart #22 #Var: 3082 #Dec: 173241 LB: -557741203 @ 62.269
c Restart #23 #Var: 3082 #Dec: 178074 LB: -557741203 @ 70.763
c Restart #24 #Var: 3082 #Dec: 182951 LB: -557741203 @ 74.666
c Restart #25 #Var: 3082 #Dec: 188034 LB: -557741203 @ 78.714
c Restart #26 #Var: 3082 #Dec: 194902 LB: -557741203 @ 90.625
c Restart #27 #Var: 3082 #Dec: 200537 LB: -557741203 @ 95.482
c Restart #28 #Var: 3082 #Dec: 206213 LB: -557741203 @ 100.12
c Restart #29 #Var: 3082 #Dec: 212484 LB: -557741203 @ 124.15
c Restart #30 #Var: 3082 #Dec: 218565 LB: -557741203 @ 128.89
c Restart #31 #Var: 3082 #Dec: 224844 LB: -557741203 @ 133.82
c Restart #32 #Var: 3082 #Dec: 231310 LB: -557741203 @ 138.88
c Restart #33 #Var: 3082 #Dec: 237976 LB: -557741203 @ 144.76
c Restart #34 #Var: 3082 #Dec: 244842 LB: -557741203 @ 150.7
c Restart #35 #Var: 3082 #Dec: 251907 LB: -557741203 @ 156.78
c Restart #36 #Var: 3082 #Dec: 259173 LB: -557741203 @ 163.99
c Restart #37 #Var: 3082 #Dec: 266641 LB: -557741203 @ 171
c Restart #38 #Var: 3082 #Dec: 274305 LB: -557741203 @ 178.48
c Restart #39 #Var: 3082 #Dec: 282170 LB: -557741203 @ 185.1
c Restart #40 #Var: 3082 #Dec: 290233 LB: -557741203 @ 193.1
c Restart #41 #Var: 3082 #Dec: 298501 LB: -557741203 @ 200.03
c Restart #42 #Var: 3082 #Dec: 306969 LB: -557741203 @ 208.9
c Restart #43 #Var: 3082 #Dec: 315634 LB: -557741203 @ 216.96
c Restart #44 #Var: 3082 #Dec: 324500 LB: -557741203 @ 225.83
c Restart #45 #Var: 3082 #Dec: 333566 LB: -557741203 @ 234.45
c Restart #46 #Var: 3082 #Dec: 342832 LB: -557741203 @ 243.7
c Restart #47 #Var: 3082 #Dec: 352292 LB: -557741203 @ 252.94
c Restart #48 #Var: 3082 #Dec: 361955 LB: -557741203 @ 262.52
c Restart #49 #Var: 3082 #Dec: 371821 LB: -557741203 @ 272.87
c Restart #50 #Var: 3082 #Dec: 381885 LB: -557741203 @ 282.39
c Restart #51 #Var: 3082 #Dec: 392149 LB: -557741203 @ 293.62
c Restart #52 #Var: 3082 #Dec: 402613 LB: -557741203 @ 304.85
c Restart #53 #Var: 3082 #Dec: 413277 LB: -557741203 @ 316.03
c Restart #54 #Var: 3082 #Dec: 424142 LB: -557741203 @ 327.37
c Restart #55 #Var: 3082 #Dec: 435204 LB: -557741203 @ 339.86
c Restart #56 #Var: 3082 #Dec: 446467 LB: -557741203 @ 351.86
c Restart #57 #Var: 3082 #Dec: 457933 LB: -557741203 @ 364.98
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/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1840613376 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/30753/statm): 107 3 90 68 0 39 0
[pid=30753] vsize: 428
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libosl.so
open syscall for file tls/i686/libosl.so
open syscall for file tls/mmx/libosl.so
open syscall for file tls/libosl.so
open syscall for file i686/mmx/libosl.so
open syscall for file i686/libosl.so
open syscall for file mmx/libosl.so
open syscall for file libosl.so
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/i686/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/libosl.so
open syscall for file /oldhome/oroussel/lib/i686/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/i686/libosl.so
open syscall for file /oldhome/oroussel/lib/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/libosl.so
open syscall for file tls/i686/mmx/libstdc++-libc6.2-2.so.3
open syscall for file tls/i686/libstdc++-libc6.2-2.so.3
open syscall for file tls/mmx/libstdc++-libc6.2-2.so.3
open syscall for file tls/libstdc++-libc6.2-2.so.3
open syscall for file i686/mmx/libstdc++-libc6.2-2.so.3
open syscall for file i686/libstdc++-libc6.2-2.so.3
open syscall for file mmx/libstdc++-libc6.2-2.so.3
open syscall for file libstdc++-libc6.2-2.so.3
open syscall for file /oldhome/oroussel/lib/libstdc++-libc6.2-2.so.3
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++-libc6.2-2.so.3
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /etc/localtime
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-recipe.opb

[startup+10.0037 s]
Raw data (loadavg): 0.89 0.93 0.90 1/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) T 30752 30753 28974 0 -1 0 3594 0 0 0 742 88 0 0 21 0 1 0 1840613376 17879040 3505 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30753/statm): 4365 3505 1116 68 0 4297 0
[pid=30753] vsize: 17460
Current children cumulated CPU time (s) 8.3
Current children cumulated vsize (Kb) 17460

[startup+20.0046 s]
Raw data (loadavg): 0.91 0.93 0.90 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 3615 0 0 0 1579 143 0 0 22 0 1 0 1840613376 17940480 3526 4294967295 134512640 134736556 3221224560 3221223288 134605909 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30753/statm): 4380 3526 1116 68 0 4312 0
[pid=30753] vsize: 17520
Current children cumulated CPU time (s) 17.22
Current children cumulated vsize (Kb) 17520

[startup+30.0054 s]
Raw data (loadavg): 0.92 0.93 0.90 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 3649 0 0 0 2453 186 0 0 22 0 1 0 1840613376 18104320 3560 4294967295 134512640 134736556 3221224560 3221223104 134550865 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30753/statm): 4420 3560 1116 68 0 4352 0
[pid=30753] vsize: 17680
Current children cumulated CPU time (s) 26.39
Current children cumulated vsize (Kb) 17680

[startup+40.0052 s]
Raw data (loadavg): 0.93 0.94 0.90 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 4941 0 0 0 3404 205 0 0 25 0 1 0 1840613376 23379968 4852 4294967295 134512640 134736556 3221224560 3221223136 134550721 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30753/statm): 5708 4852 1116 68 0 5640 0
[pid=30753] vsize: 22832
Current children cumulated CPU time (s) 36.09
Current children cumulated vsize (Kb) 22832

[startup+50.0071 s]
Raw data (loadavg): 0.94 0.94 0.90 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 4953 0 0 0 4351 226 0 0 25 0 1 0 1840613376 23379968 4864 4294967295 134512640 134736556 3221224560 3221223232 134536513 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30753/statm): 5708 4864 1116 68 0 5640 0
[pid=30753] vsize: 22832
Current children cumulated CPU time (s) 45.77
Current children cumulated vsize (Kb) 22832

[startup+60.0069 s]
Raw data (loadavg): 0.95 0.94 0.90 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 5040 0 0 0 5296 246 0 0 25 0 1 0 1840613376 23781376 4951 4294967295 134512640 134736556 3221224560 3221223160 134716454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30753/statm): 5806 4951 1116 68 0 5738 0
[pid=30753] vsize: 23224
Current children cumulated CPU time (s) 55.42
Current children cumulated vsize (Kb) 23224

[startup+70.0067 s]
Raw data (loadavg): 0.96 0.94 0.90 1/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) T 30752 30753 28974 0 -1 0 5845 0 0 0 6247 264 0 0 25 0 1 0 1840613376 27160576 5756 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/30753/statm): 6631 5756 1116 68 0 6563 0
[pid=30753] vsize: 26524
Current children cumulated CPU time (s) 65.11
Current children cumulated vsize (Kb) 26524

[startup+80.0076 s]
Raw data (loadavg): 0.96 0.94 0.91 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 7493 0 0 0 7197 286 0 0 25 0 1 0 1840613376 33796096 7404 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30753/statm): 8251 7404 1116 68 0 8183 0
[pid=30753] vsize: 33004
Current children cumulated CPU time (s) 74.83
Current children cumulated vsize (Kb) 33004

[startup+90.0074 s]
Raw data (loadavg): 0.97 0.94 0.91 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 8535 0 0 0 8151 305 0 0 25 0 1 0 1840613376 38121472 8446 4294967295 134512640 134736556 3221224560 3221223072 134543153 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30753/statm): 9307 8446 1116 68 0 9239 0
[pid=30753] vsize: 37228
Current children cumulated CPU time (s) 84.56
Current children cumulated vsize (Kb) 37228

[startup+100.008 s]
Raw data (loadavg): 0.97 0.94 0.91 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 9449 0 0 0 9112 321 0 0 25 0 1 0 1840613376 41906176 9360 4294967295 134512640 134736556 3221224560 3221223164 134523852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30753/statm): 10231 9360 1116 68 0 10163 0
[pid=30753] vsize: 40924
Current children cumulated CPU time (s) 94.33
Current children cumulated vsize (Kb) 40924

[startup+110.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 9629 0 0 0 10075 334 0 0 25 0 1 0 1840613376 42582016 9540 4294967295 134512640 134736556 3221224560 3221223084 134540103 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30753/statm): 10396 9540 1116 68 0 10328 0
[pid=30753] vsize: 41584
Current children cumulated CPU time (s) 104.09
Current children cumulated vsize (Kb) 41584

[startup+120.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 10287 0 0 0 11061 340 0 0 25 0 1 0 1840613376 45285376 10198 4294967295 134512640 134736556 3221224560 3221223072 134543187 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30753/statm): 11056 10198 1116 68 0 10988 0
[pid=30753] vsize: 44224
Current children cumulated CPU time (s) 114.01
Current children cumulated vsize (Kb) 44224

[startup+130.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 12272 0 0 0 12041 351 0 0 25 0 1 0 1840613376 53395456 12183 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30753/statm): 13036 12183 1116 68 0 12968 0
[pid=30753] vsize: 52144
Current children cumulated CPU time (s) 123.92
Current children cumulated vsize (Kb) 52144

[startup+140.011 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 12354 0 0 0 12986 368 0 0 25 0 1 0 1840613376 53800960 12265 4294967295 134512640 134736556 3221224560 3221223296 134605558 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30753/statm): 13135 12265 1116 68 0 13067 0
[pid=30753] vsize: 52540
Current children cumulated CPU time (s) 133.54
Current children cumulated vsize (Kb) 52540

[startup+150.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 22763 0 0 0 13905 410 0 0 25 0 1 0 1840613376 96419840 22672 4294967295 134512640 134736556 3221224560 3221223296 134529265 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30753/statm): 23540 22672 1116 68 0 23472 0
[pid=30753] vsize: 94160
Current children cumulated CPU time (s) 143.15
Current children cumulated vsize (Kb) 94160

[startup+160.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 32886 0 0 0 14820 454 0 0 25 0 1 0 1840613376 138059776 32786 4294967295 134512640 134736556 3221224560 3221223296 134605561 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30753/statm): 33706 32786 1116 68 0 33638 0
[pid=30753] vsize: 134824
Current children cumulated CPU time (s) 152.74
Current children cumulated vsize (Kb) 134824

[startup+170.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 42546 0 0 0 15743 495 0 0 25 0 1 0 1840613376 177713152 42430 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30753/statm): 43387 42431 1116 68 0 43319 0
[pid=30753] vsize: 173548
Current children cumulated CPU time (s) 162.38
Current children cumulated vsize (Kb) 173548

[startup+180.014 s]
Raw data (loadavg): 0.99 0.95 0.91 1/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) T 30752 30753 28974 0 -1 0 51822 0 0 0 16673 532 0 0 25 0 1 0 1840613376 215957504 51680 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/30753/statm): 52724 51680 1116 68 0 52656 0
[pid=30753] vsize: 210896
Current children cumulated CPU time (s) 172.05
Current children cumulated vsize (Kb) 210896

[startup+190.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 61478 0 0 0 17597 572 0 0 25 0 1 0 1840613376 255467520 61331 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30753/statm): 62370 61331 1116 68 0 62302 0
[pid=30753] vsize: 249480
Current children cumulated CPU time (s) 181.69
Current children cumulated vsize (Kb) 249480

[startup+200.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 70984 0 0 0 18522 612 0 0 25 0 1 0 1840613376 294420480 70828 4294967295 134512640 134736556 3221224560 3221223080 134716926 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30753/statm): 71880 70828 1116 68 0 71812 0
[pid=30753] vsize: 287520
Current children cumulated CPU time (s) 191.34
Current children cumulated vsize (Kb) 287520

[startup+210.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 80835 0 0 0 19447 651 0 0 25 0 1 0 1840613376 334835712 80671 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30753/statm): 81747 80671 1116 68 0 81679 0
[pid=30753] vsize: 326988
Current children cumulated CPU time (s) 200.98
Current children cumulated vsize (Kb) 326988

[startup+220.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 89929 0 0 0 20374 688 0 0 25 0 1 0 1840613376 372281344 89655 4294967295 134512640 134736556 3221224560 3221223312 134556521 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30753/statm): 90889 89655 1116 68 0 90821 0
[pid=30753] vsize: 363556
Current children cumulated CPU time (s) 210.62
Current children cumulated vsize (Kb) 363556

[startup+230.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 99322 0 0 0 21302 727 0 0 25 0 1 0 1840613376 410750976 99043 4294967295 134512640 134736556 3221224560 3221223296 134529164 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30753/statm): 100281 99043 1116 68 0 100213 0
[pid=30753] vsize: 401124
Current children cumulated CPU time (s) 220.29
Current children cumulated vsize (Kb) 401124

[startup+240.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 108174 0 0 0 22233 763 0 0 25 0 1 0 1840613376 446976000 107895 4294967295 134512640 134736556 3221224560 3221223084 134536659 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30753/statm): 109125 107895 1116 68 0 109057 0
[pid=30753] vsize: 436500
Current children cumulated CPU time (s) 229.96
Current children cumulated vsize (Kb) 436500

[startup+250.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 117696 0 0 0 23155 805 0 0 25 0 1 0 1840613376 485769216 117417 4294967295 134512640 134736556 3221224560 3221223296 134605591 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30753/statm): 118596 117418 1116 68 0 118528 0
[pid=30753] vsize: 474384
Current children cumulated CPU time (s) 239.6
Current children cumulated vsize (Kb) 474384

[startup+260.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 126639 0 0 0 24085 841 0 0 25 0 1 0 1840613376 522420224 126314 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30753/statm): 127544 126314 1116 68 0 127476 0
[pid=30753] vsize: 510176
Current children cumulated CPU time (s) 249.26
Current children cumulated vsize (Kb) 510176

[startup+270.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 135710 0 0 0 25016 878 0 0 25 0 1 0 1840613376 559587328 135373 4294967295 134512640 134736556 3221224560 3221223136 134550707 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30753/statm): 136618 135373 1116 68 0 136550 0
[pid=30753] vsize: 546472
Current children cumulated CPU time (s) 258.94
Current children cumulated vsize (Kb) 546472

[startup+280.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 144437 0 0 0 25945 915 0 0 25 0 1 0 1840613376 595193856 144016 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30753/statm): 145311 144016 1116 68 0 145243 0
[pid=30753] vsize: 581244
Current children cumulated CPU time (s) 268.6
Current children cumulated vsize (Kb) 581244

[startup+290.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 153626 0 0 0 26867 956 0 0 25 0 1 0 1840613376 632696832 153199 4294967295 134512640 134736556 3221224560 3221223164 134537480 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30753/statm): 154467 153200 1116 68 0 154399 0
[pid=30753] vsize: 617868
Current children cumulated CPU time (s) 278.23
Current children cumulated vsize (Kb) 617868

[startup+300.02 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) T 30752 30753 28974 0 -1 0 162252 0 0 0 27800 989 0 0 25 0 1 0 1840613376 668192768 161641 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30753/statm): 163133 161641 1116 68 0 163065 0
[pid=30753] vsize: 652532
Current children cumulated CPU time (s) 287.89
Current children cumulated vsize (Kb) 652532

[startup+310.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 170411 0 0 0 28736 1022 0 0 25 0 1 0 1840613376 701210624 169556 4294967295 134512640 134736556 3221224560 3221223180 134550916 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30753/statm): 171194 169556 1116 68 0 171126 0
[pid=30753] vsize: 684776
Current children cumulated CPU time (s) 297.58
Current children cumulated vsize (Kb) 684776

[startup+320.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 178834 0 0 0 29672 1054 0 0 25 0 1 0 1840613376 735543296 177979 4294967295 134512640 134736556 3221224560 3221223036 134536623 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30753/statm): 179576 177979 1116 68 0 179508 0
[pid=30753] vsize: 718304
Current children cumulated CPU time (s) 307.26
Current children cumulated vsize (Kb) 718304

[startup+330.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 187314 0 0 0 30606 1088 0 0 25 0 1 0 1840613376 769990656 186295 4294967295 134512640 134736556 3221224560 3221223120 134551076 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30753/statm): 187986 186295 1116 68 0 187918 0
[pid=30753] vsize: 751944
Current children cumulated CPU time (s) 316.94
Current children cumulated vsize (Kb) 751944

[startup+340.022 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) T 30752 30753 28974 0 -1 0 196930 0 0 0 31532 1126 0 0 25 0 1 0 1840613376 809250816 195829 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/30753/statm): 197571 195829 1116 68 0 197503 0
[pid=30753] vsize: 790284
Current children cumulated CPU time (s) 326.58
Current children cumulated vsize (Kb) 790284

[startup+350.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 204619 0 0 0 32470 1157 0 0 25 0 1 0 1840613376 840609792 203518 4294967295 134512640 134736556 3221224560 3221223120 134551105 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30753/statm): 205227 203518 1116 68 0 205159 0
[pid=30753] vsize: 820908
Current children cumulated CPU time (s) 336.27
Current children cumulated vsize (Kb) 820908

[startup+360.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 212524 0 0 0 33405 1191 0 0 25 0 1 0 1840613376 872914944 211423 4294967295 134512640 134736556 3221224560 3221223212 134554100 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30753/statm): 213114 211423 1116 68 0 213046 0
[pid=30753] vsize: 852456
Current children cumulated CPU time (s) 345.96
Current children cumulated vsize (Kb) 852456

[startup+370.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 220590 0 0 0 34341 1225 0 0 25 0 1 0 1840613376 905760768 219488 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30753/statm): 221133 219488 1116 68 0 221065 0
[pid=30753] vsize: 884532
Current children cumulated CPU time (s) 355.66
Current children cumulated vsize (Kb) 884532

[startup+380.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 228348 0 0 0 35283 1254 0 0 25 0 1 0 1840613376 937533440 227233 4294967295 134512640 134736556 3221224560 3221223152 134551110 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30753/statm): 228890 227233 1116 68 0 228822 0
[pid=30753] vsize: 915560
Current children cumulated CPU time (s) 365.37
Current children cumulated vsize (Kb) 915560



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+382.187 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 30753
Raw data (/proc/30753/stat): 30753 (bsolo) T 30752 30753 28974 0 -1 0 229867 0 0 0 35485 1260 0 0 25 0 1 0 1840613376 943812608 228748 4294967295 134512640 134736556 3221224560 3221223020 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30753/statm): 230423 228748 1116 68 0 230355 0
[pid=30753] vsize: 921692
Current children cumulated CPU time (s) 367.45
Current children cumulated vsize (Kb) 921692

Sending SIGTERM to -30753
Sleeping 2 seconds
Sending SIGKILL to -30753
One traced child (pid=30753) 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): 384.605
CPU time (s): 367.877
CPU user time (s): 354.856
CPU system time (s): 13.021
CPU usage (%): 95.6505
Max. virtual memory (cumulated for all children) (Kb): 921692

Verifier Data

ERROR: no interpretation found !