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/miplib2003/normalized-mps-v2-13-7-van.opb
MD5SUMc873046761311ae6438733dc6285180e
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 29193312741
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 28349428224
Number of bits of the biggest number in a constraint 35
Biggest sum of numbers in a constraint 319999999936
Number of bits of the biggest sum of numbers39
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1281.38
Number of variables98496
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 constraint361

Trace number 5205

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        846740 kB
Buffers:          7552 kB
Cached:         152536 kB
SwapCached:        800 kB
Active:          87080 kB
Inactive:        75580 kB
HighTotal:      131008 kB
HighFree:         3808 kB
LowTotal:       903652 kB
LowFree:        842932 kB
SwapTotal:     2097892 kB
SwapFree:      2096492 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            19584 kB
Committed_AS:    64184 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 23:37:36 (client local time) WITH STATUS 0 IN 443.44 SECONDS
stats: 990 7 443.44 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/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1853851237 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/27426/statm): 107 3 90 68 0 39 0
[pid=27426] 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/wulflinc19/normalized-mps-v2-13-7-van.opb

[startup+10.0028 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 85893 0 0 0 778 183 0 0 25 0 1 0 1853851237 354463744 85633 4294967295 134512640 134736556 3221224560 3221223088 134573621 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/27426/statm): 86539 85633 1116 68 0 86471 0
[pid=27426] vsize: 346156
Current children cumulated CPU time (s) 9.61
Current children cumulated vsize (Kb) 346156

[startup+20.0036 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 157530 0 0 0 1602 333 0 0 25 0 1 0 1853851237 645877760 156694 4294967295 134512640 134736556 3221224560 3221223088 134573621 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/27426/statm): 157685 156694 1116 68 0 157617 0
[pid=27426] vsize: 630740
Current children cumulated CPU time (s) 19.35
Current children cumulated vsize (Kb) 630740

[startup+30.0034 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 162441 0 0 0 2584 347 0 0 25 0 1 0 1853851237 665858048 161605 4294967295 134512640 134736556 3221224560 3221223068 1077294272 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/27426/statm): 162563 161605 1116 68 0 162495 0
[pid=27426] vsize: 650252
Current children cumulated CPU time (s) 29.31
Current children cumulated vsize (Kb) 650252

[startup+40.0032 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 164211 0 0 0 3576 352 0 0 25 0 1 0 1853851237 673157120 163375 4294967295 134512640 134736556 3221224560 3221222804 1077360455 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/27426/statm): 164345 163375 1116 68 0 164277 0
[pid=27426] vsize: 657380
Current children cumulated CPU time (s) 39.28
Current children cumulated vsize (Kb) 657380

[startup+50.004 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 165954 0 0 0 4569 357 0 0 25 0 1 0 1853851237 680321024 165118 4294967295 134512640 134736556 3221224560 3221223136 134541160 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/27426/statm): 166094 165118 1116 68 0 166026 0
[pid=27426] vsize: 664376
Current children cumulated CPU time (s) 49.26
Current children cumulated vsize (Kb) 664376

[startup+60.0038 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 167593 0 0 0 5562 362 0 0 25 0 1 0 1853851237 687079424 166757 4294967295 134512640 134736556 3221224560 3221223324 1077334098 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/27426/statm): 167744 166757 1116 68 0 167676 0
[pid=27426] vsize: 670976
Current children cumulated CPU time (s) 59.24
Current children cumulated vsize (Kb) 670976

[startup+70.0046 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 169185 0 0 0 6556 367 0 0 25 0 1 0 1853851237 693567488 168349 4294967295 134512640 134736556 3221224560 3221223088 134572783 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/27426/statm): 169328 168349 1116 68 0 169260 0
[pid=27426] vsize: 677312
Current children cumulated CPU time (s) 69.23
Current children cumulated vsize (Kb) 677312

[startup+80.0054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 170784 0 0 0 7548 372 0 0 25 0 1 0 1853851237 700055552 169948 4294967295 134512640 134736556 3221224560 3221222852 1077314242 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27426/statm): 170912 169948 1116 68 0 170844 0
[pid=27426] vsize: 683648
Current children cumulated CPU time (s) 79.2
Current children cumulated vsize (Kb) 683648

[startup+90.0052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 172401 0 0 0 8540 377 0 0 25 0 1 0 1853851237 706678784 171565 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/27426/statm): 172529 171565 1116 68 0 172461 0
[pid=27426] vsize: 690116
Current children cumulated CPU time (s) 89.17
Current children cumulated vsize (Kb) 690116

