Some explanations

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

General information on the benchmark

Namemps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-stair.opb
MD5SUMf2a6dc8d2697a7f5959c84e4079088c9
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 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 528959045369856
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 3702118998041541
Number of bits of the biggest sum of numbers52
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark204.283
Number of variables11454
Total number of constraints362
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 constraints362
Minimum length of a constraint13
Maximum length of a constraint810

Trace number 501

Launcher Data

LAUNCH ON wulflinc12 THE 2005-09-18 10:55:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=479 boxname=wulflinc12 idbench=479 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  f2a6dc8d2697a7f5959c84e4079088c9  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-stair.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-stair.opb
IDLAUNCH: 479
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        925268 kB
Buffers:         37888 kB
Cached:          32152 kB
SwapCached:        544 kB
Active:          55044 kB
Inactive:        27156 kB
HighTotal:      131008 kB
HighFree:        98896 kB
LowTotal:       903652 kB
LowFree:        826372 kB
SwapTotal:     2097136 kB
SwapFree:      2096072 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5884 kB
Slab:            21588 kB
Committed_AS:    64164 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 10:59:17 (client local time) WITH STATUS 20 IN 204.283 SECONDS
stats: 479 7 204.283 20

Solver Data

c INFO: OSL Context initialized.
c BIG Int formula...
c Initial problem consists of 11454 variables and 571 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 6.308
c After prepocess the problem consists of 9903 variables and 571 constraints.
c Initial Lower Bound: -1048575
c Restart #1 #Var: 9903 #Dec: 61793 LB: -1048575 @ 12.378
c Restart #2 #Var: 9903 #Dec: 191899 LB: -1048575 @ 24.911
c Restart #3 #Var: 9903 #Dec: 371363 LB: -1048575 @ 42.529
c Restart #4 #Var: 9903 #Dec: 533629 LB: -1048575 @ 59.049
c Restart #5 #Var: 9903 #Dec: 626376 LB: -1048575 @ 70.024
c Restart #6 #Var: 9903 #Dec: 736109 LB: -1048575 @ 83.011
c Restart #7 #Var: 9903 #Dec: 875621 LB: -1048575 @ 99.304
c Restart #8 #Var: 9903 #Dec: 1269848 LB: -1048575 @ 140.1
c Restart #9 #Var: 9903 #Dec: 1476528 LB: -1048575 @ 168.65
c Restart #10 #Var: 9902 #Dec: 1486283 LB: -1048575 @ 180.59
c Restart #11 #Var: 9902 #Dec: 1488491 LB: -1048575 @ 185.71
c Restart #12 #Var: 9902 #Dec: 1490898 LB: -1048575 @ 189.91
c Restart #13 #Var: 9902 #Dec: 1493504 LB: -1048575 @ 193.91
c Restart #14 #Var: 9902 #Dec: 1496314 LB: -1048575 @ 197.38
c Restart #15 #Var: 9899 #Dec: 1499318 LB: -1048575 @ 201.45
s UNSATISFIABLE
c Exit Code: 20
c Total time: 204.23 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/11482/stat): 11482 (bsolo) R 11481 11482 8263 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1782457174 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11482/statm): 107 3 90 68 0 39 0
[pid=11482] 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/wulflinc12/normalized-mps-v2-20-10-stair.opb

[startup+10.0036 s]
Raw data (loadavg): 0.95 0.97 0.91 1/56 11482
Raw data (/proc/11482/stat): 11482 (bsolo) T 11481 11482 8263 0 -1 0 9543 0 0 0 843 68 0 0 18 0 1 0 1782457174 42577920 9454 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11482/statm): 10395 9454 1116 68 0 10327 0
[pid=11482] vsize: 41580
Current children cumulated CPU time (s) 9.11
Current children cumulated vsize (Kb) 41580

[startup+20.0045 s]
Raw data (loadavg): 0.96 0.97 0.91 1/56 11482
Raw data (/proc/11482/stat): 11482 (bsolo) T 11481 11482 8263 0 -1 0 9662 0 0 0 1515 179 0 0 20 0 1 0 1782457174 42983424 9573 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11482/statm): 10494 9573 1116 68 0 10426 0
[pid=11482] vsize: 41976
Current children cumulated CPU time (s) 16.94
Current children cumulated vsize (Kb) 41976

