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/miplib2003/normalized-mps-v2-20-10-van.opb
MD5SUM786f5a2dc2f55d8aea2bd35c440c54ff
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 29268441542
Optimality of the best value was proved NO
Number of terms in the objective function 192
Biggest coefficient in the objective function 2427002644
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 319999999936
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 226795425792
Number of bits of the biggest number in a constraint 38
Biggest sum of numbers in a constraint 973128929893
Number of bits of the biggest sum of numbers40
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1272.55
Number of variables135360
Total number of constraints39811
Number of constraints which are clauses128
Number of constraints which are cardinality constraints (but not clauses)195
Number of constraints which are nor clauses,nor cardinality constraints39488
Minimum length of a constraint1
Maximum length of a constraint496

Trace number 629

Launcher Data

LAUNCH ON wulflinc17 THE 2005-09-18 11:59:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=606 boxname=wulflinc17 idbench=606 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  786f5a2dc2f55d8aea2bd35c440c54ff  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-van.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-van.opb
IDLAUNCH: 606
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        835804 kB
Buffers:         33688 kB
Cached:         135228 kB
SwapCached:        608 kB
Active:         151164 kB
Inactive:        20280 kB
HighTotal:      131008 kB
HighFree:         3780 kB
LowTotal:       903652 kB
LowFree:        832024 kB
SwapTotal:     2097892 kB
SwapFree:      2096684 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5768 kB
Slab:            21572 kB
Committed_AS:    64184 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 12:06:06 (client local time) WITH STATUS 0 IN 378.429 SECONDS
stats: 606 7 378.429 0

Solver Data

c INFO: OSL Context initialized.
c BIG Int formula...
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/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1841108526 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22632/statm): 107 3 90 68 0 39 0
[pid=22632] 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/wulflinc17/normalized-mps-v2-20-10-van.opb

[startup+10.0035 s]
Raw data (loadavg): 1.13 1.02 1.00 1/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) T 22631 22632 19316 0 -1 0 76172 0 0 0 801 165 0 0 25 0 1 0 1841108526 313049088 75580 4294967295 134512640 134736556 3221224560 3221222780 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/22632/statm): 76428 75580 1116 68 0 76360 0
[pid=22632] vsize: 305712
Current children cumulated CPU time (s) 9.66
Current children cumulated vsize (Kb) 305712

[startup+20.0041 s]
Raw data (loadavg): 1.11 1.02 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 124299 0 0 0 1686 261 0 0 25 0 1 0 1841108526 509530112 123455 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22632/statm): 124397 123455 1116 68 0 124329 0
[pid=22632] vsize: 497588
Current children cumulated CPU time (s) 19.47
Current children cumulated vsize (Kb) 497588

[startup+30.0037 s]
Raw data (loadavg): 1.09 1.02 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 166326 0 0 0 2576 352 0 0 25 0 1 0 1841108526 678469632 164319 4294967295 134512640 134736556 3221224560 3221223376 134568003 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22632/statm): 165642 164319 1116 68 0 165574 0
[pid=22632] vsize: 662568
Current children cumulated CPU time (s) 29.28
Current children cumulated vsize (Kb) 662568

[startup+40.0043 s]
Raw data (loadavg): 1.08 1.02 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 168536 0 0 0 3565 361 0 0 25 0 1 0 1841108526 687525888 166529 4294967295 134512640 134736556 3221224560 3221223304 134524885 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22632/statm): 167853 166529 1116 68 0 167785 0
[pid=22632] vsize: 671412
Current children cumulated CPU time (s) 39.26
Current children cumulated vsize (Kb) 671412

[startup+50.0049 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 170249 0 0 0 4556 367 0 0 25 0 1 0 1841108526 694554624 168242 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22632/statm): 169569 168242 1116 68 0 169501 0
[pid=22632] vsize: 678276
Current children cumulated CPU time (s) 49.23
Current children cumulated vsize (Kb) 678276

