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

Namesubmitted/aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr.opb
MD5SUMba9cd165dfff9daff67f98334a7b589e
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
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 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 16
Number of bits of the biggest sum of numbers5
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.011997
Number of variables300
Total number of constraints50
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint15

Trace number 39

Launcher Data

LAUNCH ON wulflinc1 THE 2005-09-18 07:44:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2 boxname=wulflinc1 idbench=2 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  ba9cd165dfff9daff67f98334a7b589e  /oldhome/oroussel/tmp/wulflinc1/normalized-chnl10_15_pb.cnf.cr.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc1/normalized-chnl10_15_pb.cnf.cr.opb
IDLAUNCH: 2
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        911696 kB
Buffers:         36712 kB
Cached:          56152 kB
SwapCached:        908 kB
Active:          82504 kB
Inactive:        13848 kB
HighTotal:      131008 kB
HighFree:        78092 kB
LowTotal:       903652 kB
LowFree:        833604 kB
SwapTotal:     2097136 kB
SwapFree:      2095620 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7736 kB
Slab:            20864 kB
Committed_AS:    97148 kB
PageTables:        388 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 07:51:06 (client local time) WITH STATUS 20 IN 384.829 SECONDS
stats: 2 7 384.829 20

Solver Data

c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 300 variables and 50 constraints.
c Using non-optimization problem switches.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 0.065
c After prepocess the problem consists of 300 variables and 50 constraints.
c Restart #1 #Var: 300 #Dec: 336 LB: 0 @ 0.176
c Restart #2 #Var: 300 #Dec: 742 LB: 0 @ 0.442
c Restart #3 #Var: 300 #Dec: 1348 LB: 0 @ 0.998
c Restart #4 #Var: 300 #Dec: 2166 LB: 0 @ 2.024
c Restart #5 #Var: 300 #Dec: 3195 LB: 0 @ 3.816
c Restart #6 #Var: 300 #Dec: 4421 LB: 0 @ 6.224
c Restart #7 #Var: 300 #Dec: 5868 LB: 0 @ 9.734
c Restart #8 #Var: 300 #Dec: 7499 LB: 0 @ 15.492
c Restart #9 #Var: 300 #Dec: 9347 LB: 0 @ 22.919
c Restart #10 #Var: 300 #Dec: 11382 LB: 0 @ 34.088
c Restart #11 #Var: 300 #Dec: 13621 LB: 0 @ 45.317
c Restart #12 #Var: 300 #Dec: 16053 LB: 0 @ 60.557
c Restart #13 #Var: 300 #Dec: 18679 LB: 0 @ 74.194
c Restart #14 #Var: 300 #Dec: 21516 LB: 0 @ 92.734
c Restart #15 #Var: 300 #Dec: 24539 LB: 0 @ 116.26
c Restart #16 #Var: 299 #Dec: 27796 LB: 0 @ 159.28
c Restart #17 #Var: 298 #Dec: 31248 LB: 0 @ 206.53
c Restart #18 #Var: 295 #Dec: 34918 LB: 0 @ 278.55
s UNSATISFIABLE
c Exit Code: 20
c Total time: 384.79 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/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1724469905 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 107 3 90 68 0 39 0
[pid=18163] 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/wulflinc1/normalized-chnl10_15_pb.cnf.cr.opb

[startup+10.0025 s]
Raw data (loadavg): 0.92 0.74 0.50 2/60 18163
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 2649 0 0 0 952 21 0 0 25 0 1 0 1724469905 13897728 2560 4294967295 134512640 134736556 3221224560 3221223016 134554070 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 3393 2560 1116 68 0 3325 0
[pid=18163] vsize: 13572
Current children cumulated CPU time (s) 9.73
Current children cumulated vsize (Kb) 13572

[startup+20.0033 s]
Raw data (loadavg): 0.93 0.74 0.50 2/60 18163
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 3594 0 0 0 1933 30 0 0 25 0 1 0 1724469905 17838080 3505 4294967295 134512640 134736556 3221224560 3221223456 134592021 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/18163/statm): 4355 3505 1116 68 0 4287 0
[pid=18163] vsize: 17420
Current children cumulated CPU time (s) 19.63
Current children cumulated vsize (Kb) 17420