[startup+30.0053 s]
Raw data (loadavg): 0.96 0.97 0.91 1/56 11482
Raw data (/proc/11482/stat): 11482 (bsolo) T 11481 11482 8263 0 -1 0 9792 0 0 0 2186 292 0 0 19 0 1 0 1782457174 43524096 9703 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11482/statm): 10626 9703 1116 68 0 10558 0
[pid=11482] vsize: 42504
Current children cumulated CPU time (s) 24.78
Current children cumulated vsize (Kb) 42504

[startup+40.0062 s]
Raw data (loadavg): 0.97 0.97 0.91 1/56 11482
Raw data (/proc/11482/stat): 11482 (bsolo) T 11481 11482 8263 0 -1 0 9913 0 0 0 2869 394 0 0 18 0 1 0 1782457174 44064768 9824 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11482/statm): 10758 9824 1116 68 0 10690 0
[pid=11482] vsize: 43032
Current children cumulated CPU time (s) 32.63
Current children cumulated vsize (Kb) 43032

[startup+50.007 s]
Raw data (loadavg): 1.05 0.99 0.92 1/56 11482
Raw data (/proc/11482/stat): 11482 (bsolo) T 11481 11482 8263 0 -1 0 10054 0 0 0 3546 504 0 0 19 0 1 0 1782457174 44605440 9965 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11482/statm): 10890 9965 1116 68 0 10822 0
[pid=11482] vsize: 43560
Current children cumulated CPU time (s) 40.5
Current children cumulated vsize (Kb) 43560

[startup+60.0079 s]
Raw data (loadavg): 1.04 0.99 0.92 1/56 11482
Raw data (/proc/11482/stat): 11482 (bsolo) T 11481 11482 8263 0 -1 0 10183 0 0 0 4224 612 0 0 19 0 1 0 1782457174 45146112 10094 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11482/statm): 11022 10094 1116 68 0 10954 0
[pid=11482] vsize: 44088
Current children cumulated CPU time (s) 48.36
Current children cumulated vsize (Kb) 44088

[startup+70.0087 s]
Raw data (loadavg): 1.12 1.00 0.92 1/56 11482
Raw data (/proc/11482/stat): 11482 (bsolo) T 11481 11482 8263 0 -1 0 10301 0 0 0 4903 722 0 0 17 0 1 0 1782457174 45686784 10212 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11482/statm): 11154 10212 1116 68 0 11086 0
[pid=11482] vsize: 44616
Current children cumulated CPU time (s) 56.25
Current children cumulated vsize (Kb) 44616

[startup+80.0086 s]
Raw data (loadavg): 1.10 1.00 0.92 2/56 11482
Raw data (/proc/11482/stat): 11482 (bsolo) R 11481 11482 8263 0 -1 0 10305 0 0 0 5631 814 0 0 20 0 1 0 1782457174 45686784 10216 4294967295 134512640 134736556 3221224560 3221223104 134540186 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11482/statm): 11154 10216 1116 68 0 11086 0
[pid=11482] vsize: 44616
Current children cumulated CPU time (s) 64.45
Current children cumulated vsize (Kb) 44616

[startup+90.0094 s]
Raw data (loadavg): 1.08 1.00 0.92 1/56 11482
Raw data (/proc/11482/stat): 11482 (bsolo) T 11481 11482 8263 0 -1 0 10307 0 0 0 6352 906 0 0 20 0 1 0 1782457174 45686784 10218 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11482/statm): 11154 10218 1116 68 0 11086 0
[pid=11482] vsize: 44616
Current children cumulated CPU time (s) 72.58
Current children cumulated vsize (Kb) 44616

[startup+100.01 s]
Raw data (loadavg): 1.07 1.00 0.92 2/56 11482
Raw data (/proc/11482/stat): 11482 (bsolo) R 11481 11482 8263 0 -1 0 10307 0 0 0 7073 999 0 0 19 0 1 0 1782457174 45686784 10218 4294967295 134512640 134736556 3221224560 3221223248 134528960 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11482/statm): 11154 10218 1116 68 0 11086 0
[pid=11482] vsize: 44616
Current children cumulated CPU time (s) 80.72
Current children cumulated vsize (Kb) 44616