[startup+100.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 174082 0 0 0 9533 383 0 0 25 0 1 0 1853851237 713572352 173246 4294967295 134512640 134736556 3221224560 3221223068 1077399552 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/27426/statm): 174212 173246 1116 68 0 174144 0
[pid=27426] vsize: 696848
Current children cumulated CPU time (s) 99.16
Current children cumulated vsize (Kb) 696848

[startup+110.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 175308 0 0 0 10526 388 0 0 25 0 1 0 1853851237 718573568 174472 4294967295 134512640 134736556 3221224560 3221221260 1077196706 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27426/statm): 175433 174472 1116 68 0 175365 0
[pid=27426] vsize: 701732
Current children cumulated CPU time (s) 109.14
Current children cumulated vsize (Kb) 701732

[startup+120.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 176544 0 0 0 11519 394 0 0 25 0 1 0 1853851237 723709952 175708 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27426/statm): 176687 175708 1116 68 0 176619 0
[pid=27426] vsize: 706748
Current children cumulated CPU time (s) 119.13
Current children cumulated vsize (Kb) 706748

[startup+130.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 177786 0 0 0 12511 400 0 0 25 0 1 0 1853851237 728711168 176950 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27426/statm): 177908 176950 1116 68 0 177840 0
[pid=27426] vsize: 711632
Current children cumulated CPU time (s) 129.11
Current children cumulated vsize (Kb) 711632

[startup+140.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 179747 0 0 0 13504 405 0 0 25 0 1 0 1853851237 736821248 178911 4294967295 134512640 134736556 3221224560 3221221260 1077196420 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27426/statm): 179888 178911 1116 68 0 179820 0
[pid=27426] vsize: 719552
Current children cumulated CPU time (s) 139.09
Current children cumulated vsize (Kb) 719552

[startup+150.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 182461 0 0 0 14489 415 0 0 25 0 1 0 1853851237 747905024 181625 4294967295 134512640 134736556 3221224560 3221222788 1077358908 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27426/statm): 182594 181625 1116 68 0 182526 0
[pid=27426] vsize: 730376
Current children cumulated CPU time (s) 149.04
Current children cumulated vsize (Kb) 730376

[startup+160.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 184929 0 0 0 15476 425 0 0 25 0 1 0 1853851237 758042624 184093 4294967295 134512640 134736556 3221224560 3221222684 1077256566 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27426/statm): 185069 184093 1116 68 0 185001 0
[pid=27426] vsize: 740276
Current children cumulated CPU time (s) 159.01
Current children cumulated vsize (Kb) 740276

[startup+170.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 187114 0 0 0 16464 434 0 0 25 0 1 0 1853851237 766963712 186278 4294967295 134512640 134736556 3221224560 3221223376 134568582 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27426/statm): 187247 186278 1116 68 0 187179 0
[pid=27426] vsize: 748988
Current children cumulated CPU time (s) 168.98
Current children cumulated vsize (Kb) 748988

[startup+180.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 189426 0 0 0 17448 445 0 0 25 0 1 0 1853851237 776425472 188590 4294967295 134512640 134736556 3221224560 3221223068 1077399566 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27426/statm): 189557 188590 1116 68 0 189489 0
[pid=27426] vsize: 758228
Current children cumulated CPU time (s) 178.93
Current children cumulated vsize (Kb) 758228

[startup+190.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 191754 0 0 0 18435 455 0 0 25 0 1 0 1853851237 786022400 190918 4294967295 134512640 134736556 3221224560 3221223332 1077374598 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27426/statm): 191900 190918 1116 68 0 191832 0
[pid=27426] vsize: 767600
Current children cumulated CPU time (s) 188.9
Current children cumulated vsize (Kb) 767600

[startup+200.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 193211 0 0 0 19426 461 0 0 25 0 1 0 1853851237 791969792 192375 4294967295 134512640 134736556 3221224560 3221223288 1077345449 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27426/statm): 193352 192375 1116 68 0 193284 0
[pid=27426] vsize: 773408
Current children cumulated CPU time (s) 198.87
Current children cumulated vsize (Kb) 773408

[startup+210.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 194683 0 0 0 20417 468 0 0 25 0 1 0 1853851237 798052352 193847 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27426/statm): 194837 193847 1116 68 0 194769 0
[pid=27426] vsize: 779348
Current children cumulated CPU time (s) 208.85
Current children cumulated vsize (Kb) 779348

[startup+220.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 196195 0 0 0 21408 474 0 0 25 0 1 0 1853851237 804134912 195359 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27426/statm): 196322 195359 1116 68 0 196254 0
[pid=27426] vsize: 785288
Current children cumulated CPU time (s) 218.82
Current children cumulated vsize (Kb) 785288