[startup+30.0041 s]
Raw data (loadavg): 0.94 0.75 0.51 2/60 18163
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 4268 0 0 0 2918 37 0 0 25 0 1 0 1724469905 20692992 4179 4294967295 134512640 134736556 3221224560 3221223296 134529331 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 5052 4179 1116 68 0 4984 0
[pid=18163] vsize: 20208
Current children cumulated CPU time (s) 29.55
Current children cumulated vsize (Kb) 20208

[startup+40.0049 s]
Raw data (loadavg): 0.95 0.76 0.51 2/60 18163
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 5054 0 0 0 3897 45 0 0 25 0 1 0 1724469905 23965696 4964 4294967295 134512640 134736556 3221224560 3221223288 134529467 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 5851 4964 1116 68 0 5783 0
[pid=18163] vsize: 23404
Current children cumulated CPU time (s) 39.42
Current children cumulated vsize (Kb) 23404

[startup+50.0056 s]
Raw data (loadavg): 0.96 0.77 0.52 2/60 18163
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 5814 0 0 0 4878 53 0 0 25 0 1 0 1724469905 27082752 5723 4294967295 134512640 134736556 3221224560 3221223248 134536549 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 6612 5723 1116 68 0 6544 0
[pid=18163] vsize: 26448
Current children cumulated CPU time (s) 49.31
Current children cumulated vsize (Kb) 26448

[startup+60.0054 s]
Raw data (loadavg): 0.96 0.77 0.52 2/60 18163
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 6249 0 0 0 5866 58 0 0 25 0 1 0 1724469905 28844032 6158 4294967295 134512640 134736556 3221224560 3221223120 134551017 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 7042 6158 1116 68 0 6974 0
[pid=18163] vsize: 28168
Current children cumulated CPU time (s) 59.24
Current children cumulated vsize (Kb) 28168

[startup+70.0062 s]
Raw data (loadavg): 0.97 0.78 0.52 2/60 18163
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 6987 0 0 0 6848 67 0 0 25 0 1 0 1724469905 32022528 6892 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/18163/statm): 7818 6892 1116 68 0 7750 0
[pid=18163] vsize: 31272
Current children cumulated CPU time (s) 69.15
Current children cumulated vsize (Kb) 31272

[startup+80.0069 s]
Raw data (loadavg): 0.97 0.79 0.53 2/60 18163
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 7534 0 0 0 7836 73 0 0 21 0 1 0 1724469905 34271232 7436 4294967295 134512640 134736556 3221224560 3221223136 134550726 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/18163/statm): 8367 7436 1116 68 0 8299 0
[pid=18163] vsize: 33468
Current children cumulated CPU time (s) 79.09
Current children cumulated vsize (Kb) 33468

[startup+90.0078 s]
Raw data (loadavg): 0.98 0.79 0.53 2/60 18163
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 8126 0 0 0 8820 80 0 0 25 0 1 0 1724469905 36704256 8024 4294967295 134512640 134736556 3221224560 3221223164 134537543 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 8961 8024 1116 68 0 8893 0
[pid=18163] vsize: 35844
Current children cumulated CPU time (s) 89
Current children cumulated vsize (Kb) 35844

[startup+100.009 s]
Raw data (loadavg): 0.98 0.80 0.54 2/60 18163
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 8510 0 0 0 9813 84 0 0 25 0 1 0 1724469905 38330368 8406 4294967295 134512640 134736556 3221224560 3221223024 134536153 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 9358 8406 1116 68 0 9290 0
[pid=18163] vsize: 37432
Current children cumulated CPU time (s) 98.97
Current children cumulated vsize (Kb) 37432

[startup+110.009 s]
Raw data (loadavg): 0.98 0.81 0.54 2/60 18163
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 9045 0 0 0 10798 90 0 0 25 0 1 0 1724469905 40525824 8940 4294967295 134512640 134736556 3221224560 3221223284 134529176 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 9894 8940 1116 68 0 9826 0
[pid=18163] vsize: 39576
Current children cumulated CPU time (s) 108.88
Current children cumulated vsize (Kb) 39576

