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.5:100.opb
MD5SUM	dd81121db7c1c4b8597dd9571c707a87
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	372
Biggest coefficient in the objective function	220
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	983
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	220
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	983
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03484
Number of variables	372
Total number of constraints	792
Number of constraints which are clauses	345
Number of constraints which are cardinality constraints (but not clauses)	447
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	18
Trace number 24969

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 10:31:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3288 boxname=wulflinc31 idbench=366 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  dd81121db7c1c4b8597dd9571c707a87  /oldhome/oroussel/tmp/wulflinc31/normalized-10:10:4.5:0.5:100.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-10:10:4.5:0.5:100.opb
IDLAUNCH: 3288
/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:        814532 kB
Buffers:         41172 kB
Cached:         157360 kB
SwapCached:       1932 kB
Active:         162496 kB
Inactive:        39264 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        814280 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:               8 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            12628 kB
Committed_AS:    63844 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 10:51:23 (client local time) WITH STATUS 10 IN 1175.03 SECONDS
stats: 3288 0 1175.03 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 372 variables and 421 constraints.
c After prepocess the problem consists of 371 variables and 419 constraints.
c preprocess terminated 0.127 s
c Initial Lower Bound: -149
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 168 @ 0.185
c NEW SOLUTION FOUND: 167 @ 0.188
c NEW SOLUTION FOUND: 165 @ 0.222
c NEW SOLUTION FOUND: 164 @ 0.24
c NEW SOLUTION FOUND: 163 @ 0.26
c NEW SOLUTION FOUND: 162 @ 0.276
c NEW SOLUTION FOUND: 161 @ 0.28
c NEW SOLUTION FOUND: 160 @ 0.301
c NEW SOLUTION FOUND: 159 @ 0.317
c NEW SOLUTION FOUND: 157 @ 0.333
c NEW SOLUTION FOUND: 156 @ 0.335
c NEW SOLUTION FOUND: 155 @ 0.508
c NEW SOLUTION FOUND: 153 @ 0.603
c NEW SOLUTION FOUND: 152 @ 0.629
c NEW SOLUTION FOUND: 151 @ 0.686
c NEW SOLUTION FOUND: 150 @ 0.75
c NEW SOLUTION FOUND: 149 @ 1.684
c NEW SOLUTION FOUND: 148 @ 1.687
c NEW SOLUTION FOUND: 147 @ 2.74
c NEW SOLUTION FOUND: 146 @ 6.818
c NEW SOLUTION FOUND: 145 @ 12.489
c NEW SOLUTION FOUND: 144 @ 22.348
c NEW SOLUTION FOUND: 143 @ 33.16
c NEW SOLUTION FOUND: 142 @ 96.599
c NEW SOLUTION FOUND: 141 @ 100.902
c NEW SOLUTION FOUND: 140 @ 101.275
c NEW SOLUTION FOUND: 139 @ 136.745
c NEW SOLUTION FOUND: 138 @ 138.219
c NEW SOLUTION FOUND: 137 @ 138.445
c NEW SOLUTION FOUND: 136 @ 161.846
c NEW SOLUTION FOUND: 135 @ 162.241
c NEW SOLUTION FOUND: 134 @ 162.514
c NEW SOLUTION FOUND: 133 @ 194.148
c NEW SOLUTION FOUND: 132 @ 213.308
c NEW SOLUTION FOUND: 131 @ 236.665
c NEW SOLUTION FOUND: 130 @ 264.629
c NEW SOLUTION FOUND: 129 @ 264.951
c NEW SOLUTION FOUND: 128 @ 265.07
c NEW SOLUTION FOUND: 127 @ 301.918
c NEW SOLUTION FOUND: 126 @ 303.463
c NEW SOLUTION FOUND: 125 @ 303.719
c NEW SOLUTION FOUND: 124 @ 395.184
c NEW SOLUTION FOUND: 123 @ 469.61
c NEW SOLUTION FOUND: 122 @ 480.495
c NEW SOLUTION FOUND: 121 @ 493.444
c NEW SOLUTION FOUND: 120 @ 671.11
c NEW SOLUTION FOUND: 119 @ 933.157
c NEW SOLUTION FOUND: 118 @ 934.361
c NEW SOLUTION FOUND: 117 @ 937.585
s SATISFIABLE
v -v287 -v229 -v148 v112 v97 -v75 -v45 v23 -v285 -v270 -v233 v147 -v128 v113 -v44 -v28 -v269 -v232 -v196 v149 v127 v117 -v98 -v79 -v46 -v27 -v2 -v286 -v271 -v253 -v234 -v195 v166 -v152 -v133 v115 -v99 -v77 v47 -v7 -v291 -v272 -v252 -v238 -v197 v165 v151 -v132 -v116 -v102 -v54 v30 -v6 -v343 v273 -v237 -v200 -v171 -v156 -v134 -v100 -v78 v48 v31 -v342 v280 -v254 -v235 v199 -v170 -v155 -v138 -v101 v82 -v49 v34 -v9 -v344 v274 -v256 -v236 -v203 v172 -v153 -v137 -v50 v32 -v10 v345 v275 -v201 -v173 -v154 -v135 -v33 v11 v346 v276 -v257 -v202 -v174 -v136 v12 -v305 v288 v114 -v94 -v74 -v309 -v228 v118 v96 v22 -v292 -v230 v95 -v80 v57 v24 -v290 -v248 v231 v150 v129 -v103 v58 -v29 -v1 -v283 v247 v242 -v164 v130 v83 -v53 v26 -v3 -v284 -v198 v167 -v160 v131 v81 v35 -v8 v279 -v255 v221 -v211 v168 -v159 v142 -v51 v5 -v258 -v207 v169 v13 v349 v277 -v259 -v206 v188 -v178 v350 -v260 -v192 -v304 v289 -v126 -v72 v56 -v308 -v293 -v122 -v93 -v76 v55 -v282 -v245 -v161 -v121 -v111 v73 -v281 -v246 -v163 v107 v84 v25 -v360 v241 -v217 -v208 -v145 v106 v43 v249 -v210 -v146 v39 -v4 v348 v250 v239 v220 v181 -v157 v141 -v52 v38 v21 v347 v251 v182 v17 -v278 -v264 -v204 v187 -v177 -v158 v139 v16 v191 v306 v301 -v244 -v125 -v108 -v310 v297 -v243 -v162 -v110 -v71 -v356 v296 -v144 -v119 v92 v40 -v209 -v143 -v88 v42 -v359 -v312 -v216 -v180 -v120 v104 -v87 -v64 v18 -v313 v179 v20 v267 v240 v222 v105 v36 v268 v336 -v263 -v205 v189 -v175 v140 v37 v14 -v340 v193 v307 v300 -v123 -v109 v89 -v311 v91 v41 v355 -v315 v294 v213 v60 -v314 v19 -v361 v295 v266 -v218 -v85 -v63 v265 v184 v223 v183 -v86 -v364 v335 -v261 v190 -v176 -v15 -v339 v194 v352 -v303 v298 -v124 -v90 v302 v357 -v319 v59 v212 -v362 v328 v214 -v65 -v219 -v365 -v363 v185 v337 -v262 v186 -v68 v341 -v322 v299 v351 -v323 v353 v325 -v318 v61 v358 v327 -v316 -v66 -v366 v332 v215 v331 -v227 -v69 -v67 v338 -v320 v324 v354 v62 v329 -v317 -v224 -v370 -v226 -v70 -v369 v333 v334 -v321 v326 -v225 v330 -v367 -v368 v371 one 
c Exit Code: 10
c Total time: 1175 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): 1.12 1.03 1.01 2/55 1580
Raw data (stat): 1580 (runsolver) R 1579 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 751750991 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+9.99959 s]
Raw data (loadavg): 1.10 1.03 1.01 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 624 0 0 0 991 5 0 0 25 0 1 0 751750991 6139904 599 4294967295 134512640 134714540 3221221776 3221220416 134524466 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1499 599 1111 63 0 1436 0
vsize: 5996
[startup+20.0008 s]
Raw data (loadavg): 1.08 1.03 1.01 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 639 0 0 0 1989 8 0 0 25 0 1 0 751750991 6266880 614 4294967295 134512640 134714540 3221221776 3221220472 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1530 614 1111 63 0 1467 0
vsize: 6120
[startup+30.0014 s]
Raw data (loadavg): 1.07 1.03 1.01 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 649 0 0 0 2987 10 0 0 25 0 1 0 751750991 6266880 624 4294967295 134512640 134714540 3221221776 3221220388 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1530 624 1111 63 0 1467 0
vsize: 6120
[startup+40.0012 s]
Raw data (loadavg): 1.06 1.03 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 649 0 0 0 3984 13 0 0 25 0 1 0 751750991 6266880 624 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1530 624 1111 63 0 1467 0
vsize: 6120
[startup+50.0025 s]
Raw data (loadavg): 1.05 1.02 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 649 0 0 0 4982 15 0 0 25 0 1 0 751750991 6266880 624 4294967295 134512640 134714540 3221221776 3221220496 134603585 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1530 624 1111 63 0 1467 0
vsize: 6120
[startup+60.002 s]
Raw data (loadavg): 1.04 1.02 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 649 0 0 0 5980 17 0 0 25 0 1 0 751750991 6266880 624 4294967295 134512640 134714540 3221221776 3221220576 134611172 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1530 624 1111 63 0 1467 0
vsize: 6120
[startup+70.0029 s]
Raw data (loadavg): 1.03 1.02 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 653 0 0 0 6978 19 0 0 25 0 1 0 751750991 6266880 628 4294967295 134512640 134714540 3221221776 3221220356 134538753 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1530 628 1111 63 0 1467 0
vsize: 6120
[startup+80.0031 s]
Raw data (loadavg): 1.03 1.02 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 653 0 0 0 7975 22 0 0 25 0 1 0 751750991 6266880 628 4294967295 134512640 134714540 3221221776 3221220496 134542603 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1530 628 1111 63 0 1467 0
vsize: 6120
[startup+90.0037 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 656 0 0 0 8974 24 0 0 25 0 1 0 751750991 6266880 631 4294967295 134512640 134714540 3221221776 3221220476 134535671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1530 631 1111 63 0 1467 0
vsize: 6120
[startup+100.004 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 656 0 0 0 9972 26 0 0 25 0 1 0 751750991 6266880 631 4294967295 134512640 134714540 3221221776 3221220472 134558485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1530 631 1111 63 0 1467 0
vsize: 6120
[startup+110.004 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 656 0 0 0 10971 27 0 0 25 0 1 0 751750991 6266880 631 4294967295 134512640 134714540 3221221776 3221220288 134539769 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1530 631 1111 63 0 1467 0
vsize: 6120
[startup+120.004 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 656 0 0 0 11969 29 0 0 25 0 1 0 751750991 6266880 631 4294967295 134512640 134714540 3221221776 3221220476 134535506 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1530 631 1111 63 0 1467 0
vsize: 6120
[startup+130.004 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 658 0 0 0 12966 32 0 0 25 0 1 0 751750991 6369280 633 4294967295 134512640 134714540 3221221776 3221220336 134543712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1555 633 1111 63 0 1492 0
vsize: 6220
[startup+140.005 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 658 0 0 0 13964 34 0 0 25 0 1 0 751750991 6369280 633 4294967295 134512640 134714540 3221221776 3221220428 1077374497 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1555 633 1111 63 0 1492 0
vsize: 6220
[startup+150.005 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 658 0 0 0 14963 36 0 0 25 0 1 0 751750991 6369280 633 4294967295 134512640 134714540 3221221776 3221220496 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1555 633 1111 63 0 1492 0
vsize: 6220
[startup+160.005 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 658 0 0 0 15959 40 0 0 25 0 1 0 751750991 6352896 633 4294967295 134512640 134714540 3221221776 3221220456 134558807 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1551 633 1111 63 0 1488 0
vsize: 6204
[startup+170.005 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 658 0 0 0 16957 42 0 0 25 0 1 0 751750991 6352896 633 4294967295 134512640 134714540 3221221776 3221220248 1077377288 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1551 633 1111 63 0 1488 0
vsize: 6204
[startup+180.005 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 658 0 0 0 17955 44 0 0 25 0 1 0 751750991 6352896 633 4294967295 134512640 134714540 3221221776 3221220460 134558784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1551 633 1111 63 0 1488 0
vsize: 6204
[startup+190.006 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 658 0 0 0 18953 46 0 0 25 0 1 0 751750991 6352896 633 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1551 633 1111 63 0 1488 0
vsize: 6204
[startup+200.006 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 658 0 0 0 19952 48 0 0 25 0 1 0 751750991 6352896 633 4294967295 134512640 134714540 3221221776 3221220332 134543653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1551 633 1111 63 0 1488 0
vsize: 6204
[startup+210.005 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 659 0 0 0 20949 51 0 0 25 0 1 0 751750991 6352896 634 4294967295 134512640 134714540 3221221776 3221220448 134591857 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1551 634 1111 63 0 1488 0
vsize: 6204
[startup+220.006 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 665 0 0 0 21948 52 0 0 25 0 1 0 751750991 6352896 640 4294967295 134512640 134714540 3221221776 3221220500 134542593 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 640 1111 63 0 1488 0
vsize: 6204
[startup+230.007 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 665 0 0 0 22946 54 0 0 25 0 1 0 751750991 6352896 640 4294967295 134512640 134714540 3221221776 3221220416 134594336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 640 1111 63 0 1488 0
vsize: 6204
[startup+240.007 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 665 0 0 0 23945 56 0 0 25 0 1 0 751750991 6352896 640 4294967295 134512640 134714540 3221221776 3221220368 134538795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 640 1111 63 0 1488 0
vsize: 6204
[startup+250.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 665 0 0 0 24943 57 0 0 25 0 1 0 751750991 6352896 640 4294967295 134512640 134714540 3221221776 3221220432 134524573 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 640 1111 63 0 1488 0
vsize: 6204
[startup+260.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 665 0 0 0 25941 60 0 0 25 0 1 0 751750991 6352896 640 4294967295 134512640 134714540 3221221776 3221220420 134524577 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 640 1111 63 0 1488 0
vsize: 6204
[startup+270.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 665 0 0 0 26939 62 0 0 25 0 1 0 751750991 6352896 640 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 640 1111 63 0 1488 0
vsize: 6204
[startup+280.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 665 0 0 0 27937 64 0 0 25 0 1 0 751750991 6352896 640 4294967295 134512640 134714540 3221221776 3221220404 1077374563 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 640 1111 63 0 1488 0
vsize: 6204
[startup+290.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 665 0 0 0 28935 66 0 0 25 0 1 0 751750991 6352896 640 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 640 1111 63 0 1488 0
vsize: 6204
[startup+300.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 665 0 0 0 29933 68 0 0 25 0 1 0 751750991 6352896 640 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 640 1111 63 0 1488 0
vsize: 6204
[startup+310.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 665 0 0 0 30931 70 0 0 25 0 1 0 751750991 6352896 640 4294967295 134512640 134714540 3221221776 3221220484 134523611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1551 640 1111 63 0 1488 0
vsize: 6204
[startup+320.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 665 0 0 0 31929 72 0 0 25 0 1 0 751750991 6352896 640 4294967295 134512640 134714540 3221221776 3221220368 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 640 1111 63 0 1488 0
vsize: 6204
[startup+330.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 666 0 0 0 32927 74 0 0 25 0 1 0 751750991 6352896 641 4294967295 134512640 134714540 3221221776 3221220476 134672920 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 641 1111 63 0 1488 0
vsize: 6204
[startup+340.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 666 0 0 0 33926 76 0 0 25 0 1 0 751750991 6352896 641 4294967295 134512640 134714540 3221221776 3221220520 134535482 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 641 1111 63 0 1488 0
vsize: 6204
[startup+350.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 666 0 0 0 34924 78 0 0 25 0 1 0 751750991 6352896 641 4294967295 134512640 134714540 3221221776 3221220448 134613733 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 641 1111 63 0 1488 0
vsize: 6204
[startup+360.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 666 0 0 0 35923 79 0 0 25 0 1 0 751750991 6352896 641 4294967295 134512640 134714540 3221221776 3221220416 134594338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 641 1111 63 0 1488 0
vsize: 6204
[startup+370.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 666 0 0 0 36921 82 0 0 25 0 1 0 751750991 6352896 641 4294967295 134512640 134714540 3221221776 3221220416 134535032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 641 1111 63 0 1488 0
vsize: 6204
[startup+380.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 666 0 0 0 37920 83 0 0 25 0 1 0 751750991 6352896 641 4294967295 134512640 134714540 3221221776 3221220500 134556636 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 641 1111 63 0 1488 0
vsize: 6204
[startup+390.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 666 0 0 0 38918 85 0 0 25 0 1 0 751750991 6352896 641 4294967295 134512640 134714540 3221221776 3221220412 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 641 1111 63 0 1488 0
vsize: 6204
[startup+400.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 666 0 0 0 39916 87 0 0 25 0 1 0 751750991 6352896 641 4294967295 134512640 134714540 3221221776 3221220288 134540045 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 641 1111 63 0 1488 0
vsize: 6204
[startup+410.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 666 0 0 0 40914 89 0 0 25 0 1 0 751750991 6352896 641 4294967295 134512640 134714540 3221221776 3221220476 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 641 1111 63 0 1488 0
vsize: 6204
[startup+420.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 666 0 0 0 41912 91 0 0 25 0 1 0 751750991 6352896 641 4294967295 134512640 134714540 3221221776 3221220456 1076648037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 641 1111 63 0 1488 0
vsize: 6204
[startup+430.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 666 0 0 0 42910 93 0 0 25 0 1 0 751750991 6352896 641 4294967295 134512640 134714540 3221221776 3221220372 1077374149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 641 1111 63 0 1488 0
vsize: 6204
[startup+440.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 666 0 0 0 43909 95 0 0 25 0 1 0 751750991 6352896 641 4294967295 134512640 134714540 3221221776 3221220536 134558582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 641 1111 63 0 1488 0
vsize: 6204
[startup+450.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 666 0 0 0 44907 96 0 0 25 0 1 0 751750991 6352896 641 4294967295 134512640 134714540 3221221776 3221220228 1077378596 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 641 1111 63 0 1488 0
vsize: 6204
[startup+460.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 666 0 0 0 45906 98 0 0 25 0 1 0 751750991 6352896 641 4294967295 134512640 134714540 3221221776 3221220496 134535465 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 641 1111 63 0 1488 0
vsize: 6204
[startup+470.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 666 0 0 0 46904 100 0 0 25 0 1 0 751750991 6352896 641 4294967295 134512640 134714540 3221221776 3221220476 134535620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 641 1111 63 0 1488 0
vsize: 6204
[startup+480.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 666 0 0 0 47902 102 0 0 25 0 1 0 751750991 6352896 641 4294967295 134512640 134714540 3221221776 3221220336 134543728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 641 1111 63 0 1488 0
vsize: 6204
[startup+490.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 666 0 0 0 48901 104 0 0 25 0 1 0 751750991 6352896 641 4294967295 134512640 134714540 3221221776 3221220304 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 641 1111 63 0 1488 0
vsize: 6204
[startup+500.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 49898 106 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+510.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 50897 108 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220116 1077374114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+520.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 51895 109 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220368 134613451 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+530.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 52893 112 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+540.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 53891 114 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220444 134534084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+550.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 54890 115 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220404 134594374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+560.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 55889 117 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220364 134523384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+570.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 56888 118 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220444 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+580.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 57885 121 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220432 134591898 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+590.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 58884 123 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220464 134558535 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+600.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 59882 125 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220512 134538828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+610.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 60880 127 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220360 134696343 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+620.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 61878 129 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220304 134540498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+630.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 62876 131 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220368 134535335 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+640.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 63874 133 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220312 1077377401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+650.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 64872 135 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220432 134524471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+660.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 65871 137 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220496 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+670.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 66869 139 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220320 134543751 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+680.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 67866 141 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220512 134538587 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+690.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 68865 143 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220496 134592401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+700.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 69863 145 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+710.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 70861 147 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220368 134538819 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+720.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 71859 150 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+730.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 72857 151 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220592 134526632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+740.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 73856 153 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220368 134538795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+750.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 74854 155 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+760.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 75852 157 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220336 134543712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+770.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 76849 160 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220424 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+780.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 77848 161 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220356 134538753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+790.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 78846 164 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220476 134535631 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+800.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 79843 167 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220488 134592385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+810.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 80840 170 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+820.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 81838 172 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+830.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 82836 175 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+840.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 83833 177 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220304 134540176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+850.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 84831 179 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220312 1077377241 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+860.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 85829 182 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220476 134535620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+870.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 86828 184 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220480 134592421 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+880.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 87826 186 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220560 134527641 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+890.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 88824 187 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220296 1077378431 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+900.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 89823 189 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+910.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 90821 191 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220512 134695334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+920.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 91819 193 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+930.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 92817 195 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220368 1076999581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+940.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 93814 198 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220012 1077379913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+950.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 94811 202 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220332 134535649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+960.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 95809 203 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220368 134696151 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+970.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 96807 205 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220364 1076647540 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+980.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 97805 208 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+990.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 98803 210 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220400 1077378651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 99801 212 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 100799 215 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 101797 216 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 102794 220 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220488 134592433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 103792 222 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220368 134696321 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 104789 225 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220056 1077377712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 105787 227 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220356 1077374146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 106785 229 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220368 134538795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 107783 231 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220384 134523874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 108782 233 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220428 1076533124 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 109781 234 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220408 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 110779 236 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220288 134539760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 111777 238 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220312 1077377639 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 112774 241 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 113772 243 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220384 134523874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 114770 245 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220456 134532457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 115769 247 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 116767 249 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 6204
[startup+1174.9 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 1580
Raw data (stat): 1580 (bsolo_mis) R 1579 7876 7672 0 -1 0 667 0 0 0 116767 249 0 0 25 0 1 0 751750991 6352896 642 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1551 642 1111 63 0 1488 0
vsize: 0

Child status: 10
Real time (s): 1174.9
CPU time (s): 1175.03
CPU user time (s): 1172.52
CPU system time (s): 2.50662
CPU usage (%): 100.012
Max. virtual memory (Kb): 6220
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	117
#### END VERIFIER DATA ####