Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pp08a.opb
MD5SUMd14265fdf4e5a3ef733af1f15b884cbe
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6661373
Optimality of the best value was proved NO
Number of terms in the objective function 2304
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 178464600
Number of bits of the sum of numbers in the objective function 28
Biggest number in a constraint 1048576
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 178464600
Number of bits of the biggest sum of numbers28
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.02
Number of variables3584
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 constraint21
Maximum length of a constraint160

Trace number 5254

Launcher Data

LAUNCH ON wulflinc24 THE 2005-09-19 23:57:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1041 boxname=wulflinc24 idbench=1041 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  d14265fdf4e5a3ef733af1f15b884cbe  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-pp08a.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-pp08a.opb
IDLAUNCH: 1041
/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:        875100 kB
Buffers:         37948 kB
Cached:          92012 kB
SwapCached:        736 kB
Active:          70840 kB
Inactive:        61712 kB
HighTotal:      131008 kB
HighFree:        35336 kB
LowTotal:       903652 kB
LowFree:        839764 kB
SwapTotal:     2097892 kB
SwapFree:      2096652 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5736 kB
Slab:            21264 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 00:03:28 (client local time) WITH STATUS 0 IN 330.374 SECONDS
stats: 1041 7 330.374 0

Solver Data

c INFO: OSL Context initialized.
c Initial problem consists of 3584 variables and 200 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 1.884
c After prepocess the problem consists of 3288 variables and 200 constraints.
c Initial Lower Bound: 0
c Restart #1 #Var: 3288 #Dec: 13895 LB: 0 @ 2.608
c Restart #2 #Var: 3288 #Dec: 45585 LB: 0 @ 4.175
c Restart #3 #Var: 3288 #Dec: 82854 LB: 0 @ 6.129
c Restart #4 #Var: 3288 #Dec: 118979 LB: 0 @ 8.183
c Restart #5 #Var: 3288 #Dec: 151318 LB: 0 @ 10.136
c Restart #6 #Var: 3288 #Dec: 174057 LB: 0 @ 11.755
c Restart #7 #Var: 3288 #Dec: 191044 LB: 0 @ 13.22
c Restart #8 #Var: 3288 #Dec: 192689 LB: 0 @ 14.029
c Restart #9 #Var: 3288 #Dec: 194536 LB: 0 @ 14.991
c Restart #10 #Var: 3288 #Dec: 196586 LB: 0 @ 16.186
c Restart #11 #Var: 3288 #Dec: 198833 LB: 0 @ 17.368
c Restart #12 #Var: 3288 #Dec: 201276 LB: 0 @ 18.747
c Restart #13 #Var: 3288 #Dec: 203919 LB: 0 @ 20.087
c Restart #14 #Var: 3288 #Dec: 206767 LB: 0 @ 21.788
c Restart #15 #Var: 3288 #Dec: 209810 LB: 0 @ 23.462
c Restart #16 #Var: 3288 #Dec: 213058 LB: 0 @ 25.4
c Restart #17 #Var: 3288 #Dec: 216506 LB: 0 @ 27.54
c Restart #18 #Var: 3288 #Dec: 220151 LB: 0 @ 29.723
c Restart #19 #Var: 3288 #Dec: 223996 LB: 0 @ 32.611
c Restart #20 #Var: 3288 #Dec: 228039 LB: 0 @ 35.802
c Restart #21 #Var: 3288 #Dec: 232282 LB: 0 @ 38.512
c Restart #22 #Var: 3288 #Dec: 236727 LB: 0 @ 41.585
c Restart #23 #Var: 3288 #Dec: 241370 LB: 0 @ 44.34
c Restart #24 #Var: 3288 #Dec: 246216 LB: 0 @ 47.819
c Restart #25 #Var: 3288 #Dec: 251261 LB: 0 @ 50.925
c Restart #26 #Var: 3288 #Dec: 256507 LB: 0 @ 54.359
c Restart #27 #Var: 3288 #Dec: 261949 LB: 0 @ 57.65
c Restart #28 #Var: 3288 #Dec: 267594 LB: 0 @ 61.702
c Restart #29 #Var: 3288 #Dec: 273441 LB: 0 @ 65.758
c Restart #30 #Var: 3288 #Dec: 279485 LB: 0 @ 70.148
c Restart #31 #Var: 3288 #Dec: 285730 LB: 0 @ 74.216
c Restart #32 #Var: 3288 #Dec: 292179 LB: 0 @ 79.08
c Restart #33 #Var: 3288 #Dec: 298822 LB: 0 @ 83.57
c Restart #34 #Var: 3288 #Dec: 305667 LB: 0 @ 88.487
c Restart #35 #Var: 3288 #Dec: 312713 LB: 0 @ 93.802
c Restart #36 #Var: 3288 #Dec: 319958 LB: 0 @ 99.563
c Restart #37 #Var: 3288 #Dec: 327401 LB: 0 @ 105.52
c Restart #38 #Var: 3288 #Dec: 335042 LB: 0 @ 111.65
c Restart #39 #Var: 3288 #Dec: 342886 LB: 0 @ 118.42
c Restart #40 #Var: 3288 #Dec: 350929 LB: 0 @ 124.68
c Restart #41 #Var: 3288 #Dec: 359176 LB: 0 @ 131.51
c Restart #42 #Var: 3288 #Dec: 367619 LB: 0 @ 139.04
c Restart #43 #Var: 3288 #Dec: 376264 LB: 0 @ 146.1
c Restart #44 #Var: 3288 #Dec: 385111 LB: 0 @ 153.65
c Restart #45 #Var: 3288 #Dec: 394158 LB: 0 @ 160.65
c Restart #46 #Var: 3288 #Dec: 403401 LB: 0 @ 168.31
c Restart #47 #Var: 3288 #Dec: 412845 LB: 0 @ 174.91
c Restart #48 #Var: 3288 #Dec: 422494 LB: 0 @ 183.17
c Restart #49 #Var: 3288 #Dec: 432340 LB: 0 @ 192.04
c Restart #50 #Var: 3288 #Dec: 442385 LB: 0 @ 200.69
c Restart #51 #Var: 3288 #Dec: 452629 LB: 0 @ 209.78
c Restart #52 #Var: 3288 #Dec: 463075 LB: 0 @ 218.46
c Restart #53 #Var: 3288 #Dec: 473717 LB: 0 @ 228.53
c Restart #54 #Var: 3288 #Dec: 484563 LB: 0 @ 239.12
c Restart #55 #Var: 3288 #Dec: 495610 LB: 0 @ 248.88
c Restart #56 #Var: 3288 #Dec: 506855 LB: 0 @ 258.22
c Restart #57 #Var: 3288 #Dec: 518297 LB: 0 @ 268.36
c Restart #58 #Var: 3288 #Dec: 529940 LB: 0 @ 277.86
c Restart #59 #Var: 3288 #Dec: 541782 LB: 0 @ 288.37
c Restart #60 #Var: 3288 #Dec: 553826 LB: 0 @ 297.78
c Restart #61 #Var: 3288 #Dec: 566068 LB: 0 @ 310.49
c Restart #62 #Var: 3288 #Dec: 578516 LB: 0 @ 320.93
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/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1854033493 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4526/statm): 107 3 90 68 0 39 0
[pid=4526] 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-13-7-pp08a.opb

