PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
MD5SUM	b2c6bc03457d15976fdaf81252d9cdae
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3
Optimality of the best value was proved	NO
Number of terms in the objective function	435
Biggest coefficient in the objective function	282
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	1168
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	282
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	1168
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02284
Number of variables	435
Total number of constraints	935
Number of constraints which are clauses	403
Number of constraints which are cardinality constraints (but not clauses)	532
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	16
Trace number 24964

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 09:30:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3279 boxname=wulflinc31 idbench=365 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  b2c6bc03457d15976fdaf81252d9cdae  /oldhome/oroussel/tmp/wulflinc31/normalized-10:10:4.5:0.95:100.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-10:10:4.5:0.95:100.opb
IDLAUNCH: 3279
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        814988 kB
Buffers:         41020 kB
Cached:         157172 kB
SwapCached:       1932 kB
Active:         162432 kB
Inactive:        38912 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        814736 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            12580 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 09:50:30 (client local time) WITH STATUS 10 IN 1175.03 SECONDS
stats: 3279 0 1175.03 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 435 variables and 501 constraints.
c After prepocess the problem consists of 434 variables and 500 constraints.
c preprocess terminated 0.152 s
c Initial Lower Bound: -184
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 233 @ 0.238
c NEW SOLUTION FOUND: 232 @ 0.241
c NEW SOLUTION FOUND: 231 @ 0.248
c NEW SOLUTION FOUND: 230 @ 0.274
c NEW SOLUTION FOUND: 229 @ 0.292
c NEW SOLUTION FOUND: 228 @ 0.3
c NEW SOLUTION FOUND: 227 @ 0.48
c NEW SOLUTION FOUND: 226 @ 0.967
c NEW SOLUTION FOUND: 225 @ 1.219
c NEW SOLUTION FOUND: 224 @ 1.377
c NEW SOLUTION FOUND: 223 @ 1.845
c NEW SOLUTION FOUND: 222 @ 1.968
c NEW SOLUTION FOUND: 221 @ 2.33
c NEW SOLUTION FOUND: 220 @ 3.155
c NEW SOLUTION FOUND: 219 @ 3.335
c NEW SOLUTION FOUND: 218 @ 3.991
c NEW SOLUTION FOUND: 217 @ 9.411
c NEW SOLUTION FOUND: 216 @ 22.725
c NEW SOLUTION FOUND: 215 @ 27.788
c NEW SOLUTION FOUND: 214 @ 37.193
c NEW SOLUTION FOUND: 213 @ 38.393
c NEW SOLUTION FOUND: 212 @ 45.096
c NEW SOLUTION FOUND: 211 @ 59.709
c NEW SOLUTION FOUND: 210 @ 60.296
c NEW SOLUTION FOUND: 209 @ 66.755
c NEW SOLUTION FOUND: 208 @ 68.561
c NEW SOLUTION FOUND: 207 @ 77.042
c NEW SOLUTION FOUND: 206 @ 97.446
c NEW SOLUTION FOUND: 205 @ 133.076
c NEW SOLUTION FOUND: 204 @ 163.896
c NEW SOLUTION FOUND: 203 @ 165.268
c NEW SOLUTION FOUND: 202 @ 209.454
c NEW SOLUTION FOUND: 201 @ 278.067
c NEW SOLUTION FOUND: 200 @ 388.615
c NEW SOLUTION FOUND: 199 @ 447.63
c NEW SOLUTION FOUND: 198 @ 548.444
c NEW SOLUTION FOUND: 197 @ 700.929
c NEW SOLUTION FOUND: 196 @ 831.984
s SATISFIABLE
v v358 -v234 v62 v5 v340 -v235 -v399 -v362 v339 v239 v6 v398 -v360 -v238 v7 v400 v341 -v236 -v143 v10 -v433 -v361 v343 -v237 v142 v8 -v416 -v365 v144 -v9 -v420 v344 v434 v357 -v233 -v182 v61 v2 v336 v232 -v186 v4 -v363 v335 -v320 -v243 v3 v11 v366 v342 v401 v364 v345 v415 v409 v419 v405 v145 v404 -v386 v153 -v26 v149 -v30 -v355 -v316 v251 -v246 -v181 v63 v359 v255 -v247 v185 v1 v356 -v319 -v242 v19 v367 v337 v15 v406 v338 -v240 -v160 -v67 v14 v408 v164 v417 v382 v349 v150 v128 v421 v152 v402 -v385 -v301 -v25 v148 -v29 -v315 -v273 v250 -v244 -v183 v64 v16 -v354 -v277 v254 v187 v18 v375 -v321 -v83 -v68 -v411 -v407 -v371 -v87 -v66 -v410 -v370 -v352 -v241 v189 v159 v124 v47 v12 -v353 v190 v163 v151 v418 v381 v348 v324 -v297 v127 -v13 v422 -v423 -v403 -v387 v346 -v300 -v27 -v424 v146 v31 v372 -v317 -v272 v252 -v245 -v184 v65 -v17 v374 -v276 v256 v188 -v69 -v351 -v322 v192 v82 v43 -v350 v191 -v86 -v377 -v368 v325 -v258 v161 v123 v46 -v412 v323 -v259 v165 -v21 -v413 v383 -v369 -v296 v129 -v20 v414 -v428 -v388 v347 -v302 v167 -v28 v168 -v147 v32 -v373 -v313 -v274 v253 -v180 -v77 -v318 -v278 v257 v179 -v155 v73 v314 -v261 v196 -v154 -v119 v84 v72 v42 v326 -v260 -v88 -v292 -v280 -v220 v162 v125 -v111 v48 -v376 -v281 -v224 v166 v431 -v378 -v298 v170 v130 -v90 v432 v384 v169 -v91 -v22 -v427 v380 -v303 -v210 v131 -v51 -v23 -v389 v132 v24 v275 v249 -v199 -v79 -v76 v38 -v312 -v279 v248 -v200 v334 -v283 v265 v195 v107 v85 v70 v44 v330 -v282 -v156 v118 -v89 v430 v329 -v219 v193 -v157 v120 v110 -v93 -v71 v49 v429 v291 v223 v158 v126 -v92 v293 v206 v174 v122 v52 -v379 -v299 v133 v50 -v425 v397 v295 -v209 v35 -v393 -v304 v36 v331 -v271 -v268 -v197 -v74 v333 v270 -v269 -v78 v37 v287 v264 v106 -v80 v39 v81 v45 v327 v262 -v221 -v194 v177 v112 v97 v41 v225 v178 v121 v53 v394 v328 v205 v173 v141 v34 v396 v294 v137 v33 -v426 v311 v227 -v211 v171 v136 -v115 -v392 -v307 -v228 -v332 v288 -v266 -v198 v104 -v75 v290 -v215 v286 -v214 -v176 v108 -v100 v175 -v101 v40 v284 v263 -v222 -v203 v138 v113 v96 -v60 v395 v226 v140 -v57 v308 v230 v207 -v116 v94 -v56 v310 v229 -v114 -v212 v172 v134 -v390 -v305 v289 -v267 -v99 v103 -v98 v102 -v59 -v216 -v139 v109 -v58 -v285 v217 v105 -v309 v218 -v202 -v117 -v231 v201 -v95 -v54 v208 v204 v135 -v55 -v391 -v306 v213 one 
c Exit Code: 10
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.97 0.99 2/55 1035
Raw data (stat): 1035 (runsolver) R 1034 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 751385626 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 732 0 0 0 991 5 0 0 25 0 1 0 751385626 6627328 707 4294967295 134512640 134714540 3221221776 3221220672 134621938 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 707 1111 63 0 1555 0
vsize: 6472
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 732 0 0 0 1989 7 0 0 25 0 1 0 751385626 6627328 707 4294967295 134512640 134714540 3221221776 3221220448 134524443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 707 1111 63 0 1555 0
vsize: 6472
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 732 0 0 0 2987 9 0 0 25 0 1 0 751385626 6627328 707 4294967295 134512640 134714540 3221221776 3221220472 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 707 1111 63 0 1555 0
vsize: 6472
[startup+40.0027 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 732 0 0 0 3985 12 0 0 25 0 1 0 751385626 6627328 707 4294967295 134512640 134714540 3221221776 3221220432 134524417 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 707 1111 63 0 1555 0
vsize: 6472
[startup+50.0036 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 732 0 0 0 4983 14 0 0 25 0 1 0 751385626 6627328 707 4294967295 134512640 134714540 3221221776 3221220568 134558576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 707 1111 63 0 1555 0
vsize: 6472
[startup+60.0046 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 5981 16 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220408 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+70.0055 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 6978 19 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220472 134558485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+80.0055 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 7976 21 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220484 134603388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+90.0064 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 8974 23 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220464 134534159 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 9973 25 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220580 134602008 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 10970 27 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220384 134538883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 11969 29 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220368 134535462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 12968 30 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220368 134613442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 13966 32 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220480 134592419 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 14965 33 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220348 1076999581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 15963 35 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220568 134543541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 16961 37 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220352 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 17960 39 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220476 134535652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 18958 40 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220536 134556932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 19957 42 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220480 134592340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 20955 44 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220412 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 21952 46 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 22950 49 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220412 134538732 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 23949 50 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220448 134553605 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 24947 53 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220416 134594392 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 25945 54 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220312 1077377249 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 26944 56 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220028 1077379903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 27942 58 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220384 134535026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 28941 59 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220412 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 29939 61 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220476 134535506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 30937 63 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220364 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 31934 66 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220476 134535671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 32933 68 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220368 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 33931 70 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220072 1077377398 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 34929 71 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220468 134558543 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 35928 73 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 36927 74 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 37926 76 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220496 134556837 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 739 0 0 0 38924 77 0 0 25 0 1 0 751385626 6627328 714 4294967295 134512640 134714540 3221221776 3221220380 1076999581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1618 714 1111 63 0 1555 0
vsize: 6472
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 39922 79 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220384 134538883 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 40920 81 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 41919 82 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220332 134543616 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 42917 84 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220464 134591829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 43916 86 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220364 134539584 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 44915 87 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220476 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 45914 88 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220296 1077377272 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 46913 89 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220464 134558518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 47912 90 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220492 134534136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 48910 92 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220368 134613451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 49909 93 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220132 1077374210 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 50908 95 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220380 1076999581 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 51907 96 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220476 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 52906 97 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220312 1077377221 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 53905 98 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220400 134524193 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 54903 100 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220296 1077378406 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 55902 102 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220296 1077377168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 56900 104 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220484 134603388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 57899 105 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220432 134591904 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 58898 106 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220072 1077377398 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 59897 107 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220456 134532457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 60896 108 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220288 134540186 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 61895 109 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220456 134603695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 62894 111 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 63893 112 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220592 134610842 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 64892 113 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220356 134696296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 65891 114 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220296 1077377765 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 66890 116 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220028 1077379908 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 67888 118 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220432 134591898 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 68887 119 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220384 134538797 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 69886 120 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220476 134535671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 70883 123 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220360 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 71882 124 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220548 134624473 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 72881 125 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220172 1076647539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 73879 127 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 74878 128 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220432 134539596 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+760.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 75876 130 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220344 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 76875 131 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220312 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 77874 132 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220408 134543589 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 78873 134 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220416 134542944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 79871 135 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220476 134535671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+810.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 80870 137 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220496 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 81868 139 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220552 134590243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 82866 141 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+840.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 83865 142 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220424 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+850.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 84863 143 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220368 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 85861 146 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+870.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 86860 147 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220380 134523384 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+880.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 87860 148 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220072 1077377398 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 88858 149 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220484 134592437 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+900.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 89857 150 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220504 134558621 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+910.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 90857 151 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220376 134535482 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+920.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 91855 152 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220476 134535518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 92855 153 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220440 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+940.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 93854 154 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220028 1077379944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+950.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 94852 156 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220368 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+960.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 95851 157 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220424 1077374435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 96850 159 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220304 134539694 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+980.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 97849 160 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220368 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+990.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 98848 161 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220348 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 99846 163 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220476 134672920 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 100845 165 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220472 134672944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 101843 166 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 102842 168 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220392 134672932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 103840 170 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220428 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 104839 171 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220480 134592388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 105838 172 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220496 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 106837 173 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 107836 175 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 108834 176 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220028 1077379908 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 109833 178 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220672 134601929 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 110832 179 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220348 134537328 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 111831 181 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220388 134524380 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 112829 182 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220496 134558542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 113828 183 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220028 1077379840 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 114826 185 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220308 1077378607 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 115825 187 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220052 134697228 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 116824 188 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 6544
[startup+1174.93 s]
Raw data (loadavg): 0.99 0.97 0.99 1/54 1035
Raw data (stat): 1035 (bsolo_mis) R 1034 7876 7672 0 -1 0 748 0 0 0 116824 188 0 0 25 0 1 0 751385626 6701056 723 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1636 723 1111 63 0 1573 0
vsize: 0

Child status: 10
Real time (s): 1174.93
CPU time (s): 1175.03
CPU user time (s): 1173.13
CPU system time (s): 1.89771
CPU usage (%): 100.008
Max. virtual memory (Kb): 6544
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	196
#### END VERIFIER DATA ####