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/manquinho/logic-synthesis/normalized-9sym.b.opb
MD5SUM1457dc2646bff5e87c0f4b32dfb926ba
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of terms in the objective function 310
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 310
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 310
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark0.734888
Number of variables309
Total number of constraints976
Number of constraints which are clauses963
Number of constraints which are cardinality constraints (but not clauses)13
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint87

Trace number 68

Launcher Data

LAUNCH ON wulflinc30 THE 2005-09-18 08:00:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=59 boxname=wulflinc30 idbench=59 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  1457dc2646bff5e87c0f4b32dfb926ba  /oldhome/oroussel/tmp/wulflinc30/normalized-9sym.b.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc30/normalized-9sym.b.opb
IDLAUNCH: 59
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        945260 kB
Buffers:         36336 kB
Cached:          23056 kB
SwapCached:        788 kB
Active:          52020 kB
Inactive:        10052 kB
HighTotal:      131008 kB
HighFree:       107184 kB
LowTotal:       903652 kB
LowFree:        838076 kB
SwapTotal:     2097892 kB
SwapFree:      2096636 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5732 kB
Slab:            21848 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 08:06:14 (client local time) WITH STATUS 30 IN 332.867 SECONDS
stats: 59 0 332.867 30

Solver Data

c INFO: OSL Context initialized.
c Initial problem consists of 310 variables and 963 constraints.
c	preprocess terminated. Elapsed time: 1.759
c After prepocess the problem consists of 291 variables and 947 constraints.
c Initial Lower Bound: 0
c NEW SOLUTION FOUND: 9 @ 1.925 @ #Dec. 6
c NEW SOLUTION FOUND: 8 @ 1.997 @ #Dec. 19
c Restart #1 #Var: 291 #Dec: 217 LB: 0 @ 3.83
c NEW SOLUTION FOUND: 7 @ 5.263 @ #Dec. 338
c NEW SOLUTION FOUND: 6 @ 5.274 @ #Dec. 352
c Restart #2 #Var: 291 #Dec: 763 LB: 0 @ 11.681
c Restart #3 #Var: 291 #Dec: 1466 LB: 0 @ 37.704
c NEW SOLUTION FOUND: 5 @ 41.984 @ #Dec. 1827
c Restart #4 #Var: 291 #Dec: 2806 LB: 0 @ 58.423
c Restart #5 #Var: 291 #Dec: 4089 LB: 0 @ 88.812
c Restart #6 #Var: 291 #Dec: 5606 LB: 0 @ 134.59
c Restart #7 #Var: 291 #Dec: 7531 LB: 0 @ 227.9
c CHANGE to LPR mode... 	UB: 5	MIS: 4	LPR: 5 (0.844)	Diff: 0.8
c Restart #0 #Var: 291 #Dec: 9392 LB: 0 @ 331.42
s OPTIMUM FOUND
v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 
c Cost: 5
c Exit Code: 30
c Total time: 332.85 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/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1839636805 438272 3 4294967295 134512640 134736556 3221224576 3221224576 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5679/statm): 107 3 90 68 0 39 0
[pid=5679] 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/wulflinc30/normalized-9sym.b.opb

[startup+10.003 s]
Raw data (loadavg): 0.85 0.93 0.73 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 1682 0 0 0 982 9 0 0 25 0 1 0 1839636805 9969664 1593 4294967295 134512640 134736556 3221224576 3221223152 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5679/statm): 2434 1593 1116 68 0 2366 0
[pid=5679] vsize: 9736
Current children cumulated CPU time (s) 9.91
Current children cumulated vsize (Kb) 9736

[startup+20.0038 s]
Raw data (loadavg): 0.88 0.93 0.73 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 1896 0 0 0 1978 10 0 0 25 0 1 0 1839636805 10780672 1807 4294967295 134512640 134736556 3221224576 3221223152 134649769 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5679/statm): 2632 1807 1116 68 0 2564 0
[pid=5679] vsize: 10528
Current children cumulated CPU time (s) 19.88
Current children cumulated vsize (Kb) 10528

[startup+30.0046 s]
Raw data (loadavg): 0.89 0.93 0.73 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 2080 0 0 0 2975 11 0 0 25 0 1 0 1839636805 11591680 1991 4294967295 134512640 134736556 3221224576 3221223316 134644731 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5679/statm): 2830 1991 1116 68 0 2762 0
[pid=5679] vsize: 11320
Current children cumulated CPU time (s) 29.86
Current children cumulated vsize (Kb) 11320

