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 39741

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-07 19:03:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27807 boxname=wulflinc6 idbench=365 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  b2c6bc03457d15976fdaf81252d9cdae  /oldhome/oroussel/tmp/wulflinc6/normalized-10:10:4.5:0.95:100.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-10:10:4.5:0.95:100.opb
IDLAUNCH: 27807
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        912408 kB
Buffers:         33988 kB
Cached:          65740 kB
SwapCached:       1796 kB
Active:          29336 kB
Inactive:        73320 kB
HighTotal:      131008 kB
HighFree:        79044 kB
LowTotal:       903652 kB
LowFree:        833364 kB
SwapTotal:     2097136 kB
SwapFree:      2094416 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            13904 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 19:22:49 (client local time) WITH STATUS 10 IN 1175.02 SECONDS
stats: 27807 0 1175.02 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 435 variables and 501 constraints.
c After prepocess the problem consists of 434 variables and 521 constraints.
c preprocess terminated 0.283 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0.0675
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 82 @ 6.406
c NEW SOLUTION FOUND: 81 @ 6.782
c NEW SOLUTION FOUND: 80 @ 7.024
c NEW SOLUTION FOUND: 79 @ 7.166
c NEW SOLUTION FOUND: 78 @ 8.441
c NEW SOLUTION FOUND: 77 @ 8.51
c NEW SOLUTION FOUND: 76 @ 11.051
c NEW SOLUTION FOUND: 75 @ 13.681
c NEW SOLUTION FOUND: 74 @ 19.09
c NEW SOLUTION FOUND: 73 @ 24.095
c NEW SOLUTION FOUND: 72 @ 24.164
c NEW SOLUTION FOUND: 71 @ 24.279
c NEW SOLUTION FOUND: 70 @ 37.458
c NEW SOLUTION FOUND: 69 @ 37.725
c NEW SOLUTION FOUND: 68 @ 93.431
c NEW SOLUTION FOUND: 67 @ 170.558
c NEW SOLUTION FOUND: 66 @ 170.76
c NEW SOLUTION FOUND: 65 @ 171.08
c NEW SOLUTION FOUND: 64 @ 261.386
c NEW SOLUTION FOUND: 63 @ 269.408
c NEW SOLUTION FOUND: 62 @ 274.084
c NEW SOLUTION FOUND: 61 @ 304.719
c NEW SOLUTION FOUND: 60 @ 304.991
c NEW SOLUTION FOUND: 59 @ 305.418
c NEW SOLUTION FOUND: 58 @ 320.794
c NEW SOLUTION FOUND: 57 @ 322.626
c NEW SOLUTION FOUND: 56 @ 324.873
c NEW SOLUTION FOUND: 55 @ 347.299
c NEW SOLUTION FOUND: 54 @ 347.685
c NEW SOLUTION FOUND: 53 @ 348.081
c NEW SOLUTION FOUND: 52 @ 366.282
c NEW SOLUTION FOUND: 51 @ 366.823
c NEW SOLUTION FOUND: 50 @ 367.175
c NEW SOLUTION FOUND: 49 @ 501.245
c NEW SOLUTION FOUND: 48 @ 502.211
c NEW SOLUTION FOUND: 47 @ 559.415
c NEW SOLUTION FOUND: 46 @ 683.586
c NEW SOLUTION FOUND: 45 @ 863.31
c NEW SOLUTION FOUND: 44 @ 863.883
c NEW SOLUTION FOUND: 43 @ 926.126
c NEW SOLUTION FOUND: 42 @ 1020.82
c NEW SOLUTION FOUND: 41 @ 1086.43
c NEW SOLUTION FOUND: 40 @ 1155.77
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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.85 0.97 0.91 1/54 17383
Raw data (stat): 17383 (runsolver) R 17382 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 895362473 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.87 0.97 0.91 2/54 17383
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 6867 0 0 0 975 22 0 0 25 0 1 0 895362473 6856704 981 4294967295 134512640 134716908 3221224576 3221222496 1075799538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1674 981 1111 63 0 1611 0
vsize: 6696
[startup+20.0016 s]
Raw data (loadavg): 0.89 0.97 0.91 2/54 17383
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 17997 0 0 0 1934 63 0 0 25 0 1 0 895362473 6885376 988 4294967295 134512640 134716908 3221224576 3221222304 1075635652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1681 988 1111 63 0 1618 0
vsize: 6724
[startup+30.0017 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 17383
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 28934 0 0 0 2895 103 0 0 25 0 1 0 895362473 6950912 1004 4294967295 134512640 134716908 3221224576 3221222928 1074142947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 1004 1111 63 0 1634 0
vsize: 6788
[startup+40.0024 s]
Raw data (loadavg): 0.92 0.97 0.91 2/54 17383
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 37249 0 0 0 3865 133 0 0 25 0 1 0 895362473 6950912 1004 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 1004 1111 63 0 1634 0
vsize: 6788
[startup+50.0031 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 17383
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 45874 0 0 0 4836 162 0 0 25 0 1 0 895362473 7237632 1007 4294967295 134512640 134716908 3221224576 3221221728 1075969903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1767 1009 1111 63 0 1704 0
vsize: 7068
[startup+60.0035 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 17383
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 54996 0 0 0 5804 194 0 0 25 0 1 0 895362473 6950912 1004 4294967295 134512640 134716908 3221224576 3221222224 1075818228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 1004 1111 63 0 1634 0
vsize: 6788
[startup+70.0049 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 17383
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 63913 0 0 0 6771 228 0 0 25 0 1 0 895362473 6950912 1004 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1767 1007 1111 63 0 1704 0
vsize: 6788
[startup+80.0059 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 17383
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 72428 0 0 0 7743 257 0 0 25 0 1 0 895362473 6950912 1004 4294967295 134512640 134716908 3221224576 3221222976 1074118827 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 1004 1111 63 0 1634 0
vsize: 6788
[startup+90.0056 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 17383
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 82030 0 0 0 8706 294 0 0 25 0 1 0 895362473 6950912 1004 4294967295 134512640 134716908 3221224576 3221222976 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 1004 1111 63 0 1634 0
vsize: 6788
[startup+100.006 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 17383
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 91543 0 0 0 9670 330 0 0 25 0 1 0 895362473 6950912 1004 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 1004 1111 63 0 1634 0
vsize: 6788
[startup+110.007 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 17383
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 100974 0 0 0 10635 365 0 0 25 0 1 0 895362473 6950912 1004 4294967295 134512640 134716908 3221224576 3221223024 1074039463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 1004 1111 63 0 1634 0
vsize: 6788
[startup+120.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 17383
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 110415 0 0 0 11601 400 0 0 25 0 1 0 895362473 6950912 1004 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 1004 1111 63 0 1634 0
vsize: 6788
[startup+130.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 17383
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 119907 0 0 0 12564 437 0 0 25 0 1 0 895362473 6950912 1004 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 1004 1111 63 0 1634 0
vsize: 6788
[startup+140.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 129686 0 0 0 13529 473 0 0 25 0 1 0 895362473 6950912 1004 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 1004 1111 63 0 1634 0
vsize: 6788
[startup+150.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 139393 0 0 0 14496 506 0 0 25 0 1 0 895362473 6950912 1004 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 1004 1111 63 0 1634 0
vsize: 6788
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 149092 0 0 0 15458 544 0 0 25 0 1 0 895362473 6950912 1004 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1732 1005 1111 63 0 1669 0
vsize: 6788
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 159186 0 0 0 16421 582 0 0 25 0 1 0 895362473 6950912 1004 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 1004 1111 63 0 1634 0
vsize: 6788
[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 167306 0 0 0 17392 611 0 0 25 0 1 0 895362473 6950912 1004 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 1004 1111 63 0 1634 0
vsize: 6788
[startup+190.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 177833 0 0 0 18354 649 0 0 25 0 1 0 895362473 6950912 1004 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 1004 1111 63 0 1634 0
vsize: 6788
[startup+200.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 190669 0 0 0 19312 692 0 0 25 0 1 0 895362473 6950912 1004 4294967295 134512640 134716908 3221224576 3221222880 1074143664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 1004 1111 63 0 1634 0
vsize: 6788
[startup+210.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 202049 0 0 0 20270 735 0 0 25 0 1 0 895362473 6950912 1004 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 1004 1111 63 0 1634 0
vsize: 6788
[startup+220.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 212993 0 0 0 21231 774 0 0 25 0 1 0 895362473 6950912 1004 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 1004 1111 63 0 1634 0
vsize: 6788
[startup+230.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 223438 0 0 0 22193 813 0 0 25 0 1 0 895362473 6950912 1004 4294967295 134512640 134716908 3221224576 3221222856 1074138327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 1004 1111 63 0 1634 0
vsize: 6788
[startup+240.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 234618 0 0 0 23156 851 0 0 25 0 1 0 895362473 7249920 1005 4294967295 134512640 134716908 3221224576 3221221468 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1770 1007 1111 63 0 1707 0
vsize: 7080
[startup+250.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 245254 0 0 0 24117 890 0 0 25 0 1 0 895362473 6950912 1004 4294967295 134512640 134716908 3221224576 3221223152 134542319 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 1004 1111 63 0 1634 0
vsize: 6788
[startup+260.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 252831 0 0 0 25089 918 0 0 25 0 1 0 895362473 6950912 1004 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 1004 1111 63 0 1634 0
vsize: 6788
[startup+270.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 259338 0 0 0 26064 944 0 0 25 0 1 0 895362473 6950912 1004 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 1004 1111 63 0 1634 0
vsize: 6788
[startup+280.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 265498 0 0 0 27040 969 0 0 25 0 1 0 895362473 6950912 1004 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 1004 1111 63 0 1634 0
vsize: 6788
[startup+290.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 271717 0 0 0 28018 991 0 0 25 0 1 0 895362473 7233536 1005 4294967295 134512640 134716908 3221224576 3221221468 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1766 1007 1111 63 0 1703 0
vsize: 7064
[startup+300.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 277787 0 0 0 28995 1014 0 0 25 0 1 0 895362473 7233536 1008 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1766 1008 1111 63 0 1703 0
vsize: 7064
[startup+310.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 283678 0 0 0 29969 1040 0 0 25 0 1 0 895362473 6950912 1004 4294967295 134512640 134716908 3221224576 3221222960 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 1004 1111 63 0 1634 0
vsize: 6788
[startup+320.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 289471 0 0 0 30947 1063 0 0 25 0 1 0 895362473 6950912 1004 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 1004 1111 63 0 1634 0
vsize: 6788
[startup+330.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 295710 0 0 0 31925 1086 0 0 25 0 1 0 895362473 7233536 1008 4294967295 134512640 134716908 3221224576 3221220720 1074969746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1766 1008 1111 63 0 1703 0
vsize: 7064
[startup+340.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 302551 0 0 0 32898 1113 0 0 25 0 1 0 895362473 6950912 1004 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1766 1007 1111 63 0 1703 0
vsize: 6788
[startup+350.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 310670 0 0 0 33867 1144 0 0 25 0 1 0 895362473 7233536 1007 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1714 1005 1111 63 0 1651 0
vsize: 7064
[startup+360.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 320581 0 0 0 34833 1179 0 0 25 0 1 0 895362473 7020544 1021 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1714 1021 1111 63 0 1651 0
vsize: 6856
[startup+370.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 330004 0 0 0 35798 1215 0 0 25 0 1 0 895362473 7024640 1022 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1715 1022 1111 63 0 1652 0
vsize: 6860
[startup+380.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 339802 0 0 0 36765 1248 0 0 25 0 1 0 895362473 7168000 1023 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1785 1025 1111 63 0 1722 0
vsize: 7000
[startup+390.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 351680 0 0 0 37722 1291 0 0 25 0 1 0 895362473 7024640 1022 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1715 1022 1111 63 0 1652 0
vsize: 6860
[startup+400.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 359816 0 0 0 38693 1321 0 0 25 0 1 0 895362473 7024640 1022 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1715 1022 1111 63 0 1652 0
vsize: 6860
[startup+410.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 368087 0 0 0 39665 1349 0 0 25 0 1 0 895362473 7024640 1022 4294967295 134512640 134716908 3221224576 3221222620 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1715 1022 1111 63 0 1652 0
vsize: 6860
[startup+420.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 376274 0 0 0 40634 1380 0 0 25 0 1 0 895362473 7024640 1022 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1715 1022 1111 63 0 1652 0
vsize: 6860
[startup+430.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 385512 0 0 0 41602 1413 0 0 25 0 1 0 895362473 7024640 1022 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1715 1022 1111 63 0 1652 0
vsize: 6860
[startup+440.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 394955 0 0 0 42564 1451 0 0 25 0 1 0 895362473 7311360 1026 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1785 1026 1111 63 0 1722 0
vsize: 7140
[startup+450.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 403163 0 0 0 43536 1480 0 0 25 0 1 0 895362473 7024640 1022 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1715 1022 1111 63 0 1652 0
vsize: 6860
[startup+460.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 411503 0 0 0 44507 1509 0 0 25 0 1 0 895362473 7024640 1022 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1715 1022 1111 63 0 1652 0
vsize: 6860
[startup+470.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 420454 0 0 0 45473 1543 0 0 25 0 1 0 895362473 7024640 1022 4294967295 134512640 134716908 3221224576 3221222960 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1715 1022 1111 63 0 1652 0
vsize: 6860
[startup+480.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 430125 0 0 0 46438 1579 0 0 25 0 1 0 895362473 7024640 1022 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1715 1022 1111 63 0 1652 0
vsize: 6860
[startup+490.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 438419 0 0 0 47404 1613 0 0 25 0 1 0 895362473 7311360 1025 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1785 1027 1111 63 0 1722 0
vsize: 7140
[startup+500.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 445616 0 0 0 48377 1641 0 0 25 0 1 0 895362473 7311360 1027 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1785 1027 1111 63 0 1722 0
vsize: 7140
[startup+510.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 453705 0 0 0 49346 1672 0 0 25 0 1 0 895362473 7024640 1022 4294967295 134512640 134716908 3221224576 3221222976 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1715 1022 1111 63 0 1652 0
vsize: 6860
[startup+520.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 463139 0 0 0 50313 1705 0 0 25 0 1 0 895362473 7024640 1022 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1715 1022 1111 63 0 1652 0
vsize: 6860
[startup+530.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 473635 0 0 0 51275 1744 0 0 25 0 1 0 895362473 7024640 1022 4294967295 134512640 134716908 3221224576 3221222956 1074152801 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1715 1022 1111 63 0 1652 0
vsize: 6860
[startup+540.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 484694 0 0 0 52235 1784 0 0 25 0 1 0 895362473 7024640 1022 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1715 1022 1111 63 0 1652 0
vsize: 6860
[startup+550.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 493710 0 0 0 53204 1815 0 0 25 0 1 0 895362473 7323648 1025 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1788 1029 1111 63 0 1725 0
vsize: 7152
[startup+560.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 502461 0 0 0 54172 1848 0 0 25 0 1 0 895362473 7401472 1048 4294967295 134512640 134716908 3221224576 3221220640 1074878740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1807 1048 1111 63 0 1744 0
vsize: 7228
[startup+570.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 510656 0 0 0 55140 1880 0 0 25 0 1 0 895362473 7118848 1045 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1738 1045 1111 63 0 1675 0
vsize: 6952
[startup+580.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 518711 0 0 0 56107 1913 0 0 25 0 1 0 895362473 7118848 1045 4294967295 134512640 134716908 3221224576 3221222556 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1738 1045 1111 63 0 1675 0
vsize: 6952
[startup+590.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 526882 0 0 0 57075 1946 0 0 25 0 1 0 895362473 7401472 1049 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1738 1045 1111 63 0 1675 0
vsize: 7228
[startup+600.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 535487 0 0 0 58042 1979 0 0 25 0 1 0 895362473 7118848 1045 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1738 1045 1111 63 0 1675 0
vsize: 6952
[startup+610.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 545266 0 0 0 59007 2014 0 0 25 0 1 0 895362473 7118848 1045 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1738 1045 1111 63 0 1675 0
vsize: 6952
[startup+620.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 556469 0 0 0 59964 2057 0 0 25 0 1 0 895362473 7446528 1048 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 1047 1111 63 0 1685 0
vsize: 7272
[startup+630.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 564402 0 0 0 60937 2085 0 0 25 0 1 0 895362473 7106560 1042 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1735 1042 1111 63 0 1672 0
vsize: 6940
[startup+640.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 572859 0 0 0 61907 2116 0 0 25 0 1 0 895362473 7106560 1042 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1735 1042 1111 63 0 1672 0
vsize: 6940
[startup+650.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 581988 0 0 0 62874 2149 0 0 25 0 1 0 895362473 7114752 1044 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1737 1044 1111 63 0 1674 0
vsize: 6948
[startup+660.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 592249 0 0 0 63837 2185 0 0 25 0 1 0 895362473 7106560 1042 4294967295 134512640 134716908 3221224576 3221222688 1074867358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1735 1042 1111 63 0 1672 0
vsize: 6940
[startup+670.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 601297 0 0 0 64806 2217 0 0 25 0 1 0 895362473 7106560 1042 4294967295 134512640 134716908 3221224576 3221222940 1074064528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1735 1042 1111 63 0 1672 0
vsize: 6940
[startup+680.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 611442 0 0 0 65771 2252 0 0 25 0 1 0 895362473 7106560 1042 4294967295 134512640 134716908 3221224576 3221222040 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1735 1042 1111 63 0 1672 0
vsize: 6940
[startup+690.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 621557 0 0 0 66731 2292 0 0 25 0 1 0 895362473 7106560 1042 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1735 1042 1111 63 0 1672 0
vsize: 6940
[startup+700.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 632137 0 0 0 67691 2332 0 0 25 0 1 0 895362473 7106560 1042 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1735 1042 1111 63 0 1672 0
vsize: 6940
[startup+710.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 642202 0 0 0 68656 2368 0 0 25 0 1 0 895362473 7401472 1047 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1807 1047 1111 63 0 1744 0
vsize: 7228
[startup+720.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 652521 0 0 0 69619 2406 0 0 25 0 1 0 895362473 7106560 1042 4294967295 134512640 134716908 3221224576 3221222976 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1735 1042 1111 63 0 1672 0
vsize: 6940
[startup+730.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 663014 0 0 0 70580 2445 0 0 25 0 1 0 895362473 7114752 1044 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1737 1044 1111 63 0 1674 0
vsize: 6948
[startup+740.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 674125 0 0 0 71541 2484 0 0 25 0 1 0 895362473 7106560 1042 4294967295 134512640 134716908 3221224576 3221222040 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1735 1042 1111 63 0 1672 0
vsize: 6940
[startup+750.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 683890 0 0 0 72506 2519 0 0 25 0 1 0 895362473 7106560 1042 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1735 1042 1111 63 0 1672 0
vsize: 6940
[startup+760.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 693338 0 0 0 73471 2555 0 0 25 0 1 0 895362473 7401472 1047 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1807 1047 1111 63 0 1744 0
vsize: 7228
[startup+770.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 703516 0 0 0 74434 2592 0 0 25 0 1 0 895362473 7438336 1058 4294967295 134512640 134716908 3221224576 3221220908 1076111296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1816 1058 1111 63 0 1753 0
vsize: 7264
[startup+780.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 713219 0 0 0 75399 2628 0 0 25 0 1 0 895362473 7106560 1042 4294967295 134512640 134716908 3221224576 3221222576 1074056605 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1735 1042 1111 63 0 1672 0
vsize: 6940
[startup+790.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 726160 0 0 0 76356 2671 0 0 25 0 1 0 895362473 7114752 1043 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1807 1046 1111 63 0 1744 0
vsize: 6948
[startup+800.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 737572 0 0 0 77318 2709 0 0 25 0 1 0 895362473 7106560 1042 4294967295 134512640 134716908 3221224576 3221222744 1077377229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1735 1042 1111 63 0 1672 0
vsize: 6940
[startup+810.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 750083 0 0 0 78274 2753 0 0 25 0 1 0 895362473 7106560 1042 4294967295 134512640 134716908 3221224576 3221222888 1074138195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1735 1042 1111 63 0 1672 0
vsize: 6940
[startup+820.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 761577 0 0 0 79238 2790 0 0 25 0 1 0 895362473 7106560 1042 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1772 1042 1111 63 0 1709 0
vsize: 6940
[startup+830.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 772755 0 0 0 80200 2828 0 0 25 0 1 0 895362473 7401472 1048 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1807 1049 1111 63 0 1744 0
vsize: 7228
[startup+840.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 781530 0 0 0 81169 2859 0 0 25 0 1 0 895362473 7159808 1055 4294967295 134512640 134716908 3221224576 3221222304 1075828243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 1055 1111 63 0 1685 0
vsize: 6992
[startup+850.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 789053 0 0 0 82139 2890 0 0 25 0 1 0 895362473 7159808 1055 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 1055 1111 63 0 1685 0
vsize: 6992
[startup+860.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 797082 0 0 0 83108 2921 0 0 25 0 1 0 895362473 7442432 1058 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1817 1058 1111 63 0 1754 0
vsize: 7268
[startup+870.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 804727 0 0 0 84079 2951 0 0 25 0 1 0 895362473 7159808 1055 4294967295 134512640 134716908 3221224576 3221222544 1074206916 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 1055 1111 63 0 1685 0
vsize: 6992
[startup+880.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 812870 0 0 0 85049 2980 0 0 25 0 1 0 895362473 7159808 1055 4294967295 134512640 134716908 3221224576 3221223112 1077377239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 1055 1111 63 0 1685 0
vsize: 6992
[startup+890.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 821242 0 0 0 86014 3016 0 0 25 0 1 0 895362473 7159808 1055 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1817 1058 1111 63 0 1754 0
vsize: 6992
[startup+900.057 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 829044 0 0 0 86985 3045 0 0 25 0 1 0 895362473 7299072 1056 4294967295 134512640 134716908 3221224576 3221221448 1077799011 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1817 1058 1111 63 0 1754 0
vsize: 7128
[startup+910.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 836240 0 0 0 87956 3074 0 0 25 0 1 0 895362473 7442432 1059 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1817 1059 1111 63 0 1754 0
vsize: 7268
[startup+920.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 843896 0 0 0 88925 3106 0 0 25 0 1 0 895362473 7159808 1055 4294967295 134512640 134716908 3221224576 3221222620 1077379908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 1055 1111 63 0 1685 0
vsize: 6992
[startup+930.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 851626 0 0 0 89897 3134 0 0 25 0 1 0 895362473 7159808 1055 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 1055 1111 63 0 1685 0
vsize: 6992
[startup+940.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 860302 0 0 0 90859 3172 0 0 25 0 1 0 895362473 7159808 1055 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 1055 1111 63 0 1685 0
vsize: 6992
[startup+950.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 869115 0 0 0 91825 3207 0 0 25 0 1 0 895362473 7172096 1058 4294967295 134512640 134716908 3221224576 3221222888 1074138449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1751 1058 1111 63 0 1688 0
vsize: 7004
[startup+960.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 877894 0 0 0 92795 3238 0 0 25 0 1 0 895362473 7499776 1071 4294967295 134512640 134716908 3221224576 3221221468 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1831 1072 1111 63 0 1768 0
vsize: 7324
[startup+970.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 885805 0 0 0 93766 3267 0 0 25 0 1 0 895362473 7520256 1075 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 1070 1111 63 0 1702 0
vsize: 7344
[startup+980.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 893593 0 0 0 94736 3297 0 0 25 0 1 0 895362473 7499776 1073 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1069 1111 63 0 1699 0
vsize: 7324
[startup+990.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 901642 0 0 0 95704 3329 0 0 25 0 1 0 895362473 7217152 1069 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1069 1111 63 0 1699 0
vsize: 7048
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 909134 0 0 0 96678 3356 0 0 25 0 1 0 895362473 7217152 1069 4294967295 134512640 134716908 3221224576 3221222576 1074056557 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1069 1111 63 0 1699 0
vsize: 7048
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 916656 0 0 0 97650 3384 0 0 25 0 1 0 895362473 7217152 1069 4294967295 134512640 134716908 3221224576 3221223216 134650983 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1069 1111 63 0 1699 0
vsize: 7048
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 921956 0 0 0 98628 3406 0 0 25 0 1 0 895362473 7217152 1069 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1069 1111 63 0 1699 0
vsize: 7048
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 927008 0 0 0 99609 3426 0 0 25 0 1 0 895362473 7217152 1069 4294967295 134512640 134716908 3221224576 3221222712 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1069 1111 63 0 1699 0
vsize: 7048
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 932458 0 0 0 100589 3446 0 0 25 0 1 0 895362473 7217152 1069 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1069 1111 63 0 1699 0
vsize: 7048
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 938273 0 0 0 101566 3470 0 0 25 0 1 0 895362473 7217152 1069 4294967295 134512640 134716908 3221224576 3221222888 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1069 1111 63 0 1699 0
vsize: 7048
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 944090 0 0 0 102546 3490 0 0 25 0 1 0 895362473 7217152 1069 4294967295 134512640 134716908 3221224576 3221222848 1074206185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1069 1111 63 0 1699 0
vsize: 7048
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 950305 0 0 0 103522 3514 0 0 25 0 1 0 895362473 7217152 1069 4294967295 134512640 134716908 3221224576 3221222152 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1069 1111 63 0 1699 0
vsize: 7048
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 957286 0 0 0 104494 3542 0 0 25 0 1 0 895362473 7217152 1069 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1069 1111 63 0 1699 0
vsize: 7048
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 964610 0 0 0 105469 3568 0 0 25 0 1 0 895362473 7217152 1069 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1831 1072 1111 63 0 1768 0
vsize: 7048
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 971946 0 0 0 106442 3595 0 0 25 0 1 0 895362473 7217152 1069 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1069 1111 63 0 1699 0
vsize: 7048
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 979835 0 0 0 107413 3625 0 0 25 0 1 0 895362473 7217152 1069 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1069 1111 63 0 1699 0
vsize: 7048
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 987355 0 0 0 108382 3656 0 0 25 0 1 0 895362473 7217152 1069 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1069 1111 63 0 1699 0
vsize: 7048
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 995011 0 0 0 109354 3684 0 0 25 0 1 0 895362473 7217152 1069 4294967295 134512640 134716908 3221224576 3221222152 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1069 1111 63 0 1699 0
vsize: 7048
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 1002106 0 0 0 110327 3711 0 0 25 0 1 0 895362473 7217152 1069 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1831 1072 1111 63 0 1768 0
vsize: 7048
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 1009687 0 0 0 111296 3742 0 0 25 0 1 0 895362473 7217152 1069 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1069 1111 63 0 1699 0
vsize: 7048
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 1017195 0 0 0 112264 3775 0 0 25 0 1 0 895362473 7499776 1072 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1831 1072 1111 63 0 1768 0
vsize: 7324
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 1024493 0 0 0 113237 3802 0 0 25 0 1 0 895362473 7217152 1069 4294967295 134512640 134716908 3221224576 3221222620 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1069 1111 63 0 1699 0
vsize: 7048
[startup+1174.68 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 17385
Raw data (stat): 17383 (bsolo_lpr-v2) R 17382 25568 25567 0 -1 0 1024493 0 0 0 113237 3802 0 0 25 0 1 0 895362473 7217152 1069 4294967295 134512640 134716908 3221224576 3221222620 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1069 1111 63 0 1699 0
vsize: 0

Child status: 10
Real time (s): 1174.68
CPU time (s): 1175.02
CPU user time (s): 1136.87
CPU system time (s): 38.1512
CPU usage (%): 100.029
Max. virtual memory (Kb): 7344
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	40
#### END VERIFIER DATA ####