[startup+120.01 s]
Raw data (loadavg): 0.98 0.81 0.55 2/60 18163
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 9446 0 0 0 11788 95 0 0 25 0 1 0 1724469905 42172416 9341 4294967295 134512640 134736556 3221224560 3221223152 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 10296 9341 1116 68 0 10228 0
[pid=18163] vsize: 41184
Current children cumulated CPU time (s) 118.83
Current children cumulated vsize (Kb) 41184

[startup+130.01 s]
Raw data (loadavg): 0.99 0.82 0.55 2/60 18164
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 9856 0 0 0 12778 100 0 0 25 0 1 0 1724469905 43868160 9749 4294967295 134512640 134736556 3221224560 3221223024 134536099 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 10710 9749 1116 68 0 10642 0
[pid=18163] vsize: 42840
Current children cumulated CPU time (s) 128.78
Current children cumulated vsize (Kb) 42840

[startup+140.011 s]
Raw data (loadavg): 0.99 0.82 0.56 2/60 18164
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 10131 0 0 0 13769 104 0 0 25 0 1 0 1724469905 45019136 10021 4294967295 134512640 134736556 3221224560 3221223168 134537373 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 10991 10021 1116 68 0 10923 0
[pid=18163] vsize: 43964
Current children cumulated CPU time (s) 138.73
Current children cumulated vsize (Kb) 43964

[startup+150.011 s]
Raw data (loadavg): 0.99 0.83 0.56 2/60 18164
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 10446 0 0 0 14762 107 0 0 25 0 1 0 1724469905 46338048 10331 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 11313 10331 1116 68 0 11245 0
[pid=18163] vsize: 45252
Current children cumulated CPU time (s) 148.69
Current children cumulated vsize (Kb) 45252

[startup+160.011 s]
Raw data (loadavg): 0.99 0.83 0.56 2/60 18164
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 10616 0 0 0 15758 108 0 0 25 0 1 0 1724469905 47194112 10499 4294967295 134512640 134736556 3221224560 3221223160 134554109 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 11522 10499 1116 68 0 11454 0
[pid=18163] vsize: 46088
Current children cumulated CPU time (s) 158.66
Current children cumulated vsize (Kb) 46088

[startup+170.012 s]
Raw data (loadavg): 0.99 0.84 0.57 2/60 18164
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 10918 0 0 0 16749 113 0 0 25 0 1 0 1724469905 48443392 10799 4294967295 134512640 134736556 3221224560 3221223296 134529265 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 11827 10799 1116 68 0 11759 0
[pid=18163] vsize: 47308
Current children cumulated CPU time (s) 168.62
Current children cumulated vsize (Kb) 47308

[startup+180.012 s]
Raw data (loadavg): 0.99 0.84 0.57 2/60 18164
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 11211 0 0 0 17742 117 0 0 25 0 1 0 1724469905 49713152 11088 4294967295 134512640 134736556 3221224560 3221223120 134550935 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 12137 11088 1116 68 0 12069 0
[pid=18163] vsize: 48548
Current children cumulated CPU time (s) 178.59
Current children cumulated vsize (Kb) 48548

[startup+190.013 s]
Raw data (loadavg): 0.99 0.85 0.58 2/60 18164
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 11426 0 0 0 18736 119 0 0 25 0 1 0 1724469905 50524160 11303 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 12335 11303 1116 68 0 12267 0
[pid=18163] vsize: 49340
Current children cumulated CPU time (s) 188.55
Current children cumulated vsize (Kb) 49340

[startup+200.013 s]
Raw data (loadavg): 0.99 0.85 0.58 2/60 18164
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 11575 0 0 0 19733 121 0 0 25 0 1 0 1724469905 51245056 11452 4294967295 134512640 134736556 3221224560 3221223120 134551088 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 12511 11452 1116 68 0 12443 0
[pid=18163] vsize: 50044
Current children cumulated CPU time (s) 198.54
Current children cumulated vsize (Kb) 50044

