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-circ6_3.opb
MD5SUM	509cfdb6810b13d9963718243e9046cd
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
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 numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.98
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 24427

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 07:53:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2314 boxname=wulflinc31 idbench=258 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  509cfdb6810b13d9963718243e9046cd  /oldhome/oroussel/tmp/wulflinc31/normalized-circ6_3.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-circ6_3.opb
IDLAUNCH: 2314
/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:        297296 kB
Buffers:         46256 kB
Cached:         657104 kB
SwapCached:        644 kB
Active:         306816 kB
Inactive:       398844 kB
HighTotal:      131008 kB
HighFree:        33432 kB
LowTotal:       903652 kB
LowFree:        263864 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26048 kB
Committed_AS:    63632 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 08:13:38 (client local time) WITH STATUS 10 IN 1187.68 SECONDS
stats: 2314 0 1187.68 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.625 s
c Initial Lower Bound: 48
c Lower Bound Elapsed time: 16.481
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 92 @ 37.487
c NEW SOLUTION FOUND: 90 @ 124.944
c NEW SOLUTION FOUND: 82 @ 159.204
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: 1187.66 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.95 0.96 0.91 2/54 8866
Raw data (stat): 8866 (runsolver) R 8865 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 707598126 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0007 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 3111 0 0 0 985 10 0 0 25 0 1 0 707598126 15212544 2622 4294967295 134512640 134714508 3221221792 3221217676 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3714 2622 1111 63 0 3651 0
vsize: 14856
[startup+20.0016 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 3492 0 0 0 1985 11 0 0 25 0 1 0 707598126 15278080 2857 4294967295 134512640 134714508 3221221792 3221217916 1075564177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2857 1111 63 0 3667 0
vsize: 14920
[startup+30.0021 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 4398 0 0 0 2982 14 0 0 25 0 1 0 707598126 13045760 2446 4294967295 134512640 134714508 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3185 2446 1111 63 0 3122 0
vsize: 12740
[startup+40.0016 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 5329 0 0 0 3979 17 0 0 25 0 1 0 707598126 14118912 2685 4294967295 134512640 134714508 3221221792 3221217756 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3447 2685 1111 63 0 3384 0
vsize: 13788
[startup+50.0024 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 8104 0 0 0 4971 24 0 0 25 0 1 0 707598126 14782464 2845 4294967295 134512640 134714508 3221221792 3221218672 1075960372 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3609 2845 1111 63 0 3546 0
vsize: 14436
[startup+60.0027 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 10281 0 0 0 5965 30 0 0 25 0 1 0 707598126 15925248 2882 4294967295 134512640 134714508 3221221792 3221218064 1074961138 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3888 2882 1111 63 0 3825 0
vsize: 15552
[startup+70.0032 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 12571 0 0 0 6959 37 0 0 25 0 1 0 707598126 15900672 2890 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3882 2890 1111 63 0 3819 0
vsize: 15528
[startup+80.0041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 14562 0 0 0 7953 43 0 0 25 0 1 0 707598126 13606912 2612 4294967295 134512640 134714508 3221221792 3221219088 1074839039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3322 2612 1111 63 0 3259 0
vsize: 13288
[startup+90.0044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 16794 0 0 0 8946 50 0 0 25 0 1 0 707598126 15818752 2848 4294967295 134512640 134714508 3221221792 3221218032 1075115760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3862 2848 1111 63 0 3799 0
vsize: 15448
[startup+100.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 18270 0 0 0 9942 54 0 0 25 0 1 0 707598126 13344768 2588 4294967295 134512640 134714508 3221221792 3221220128 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3258 2588 1111 63 0 3195 0
vsize: 13032
[startup+110.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 20326 0 0 0 10937 60 0 0 25 0 1 0 707598126 15691776 2846 4294967295 134512640 134714508 3221221792 3221217892 1075964278 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3831 2846 1111 63 0 3768 0
vsize: 15324
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 22683 0 0 0 11929 68 0 0 25 0 1 0 707598126 13398016 2601 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3271 2601 1111 63 0 3208 0
vsize: 13084
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 25359 0 0 0 12922 75 0 0 25 0 1 0 707598126 15708160 2840 4294967295 134512640 134714508 3221221792 3221218016 1075895784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3835 2840 1111 63 0 3772 0
vsize: 15340
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 27603 0 0 0 13916 81 0 0 25 0 1 0 707598126 15675392 2835 4294967295 134512640 134714508 3221221792 3221218160 1075894487 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3827 2835 1111 63 0 3764 0
vsize: 15308
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 30246 0 0 0 14910 88 0 0 25 0 1 0 707598126 15704064 2822 4294967295 134512640 134714508 3221221792 3221218000 1074815253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3834 2822 1111 63 0 3771 0
vsize: 15336
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 32545 0 0 0 15903 94 0 0 25 0 1 0 707598126 16797696 2743 4294967295 134512640 134714508 3221221792 3221217952 1074883665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4101 2743 1111 63 0 4038 0
vsize: 16404
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 34618 0 0 0 16898 100 0 0 25 0 1 0 707598126 13230080 2560 4294967295 134512640 134714508 3221221792 3221220144 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3230 2560 1111 63 0 3167 0
vsize: 12920
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 37518 0 0 0 17889 109 0 0 25 0 1 0 707598126 16429056 2705 4294967295 134512640 134714508 3221221792 3221218064 1074799963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4011 2705 1111 63 0 3948 0
vsize: 16044
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 39887 0 0 0 18883 115 0 0 25 0 1 0 707598126 13193216 2551 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3221 2551 1111 63 0 3158 0
vsize: 12884
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 42275 0 0 0 19876 122 0 0 25 0 1 0 707598126 16855040 2766 4294967295 134512640 134714508 3221221792 3221218032 1075115709 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4115 2766 1111 63 0 4052 0
vsize: 16460
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 44859 0 0 0 20870 129 0 0 25 0 1 0 707598126 13328384 2580 4294967295 134512640 134714508 3221221792 3221220096 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3254 2580 1111 63 0 3191 0
vsize: 13016
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 47183 0 0 0 21863 136 0 0 25 0 1 0 707598126 13414400 2605 4294967295 134512640 134714508 3221221792 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3275 2605 1111 63 0 3212 0
vsize: 13100
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 49651 0 0 0 22856 143 0 0 25 0 1 0 707598126 13668352 2603 4294967295 134512640 134714508 3221221792 3221219856 1075961756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3337 2603 1111 63 0 3274 0
vsize: 13348
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 51988 0 0 0 23849 150 0 0 25 0 1 0 707598126 13582336 2619 4294967295 134512640 134714508 3221221792 3221220064 1074153766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3316 2619 1111 63 0 3253 0
vsize: 13264
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 53934 0 0 0 24844 156 0 0 25 0 1 0 707598126 13508608 2628 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3298 2628 1111 63 0 3235 0
vsize: 13192
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 55912 0 0 0 25838 161 0 0 25 0 1 0 707598126 16801792 2881 4294967295 134512640 134714508 3221221792 3221217952 1075095371 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4102 2891 1111 63 0 4039 0
vsize: 16408
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 58245 0 0 0 26833 166 0 0 25 0 1 0 707598126 13385728 2598 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3268 2598 1111 63 0 3205 0
vsize: 13072
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 60297 0 0 0 27828 172 0 0 25 0 1 0 707598126 17047552 2862 4294967295 134512640 134714508 3221221792 3221217752 1074789806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4162 2862 1111 63 0 4099 0
vsize: 16648
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 62359 0 0 0 28822 177 0 0 25 0 1 0 707598126 16797696 3121 4294967295 134512640 134714508 3221221792 3221217892 1075964208 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3121 1111 63 0 4038 0
vsize: 16404
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 64279 0 0 0 29817 183 0 0 25 0 1 0 707598126 16769024 2790 4294967295 134512640 134714508 3221221792 3221217936 1074969465 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4094 2790 1111 63 0 4031 0
vsize: 16376
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 66685 0 0 0 30811 189 0 0 25 0 1 0 707598126 13430784 2609 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3279 2609 1111 63 0 3216 0
vsize: 13116
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 69231 0 0 0 31803 197 0 0 25 0 1 0 707598126 15613952 2828 4294967295 134512640 134714508 3221221792 3221217892 1075964282 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3812 2828 1111 63 0 3749 0
vsize: 15248
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 71848 0 0 0 32797 204 0 0 25 0 1 0 707598126 14839808 2796 4294967295 134512640 134714508 3221221792 3221218016 1074960868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3623 2796 1111 63 0 3560 0
vsize: 14492
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 74102 0 0 0 33791 210 0 0 25 0 1 0 707598126 14880768 2808 4294967295 134512640 134714508 3221221792 3221217652 1074786562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3633 2808 1111 63 0 3570 0
vsize: 14532
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 76935 0 0 0 34784 217 0 0 25 0 1 0 707598126 15810560 2871 4294967295 134512640 134714508 3221221792 3221217756 1074788956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3860 2871 1111 63 0 3797 0
vsize: 15440
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 79075 0 0 0 35778 223 0 0 25 0 1 0 707598126 15790080 2848 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3855 2848 1111 63 0 3792 0
vsize: 15420
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 81464 0 0 0 36772 229 0 0 25 0 1 0 707598126 16789504 2744 4294967295 134512640 134714508 3221221792 3221218064 1074961267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4099 2744 1111 63 0 4036 0
vsize: 16396
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 84125 0 0 0 37766 236 0 0 25 0 1 0 707598126 14704640 2753 4294967295 134512640 134714508 3221221792 3221218232 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3590 2753 1111 63 0 3527 0
vsize: 14360
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 86418 0 0 0 38759 242 0 0 25 0 1 0 707598126 16797696 2796 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4101 2797 1111 63 0 4038 0
vsize: 16404
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 88772 0 0 0 39754 248 0 0 25 0 1 0 707598126 15597568 2824 4294967295 134512640 134714508 3221221792 3221217724 1074788201 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3808 2824 1111 63 0 3745 0
vsize: 15232
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 91039 0 0 0 40748 254 0 0 25 0 1 0 707598126 15814656 2878 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3861 2878 1111 63 0 3798 0
vsize: 15444
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 94785 0 0 0 41738 264 0 0 25 0 1 0 707598126 14557184 2718 4294967295 134512640 134714508 3221221792 3221218556 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3554 2718 1111 63 0 3491 0
vsize: 14216
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 97292 0 0 0 42732 271 0 0 25 0 1 0 707598126 15847424 2862 4294967295 134512640 134714508 3221221792 3221218000 1074815234 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3869 2862 1111 63 0 3806 0
vsize: 15476
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 99156 0 0 0 43727 276 0 0 25 0 1 0 707598126 15781888 2858 4294967295 134512640 134714508 3221221792 3221218064 1074961146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3853 2858 1111 63 0 3790 0
vsize: 15412
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 102046 0 0 0 44719 284 0 0 25 0 1 0 707598126 15446016 2775 4294967295 134512640 134714508 3221221792 3221217836 1074873534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3771 2775 1111 63 0 3708 0
vsize: 15084
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 104940 0 0 0 45713 290 0 0 25 0 1 0 707598126 15818752 2847 4294967295 134512640 134714508 3221221792 3221217676 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3862 2847 1111 63 0 3799 0
vsize: 15448
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 107603 0 0 0 46706 297 0 0 25 0 1 0 707598126 16457728 2636 4294967295 134512640 134714508 3221221792 3221218368 1076049000 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4018 2636 1111 63 0 3955 0
vsize: 16072
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 110422 0 0 0 47698 305 0 0 25 0 1 0 707598126 15749120 2861 4294967295 134512640 134714508 3221221792 3221218128 1075114268 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3845 2861 1111 63 0 3782 0
vsize: 15380
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 112805 0 0 0 48693 311 0 0 25 0 1 0 707598126 13283328 2573 4294967295 134512640 134714508 3221221792 3221220176 1074153743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3243 2573 1111 63 0 3180 0
vsize: 12972
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 114923 0 0 0 49687 317 0 0 25 0 1 0 707598126 16912384 2750 4294967295 134512640 134714508 3221221792 3221217756 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4129 2750 1111 63 0 4066 0
vsize: 16516
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 117457 0 0 0 50680 324 0 0 25 0 1 0 707598126 15876096 2865 4294967295 134512640 134714508 3221221792 3221217856 1075084533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3876 2865 1111 63 0 3813 0
vsize: 15504
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 119712 0 0 0 51675 330 0 0 25 0 1 0 707598126 16756736 2755 4294967295 134512640 134714508 3221221792 3221217856 1075084457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4091 2755 1111 63 0 4028 0
vsize: 16364
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 122801 0 0 0 52666 338 0 0 25 0 1 0 707598126 15814656 2878 4294967295 134512640 134714508 3221221792 3221218320 1075397169 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3861 2878 1111 63 0 3798 0
vsize: 15444
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 125032 0 0 0 53661 344 0 0 25 0 1 0 707598126 16273408 2977 4294967295 134512640 134714508 3221221792 3221218020 1075115076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3973 2977 1111 63 0 3910 0
vsize: 15892
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 126716 0 0 0 54657 348 0 0 25 0 1 0 707598126 16031744 2946 4294967295 134512640 134714508 3221221792 3221218064 1074961246 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3914 2946 1111 63 0 3851 0
vsize: 15656
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 128578 0 0 0 55652 353 0 0 25 0 1 0 707598126 13688832 2672 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3342 2672 1111 63 0 3279 0
vsize: 13368
[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 130550 0 0 0 56647 358 0 0 25 0 1 0 707598126 16080896 2919 4294967295 134512640 134714508 3221221792 3221217756 1074788143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3926 2919 1111 63 0 3863 0
vsize: 15704
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 132180 0 0 0 57643 362 0 0 25 0 1 0 707598126 13897728 2692 4294967295 134512640 134714508 3221221792 3221219876 1077374469 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3393 2692 1111 63 0 3330 0
vsize: 13572
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 134100 0 0 0 58638 367 0 0 25 0 1 0 707598126 16080896 2938 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3926 2938 1111 63 0 3863 0
vsize: 15704
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 136288 0 0 0 59632 374 0 0 25 0 1 0 707598126 15900672 2878 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3882 2878 1111 63 0 3819 0
vsize: 15528
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 138502 0 0 0 60627 379 0 0 25 0 1 0 707598126 14966784 2827 4294967295 134512640 134714508 3221221792 3221218248 1074971925 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3654 2827 1111 63 0 3591 0
vsize: 14616
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 140552 0 0 0 61622 384 0 0 25 0 1 0 707598126 16965632 2814 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4142 2814 1111 63 0 4079 0
vsize: 16568
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 142588 0 0 0 62618 388 0 0 25 0 1 0 707598126 15843328 2888 4294967295 134512640 134714508 3221221792 3221217972 1075964224 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3868 2888 1111 63 0 3805 0
vsize: 15472
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 144457 0 0 0 63613 393 0 0 25 0 1 0 707598126 15151104 2862 4294967295 134512640 134714508 3221221792 3221217856 1075895701 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3699 2862 1111 63 0 3636 0
vsize: 14796
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 146360 0 0 0 64609 398 0 0 25 0 1 0 707598126 13643776 2654 4294967295 134512640 134714508 3221221792 3221219960 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3331 2654 1111 63 0 3268 0
vsize: 13324
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 148188 0 0 0 65604 402 0 0 25 0 1 0 707598126 16945152 2755 4294967295 134512640 134714508 3221221792 3221218000 1074815186 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4137 2755 1111 63 0 4074 0
vsize: 16548
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 149883 0 0 0 66600 407 0 0 25 0 1 0 707598126 16171008 2950 4294967295 134512640 134714508 3221221792 3221218128 1075114268 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3948 2950 1111 63 0 3885 0
vsize: 15792
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 151952 0 0 0 67595 413 0 0 25 0 1 0 707598126 16109568 2933 4294967295 134512640 134714508 3221221792 3221217676 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3933 2933 1111 63 0 3870 0
vsize: 15732
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 154120 0 0 0 68589 419 0 0 25 0 1 0 707598126 15753216 2845 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3846 2845 1111 63 0 3783 0
vsize: 15384
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 156098 0 0 0 69583 424 0 0 25 0 1 0 707598126 16027648 2903 4294967295 134512640 134714508 3221221792 3221217936 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3913 2903 1111 63 0 3850 0
vsize: 15652
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 158579 0 0 0 70577 431 0 0 25 0 1 0 707598126 15773696 2874 4294967295 134512640 134714508 3221221792 3221218000 1074815241 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3851 2874 1111 63 0 3788 0
vsize: 15404
[startup+720.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 159978 0 0 0 71574 434 0 0 25 0 1 0 707598126 13725696 2681 4294967295 134512640 134714508 3221221792 3221220096 1074153660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3351 2681 1111 63 0 3288 0
vsize: 13404
[startup+730.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 161580 0 0 0 72569 439 0 0 25 0 1 0 707598126 13914112 2716 4294967295 134512640 134714508 3221221792 3221220240 1074039446 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3397 2716 1111 63 0 3334 0
vsize: 13588
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 163247 0 0 0 73565 443 0 0 25 0 1 0 707598126 15843328 2885 4294967295 134512640 134714508 3221221792 3221217676 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3868 2885 1111 63 0 3805 0
vsize: 15472
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 164911 0 0 0 74562 447 0 0 25 0 1 0 707598126 15949824 2898 4294967295 134512640 134714508 3221221792 3221218064 1074961264 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3894 2898 1111 63 0 3831 0
vsize: 15576
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 166882 0 0 0 75558 451 0 0 25 0 1 0 707598126 15114240 2882 4294967295 134512640 134714508 3221221792 3221217984 1075115709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3690 2882 1111 63 0 3627 0
vsize: 14760
[startup+770.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 168597 0 0 0 76553 456 0 0 25 0 1 0 707598126 16015360 2944 4294967295 134512640 134714508 3221221792 3221217892 1075964248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3910 2944 1111 63 0 3847 0
vsize: 15640
[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 170440 0 0 0 77548 461 0 0 25 0 1 0 707598126 15998976 2933 4294967295 134512640 134714508 3221221792 3221217760 1074872882 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3906 2933 1111 63 0 3843 0
vsize: 15624
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 172219 0 0 0 78545 464 0 0 25 0 1 0 707598126 16146432 2949 4294967295 134512640 134714508 3221221792 3221218000 1074815276 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3942 2949 1111 63 0 3879 0
vsize: 15768
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 173607 0 0 0 79542 467 0 0 25 0 1 0 707598126 17125376 2865 4294967295 134512640 134714508 3221221792 3221217836 1074873379 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4181 2865 1111 63 0 4118 0
vsize: 16724
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 175021 0 0 0 80539 471 0 0 25 0 1 0 707598126 16146432 2951 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3942 2951 1111 63 0 3879 0
vsize: 15768
[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 176799 0 0 0 81534 476 0 0 25 0 1 0 707598126 13787136 2696 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3366 2696 1111 63 0 3303 0
vsize: 13464
[startup+830.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 178418 0 0 0 82530 480 0 0 25 0 1 0 707598126 13778944 2694 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3364 2694 1111 63 0 3301 0
vsize: 13456
[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 180316 0 0 0 83525 485 0 0 25 0 1 0 707598126 16941056 2753 4294967295 134512640 134714508 3221221792 3221218784 1075110371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4136 2753 1111 63 0 4073 0
vsize: 16544
[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 182219 0 0 0 84521 490 0 0 25 0 1 0 707598126 15761408 2876 4294967295 134512640 134714508 3221221792 3221217676 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3848 2876 1111 63 0 3785 0
vsize: 15392
[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 184365 0 0 0 85515 496 0 0 25 0 1 0 707598126 15671296 2854 4294967295 134512640 134714508 3221221792 3221217892 1075964227 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3826 2854 1111 63 0 3763 0
vsize: 15304
[startup+870.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 186421 0 0 0 86509 502 0 0 25 0 1 0 707598126 13578240 2645 4294967295 134512640 134714508 3221221792 3221220176 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3315 2645 1111 63 0 3252 0
vsize: 13260
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 188845 0 0 0 87503 508 0 0 25 0 1 0 707598126 16601088 2659 4294967295 134512640 134714508 3221221792 3221218832 1075971414 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2663 1111 63 0 3990 0
vsize: 16212
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 191428 0 0 0 88498 514 0 0 25 0 1 0 707598126 16719872 2696 4294967295 134512640 134714508 3221221792 3221218864 1074867212 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4082 2696 1111 63 0 4019 0
vsize: 16328
[startup+900.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 193998 0 0 0 89490 521 0 0 25 0 1 0 707598126 15769600 2848 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3850 2848 1111 63 0 3787 0
vsize: 15400
[startup+910.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 196125 0 0 0 90485 527 0 0 25 0 1 0 707598126 15998976 2914 4294967295 134512640 134714508 3221221792 3221218000 1074815309 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3906 2914 1111 63 0 3843 0
vsize: 15624
[startup+920.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 198292 0 0 0 91480 532 0 0 25 0 1 0 707598126 15962112 2917 4294967295 134512640 134714508 3221221792 3221218020 1075115003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3897 2917 1111 63 0 3834 0
vsize: 15588
[startup+930.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 200708 0 0 0 92474 538 0 0 25 0 1 0 707598126 17227776 3200 4294967295 134512640 134714508 3221221792 3221218064 1074961304 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4206 3200 1111 63 0 4143 0
vsize: 16824
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 202374 0 0 0 93468 544 0 0 25 0 1 0 707598126 13705216 2669 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3346 2669 1111 63 0 3283 0
vsize: 13384
[startup+950.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 204468 0 0 0 94462 550 0 0 25 0 1 0 707598126 16908288 2786 4294967295 134512640 134714508 3221221792 3221217940 1075964396 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4128 2786 1111 63 0 4065 0
vsize: 16512
[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 207069 0 0 0 95455 558 0 0 25 0 1 0 707598126 15826944 2861 4294967295 134512640 134714508 3221221792 3221217784 1075964745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3864 2861 1111 63 0 3801 0
vsize: 15456
[startup+970.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 209028 0 0 0 96450 563 0 0 25 0 1 0 707598126 13410304 2604 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3274 2604 1111 63 0 3211 0
vsize: 13096
[startup+980.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 211637 0 0 0 97443 570 0 0 25 0 1 0 707598126 15945728 2883 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3893 2883 1111 63 0 3830 0
vsize: 15572
[startup+990.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 213684 0 0 0 98438 576 0 0 25 0 1 0 707598126 13430784 2609 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3279 2609 1111 63 0 3216 0
vsize: 13116
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 216016 0 0 0 99431 582 0 0 25 0 1 0 707598126 13692928 2673 4294967295 134512640 134714508 3221221792 3221220080 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3343 2673 1111 63 0 3280 0
vsize: 13372
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 217877 0 0 0 100427 587 0 0 25 0 1 0 707598126 13377536 2596 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3266 2596 1111 63 0 3203 0
vsize: 13064
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 220416 0 0 0 101421 592 0 0 25 0 1 0 707598126 15650816 2772 4294967295 134512640 134714508 3221221792 3221218016 1074961304 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3821 2772 1111 63 0 3758 0
vsize: 15284
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 222694 0 0 0 102415 599 0 0 25 0 1 0 707598126 16179200 2976 4294967295 134512640 134714508 3221221792 3221217892 1075964258 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3950 2976 1111 63 0 3887 0
vsize: 15800
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 224833 0 0 0 103409 605 0 0 25 0 1 0 707598126 13488128 2609 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3293 2609 1111 63 0 3230 0
vsize: 13172
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 227471 0 0 0 104402 612 0 0 25 0 1 0 707598126 15835136 2854 4294967295 134512640 134714508 3221221792 3221217952 1075095188 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3866 2854 1111 63 0 3803 0
vsize: 15464
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 229324 0 0 0 105398 616 0 0 25 0 1 0 707598126 15839232 2894 4294967295 134512640 134714508 3221221792 3221217756 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3867 2894 1111 63 0 3804 0
vsize: 15468
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 232152 0 0 0 106391 624 0 0 25 0 1 0 707598126 16687104 3067 4294967295 134512640 134714508 3221221792 3221217752 1075964775 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4074 3067 1111 63 0 4011 0
vsize: 16296
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 233917 0 0 0 107386 628 0 0 25 0 1 0 707598126 13410304 2604 4294967295 134512640 134714508 3221221792 3221219704 1074138271 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3312 2606 1111 63 0 3249 0
vsize: 13096
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 236274 0 0 0 108381 634 0 0 25 0 1 0 707598126 13582336 2637 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3316 2637 1111 63 0 3253 0
vsize: 13264
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 238421 0 0 0 109375 640 0 0 25 0 1 0 707598126 15040512 2857 4294967295 134512640 134714508 3221221792 3221217628 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3672 2857 1111 63 0 3609 0
vsize: 14688
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 240859 0 0 0 110369 646 0 0 25 0 1 0 707598126 15863808 2860 4294967295 134512640 134714508 3221221792 3221217892 1075964221 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3873 2860 1111 63 0 3810 0
vsize: 15492
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 242761 0 0 0 111364 652 0 0 25 0 1 0 707598126 15601664 2778 4294967295 134512640 134714508 3221221792 3221217984 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3809 2778 1111 63 0 3746 0
vsize: 15236
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 244653 0 0 0 112359 656 0 0 25 0 1 0 707598126 15777792 2873 4294967295 134512640 134714508 3221221792 3221217676 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3852 2873 1111 63 0 3789 0
vsize: 15408
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 247085 0 0 0 113353 662 0 0 25 0 1 0 707598126 15917056 2886 4294967295 134512640 134714508 3221221792 3221217856 1075084528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3886 2886 1111 63 0 3823 0
vsize: 15544
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 248939 0 0 0 114349 667 0 0 25 0 1 0 707598126 17260544 2835 4294967295 134512640 134714508 3221221792 3221218796 1074621048 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4214 2835 1111 63 0 4151 0
vsize: 16856
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 250379 0 0 0 115346 670 0 0 25 0 1 0 707598126 16760832 2776 4294967295 134512640 134714508 3221221792 3221218064 1074961408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4092 2776 1111 63 0 4029 0
vsize: 16368
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 252442 0 0 0 116341 676 0 0 25 0 1 0 707598126 16093184 2949 4294967295 134512640 134714508 3221221792 3221217920 1075112086 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3929 2949 1111 63 0 3866 0
vsize: 15716
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 254004 0 0 0 117337 679 0 0 25 0 1 0 707598126 13778944 2690 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3364 2690 1111 63 0 3301 0
vsize: 13456
[startup+1187.55 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 8866
Raw data (stat): 8866 (bsolo_lpr) R 8865 7876 7672 0 -1 0 254004 0 0 0 117337 679 0 0 25 0 1 0 707598126 13778944 2690 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3364 2690 1111 63 0 3301 0
vsize: 0

Child status: 10
Real time (s): 1187.55
CPU time (s): 1187.68
CPU user time (s): 1180.85
CPU system time (s): 6.83896
CPU usage (%): 100.011
Max. virtual memory (Kb): 16856
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	82
#### END VERIFIER DATA ####