[startup+10.0033 s]
Raw data (loadavg): 0.93 0.98 0.98 1/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) T 4525 4526 20728 0 -1 0 4779 0 0 0 580 144 0 0 17 0 1 0 1854033493 22765568 4690 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/4526/statm): 5558 4690 1116 68 0 5490 0
[pid=4526] vsize: 22232
Current children cumulated CPU time (s) 7.24
Current children cumulated vsize (Kb) 22232

[startup+20.004 s]
Raw data (loadavg): 0.94 0.98 0.98 1/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) T 4525 4526 20728 0 -1 0 9006 0 0 0 1214 278 0 0 18 0 1 0 1854033493 40071168 8917 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/4526/statm): 9783 8917 1116 68 0 9715 0
[pid=4526] vsize: 39132
Current children cumulated CPU time (s) 14.92
Current children cumulated vsize (Kb) 39132

[startup+30.0047 s]
Raw data (loadavg): 0.95 0.98 0.98 2/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 18290 0 0 0 2104 327 0 0 25 0 1 0 1854033493 78196736 18196 4294967295 134512640 134736556 3221224560 3221223056 134536168 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/4526/statm): 19091 18196 1116 68 0 19023 0
[pid=4526] vsize: 76364
Current children cumulated CPU time (s) 24.31
Current children cumulated vsize (Kb) 76364

[startup+40.0044 s]
Raw data (loadavg): 0.96 0.98 0.98 2/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 26223 0 0 0 3015 372 0 0 25 0 1 0 1854033493 110821376 26115 4294967295 134512640 134736556 3221224560 3221223136 134716385 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/4526/statm): 27056 26115 1116 68 0 26988 0
[pid=4526] vsize: 108224
Current children cumulated CPU time (s) 33.87
Current children cumulated vsize (Kb) 108224