[startup+210.013 s]
Raw data (loadavg): 0.99 0.86 0.58 2/60 18164
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 11821 0 0 0 20726 124 0 0 25 0 1 0 1724469905 52256768 11694 4294967295 134512640 134736556 3221224560 3221223024 134536136 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 12758 11694 1116 68 0 12690 0
[pid=18163] vsize: 51032
Current children cumulated CPU time (s) 208.5
Current children cumulated vsize (Kb) 51032

[startup+220.014 s]
Raw data (loadavg): 0.99 0.86 0.59 2/60 18164
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 12128 0 0 0 21718 128 0 0 25 0 1 0 1724469905 53579776 11998 4294967295 134512640 134736556 3221224560 3221223296 134529424 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 13081 11998 1116 68 0 13013 0
[pid=18163] vsize: 52324
Current children cumulated CPU time (s) 218.46
Current children cumulated vsize (Kb) 52324

[startup+230.014 s]
Raw data (loadavg): 0.99 0.86 0.59 2/60 18164
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 12295 0 0 0 22714 130 0 0 25 0 1 0 1724469905 54280192 12165 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 13252 12165 1116 68 0 13184 0
[pid=18163] vsize: 53008
Current children cumulated CPU time (s) 228.44
Current children cumulated vsize (Kb) 53008

[startup+240.014 s]
Raw data (loadavg): 0.99 0.87 0.60 2/60 18164
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 12479 0 0 0 23710 132 0 0 25 0 1 0 1724469905 55128064 12348 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 13459 12348 1116 68 0 13391 0
[pid=18163] vsize: 53836
Current children cumulated CPU time (s) 238.42
Current children cumulated vsize (Kb) 53836

[startup+250.015 s]
Raw data (loadavg): 0.99 0.87 0.60 2/60 18165
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 12670 0 0 0 24705 135 0 0 25 0 1 0 1724469905 55840768 12539 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 13633 12539 1116 68 0 13565 0
[pid=18163] vsize: 54532
Current children cumulated CPU time (s) 248.4
Current children cumulated vsize (Kb) 54532

[startup+260.016 s]
Raw data (loadavg): 0.99 0.88 0.60 2/60 18165
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 12868 0 0 0 25699 137 0 0 25 0 1 0 1724469905 56582144 12733 4294967295 134512640 134736556 3221224560 3221223120 134551076 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 13814 12733 1116 68 0 13746 0
[pid=18163] vsize: 55256
Current children cumulated CPU time (s) 258.36
Current children cumulated vsize (Kb) 55256

[startup+270.017 s]
Raw data (loadavg): 0.99 0.88 0.61 2/60 18165
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 13008 0 0 0 26696 139 0 0 25 0 1 0 1724469905 57298944 12873 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 13989 12873 1116 68 0 13921 0
[pid=18163] vsize: 55956
Current children cumulated CPU time (s) 268.35
Current children cumulated vsize (Kb) 55956

[startup+280.017 s]
Raw data (loadavg): 0.99 0.88 0.61 2/60 18165
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 13129 0 0 0 27692 141 0 0 25 0 1 0 1724469905 57839616 12990 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 14121 12990 1116 68 0 14053 0
[pid=18163] vsize: 56484
Current children cumulated CPU time (s) 278.33
Current children cumulated vsize (Kb) 56484

[startup+290.017 s]
Raw data (loadavg): 0.99 0.89 0.62 2/60 18165
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 13313 0 0 0 28688 142 0 0 25 0 1 0 1724469905 58658816 13172 4294967295 134512640 134736556 3221224560 3221223104 134551210 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 14321 13172 1116 68 0 14253 0
[pid=18163] vsize: 57284
Current children cumulated CPU time (s) 288.3
Current children cumulated vsize (Kb) 57284

[startup+300.018 s]
Raw data (loadavg): 0.99 0.89 0.62 2/60 18165
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 13433 0 0 0 29685 144 0 0 25 0 1 0 1724469905 59260928 13291 4294967295 134512640 134736556 3221224560 3221223276 134554112 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 14468 13291 1116 68 0 14400 0
[pid=18163] vsize: 57872
Current children cumulated CPU time (s) 298.29
Current children cumulated vsize (Kb) 57872

