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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-maros-r7.opb
MD5SUM652a81faea87c0443f84aaa4223a3702
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 125440
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 6576662400
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 4020224000000
Number of bits of the biggest number in a constraint 42
Biggest sum of numbers in a constraint 8483418475850
Number of bits of the biggest sum of numbers43
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2.18067
Number of variables188160
Total number of constraints3136
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 constraints3136
Minimum length of a constraint100
Maximum length of a constraint480

Trace number 5048

Launcher Data

LAUNCH ON wulflinc2 THE 2005-09-19 22:20:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=827 boxname=wulflinc2 idbench=827 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  652a81faea87c0443f84aaa4223a3702  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-maros-r7.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-maros-r7.opb
IDLAUNCH: 827
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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	: 2
cpu MHz		: 451.191
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:        817860 kB
Buffers:         40360 kB
Cached:         149272 kB
SwapCached:       1040 kB
Active:         102900 kB
Inactive:        89432 kB
HighTotal:      131008 kB
HighFree:         3808 kB
LowTotal:       903652 kB
LowFree:        814052 kB
SwapTotal:     2097136 kB
SwapFree:      2095568 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5700 kB
Slab:            18804 kB
Committed_AS:    72360 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 22:28:15 (client local time) WITH STATUS 20 IN 453.163 SECONDS
stats: 827 7 453.163 20

Solver Data

c INFO: OSL Context initialized.
c BIG Int formula...
c Initial problem consists of 188160 variables and 6211 constraints.
s UNSATISFIABLE
c Exit Code: 20
c Total time: 452.757 s

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/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1795235866 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 107 3 90 68 0 39 0
[pid=30730] 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/wulflinc2/normalized-mps-v2-13-7-maros-r7.opb

[startup+10.003 s]
Raw data (loadavg): 0.95 1.00 1.02 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 67143 0 0 0 830 137 0 0 25 0 1 0 1795235866 277389312 66739 4294967295 134512640 134736556 3221224560 3221223104 134573621 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 67722 66742 1116 68 0 67654 0
[pid=30730] vsize: 270888
Current children cumulated CPU time (s) 9.67
Current children cumulated vsize (Kb) 270888

[startup+20.0037 s]
Raw data (loadavg): 0.95 1.00 1.02 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 94682 0 0 0 1766 191 0 0 25 0 1 0 1795235866 386539520 93037 4294967295 134512640 134736556 3221224560 3221221260 1077191297 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 94370 93037 1116 68 0 94302 0
[pid=30730] vsize: 377480
Current children cumulated CPU time (s) 19.57
Current children cumulated vsize (Kb) 377480

[startup+30.0034 s]
Raw data (loadavg): 0.96 1.00 1.02 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 98419 0 0 0 2754 200 0 0 25 0 1 0 1795235866 401838080 96774 4294967295 134512640 134736556 3221224560 3221223260 134544554 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 98105 96774 1116 68 0 98037 0
[pid=30730] vsize: 392420
Current children cumulated CPU time (s) 29.54
Current children cumulated vsize (Kb) 392420

[startup+40.0031 s]
Raw data (loadavg): 0.97 1.00 1.02 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 101411 0 0 0 3745 208 0 0 25 0 1 0 1795235866 414072832 99766 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30730/statm): 101092 99766 1116 68 0 101024 0
[pid=30730] vsize: 404368
Current children cumulated CPU time (s) 39.53
Current children cumulated vsize (Kb) 404368

[startup+50.0038 s]
Raw data (loadavg): 0.97 1.00 1.02 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 104341 0 0 0 4735 215 0 0 25 0 1 0 1795235866 425959424 102696 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 103994 102696 1116 68 0 103926 0
[pid=30730] vsize: 415976
Current children cumulated CPU time (s) 49.5
Current children cumulated vsize (Kb) 415976

[startup+60.0035 s]
Raw data (loadavg): 0.97 1.00 1.01 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 107068 0 0 0 5727 221 0 0 25 0 1 0 1795235866 437174272 105423 4294967295 134512640 134736556 3221224560 3221222668 1076880083 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 106732 105423 1116 68 0 106664 0
[pid=30730] vsize: 426928
Current children cumulated CPU time (s) 59.48
Current children cumulated vsize (Kb) 426928

[startup+70.0042 s]
Raw data (loadavg): 0.98 1.00 1.01 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 109720 0 0 0 6720 227 0 0 25 0 1 0 1795235866 448008192 108075 4294967295 134512640 134736556 3221224560 3221223072 134574353 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 109377 108075 1116 68 0 109309 0
[pid=30730] vsize: 437508
Current children cumulated CPU time (s) 69.47
Current children cumulated vsize (Kb) 437508

