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 |
#### 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 ####