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:98.opb
MD5SUM	ac510382bae6003fe0373ad32fd0064f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5
Optimality of the best value was proved	NO
Number of terms in the objective function	411
Biggest coefficient in the objective function	268
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	1129
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	268
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	1129
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.03584
Number of variables	411
Total number of constraints	887
Number of constraints which are clauses	387
Number of constraints which are cardinality constraints (but not clauses)	500
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 39744

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-07 19:17:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27810 boxname=wulflinc4 idbench=368 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  ac510382bae6003fe0373ad32fd0064f  /oldhome/oroussel/tmp/wulflinc4/normalized-10:10:4.5:0.95:98.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-10:10:4.5:0.95:98.opb
IDLAUNCH: 27810
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        911156 kB
Buffers:         33984 kB
Cached:          66828 kB
SwapCached:        984 kB
Active:          37736 kB
Inactive:        65204 kB
HighTotal:      131008 kB
HighFree:        93100 kB
LowTotal:       903652 kB
LowFree:        818056 kB
SwapTotal:     2097136 kB
SwapFree:      2095204 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4924 kB
Slab:            14880 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 19:37:11 (client local time) WITH STATUS 10 IN 1175.02 SECONDS
stats: 27810 0 1175.02 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 411 variables and 477 constraints.
c After prepocess the problem consists of 410 variables and 492 constraints.
c preprocess terminated 0.255 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0.0715
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 124 @ 5.849
c NEW SOLUTION FOUND: 122 @ 5.865
c NEW SOLUTION FOUND: 121 @ 5.906
c NEW SOLUTION FOUND: 120 @ 5.913
c NEW SOLUTION FOUND: 119 @ 5.946
c NEW SOLUTION FOUND: 118 @ 5.975
c NEW SOLUTION FOUND: 116 @ 6.028
c NEW SOLUTION FOUND: 115 @ 6.107
c NEW SOLUTION FOUND: 114 @ 6.19
c NEW SOLUTION FOUND: 112 @ 6.233
c NEW SOLUTION FOUND: 111 @ 6.378
c NEW SOLUTION FOUND: 110 @ 6.499
c NEW SOLUTION FOUND: 109 @ 6.703
c NEW SOLUTION FOUND: 108 @ 6.774
c NEW SOLUTION FOUND: 107 @ 7.112
c NEW SOLUTION FOUND: 106 @ 7.249
c NEW SOLUTION FOUND: 105 @ 9.504
c NEW SOLUTION FOUND: 104 @ 9.967
c NEW SOLUTION FOUND: 103 @ 10.199
c NEW SOLUTION FOUND: 102 @ 11.018
c NEW SOLUTION FOUND: 101 @ 11.614
c NEW SOLUTION FOUND: 100 @ 11.813
c NEW SOLUTION FOUND: 99 @ 12.033
c NEW SOLUTION FOUND: 98 @ 12.252
c NEW SOLUTION FOUND: 97 @ 12.405
c NEW SOLUTION FOUND: 96 @ 12.48
c NEW SOLUTION FOUND: 95 @ 12.588
c NEW SOLUTION FOUND: 94 @ 12.707
c NEW SOLUTION FOUND: 93 @ 13.046
c NEW SOLUTION FOUND: 92 @ 13.265
c NEW SOLUTION FOUND: 91 @ 13.696
c NEW SOLUTION FOUND: 90 @ 13.749
c NEW SOLUTION FOUND: 89 @ 13.949
c NEW SOLUTION FOUND: 88 @ 14.007
c NEW SOLUTION FOUND: 87 @ 14.7
c NEW SOLUTION FOUND: 86 @ 14.876
c NEW SOLUTION FOUND: 85 @ 16.259
c NEW SOLUTION FOUND: 84 @ 16.384
c NEW SOLUTION FOUND: 83 @ 16.589
c NEW SOLUTION FOUND: 81 @ 16.622
c NEW SOLUTION FOUND: 80 @ 16.972
c NEW SOLUTION FOUND: 79 @ 17.073
c NEW SOLUTION FOUND: 77 @ 17.691
c NEW SOLUTION FOUND: 76 @ 18.233
c NEW SOLUTION FOUND: 75 @ 18.256
c NEW SOLUTION FOUND: 74 @ 20.093
c NEW SOLUTION FOUND: 73 @ 20.109
c NEW SOLUTION FOUND: 72 @ 37.686
c NEW SOLUTION FOUND: 71 @ 37.765
c NEW SOLUTION FOUND: 69 @ 42.025
c NEW SOLUTION FOUND: 68 @ 45.247
c NEW SOLUTION FOUND: 67 @ 45.382
c NEW SOLUTION FOUND: 66 @ 46.94
c NEW SOLUTION FOUND: 64 @ 48.101
c NEW SOLUTION FOUND: 62 @ 49.903
c NEW SOLUTION FOUND: 60 @ 52.829
c NEW SOLUTION FOUND: 58 @ 56.805
c NEW SOLUTION FOUND: 56 @ 65.962
c NEW SOLUTION FOUND: 55 @ 74.359
c NEW SOLUTION FOUND: 54 @ 74.659
c NEW SOLUTION FOUND: 53 @ 79.083
c NEW SOLUTION FOUND: 52 @ 79.198
c NEW SOLUTION FOUND: 51 @ 90.611
c NEW SOLUTION FOUND: 50 @ 105.478
c NEW SOLUTION FOUND: 49 @ 107.927
c NEW SOLUTION FOUND: 48 @ 116.993
c NEW SOLUTION FOUND: 47 @ 121.643
c NEW SOLUTION FOUND: 46 @ 136.215
c NEW SOLUTION FOUND: 45 @ 156.283
c NEW SOLUTION FOUND: 44 @ 200.823
c NEW SOLUTION FOUND: 43 @ 223.561
c NEW SOLUTION FOUND: 42 @ 270.508
c NEW SOLUTION FOUND: 41 @ 333.063
c NEW SOLUTION FOUND: 40 @ 422.324
c NEW SOLUTION FOUND: 39 @ 938.087
c NEW SOLUTION FOUND: 38 @ 1154.18
c NEW SOLUTION FOUND: 37 @ 1164.53
s SATISFIABLE
v v294 -v230 v205 v190 -v138 v293 -v210 v191 v142 -v358 v301 v278 -v234 v209 v195 v295 -v232 v194 -v357 v296 v212 v192 -v118 -v361 -v297 -v233 v213 v193 v179 -v82 v237 -v216 v178 -v163 -v117 v81 -v362 -v214 v121 v83 -v215 v180 -v162 v84 v183 -v167 v122 v85 -v304 -v274 -v229 v189 v137 -v305 v204 v188 v141 -v384 -v300 v277 -v235 v206 v199 v211 -v359 v312 -v298 v238 v208 -v36 -v363 v316 v236 -v217 -v174 -v173 -v119 v123 -v365 v181 -v164 v88 -v366 v182 v166 v89 -v380 -v302 -v273 -v227 v202 v139 -v353 -v231 v203 v143 -v383 -v352 v279 v228 -v198 -v32 v239 v207 v113 -v360 v311 -v299 -v225 -v196 -v145 v112 -v35 -v364 v315 -v221 -v158 -v146 -v368 v282 -v220 -v157 -v120 v87 -v367 -v175 v124 v86 -v341 -v176 v165 -v125 -v70 v177 v168 -v126 -v74 -v379 -v303 -v275 v200 v140 -v226 v144 v396 -v385 v280 -v247 -v222 -v148 -v31 -v400 -v354 -v243 -v224 -v147 -v355 v313 v283 -v242 -v197 -v37 -v7 v356 v317 v281 v114 -v11 -v388 -v372 v337 -v218 v115 -v100 -v159 v116 -v340 v319 -v219 v186 -v160 -v130 -v69 -v40 v320 v187 v161 -v73 -v381 v271 -v244 -v201 v136 -v27 -v307 -v276 -v246 -v223 v135 v395 -v386 v306 v272 -v152 -v33 -v399 v284 -v389 -v375 v314 -v240 -v96 -v38 -v6 -v387 -v376 v318 -v10 -v371 v336 v322 -v241 v185 -v133 -v99 -v41 v321 v184 -v134 -v39 -v369 -v342 v254 v171 -v129 -v71 -v258 v172 -v75 -v378 -v264 -v245 v155 -v382 v270 v156 -v26 v397 -v374 -v292 -v151 -v28 -v401 v390 -v373 v308 -v288 -v34 -v332 v309 -v287 -v149 -v132 -v95 v30 v8 v310 -v131 -v65 v42 -v12 -v403 v338 -v326 -v170 -v101 -v64 -v404 -v169 -v370 -v343 v253 -v127 -v72 -v60 -v14 -v257 -v76 -v15 -v289 v263 v153 v377 -v291 -v2 v398 -v91 -v1 -v402 v394 -v29 -v406 v393 v329 -v285 -v150 -v97 -v50 v9 -v405 -v331 v330 v46 -v13 -v333 -v325 -v286 -v102 -v56 -v45 v17 v339 -v66 v16 v335 -v323 v255 -v128 -v103 -v67 v59 -v344 -v259 -v104 v68 -v290 v265 -v154 -v328 -v47 v327 -v90 -v49 -v3 -v410 v391 v267 -v92 -v4 v249 -v98 v5 v392 v248 v94 -v55 -v43 -v21 v334 -v105 -v351 -v324 v256 v79 v61 -v44 v347 -v260 v80 -v48 v268 v266 -v409 v53 -v24 -v93 -v25 -v407 -v348 v111 -v78 v57 -v20 -v350 v250 v108 -v77 v251 v106 v62 -v18 -v345 v252 v269 -v23 -v22 v110 -v349 v109 v52 -v408 v51 v58 v262 v107 v54 -v19 -v346 v261 v63 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.97 0.92 2/54 19223
Raw data (stat): 19223 (runsolver) R 19222 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 895440049 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+9.99961 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 8799 0 0 0 967 30 0 0 25 0 1 0 895440049 6504448 892 4294967295 134512640 134716908 3221224576 3221223184 134538828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1588 892 1111 63 0 1525 0
vsize: 6352
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 21276 0 0 0 1923 74 0 0 25 0 1 0 895440049 6819840 904 4294967295 134512640 134716908 3221224576 3221220800 1074791781 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1665 904 1111 63 0 1602 0
vsize: 6660
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 37495 0 0 0 2871 126 0 0 25 0 1 0 895440049 6574080 911 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1605 911 1111 63 0 1542 0
vsize: 6420
[startup+40.0012 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 52753 0 0 0 3819 178 0 0 25 0 1 0 895440049 6594560 916 4294967295 134512640 134716908 3221224576 3221222688 1074867209 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1610 916 1111 63 0 1547 0
vsize: 6440
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 62626 0 0 0 4785 212 0 0 25 0 1 0 895440049 6922240 931 4294967295 134512640 134716908 3221224576 3221221600 1074810452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1690 931 1111 63 0 1627 0
vsize: 6760
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 72365 0 0 0 5749 248 0 0 25 0 1 0 895440049 6897664 925 4294967295 134512640 134716908 3221224576 3221220848 1074961493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1684 925 1111 63 0 1621 0
vsize: 6736
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 82161 0 0 0 6714 284 0 0 25 0 1 0 895440049 6672384 935 4294967295 134512640 134716908 3221224576 3221223172 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1629 935 1111 63 0 1566 0
vsize: 6516
[startup+80.0036 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 92229 0 0 0 7678 319 0 0 25 0 1 0 895440049 6672384 935 4294967295 134512640 134716908 3221224576 3221222152 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1629 935 1111 63 0 1566 0
vsize: 6516
[startup+90.0053 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 100616 0 0 0 8650 348 0 0 25 0 1 0 895440049 6791168 964 4294967295 134512640 134716908 3221224576 3221223040 1073990251 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 964 1111 63 0 1595 0
vsize: 6632
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 108952 0 0 0 9621 377 0 0 25 0 1 0 895440049 7069696 968 4294967295 134512640 134716908 3221224576 3221221344 1076083606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 968 1111 63 0 1663 0
vsize: 6904
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 117074 0 0 0 10592 406 0 0 25 0 1 0 895440049 6791168 964 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1658 964 1111 63 0 1595 0
vsize: 6632
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 125683 0 0 0 11563 435 0 0 25 0 1 0 895440049 6836224 975 4294967295 134512640 134716908 3221224576 3221221756 1074207168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1669 975 1111 63 0 1606 0
vsize: 6676
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 133255 0 0 0 12535 463 0 0 25 0 1 0 895440049 6836224 975 4294967295 134512640 134716908 3221224576 3221222756 1077378730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1669 975 1111 63 0 1606 0
vsize: 6676
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 140378 0 0 0 13509 489 0 0 25 0 1 0 895440049 6987776 979 4294967295 134512640 134716908 3221224576 3221222804 1077379555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1706 979 1111 63 0 1643 0
vsize: 6824
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 147217 0 0 0 14482 516 0 0 25 0 1 0 895440049 7143424 986 4294967295 134512640 134716908 3221224576 3221220792 1074794353 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1744 986 1111 63 0 1681 0
vsize: 6976
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 156696 0 0 0 15451 547 0 0 25 0 1 0 895440049 6901760 991 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1685 991 1111 63 0 1622 0
vsize: 6740
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 165946 0 0 0 16420 578 0 0 25 0 1 0 895440049 6897664 990 4294967295 134512640 134716908 3221224576 3221223320 134558576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1684 990 1111 63 0 1621 0
vsize: 6736
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 174295 0 0 0 17389 609 0 0 25 0 1 0 895440049 6897664 990 4294967295 134512640 134716908 3221224576 3221222620 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1684 990 1111 63 0 1621 0
vsize: 6736
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 183319 0 0 0 18354 644 0 0 25 0 1 0 895440049 6897664 990 4294967295 134512640 134716908 3221224576 3221222992 1074115905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1684 990 1111 63 0 1621 0
vsize: 6736
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 193102 0 0 0 19323 676 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221222976 1074118820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 201888 0 0 0 20290 709 0 0 25 0 1 0 895440049 7237632 1009 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 7068
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 210528 0 0 0 21260 739 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 218928 0 0 0 22226 773 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 227544 0 0 0 23194 805 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221222760 1077377425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 235798 0 0 0 24164 835 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221222928 1074142746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 244039 0 0 0 25136 863 0 0 25 0 1 0 895440049 7237632 1008 4294967295 134512640 134716908 3221224576 3221221604 1075277448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1767 1008 1111 63 0 1704 0
vsize: 7068
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 251472 0 0 0 26109 891 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 259965 0 0 0 27078 922 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 268430 0 0 0 28048 952 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221222324 1077377141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 276399 0 0 0 29017 983 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221223280 134654859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 284323 0 0 0 29988 1012 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221223336 134558582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 293683 0 0 0 30952 1048 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 302098 0 0 0 31924 1077 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 310421 0 0 0 32892 1109 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221222856 1077377866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 319001 0 0 0 33862 1139 0 0 25 0 1 0 895440049 7237632 1009 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1733 1007 1111 63 0 1670 0
vsize: 7068
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 326833 0 0 0 34834 1168 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221222960 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 335758 0 0 0 35800 1201 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221222896 1074057703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 342461 0 0 0 36773 1229 0 0 25 0 1 0 895440049 7237632 1008 4294967295 134512640 134716908 3221224576 3221221232 1075966765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1716 1006 1111 63 0 1653 0
vsize: 7068
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 349367 0 0 0 37747 1255 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 356852 0 0 0 38717 1285 0 0 25 0 1 0 895440049 7237632 1008 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 7068
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 364738 0 0 0 39688 1314 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221223416 134558576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 372432 0 0 0 40660 1342 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 380190 0 0 0 41630 1373 0 0 25 0 1 0 895440049 7098368 1006 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1767 1008 1111 63 0 1704 0
vsize: 6932
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 386300 0 0 0 42611 1392 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 392890 0 0 0 43585 1418 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 399952 0 0 0 44556 1447 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1733 1005 1111 63 0 1670 0
vsize: 6796
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 406941 0 0 0 45530 1474 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221222964 1074153266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 415114 0 0 0 46502 1502 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 422880 0 0 0 47474 1529 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 429477 0 0 0 48450 1554 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221222496 1075799437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 438324 0 0 0 49417 1588 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221222724 1077379755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 447082 0 0 0 50381 1623 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221223148 1076999581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 455695 0 0 0 51352 1653 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 464938 0 0 0 52318 1687 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221223168 134652541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 473472 0 0 0 53284 1721 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1767 1006 1111 63 0 1704 0
vsize: 6796
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 481889 0 0 0 54253 1752 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221223152 134542598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 489854 0 0 0 55223 1782 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 497584 0 0 0 56192 1814 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221222400 1075823233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 505739 0 0 0 57161 1845 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1767 1008 1111 63 0 1704 0
vsize: 6796
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 513645 0 0 0 58132 1874 0 0 25 0 1 0 895440049 7098368 1005 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1767 1008 1111 63 0 1704 0
vsize: 6932
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 521031 0 0 0 59105 1901 0 0 25 0 1 0 895440049 7237632 1009 4294967295 134512640 134716908 3221224576 3221220804 1075114937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1767 1009 1111 63 0 1704 0
vsize: 7068
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 528178 0 0 0 60079 1928 0 0 25 0 1 0 895440049 7098368 1006 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6932
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 534301 0 0 0 61057 1949 0 0 25 0 1 0 895440049 7237632 1009 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1767 1009 1111 63 0 1704 0
vsize: 7068
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 540282 0 0 0 62034 1973 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 546049 0 0 0 63013 1994 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221222152 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 551562 0 0 0 63994 2013 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 558804 0 0 0 64969 2038 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 565405 0 0 0 65942 2065 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221222828 1077404766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 572721 0 0 0 66914 2094 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221222708 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 580083 0 0 0 67887 2121 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221223024 1073990306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 586792 0 0 0 68862 2146 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221223284 134603388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 594108 0 0 0 69834 2174 0 0 25 0 1 0 895440049 7237632 1009 4294967295 134512640 134716908 3221224576 3221220608 1074790402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1767 1009 1111 63 0 1704 0
vsize: 7068
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 601298 0 0 0 70809 2199 0 0 25 0 1 0 895440049 6959104 1005 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 1005 1111 63 0 1636 0
vsize: 6796
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 609157 0 0 0 71782 2227 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221222640 1074820355 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 616526 0 0 0 72752 2257 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221223272 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 624414 0 0 0 73723 2286 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1788 1027 1111 63 0 1725 0
vsize: 6880
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 632714 0 0 0 74690 2319 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 640306 0 0 0 75662 2347 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 648314 0 0 0 76633 2377 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 657570 0 0 0 77597 2413 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221222928 1074142880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 666501 0 0 0 78561 2449 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 674592 0 0 0 79531 2479 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 682817 0 0 0 80502 2508 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221223280 134654880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 691069 0 0 0 81469 2541 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1788 1029 1111 63 0 1725 0
vsize: 6880
[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 698918 0 0 0 82440 2571 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221222140 1077379950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+860.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 707008 0 0 0 83407 2604 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 715140 0 0 0 84377 2634 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 723566 0 0 0 85345 2666 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221222888 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 732209 0 0 0 86314 2698 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221222732 1074859524 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 740289 0 0 0 87287 2724 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221222252 1077404726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+910.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 748122 0 0 0 88258 2754 0 0 25 0 1 0 895440049 7323648 1028 4294967295 134512640 134716908 3221224576 3221221468 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1788 1029 1111 63 0 1725 0
vsize: 7152
[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 756618 0 0 0 89225 2787 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+930.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 764807 0 0 0 90196 2816 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221222976 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+940.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 773454 0 0 0 91164 2848 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+950.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 780794 0 0 0 92136 2876 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221222980 1077374508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+960.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 787679 0 0 0 93110 2902 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221222760 1077378323 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+970.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 794656 0 0 0 94082 2930 0 0 25 0 1 0 895440049 7323648 1029 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+980.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 801087 0 0 0 95057 2955 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+990.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 807926 0 0 0 96030 2983 0 0 25 0 1 0 895440049 7323648 1028 4294967295 134512640 134716908 3221224576 3221221468 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1788 1029 1111 63 0 1725 0
vsize: 7152
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 815198 0 0 0 97002 3011 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221222928 1074142975 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 822427 0 0 0 97974 3039 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221222948 1074208564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 830116 0 0 0 98944 3069 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 838311 0 0 0 99915 3098 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 845109 0 0 0 100890 3123 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 852060 0 0 0 101867 3147 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 859289 0 0 0 102840 3174 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221222688 1074867278 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 866655 0 0 0 103812 3202 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221223168 134698481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 873309 0 0 0 104784 3230 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221222304 1075828201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 880680 0 0 0 105756 3258 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221222976 1074119062 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 887833 0 0 0 106730 3285 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221222760 1077378310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 894525 0 0 0 107706 3309 0 0 25 0 1 0 895440049 7323648 1030 4294967295 134512640 134716908 3221224576 3221220960 1075895984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1788 1030 1111 63 0 1725 0
vsize: 7152
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 902454 0 0 0 108676 3339 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 909485 0 0 0 109650 3365 0 0 25 0 1 0 895440049 7045120 1026 4294967295 134512640 134716908 3221224576 3221222224 1075818228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 1026 1111 63 0 1657 0
vsize: 6880
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 917257 0 0 0 110620 3395 0 0 25 0 1 0 895440049 7049216 1027 4294967295 134512640 134716908 3221224576 3221223216 134652452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1721 1027 1111 63 0 1658 0
vsize: 6884
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 925829 0 0 0 111588 3427 0 0 25 0 1 0 895440049 7049216 1027 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1721 1027 1111 63 0 1658 0
vsize: 6884
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 934272 0 0 0 112555 3460 0 0 25 0 1 0 895440049 7327744 1031 4294967295 134512640 134716908 3221224576 3221220828 1077410128 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1789 1031 1111 63 0 1726 0
vsize: 7156
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 942373 0 0 0 113522 3493 0 0 25 0 1 0 895440049 7049216 1027 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1789 1030 1111 63 0 1726 0
vsize: 6884
[startup+1174.89 s]
Raw data (loadavg): 0.99 0.97 0.92 1/53 19223
Raw data (stat): 19223 (bsolo_lpr-v2) R 19222 21152 21151 0 -1 0 942373 0 0 0 113522 3493 0 0 25 0 1 0 895440049 7049216 1027 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1789 1030 1111 63 0 1726 0
vsize: 0

Child status: 10
Real time (s): 1174.89
CPU time (s): 1175.02
CPU user time (s): 1139.94
CPU system time (s): 35.0737
CPU usage (%): 100.011
Max. virtual memory (Kb): 7156
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	37
#### END VERIFIER DATA ####