Name | normalized-opb/submitted/manquinho/ttp/normalized-circ6_3.opb |
MD5SUM | 509cfdb6810b13d9963718243e9046cd |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 66 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 180 |
Biggest coefficient in the objective function | 3 |
Number of bits for the biggest coefficient in the objective function | 2 |
Sum of the numbers in the objective function | 324 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 16 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 324 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.98 |
Number of variables | 540 |
Total number of constraints | 4476 |
Number of constraints which are clauses | 2532 |
Number of constraints which are cardinality constraints (but not clauses) | 264 |
Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 20 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-10 08:13:48 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2315 boxname=wulflinc31 idbench=258 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 509cfdb6810b13d9963718243e9046cd /oldhome/oroussel/tmp/wulflinc31/normalized-circ6_3.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-circ6_3.opb IDLAUNCH: 2315 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 297516 kB Buffers: 46276 kB Cached: 657084 kB SwapCached: 644 kB Active: 307012 kB Inactive: 398680 kB HighTotal: 131008 kB HighFree: 33460 kB LowTotal: 903652 kB LowFree: 264056 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5608 kB Slab: 25840 kB Committed_AS: 63648 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-10 08:33:38 (client local time) WITH STATUS 10 IN 1189.85 SECONDS stats: 2315 0 1189.85 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.643 s c Initial Lower Bound: 48 c Lower Bound Elapsed time: 16.535 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 92 @ 37.405 c NEW SOLUTION FOUND: 90 @ 124.228 c NEW SOLUTION FOUND: 82 @ 158.188 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: 1189.82 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.92 0.95 0.91 2/54 8959 Raw data (stat): 8959 (runsolver) R 8958 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 707717967 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0007 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 3102 0 0 0 986 9 0 0 25 0 1 0 707717967 15212544 2613 4294967295 134512640 134714508 3221221776 3221218616 1074950114 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3714 2613 1111 63 0 3651 0 vsize: 14856 [startup+20.0006 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 3492 0 0 0 1984 11 0 0 25 0 1 0 707717967 15278080 2857 4294967295 134512640 134714508 3221221776 3221217872 1074882604 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3730 2857 1111 63 0 3667 0 vsize: 14920 [startup+30.0015 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 4398 0 0 0 2982 13 0 0 25 0 1 0 707717967 13045760 2446 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3185 2446 1111 63 0 3122 0 vsize: 12740 [startup+40.0014 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 5333 0 0 0 3979 16 0 0 25 0 1 0 707717967 13242368 2549 4294967295 134512640 134714508 3221221776 3221219008 1074139990 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3233 2549 1111 63 0 3170 0 vsize: 12932 [startup+50.0023 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 8229 0 0 0 4972 23 0 0 25 0 1 0 707717967 15032320 2763 4294967295 134512640 134714508 3221221776 3221218672 1074620053 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3670 2763 1111 63 0 3607 0 vsize: 14680 [startup+60.0025 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 10283 0 0 0 5968 27 0 0 25 0 1 0 707717967 15925248 2884 4294967295 134512640 134714508 3221221776 3221217788 1074788953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3888 2884 1111 63 0 3825 0 vsize: 15552 [startup+70.0021 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 12821 0 0 0 6961 35 0 0 25 0 1 0 707717967 13807616 2669 4294967295 134512640 134714508 3221221776 3221220076 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3371 2669 1111 63 0 3308 0 vsize: 13484 [startup+80.0031 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 14846 0 0 0 7955 41 0 0 25 0 1 0 707717967 15286272 2922 4294967295 134512640 134714508 3221221776 3221217820 1075663518 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3732 2922 1111 63 0 3669 0 vsize: 14928 [startup+90.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 16502 0 0 0 8951 45 0 0 25 0 1 0 707717967 15781888 2861 4294967295 134512640 134714508 3221221776 3221218048 1074961304 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3853 2861 1111 63 0 3790 0 vsize: 15412 [startup+100.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 17907 0 0 0 9946 50 0 0 25 0 1 0 707717967 16924672 2822 4294967295 134512640 134714508 3221221776 3221218016 1075115709 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4132 2822 1111 63 0 4069 0 vsize: 16528 [startup+110.003 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 19562 0 0 0 10942 54 0 0 25 0 1 0 707717967 13594624 2649 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3319 2649 1111 63 0 3256 0 vsize: 13276 [startup+120.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 21899 0 0 0 11936 60 0 0 25 0 1 0 707717967 16568320 3058 4294967295 134512640 134714508 3221221776 3221217820 1074873351 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4045 3058 1111 63 0 3982 0 vsize: 16180 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 23766 0 0 0 12931 65 0 0 25 0 1 0 707717967 15736832 2836 4294967295 134512640 134714508 3221221776 3221218048 1074961157 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3842 2836 1111 63 0 3779 0 vsize: 15368 [startup+140.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 25771 0 0 0 13925 71 0 0 25 0 1 0 707717967 13619200 2655 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3325 2655 1111 63 0 3262 0 vsize: 13300 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 28011 0 0 0 14918 78 0 0 25 0 1 0 707717967 13619200 2655 4294967295 134512640 134714508 3221221776 3221219960 1074138155 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3325 2655 1111 63 0 3262 0 vsize: 13300 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 29932 0 0 0 15914 83 0 0 25 0 1 0 707717967 15769600 2858 4294967295 134512640 134714508 3221221776 3221217876 1075964248 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3850 2858 1111 63 0 3787 0 vsize: 15400 [startup+170.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 31655 0 0 0 16909 88 0 0 25 0 1 0 707717967 16764928 3075 4294967295 134512640 134714508 3221221776 3221217920 1074969449 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4093 3075 1111 63 0 4030 0 vsize: 16372 [startup+180.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 34299 0 0 0 17902 95 0 0 25 0 1 0 707717967 15859712 2865 4294967295 134512640 134714508 3221221776 3221217788 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3872 2865 1111 63 0 3809 0 vsize: 15488 [startup+190.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 36792 0 0 0 18896 101 0 0 25 0 1 0 707717967 14749696 2785 4294967295 134512640 134714508 3221221776 3221218848 1074834317 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3601 2785 1111 63 0 3538 0 vsize: 14404 [startup+200.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 38773 0 0 0 19891 106 0 0 25 0 1 0 707717967 17010688 2839 4294967295 134512640 134714508 3221221776 3221218048 1074961138 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4153 2839 1111 63 0 4090 0 vsize: 16612 [startup+210.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 41931 0 0 0 20883 115 0 0 25 0 1 0 707717967 17154048 2837 4294967295 134512640 134714508 3221221776 3221217904 1075112091 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4188 2837 1111 63 0 4125 0 vsize: 16752 [startup+220.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 44129 0 0 0 21877 120 0 0 25 0 1 0 707717967 15958016 2884 4294967295 134512640 134714508 3221221776 3221218004 1075115049 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3896 2884 1111 63 0 3833 0 vsize: 15584 [startup+230.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 46332 0 0 0 22871 127 0 0 25 0 1 0 707717967 16191488 2951 4294967295 134512640 134714508 3221221776 3221218048 1074961146 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3953 2951 1111 63 0 3890 0 vsize: 15812 [startup+240.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 47768 0 0 0 23867 131 0 0 25 0 1 0 707717967 17162240 2895 4294967295 134512640 134714508 3221221776 3221217984 1074815253 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4190 2895 1111 63 0 4127 0 vsize: 16760 [startup+250.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 49751 0 0 0 24862 136 0 0 25 0 1 0 707717967 17272832 2869 4294967295 134512640 134714508 3221221776 3221218004 1075114937 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4217 2869 1111 63 0 4154 0 vsize: 16868 [startup+260.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 51292 0 0 0 25857 141 0 0 25 0 1 0 707717967 16338944 3021 4294967295 134512640 134714508 3221221776 3221217920 1074969449 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3989 3021 1111 63 0 3926 0 vsize: 15956 [startup+270.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 53195 0 0 0 26853 146 0 0 25 0 1 0 707717967 13758464 2689 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3359 2689 1111 63 0 3296 0 vsize: 13436 [startup+280.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 54826 0 0 0 27848 150 0 0 25 0 1 0 707717967 14200832 2765 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3467 2765 1111 63 0 3404 0 vsize: 13868 [startup+290.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 56679 0 0 0 28843 155 0 0 25 0 1 0 707717967 15290368 2944 4294967295 134512640 134714508 3221221776 3221217612 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3733 2944 1111 63 0 3670 0 vsize: 14932 [startup+300.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 58549 0 0 0 29839 160 0 0 25 0 1 0 707717967 13955072 2725 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3407 2725 1111 63 0 3344 0 vsize: 13628 [startup+310.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 61205 0 0 0 30832 167 0 0 25 0 1 0 707717967 15310848 2932 4294967295 134512640 134714508 3221221776 3221217956 1075115051 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3738 2932 1111 63 0 3675 0 vsize: 14952 [startup+320.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 63728 0 0 0 31825 174 0 0 25 0 1 0 707717967 14077952 2767 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3437 2767 1111 63 0 3374 0 vsize: 13748 [startup+330.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 65533 0 0 0 32820 179 0 0 25 0 1 0 707717967 16527360 3054 4294967295 134512640 134714508 3221221776 3221218048 1074961380 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4035 3054 1111 63 0 3972 0 vsize: 16140 [startup+340.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 67688 0 0 0 33814 185 0 0 25 0 1 0 707717967 16338944 3000 4294967295 134512640 134714508 3221221776 3221217876 1075964252 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3989 3000 1111 63 0 3926 0 vsize: 15956 [startup+350.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 70253 0 0 0 34808 192 0 0 25 0 1 0 707717967 17395712 2937 4294967295 134512640 134714508 3221221776 3221218048 1074961238 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4247 2937 1111 63 0 4184 0 vsize: 16988 [startup+360.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 72397 0 0 0 35802 198 0 0 25 0 1 0 707717967 13885440 2720 4294967295 134512640 134714508 3221221776 3221220160 1074153742 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3390 2720 1111 63 0 3327 0 vsize: 13560 [startup+370.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 74576 0 0 0 36796 203 0 0 25 0 1 0 707717967 16277504 3000 4294967295 134512640 134714508 3221221776 3221218048 1074961301 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3974 3000 1111 63 0 3911 0 vsize: 15896 [startup+380.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 76393 0 0 0 37792 208 0 0 25 0 1 0 707717967 14348288 2818 4294967295 134512640 134714508 3221221776 3221220128 1074153675 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3503 2818 1111 63 0 3440 0 vsize: 14012 [startup+390.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 78585 0 0 0 38785 215 0 0 25 0 1 0 707717967 17485824 2915 4294967295 134512640 134714508 3221221776 3221217752 1074788565 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4269 2915 1111 63 0 4206 0 vsize: 17076 [startup+400.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 80749 0 0 0 39779 221 0 0 25 0 1 0 707717967 16412672 3023 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4007 3023 1111 63 0 3944 0 vsize: 16028 [startup+410.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 82764 0 0 0 40775 226 0 0 25 0 1 0 707717967 16478208 3031 4294967295 134512640 134714508 3221221776 3221217984 1074815488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4023 3031 1111 63 0 3960 0 vsize: 16092 [startup+420.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 85519 0 0 0 41767 234 0 0 25 0 1 0 707717967 15740928 3027 4294967295 134512640 134714508 3221221776 3221218000 1074960789 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3843 3027 1111 63 0 3780 0 vsize: 15372 [startup+430.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 87397 0 0 0 42763 238 0 0 25 0 1 0 707717967 16781312 3088 4294967295 134512640 134714508 3221221776 3221217848 1075964730 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4097 3088 1111 63 0 4034 0 vsize: 16388 [startup+440.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 89644 0 0 0 43757 244 0 0 25 0 1 0 707717967 16445440 3018 4294967295 134512640 134714508 3221221776 3221217708 1074788168 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4015 3018 1111 63 0 3952 0 vsize: 16060 [startup+450.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 92362 0 0 0 44751 250 0 0 25 0 1 0 707717967 16351232 2994 4294967295 134512640 134714508 3221221776 3221217984 1074815309 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3992 2994 1111 63 0 3929 0 vsize: 15968 [startup+460.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 95318 0 0 0 45742 260 0 0 25 0 1 0 707717967 14602240 2852 4294967295 134512640 134714508 3221221776 3221219772 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3565 2852 1111 63 0 3502 0 vsize: 14260 [startup+470.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 97597 0 0 0 46735 266 0 0 25 0 1 0 707717967 16633856 3069 4294967295 134512640 134714508 3221221776 3221218144 1075894558 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4061 3069 1111 63 0 3998 0 vsize: 16244 [startup+480.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 100004 0 0 0 47729 272 0 0 25 0 1 0 707717967 16760832 3080 4294967295 134512640 134714508 3221221776 3221218312 1075118209 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4092 3080 1111 63 0 4029 0 vsize: 16368 [startup+490.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 104197 0 0 0 48718 284 0 0 25 0 1 0 707717967 16048128 3089 4294967295 134512640 134714508 3221221776 3221218272 1075088563 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3918 3089 1111 63 0 3855 0 vsize: 15672 [startup+500.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 106193 0 0 0 49713 289 0 0 25 0 1 0 707717967 16834560 3138 4294967295 134512640 134714508 3221221776 3221217936 1075093371 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4110 3138 1111 63 0 4047 0 vsize: 16440 [startup+510.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 108163 0 0 0 50708 294 0 0 25 0 1 0 707717967 16916480 3125 4294967295 134512640 134714508 3221221776 3221217788 1074788944 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4130 3125 1111 63 0 4067 0 vsize: 16520 [startup+520.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 112722 0 0 0 51696 307 0 0 25 0 1 0 707717967 14721024 2924 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3594 2924 1111 63 0 3531 0 vsize: 14376 [startup+530.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 114680 0 0 0 52691 312 0 0 25 0 1 0 707717967 14843904 2942 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3624 2942 1111 63 0 3561 0 vsize: 14496 [startup+540.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 116822 0 0 0 53686 317 0 0 25 0 1 0 707717967 14917632 2925 4294967295 134512640 134714508 3221221776 3221219680 1075961129 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3642 2925 1111 63 0 3579 0 vsize: 14568 [startup+550.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 119721 0 0 0 54679 324 0 0 25 0 1 0 707717967 18259968 3460 4294967295 134512640 134714508 3221221776 3221218048 1074961396 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4458 3460 1111 63 0 4395 0 vsize: 17832 [startup+560.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 121787 0 0 0 55675 328 0 0 25 0 1 0 707717967 14528512 2877 4294967295 134512640 134714508 3221221776 3221220088 1077402446 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3547 2877 1111 63 0 3484 0 vsize: 14188 [startup+570.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 124550 0 0 0 56667 336 0 0 25 0 1 0 707717967 14528512 2877 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3547 2877 1111 63 0 3484 0 vsize: 14188 [startup+580.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 128912 0 0 0 57655 349 0 0 25 0 1 0 707717967 16416768 3171 4294967295 134512640 134714508 3221221776 3221217740 1074788964 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4008 3172 1111 63 0 3945 0 vsize: 16032 [startup+590.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 133478 0 0 0 58643 361 0 0 25 0 1 0 707717967 17002496 3149 4294967295 134512640 134714508 3221221776 3221218048 1074961295 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4151 3149 1111 63 0 4088 0 vsize: 16604 [startup+600.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 137630 0 0 0 59632 372 0 0 25 0 1 0 707717967 18305024 3137 4294967295 134512640 134714508 3221221776 3221218048 1074961138 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4469 3137 1111 63 0 4406 0 vsize: 17876 [startup+610.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 141706 0 0 0 60622 382 0 0 25 0 1 0 707717967 17408000 3261 4294967295 134512640 134714508 3221221776 3221217888 1075895659 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4250 3261 1111 63 0 4187 0 vsize: 17000 [startup+620.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 144986 0 0 0 61615 389 0 0 25 0 1 0 707717967 17559552 3297 4294967295 134512640 134714508 3221221776 3221218048 1074961278 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4287 3297 1111 63 0 4224 0 vsize: 17148 [startup+630.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 147478 0 0 0 62608 396 0 0 25 0 1 0 707717967 17580032 3287 4294967295 134512640 134714508 3221221776 3221218320 1075088560 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4292 3287 1111 63 0 4229 0 vsize: 17168 [startup+640.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 150582 0 0 0 63600 404 0 0 25 0 1 0 707717967 17629184 3298 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4304 3298 1111 63 0 4241 0 vsize: 17216 [startup+650.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 153472 0 0 0 64593 412 0 0 25 0 1 0 707717967 15269888 3058 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3728 3058 1111 63 0 3665 0 vsize: 14912 [startup+660.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 156218 0 0 0 65586 419 0 0 25 0 1 0 707717967 15413248 3086 4294967295 134512640 134714508 3221221776 3221219776 1074916974 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3763 3086 1111 63 0 3700 0 vsize: 15052 [startup+670.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 159314 0 0 0 66578 427 0 0 25 0 1 0 707717967 17559552 3294 4294967295 134512640 134714508 3221221776 3221217888 1075091857 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4287 3294 1111 63 0 4224 0 vsize: 17148 [startup+680.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 162313 0 0 0 67570 435 0 0 25 0 1 0 707717967 15523840 3120 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3790 3120 1111 63 0 3727 0 vsize: 15160 [startup+690.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 164900 0 0 0 68563 442 0 0 25 0 1 0 707717967 17494016 3259 4294967295 134512640 134714508 3221221776 3221218016 1075115768 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4271 3259 1111 63 0 4208 0 vsize: 17084 [startup+700.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 167698 0 0 0 69556 450 0 0 25 0 1 0 707717967 17739776 3344 4294967295 134512640 134714508 3221221776 3221217788 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4331 3344 1111 63 0 4268 0 vsize: 17324 [startup+710.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 170161 0 0 0 70549 456 0 0 25 0 1 0 707717967 15405056 3091 4294967295 134512640 134714508 3221221776 3221220072 1074138259 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3761 3091 1111 63 0 3698 0 vsize: 15044 [startup+720.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 172924 0 0 0 71542 464 0 0 25 0 1 0 707717967 15335424 3074 4294967295 134512640 134714508 3221221776 3221219992 1074138166 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3744 3074 1111 63 0 3681 0 vsize: 14976 [startup+730.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 176014 0 0 0 72534 472 0 0 25 0 1 0 707717967 17715200 3331 4294967295 134512640 134714508 3221221776 3221217660 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4325 3331 1111 63 0 4262 0 vsize: 17300 [startup+740.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 179954 0 0 0 73524 483 0 0 25 0 1 0 707717967 17625088 3325 4294967295 134512640 134714508 3221221776 3221217876 1075964227 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4303 3325 1111 63 0 4240 0 vsize: 17212 [startup+750.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 182181 0 0 0 74518 488 0 0 25 0 1 0 707717967 15650816 3151 4294967295 134512640 134714508 3221221776 3221219120 1074839017 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3821 3151 1111 63 0 3758 0 vsize: 15284 [startup+760.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 185636 0 0 0 75510 497 0 0 25 0 1 0 707717967 18006016 3414 4294967295 134512640 134714508 3221221776 3221217936 1074794562 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4396 3414 1111 63 0 4333 0 vsize: 17584 [startup+770.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 188273 0 0 0 76503 504 0 0 25 0 1 0 707717967 15585280 3135 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3805 3135 1111 63 0 3742 0 vsize: 15220 [startup+780.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 191186 0 0 0 77495 512 0 0 25 0 1 0 707717967 16920576 3304 4294967295 134512640 134714508 3221221776 3221217968 1075115758 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4131 3304 1111 63 0 4068 0 vsize: 16524 [startup+790.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 194161 0 0 0 78487 520 0 0 25 0 1 0 707717967 17108992 3374 4294967295 134512640 134714508 3221221776 3221217956 1075115057 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4177 3374 1111 63 0 4114 0 vsize: 16708 [startup+800.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 197539 0 0 0 79478 529 0 0 25 0 1 0 707717967 15695872 3152 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3832 3152 1111 63 0 3769 0 vsize: 15328 [startup+810.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 200717 0 0 0 80470 538 0 0 25 0 1 0 707717967 18939904 3303 4294967295 134512640 134714508 3221221776 3221217984 1074815284 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4624 3303 1111 63 0 4561 0 vsize: 18496 [startup+820.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 204593 0 0 0 81459 549 0 0 25 0 1 0 707717967 15790080 3176 4294967295 134512640 134714508 3221221776 3221220160 1074153466 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3855 3176 1111 63 0 3792 0 vsize: 15420 [startup+830.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 208880 0 0 0 82447 561 0 0 25 0 1 0 707717967 15544320 3125 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3795 3125 1111 63 0 3732 0 vsize: 15180 [startup+840.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 212909 0 0 0 83437 571 0 0 25 0 1 0 707717967 17920000 3378 4294967295 134512640 134714508 3221221776 3221217956 1075964248 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4375 3378 1111 63 0 4312 0 vsize: 17500 [startup+850.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 216588 0 0 0 84425 582 0 0 25 0 1 0 707717967 18022400 3401 4294967295 134512640 134714508 3221221776 3221217936 1075093350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4400 3401 1111 63 0 4337 0 vsize: 17600 [startup+860.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 220510 0 0 0 85415 593 0 0 25 0 1 0 707717967 18202624 3435 4294967295 134512640 134714508 3221221776 3221218004 1075115065 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4444 3435 1111 63 0 4381 0 vsize: 17776 [startup+870.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 223094 0 0 0 86408 600 0 0 25 0 1 0 707717967 18305024 3477 4294967295 134512640 134714508 3221221776 3221218144 1075894487 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4469 3477 1111 63 0 4406 0 vsize: 17876 [startup+880.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 226683 0 0 0 87399 610 0 0 25 0 1 0 707717967 15859712 3202 4294967295 134512640 134714508 3221221776 3221220024 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3872 3202 1111 63 0 3809 0 vsize: 15488 [startup+890.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 229511 0 0 0 88389 619 0 0 25 0 1 0 707717967 18522112 3514 4294967295 134512640 134714508 3221221776 3221217904 1075112097 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4522 3514 1111 63 0 4459 0 vsize: 18088 [startup+900.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 232200 0 0 0 89383 625 0 0 25 0 1 0 707717967 19247104 3708 4294967295 134512640 134714508 3221221776 3221217788 1074788939 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4699 3708 1111 63 0 4636 0 vsize: 18796 [startup+910.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 235131 0 0 0 90375 633 0 0 25 0 1 0 707717967 19345408 3367 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4723 3367 1111 63 0 4660 0 vsize: 18892 [startup+920.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 238151 0 0 0 91367 641 0 0 25 0 1 0 707717967 17547264 3457 4294967295 134512640 134714508 3221221776 3221217612 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4284 3457 1111 63 0 4221 0 vsize: 17136 [startup+930.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 241120 0 0 0 92360 649 0 0 25 0 1 0 707717967 17764352 3504 4294967295 134512640 134714508 3221221776 3221218168 1077410205 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4337 3504 1111 63 0 4274 0 vsize: 17348 [startup+940.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 244572 0 0 0 93350 658 0 0 25 0 1 0 707717967 16035840 3245 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3915 3245 1111 63 0 3852 0 vsize: 15660 [startup+950.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 247419 0 0 0 94343 666 0 0 25 0 1 0 707717967 19644416 3455 4294967295 134512640 134714508 3221221776 3221217656 1074788458 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4796 3455 1111 63 0 4733 0 vsize: 19184 [startup+960.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 249935 0 0 0 95338 672 0 0 25 0 1 0 707717967 18780160 3581 4294967295 134512640 134714508 3221221776 3221218016 1075115709 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4585 3581 1111 63 0 4522 0 vsize: 18340 [startup+970.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 252941 0 0 0 96328 681 0 0 25 0 1 0 707717967 18120704 3581 4294967295 134512640 134714508 3221221776 3221217968 1075115730 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4424 3581 1111 63 0 4361 0 vsize: 17696 [startup+980.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 255614 0 0 0 97322 687 0 0 25 0 1 0 707717967 16187392 3282 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3952 3282 1111 63 0 3889 0 vsize: 15808 [startup+990.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 258517 0 0 0 98315 695 0 0 25 0 1 0 707717967 18333696 3481 4294967295 134512640 134714508 3221221776 3221217744 1074872793 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4476 3481 1111 63 0 4413 0 vsize: 17904 [startup+1000.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 261305 0 0 0 99308 702 0 0 25 0 1 0 707717967 19779584 3460 4294967295 134512640 134714508 3221221776 3221217920 1074969458 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4829 3461 1111 63 0 4766 0 vsize: 19316 [startup+1010.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 264648 0 0 0 100299 711 0 0 25 0 1 0 707717967 19935232 3850 4294967295 134512640 134714508 3221221776 3221218016 1075115747 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4867 3850 1111 63 0 4804 0 vsize: 19468 [startup+1020.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 267683 0 0 0 101290 720 0 0 25 0 1 0 707717967 18345984 3472 4294967295 134512640 134714508 3221221776 3221217888 1075091577 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4479 3472 1111 63 0 4416 0 vsize: 17916 [startup+1030.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 270055 0 0 0 102285 726 0 0 25 0 1 0 707717967 19931136 3547 4294967295 134512640 134714508 3221221776 3221218004 1075115065 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4866 3547 1111 63 0 4803 0 vsize: 19464 [startup+1040.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 273126 0 0 0 103276 734 0 0 25 0 1 0 707717967 18890752 3614 4294967295 134512640 134714508 3221221776 3221218016 1075115724 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4612 3614 1111 63 0 4549 0 vsize: 18448 [startup+1050.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 276374 0 0 0 104269 742 0 0 25 0 1 0 707717967 16191488 3283 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3953 3283 1111 63 0 3890 0 vsize: 15812 [startup+1060.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 279994 0 0 0 105260 751 0 0 25 0 1 0 707717967 18788352 3452 4294967295 134512640 134714508 3221221776 3221219736 1077410163 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4587 3458 1111 63 0 4524 0 vsize: 18348 [startup+1070.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 283634 0 0 0 106250 761 0 0 25 0 1 0 707717967 17883136 3558 4294967295 134512640 134714508 3221221776 3221217828 1075964227 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4366 3558 1111 63 0 4303 0 vsize: 17464 [startup+1080.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 287401 0 0 0 107239 772 0 0 25 0 1 0 707717967 18915328 3626 4294967295 134512640 134714508 3221221776 3221218048 1074961146 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4618 3626 1111 63 0 4555 0 vsize: 18472 [startup+1090.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 290181 0 0 0 108234 778 0 0 25 0 1 0 707717967 18034688 3595 4294967295 134512640 134714508 3221221776 3221218672 1074620113 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4403 3595 1111 63 0 4340 0 vsize: 17612 [startup+1100.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 292321 0 0 0 109229 783 0 0 25 0 1 0 707717967 19742720 3836 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4820 3836 1111 63 0 4757 0 vsize: 19280 [startup+1110.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 294502 0 0 0 110223 789 0 0 25 0 1 0 707717967 19664896 3813 4294967295 134512640 134714508 3221221776 3221217992 1074950114 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4801 3813 1111 63 0 4738 0 vsize: 19204 [startup+1120.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 296488 0 0 0 111218 794 0 0 25 0 1 0 707717967 19976192 3889 4294967295 134512640 134714508 3221221776 3221218048 1074961199 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4877 3889 1111 63 0 4814 0 vsize: 19508 [startup+1130.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 298025 0 0 0 112215 798 0 0 25 0 1 0 707717967 17567744 3598 4294967295 134512640 134714508 3221221776 3221220028 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4289 3598 1111 63 0 4226 0 vsize: 17156 [startup+1140.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 300196 0 0 0 113209 803 0 0 25 0 1 0 707717967 20824064 4083 4294967295 134512640 134714508 3221221776 3221217936 1074883509 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5084 4083 1111 63 0 5021 0 vsize: 20336 [startup+1150.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 301860 0 0 0 114206 807 0 0 25 0 1 0 707717967 19886080 3862 4294967295 134512640 134714508 3221221776 3221217736 1075964740 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4855 3862 1111 63 0 4792 0 vsize: 19420 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 303235 0 0 0 115201 811 0 0 25 0 1 0 707717967 18595840 3726 4294967295 134512640 134714508 3221221776 3221218000 1074960795 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4540 3726 1111 63 0 4477 0 vsize: 18160 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 305394 0 0 0 116196 817 0 0 25 0 1 0 707717967 19648512 3837 4294967295 134512640 134714508 3221221776 3221218720 1074620113 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4797 3837 1111 63 0 4734 0 vsize: 19188 [startup+1180.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 307653 0 0 0 117190 823 0 0 25 0 1 0 707717967 19808256 3850 4294967295 134512640 134714508 3221221776 3221217660 1074788964 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4836 3850 1111 63 0 4773 0 vsize: 19344 [startup+1189.74 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 8959 Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 307653 0 0 0 117190 823 0 0 25 0 1 0 707717967 19808256 3850 4294967295 134512640 134714508 3221221776 3221217660 1074788964 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4836 3850 1111 63 0 4773 0 vsize: 0 Child status: 10 Real time (s): 1189.74 CPU time (s): 1189.85 CPU user time (s): 1181.53 CPU system time (s): 8.31774 CPU usage (%): 100.01 Max. virtual memory (Kb): 20336 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 82 #### END VERIFIER DATA ####