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/submitted/manquinho/ttp/normalized-data6_3.opb
MD5SUM	3ce91e964f348d481da3f7741c5768eb
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	25102
Optimality of the best value was proved	NO
Number of terms in the objective function	180
Biggest coefficient in the objective function	1380
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	116904
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	1380
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	116904
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03084
Number of variables	540
Total number of constraints	4476
Number of constraints which are clauses	2532
Number of constraints which are cardinality constraints (but not clauses)	264
Number of constraints which are nor clauses,nor cardinality constraints	1680
Minimum length of a constraint	2
Maximum length of a constraint	20
Trace number 24447

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 13:03:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2350 boxname=wulflinc31 idbench=262 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  3ce91e964f348d481da3f7741c5768eb  /oldhome/oroussel/tmp/wulflinc31/normalized-data6_3.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-data6_3.opb
IDLAUNCH: 2350
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        291724 kB
Buffers:         46748 kB
Cached:         662188 kB
SwapCached:        644 kB
Active:         311336 kB
Inactive:       399924 kB
HighTotal:      131008 kB
HighFree:        28420 kB
LowTotal:       903652 kB
LowFree:        263304 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26040 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 13:22:59 (client local time) WITH STATUS 10 IN 1184.92 SECONDS
stats: 2350 0 1184.92 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.683 s
c Initial Lower Bound: 17422
c Lower Bound Elapsed time: 20.67
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 33342 @ 639.214
c NEW SOLUTION FOUND: 32825 @ 769.751
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: 1184.88 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.77 0.91 0.94 2/54 10773
Raw data (stat): 10773 (runsolver) R 10772 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 709454760 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+9.99989 s]
Raw data (loadavg): 0.80 0.91 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 3065 0 0 0 986 10 0 0 25 0 1 0 709454760 15212544 2576 4294967295 134512640 134714508 3221221792 3221217984 1074806964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3714 2576 1111 63 0 3651 0
vsize: 14856
[startup+20.0008 s]
Raw data (loadavg): 0.83 0.92 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 3465 0 0 0 1984 11 0 0 25 0 1 0 709454760 15192064 2831 4294967295 134512640 134714508 3221221792 3221217872 1075093377 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3709 2831 1111 63 0 3646 0
vsize: 14836
[startup+30.0007 s]
Raw data (loadavg): 0.86 0.92 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 4376 0 0 0 2982 14 0 0 25 0 1 0 709454760 13045760 2444 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3185 2444 1111 63 0 3122 0
vsize: 12740
[startup+40.0007 s]
Raw data (loadavg): 0.88 0.92 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 4478 0 0 0 3981 15 0 0 25 0 1 0 709454760 13312000 2546 4294967295 134512640 134714508 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3250 2546 1111 63 0 3187 0
vsize: 13000
[startup+50.002 s]
Raw data (loadavg): 0.90 0.92 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 4665 0 0 0 4980 16 0 0 25 0 1 0 709454760 14123008 2733 4294967295 134512640 134714508 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3448 2733 1111 63 0 3385 0
vsize: 13792
[startup+60.0016 s]
Raw data (loadavg): 0.91 0.92 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 4831 0 0 0 5978 18 0 0 25 0 1 0 709454760 14794752 2899 4294967295 134512640 134714508 3221221792 3221220300 134535964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3612 2899 1111 63 0 3549 0
vsize: 14448
[startup+70.0025 s]
Raw data (loadavg): 0.93 0.93 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 4988 0 0 0 6977 20 0 0 25 0 1 0 709454760 15466496 3056 4294967295 134512640 134714508 3221221792 3221220576 134529308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3776 3056 1111 63 0 3713 0
vsize: 15104
[startup+80.0024 s]
Raw data (loadavg): 0.94 0.93 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 5174 0 0 0 7976 21 0 0 25 0 1 0 709454760 16142336 3242 4294967295 134512640 134714508 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3941 3242 1111 63 0 3878 0
vsize: 15764
[startup+90.0024 s]
Raw data (loadavg): 0.95 0.93 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 5307 0 0 0 8976 21 0 0 25 0 1 0 709454760 16683008 3375 4294967295 134512640 134714508 3221221792 3221220460 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4073 3375 1111 63 0 4010 0
vsize: 16292
[startup+100.002 s]
Raw data (loadavg): 0.95 0.93 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 5445 0 0 0 9975 23 0 0 25 0 1 0 709454760 17223680 3513 4294967295 134512640 134714508 3221221792 3221220592 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4205 3513 1111 63 0 4142 0
vsize: 16820
[startup+110.003 s]
Raw data (loadavg): 0.96 0.93 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 5579 0 0 0 10973 24 0 0 25 0 1 0 709454760 17764352 3647 4294967295 134512640 134714508 3221221792 3221220396 134536771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4337 3647 1111 63 0 4274 0
vsize: 17348
[startup+120.003 s]
Raw data (loadavg): 0.97 0.94 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 5726 0 0 0 11972 25 0 0 25 0 1 0 709454760 18440192 3794 4294967295 134512640 134714508 3221221792 3221220464 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4502 3794 1111 63 0 4439 0
vsize: 18008
[startup+130.003 s]
Raw data (loadavg): 0.97 0.94 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 5851 0 0 0 12972 26 0 0 25 0 1 0 709454760 18972672 3919 4294967295 134512640 134714508 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4632 3919 1111 63 0 4569 0
vsize: 18528
[startup+140.004 s]
Raw data (loadavg): 0.98 0.94 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 5991 0 0 0 13971 27 0 0 25 0 1 0 709454760 19513344 4059 4294967295 134512640 134714508 3221221792 3221220432 134543110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4764 4059 1111 63 0 4701 0
vsize: 19056
[startup+150.005 s]
Raw data (loadavg): 0.98 0.94 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 6100 0 0 0 14970 28 0 0 25 0 1 0 709454760 19918848 4168 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4863 4168 1111 63 0 4800 0
vsize: 19452
[startup+160.005 s]
Raw data (loadavg): 0.98 0.94 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 6204 0 0 0 15969 29 0 0 25 0 1 0 709454760 20324352 4272 4294967295 134512640 134714508 3221221792 3221220564 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4962 4272 1111 63 0 4899 0
vsize: 19848
[startup+170.005 s]
Raw data (loadavg): 0.98 0.94 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 6386 0 0 0 16968 31 0 0 25 0 1 0 709454760 21135360 4454 4294967295 134512640 134714508 3221221792 3221220440 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5160 4454 1111 63 0 5097 0
vsize: 20640
[startup+180.005 s]
Raw data (loadavg): 0.99 0.94 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 6597 0 0 0 17967 32 0 0 25 0 1 0 709454760 21946368 4665 4294967295 134512640 134714508 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5358 4665 1111 63 0 5295 0
vsize: 21432
[startup+190.006 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 6740 0 0 0 18966 33 0 0 25 0 1 0 709454760 22622208 4808 4294967295 134512640 134714508 3221221792 3221220420 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5523 4808 1111 63 0 5460 0
vsize: 22092
[startup+200.006 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 6871 0 0 0 19965 34 0 0 25 0 1 0 709454760 23162880 4939 4294967295 134512640 134714508 3221221792 3221220316 134535988 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5655 4939 1111 63 0 5592 0
vsize: 22620
[startup+210.006 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 7020 0 0 0 20964 36 0 0 25 0 1 0 709454760 23703552 5088 4294967295 134512640 134714508 3221221792 3221220432 134539518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5787 5088 1111 63 0 5724 0
vsize: 23148
[startup+220.007 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 7134 0 0 0 21963 37 0 0 25 0 1 0 709454760 24240128 5202 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5918 5202 1111 63 0 5855 0
vsize: 23672
[startup+230.007 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 7243 0 0 0 22962 38 0 0 25 0 1 0 709454760 24645632 5311 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6017 5311 1111 63 0 5954 0
vsize: 24068
[startup+240.007 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 7342 0 0 0 23962 38 0 0 25 0 1 0 709454760 25051136 5410 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6116 5410 1111 63 0 6053 0
vsize: 24464
[startup+250.007 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 7450 0 0 0 24960 40 0 0 25 0 1 0 709454760 25456640 5518 4294967295 134512640 134714508 3221221792 3221220300 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6215 5518 1111 63 0 6152 0
vsize: 24860
[startup+260.007 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 7545 0 0 0 25959 41 0 0 25 0 1 0 709454760 25866240 5613 4294967295 134512640 134714508 3221221792 3221220300 134535891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6315 5613 1111 63 0 6252 0
vsize: 25260
[startup+270.007 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 7613 0 0 0 26959 42 0 0 25 0 1 0 709454760 26132480 5681 4294967295 134512640 134714508 3221221792 3221220360 1077377249 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6380 5681 1111 63 0 6317 0
vsize: 25520
[startup+280.007 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 7737 0 0 0 27958 43 0 0 25 0 1 0 709454760 26673152 5805 4294967295 134512640 134714508 3221221792 3221220528 134535844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6512 5805 1111 63 0 6449 0
vsize: 26048
[startup+290.008 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 7832 0 0 0 28956 45 0 0 25 0 1 0 709454760 27078656 5900 4294967295 134512640 134714508 3221221792 3221220344 134696461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6611 5900 1111 63 0 6548 0
vsize: 26444
[startup+300.008 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 7990 0 0 0 29955 46 0 0 25 0 1 0 709454760 27750400 6058 4294967295 134512640 134714508 3221221792 3221220432 134543110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6775 6058 1111 63 0 6712 0
vsize: 27100
[startup+310.008 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 8124 0 0 0 30954 47 0 0 25 0 1 0 709454760 28291072 6192 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6907 6192 1111 63 0 6844 0
vsize: 27628
[startup+320.009 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 8226 0 0 0 31954 47 0 0 25 0 1 0 709454760 28696576 6294 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7006 6294 1111 63 0 6943 0
vsize: 28024
[startup+330.01 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 8320 0 0 0 32954 48 0 0 25 0 1 0 709454760 29097984 6388 4294967295 134512640 134714508 3221221792 3221220548 134652880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7104 6388 1111 63 0 7041 0
vsize: 28416
[startup+340.011 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 8402 0 0 0 33953 48 0 0 25 0 1 0 709454760 29368320 6470 4294967295 134512640 134714508 3221221792 3221220528 134523948 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7170 6470 1111 63 0 7107 0
vsize: 28680
[startup+350.011 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 8505 0 0 0 34953 49 0 0 25 0 1 0 709454760 29769728 6573 4294967295 134512640 134714508 3221221792 3221220432 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7268 6573 1111 63 0 7205 0
vsize: 29072
[startup+360.011 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 8649 0 0 0 35952 50 0 0 25 0 1 0 709454760 30437376 6717 4294967295 134512640 134714508 3221221792 3221220576 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7431 6717 1111 63 0 7368 0
vsize: 29724
[startup+370.012 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 8805 0 0 0 36951 51 0 0 25 0 1 0 709454760 31100928 6873 4294967295 134512640 134714508 3221221792 3221220576 134529243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7593 6873 1111 63 0 7530 0
vsize: 30372
[startup+380.011 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 8922 0 0 0 37951 52 0 0 25 0 1 0 709454760 31506432 6990 4294967295 134512640 134714508 3221221792 3221220384 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7692 6990 1111 63 0 7629 0
vsize: 30768
[startup+390.013 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 9006 0 0 0 38950 52 0 0 25 0 1 0 709454760 31911936 7074 4294967295 134512640 134714508 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7791 7074 1111 63 0 7728 0
vsize: 31164
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 9095 0 0 0 39950 53 0 0 25 0 1 0 709454760 32182272 7163 4294967295 134512640 134714508 3221221792 3221220432 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7857 7164 1111 63 0 7794 0
vsize: 31428
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 9202 0 0 0 40949 54 0 0 25 0 1 0 709454760 32722944 7270 4294967295 134512640 134714508 3221221792 3221220376 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7989 7270 1111 63 0 7926 0
vsize: 31956
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 9275 0 0 0 41949 54 0 0 25 0 1 0 709454760 32993280 7343 4294967295 134512640 134714508 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8055 7343 1111 63 0 7992 0
vsize: 32220
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 9399 0 0 0 42949 55 0 0 25 0 1 0 709454760 33513472 7467 4294967295 134512640 134714508 3221221792 3221220372 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8182 7467 1111 63 0 8119 0
vsize: 32728
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 9471 0 0 0 43949 55 0 0 25 0 1 0 709454760 33783808 7539 4294967295 134512640 134714508 3221221792 3221220324 134543025 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8248 7539 1111 63 0 8185 0
vsize: 32992
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 9598 0 0 0 44948 56 0 0 25 0 1 0 709454760 34324480 7666 4294967295 134512640 134714508 3221221792 3221220348 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8380 7666 1111 63 0 8317 0
vsize: 33520
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 9691 0 0 0 45948 56 0 0 25 0 1 0 709454760 34721792 7759 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8477 7759 1111 63 0 8414 0
vsize: 33908
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 9760 0 0 0 46948 56 0 0 25 0 1 0 709454760 34979840 7828 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8540 7828 1111 63 0 8477 0
vsize: 34160
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 9820 0 0 0 47948 57 0 0 25 0 1 0 709454760 35250176 7888 4294967295 134512640 134714508 3221221792 3221220352 134696549 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8606 7888 1111 63 0 8543 0
vsize: 34424
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 9887 0 0 0 48947 57 0 0 25 0 1 0 709454760 35520512 7955 4294967295 134512640 134714508 3221221792 3221220376 134543589 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8672 7955 1111 63 0 8609 0
vsize: 34688
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 9967 0 0 0 49947 58 0 0 25 0 1 0 709454760 35790848 8035 4294967295 134512640 134714508 3221221792 3221220496 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8738 8035 1111 63 0 8675 0
vsize: 34952
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 10026 0 0 0 50947 58 0 0 25 0 1 0 709454760 36061184 8094 4294967295 134512640 134714508 3221221792 3221220372 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8804 8094 1111 63 0 8741 0
vsize: 35216
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 10080 0 0 0 51947 58 0 0 25 0 1 0 709454760 36331520 8148 4294967295 134512640 134714508 3221221792 3221220616 134590015 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8870 8148 1111 63 0 8807 0
vsize: 35480
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 10152 0 0 0 52947 59 0 0 25 0 1 0 709454760 36601856 8220 4294967295 134512640 134714508 3221221792 3221220496 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8936 8220 1111 63 0 8873 0
vsize: 35744
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 10203 0 0 0 53947 59 0 0 25 0 1 0 709454760 36737024 8271 4294967295 134512640 134714508 3221221792 3221220300 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8969 8271 1111 63 0 8906 0
vsize: 35876
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 10275 0 0 0 54947 59 0 0 25 0 1 0 709454760 37007360 8343 4294967295 134512640 134714508 3221221792 3221220496 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9035 8343 1111 63 0 8972 0
vsize: 36140
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 10362 0 0 0 55946 60 0 0 25 0 1 0 709454760 37412864 8430 4294967295 134512640 134714508 3221221792 3221220332 134539296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9134 8430 1111 63 0 9071 0
vsize: 36536
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 10421 0 0 0 56946 60 0 0 25 0 1 0 709454760 37679104 8489 4294967295 134512640 134714508 3221221792 3221220576 134529243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9199 8489 1111 63 0 9136 0
vsize: 36796
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 10488 0 0 0 57946 60 0 0 25 0 1 0 709454760 37949440 8556 4294967295 134512640 134714508 3221221792 3221220372 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9265 8556 1111 63 0 9202 0
vsize: 37060
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 10538 0 0 0 58946 61 0 0 25 0 1 0 709454760 38084608 8606 4294967295 134512640 134714508 3221221792 3221220424 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9298 8606 1111 63 0 9235 0
vsize: 37192
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 10587 0 0 0 59946 61 0 0 25 0 1 0 709454760 38354944 8655 4294967295 134512640 134714508 3221221792 3221220528 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9364 8655 1111 63 0 9301 0
vsize: 37456
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 10636 0 0 0 60945 62 0 0 25 0 1 0 709454760 38490112 8704 4294967295 134512640 134714508 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9397 8704 1111 63 0 9334 0
vsize: 37588
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 10730 0 0 0 61945 62 0 0 25 0 1 0 709454760 38895616 8798 4294967295 134512640 134714508 3221221792 3221220396 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9496 8798 1111 63 0 9433 0
vsize: 37984
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 10813 0 0 0 62945 63 0 0 25 0 1 0 709454760 39301120 8881 4294967295 134512640 134714508 3221221792 3221220448 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9595 8881 1111 63 0 9532 0
vsize: 38380
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 11185 0 0 0 63944 64 0 0 25 0 1 0 709454760 39641088 8972 4294967295 134512640 134714508 3221221792 3221220144 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9678 8972 1111 63 0 9615 0
vsize: 38712
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 13610 0 0 0 64938 70 0 0 25 0 1 0 709454760 42688512 9406 4294967295 134512640 134714508 3221221792 3221218160 1075894554 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10422 9406 1111 63 0 10359 0
vsize: 41688
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 15363 0 0 0 65934 73 0 0 25 0 1 0 709454760 40120320 9098 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9795 9098 1111 63 0 9732 0
vsize: 39180
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 17318 0 0 0 66929 78 0 0 25 0 1 0 709454760 40341504 9152 4294967295 134512640 134714508 3221221792 3221220144 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9849 9152 1111 63 0 9786 0
vsize: 39396
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 19050 0 0 0 67925 83 0 0 25 0 1 0 709454760 42422272 9372 4294967295 134512640 134714508 3221221792 3221218000 1074815265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10357 9372 1111 63 0 10294 0
vsize: 41428
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 20699 0 0 0 68922 86 0 0 25 0 1 0 709454760 41951232 9413 4294967295 134512640 134714508 3221221792 3221218184 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10242 9413 1111 63 0 10179 0
vsize: 40968
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 22085 0 0 0 69919 89 0 0 25 0 1 0 709454760 40554496 9175 4294967295 134512640 134714508 3221221792 3221219456 1075828404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9901 9175 1111 63 0 9838 0
vsize: 39604
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 23754 0 0 0 70915 93 0 0 25 0 1 0 709454760 42135552 9443 4294967295 134512640 134714508 3221221792 3221217676 1074788143 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10287 9443 1111 63 0 10224 0
vsize: 41148
[startup+720.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 25299 0 0 0 71912 97 0 0 25 0 1 0 709454760 40386560 9165 4294967295 134512640 134714508 3221221792 3221220452 134649897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9860 9165 1111 63 0 9797 0
vsize: 39440
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 27104 0 0 0 72908 101 0 0 25 0 1 0 709454760 42733568 9465 4294967295 134512640 134714508 3221221792 3221218064 1074961183 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10433 9465 1111 63 0 10370 0
vsize: 41732
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 28434 0 0 0 73905 104 0 0 25 0 1 0 709454760 42745856 9437 4294967295 134512640 134714508 3221221792 3221217904 1075895652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10436 9437 1111 63 0 10373 0
vsize: 41744
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 29899 0 0 0 74902 107 0 0 25 0 1 0 709454760 43687936 9348 4294967295 134512640 134714508 3221221792 3221217768 1074788452 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10666 9348 1111 63 0 10603 0
vsize: 42664
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 31358 0 0 0 75899 110 0 0 25 0 1 0 709454760 42528768 9385 4294967295 134512640 134714508 3221221792 3221217836 1074873527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10383 9385 1111 63 0 10320 0
vsize: 41532
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 33674 0 0 0 76894 116 0 0 25 0 1 0 709454760 40439808 9187 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9873 9187 1111 63 0 9810 0
vsize: 39492
[startup+780.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 35566 0 0 0 77889 120 0 0 25 0 1 0 709454760 40439808 9187 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9873 9187 1111 63 0 9810 0
vsize: 39492
[startup+790.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 37155 0 0 0 78885 124 0 0 25 0 1 0 709454760 42737664 9444 4294967295 134512640 134714508 3221221792 3221217920 1075112110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10434 9444 1111 63 0 10371 0
vsize: 41736
[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 38359 0 0 0 79882 128 0 0 25 0 1 0 709454760 42672128 9445 4294967295 134512640 134714508 3221221792 3221218448 1075967941 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10418 9445 1111 63 0 10355 0
vsize: 41672
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 40087 0 0 0 80879 131 0 0 25 0 1 0 709454760 43671552 9660 4294967295 134512640 134714508 3221221792 3221217792 1075965308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10662 9660 1111 63 0 10599 0
vsize: 42648
[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 41124 0 0 0 81876 134 0 0 25 0 1 0 709454760 41877504 9409 4294967295 134512640 134714508 3221221792 3221218016 1074960941 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10224 9409 1111 63 0 10161 0
vsize: 40896
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 42941 0 0 0 82873 138 0 0 25 0 1 0 709454760 42713088 9473 4294967295 134512640 134714508 3221221792 3221218064 1074961146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10428 9473 1111 63 0 10365 0
vsize: 41712
[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 44204 0 0 0 83870 141 0 0 25 0 1 0 709454760 42745856 9447 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10436 9447 1111 63 0 10373 0
vsize: 41744
[startup+850.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 45646 0 0 0 84866 144 0 0 25 0 1 0 709454760 43642880 9365 4294967295 134512640 134714508 3221221792 3221217836 1074873498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10655 9365 1111 63 0 10592 0
vsize: 42620
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 47569 0 0 0 85862 149 0 0 25 0 1 0 709454760 40439808 9187 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9873 9187 1111 63 0 9810 0
vsize: 39492
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 49447 0 0 0 86858 154 0 0 25 0 1 0 709454760 42655744 9418 4294967295 134512640 134714508 3221221792 3221218128 1075114265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10414 9418 1111 63 0 10351 0
vsize: 41656
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 51127 0 0 0 87853 158 0 0 25 0 1 0 709454760 42741760 9440 4294967295 134512640 134714508 3221221792 3221217936 1074969474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10435 9440 1111 63 0 10372 0
vsize: 41740
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 52219 0 0 0 88851 161 0 0 25 0 1 0 709454760 42622976 9443 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10406 9443 1111 63 0 10343 0
vsize: 41624
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 53566 0 0 0 89849 163 0 0 25 0 1 0 709454760 40587264 9191 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9909 9191 1111 63 0 9846 0
vsize: 39636
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 55098 0 0 0 90845 167 0 0 25 0 1 0 709454760 42627072 9412 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10407 9412 1111 63 0 10344 0
vsize: 41628
[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 56685 0 0 0 91842 170 0 0 25 0 1 0 709454760 41975808 9424 4294967295 134512640 134714508 3221221792 3221217712 1075965301 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10248 9424 1111 63 0 10185 0
vsize: 40992
[startup+930.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 58346 0 0 0 92838 175 0 0 25 0 1 0 709454760 43778048 9394 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10688 9394 1111 63 0 10625 0
vsize: 42752
[startup+940.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 59891 0 0 0 93834 178 0 0 25 0 1 0 709454760 42618880 9412 4294967295 134512640 134714508 3221221792 3221218832 1075971386 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10405 9412 1111 63 0 10342 0
vsize: 41620
[startup+950.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 61651 0 0 0 94831 182 0 0 25 0 1 0 709454760 40382464 9173 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9859 9173 1111 63 0 9796 0
vsize: 39436
[startup+960.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 63263 0 0 0 95826 187 0 0 25 0 1 0 709454760 42565632 9515 4294967295 134512640 134714508 3221221792 3221217628 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10392 9515 1111 63 0 10329 0
vsize: 41568
[startup+970.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 65118 0 0 0 96823 191 0 0 25 0 1 0 709454760 43589632 9662 4294967295 134512640 134714508 3221221792 3221217836 1074873336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10642 9662 1111 63 0 10579 0
vsize: 42568
[startup+980.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 66357 0 0 0 97820 194 0 0 25 0 1 0 709454760 43585536 9372 4294967295 134512640 134714508 3221221792 3221218064 1074961129 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10641 9372 1111 63 0 10578 0
vsize: 42564
[startup+990.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 67840 0 0 0 98816 197 0 0 25 0 1 0 709454760 40353792 9166 4294967295 134512640 134714508 3221221792 3221219512 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9852 9166 1111 63 0 9789 0
vsize: 39408
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 69791 0 0 0 99812 202 0 0 25 0 1 0 709454760 42545152 9508 4294967295 134512640 134714508 3221221792 3221217972 1075114937 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10387 9508 1111 63 0 10324 0
vsize: 41548
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 71152 0 0 0 100809 205 0 0 25 0 1 0 709454760 40452096 9190 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9876 9190 1111 63 0 9813 0
vsize: 39504
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 73053 0 0 0 101804 211 0 0 25 0 1 0 709454760 42831872 9482 4294967295 134512640 134714508 3221221792 3221218016 1075895668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10457 9482 1111 63 0 10394 0
vsize: 41828
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 74624 0 0 0 102799 216 0 0 25 0 1 0 709454760 40165376 9120 4294967295 134512640 134714508 3221221792 3221220128 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9806 9120 1111 63 0 9743 0
vsize: 39224
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 76837 0 0 0 103793 221 0 0 25 0 1 0 709454760 42364928 9348 4294967295 134512640 134714508 3221221792 3221218000 1074815281 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10343 9348 1111 63 0 10280 0
vsize: 41372
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 79397 0 0 0 104787 228 0 0 25 0 1 0 709454760 40460288 9153 4294967295 134512640 134714508 3221221792 3221219840 1075963433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9878 9153 1111 63 0 9815 0
vsize: 39512
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 81759 0 0 0 105782 233 0 0 25 0 1 0 709454760 40108032 9106 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9792 9106 1111 63 0 9729 0
vsize: 39168
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 84155 0 0 0 106777 238 0 0 25 0 1 0 709454760 42340352 9349 4294967295 134512640 134714508 3221221792 3221218448 1075967753 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10337 9349 1111 63 0 10274 0
vsize: 41348
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 86552 0 0 0 107773 243 0 0 25 0 1 0 709454760 42373120 9364 4294967295 134512640 134714508 3221221792 3221218000 1074815276 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10345 9364 1111 63 0 10282 0
vsize: 41380
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 88312 0 0 0 108769 247 0 0 25 0 1 0 709454760 42209280 9331 4294967295 134512640 134714508 3221221792 3221218832 1075860109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10305 9331 1111 63 0 10242 0
vsize: 41220
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 90776 0 0 0 109763 253 0 0 25 0 1 0 709454760 40099840 9104 4294967295 134512640 134714508 3221221792 3221220048 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9790 9104 1111 63 0 9727 0
vsize: 39160
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 92800 0 0 0 110758 258 0 0 25 0 1 0 709454760 41709568 9350 4294967295 134512640 134714508 3221221792 3221217628 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10183 9350 1111 63 0 10120 0
vsize: 40732
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 94906 0 0 0 111753 263 0 0 25 0 1 0 709454760 41639936 9311 4294967295 134512640 134714508 3221221792 3221217948 1075564301 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10166 9311 1111 63 0 10103 0
vsize: 40664
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 97237 0 0 0 112747 269 0 0 25 0 1 0 709454760 42348544 9348 4294967295 134512640 134714508 3221221792 3221218000 1074815265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10339 9348 1111 63 0 10276 0
vsize: 41356
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 99388 0 0 0 113744 273 0 0 25 0 1 0 709454760 43372544 9577 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10589 9577 1111 63 0 10526 0
vsize: 42356
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 101370 0 0 0 114738 278 0 0 25 0 1 0 709454760 41615360 9311 4294967295 134512640 134714508 3221221792 3221218016 1074960970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10160 9311 1111 63 0 10097 0
vsize: 40640
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 104064 0 0 0 115732 285 0 0 25 0 1 0 709454760 40218624 9133 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9819 9133 1111 63 0 9756 0
vsize: 39276
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 106084 0 0 0 116727 290 0 0 25 0 1 0 709454760 42446848 9364 4294967295 134512640 134714508 3221221792 3221217804 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10363 9364 1111 63 0 10300 0
vsize: 41452
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 108219 0 0 0 117722 295 0 0 25 0 1 0 709454760 42442752 9361 4294967295 134512640 134714508 3221221792 3221218040 1077410129 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10362 9361 1111 63 0 10299 0
vsize: 41448
[startup+1184.79 s]
Raw data (loadavg): 0.99 0.97 0.94 1/53 10773
Raw data (stat): 10773 (bsolo_lpr) R 10772 7876 7672 0 -1 0 108219 0 0 0 117722 295 0 0 25 0 1 0 709454760 42442752 9361 4294967295 134512640 134714508 3221221792 3221218040 1077410129 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10362 9361 1111 63 0 10299 0
vsize: 0

Child status: 10
Real time (s): 1184.78
CPU time (s): 1184.92
CPU user time (s): 1181.92
CPU system time (s): 3.00254
CPU usage (%): 100.011
Max. virtual memory (Kb): 42752
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	32825
#### END VERIFIER DATA ####