[startup+50.0061 s]
Raw data (loadavg): 0.96 0.98 0.98 2/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 34159 0 0 0 3927 415 0 0 25 0 1 0 1854033493 143339520 34044 4294967295 134512640 134736556 3221224560 3221223268 134560272 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/4526/statm): 34995 34044 1116 68 0 34927 0
[pid=4526] vsize: 139980
Current children cumulated CPU time (s) 43.42
Current children cumulated vsize (Kb) 139980

[startup+60.0058 s]
Raw data (loadavg): 0.97 0.98 0.98 1/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) T 4525 4526 20728 0 -1 0 42285 0 0 0 4830 461 0 0 25 0 1 0 1854033493 176943104 42144 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/4526/statm): 43199 42144 1116 68 0 43131 0
[pid=4526] vsize: 172796
Current children cumulated CPU time (s) 52.91
Current children cumulated vsize (Kb) 172796

[startup+70.0065 s]
Raw data (loadavg): 0.97 0.98 0.98 2/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 50128 0 0 0 5737 505 0 0 25 0 1 0 1854033493 209063936 49980 4294967295 134512640 134736556 3221224560 3221223216 134537350 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/4526/statm): 51041 49980 1116 68 0 50973 0
[pid=4526] vsize: 204164
Current children cumulated CPU time (s) 62.42
Current children cumulated vsize (Kb) 204164

[startup+80.0072 s]
Raw data (loadavg): 0.98 0.98 0.98 2/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 57632 0 0 0 6649 547 0 0 25 0 1 0 1854033493 239771648 57481 4294967295 134512640 134736556 3221224560 3221223232 134524348 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/4526/statm): 58538 57481 1116 68 0 58470 0
[pid=4526] vsize: 234152
Current children cumulated CPU time (s) 71.96
Current children cumulated vsize (Kb) 234152

[startup+90.0069 s]
Raw data (loadavg): 0.98 0.98 0.98 2/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 65488 0 0 0 7562 589 0 0 25 0 1 0 1854033493 271982592 65328 4294967295 134512640 134736556 3221224560 3221223120 134551068 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/4526/statm): 66402 65328 1116 68 0 66334 0
[pid=4526] vsize: 265608
Current children cumulated CPU time (s) 81.51
Current children cumulated vsize (Kb) 265608

[startup+100.008 s]
Raw data (loadavg): 0.98 0.98 0.98 1/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) T 4525 4526 20728 0 -1 0 72843 0 0 0 8481 629 0 0 25 0 1 0 1854033493 302350336 72666 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/4526/statm): 73816 72666 1116 68 0 73748 0
[pid=4526] vsize: 295264
Current children cumulated CPU time (s) 91.1
Current children cumulated vsize (Kb) 295264

[startup+110.008 s]
Raw data (loadavg): 0.98 0.98 0.98 2/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 79543 0 0 0 9403 666 0 0 25 0 1 0 1854033493 329711616 79188 4294967295 134512640 134736556 3221224560 3221223164 134537548 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/4526/statm): 80496 79188 1116 68 0 80428 0
[pid=4526] vsize: 321984
Current children cumulated CPU time (s) 100.69
Current children cumulated vsize (Kb) 321984

[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 86785 0 0 0 10324 705 0 0 25 0 1 0 1854033493 359243776 86426 4294967295 134512640 134736556 3221224560 3221223120 134551002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/4526/statm): 87706 86426 1116 68 0 87638 0
[pid=4526] vsize: 350824
Current children cumulated CPU time (s) 110.29
Current children cumulated vsize (Kb) 350824

[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 92639 0 0 0 11253 738 0 0 25 0 1 0 1854033493 383217664 92272 4294967295 134512640 134736556 3221224560 3221223200 134543716 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/4526/statm): 93559 92272 1116 68 0 93491 0
[pid=4526] vsize: 374236
Current children cumulated CPU time (s) 119.91
Current children cumulated vsize (Kb) 374236

[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 99713 0 0 0 12167 780 0 0 25 0 1 0 1854033493 411934720 99264 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/4526/statm): 100570 99264 1116 68 0 100502 0
[pid=4526] vsize: 402280
Current children cumulated CPU time (s) 129.47
Current children cumulated vsize (Kb) 402280

[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 106011 0 0 0 13093 813 0 0 25 0 1 0 1854033493 437362688 105397 4294967295 134512640 134736556 3221224560 3221223216 134537358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/4526/statm): 106778 105397 1116 68 0 106710 0
[pid=4526] vsize: 427112
Current children cumulated CPU time (s) 139.06
Current children cumulated vsize (Kb) 427112