[startup+310.018 s]
Raw data (loadavg): 0.99 0.89 0.62 2/60 18165
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 13552 0 0 0 30682 145 0 0 25 0 1 0 1724469905 59838464 13410 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 14609 13410 1116 68 0 14541 0
[pid=18163] vsize: 58436
Current children cumulated CPU time (s) 308.27
Current children cumulated vsize (Kb) 58436

[startup+320.019 s]
Raw data (loadavg): 0.99 0.90 0.63 2/60 18165
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 13708 0 0 0 31677 148 0 0 25 0 1 0 1724469905 60391424 13566 4294967295 134512640 134736556 3221224560 3221223272 134554070 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 14744 13566 1116 68 0 14676 0
[pid=18163] vsize: 58976
Current children cumulated CPU time (s) 318.25
Current children cumulated vsize (Kb) 58976

[startup+330.019 s]
Raw data (loadavg): 0.99 0.90 0.63 2/60 18165
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 13843 0 0 0 32673 150 0 0 25 0 1 0 1724469905 60932096 13701 4294967295 134512640 134736556 3221224560 3221223184 134524547 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 14876 13701 1116 68 0 14808 0
[pid=18163] vsize: 59504
Current children cumulated CPU time (s) 328.23
Current children cumulated vsize (Kb) 59504

[startup+340.02 s]
Raw data (loadavg): 0.99 0.90 0.63 2/60 18165
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 13960 0 0 0 33669 152 0 0 25 0 1 0 1724469905 61382656 13816 4294967295 134512640 134736556 3221224560 3221223120 134551094 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 14986 13816 1116 68 0 14918 0
[pid=18163] vsize: 59944
Current children cumulated CPU time (s) 338.21
Current children cumulated vsize (Kb) 59944

[startup+350.021 s]
Raw data (loadavg): 0.99 0.90 0.64 2/60 18165
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 14138 0 0 0 34665 154 0 0 25 0 1 0 1724469905 62148608 13994 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 15173 13994 1116 68 0 15105 0
[pid=18163] vsize: 60692
Current children cumulated CPU time (s) 348.19
Current children cumulated vsize (Kb) 60692

[startup+360.022 s]
Raw data (loadavg): 0.99 0.91 0.64 2/60 18165
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 14312 0 0 0 35661 156 0 0 25 0 1 0 1724469905 62980096 14165 4294967295 134512640 134736556 3221224560 3221223296 134529346 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 15376 14165 1116 68 0 15308 0
[pid=18163] vsize: 61504
Current children cumulated CPU time (s) 358.17
Current children cumulated vsize (Kb) 61504

[startup+370.023 s]
Raw data (loadavg): 0.99 0.91 0.64 2/60 18165
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 14456 0 0 0 36658 157 0 0 25 0 1 0 1724469905 63664128 14303 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 15543 14303 1116 68 0 15475 0
[pid=18163] vsize: 62172
Current children cumulated CPU time (s) 368.15
Current children cumulated vsize (Kb) 62172

[startup+380.022 s]
Raw data (loadavg): 0.99 0.91 0.65 2/60 18165
Raw data (/proc/18163/stat): 18163 (bsolo) R 18162 18163 17733 0 -1 0 14582 0 0 0 37655 158 0 0 25 0 1 0 1724469905 64159744 14426 4294967295 134512640 134736556 3221224560 3221223120 134551150 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18163/statm): 15664 14426 1116 68 0 15596 0
[pid=18163] vsize: 62656
Current children cumulated CPU time (s) 378.13
Current children cumulated vsize (Kb) 62656
One traced child (pid=18163) exited with status: 20
All traced children have exited ! Game is over.

Child status: 20
Real time (s): 386.717
CPU time (s): 384.829
CPU user time (s): 383.211
CPU system time (s): 1.61875
CPU usage (%): 99.5119
Max. virtual memory (cumulated for all children) (Kb): 62656

Verifier Data

ERROR: no interpretation found !