[startup+230.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 197687 0 0 0 22400 480 0 0 25 0 1 0 1853851237 810352640 196851 4294967295 134512640 134736556 3221224560 3221223088 134573010 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27426/statm): 197840 196851 1116 68 0 197772 0
[pid=27426] vsize: 791360
Current children cumulated CPU time (s) 228.8
Current children cumulated vsize (Kb) 791360

[startup+240.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 199078 0 0 0 23392 485 0 0 25 0 1 0 1853851237 816029696 198242 4294967295 134512640 134736556 3221224560 3221222444 1077246233 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27426/statm): 199226 198242 1116 68 0 199158 0
[pid=27426] vsize: 796904
Current children cumulated CPU time (s) 238.77
Current children cumulated vsize (Kb) 796904

[startup+250.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 200446 0 0 0 24384 490 0 0 25 0 1 0 1853851237 821571584 199610 4294967295 134512640 134736556 3221224560 3221223068 1077399585 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27426/statm): 200579 199610 1116 68 0 200511 0
[pid=27426] vsize: 802316
Current children cumulated CPU time (s) 248.74
Current children cumulated vsize (Kb) 802316

[startup+260.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 201790 0 0 0 25375 497 0 0 25 0 1 0 1853851237 827113472 200954 4294967295 134512640 134736556 3221224560 3221221260 1077196290 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27426/statm): 201932 200954 1116 68 0 201864 0
[pid=27426] vsize: 807728
Current children cumulated CPU time (s) 258.72
Current children cumulated vsize (Kb) 807728

[startup+270.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 203081 0 0 0 26366 504 0 0 25 0 1 0 1853851237 832385024 202245 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27426/statm): 203219 202245 1116 68 0 203151 0
[pid=27426] vsize: 812876
Current children cumulated CPU time (s) 268.7
Current children cumulated vsize (Kb) 812876

[startup+280.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 204390 0 0 0 27359 511 0 0 25 0 1 0 1853851237 837791744 203554 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27426/statm): 204539 203554 1116 68 0 204471 0
[pid=27426] vsize: 818156
Current children cumulated CPU time (s) 278.7
Current children cumulated vsize (Kb) 818156

[startup+290.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 205742 0 0 0 28351 517 0 0 25 0 1 0 1853851237 843333632 204906 4294967295 134512640 134736556 3221224560 3221223136 134540422 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27426/statm): 205892 204906 1116 68 0 205824 0
[pid=27426] vsize: 823568
Current children cumulated CPU time (s) 288.68
Current children cumulated vsize (Kb) 823568

[startup+300.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 207100 0 0 0 29344 521 0 0 25 0 1 0 1853851237 848875520 206264 4294967295 134512640 134736556 3221224560 3221221260 1077191361 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27426/statm): 207245 206264 1116 68 0 207177 0
[pid=27426] vsize: 828980
Current children cumulated CPU time (s) 298.65
Current children cumulated vsize (Kb) 828980

[startup+310.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 208510 0 0 0 30336 527 0 0 25 0 1 0 1853851237 854687744 207674 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27426/statm): 208664 207674 1116 68 0 208596 0
[pid=27426] vsize: 834656
Current children cumulated CPU time (s) 308.63
Current children cumulated vsize (Kb) 834656

[startup+320.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 209999 0 0 0 31327 533 0 0 25 0 1 0 1853851237 860770304 209163 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27426/statm): 210149 209163 1116 68 0 210081 0
[pid=27426] vsize: 840596
Current children cumulated CPU time (s) 318.6
Current children cumulated vsize (Kb) 840596

[startup+330.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 211495 0 0 0 32319 540 0 0 25 0 1 0 1853851237 866852864 210659 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27426/statm): 211634 210659 1116 68 0 211566 0
[pid=27426] vsize: 846536
Current children cumulated CPU time (s) 328.59
Current children cumulated vsize (Kb) 846536

[startup+340.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 212989 0 4 0 33307 545 0 0 25 0 1 0 1853851237 872935424 211939 4294967295 134512640 134736556 3221224560 3221223088 134573018 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/27426/statm): 213119 211939 1116 68 0 213051 0
[pid=27426] vsize: 852476
Current children cumulated CPU time (s) 338.52
Current children cumulated vsize (Kb) 852476

[startup+350.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 214095 0 4 0 34299 551 0 0 25 0 1 0 1853851237 877395968 212726 4294967295 134512640 134736556 3221224560 3221221260 1077191619 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27426/statm): 214208 212726 1116 68 0 214140 0
[pid=27426] vsize: 856832
Current children cumulated CPU time (s) 348.5
Current children cumulated vsize (Kb) 856832