[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 112241 0 0 0 14019 846 0 0 25 0 1 0 1854033493 462852096 111620 4294967295 134512640 134736556 3221224560 3221223120 134551217 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/4526/statm): 113001 111620 1116 68 0 112933 0
[pid=4526] vsize: 452004
Current children cumulated CPU time (s) 148.65
Current children cumulated vsize (Kb) 452004

[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.98 1/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) T 4525 4526 20728 0 -1 0 119201 0 0 0 14937 886 0 0 25 0 1 0 1854033493 491069440 118494 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/4526/statm): 119890 118494 1116 68 0 119822 0
[pid=4526] vsize: 479560
Current children cumulated CPU time (s) 158.23
Current children cumulated vsize (Kb) 479560

[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 126323 0 0 0 15858 924 0 0 25 0 1 0 1854033493 520138752 125440 4294967295 134512640 134736556 3221224560 3221223280 134529164 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/4526/statm): 126987 125440 1116 68 0 126919 0
[pid=4526] vsize: 507948
Current children cumulated CPU time (s) 167.82
Current children cumulated vsize (Kb) 507948

[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 132759 0 0 0 16782 961 0 0 25 0 1 0 1854033493 546500608 131876 4294967295 134512640 134736556 3221224560 3221223152 134716353 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/4526/statm): 133423 131876 1116 68 0 133355 0
[pid=4526] vsize: 533692
Current children cumulated CPU time (s) 177.43
Current children cumulated vsize (Kb) 533692

[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 139198 0 0 0 17707 995 0 0 17 0 1 0 1854033493 572788736 138315 4294967295 134512640 134736556 3221224560 3221223152 134551097 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/4526/statm): 139841 138315 1116 68 0 139773 0
[pid=4526] vsize: 559364
Current children cumulated CPU time (s) 187.02
Current children cumulated vsize (Kb) 559364

[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 146307 0 0 0 18629 1033 0 0 25 0 1 0 1854033493 601423872 145005 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/4526/statm): 146832 145005 1116 68 0 146764 0
[pid=4526] vsize: 587328
Current children cumulated CPU time (s) 196.62
Current children cumulated vsize (Kb) 587328

[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.98 1/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) T 4525 4526 20728 0 -1 0 151965 0 0 0 19558 1065 0 0 25 0 1 0 1854033493 624541696 150663 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/4526/statm): 152476 150663 1116 68 0 152408 0
[pid=4526] vsize: 609904
Current children cumulated CPU time (s) 206.23
Current children cumulated vsize (Kb) 609904

[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.98 1/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) T 4525 4526 20728 0 -1 0 158867 0 0 0 20479 1103 0 0 25 0 1 0 1854033493 652505088 157401 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/4526/statm): 159303 157401 1116 68 0 159235 0
[pid=4526] vsize: 637212
Current children cumulated CPU time (s) 215.82
Current children cumulated vsize (Kb) 637212

[startup+240.011 s]
Raw data (loadavg): 0.99 0.98 0.98 1/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) T 4525 4526 20728 0 -1 0 164478 0 0 0 21416 1132 0 0 25 0 1 0 1854033493 675139584 162930 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/4526/statm): 164829 162930 1116 68 0 164761 0
[pid=4526] vsize: 659316
Current children cumulated CPU time (s) 225.48
Current children cumulated vsize (Kb) 659316

[startup+250.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 170061 0 0 0 22349 1164 0 0 25 0 1 0 1854033493 697851904 168513 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/4526/statm): 170374 168513 1116 68 0 170306 0
[pid=4526] vsize: 681496
Current children cumulated CPU time (s) 235.13
Current children cumulated vsize (Kb) 681496

[startup+260.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 176027 0 0 0 23278 1198 0 0 25 0 1 0 1854033493 721833984 174397 4294967295 134512640 134736556 3221224560 3221223196 134554110 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/4526/statm): 176229 174397 1116 68 0 176161 0
[pid=4526] vsize: 704916
Current children cumulated CPU time (s) 244.76
Current children cumulated vsize (Kb) 704916

[startup+270.013 s]
Raw data (loadavg): 0.99 0.98 0.98 1/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) T 4525 4526 20728 0 -1 0 182477 0 0 0 24204 1233 0 0 25 0 1 0 1854033493 748113920 180765 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/4526/statm): 182645 180765 1116 68 0 182577 0
[pid=4526] vsize: 730580
Current children cumulated CPU time (s) 254.37
Current children cumulated vsize (Kb) 730580