[startup+40.0044 s]
Raw data (loadavg): 0.91 0.93 0.74 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 2280 0 0 0 3973 13 0 0 25 0 1 0 1839636805 12468224 2191 4294967295 134512640 134736556 3221224576 3221223112 134544465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5679/statm): 3044 2191 1116 68 0 2976 0
[pid=5679] vsize: 12176
Current children cumulated CPU time (s) 39.86
Current children cumulated vsize (Kb) 12176

[startup+50.0051 s]
Raw data (loadavg): 0.92 0.94 0.74 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 2771 0 0 0 4967 15 0 0 25 0 1 0 1839636805 14503936 2681 4294967295 134512640 134736556 3221224576 3221223204 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5679/statm): 3541 2681 1116 68 0 3473 0
[pid=5679] vsize: 14164
Current children cumulated CPU time (s) 49.82
Current children cumulated vsize (Kb) 14164

[startup+60.005 s]
Raw data (loadavg): 0.93 0.94 0.74 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 3026 0 0 0 5963 18 0 0 25 0 1 0 1839636805 15454208 2936 4294967295 134512640 134736556 3221224576 3221223168 134544658 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5679/statm): 3773 2936 1116 68 0 3705 0
[pid=5679] vsize: 15092
Current children cumulated CPU time (s) 59.81
Current children cumulated vsize (Kb) 15092

[startup+70.0047 s]
Raw data (loadavg): 0.94 0.94 0.74 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 3173 0 0 0 6960 20 0 0 25 0 1 0 1839636805 16142336 3083 4294967295 134512640 134736556 3221224576 3221223344 134644515 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5679/statm): 3941 3083 1116 68 0 3873 0
[pid=5679] vsize: 15764
Current children cumulated CPU time (s) 69.8
Current children cumulated vsize (Kb) 15764

[startup+80.0055 s]
Raw data (loadavg): 0.95 0.94 0.74 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 3394 0 0 0 7956 22 0 0 25 0 1 0 1839636805 17092608 3304 4294967295 134512640 134736556 3221224576 3221223136 134649883 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5679/statm): 4173 3304 1116 68 0 4105 0
[pid=5679] vsize: 16692
Current children cumulated CPU time (s) 79.78
Current children cumulated vsize (Kb) 16692

[startup+90.0053 s]
Raw data (loadavg): 0.96 0.94 0.75 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 3577 0 0 0 8954 23 0 0 25 0 1 0 1839636805 17788928 3487 4294967295 134512640 134736556 3221224576 3221223240 134560225 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5679/statm): 4343 3487 1116 68 0 4275 0
[pid=5679] vsize: 17372
Current children cumulated CPU time (s) 89.77
Current children cumulated vsize (Kb) 17372

[startup+100.006 s]
Raw data (loadavg): 0.96 0.94 0.75 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 3796 0 0 0 9950 26 0 0 25 0 1 0 1839636805 18665472 3706 4294967295 134512640 134736556 3221224576 3221223248 134645230 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5679/statm): 4557 3706 1116 68 0 4489 0
[pid=5679] vsize: 18228
Current children cumulated CPU time (s) 99.76
Current children cumulated vsize (Kb) 18228

[startup+110.007 s]
Raw data (loadavg): 0.97 0.94 0.75 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 3954 0 0 0 10948 27 0 0 25 0 1 0 1839636805 19341312 3864 4294967295 134512640 134736556 3221224576 3221223304 134543268 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5679/statm): 4722 3864 1116 68 0 4654 0
[pid=5679] vsize: 18888
Current children cumulated CPU time (s) 109.75
Current children cumulated vsize (Kb) 18888

[startup+120.007 s]
Raw data (loadavg): 0.97 0.95 0.75 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 4059 0 0 0 11946 28 0 0 25 0 1 0 1839636805 19746816 3969 4294967295 134512640 134736556 3221224576 3221223152 134649773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5679/statm): 4821 3969 1116 68 0 4753 0
[pid=5679] vsize: 19284
Current children cumulated CPU time (s) 119.74
Current children cumulated vsize (Kb) 19284

[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.75 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 4208 0 0 0 12943 30 0 0 25 0 1 0 1839636805 20455424 4116 4294967295 134512640 134736556 3221224576 3221223332 134644678 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5679/statm): 4994 4116 1116 68 0 4926 0
[pid=5679] vsize: 19976
Current children cumulated CPU time (s) 129.73
Current children cumulated vsize (Kb) 19976