[startup+360.019 s]
Raw data (loadavg): 1.00 1.00 1.00 3/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 215196 0 8 0 35288 556 0 0 25 0 1 0 1853851237 881856512 213433 4294967295 134512640 134736556 3221224560 3221222444 1077256566 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27426/statm): 215297 213420 1116 68 0 215229 0
[pid=27426] vsize: 861188
Current children cumulated CPU time (s) 358.44
Current children cumulated vsize (Kb) 861188

[startup+370.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 216542 0 8 0 36280 562 0 0 25 0 1 0 1853851237 887398400 214458 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27426/statm): 216650 214458 1116 68 0 216582 0
[pid=27426] vsize: 866600
Current children cumulated CPU time (s) 368.42
Current children cumulated vsize (Kb) 866600

[startup+380.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 217813 0 8 0 37272 567 0 0 25 0 1 0 1853851237 892669952 215480 4294967295 134512640 134736556 3221224560 3221223340 1077334001 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27426/statm): 217937 215480 1116 68 0 217869 0
[pid=27426] vsize: 871748
Current children cumulated CPU time (s) 378.39
Current children cumulated vsize (Kb) 871748

[startup+390.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 218920 0 8 0 38264 574 0 0 25 0 1 0 1853851237 897130496 216239 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27426/statm): 219026 216239 1116 68 0 218958 0
[pid=27426] vsize: 876104
Current children cumulated CPU time (s) 388.38
Current children cumulated vsize (Kb) 876104

[startup+400.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 220071 0 8 0 39254 581 0 0 25 0 1 0 1853851237 901861376 217130 4294967295 134512640 134736556 3221224560 3221222684 1077253201 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/27426/statm): 220181 217130 1116 68 0 220113 0
[pid=27426] vsize: 880724
Current children cumulated CPU time (s) 398.35
Current children cumulated vsize (Kb) 880724

[startup+410.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 221871 0 33 0 40224 589 0 0 19 0 1 0 1853851237 909025280 218354 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/27426/statm): 221930 218354 1116 68 0 221862 0
[pid=27426] vsize: 887720
Current children cumulated CPU time (s) 408.13
Current children cumulated vsize (Kb) 887720

[startup+420.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 223898 0 196 0 41016 598 0 0 18 0 1 0 1853851237 913891328 219378 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/27426/statm): 223118 219378 1116 68 0 223050 0
[pid=27426] vsize: 892472
Current children cumulated CPU time (s) 416.14
Current children cumulated vsize (Kb) 892472

[startup+430.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 226454 0 300 0 41809 610 0 0 23 0 1 0 1853851237 922001408 220346 4294967295 134512640 134736556 3221224560 3221221568 1077364960 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/27426/statm): 225098 220346 1116 68 0 225030 0
[pid=27426] vsize: 900392
Current children cumulated CPU time (s) 424.19
Current children cumulated vsize (Kb) 900392

[startup+440.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) R 27425 27426 5929 0 -1 0 228745 0 401 0 42551 623 0 0 20 0 1 0 1853851237 930652160 218380 4294967295 134512640 134736556 3221224560 3221222904 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/27426/statm): 227210 218380 1116 68 0 227142 0
[pid=27426] vsize: 908840
Current children cumulated CPU time (s) 431.74
Current children cumulated vsize (Kb) 908840

[startup+450.022 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) D 27425 27426 5929 0 -1 0 231319 0 518 0 43376 636 0 0 24 0 1 0 1853851237 940519424 220310 4294967295 134512640 134736556 3221224560 3221223200 134536134 0 0 5 16384 3222515881 0 0 17 0 0 0
Raw data (/proc/27426/statm): 229619 220310 1116 68 0 229551 0
[pid=27426] vsize: 918476
Current children cumulated CPU time (s) 440.12
Current children cumulated vsize (Kb) 918476



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+452.991 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 27426
Raw data (/proc/27426/stat): 27426 (bsolo) T 27425 27426 5929 0 -1 0 232125 0 522 0 43661 640 0 0 25 0 1 0 1853851237 943763456 220941 4294967295 134512640 134736556 3221224560 3221222828 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/27426/statm): 230411 220941 1116 68 0 230343 0
[pid=27426] vsize: 921644
Current children cumulated CPU time (s) 443.01
Current children cumulated vsize (Kb) 921644

Sending SIGTERM to -27426
Sleeping 2 seconds
Sending SIGKILL to -27426
One traced child (pid=27426) 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): 455.418
CPU time (s): 443.44
CPU user time (s): 436.615
CPU system time (s): 6.82496
CPU usage (%): 97.3697
Max. virtual memory (cumulated for all children) (Kb): 921644

Verifier Data

ERROR: no interpretation found !