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 39742

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-07 19:12:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27808 boxname=wulflinc3 idbench=366 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  dd81121db7c1c4b8597dd9571c707a87  /oldhome/oroussel/tmp/wulflinc3/normalized-10:10:4.5:0.5:100.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-10:10:4.5:0.5:100.opb
IDLAUNCH: 27808
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        890644 kB
Buffers:         33908 kB
Cached:          82612 kB
SwapCached:       6016 kB
Active:          45316 kB
Inactive:        78584 kB
HighTotal:      131008 kB
HighFree:        89880 kB
LowTotal:       903652 kB
LowFree:        800764 kB
SwapTotal:     2097136 kB
SwapFree:      2090192 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14480 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 19:31:52 (client local time) WITH STATUS 10 IN 1175.02 SECONDS
stats: 27808 0 1175.02 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 372 variables and 421 constraints.
c After prepocess the problem consists of 371 variables and 432 constraints.
c preprocess terminated 0.214 s
c Initial Lower Bound: 3
c Lower Bound Elapsed time: 0.04425
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 120 @ 4.044
c NEW SOLUTION FOUND: 118 @ 4.052
c NEW SOLUTION FOUND: 116 @ 4.075
c NEW SOLUTION FOUND: 113 @ 4.083
c NEW SOLUTION FOUND: 112 @ 4.196
c NEW SOLUTION FOUND: 110 @ 4.246
c NEW SOLUTION FOUND: 109 @ 4.254
c NEW SOLUTION FOUND: 108 @ 4.382
c NEW SOLUTION FOUND: 107 @ 4.441
c NEW SOLUTION FOUND: 106 @ 4.569
c NEW SOLUTION FOUND: 105 @ 4.62
c NEW SOLUTION FOUND: 104 @ 4.628
c NEW SOLUTION FOUND: 103 @ 4.756
c NEW SOLUTION FOUND: 98 @ 4.819
c NEW SOLUTION FOUND: 97 @ 4.947
c NEW SOLUTION FOUND: 96 @ 5.27
c NEW SOLUTION FOUND: 95 @ 5.436
c NEW SOLUTION FOUND: 94 @ 6.882
c NEW SOLUTION FOUND: 93 @ 7.959
c NEW SOLUTION FOUND: 92 @ 8.106
c NEW SOLUTION FOUND: 91 @ 8.399
c NEW SOLUTION FOUND: 90 @ 8.507
c NEW SOLUTION FOUND: 89 @ 8.616
c NEW SOLUTION FOUND: 88 @ 8.696
c NEW SOLUTION FOUND: 87 @ 8.859
c NEW SOLUTION FOUND: 86 @ 8.979
c NEW SOLUTION FOUND: 85 @ 9.154
c NEW SOLUTION FOUND: 84 @ 9.187
c NEW SOLUTION FOUND: 83 @ 9.408
c NEW SOLUTION FOUND: 82 @ 9.646
c NEW SOLUTION FOUND: 81 @ 9.748
c NEW SOLUTION FOUND: 80 @ 9.88
c NEW SOLUTION FOUND: 79 @ 9.946
c NEW SOLUTION FOUND: 78 @ 10.151
c NEW SOLUTION FOUND: 77 @ 10.485
c NEW SOLUTION FOUND: 76 @ 10.645
c NEW SOLUTION FOUND: 75 @ 10.861
c NEW SOLUTION FOUND: 74 @ 11.004
c NEW SOLUTION FOUND: 73 @ 11.248
c NEW SOLUTION FOUND: 72 @ 11.982
c NEW SOLUTION FOUND: 71 @ 13.246
c NEW SOLUTION FOUND: 70 @ 15.65
c NEW SOLUTION FOUND: 69 @ 30.466
c NEW SOLUTION FOUND: 68 @ 36.333
c NEW SOLUTION FOUND: 67 @ 42.757
c NEW SOLUTION FOUND: 66 @ 113.269
c NEW SOLUTION FOUND: 65 @ 139.878
c NEW SOLUTION FOUND: 64 @ 141.671
c NEW SOLUTION FOUND: 63 @ 155.532
c NEW SOLUTION FOUND: 62 @ 166.506
c NEW SOLUTION FOUND: 61 @ 186.497
c NEW SOLUTION FOUND: 60 @ 218.725
c NEW SOLUTION FOUND: 59 @ 242.12
c NEW SOLUTION FOUND: 58 @ 258.418
c NEW SOLUTION FOUND: 57 @ 271.975
c NEW SOLUTION FOUND: 56 @ 282.922
c NEW SOLUTION FOUND: 55 @ 289.323
c NEW SOLUTION FOUND: 54 @ 322.638
c NEW SOLUTION FOUND: 53 @ 323.934
c NEW SOLUTION FOUND: 52 @ 326.273
c NEW SOLUTION FOUND: 51 @ 328.173
c NEW SOLUTION FOUND: 50 @ 329.252
c NEW SOLUTION FOUND: 49 @ 353.355
c NEW SOLUTION FOUND: 48 @ 415.237
c NEW SOLUTION FOUND: 47 @ 421.295
c NEW SOLUTION FOUND: 46 @ 423.008
c NEW SOLUTION FOUND: 45 @ 517.416
c NEW SOLUTION FOUND: 44 @ 583.342
c NEW SOLUTION FOUND: 43 @ 597.77
c NEW SOLUTION FOUND: 42 @ 598.279
c NEW SOLUTION FOUND: 41 @ 622.475
c NEW SOLUTION FOUND: 40 @ 644.297
c NEW SOLUTION FOUND: 39 @ 645.143
c NEW SOLUTION FOUND: 38 @ 1099.6
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.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.92 0.98 0.94 2/54 14590
Raw data (stat): 14590 (runsolver) R 14589 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 895409185 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 7676 0 0 0 970 27 0 0 25 0 1 0 895409185 6447104 878 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1574 878 1111 63 0 1511 0
vsize: 6296
[startup+20.0003 s]
Raw data (loadavg): 0.94 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 14986 0 0 0 1935 61 0 0 25 0 1 0 895409185 6447104 878 4294967295 134512640 134716908 3221224576 3221222976 1074118867 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1574 878 1111 63 0 1511 0
vsize: 6296
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 23959 0 0 0 2900 95 0 0 25 0 1 0 895409185 6447104 878 4294967295 134512640 134716908 3221224576 3221222608 1075088330 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1574 878 1111 63 0 1511 0
vsize: 6296
[startup+40.001 s]
Raw data (loadavg): 0.96 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 31565 0 0 0 3866 129 0 0 25 0 1 0 895409185 6447104 878 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1574 878 1111 63 0 1511 0
vsize: 6296
[startup+50.0014 s]
Raw data (loadavg): 0.96 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 38266 0 0 0 4835 160 0 0 25 0 1 0 895409185 6447104 878 4294967295 134512640 134716908 3221224576 3221223020 1074020880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1574 878 1111 63 0 1511 0
vsize: 6296
[startup+60.0012 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 45280 0 0 0 5801 193 0 0 25 0 1 0 895409185 6463488 882 4294967295 134512640 134716908 3221224576 3221222992 1074116010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1578 882 1111 63 0 1515 0
vsize: 6312
[startup+70.0012 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 53650 0 0 0 6768 226 0 0 25 0 1 0 895409185 6467584 883 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1579 883 1111 63 0 1516 0
vsize: 6316
[startup+80.0022 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 63088 0 0 0 7731 263 0 0 25 0 1 0 895409185 6463488 882 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1578 882 1111 63 0 1515 0
vsize: 6312
[startup+90.0016 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 72874 0 0 0 8694 300 0 0 25 0 1 0 895409185 6488064 884 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1580 882 1111 63 0 1517 0
vsize: 6336
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 82341 0 0 0 9656 338 0 0 25 0 1 0 895409185 6463488 882 4294967295 134512640 134716908 3221224576 3221222976 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1578 882 1111 63 0 1515 0
vsize: 6312
[startup+110.002 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 93337 0 0 0 10613 382 0 0 25 0 1 0 895409185 6610944 886 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1582 885 1111 63 0 1519 0
vsize: 6456
[startup+120.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 101958 0 0 0 11577 418 0 0 25 0 1 0 895409185 6475776 882 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1578 882 1111 63 0 1515 0
vsize: 6324
[startup+130.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 111341 0 0 0 12537 458 0 0 25 0 1 0 895409185 6463488 882 4294967295 134512640 134716908 3221224576 3221223148 134613982 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1578 882 1111 63 0 1515 0
vsize: 6312
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 121758 0 0 0 13496 499 0 0 25 0 1 0 895409185 6463488 882 4294967295 134512640 134716908 3221224576 3221222280 1077377771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1578 882 1111 63 0 1515 0
vsize: 6312
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 128005 0 0 0 14471 524 0 0 25 0 1 0 895409185 6463488 882 4294967295 134512640 134716908 3221224576 3221223280 134654910 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1578 882 1111 63 0 1515 0
vsize: 6312
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 135079 0 0 0 15440 554 0 0 25 0 1 0 895409185 6533120 899 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1628 901 1111 63 0 1565 0
vsize: 6380
[startup+170.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 140837 0 0 0 16417 578 0 0 25 0 1 0 895409185 6533120 899 4294967295 134512640 134716908 3221224576 3221222336 1075133763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1595 899 1111 63 0 1532 0
vsize: 6380
[startup+180.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 147245 0 0 0 17388 607 0 0 25 0 1 0 895409185 6668288 901 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1628 901 1111 63 0 1565 0
vsize: 6512
[startup+190.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 153571 0 0 0 18360 635 0 0 25 0 1 0 895409185 6533120 899 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1628 901 1111 63 0 1565 0
vsize: 6380
[startup+200.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 159156 0 0 0 19338 657 0 0 25 0 1 0 895409185 6533120 902 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1595 902 1111 63 0 1532 0
vsize: 6380
[startup+210.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 164088 0 0 0 20317 678 0 0 25 0 1 0 895409185 6533120 902 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1595 902 1111 63 0 1532 0
vsize: 6380
[startup+220.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 170928 0 0 0 21289 707 0 0 25 0 1 0 895409185 6549504 906 4294967295 134512640 134716908 3221224576 3221223296 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1599 906 1111 63 0 1536 0
vsize: 6396
[startup+230.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 179735 0 0 0 22255 741 0 0 25 0 1 0 895409185 6569984 906 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1599 906 1111 63 0 1536 0
vsize: 6416
[startup+240.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 188095 0 0 0 23224 772 0 0 25 0 1 0 895409185 6549504 906 4294967295 134512640 134716908 3221224576 3221222576 1074056076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1599 906 1111 63 0 1536 0
vsize: 6396
[startup+250.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 194463 0 0 0 24199 797 0 0 25 0 1 0 895409185 6549504 906 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1599 906 1111 63 0 1536 0
vsize: 6396
[startup+260.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 200977 0 0 0 25170 826 0 0 25 0 1 0 895409185 6692864 910 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 3225643616 0 0 17 0 0 0
Raw data (statm): 1599 906 1111 63 0 1536 0
vsize: 6536
[startup+270.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 207716 0 0 0 26144 852 0 0 25 0 1 0 895409185 6549504 906 4294967295 134512640 134716908 3221224576 3221223216 134651140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1599 906 1111 63 0 1536 0
vsize: 6396
[startup+280.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 213592 0 0 0 27116 880 0 0 25 0 1 0 895409185 6549504 906 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1599 906 1111 63 0 1536 0
vsize: 6396
[startup+290.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 219372 0 0 0 28090 906 0 0 25 0 1 0 895409185 6549504 906 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1599 906 1111 63 0 1536 0
vsize: 6396
[startup+300.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 225296 0 0 0 29065 932 0 0 25 0 1 0 895409185 6549504 906 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1599 906 1111 63 0 1536 0
vsize: 6396
[startup+310.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 231940 0 0 0 30039 958 0 0 25 0 1 0 895409185 6549504 906 4294967295 134512640 134716908 3221224576 3221223040 1074119512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1599 906 1111 63 0 1536 0
vsize: 6396
[startup+320.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 239093 0 0 0 31008 989 0 0 25 0 1 0 895409185 6549504 906 4294967295 134512640 134716908 3221224576 3221223416 134587881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1599 906 1111 63 0 1536 0
vsize: 6396
[startup+330.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 244866 0 0 0 31984 1013 0 0 25 0 1 0 895409185 6684672 908 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1632 908 1111 63 0 1569 0
vsize: 6528
[startup+340.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 251776 0 0 0 32953 1045 0 0 25 0 1 0 895409185 6549504 906 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1599 906 1111 63 0 1536 0
vsize: 6396
[startup+350.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 258917 0 0 0 33919 1079 0 0 25 0 1 0 895409185 6549504 906 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1637 908 1111 63 0 1574 0
vsize: 6396
[startup+360.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 266920 0 0 0 34886 1112 0 0 25 0 1 0 895409185 6582272 914 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1607 914 1111 63 0 1544 0
vsize: 6428
[startup+370.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 272938 0 0 0 35863 1135 0 0 25 0 1 0 895409185 6582272 914 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1607 914 1111 63 0 1544 0
vsize: 6428
[startup+380.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 281982 0 0 0 36834 1164 0 0 25 0 1 0 895409185 6590464 916 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1646 918 1111 63 0 1583 0
vsize: 6436
[startup+390.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 291997 0 0 0 37804 1194 0 0 25 0 1 0 895409185 6590464 916 4294967295 134512640 134716908 3221224576 3221222360 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1609 916 1111 63 0 1546 0
vsize: 6436
[startup+400.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 301467 0 0 0 38769 1229 0 0 25 0 1 0 895409185 6668288 935 4294967295 134512640 134716908 3221224576 3221222400 1075143326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1628 935 1111 63 0 1565 0
vsize: 6512
[startup+410.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 309531 0 0 0 39737 1261 0 0 25 0 1 0 895409185 6594560 917 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1610 917 1111 63 0 1547 0
vsize: 6440
[startup+420.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 317694 0 0 0 40709 1291 0 0 25 0 1 0 895409185 6639616 928 4294967295 134512640 134716908 3221224576 3221222976 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1621 928 1111 63 0 1558 0
vsize: 6484
[startup+430.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 322868 0 0 0 41689 1311 0 0 25 0 1 0 895409185 6639616 928 4294967295 134512640 134716908 3221224576 3221222688 1074867299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1621 928 1111 63 0 1558 0
vsize: 6484
[startup+440.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 328628 0 0 0 42664 1336 0 0 25 0 1 0 895409185 6639616 928 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1621 928 1111 63 0 1558 0
vsize: 6484
[startup+450.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 335066 0 0 0 43637 1363 0 0 25 0 1 0 895409185 6639616 928 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1621 928 1111 63 0 1558 0
vsize: 6484
[startup+460.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 341936 0 0 0 44608 1392 0 0 25 0 1 0 895409185 6639616 928 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1621 928 1111 63 0 1558 0
vsize: 6484
[startup+470.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 347913 0 0 0 45581 1419 0 0 25 0 1 0 895409185 6639616 928 4294967295 134512640 134716908 3221224576 3221222904 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1621 928 1111 63 0 1558 0
vsize: 6484
[startup+480.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 354120 0 0 0 46550 1451 0 0 25 0 1 0 895409185 6639616 928 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1621 928 1111 63 0 1558 0
vsize: 6484
[startup+490.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 360488 0 0 0 47520 1482 0 0 25 0 1 0 895409185 6639616 928 4294967295 134512640 134716908 3221224576 3221223224 134675437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1621 928 1111 63 0 1558 0
vsize: 6484
[startup+500.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 366899 0 0 0 48491 1510 0 0 25 0 1 0 895409185 6639616 928 4294967295 134512640 134716908 3221224576 3221222876 1077374432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1621 928 1111 63 0 1558 0
vsize: 6484
[startup+510.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 372456 0 0 0 49466 1535 0 0 25 0 1 0 895409185 6774784 930 4294967295 134512640 134716908 3221224576 3221221468 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1654 930 1111 63 0 1591 0
vsize: 6616
[startup+520.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 378097 0 0 0 50441 1561 0 0 25 0 1 0 895409185 6774784 930 4294967295 134512640 134716908 3221224576 3221221176 1075850825 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1621 928 1111 63 0 1558 0
vsize: 6616
[startup+530.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 382465 0 0 0 51420 1581 0 0 25 0 1 0 895409185 6639616 928 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1621 928 1111 63 0 1558 0
vsize: 6484
[startup+540.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 387520 0 0 0 52397 1605 0 0 25 0 1 0 895409185 6795264 935 4294967295 134512640 134716908 3221224576 3221221560 1074831910 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1659 935 1111 63 0 1596 0
vsize: 6636
[startup+550.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 391552 0 0 0 53380 1622 0 0 25 0 1 0 895409185 6660096 933 4294967295 134512640 134716908 3221224576 3221222976 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1626 933 1111 63 0 1563 0
vsize: 6504
[startup+560.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 395790 0 0 0 54364 1638 0 0 25 0 1 0 895409185 6660096 933 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1626 933 1111 63 0 1563 0
vsize: 6504
[startup+570.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 399873 0 0 0 55346 1656 0 0 25 0 1 0 895409185 6660096 933 4294967295 134512640 134716908 3221224576 3221223272 134675281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1626 933 1111 63 0 1563 0
vsize: 6504
[startup+580.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 404147 0 0 0 56328 1674 0 0 25 0 1 0 895409185 6660096 933 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1626 933 1111 63 0 1563 0
vsize: 6504
[startup+590.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 408490 0 0 0 57310 1693 0 0 25 0 1 0 895409185 6795264 935 4294967295 134512640 134716908 3221224576 3221221152 1076048914 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1659 935 1111 63 0 1596 0
vsize: 6636
[startup+600.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 412645 0 0 0 58289 1714 0 0 25 0 1 0 895409185 6660096 933 4294967295 134512640 134716908 3221224576 3221223216 134651168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1626 933 1111 63 0 1563 0
vsize: 6504
[startup+610.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 416536 0 0 0 59271 1732 0 0 25 0 1 0 895409185 6660096 933 4294967295 134512640 134716908 3221224576 3221222888 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1626 933 1111 63 0 1563 0
vsize: 6504
[startup+620.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 420826 0 0 0 60251 1753 0 0 25 0 1 0 895409185 6660096 933 4294967295 134512640 134716908 3221224576 3221222544 1075809102 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1626 933 1111 63 0 1563 0
vsize: 6504
[startup+630.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 424863 0 0 0 61234 1770 0 0 25 0 1 0 895409185 6660096 933 4294967295 134512640 134716908 3221224576 3221222224 1075818298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1626 933 1111 63 0 1563 0
vsize: 6504
[startup+640.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 430044 0 0 0 62214 1790 0 0 25 0 1 0 895409185 6660096 933 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1626 933 1111 63 0 1563 0
vsize: 6504
[startup+650.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 434702 0 0 0 63195 1809 0 0 25 0 1 0 895409185 6660096 933 4294967295 134512640 134716908 3221224576 3221222976 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1626 933 1111 63 0 1563 0
vsize: 6504
[startup+660.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 440699 0 0 0 64171 1833 0 0 25 0 1 0 895409185 6688768 940 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1633 940 1111 63 0 1570 0
vsize: 6532
[startup+670.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 444743 0 0 0 65154 1850 0 0 25 0 1 0 895409185 6688768 940 4294967295 134512640 134716908 3221224576 3221222892 1073970184 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1633 940 1111 63 0 1570 0
vsize: 6532
[startup+680.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 449380 0 0 0 66136 1869 0 0 25 0 1 0 895409185 6688768 940 4294967295 134512640 134716908 3221224576 3221223168 134535032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1633 940 1111 63 0 1570 0
vsize: 6532
[startup+690.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 453253 0 0 0 67120 1885 0 0 25 0 1 0 895409185 6688768 940 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 942 1111 63 0 1603 0
vsize: 6532
[startup+700.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 458043 0 0 0 68102 1903 0 0 25 0 1 0 895409185 6823936 942 4294967295 134512640 134716908 3221224576 3221221232 1075966723 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 942 1111 63 0 1603 0
vsize: 6664
[startup+710.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 465200 0 0 0 69077 1928 0 0 25 0 1 0 895409185 6688768 940 4294967295 134512640 134716908 3221224576 3221222224 1074247381 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1633 940 1111 63 0 1570 0
vsize: 6532
[startup+720.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 471707 0 0 0 70051 1955 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+730.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 476741 0 0 0 71027 1978 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+740.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 481909 0 0 0 72005 2000 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+750.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 486437 0 0 0 72985 2021 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221222304 1075828215 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+760.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 491093 0 0 0 73965 2041 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+770.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 496255 0 0 0 74943 2063 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+780.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 501357 0 0 0 75920 2086 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221222760 1077377604 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+790.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 506323 0 0 0 76899 2107 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+800.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 511489 0 0 0 77875 2131 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221222976 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+810.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 516443 0 0 0 78854 2152 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+820.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 521283 0 0 0 79834 2173 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1691 967 1111 63 0 1628 0
vsize: 6632
[startup+830.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 526289 0 0 0 80809 2198 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221222576 1074051652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+840.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 531305 0 0 0 81788 2219 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+850.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 536117 0 0 0 82765 2243 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221222624 1074140566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+860.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 541189 0 0 0 83741 2266 0 0 25 0 1 0 895409185 6926336 967 4294967295 134512640 134716908 3221224576 3221221496 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1691 967 1111 63 0 1628 0
vsize: 6764
[startup+870.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 546409 0 0 0 84721 2287 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+880.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 551491 0 0 0 85699 2309 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221222220 1075817331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+890.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 555973 0 0 0 86676 2332 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+900.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 560495 0 0 0 87655 2354 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221223168 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+910.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 565351 0 0 0 88632 2377 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221222400 1075823328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+920.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 570515 0 0 0 89608 2401 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+930.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 575389 0 0 0 90586 2423 0 0 25 0 1 0 895409185 6926336 967 4294967295 134512640 134716908 3221224576 3221221104 1076046625 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6764
[startup+940.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 580125 0 0 0 91566 2443 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+950.027 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 584695 0 0 0 92543 2466 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+960.027 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 589863 0 0 0 93518 2491 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221222520 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+970.027 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 595155 0 0 0 94493 2517 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221223488 134575303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+980.028 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 600823 0 0 0 95466 2544 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221222928 1073986840 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+990.027 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 606431 0 0 0 96440 2570 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221222576 1074913440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 612093 0 0 0 97410 2600 0 0 25 0 1 0 895409185 6926336 967 4294967295 134512640 134716908 3221224576 3221221496 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1691 967 1111 63 0 1628 0
vsize: 6764
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 617699 0 0 0 98381 2630 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221222760 1077377398 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 622579 0 0 0 99358 2653 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 627743 0 0 0 100334 2677 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221223244 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 633387 0 0 0 101308 2703 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221223328 134604485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 639051 0 0 0 102281 2731 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221223168 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 644363 0 0 0 103256 2756 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221222764 1075605050 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 649575 0 0 0 104230 2781 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221223116 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 654563 0 0 0 105208 2804 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 659534 0 0 0 106184 2827 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221222852 1077374543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 664489 0 0 0 107164 2849 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 669331 0 0 0 108140 2872 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 674663 0 0 0 109112 2900 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1691 965 1111 63 0 1628 0
vsize: 6632
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 680071 0 0 0 110085 2927 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221222844 1073960008 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 685499 0 0 0 111060 2953 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221223256 134558807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 690987 0 0 0 112035 2977 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 696415 0 0 0 113011 3002 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221222920 1074153517 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 701755 0 0 0 113989 3024 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 6632
[startup+1174.92 s]
Raw data (loadavg): 0.99 0.98 0.94 1/53 14590
Raw data (stat): 14590 (bsolo_lpr-v2) R 14589 20224 20223 0 -1 0 701755 0 0 0 113989 3024 0 0 25 0 1 0 895409185 6791168 965 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 965 1111 63 0 1595 0
vsize: 0

Child status: 10
Real time (s): 1174.92
CPU time (s): 1175.02
CPU user time (s): 1144.67
CPU system time (s): 30.3534
CPU usage (%): 100.009
Max. virtual memory (Kb): 6764
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	38
#### END VERIFIER DATA ####