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 40811

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 22:26:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28876 boxname=wulflinc4 idbench=262 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  3ce91e964f348d481da3f7741c5768eb  /oldhome/oroussel/tmp/wulflinc4/normalized-data6_3.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-data6_3.opb
IDLAUNCH: 28876
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        856256 kB
Buffers:         30484 kB
Cached:         122416 kB
SwapCached:       5200 kB
Active:          40896 kB
Inactive:       118388 kB
HighTotal:      131008 kB
HighFree:        73220 kB
LowTotal:       903652 kB
LowFree:        783036 kB
SwapTotal:     2097136 kB
SwapFree:      2090912 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            13560 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 22:46:17 (client local time) WITH STATUS 10 IN 1176.92 SECONDS
stats: 28876 0 1176.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.545 s
c Initial Lower Bound: 17422
c Lower Bound Elapsed time: 19.303
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 33342 @ 622.791
c NEW SOLUTION FOUND: 32825 @ 754.724
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: 1176.89 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.84 0.96 0.93 2/54 4953
Raw data (stat): 4953 (runsolver) R 4952 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 905215718 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99985 s]
Raw data (loadavg): 0.87 0.96 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 3275 0 0 0 989 8 0 0 25 0 1 0 905215718 15208448 2783 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3713 2783 1111 63 0 3650 0
vsize: 14852
[startup+20.0007 s]
Raw data (loadavg): 0.89 0.96 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 3465 0 0 0 1988 9 0 0 25 0 1 0 905215718 15187968 2828 4294967295 134512640 134716908 3221224576 3221220852 1075965409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3708 2828 1111 63 0 3645 0
vsize: 14832
[startup+30.0022 s]
Raw data (loadavg): 0.90 0.96 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 4378 0 0 0 2986 11 0 0 25 0 1 0 905215718 13041664 2443 4294967295 134512640 134716908 3221224576 3221223232 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3184 2443 1111 63 0 3121 0
vsize: 12736
[startup+40.0019 s]
Raw data (loadavg): 0.92 0.96 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 4531 0 0 0 3984 12 0 0 25 0 1 0 905215718 13578240 2596 4294967295 134512640 134716908 3221224576 3221223344 134529138 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3315 2596 1111 63 0 3252 0
vsize: 13260
[startup+50.0023 s]
Raw data (loadavg): 0.93 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 4695 0 0 0 4983 13 0 0 25 0 1 0 905215718 14254080 2760 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3480 2760 1111 63 0 3417 0
vsize: 13920
[startup+60.0025 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 4874 0 0 0 5982 14 0 0 25 0 1 0 905215718 14925824 2939 4294967295 134512640 134716908 3221224576 3221223216 134543108 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3644 2939 1111 63 0 3581 0
vsize: 14576
[startup+70.0034 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 5041 0 0 0 6981 16 0 0 25 0 1 0 905215718 15597568 3106 4294967295 134512640 134716908 3221224576 3221223148 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3808 3106 1111 63 0 3745 0
vsize: 15232
[startup+80.0038 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 5212 0 0 0 7980 17 0 0 25 0 1 0 905215718 16273408 3277 4294967295 134512640 134716908 3221224576 3221223280 134535812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3973 3277 1111 63 0 3910 0
vsize: 15892
[startup+90.0037 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 5337 0 0 0 8980 17 0 0 25 0 1 0 905215718 16814080 3402 4294967295 134512640 134716908 3221224576 3221223212 134543760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4105 3402 1111 63 0 4042 0
vsize: 16420
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 5495 0 0 0 9980 18 0 0 25 0 1 0 905215718 17489920 3560 4294967295 134512640 134716908 3221224576 3221223216 134542312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4270 3560 1111 63 0 4207 0
vsize: 17080
[startup+110.004 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 5617 0 0 0 10979 18 0 0 25 0 1 0 905215718 18030592 3682 4294967295 134512640 134716908 3221224576 3221223120 134543043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4402 3682 1111 63 0 4339 0
vsize: 17608
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 5774 0 0 0 11979 19 0 0 25 0 1 0 905215718 18571264 3839 4294967295 134512640 134716908 3221224576 3221223208 134542370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4534 3839 1111 63 0 4471 0
vsize: 18136
[startup+130.007 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 5896 0 0 0 12978 20 0 0 25 0 1 0 905215718 19103744 3961 4294967295 134512640 134716908 3221224576 3221223216 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4664 3961 1111 63 0 4601 0
vsize: 18656
[startup+140.006 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 6038 0 0 0 13978 20 0 0 25 0 1 0 905215718 19644416 4103 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4796 4103 1111 63 0 4733 0
vsize: 19184
[startup+150.007 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 6143 0 0 0 14978 21 0 0 25 0 1 0 905215718 20185088 4208 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4928 4208 1111 63 0 4865 0
vsize: 19712
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 6256 0 0 0 15977 22 0 0 25 0 1 0 905215718 20590592 4321 4294967295 134512640 134716908 3221224576 3221223216 134543075 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5027 4321 1111 63 0 4964 0
vsize: 20108
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 6462 0 0 0 16977 22 0 0 25 0 1 0 905215718 21401600 4527 4294967295 134512640 134716908 3221224576 3221223228 134536763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5225 4527 1111 63 0 5162 0
vsize: 20900
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 6660 0 0 0 17976 23 0 0 25 0 1 0 905215718 22212608 4725 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5423 4725 1111 63 0 5360 0
vsize: 21692
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 6805 0 0 0 18976 23 0 0 25 0 1 0 905215718 22888448 4870 4294967295 134512640 134716908 3221224576 3221223160 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5588 4870 1111 63 0 5525 0
vsize: 22352
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 6941 0 0 0 19976 24 0 0 25 0 1 0 905215718 23429120 5006 4294967295 134512640 134716908 3221224576 3221223280 134535812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5720 5006 1111 63 0 5657 0
vsize: 22880
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 7091 0 0 0 20975 25 0 0 25 0 1 0 905215718 23969792 5156 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5852 5156 1111 63 0 5789 0
vsize: 23408
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 7198 0 0 0 21974 26 0 0 25 0 1 0 905215718 24506368 5263 4294967295 134512640 134716908 3221224576 3221223232 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5983 5263 1111 63 0 5920 0
vsize: 23932
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 7279 0 0 0 22974 26 0 0 25 0 1 0 905215718 24780800 5344 4294967295 134512640 134716908 3221224576 3221223264 134523985 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6050 5344 1111 63 0 5987 0
vsize: 24200
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 7414 0 0 0 23974 26 0 0 25 0 1 0 905215718 25317376 5479 4294967295 134512640 134716908 3221224576 3221223340 134675436 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6181 5479 1111 63 0 6118 0
vsize: 24724
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 7500 0 0 0 24974 27 0 0 25 0 1 0 905215718 25722880 5565 4294967295 134512640 134716908 3221224576 3221223200 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6280 5565 1111 63 0 6217 0
vsize: 25120
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 7597 0 0 0 25974 27 0 0 25 0 1 0 905215718 26128384 5662 4294967295 134512640 134716908 3221224576 3221223116 134539301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6379 5662 1111 63 0 6316 0
vsize: 25516
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 7691 0 0 0 26973 28 0 0 25 0 1 0 905215718 26533888 5756 4294967295 134512640 134716908 3221224576 3221223192 134542657 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6478 5756 1111 63 0 6415 0
vsize: 25912
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 7794 0 0 0 27972 29 0 0 25 0 1 0 905215718 26939392 5859 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6577 5859 1111 63 0 6514 0
vsize: 26308
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 7917 0 0 0 28971 30 0 0 25 0 1 0 905215718 27344896 5982 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6676 5982 1111 63 0 6613 0
vsize: 26704
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 8094 0 0 0 29971 31 0 0 25 0 1 0 905215718 28151808 6159 4294967295 134512640 134716908 3221224576 3221223244 134543653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6873 6159 1111 63 0 6810 0
vsize: 27492
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 8196 0 0 0 30970 32 0 0 25 0 1 0 905215718 28557312 6261 4294967295 134512640 134716908 3221224576 3221223304 134535787 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6972 6261 1111 63 0 6909 0
vsize: 27888
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 8290 0 0 0 31970 32 0 0 25 0 1 0 905215718 28958720 6355 4294967295 134512640 134716908 3221224576 3221223120 134543051 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7070 6355 1111 63 0 7007 0
vsize: 28280
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 8378 0 0 0 32970 33 0 0 25 0 1 0 905215718 29229056 6443 4294967295 134512640 134716908 3221224576 3221223220 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7136 6443 1111 63 0 7073 0
vsize: 28544
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 8473 0 0 0 33970 33 0 0 25 0 1 0 905215718 29630464 6538 4294967295 134512640 134716908 3221224576 3221223216 134539437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7234 6538 1111 63 0 7171 0
vsize: 28936
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 8629 0 0 0 34969 34 0 0 25 0 1 0 905215718 30298112 6694 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7397 6694 1111 63 0 7334 0
vsize: 29588
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 8790 0 0 0 35968 35 0 0 25 0 1 0 905215718 30961664 6855 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7559 6855 1111 63 0 7496 0
vsize: 30236
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 8907 0 0 0 36967 36 0 0 25 0 1 0 905215718 31502336 6972 4294967295 134512640 134716908 3221224576 3221223280 134584759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7691 6972 1111 63 0 7628 0
vsize: 30764
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 8997 0 0 0 37967 36 0 0 25 0 1 0 905215718 31772672 7062 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7757 7062 1111 63 0 7694 0
vsize: 31028
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 9087 0 0 0 38966 37 0 0 25 0 1 0 905215718 32178176 7152 4294967295 134512640 134716908 3221224576 3221223088 134535032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7856 7152 1111 63 0 7793 0
vsize: 31424
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 9202 0 0 0 39966 38 0 0 25 0 1 0 905215718 32718848 7267 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7988 7267 1111 63 0 7925 0
vsize: 31952
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 9277 0 0 0 40966 38 0 0 25 0 1 0 905215718 32989184 7342 4294967295 134512640 134716908 3221224576 3221223216 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8054 7342 1111 63 0 7991 0
vsize: 32216
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 9410 0 0 0 41965 39 0 0 25 0 1 0 905215718 33509376 7475 4294967295 134512640 134716908 3221224576 3221223168 134549789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8181 7475 1111 63 0 8118 0
vsize: 32724
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 9475 0 0 0 42965 39 0 0 25 0 1 0 905215718 33779712 7540 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8247 7540 1111 63 0 8184 0
vsize: 32988
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 9608 0 0 0 43964 40 0 0 25 0 1 0 905215718 34320384 7673 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8379 7673 1111 63 0 8316 0
vsize: 33516
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 9709 0 0 0 44964 41 0 0 25 0 1 0 905215718 34717696 7774 4294967295 134512640 134716908 3221224576 3221223216 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8476 7774 1111 63 0 8413 0
vsize: 33904
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 9784 0 0 0 45964 41 0 0 25 0 1 0 905215718 35110912 7849 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8572 7849 1111 63 0 8509 0
vsize: 34288
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 9836 0 0 0 46964 41 0 0 25 0 1 0 905215718 35246080 7901 4294967295 134512640 134716908 3221224576 3221223148 134535876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8605 7901 1111 63 0 8542 0
vsize: 34420
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 9913 0 0 0 47963 42 0 0 25 0 1 0 905215718 35516416 7978 4294967295 134512640 134716908 3221224576 3221223136 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8671 7978 1111 63 0 8608 0
vsize: 34684
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 9984 0 0 0 48963 43 0 0 25 0 1 0 905215718 35921920 8049 4294967295 134512640 134716908 3221224576 3221223152 134549718 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8770 8049 1111 63 0 8707 0
vsize: 35080
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 10038 0 0 0 49963 43 0 0 25 0 1 0 905215718 36057088 8103 4294967295 134512640 134716908 3221224576 3221223264 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8803 8103 1111 63 0 8740 0
vsize: 35212
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 10106 0 0 0 50963 43 0 0 25 0 1 0 905215718 36327424 8171 4294967295 134512640 134716908 3221224576 3221223228 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8869 8171 1111 63 0 8806 0
vsize: 35476
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 10164 0 0 0 51963 43 0 0 25 0 1 0 905215718 36597760 8229 4294967295 134512640 134716908 3221224576 3221223348 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8935 8229 1111 63 0 8872 0
vsize: 35740
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 10224 0 0 0 52963 44 0 0 25 0 1 0 905215718 36868096 8289 4294967295 134512640 134716908 3221224576 3221223240 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9001 8289 1111 63 0 8938 0
vsize: 36004
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 10319 0 0 0 53962 44 0 0 25 0 1 0 905215718 37273600 8384 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9100 8384 1111 63 0 9037 0
vsize: 36400
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 10381 0 0 0 54962 45 0 0 25 0 1 0 905215718 37539840 8446 4294967295 134512640 134716908 3221224576 3221223240 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9165 8446 1111 63 0 9102 0
vsize: 36660
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 10452 0 0 0 55962 45 0 0 25 0 1 0 905215718 37810176 8517 4294967295 134512640 134716908 3221224576 3221223084 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9231 8517 1111 63 0 9168 0
vsize: 36924
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 10514 0 0 0 56962 45 0 0 25 0 1 0 905215718 38080512 8579 4294967295 134512640 134716908 3221224576 3221223240 134543589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9297 8579 1111 63 0 9234 0
vsize: 37188
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 10569 0 0 0 57962 45 0 0 25 0 1 0 905215718 38215680 8634 4294967295 134512640 134716908 3221224576 3221223220 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9330 8634 1111 63 0 9267 0
vsize: 37320
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 10621 0 0 0 58962 46 0 0 25 0 1 0 905215718 38486016 8686 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9396 8686 1111 63 0 9333 0
vsize: 37584
[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 10672 0 0 0 59962 46 0 0 25 0 1 0 905215718 38756352 8737 4294967295 134512640 134716908 3221224576 3221223204 134543092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9462 8737 1111 63 0 9399 0
vsize: 37848
[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 10779 0 0 0 60961 47 0 0 25 0 1 0 905215718 39161856 8844 4294967295 134512640 134716908 3221224576 3221223248 134542968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9561 8844 1111 63 0 9498 0
vsize: 38244
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 10867 0 0 0 61961 47 0 0 25 0 1 0 905215718 39428096 8932 4294967295 134512640 134716908 3221224576 3221223160 134549708 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9626 8932 1111 63 0 9563 0
vsize: 38504
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 12913 0 0 0 62956 52 0 0 25 0 1 0 905215718 41725952 9398 4294967295 134512640 134716908 3221224576 3221221104 1076048848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10187 9398 1111 63 0 10124 0
vsize: 40748
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 15170 0 0 0 63951 57 0 0 25 0 1 0 905215718 42782720 9434 4294967295 134512640 134716908 3221224576 3221220540 1074788177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10445 9434 1111 63 0 10382 0
vsize: 41780
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 16870 0 0 0 64948 61 0 0 25 0 1 0 905215718 43696128 9370 4294967295 134512640 134716908 3221224576 3221220444 1074787708 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10668 9370 1111 63 0 10605 0
vsize: 42672
[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 18669 0 0 0 65943 66 0 0 25 0 1 0 905215718 42868736 9453 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10466 9453 1111 63 0 10403 0
vsize: 41864
[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 20787 0 0 0 66937 72 0 0 25 0 1 0 905215718 42852352 9467 4294967295 134512640 134716908 3221224576 3221221232 1075967941 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10462 9467 1111 63 0 10399 0
vsize: 41848
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 22588 0 0 0 67932 77 0 0 25 0 1 0 905215718 41033728 9276 4294967295 134512640 134716908 3221224576 3221222960 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10018 9276 1111 63 0 9955 0
vsize: 40072
[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 24359 0 0 0 68928 82 0 0 25 0 1 0 905215718 42979328 9489 4294967295 134512640 134716908 3221224576 3221220576 1075965246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10493 9489 1111 63 0 10430 0
vsize: 41972
[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 25862 0 0 0 69923 86 0 0 25 0 1 0 905215718 40308736 9144 4294967295 134512640 134716908 3221224576 3221222792 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9841 9144 1111 63 0 9778 0
vsize: 39364
[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 28081 0 0 0 70918 92 0 0 25 0 1 0 905215718 42348544 9470 4294967295 134512640 134716908 3221224576 3221220756 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10339 9470 1111 63 0 10276 0
vsize: 41356
[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 29780 0 0 0 71913 97 0 0 25 0 1 0 905215718 43044864 9530 4294967295 134512640 134716908 3221224576 3221221604 1075964218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10509 9530 1111 63 0 10446 0
vsize: 42036
[startup+730.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 31653 0 0 0 72908 102 0 0 25 0 1 0 905215718 40198144 9119 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9814 9119 1111 63 0 9751 0
vsize: 39256
[startup+740.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 33985 0 0 0 73902 108 0 0 25 0 1 0 905215718 42913792 9495 4294967295 134512640 134716908 3221224576 3221220648 1075964733 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10477 9495 1111 63 0 10414 0
vsize: 41908
[startup+750.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 36376 0 0 0 74896 114 0 0 25 0 1 0 905215718 40366080 9167 4294967295 134512640 134716908 3221224576 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9855 9167 1111 63 0 9792 0
vsize: 39420
[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 39080 0 0 0 75888 122 0 0 25 0 1 0 905215718 42680320 9440 4294967295 134512640 134716908 3221224576 3221220848 1074960912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10420 9440 1111 63 0 10357 0
vsize: 41680
[startup+770.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 41485 0 0 0 76881 129 0 0 25 0 1 0 905215718 42332160 9511 4294967295 134512640 134716908 3221224576 3221220704 1074882604 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10335 9511 1111 63 0 10272 0
vsize: 41340
[startup+780.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 43337 0 0 0 77875 134 0 0 25 0 1 0 905215718 42889216 9434 4294967295 134512640 134716908 3221224576 3221220688 1075094850 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10471 9437 1111 63 0 10408 0
vsize: 41884
[startup+790.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 45169 0 0 0 78871 139 0 0 25 0 1 0 905215718 43692032 9412 4294967295 134512640 134716908 3221224576 3221221232 1075969174 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10667 9412 1111 63 0 10604 0
vsize: 42668
[startup+800.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 46975 0 0 0 79867 143 0 0 25 0 1 0 905215718 43286528 9575 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10568 9575 1111 63 0 10505 0
vsize: 42272
[startup+810.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 48281 0 0 0 80864 147 0 0 25 0 1 0 905215718 44228608 9520 4294967295 134512640 134716908 3221224576 3221220848 1074961212 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10798 9520 1111 63 0 10735 0
vsize: 43192
[startup+820.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 50065 0 0 0 81859 152 0 0 25 0 1 0 905215718 43106304 9541 4294967295 134512640 134716908 3221224576 3221221568 1075110438 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10524 9541 1111 63 0 10461 0
vsize: 42096
[startup+830.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 51995 0 0 0 82854 157 0 0 25 0 1 0 905215718 42991616 9526 4294967295 134512640 134716908 3221224576 3221220516 1074786547 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10496 9526 1111 63 0 10433 0
vsize: 41984
[startup+840.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 53680 0 0 0 83849 162 0 0 25 0 1 0 905215718 43151360 9540 4294967295 134512640 134716908 3221224576 3221220720 1074969463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10535 9540 1111 63 0 10472 0
vsize: 42140
[startup+850.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 54796 0 0 0 84846 165 0 0 25 0 1 0 905215718 43266048 9577 4294967295 134512640 134716908 3221224576 3221220804 1075114984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10563 9577 1111 63 0 10500 0
vsize: 42252
[startup+860.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 56368 0 0 0 85842 170 0 0 25 0 1 0 905215718 41095168 9313 4294967295 134512640 134716908 3221224576 3221221768 1074138271 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10033 9313 1111 63 0 9970 0
vsize: 40132
[startup+870.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 58162 0 0 0 86837 174 0 0 25 0 1 0 905215718 43130880 9531 4294967295 134512640 134716908 3221224576 3221220804 1075115076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10530 9531 1111 63 0 10467 0
vsize: 42120
[startup+880.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 60007 0 0 0 87833 179 0 0 25 0 1 0 905215718 42598400 9539 4294967295 134512640 134716908 3221224576 3221220704 1074882604 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10400 9539 1111 63 0 10337 0
vsize: 41600
[startup+890.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 61846 0 0 0 88827 185 0 0 25 0 1 0 905215718 40521728 9205 4294967295 134512640 134716908 3221224576 3221222800 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9893 9205 1111 63 0 9830 0
vsize: 39572
[startup+900.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 64249 0 0 0 89821 191 0 0 25 0 1 0 905215718 43278336 9562 4294967295 134512640 134716908 3221224576 3221220676 1075964214 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10566 9562 1111 63 0 10503 0
vsize: 42264
[startup+910.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 66467 0 0 0 90815 197 0 0 25 0 1 0 905215718 43266048 9575 4294967295 134512640 134716908 3221224576 3221220912 1075114279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10563 9575 1111 63 0 10500 0
vsize: 42252
[startup+920.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 68237 0 0 0 91812 200 0 0 25 0 1 0 905215718 42708992 9567 4294967295 134512640 134716908 3221224576 3221220756 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10427 9567 1111 63 0 10364 0
vsize: 41708
[startup+930.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 70342 0 0 0 92807 205 0 0 25 0 1 0 905215718 44281856 9800 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10811 9800 1111 63 0 10748 0
vsize: 43244
[startup+940.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 71638 0 0 0 93805 208 0 0 25 0 1 0 905215718 43290624 9580 4294967295 134512640 134716908 3221224576 3221220816 1075115734 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10569 9580 1111 63 0 10506 0
vsize: 42276
[startup+950.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 73193 0 0 0 94801 212 0 0 25 0 1 0 905215718 40353792 9164 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9852 9164 1111 63 0 9789 0
vsize: 39408
[startup+960.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 75678 0 0 0 95795 218 0 0 25 0 1 0 905215718 40857600 9287 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9975 9287 1111 63 0 9912 0
vsize: 39900
[startup+970.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 77862 0 0 0 96790 224 0 0 25 0 1 0 905215718 44191744 9795 4294967295 134512640 134716908 3221224576 3221220804 1075115060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10789 9795 1111 63 0 10726 0
vsize: 43156
[startup+980.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 79922 0 0 0 97785 228 0 0 25 0 1 0 905215718 43274240 9573 4294967295 134512640 134716908 3221224576 3221220536 1075964745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10565 9573 1111 63 0 10502 0
vsize: 42260
[startup+990.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 82192 0 0 0 98779 235 0 0 25 0 1 0 905215718 43393024 9596 4294967295 134512640 134716908 3221224576 3221220736 1074883665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10594 9596 1111 63 0 10531 0
vsize: 42376
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 84631 0 0 0 99771 242 0 0 25 0 1 0 905215718 41418752 9378 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10112 9378 1111 63 0 10049 0
vsize: 40448
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 87457 0 0 0 100764 250 0 0 25 0 1 0 905215718 43274240 9475 4294967295 134512640 134716908 3221224576 3221220672 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10565 9475 1111 63 0 10502 0
vsize: 42260
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 90299 0 0 0 101756 258 0 0 25 0 1 0 905215718 43229184 9548 4294967295 134512640 134716908 3221224576 3221220804 1075114937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10554 9548 1111 63 0 10491 0
vsize: 42216
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 92838 0 0 0 102750 264 0 0 25 0 1 0 905215718 42528768 9543 4294967295 134512640 134716908 3221224576 3221220496 1075965287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10383 9543 1111 63 0 10320 0
vsize: 41532
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 95321 0 0 0 103744 271 0 0 25 0 1 0 905215718 43360256 9590 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10586 9590 1111 63 0 10523 0
vsize: 42344
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 97614 0 0 0 104738 277 0 0 25 0 1 0 905215718 41160704 9336 4294967295 134512640 134716908 3221224576 3221222792 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10049 9336 1111 63 0 9986 0
vsize: 40196
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 99704 0 0 0 105733 282 0 0 25 0 1 0 905215718 43008000 9379 4294967295 134512640 134716908 3221224576 3221221776 1075967404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10500 9382 1111 63 0 10437 0
vsize: 42000
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 102493 0 0 0 106727 288 0 0 25 0 1 0 905215718 43671552 9683 4294967295 134512640 134716908 3221224576 3221220704 1075112103 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10662 9683 1111 63 0 10599 0
vsize: 42648
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 103719 0 0 0 107724 291 0 0 25 0 1 0 905215718 41095168 9345 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10033 9345 1111 63 0 9970 0
vsize: 40132
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 105402 0 0 0 108720 296 0 0 25 0 1 0 905215718 44748800 9628 4294967295 134512640 134716908 3221224576 3221220620 1074873554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10925 9628 1111 63 0 10862 0
vsize: 43700
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 106758 0 0 0 109717 299 0 0 25 0 1 0 905215718 41111552 9349 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10037 9349 1111 63 0 9974 0
vsize: 40148
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 108701 0 0 0 110712 304 0 0 25 0 1 0 905215718 43700224 9693 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10669 9693 1111 63 0 10606 0
vsize: 42676
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 110523 0 0 0 111707 309 0 0 25 0 1 0 905215718 41517056 9438 4294967295 134512640 134716908 3221224576 3221223072 134646458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10136 9438 1111 63 0 10073 0
vsize: 40544
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 113096 0 0 0 112700 316 0 0 25 0 1 0 905215718 43122688 9416 4294967295 134512640 134716908 3221224576 3221220800 1074960845 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10528 9416 1111 63 0 10465 0
vsize: 42112
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 115573 0 0 0 113694 322 0 0 25 0 1 0 905215718 43134976 9549 4294967295 134512640 134716908 3221224576 3221221568 1075110391 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10531 9549 1111 63 0 10468 0
vsize: 42124
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 117837 0 0 0 114689 328 0 0 25 0 1 0 905215718 43569152 9642 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10637 9642 1111 63 0 10574 0
vsize: 42548
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 120463 0 0 0 115682 335 0 0 25 0 1 0 905215718 42655744 9517 4294967295 134512640 134716908 3221224576 3221220800 1074960912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10414 9517 1111 63 0 10351 0
vsize: 41656
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 122700 0 0 0 116677 341 0 0 25 0 1 0 905215718 41287680 9392 4294967295 134512640 134716908 3221224576 3221222832 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10080 9392 1111 63 0 10017 0
vsize: 40320
[startup+1176.79 s]
Raw data (loadavg): 0.99 0.97 0.93 1/53 4953
Raw data (stat): 4953 (bsolo_lpr_cuts-) R 4952 21152 21151 0 -1 0 122700 0 0 0 116677 341 0 0 25 0 1 0 905215718 41287680 9392 4294967295 134512640 134716908 3221224576 3221222832 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10080 9392 1111 63 0 10017 0
vsize: 0

Child status: 10
Real time (s): 1176.79
CPU time (s): 1176.92
CPU user time (s): 1173.44
CPU system time (s): 3.47847
CPU usage (%): 100.011
Max. virtual memory (Kb): 43700
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	32825
#### END VERIFIER DATA ####