[startup+140.008 s]
Raw data (loadavg): 0.98 0.95 0.76 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 4427 0 0 0 13940 32 0 0 25 0 1 0 1839636805 21274624 4333 4294967295 134512640 134736556 3221224576 3221223152 134649773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5679/statm): 5194 4333 1116 68 0 5126 0
[pid=5679] vsize: 20776
Current children cumulated CPU time (s) 139.72
Current children cumulated vsize (Kb) 20776

[startup+150.009 s]
Raw data (loadavg): 0.98 0.95 0.76 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 4582 0 0 0 14936 34 0 0 25 0 1 0 1839636805 21954560 4486 4294967295 134512640 134736556 3221224576 3221223344 134644770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5679/statm): 5360 4486 1116 68 0 5292 0
[pid=5679] vsize: 21440
Current children cumulated CPU time (s) 149.7
Current children cumulated vsize (Kb) 21440

[startup+160.009 s]
Raw data (loadavg): 0.98 0.95 0.76 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 4689 0 0 0 15934 34 0 0 25 0 1 0 1839636805 22360064 4593 4294967295 134512640 134736556 3221224576 3221223152 134649809 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5679/statm): 5459 4593 1116 68 0 5391 0
[pid=5679] vsize: 21836
Current children cumulated CPU time (s) 159.68
Current children cumulated vsize (Kb) 21836

[startup+170.009 s]
Raw data (loadavg): 0.99 0.95 0.76 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 4809 0 0 0 16932 36 0 0 25 0 1 0 1839636805 22900736 4713 4294967295 134512640 134736556 3221224576 3221223152 134649907 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5679/statm): 5591 4713 1116 68 0 5523 0
[pid=5679] vsize: 22364
Current children cumulated CPU time (s) 169.68
Current children cumulated vsize (Kb) 22364

[startup+180.009 s]
Raw data (loadavg): 0.99 0.95 0.76 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 4940 0 0 0 17931 36 0 0 25 0 1 0 1839636805 23445504 4844 4294967295 134512640 134736556 3221224576 3221223216 134529139 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5679/statm): 5724 4844 1116 68 0 5656 0
[pid=5679] vsize: 22896
Current children cumulated CPU time (s) 179.67
Current children cumulated vsize (Kb) 22896

[startup+190.009 s]
Raw data (loadavg): 0.99 0.95 0.77 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 5012 0 0 0 18930 37 0 0 25 0 1 0 1839636805 23715840 4916 4294967295 134512640 134736556 3221224576 3221223152 134649769 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5679/statm): 5790 4916 1116 68 0 5722 0
[pid=5679] vsize: 23160
Current children cumulated CPU time (s) 189.67
Current children cumulated vsize (Kb) 23160

[startup+200.01 s]
Raw data (loadavg): 0.99 0.95 0.77 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 5091 0 0 0 19928 38 0 0 25 0 1 0 1839636805 23986176 4995 4294967295 134512640 134736556 3221224576 3221223128 134560235 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5679/statm): 5856 4995 1116 68 0 5788 0
[pid=5679] vsize: 23424
Current children cumulated CPU time (s) 199.66
Current children cumulated vsize (Kb) 23424

[startup+210.011 s]
Raw data (loadavg): 0.99 0.95 0.77 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 5157 0 0 0 20928 39 0 0 25 0 1 0 1839636805 24256512 5061 4294967295 134512640 134736556 3221224576 3221223212 134544444 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5679/statm): 5922 5061 1116 68 0 5854 0
[pid=5679] vsize: 23688
Current children cumulated CPU time (s) 209.67
Current children cumulated vsize (Kb) 23688

[startup+220.01 s]
Raw data (loadavg): 0.99 0.96 0.77 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 5187 0 0 0 21926 39 0 0 25 0 1 0 1839636805 24391680 5091 4294967295 134512640 134736556 3221224576 3221223240 134544067 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5679/statm): 5955 5091 1116 68 0 5887 0
[pid=5679] vsize: 23820
Current children cumulated CPU time (s) 219.65
Current children cumulated vsize (Kb) 23820

[startup+230.011 s]
Raw data (loadavg): 0.99 0.96 0.77 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 5267 0 0 0 22925 40 0 0 25 0 1 0 1839636805 24801280 5171 4294967295 134512640 134736556 3221224576 3221223320 134560233 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5679/statm): 6055 5171 1116 68 0 5987 0
[pid=5679] vsize: 24220
Current children cumulated CPU time (s) 229.65
Current children cumulated vsize (Kb) 24220