[startup+110.011 s]
Raw data (loadavg): 1.06 1.00 0.92 2/56 11482
Raw data (/proc/11482/stat): 11482 (bsolo) R 11481 11482 8263 0 -1 0 10307 0 0 0 7801 1089 0 0 20 0 1 0 1782457174 45686784 10218 4294967295 134512640 134736556 3221224560 3221223268 134560283 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11482/statm): 11154 10218 1116 68 0 11086 0
[pid=11482] vsize: 44616
Current children cumulated CPU time (s) 88.9
Current children cumulated vsize (Kb) 44616

[startup+120.012 s]
Raw data (loadavg): 1.05 1.00 0.92 2/56 11482
Raw data (/proc/11482/stat): 11482 (bsolo) R 11481 11482 8263 0 -1 0 10307 0 0 0 8523 1183 0 0 20 0 1 0 1782457174 45686784 10218 4294967295 134512640 134736556 3221224560 3221223084 134540059 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11482/statm): 11154 10218 1116 68 0 11086 0
[pid=11482] vsize: 44616
Current children cumulated CPU time (s) 97.06
Current children cumulated vsize (Kb) 44616

[startup+130.012 s]
Raw data (loadavg): 1.04 1.00 0.92 1/56 11482
Raw data (/proc/11482/stat): 11482 (bsolo) T 11481 11482 8263 0 -1 0 10307 0 0 0 9221 1284 0 0 18 0 1 0 1782457174 45686784 10218 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11482/statm): 11154 10218 1116 68 0 11086 0
[pid=11482] vsize: 44616
Current children cumulated CPU time (s) 105.05
Current children cumulated vsize (Kb) 44616

[startup+140.013 s]
Raw data (loadavg): 1.03 1.00 0.92 2/56 11482
Raw data (/proc/11482/stat): 11482 (bsolo) R 11481 11482 8263 0 -1 0 10341 0 0 0 9913 1389 0 0 19 0 1 0 1782457174 45821952 10252 4294967295 134512640 134736556 3221224560 3221223280 134609059 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11482/statm): 11187 10252 1116 68 0 11119 0
[pid=11482] vsize: 44748
Current children cumulated CPU time (s) 113.02
Current children cumulated vsize (Kb) 44748

[startup+150.013 s]
Raw data (loadavg): 1.03 1.00 0.92 1/56 11482
Raw data (/proc/11482/stat): 11482 (bsolo) T 11481 11482 8263 0 -1 0 10433 0 0 0 10584 1499 0 0 19 0 1 0 1782457174 46227456 10344 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11482/statm): 11286 10344 1116 68 0 11218 0
[pid=11482] vsize: 45144
Current children cumulated CPU time (s) 120.83
Current children cumulated vsize (Kb) 45144

[startup+160.015 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 11482
Raw data (/proc/11482/stat): 11482 (bsolo) R 11481 11482 8263 0 -1 0 10545 0 0 0 11274 1602 0 0 18 0 1 0 1782457174 46632960 10456 4294967295 134512640 134736556 3221224560 3221223152 134540200 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11482/statm): 11385 10456 1116 68 0 11317 0
[pid=11482] vsize: 45540
Current children cumulated CPU time (s) 128.76
Current children cumulated vsize (Kb) 45540

[startup+170.016 s]
Raw data (loadavg): 1.02 1.00 0.92 1/56 11482
Raw data (/proc/11482/stat): 11482 (bsolo) T 11481 11482 8263 0 -1 0 10887 0 0 0 11972 1702 0 0 20 0 1 0 1782457174 48115712 10798 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11482/statm): 11747 10798 1116 68 0 11679 0
[pid=11482] vsize: 46988
Current children cumulated CPU time (s) 136.74
Current children cumulated vsize (Kb) 46988