[startup+280.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 188842 0 0 0 25132 1269 0 0 25 0 1 0 1854033493 773775360 186968 4294967295 134512640 134736556 3221224560 3221223216 134524544 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/4526/statm): 188910 186968 1116 68 0 188842 0
[pid=4526] vsize: 755640
Current children cumulated CPU time (s) 264.01
Current children cumulated vsize (Kb) 755640

[startup+290.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 195029 0 0 0 26062 1300 0 0 25 0 1 0 1854033493 799121408 193150 4294967295 134512640 134736556 3221224560 3221223216 134537363 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/4526/statm): 195098 193150 1116 68 0 195030 0
[pid=4526] vsize: 780392
Current children cumulated CPU time (s) 273.62
Current children cumulated vsize (Kb) 780392

[startup+300.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 201598 0 0 0 26988 1337 0 0 25 0 1 0 1854033493 825954304 199716 4294967295 134512640 134736556 3221224560 3221223120 134551108 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/4526/statm): 201649 199716 1116 68 0 201581 0
[pid=4526] vsize: 806596
Current children cumulated CPU time (s) 283.25
Current children cumulated vsize (Kb) 806596

[startup+310.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 207764 0 0 0 27916 1371 0 0 24 0 1 0 1854033493 850882560 205800 4294967295 134512640 134736556 3221224560 3221223168 134634142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/4526/statm): 207735 205800 1116 68 0 207667 0
[pid=4526] vsize: 830940
Current children cumulated CPU time (s) 292.87
Current children cumulated vsize (Kb) 830940

[startup+320.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 213625 0 0 0 28847 1404 0 0 25 0 1 0 1854033493 875008000 211656 4294967295 134512640 134736556 3221224560 3221223184 134524547 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/4526/statm): 213625 211656 1116 68 0 213557 0
[pid=4526] vsize: 854500
Current children cumulated CPU time (s) 302.51
Current children cumulated vsize (Kb) 854500

[startup+330.015 s]
Raw data (loadavg): 1.07 1.00 0.99 2/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) T 4525 4526 20728 0 -1 0 218824 0 0 0 29789 1434 0 0 25 0 1 0 1854033493 895881216 216773 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/4526/statm): 218721 216773 1116 68 0 218653 0
[pid=4526] vsize: 874884
Current children cumulated CPU time (s) 312.23
Current children cumulated vsize (Kb) 874884

[startup+340.014 s]
Raw data (loadavg): 1.06 1.00 0.99 2/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 225534 0 21 0 30696 1476 0 0 25 0 1 0 1854033493 922988544 223311 4294967295 134512640 134736556 3221224560 3221223072 134535866 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/4526/statm): 225339 223314 1116 68 0 225271 0
[pid=4526] vsize: 901356
Current children cumulated CPU time (s) 321.72
Current children cumulated vsize (Kb) 901356



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+349.065 s]
Raw data (loadavg): 1.05 1.00 0.99 1/56 4526
Raw data (/proc/4526/stat): 4526 (bsolo) T 4525 4526 20728 0 -1 0 232341 0 93 0 31478 1515 0 0 25 0 1 0 1854033493 943820800 228319 4294967295 134512640 134736556 3221224560 3221223020 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/4526/statm): 230425 228319 1116 68 0 230357 0
[pid=4526] vsize: 921700
Current children cumulated CPU time (s) 329.93
Current children cumulated vsize (Kb) 921700

Sending SIGTERM to -4526
Sleeping 2 seconds

[startup+350.015 s]
Raw data (loadavg): 1.05 1.00 0.99 1/57 4527
Raw data (/proc/4526/stat): 4526 (bsolo) S 4525 4526 20728 0 -1 0 232341 0 93 0 31478 1515 0 0 25 0 1 0 1854033493 943820800 228319 4294967295 134512640 134736556 3221224560 3221221992 1077867073 0 16384 5 16384 0 0 0 17 0 0 0
Raw data (/proc/4526/statm): 230425 228319 1116 68 0 230357 0
[pid=4526] vsize: 921700
Current children cumulated CPU time (s) 329.93
Current children cumulated vsize (Kb) 921700
Sending SIGKILL to -4526
One traced child (pid=4526) 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): 351.502
CPU time (s): 330.374
CPU user time (s): 314.785
CPU system time (s): 15.5886
CPU usage (%): 93.9892
Max. virtual memory (cumulated for all children) (Kb): 921700

Verifier Data

ERROR: no interpretation found !