[startup+240.012 s]
Raw data (loadavg): 0.99 0.96 0.78 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 5326 0 0 0 23924 41 0 0 25 0 1 0 1839636805 25075712 5230 4294967295 134512640 134736556 3221224576 3221223344 134644672 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5679/statm): 6122 5230 1116 68 0 6054 0
[pid=5679] vsize: 24488
Current children cumulated CPU time (s) 239.65
Current children cumulated vsize (Kb) 24488

[startup+250.013 s]
Raw data (loadavg): 0.99 0.96 0.78 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 5380 0 0 0 24923 41 0 0 25 0 1 0 1839636805 25210880 5284 4294967295 134512640 134736556 3221224576 3221223152 134649779 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5679/statm): 6155 5284 1116 68 0 6087 0
[pid=5679] vsize: 24620
Current children cumulated CPU time (s) 249.64
Current children cumulated vsize (Kb) 24620

[startup+260.013 s]
Raw data (loadavg): 0.99 0.96 0.78 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 5467 0 0 0 25923 42 0 0 25 0 1 0 1839636805 25616384 5371 4294967295 134512640 134736556 3221224576 3221223244 134560236 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5679/statm): 6254 5371 1116 68 0 6186 0
[pid=5679] vsize: 25016
Current children cumulated CPU time (s) 259.65
Current children cumulated vsize (Kb) 25016

[startup+270.012 s]
Raw data (loadavg): 0.99 0.96 0.78 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 5549 0 0 0 26921 42 0 0 25 0 1 0 1839636805 25890816 5453 4294967295 134512640 134736556 3221224576 3221223244 134560360 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5679/statm): 6321 5453 1116 68 0 6253 0
[pid=5679] vsize: 25284
Current children cumulated CPU time (s) 269.63
Current children cumulated vsize (Kb) 25284

[startup+280.013 s]
Raw data (loadavg): 0.99 0.96 0.78 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 5649 0 0 0 27920 43 0 0 25 0 1 0 1839636805 26296320 5553 4294967295 134512640 134736556 3221224576 3221223240 134544056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5679/statm): 6420 5553 1116 68 0 6352 0
[pid=5679] vsize: 25680
Current children cumulated CPU time (s) 279.63
Current children cumulated vsize (Kb) 25680

[startup+290.013 s]
Raw data (loadavg): 0.99 0.96 0.79 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 5750 0 0 0 28918 44 0 0 25 0 1 0 1839636805 26710016 5654 4294967295 134512640 134736556 3221224576 3221223344 134644672 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5679/statm): 6521 5654 1116 68 0 6453 0
[pid=5679] vsize: 26084
Current children cumulated CPU time (s) 289.62
Current children cumulated vsize (Kb) 26084

[startup+300.014 s]
Raw data (loadavg): 0.99 0.96 0.79 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 5829 0 0 0 29916 44 0 0 25 0 1 0 1839636805 27115520 5732 4294967295 134512640 134736556 3221224576 3221223320 134544456 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5679/statm): 6620 5732 1116 68 0 6552 0
[pid=5679] vsize: 26480
Current children cumulated CPU time (s) 299.6
Current children cumulated vsize (Kb) 26480

[startup+310.015 s]
Raw data (loadavg): 0.99 0.96 0.79 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 5916 0 0 0 30914 46 0 0 25 0 1 0 1839636805 27521024 5818 4294967295 134512640 134736556 3221224576 3221223152 134649773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5679/statm): 6719 5818 1116 68 0 6651 0
[pid=5679] vsize: 26876
Current children cumulated CPU time (s) 309.6
Current children cumulated vsize (Kb) 26876

[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.79 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 5995 0 0 0 31914 46 0 0 25 0 1 0 1839636805 27791360 5896 4294967295 134512640 134736556 3221224576 3221223128 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5679/statm): 6785 5896 1116 68 0 6717 0
[pid=5679] vsize: 27140
Current children cumulated CPU time (s) 319.6
Current children cumulated vsize (Kb) 27140

[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.79 2/56 5679
Raw data (/proc/5679/stat): 5679 (bsolo) R 5678 5679 5245 0 -1 0 6236 0 0 0 32910 48 0 0 25 0 1 0 1839636805 28872704 6135 4294967295 134512640 134736556 3221224576 3221223084 134536608 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5679/statm): 7049 6135 1116 68 0 6981 0
[pid=5679] vsize: 28196
Current children cumulated CPU time (s) 329.58
Current children cumulated vsize (Kb) 28196
One traced child (pid=5679) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 333.376
CPU time (s): 332.867
CPU user time (s): 332.308
CPU system time (s): 0.558915
CPU usage (%): 99.8475
Max. virtual memory (cumulated for all children) (Kb): 28196

Verifier Data

Verifier:	OK	5