[startup+180.016 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 11482
Raw data (/proc/11482/stat): 11482 (bsolo) R 11481 11482 8263 0 -1 0 11112 0 0 0 12679 1795 0 0 20 0 1 0 1782457174 48926720 11023 4294967295 134512640 134736556 3221224560 3221223280 134609101 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11482/statm): 11945 11023 1116 68 0 11877 0
[pid=11482] vsize: 47780
Current children cumulated CPU time (s) 144.74
Current children cumulated vsize (Kb) 47780

[startup+190.017 s]
Raw data (loadavg): 1.24 1.05 0.94 2/56 11482
Raw data (/proc/11482/stat): 11482 (bsolo) R 11481 11482 8263 0 -1 0 11229 0 0 0 13392 1892 0 0 19 0 1 0 1782457174 49467392 11140 4294967295 134512640 134736556 3221224560 3221223228 134615580 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11482/statm): 12077 11140 1116 68 0 12009 0
[pid=11482] vsize: 48308
Current children cumulated CPU time (s) 152.84
Current children cumulated vsize (Kb) 48308

[startup+200.018 s]
Raw data (loadavg): 1.20 1.05 0.94 1/56 11482
Raw data (/proc/11482/stat): 11482 (bsolo) T 11481 11482 8263 0 -1 0 11376 0 0 0 14119 1979 0 0 20 0 1 0 1782457174 50008064 11287 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11482/statm): 12209 11287 1116 68 0 12141 0
[pid=11482] vsize: 48836
Current children cumulated CPU time (s) 160.98
Current children cumulated vsize (Kb) 48836

[startup+210.019 s]
Raw data (loadavg): 1.17 1.04 0.94 2/56 11482
Raw data (/proc/11482/stat): 11482 (bsolo) R 11481 11482 8263 0 -1 0 11987 0 0 0 14966 2034 0 0 24 0 1 0 1782457174 52576256 11898 4294967295 134512640 134736556 3221224560 3221223072 134543193 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11482/statm): 12836 11898 1116 68 0 12768 0
[pid=11482] vsize: 51344
Current children cumulated CPU time (s) 170
Current children cumulated vsize (Kb) 51344

[startup+220.019 s]
Raw data (loadavg): 1.14 1.04 0.94 2/56 11482
Raw data (/proc/11482/stat): 11482 (bsolo) R 11481 11482 8263 0 -1 0 12831 0 0 0 15944 2045 0 0 25 0 1 0 1782457174 55955456 12742 4294967295 134512640 134736556 3221224560 3221222772 134717260 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11482/statm): 13661 12742 1116 68 0 13593 0
[pid=11482] vsize: 54644
Current children cumulated CPU time (s) 179.89
Current children cumulated vsize (Kb) 54644

[startup+230.02 s]
Raw data (loadavg): 1.12 1.04 0.94 2/56 11482
Raw data (/proc/11482/stat): 11482 (bsolo) R 11481 11482 8263 0 -1 0 15209 0 0 0 16911 2061 0 0 25 0 1 0 1782457174 65830912 15120 4294967295 134512640 134736556 3221224560 3221223100 134536384 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11482/statm): 16072 15120 1116 68 0 16004 0
[pid=11482] vsize: 64288
Current children cumulated CPU time (s) 189.72
Current children cumulated vsize (Kb) 64288

[startup+240.021 s]
Raw data (loadavg): 1.10 1.04 0.94 2/56 11482
Raw data (/proc/11482/stat): 11482 (bsolo) R 11481 11482 8263 0 -1 0 19071 0 0 0 17857 2087 0 0 25 0 1 0 1782457174 81690624 18981 4294967295 134512640 134736556 3221224560 3221223360 134602970 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11482/statm): 19944 18981 1116 68 0 19876 0
[pid=11482] vsize: 79776
Current children cumulated CPU time (s) 199.44
Current children cumulated vsize (Kb) 79776
One traced child (pid=11482) exited with status: 20
All traced children have exited ! Game is over.

Child status: 20
Real time (s): 244.966
CPU time (s): 204.283
CPU user time (s): 183.264
CPU system time (s): 21.0188
CPU usage (%): 83.3925
Max. virtual memory (cumulated for all children) (Kb): 79776

Verifier Data

ERROR: no interpretation found !