[startup+60.0055 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 171977 0 0 0 5546 374 0 0 25 0 1 0 1841108526 701583360 169970 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 171285 169970 1116 68 0 171217 0
[pid=22632] vsize: 685140
Current children cumulated CPU time (s) 59.2
Current children cumulated vsize (Kb) 685140

[startup+70.0051 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 173674 0 0 0 6540 379 0 0 25 0 1 0 1841108526 708612096 171667 4294967295 134512640 134736556 3221224560 3221223068 1077399575 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 173001 171667 1116 68 0 172933 0
[pid=22632] vsize: 692004
Current children cumulated CPU time (s) 69.19
Current children cumulated vsize (Kb) 692004

[startup+80.0047 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 175261 0 0 0 7533 384 0 0 25 0 1 0 1841108526 715100160 173254 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 174585 173254 1116 68 0 174517 0
[pid=22632] vsize: 698340
Current children cumulated CPU time (s) 79.17
Current children cumulated vsize (Kb) 698340

[startup+90.0053 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 176870 0 0 0 8525 390 0 0 25 0 1 0 1841108526 721723392 174863 4294967295 134512640 134736556 3221224560 3221223328 134575378 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 176202 174863 1116 68 0 176134 0
[pid=22632] vsize: 704808
Current children cumulated CPU time (s) 89.15
Current children cumulated vsize (Kb) 704808

[startup+100.005 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 178445 0 0 0 9518 395 0 0 25 0 1 0 1841108526 728076288 176438 4294967295 134512640 134736556 3221224560 3221223088 134573013 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 177753 176438 1116 68 0 177685 0
[pid=22632] vsize: 711012
Current children cumulated CPU time (s) 99.13
Current children cumulated vsize (Kb) 711012

[startup+110.006 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 179989 0 0 0 10511 401 0 0 25 0 1 0 1841108526 734429184 177982 4294967295 134512640 134736556 3221224560 3221222852 1077314191 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 179304 177982 1116 68 0 179236 0
[pid=22632] vsize: 717216
Current children cumulated CPU time (s) 109.12
Current children cumulated vsize (Kb) 717216

[startup+120.006 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 181603 0 0 0 11502 408 0 0 25 0 1 0 1841108526 741052416 179596 4294967295 134512640 134736556 3221224560 3221223068 1077294272 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 180921 179596 1116 68 0 180853 0
[pid=22632] vsize: 723684
Current children cumulated CPU time (s) 119.1
Current children cumulated vsize (Kb) 723684

[startup+130.006 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 183235 0 0 0 12494 413 0 0 25 0 1 0 1841108526 747810816 181228 4294967295 134512640 134736556 3221224560 3221223144 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 182571 181228 1116 68 0 182503 0
[pid=22632] vsize: 730284
Current children cumulated CPU time (s) 129.07
Current children cumulated vsize (Kb) 730284

[startup+140.005 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 184737 0 0 0 13486 418 0 0 25 0 1 0 1841108526 753893376 182730 4294967295 134512640 134736556 3221224560 3221223088 134573010 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 184056 182730 1116 68 0 183988 0
[pid=22632] vsize: 736224
Current children cumulated CPU time (s) 139.04
Current children cumulated vsize (Kb) 736224

[startup+150.005 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 186088 0 0 0 14477 425 0 0 25 0 1 0 1841108526 759435264 184081 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 185409 184081 1116 68 0 185341 0
[pid=22632] vsize: 741636
Current children cumulated CPU time (s) 149.02
Current children cumulated vsize (Kb) 741636

[startup+160.006 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 187423 0 0 0 15469 431 0 0 25 0 1 0 1841108526 764977152 185416 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 186762 185416 1116 68 0 186694 0
[pid=22632] vsize: 747048
Current children cumulated CPU time (s) 159
Current children cumulated vsize (Kb) 747048

[startup+170.005 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 188704 0 0 0 16463 435 0 0 25 0 1 0 1841108526 770113536 186697 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 188016 186697 1116 68 0 187948 0
[pid=22632] vsize: 752064
Current children cumulated CPU time (s) 168.98
Current children cumulated vsize (Kb) 752064

[startup+180.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 190161 0 0 0 17456 440 0 0 25 0 1 0 1841108526 776060928 188154 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 189468 188154 1116 68 0 189400 0
[pid=22632] vsize: 757872
Current children cumulated CPU time (s) 178.96
Current children cumulated vsize (Kb) 757872

[startup+190.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 192428 0 0 0 18445 448 0 0 25 0 1 0 1841108526 785387520 190421 4294967295 134512640 134736556 3221224560 3221223068 1077049373 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 191745 190421 1116 68 0 191677 0
[pid=22632] vsize: 766980
Current children cumulated CPU time (s) 188.93
Current children cumulated vsize (Kb) 766980

[startup+200.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 195296 0 0 0 19431 458 0 0 25 0 1 0 1841108526 797147136 193289 4294967295 134512640 134736556 3221224560 3221223144 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 194616 193289 1116 68 0 194548 0
[pid=22632] vsize: 778464
Current children cumulated CPU time (s) 198.89
Current children cumulated vsize (Kb) 778464

[startup+210.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 198357 0 0 0 20417 467 0 0 25 0 1 0 1841108526 809717760 196350 4294967295 134512640 134736556 3221224560 3221221260 1077196174 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 197685 196350 1116 68 0 197617 0
[pid=22632] vsize: 790740
Current children cumulated CPU time (s) 208.84
Current children cumulated vsize (Kb) 790740

[startup+220.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 200849 0 0 0 21406 476 0 0 25 0 1 0 1841108526 819855360 198842 4294967295 134512640 134736556 3221224560 3221223088 134573018 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 200160 198842 1116 68 0 200092 0
[pid=22632] vsize: 800640
Current children cumulated CPU time (s) 218.82
Current children cumulated vsize (Kb) 800640

[startup+230.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 203253 0 0 0 22397 483 0 0 25 0 1 0 1841108526 829722624 201246 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 202569 201246 1116 68 0 202501 0
[pid=22632] vsize: 810276
Current children cumulated CPU time (s) 228.8
Current children cumulated vsize (Kb) 810276

[startup+240.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) T 22631 22632 19316 0 -1 0 205683 0 0 0 23384 492 0 0 25 0 1 0 1841108526 839725056 203676 4294967295 134512640 134736556 3221224560 3221223048 1077757598 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22632/statm): 205011 203676 1116 68 0 204943 0
[pid=22632] vsize: 820044
Current children cumulated CPU time (s) 238.76
Current children cumulated vsize (Kb) 820044

[startup+250.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 208425 0 0 0 24369 502 0 0 25 0 1 0 1841108526 850944000 206418 4294967295 134512640 134736556 3221224560 3221221260 1077191364 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 207750 206419 1116 68 0 207682 0
[pid=22632] vsize: 831000
Current children cumulated CPU time (s) 248.71
Current children cumulated vsize (Kb) 831000

[startup+260.007 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) T 22631 22632 19316 0 -1 0 211105 0 0 0 25357 511 0 0 25 0 1 0 1841108526 861892608 209098 4294967295 134512640 134736556 3221224560 3221223096 1077757598 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22632/statm): 210423 209098 1116 68 0 210355 0
[pid=22632] vsize: 841692
Current children cumulated CPU time (s) 258.68
Current children cumulated vsize (Kb) 841692

[startup+270.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 212860 0 0 0 26347 518 0 0 25 0 1 0 1841108526 869056512 210757 4294967295 134512640 134736556 3221224560 3221223068 134517552 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 212172 210757 1116 68 0 212104 0
[pid=22632] vsize: 848688
Current children cumulated CPU time (s) 268.65
Current children cumulated vsize (Kb) 848688

[startup+280.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 214604 0 0 0 27337 526 0 0 25 0 1 0 1841108526 876220416 212309 4294967295 134512640 134736556 3221224560 3221221644 1077253659 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 213921 212309 1116 68 0 213853 0
[pid=22632] vsize: 855684
Current children cumulated CPU time (s) 278.63
Current children cumulated vsize (Kb) 855684

[startup+290.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 216318 0 1 0 28326 533 0 0 25 0 1 0 1841108526 883249152 213485 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 215637 213485 1116 68 0 215569 0
[pid=22632] vsize: 862548
Current children cumulated CPU time (s) 288.59
Current children cumulated vsize (Kb) 862548

[startup+300.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 218080 0 1 0 29315 541 0 0 25 0 1 0 1841108526 890548224 215050 4294967295 134512640 134736556 3221224560 3221223308 1077049379 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 217419 215050 1116 68 0 217351 0
[pid=22632] vsize: 869676
Current children cumulated CPU time (s) 298.56
Current children cumulated vsize (Kb) 869676

[startup+310.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 219905 0 2 0 30302 549 0 0 25 0 1 0 1841108526 897982464 216315 4294967295 134512640 134736556 3221224560 3221223432 1076647541 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 219234 216315 1116 68 0 219166 0
[pid=22632] vsize: 876936
Current children cumulated CPU time (s) 308.51
Current children cumulated vsize (Kb) 876936

[startup+320.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 221586 0 3 0 31291 557 0 0 25 0 1 0 1841108526 904876032 217452 4294967295 134512640 134736556 3221224560 3221223068 1077399575 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 220917 217452 1116 68 0 220849 0
[pid=22632] vsize: 883668
Current children cumulated CPU time (s) 318.48
Current children cumulated vsize (Kb) 883668

[startup+330.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 223269 0 5 0 32278 565 0 0 25 0 1 0 1841108526 911769600 218752 4294967295 134512640 134736556 3221224560 3221223068 134572821 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22632/statm): 222600 218752 1116 68 0 222532 0
[pid=22632] vsize: 890400
Current children cumulated CPU time (s) 328.43
Current children cumulated vsize (Kb) 890400

[startup+340.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 224911 0 9 0 33260 574 0 0 25 0 1 0 1841108526 918392832 219665 4294967295 134512640 134736556 3221224560 3221223200 134536136 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22632/statm): 224217 219665 1116 68 0 224149 0
[pid=22632] vsize: 896868
Current children cumulated CPU time (s) 338.34
Current children cumulated vsize (Kb) 896868

[startup+350.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 226532 0 14 0 34246 580 0 0 25 0 1 0 1841108526 925016064 220788 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 225834 220788 1116 68 0 225766 0
[pid=22632] vsize: 903336
Current children cumulated CPU time (s) 348.26
Current children cumulated vsize (Kb) 903336

[startup+360.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 228153 0 24 0 35226 587 0 0 25 0 1 0 1841108526 931504128 221409 4294967295 134512640 134736556 3221224560 3221223376 134568788 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 227418 221409 1116 68 0 227350 0
[pid=22632] vsize: 909672
Current children cumulated CPU time (s) 358.13
Current children cumulated vsize (Kb) 909672

[startup+370.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 229688 0 71 0 36176 592 0 0 24 0 1 0 1841108526 937181184 218023 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22632/statm): 228804 218023 1116 68 0 228736 0
[pid=22632] vsize: 915216
Current children cumulated CPU time (s) 367.68
Current children cumulated vsize (Kb) 915216

[startup+380.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) R 22631 22632 19316 0 -1 0 231211 0 105 0 37117 599 0 0 25 0 1 0 1841108526 943263744 219386 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 230289 219386 1116 68 0 230221 0
[pid=22632] vsize: 921156
Current children cumulated CPU time (s) 377.16
Current children cumulated vsize (Kb) 921156



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+380.832 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 22632
Raw data (/proc/22632/stat): 22632 (bsolo) T 22631 22632 19316 0 -1 0 231340 0 105 0 37199 600 0 0 25 0 1 0 1841108526 943804416 219515 4294967295 134512640 134736556 3221224560 3221222828 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22632/statm): 230421 219515 1116 68 0 230353 0
[pid=22632] vsize: 921684
Current children cumulated CPU time (s) 377.99
Current children cumulated vsize (Kb) 921684

Sending SIGTERM to -22632
Sleeping 2 seconds
Sending SIGKILL to -22632
One traced child (pid=22632) 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): 383.266
CPU time (s): 378.429
CPU user time (s): 371.998
CPU system time (s): 6.43102
CPU usage (%): 98.738
Max. virtual memory (cumulated for all children) (Kb): 921684

Verifier Data

ERROR: no interpretation found !