[startup+80.0049 s]
Raw data (loadavg): 0.98 1.00 1.01 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 112178 0 0 0 7714 233 0 0 25 0 1 0 1795235866 458072064 110533 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 111834 110533 1116 68 0 111766 0
[pid=30730] vsize: 447336
Current children cumulated CPU time (s) 79.47
Current children cumulated vsize (Kb) 447336

[startup+90.0046 s]
Raw data (loadavg): 0.98 1.00 1.01 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 114573 0 0 0 8707 238 0 0 25 0 1 0 1795235866 467849216 112928 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30730/statm): 114221 112928 1116 68 0 114153 0
[pid=30730] vsize: 456884
Current children cumulated CPU time (s) 89.45
Current children cumulated vsize (Kb) 456884

[startup+100.005 s]
Raw data (loadavg): 0.99 1.00 1.01 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 116814 0 0 0 9701 243 0 0 25 0 1 0 1795235866 476999680 115169 4294967295 134512640 134736556 3221224560 3221222828 1076999581 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 116455 115169 1116 68 0 116387 0
[pid=30730] vsize: 465820
Current children cumulated CPU time (s) 99.44
Current children cumulated vsize (Kb) 465820

[startup+110.006 s]
Raw data (loadavg): 0.99 1.00 1.01 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 118718 0 0 0 10694 248 0 0 25 0 1 0 1795235866 484769792 117073 4294967295 134512640 134736556 3221224560 3221222684 1077246126 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 118352 117073 1116 68 0 118284 0
[pid=30730] vsize: 473408
Current children cumulated CPU time (s) 109.42
Current children cumulated vsize (Kb) 473408

[startup+120.007 s]
Raw data (loadavg): 0.99 1.00 1.01 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 120664 0 0 0 11688 254 0 0 25 0 1 0 1795235866 492646400 119019 4294967295 134512640 134736556 3221224560 3221223328 1076611952 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 120275 119019 1116 68 0 120207 0
[pid=30730] vsize: 481100
Current children cumulated CPU time (s) 119.42
Current children cumulated vsize (Kb) 481100

[startup+130.006 s]
Raw data (loadavg): 0.99 1.00 1.01 1/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) T 30729 30730 6872 0 -1 0 122487 0 0 0 12681 258 0 0 25 0 1 0 1795235866 500088832 120842 4294967295 134512640 134736556 3221224560 3221222780 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30730/statm): 122092 120842 1116 68 0 122024 0
[pid=30730] vsize: 488368
Current children cumulated CPU time (s) 129.39
Current children cumulated vsize (Kb) 488368

[startup+140.007 s]
Raw data (loadavg): 0.99 1.00 1.01 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 124456 0 0 0 13674 264 0 0 25 0 1 0 1795235866 508162048 122811 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 124063 122811 1116 68 0 123995 0
[pid=30730] vsize: 496252
Current children cumulated CPU time (s) 139.38
Current children cumulated vsize (Kb) 496252

[startup+150.008 s]
Raw data (loadavg): 0.99 1.00 1.01 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 126278 0 0 0 14666 269 0 0 25 0 1 0 1795235866 515629056 124633 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 125886 124633 1116 68 0 125818 0
[pid=30730] vsize: 503544
Current children cumulated CPU time (s) 149.35
Current children cumulated vsize (Kb) 503544

