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

Namenormalized-opb/submitted/manquinho/ttp/normalized-circ6_3.opb
MD5SUM509cfdb6810b13d9963718243e9046cd
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 66
Optimality of the best value was proved NO
Number of terms in the objective function 180
Biggest coefficient in the objective function 3
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 324
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 324
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1175.98
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20

Trace number 39635

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        874168 kB
Buffers:         33852 kB
Cached:          95724 kB
SwapCached:       7036 kB
Active:          43684 kB
Inactive:        94008 kB
HighTotal:      131008 kB
HighFree:        94556 kB
LowTotal:       903652 kB
LowFree:        779612 kB
SwapTotal:     2097136 kB
SwapFree:      2089016 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5700 kB
Slab:            17116 kB
Committed_AS:    92684 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 15:37:58 (client local time) WITH STATUS 10 IN 1175.98 SECONDS
stats: 27700 0 1175.98 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 540 variables and 4626 constraints.
c After prepocess the problem consists of 540 variables and 4384 constraints.
c preprocess terminated 6.677 s
c Initial Lower Bound: 48
c Lower Bound Elapsed time: 3.8765
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 84 @ 41.827
c NEW SOLUTION FOUND: 82 @ 46.321
c NEW SOLUTION FOUND: 76 @ 497.051
s SATISFIABLE
v v361 v362 -v363 -v364 v365 v366 -v367 -v368 -v369 -v370 -v371 -v372 v373 -v374 -v375 v376 -v377 -v378 -v379 -v380 v381 -v382 -v383 -v384 -v385 -v386 -v387 -v388 -v389 v390 v391 -v392 -v393 -v394 -v395 v396 v397 -v398 -v399 v400 -v401 -v402 v403 -v404 -v405 -v406 -v407 -v408 v409 -v410 -v411 v412 -v413 -v414 -v415 -v416 v417 -v418 -v419 -v420 -v421 v422 -v423 -v424 -v425 -v426 v427 -v428 -v429 -v430 -v431 -v432 v433 -v434 v435 -v436 -v437 -v438 v439 -v440 -v441 v442 -v443 -v444 -v445 v446 -v447 -v448 -v449 -v450 -v451 -v452 -v453 v454 -v455 -v456 v457 -v458 -v459 -v460 -v461 -v462 v463 -v464 -v465 -v466 v467 -v468 -v469 v470 -v471 -v472 -v473 v474 -v475 v476 -v477 -v478 -v479 -v480 -v481 -v482 -v483 v484 -v485 -v486 -v487 -v488 v489 -v490 -v491 -v492 -v493 v494 -v495 -v496 v497 -v498 -v499 -v500 -v501 -v502 v503 v504 v505 v506 -v507 -v508 -v509 -v510 -v511 -v512 -v513 -v514 v515 -v516 -v517 -v518 -v519 v520 v521 -v522 -v523 -v524 -v525 -v526 -v527 -v528 -v529 v530 -v531 v532 -v533 -v534 -v535 -v536 -v537 v538 v539 v540 v2 -v38 -v74 -v110 -v146 -v182 -v218 -v254 -v290 -v326 -v3 -v39 -v75 -v111 v147 -v183 -v219 -v255 -v291 -v327 -v4 -v40 -v76 -v112 -v148 v184 -v220 -v256 -v292 -v328 -v5 -v41 -v77 -v113 -v149 -v185 -v221 -v257 -v293 v329 -v6 -v42 -v78 -v114 -v150 -v186 -v222 -v258 v294 -v330 -v7 -v43 v79 -v115 -v151 -v187 -v223 -v259 -v295 -v331 -v9 -v45 -v81 -v117 -v153 v189 -v225 -v261 -v297 -v333 -v10 -v46 -v82 -v118 -v154 -v190 v226 -v262 -v298 -v334 -v11 -v47 -v83 -v119 -v155 -v191 -v227 v263 -v299 -v335 -v12 -v48 -v84 -v120 -v156 -v192 -v228 -v264 -v300 v336 -v13 -v49 -v85 -v121 -v157 -v193 -v229 v265 -v301 -v337 -v14 -v50 -v86 v122 -v158 -v194 -v230 -v266 -v302 -v338 -v16 v52 -v88 -v124 -v160 -v196 -v232 -v268 -v304 -v340 -v17 -v53 v89 -v125 -v161 -v197 -v233 -v269 -v305 -v341 -v18 -v54 -v90 -v126 -v162 -v198 v234 -v270 -v306 -v342 -v19 -v55 -v91 v127 -v163 -v199 -v235 -v271 -v307 -v343 -v20 -v56 -v92 -v128 -v164 -v200 -v236 -v272 v308 -v344 -v21 -v57 -v93 -v129 -v165 -v201 -v237 -v273 -v309 v345 -v23 -v59 -v95 -v131 v167 -v203 -v239 -v275 -v311 -v347 -v24 -v60 v96 -v132 -v168 -v204 -v240 -v276 -v312 -v348 -v25 -v61 -v97 -v133 -v169 -v205 v241 -v277 -v313 -v349 -v26 v62 -v98 -v134 -v170 -v206 -v242 -v278 -v314 -v350 -v27 -v63 -v99 -v135 -v171 -v207 -v243 -v279 v315 -v351 v28 -v64 -v100 -v136 -v172 -v208 -v244 -v280 -v316 -v352 -v30 -v66 -v102 -v138 -v174 v210 -v246 -v282 -v318 -v354 -v31 v67 -v103 -v139 -v175 -v211 -v247 -v283 -v319 -v355 -v32 -v68 -v104 -v140 v176 -v212 -v248 -v284 -v320 -v356 v33 -v69 -v105 -v141 -v177 -v213 -v249 -v285 -v321 -v357 -v34 -v70 -v106 -v142 -v178 -v214 -v250 v286 -v322 -v358 -v35 -v71 -v107 v143 -v179 -v215 -v251 -v287 -v323 -v359 v8 v44 -v80 v116 v152 -v188 -v224 -v260 v296 -v332 v15 -v51 -v87 -v123 v159 v195 -v231 -v267 v303 v339 v22 v58 -v94 -v130 -v166 v202 v238 v274 -v310 -v346 -v29 -v65 v101 v137 v173 -v209 -v245 v281 -v317 v353 -v36 -v72 v108 -v144 -v180 v216 v252 -v288 v324 v360 -v1 v37 v73 v109 -v145 -v181 v217 v253 -v289 -v325 
c Exit Code: 10
c Total time: 1175.97 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.91 0.98 0.91 1/55 7065
Raw data (stat): 7065 (runsolver) R 7064 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 837157017 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.0007 s]
Raw data (loadavg): 0.93 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 2524 0 0 0 991 7 0 0 25 0 1 0 837157017 12042240 2160 4294967295 134512640 134716908 3221224576 3221222848 1074140697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2940 2160 1111 63 0 2877 0
vsize: 11760
[startup+20.0004 s]
Raw data (loadavg): 0.94 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 3492 0 0 0 1988 9 0 0 25 0 1 0 837157017 15273984 2854 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3729 2854 1111 63 0 3666 0
vsize: 14916
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 7452 0 0 0 2977 19 0 0 25 0 1 0 837157017 12136448 2232 4294967295 134512640 134716908 3221224576 3221223348 134529375 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2963 2232 1111 63 0 2900 0
vsize: 11852
[startup+40.0011 s]
Raw data (loadavg): 0.95 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 7665 0 0 0 3976 21 0 0 25 0 1 0 837157017 12943360 2445 4294967295 134512640 134716908 3221224576 3221223216 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3160 2445 1111 63 0 3097 0
vsize: 12640
[startup+50.0017 s]
Raw data (loadavg): 0.96 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 9201 0 0 0 4971 26 0 0 25 0 1 0 837157017 13639680 2619 4294967295 134512640 134716908 3221224576 3221222848 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3330 2619 1111 63 0 3267 0
vsize: 13320
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 10889 0 0 0 5966 31 0 0 25 0 1 0 837157017 16240640 2972 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3965 2972 1111 63 0 3902 0
vsize: 15860
[startup+70.0013 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 13128 0 0 0 6959 38 0 0 25 0 1 0 837157017 13721600 2656 4294967295 134512640 134716908 3221224576 3221222880 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3350 2656 1111 63 0 3287 0
vsize: 13400
[startup+80.0021 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 15406 0 0 0 7954 43 0 0 25 0 1 0 837157017 17223680 3187 4294967295 134512640 134716908 3221224576 3221220736 1075090660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4205 3187 1111 63 0 4142 0
vsize: 16820
[startup+90.0019 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 17016 0 0 0 8950 47 0 0 25 0 1 0 837157017 14209024 2704 4294967295 134512640 134716908 3221224576 3221222688 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3469 2704 1111 63 0 3406 0
vsize: 13876
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 19637 0 0 0 9944 54 0 0 25 0 1 0 837157017 13656064 2651 4294967295 134512640 134716908 3221224576 3221222744 1077377480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3334 2651 1111 63 0 3271 0
vsize: 13336
[startup+110.002 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 22545 0 0 0 10936 62 0 0 25 0 1 0 837157017 15794176 2858 4294967295 134512640 134716908 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3856 2858 1111 63 0 3793 0
vsize: 15424
[startup+120.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 25411 0 0 0 11928 70 0 0 25 0 1 0 837157017 15900672 2867 4294967295 134512640 134716908 3221224576 3221220484 1074786531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3882 2867 1111 63 0 3819 0
vsize: 15528
[startup+130.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 28163 0 0 0 12921 77 0 0 25 0 1 0 837157017 15839232 2874 4294967295 134512640 134716908 3221224576 3221220784 1074815284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3867 2874 1111 63 0 3804 0
vsize: 15468
[startup+140.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 30022 0 0 0 13916 82 0 0 25 0 1 0 837157017 16388096 2989 4294967295 134512640 134716908 3221224576 3221220572 1074788153 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4001 2989 1111 63 0 3938 0
vsize: 16004
[startup+150.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 32107 0 0 0 14910 88 0 0 25 0 1 0 837157017 16224256 2940 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3961 2940 1111 63 0 3898 0
vsize: 15844
[startup+160.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 34040 0 0 0 15905 93 0 0 25 0 1 0 837157017 16072704 2919 4294967295 134512640 134716908 3221224576 3221220816 1075115747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3924 2919 1111 63 0 3861 0
vsize: 15696
[startup+170.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 35996 0 0 0 16900 99 0 0 25 0 1 0 837157017 13873152 2704 4294967295 134512640 134716908 3221224576 3221222880 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3387 2704 1111 63 0 3324 0
vsize: 13548
[startup+180.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 38231 0 0 0 17895 104 0 0 25 0 1 0 837157017 16113664 2943 4294967295 134512640 134716908 3221224576 3221220804 1075115060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3934 2943 1111 63 0 3871 0
vsize: 15736
[startup+190.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 40283 0 0 0 18891 108 0 0 25 0 1 0 837157017 16216064 2943 4294967295 134512640 134716908 3221224576 3221220620 1074873465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3959 2943 1111 63 0 3896 0
vsize: 15836
[startup+200.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 41926 0 0 0 19886 113 0 0 25 0 1 0 837157017 14008320 2737 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3420 2737 1111 63 0 3357 0
vsize: 13680
[startup+210.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 43822 0 0 0 20881 119 0 0 25 0 1 0 837157017 17158144 2835 4294967295 134512640 134716908 3221224576 3221220720 1074969685 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4189 2835 1111 63 0 4126 0
vsize: 16756
[startup+220.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 45764 0 0 0 21876 124 0 0 25 0 1 0 837157017 16171008 2931 4294967295 134512640 134716908 3221224576 3221220620 1074788143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3948 2931 1111 63 0 3885 0
vsize: 15792
[startup+230.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 47898 0 0 0 22869 130 0 0 25 0 1 0 837157017 16162816 2929 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3946 2929 1111 63 0 3883 0
vsize: 15784
[startup+240.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 49863 0 0 0 23864 136 0 0 25 0 1 0 837157017 15183872 2887 4294967295 134512640 134716908 3221224576 3221220756 1075114975 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3707 2887 1111 63 0 3644 0
vsize: 14828
[startup+250.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 51812 0 0 0 24859 141 0 0 25 0 1 0 837157017 15843328 2867 4294967295 134512640 134716908 3221224576 3221220684 1075091113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3868 2867 1111 63 0 3805 0
vsize: 15472
[startup+260.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 53625 0 0 0 25855 145 0 0 25 0 1 0 837157017 16293888 2965 4294967295 134512640 134716908 3221224576 3221221112 1075084405 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3978 2965 1111 63 0 3915 0
vsize: 15912
[startup+270.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 55280 0 0 0 26850 150 0 0 25 0 1 0 837157017 16175104 2951 4294967295 134512640 134716908 3221224576 3221220460 1074788977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3949 2951 1111 63 0 3886 0
vsize: 15796
[startup+280.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 56976 0 0 0 27846 154 0 0 25 0 1 0 837157017 13991936 2733 4294967295 134512640 134716908 3221224576 3221222400 1075823427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3416 2733 1111 63 0 3353 0
vsize: 13664
[startup+290.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 58939 0 0 0 28841 159 0 0 25 0 1 0 837157017 15634432 2810 4294967295 134512640 134716908 3221224576 3221221600 1074867320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3817 2810 1111 63 0 3754 0
vsize: 15268
[startup+300.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 61189 0 0 0 29836 165 0 0 25 0 1 0 837157017 15433728 2921 4294967295 134512640 134716908 3221224576 3221221600 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3768 2921 1111 63 0 3705 0
vsize: 15072
[startup+310.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 63854 0 0 0 30828 173 0 0 25 0 1 0 837157017 15069184 2857 4294967295 134512640 134716908 3221224576 3221220704 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3679 2857 1111 63 0 3616 0
vsize: 14716
[startup+320.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 65993 0 0 0 31822 179 0 0 25 0 1 0 837157017 14020608 2740 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3423 2740 1111 63 0 3360 0
vsize: 13692
[startup+330.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 67988 0 0 0 32818 184 0 0 25 0 1 0 837157017 17154048 2867 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4188 2867 1111 63 0 4125 0
vsize: 16752
[startup+340.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 70354 0 0 0 33811 190 0 0 25 0 1 0 837157017 15974400 2906 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3900 2906 1111 63 0 3837 0
vsize: 15600
[startup+350.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 72259 0 0 0 34807 195 0 0 25 0 1 0 837157017 16470016 3019 4294967295 134512640 134716908 3221224576 3221221536 1074790218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4021 3019 1111 63 0 3958 0
vsize: 16084
[startup+360.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 74067 0 0 0 35802 200 0 0 25 0 1 0 837157017 16183296 2953 4294967295 134512640 134716908 3221224576 3221220848 1074961138 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3951 2953 1111 63 0 3888 0
vsize: 15804
[startup+370.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 75684 0 0 0 36798 204 0 0 25 0 1 0 837157017 13991936 2733 4294967295 134512640 134716908 3221224576 3221222848 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3416 2733 1111 63 0 3353 0
vsize: 13664
[startup+380.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 77294 0 0 0 37793 209 0 0 25 0 1 0 837157017 17133568 2847 4294967295 134512640 134716908 3221224576 3221220904 1075112451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4183 2847 1111 63 0 4120 0
vsize: 16732
[startup+390.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 79193 0 0 0 38788 214 0 0 25 0 1 0 837157017 17285120 3194 4294967295 134512640 134716908 3221224576 3221220784 1074815253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4220 3194 1111 63 0 4157 0
vsize: 16880
[startup+400 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 80879 0 0 0 39783 219 0 0 25 0 1 0 837157017 13991936 2733 4294967295 134512640 134716908 3221224576 3221222400 1075823566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3416 2733 1111 63 0 3353 0
vsize: 13664
[startup+410.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 82946 0 0 0 40778 224 0 0 25 0 1 0 837157017 14020608 2740 4294967295 134512640 134716908 3221224576 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3423 2740 1111 63 0 3360 0
vsize: 13692
[startup+420 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 85285 0 0 0 41772 231 0 0 25 0 1 0 837157017 17178624 3187 4294967295 134512640 134716908 3221224576 3221220848 1074961275 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4194 3187 1111 63 0 4131 0
vsize: 16776
[startup+430.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 86845 0 0 0 42768 235 0 0 25 0 1 0 837157017 15343616 2925 4294967295 134512640 134716908 3221224576 3221220412 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3746 2925 1111 63 0 3683 0
vsize: 14984
[startup+440.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 88877 0 0 0 43764 240 0 0 25 0 1 0 837157017 13991936 2733 4294967295 134512640 134716908 3221224576 3221223168 134652402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3416 2733 1111 63 0 3353 0
vsize: 13664
[startup+450 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 90900 0 0 0 44759 245 0 0 25 0 1 0 837157017 16158720 2942 4294967295 134512640 134716908 3221224576 3221220816 1075115762 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3945 2942 1111 63 0 3882 0
vsize: 15780
[startup+460 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 92889 0 0 0 45754 250 0 0 25 0 1 0 837157017 17342464 3219 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3219 1111 63 0 4171 0
vsize: 16936
[startup+470 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 94158 0 0 0 46750 254 0 0 25 0 1 0 837157017 16601088 3055 4294967295 134512640 134716908 3221224576 3221220544 1074872816 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4053 3055 1111 63 0 3990 0
vsize: 16212
[startup+480.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 95635 0 0 0 47746 258 0 0 25 0 1 0 837157017 16543744 3049 4294967295 134512640 134716908 3221224576 3221220676 1075964231 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4039 3049 1111 63 0 3976 0
vsize: 16156
[startup+490.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 98266 0 0 0 48740 264 0 0 25 0 1 0 837157017 16965632 2936 4294967295 134512640 134716908 3221224576 3221221520 1074620113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4142 2936 1111 63 0 4079 0
vsize: 16568
[startup+500.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 100329 0 0 0 49735 270 0 0 25 0 1 0 837157017 13991936 2739 4294967295 134512640 134716908 3221224576 3221222928 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3416 2739 1111 63 0 3353 0
vsize: 13664
[startup+510.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 102398 0 0 0 50729 274 0 0 25 0 1 0 837157017 16420864 3035 4294967295 134512640 134716908 3221224576 3221220816 1075115765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4009 3035 1111 63 0 3946 0
vsize: 16036
[startup+520.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 103896 0 0 0 51726 278 0 0 25 0 1 0 837157017 17612800 3294 4294967295 134512640 134716908 3221224576 3221220736 1075093350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4300 3295 1111 63 0 4237 0
vsize: 17200
[startup+530.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 105366 0 0 0 52722 283 0 0 25 0 1 0 837157017 14020608 2746 4294967295 134512640 134716908 3221224576 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3423 2746 1111 63 0 3360 0
vsize: 13692
[startup+540 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 107121 0 0 0 53717 287 0 0 25 0 1 0 837157017 13991936 2739 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3416 2739 1111 63 0 3353 0
vsize: 13664
[startup+550.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 109071 0 0 0 54713 292 0 0 25 0 1 0 837157017 17330176 3213 4294967295 134512640 134716908 3221224576 3221220800 1075895652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4231 3213 1111 63 0 4168 0
vsize: 16924
[startup+560.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 110769 0 0 0 55708 296 0 0 25 0 1 0 837157017 16412672 3005 4294967295 134512640 134716908 3221224576 3221220784 1074815485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4007 3005 1111 63 0 3944 0
vsize: 16028
[startup+570.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 112139 0 0 0 56704 301 0 0 25 0 1 0 837157017 13991936 2739 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3416 2739 1111 63 0 3353 0
vsize: 13664
[startup+580.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 114029 0 0 0 57700 306 0 0 25 0 1 0 837157017 16314368 2996 4294967295 134512640 134716908 3221224576 3221220784 1074815253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3983 2996 1111 63 0 3920 0
vsize: 15932
[startup+590.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 115921 0 0 0 58694 311 0 0 25 0 1 0 837157017 14106624 2767 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3444 2767 1111 63 0 3381 0
vsize: 13776
[startup+600.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 117837 0 0 0 59690 316 0 0 25 0 1 0 837157017 13991936 2739 4294967295 134512640 134716908 3221224576 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3416 2739 1111 63 0 3353 0
vsize: 13664
[startup+610.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 119843 0 0 0 60686 320 0 0 25 0 1 0 837157017 15474688 2948 4294967295 134512640 134716908 3221224576 3221220404 1074786491 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3778 2948 1111 63 0 3715 0
vsize: 15112
[startup+620.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 121476 0 0 0 61681 325 0 0 25 0 1 0 837157017 16297984 2906 4294967295 134512640 134716908 3221224576 3221221296 1076083427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3979 2906 1111 63 0 3916 0
vsize: 15916
[startup+630.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 123251 0 0 0 62677 329 0 0 25 0 1 0 837157017 17129472 2846 4294967295 134512640 134716908 3221224576 3221220620 1074873504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4182 2846 1111 63 0 4119 0
vsize: 16728
[startup+640.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 125197 0 0 0 63672 334 0 0 25 0 1 0 837157017 14041088 2751 4294967295 134512640 134716908 3221224576 3221222928 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3428 2751 1111 63 0 3365 0
vsize: 13712
[startup+650.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 127550 0 0 0 64666 341 0 0 25 0 1 0 837157017 16179200 2936 4294967295 134512640 134716908 3221224576 3221220848 1074961120 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3950 2936 1111 63 0 3887 0
vsize: 15800
[startup+660.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 129549 0 0 0 65660 346 0 0 25 0 1 0 837157017 14041088 2751 4294967295 134512640 134716908 3221224576 3221222880 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3428 2751 1111 63 0 3365 0
vsize: 13712
[startup+670.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 132058 0 0 0 66654 353 0 0 25 0 1 0 837157017 17162240 2883 4294967295 134512640 134716908 3221224576 3221220444 1074787971 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4190 2883 1111 63 0 4127 0
vsize: 16760
[startup+680.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 134091 0 0 0 67649 358 0 0 25 0 1 0 837157017 17481728 2921 4294967295 134512640 134716908 3221224576 3221220540 1074787561 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4268 2921 1111 63 0 4205 0
vsize: 17072
[startup+690.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 135768 0 0 0 68645 362 0 0 25 0 1 0 837157017 13991936 2739 4294967295 134512640 134716908 3221224576 3221222576 1074918533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3416 2739 1111 63 0 3353 0
vsize: 13664
[startup+700.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 138028 0 0 0 69640 367 0 0 25 0 1 0 837157017 17473536 3246 4294967295 134512640 134716908 3221224576 3221220816 1075115762 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4266 3246 1111 63 0 4203 0
vsize: 17064
[startup+710.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 139426 0 0 0 70636 371 0 0 25 0 1 0 837157017 17113088 2839 4294967295 134512640 134716908 3221224576 3221221168 1074886763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4178 2839 1111 63 0 4115 0
vsize: 16712
[startup+720.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 141070 0 0 0 71633 375 0 0 25 0 1 0 837157017 15826944 3022 4294967295 134512640 134716908 3221224576 3221220800 1074960771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3864 3022 1111 63 0 3801 0
vsize: 15456
[startup+730.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 142620 0 0 0 72630 378 0 0 25 0 1 0 837157017 13991936 2739 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3416 2739 1111 63 0 3353 0
vsize: 13664
[startup+740.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 144612 0 0 0 73625 383 0 0 25 0 1 0 837157017 15372288 2923 4294967295 134512640 134716908 3221224576 3221220800 1074960909 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3753 2923 1111 63 0 3690 0
vsize: 15012
[startup+750.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 146742 0 0 0 74620 388 0 0 25 0 1 0 837157017 15974400 2916 4294967295 134512640 134716908 3221224576 3221220508 1074788153 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3900 2916 1111 63 0 3837 0
vsize: 15600
[startup+760.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 148418 0 0 0 75615 393 0 0 25 0 1 0 837157017 16343040 3005 4294967295 134512640 134716908 3221224576 3221220460 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3990 3005 1111 63 0 3927 0
vsize: 15960
[startup+770.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 150425 0 0 0 76609 399 0 0 25 0 1 0 837157017 16265216 2997 4294967295 134512640 134716908 3221224576 3221220736 1075095094 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3971 2997 1111 63 0 3908 0
vsize: 15884
[startup+780.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 152148 0 0 0 77605 403 0 0 25 0 1 0 837157017 13991936 2739 4294967295 134512640 134716908 3221224576 3221222744 1074206849 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3416 2739 1111 63 0 3353 0
vsize: 13664
[startup+790.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 154040 0 0 0 78601 408 0 0 25 0 1 0 837157017 13991936 2739 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3416 2739 1111 63 0 3353 0
vsize: 13664
[startup+800.002 s]
Raw data (loadavg): 1.15 1.02 0.93 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 154955 0 0 0 79598 410 0 0 25 0 1 0 837157017 17321984 3251 4294967295 134512640 134716908 3221224576 3221220848 1074801833 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4229 3251 1111 63 0 4166 0
vsize: 16916
[startup+810.002 s]
Raw data (loadavg): 1.12 1.02 0.93 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 156257 0 0 0 80596 413 0 0 25 0 1 0 837157017 17137664 3209 4294967295 134512640 134716908 3221224576 3221220848 1074960912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4184 3209 1111 63 0 4121 0
vsize: 16736
[startup+820.002 s]
Raw data (loadavg): 1.10 1.01 0.93 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 157491 0 0 0 81593 416 0 0 25 0 1 0 837157017 17088512 3184 4294967295 134512640 134716908 3221224576 3221221104 1075397167 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4172 3184 1111 63 0 4109 0
vsize: 16688
[startup+830.002 s]
Raw data (loadavg): 1.09 1.01 0.93 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 158717 0 0 0 82590 419 0 0 25 0 1 0 837157017 16990208 3188 4294967295 134512640 134716908 3221224576 3221220848 1074960865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4148 3188 1111 63 0 4085 0
vsize: 16592
[startup+840.001 s]
Raw data (loadavg): 1.07 1.01 0.93 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 159903 0 0 0 83587 423 0 0 25 0 1 0 837157017 16994304 3165 4294967295 134512640 134716908 3221224576 3221220960 1075965349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4149 3165 1111 63 0 4086 0
vsize: 16596
[startup+850.002 s]
Raw data (loadavg): 1.06 1.01 0.93 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 161815 0 0 0 84583 427 0 0 25 0 1 0 837157017 17575936 3262 4294967295 134512640 134716908 3221224576 3221220720 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4291 3262 1111 63 0 4228 0
vsize: 17164
[startup+860.002 s]
Raw data (loadavg): 1.05 1.01 0.93 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 162643 0 0 0 85580 430 0 0 25 0 1 0 837157017 16498688 3055 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4028 3055 1111 63 0 3965 0
vsize: 16112
[startup+870.002 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 164120 0 0 0 86577 433 0 0 25 0 1 0 837157017 16367616 3022 4294967295 134512640 134716908 3221224576 3221220512 1075965299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3996 3022 1111 63 0 3933 0
vsize: 15984
[startup+880.001 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 165770 0 0 0 87572 438 0 0 25 0 1 0 837157017 17158144 2891 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4189 2891 1111 63 0 4126 0
vsize: 16756
[startup+890.001 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 167583 0 0 0 88568 442 0 0 25 0 1 0 837157017 13991936 2739 4294967295 134512640 134716908 3221224576 3221222840 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3416 2739 1111 63 0 3353 0
vsize: 13664
[startup+900.002 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 169385 0 0 0 89564 447 0 0 25 0 1 0 837157017 16965632 2823 4294967295 134512640 134716908 3221224576 3221220536 1074789581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4142 2823 1111 63 0 4079 0
vsize: 16568
[startup+910.002 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 171382 0 0 0 90558 453 0 0 25 0 1 0 837157017 17522688 2959 4294967295 134512640 134716908 3221224576 3221220704 1075112080 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4278 2959 1111 63 0 4215 0
vsize: 17112
[startup+920.001 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 173165 0 0 0 91553 458 0 0 25 0 1 0 837157017 13991936 2739 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3416 2739 1111 63 0 3353 0
vsize: 13664
[startup+930.001 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 175132 0 0 0 92548 463 0 0 25 0 1 0 837157017 16318464 2995 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3984 2995 1111 63 0 3921 0
vsize: 15936
[startup+940.001 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 177159 0 0 0 93544 468 0 0 25 0 1 0 837157017 16449536 3029 4294967295 134512640 134716908 3221224576 3221220848 1074961249 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4016 3029 1111 63 0 3953 0
vsize: 16064
[startup+950.002 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 178539 0 0 0 94541 471 0 0 25 0 1 0 837157017 16486400 3015 4294967295 134512640 134716908 3221224576 3221220848 1074960795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4025 3015 1111 63 0 3962 0
vsize: 16100
[startup+960.003 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 180254 0 0 0 95536 475 0 0 25 0 1 0 837157017 16359424 3015 4294967295 134512640 134716908 3221224576 3221220540 1074788177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3994 3015 1111 63 0 3931 0
vsize: 15976
[startup+970.003 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 182167 0 0 0 96532 480 0 0 25 0 1 0 837157017 15929344 2810 4294967295 134512640 134716908 3221224576 3221221456 1075960278 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3889 2810 1111 63 0 3826 0
vsize: 15556
[startup+980.002 s]
Raw data (loadavg): 1.16 1.03 0.94 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 184102 0 0 0 97527 485 0 0 25 0 1 0 837157017 13991936 2739 4294967295 134512640 134716908 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3416 2739 1111 63 0 3353 0
vsize: 13664
[startup+990.002 s]
Raw data (loadavg): 1.13 1.03 0.94 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 186244 0 0 0 98522 491 0 0 25 0 1 0 837157017 17453056 3238 4294967295 134512640 134716908 3221224576 3221220544 1074872882 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4261 3238 1111 63 0 4198 0
vsize: 17044
[startup+1000 s]
Raw data (loadavg): 1.11 1.03 0.94 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 187926 0 0 0 99518 495 0 0 25 0 1 0 837157017 17068032 3199 4294967295 134512640 134716908 3221224576 3221220484 1074786537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4167 3199 1111 63 0 4104 0
vsize: 16668
[startup+1010 s]
Raw data (loadavg): 1.10 1.03 0.94 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 188509 0 0 0 100516 496 0 0 25 0 1 0 837157017 14827520 2886 4294967295 134512640 134716908 3221224576 3221222640 1075961760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3620 2886 1111 63 0 3557 0
vsize: 14480
[startup+1020 s]
Raw data (loadavg): 1.08 1.03 0.94 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 189615 0 0 0 101514 499 0 0 25 0 1 0 837157017 13991936 2739 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3416 2739 1111 63 0 3353 0
vsize: 13664
[startup+1030 s]
Raw data (loadavg): 1.07 1.03 0.94 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 191495 0 0 0 102510 503 0 0 25 0 1 0 837157017 16789504 3097 4294967295 134512640 134716908 3221224576 3221220620 1074873379 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4099 3097 1111 63 0 4036 0
vsize: 16396
[startup+1040 s]
Raw data (loadavg): 1.06 1.02 0.94 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 192594 0 0 0 103507 506 0 0 25 0 1 0 837157017 13991936 2739 4294967295 134512640 134716908 3221224576 3221222960 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3416 2739 1111 63 0 3353 0
vsize: 13664
[startup+1050 s]
Raw data (loadavg): 1.05 1.02 0.94 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 195037 0 0 0 104500 513 0 0 25 0 1 0 837157017 13991936 2739 4294967295 134512640 134716908 3221224576 3221222552 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3416 2739 1111 63 0 3353 0
vsize: 13664
[startup+1060 s]
Raw data (loadavg): 1.04 1.02 0.94 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 197722 0 0 0 105493 520 0 0 25 0 1 0 837157017 15974400 2912 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3900 2912 1111 63 0 3837 0
vsize: 15600
[startup+1070 s]
Raw data (loadavg): 1.03 1.02 0.94 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 199681 0 0 0 106488 526 0 0 25 0 1 0 837157017 16384000 3030 4294967295 134512640 134716908 3221224576 3221220848 1074961490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4000 3030 1111 63 0 3937 0
vsize: 16000
[startup+1080 s]
Raw data (loadavg): 1.03 1.02 0.94 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 201103 0 0 0 107484 530 0 0 25 0 1 0 837157017 16359424 3021 4294967295 134512640 134716908 3221224576 3221220804 1075115112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3994 3021 1111 63 0 3931 0
vsize: 15976
[startup+1090 s]
Raw data (loadavg): 1.02 1.02 0.94 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 203065 0 0 0 108479 535 0 0 25 0 1 0 837157017 16257024 2961 4294967295 134512640 134716908 3221224576 3221220804 1075114937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3969 2961 1111 63 0 3906 0
vsize: 15876
[startup+1100 s]
Raw data (loadavg): 1.02 1.02 0.94 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 204590 0 0 0 109475 540 0 0 25 0 1 0 837157017 15376384 2928 4294967295 134512640 134716908 3221224576 3221220800 1074960896 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3754 2928 1111 63 0 3691 0
vsize: 15016
[startup+1110 s]
Raw data (loadavg): 1.02 1.02 0.94 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 207040 0 0 0 110468 546 0 0 25 0 1 0 837157017 17121280 3163 4294967295 134512640 134716908 3221224576 3221220784 1074815328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3163 1111 63 0 4117 0
vsize: 16720
[startup+1120 s]
Raw data (loadavg): 1.01 1.02 0.94 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 209159 0 0 0 111462 553 0 0 25 0 1 0 837157017 16134144 2946 4294967295 134512640 134716908 3221224576 3221220588 1074788915 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3939 2946 1111 63 0 3876 0
vsize: 15756
[startup+1130.01 s]
Raw data (loadavg): 1.01 1.02 0.94 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 210857 0 0 0 112456 559 0 0 25 0 1 0 837157017 13991936 2739 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3416 2739 1111 63 0 3353 0
vsize: 13664
[startup+1140.01 s]
Raw data (loadavg): 1.01 1.02 0.94 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 212626 0 0 0 113452 563 0 0 25 0 1 0 837157017 13991936 2739 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3416 2739 1111 63 0 3353 0
vsize: 13664
[startup+1150.01 s]
Raw data (loadavg): 1.01 1.01 0.94 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 214341 0 0 0 114448 568 0 0 25 0 1 0 837157017 16506880 3023 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4030 3023 1111 63 0 3967 0
vsize: 16120
[startup+1160.01 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 216190 0 0 0 115443 573 0 0 25 0 1 0 837157017 16502784 3022 4294967295 134512640 134716908 3221224576 3221220804 1075115060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4029 3022 1111 63 0 3966 0
vsize: 16116
[startup+1170.01 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 217609 0 0 0 116439 577 0 0 25 0 1 0 837157017 14139392 2769 4294967295 134512640 134716908 3221224576 3221222736 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3452 2769 1111 63 0 3389 0
vsize: 13808
[startup+1175.82 s]
Raw data (loadavg): 1.00 1.01 0.94 1/54 7065
Raw data (stat): 7065 (bsolo_lpr-v2) R 7064 8378 8377 0 -1 0 217609 0 0 0 116439 577 0 0 25 0 1 0 837157017 14139392 2769 4294967295 134512640 134716908 3221224576 3221222736 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3452 2769 1111 63 0 3389 0
vsize: 0

Child status: 10
Real time (s): 1175.82
CPU time (s): 1175.98
CPU user time (s): 1170.17
CPU system time (s): 5.81312
CPU usage (%): 100.014
Max. virtual memory (Kb): 17200
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	76
#### END VERIFIER DATA ####