[startup+160.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 128338 0 0 0 15661 273 0 0 25 0 1 0 1795235866 524070912 126693 4294967295 134512640 134736556 3221224560 3221221340 1077359153 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 127947 126693 1116 68 0 127879 0
[pid=30730] vsize: 511788
Current children cumulated CPU time (s) 159.34
Current children cumulated vsize (Kb) 511788

[startup+170.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 130423 0 0 0 16655 279 0 0 25 0 1 0 1795235866 532525056 128778 4294967295 134512640 134736556 3221224560 3221223088 134573621 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 130011 128778 1116 68 0 129943 0
[pid=30730] vsize: 520044
Current children cumulated CPU time (s) 169.34
Current children cumulated vsize (Kb) 520044

[startup+180.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 132586 0 0 0 17648 284 0 0 25 0 1 0 1795235866 541396992 130941 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 132177 130941 1116 68 0 132109 0
[pid=30730] vsize: 528708
Current children cumulated CPU time (s) 179.32
Current children cumulated vsize (Kb) 528708

[startup+190.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 135036 0 0 0 18640 291 0 0 25 0 1 0 1795235866 551403520 133391 4294967295 134512640 134736556 3221224560 3221222796 1077360225 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 134620 133391 1116 68 0 134552 0
[pid=30730] vsize: 538480
Current children cumulated CPU time (s) 189.31
Current children cumulated vsize (Kb) 538480

[startup+200.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 137392 0 0 0 19634 296 0 0 25 0 1 0 1795235866 561020928 135747 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 136968 135747 1116 68 0 136900 0
[pid=30730] vsize: 547872
Current children cumulated CPU time (s) 199.3
Current children cumulated vsize (Kb) 547872

[startup+210.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 139638 0 0 0 20627 302 0 0 25 0 1 0 1795235866 570232832 137993 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30730/statm): 139217 137993 1116 68 0 139149 0
[pid=30730] vsize: 556868
Current children cumulated CPU time (s) 209.29
Current children cumulated vsize (Kb) 556868

[startup+220.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 141736 0 0 0 21618 308 0 0 25 0 1 0 1795235866 578854912 140091 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30730/statm): 141322 140091 1116 68 0 141254 0
[pid=30730] vsize: 565288
Current children cumulated CPU time (s) 219.26
Current children cumulated vsize (Kb) 565288

[startup+230.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 143790 0 0 0 22611 314 0 0 25 0 1 0 1795235866 587214848 142145 4294967295 134512640 134736556 3221224560 3221223144 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 143363 142145 1116 68 0 143295 0
[pid=30730] vsize: 573452
Current children cumulated CPU time (s) 229.25
Current children cumulated vsize (Kb) 573452

[startup+240.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 145680 0 0 0 23604 319 0 0 25 0 1 0 1795235866 594960384 144035 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 145254 144035 1116 68 0 145186 0
[pid=30730] vsize: 581016
Current children cumulated CPU time (s) 239.23
Current children cumulated vsize (Kb) 581016

[startup+250.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 147596 0 0 0 24598 324 0 0 25 0 1 0 1795235866 602746880 145951 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 147155 145951 1116 68 0 147087 0
[pid=30730] vsize: 588620
Current children cumulated CPU time (s) 249.22
Current children cumulated vsize (Kb) 588620

[startup+260.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 149390 0 0 0 25594 328 0 0 25 0 1 0 1795235866 610066432 147745 4294967295 134512640 134736556 3221224560 3221221404 1077254186 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 148942 147745 1116 68 0 148874 0
[pid=30730] vsize: 595768
Current children cumulated CPU time (s) 259.22
Current children cumulated vsize (Kb) 595768

[startup+270.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 151194 0 0 0 26588 332 0 0 25 0 1 0 1795235866 617422848 149549 4294967295 134512640 134736556 3221224560 3221223324 1076531764 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 150738 149549 1116 68 0 150670 0
[pid=30730] vsize: 602952
Current children cumulated CPU time (s) 269.2
Current children cumulated vsize (Kb) 602952

[startup+280.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 152911 0 0 0 27583 336 0 0 25 0 1 0 1795235866 624447488 151266 4294967295 134512640 134736556 3221224560 3221221260 1077196009 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 152453 151266 1116 68 0 152385 0
[pid=30730] vsize: 609812
Current children cumulated CPU time (s) 279.19
Current children cumulated vsize (Kb) 609812

[startup+290.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 154638 0 0 0 28579 339 0 0 25 0 1 0 1795235866 631504896 152993 4294967295 134512640 134736556 3221224560 3221222444 1077253177 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 154176 152993 1116 68 0 154108 0
[pid=30730] vsize: 616704
Current children cumulated CPU time (s) 289.18
Current children cumulated vsize (Kb) 616704

[startup+300.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 156314 0 0 0 29573 344 0 0 25 0 1 0 1795235866 638390272 154669 4294967295 134512640 134736556 3221224560 3221223088 134572908 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 155857 154669 1116 68 0 155789 0
[pid=30730] vsize: 623428
Current children cumulated CPU time (s) 299.17
Current children cumulated vsize (Kb) 623428

[startup+310.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 158004 0 0 0 30568 348 0 0 25 0 1 0 1795235866 645320704 156359 4294967295 134512640 134736556 3221224560 3221223144 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 157549 156359 1116 68 0 157481 0
[pid=30730] vsize: 630196
Current children cumulated CPU time (s) 309.16
Current children cumulated vsize (Kb) 630196

[startup+320.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 159652 0 0 0 31563 353 0 0 25 0 1 0 1795235866 652042240 158007 4294967295 134512640 134736556 3221224560 3221221260 1077197713 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 159190 158007 1116 68 0 159122 0
[pid=30730] vsize: 636760
Current children cumulated CPU time (s) 319.16
Current children cumulated vsize (Kb) 636760

[startup+330.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 161241 0 0 0 32557 357 0 0 25 0 1 0 1795235866 658481152 159596 4294967295 134512640 134736556 3221224560 3221223068 1077399588 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30730/statm): 160762 159596 1116 68 0 160694 0
[pid=30730] vsize: 643048
Current children cumulated CPU time (s) 329.14
Current children cumulated vsize (Kb) 643048

[startup+340.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 162971 0 0 0 33550 363 0 0 25 0 1 0 1795235866 665554944 161326 4294967295 134512640 134736556 3221224560 3221223308 134518288 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 162489 161326 1116 68 0 162421 0
[pid=30730] vsize: 649956
Current children cumulated CPU time (s) 339.13
Current children cumulated vsize (Kb) 649956

[startup+350.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 164611 0 0 0 34546 366 0 0 25 0 1 0 1795235866 672292864 162966 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 164134 162966 1116 68 0 164066 0
[pid=30730] vsize: 656536
Current children cumulated CPU time (s) 349.12
Current children cumulated vsize (Kb) 656536

[startup+360.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 166306 0 0 0 35540 371 0 0 25 0 1 0 1795235866 679219200 164661 4294967295 134512640 134736556 3221224560 3221223136 134541320 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 165825 164661 1116 68 0 165757 0
[pid=30730] vsize: 663300
Current children cumulated CPU time (s) 359.11
Current children cumulated vsize (Kb) 663300

[startup+370.013 s]
Raw data (loadavg): 1.07 1.02 1.01 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 167825 0 0 0 36535 375 0 0 25 0 1 0 1795235866 685457408 166180 4294967295 134512640 134736556 3221224560 3221222444 1077253201 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 167348 166180 1116 68 0 167280 0
[pid=30730] vsize: 669392
Current children cumulated CPU time (s) 369.1
Current children cumulated vsize (Kb) 669392

[startup+380.014 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 168815 0 0 0 37530 378 0 0 25 0 1 0 1795235866 689520640 167170 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 168340 167170 1116 68 0 168272 0
[pid=30730] vsize: 673360
Current children cumulated CPU time (s) 379.08
Current children cumulated vsize (Kb) 673360

[startup+390.014 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 169909 0 0 0 38527 381 0 0 25 0 1 0 1795235866 694013952 168264 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 169437 168264 1116 68 0 169369 0
[pid=30730] vsize: 677748
Current children cumulated CPU time (s) 389.08
Current children cumulated vsize (Kb) 677748

[startup+400.013 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 171438 0 0 0 39522 384 0 0 25 0 1 0 1795235866 700149760 169793 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 170935 169793 1116 68 0 170867 0
[pid=30730] vsize: 683740
Current children cumulated CPU time (s) 399.06
Current children cumulated vsize (Kb) 683740

[startup+410.013 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 175847 0 0 0 40508 395 0 0 25 0 1 0 1795235866 718258176 174202 4294967295 134512640 134736556 3221224560 3221221324 1077091057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 175356 174202 1116 68 0 175288 0
[pid=30730] vsize: 701424
Current children cumulated CPU time (s) 409.03
Current children cumulated vsize (Kb) 701424

[startup+420.014 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 181927 0 0 0 41489 410 0 0 25 0 1 0 1795235866 743088128 180282 4294967295 134512640 134736556 3221224560 3221221404 1077253647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 181418 180282 1116 68 0 181350 0
[pid=30730] vsize: 725672
Current children cumulated CPU time (s) 418.99
Current children cumulated vsize (Kb) 725672

[startup+430.013 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 187684 0 0 0 42470 426 0 0 25 0 1 0 1795235866 766672896 186039 4294967295 134512640 134736556 3221224560 3221222428 1076880029 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 187176 186039 1116 68 0 187108 0
[pid=30730] vsize: 748704
Current children cumulated CPU time (s) 428.96
Current children cumulated vsize (Kb) 748704

[startup+440.013 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 191149 0 0 0 43457 436 0 0 25 0 1 0 1795235866 780865536 189504 4294967295 134512640 134736556 3221224560 3221221260 1077197737 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 190641 189504 1116 68 0 190573 0
[pid=30730] vsize: 762564
Current children cumulated CPU time (s) 438.93
Current children cumulated vsize (Kb) 762564

[startup+450.014 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 30730
Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 193911 0 0 0 44446 444 0 0 25 0 1 0 1795235866 792084480 192266 4294967295 134512640 134736556 3221224560 3221223304 134560228 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30730/statm): 193380 192266 1116 68 0 193312 0
[pid=30730] vsize: 773520
Current children cumulated CPU time (s) 448.9
Current children cumulated vsize (Kb) 773520
One traced child (pid=30730) exited with status: 20
All traced children have exited ! Game is over.

Child status: 20
Real time (s): 454.31
CPU time (s): 453.163
CPU user time (s): 447.863
CPU system time (s): 5.30019
CPU usage (%): 99.7474
Max. virtual memory (cumulated for all children) (Kb): 773520

Verifier Data

ERROR: no interpretation found !