Name | normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:98.opb |
MD5SUM | ac510382bae6003fe0373ad32fd0064f |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 411 |
Biggest coefficient in the objective function | 268 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 1129 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 268 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1129 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.03584 |
Number of variables | 411 |
Total number of constraints | 887 |
Number of constraints which are clauses | 387 |
Number of constraints which are cardinality constraints (but not clauses) | 500 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 16 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-15 13:31:57 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3305 boxname=wulflinc31 idbench=368 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: ac510382bae6003fe0373ad32fd0064f /oldhome/oroussel/tmp/wulflinc31/normalized-10:10:4.5:0.95:98.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-10:10:4.5:0.95:98.opb IDLAUNCH: 3305 /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: 813268 kB Buffers: 41488 kB Cached: 158472 kB SwapCached: 1932 kB Active: 162672 kB Inactive: 40444 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 813016 kB SwapTotal: 2097892 kB SwapFree: 2095228 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5364 kB Slab: 12624 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-15 13:51:32 (client local time) WITH STATUS 10 IN 1175.05 SECONDS stats: 3305 0 1175.05 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 411 variables and 477 constraints. c After prepocess the problem consists of 410 variables and 492 constraints. c preprocess terminated 0.249 s c Initial Lower Bound: 0 c Lower Bound Elapsed time: 0.26875 c Use computed LB before first solution. c NEW SOLUTION FOUND: 148 @ 12.429 c NEW SOLUTION FOUND: 145 @ 12.447 c NEW SOLUTION FOUND: 144 @ 12.515 c NEW SOLUTION FOUND: 143 @ 12.523 c NEW SOLUTION FOUND: 142 @ 12.586 c NEW SOLUTION FOUND: 141 @ 12.734 c NEW SOLUTION FOUND: 140 @ 12.761 c NEW SOLUTION FOUND: 139 @ 12.784 c NEW SOLUTION FOUND: 136 @ 12.952 c NEW SOLUTION FOUND: 135 @ 12.982 c NEW SOLUTION FOUND: 134 @ 13.02 c NEW SOLUTION FOUND: 133 @ 13.05 c NEW SOLUTION FOUND: 132 @ 13.32 c NEW SOLUTION FOUND: 131 @ 13.476 c NEW SOLUTION FOUND: 130 @ 13.753 c NEW SOLUTION FOUND: 129 @ 13.83 c NEW SOLUTION FOUND: 128 @ 13.995 c NEW SOLUTION FOUND: 127 @ 14.181 c NEW SOLUTION FOUND: 126 @ 14.344 c NEW SOLUTION FOUND: 125 @ 14.808 c NEW SOLUTION FOUND: 124 @ 14.885 c NEW SOLUTION FOUND: 123 @ 15.017 c NEW SOLUTION FOUND: 122 @ 15.135 c NEW SOLUTION FOUND: 121 @ 16.169 c NEW SOLUTION FOUND: 120 @ 19.36 c NEW SOLUTION FOUND: 119 @ 19.705 c NEW SOLUTION FOUND: 118 @ 20.616 c NEW SOLUTION FOUND: 117 @ 24.668 c NEW SOLUTION FOUND: 116 @ 31.915 c NEW SOLUTION FOUND: 115 @ 32.041 c NEW SOLUTION FOUND: 114 @ 33.357 c NEW SOLUTION FOUND: 113 @ 37.749 c NEW SOLUTION FOUND: 110 @ 41.183 c NEW SOLUTION FOUND: 109 @ 42.191 c NEW SOLUTION FOUND: 108 @ 42.209 c NEW SOLUTION FOUND: 107 @ 44.424 c NEW SOLUTION FOUND: 106 @ 47.548 c NEW SOLUTION FOUND: 105 @ 47.669 c NEW SOLUTION FOUND: 104 @ 47.717 c NEW SOLUTION FOUND: 103 @ 48.144 c NEW SOLUTION FOUND: 102 @ 49.264 c NEW SOLUTION FOUND: 101 @ 49.343 c NEW SOLUTION FOUND: 100 @ 49.438 c NEW SOLUTION FOUND: 99 @ 50.165 c NEW SOLUTION FOUND: 98 @ 50.283 c NEW SOLUTION FOUND: 97 @ 51.876 c NEW SOLUTION FOUND: 96 @ 54.284 c NEW SOLUTION FOUND: 95 @ 54.666 c NEW SOLUTION FOUND: 94 @ 58.507 c NEW SOLUTION FOUND: 93 @ 58.613 c NEW SOLUTION FOUND: 92 @ 58.694 c NEW SOLUTION FOUND: 91 @ 59.231 c NEW SOLUTION FOUND: 90 @ 59.308 c NEW SOLUTION FOUND: 89 @ 60.558 c NEW SOLUTION FOUND: 88 @ 63.196 c NEW SOLUTION FOUND: 87 @ 65.283 c NEW SOLUTION FOUND: 86 @ 69.629 c NEW SOLUTION FOUND: 85 @ 70.36 c NEW SOLUTION FOUND: 84 @ 71.348 c NEW SOLUTION FOUND: 83 @ 71.558 c NEW SOLUTION FOUND: 82 @ 73.769 c NEW SOLUTION FOUND: 81 @ 79.856 c NEW SOLUTION FOUND: 80 @ 90.143 c NEW SOLUTION FOUND: 79 @ 91.974 c NEW SOLUTION FOUND: 78 @ 95.602 c NEW SOLUTION FOUND: 77 @ 150.174 c NEW SOLUTION FOUND: 76 @ 152.707 c NEW SOLUTION FOUND: 75 @ 190.239 c NEW SOLUTION FOUND: 74 @ 201.165 c NEW SOLUTION FOUND: 73 @ 201.806 c NEW SOLUTION FOUND: 72 @ 226.15 c NEW SOLUTION FOUND: 71 @ 237.016 c NEW SOLUTION FOUND: 70 @ 243.025 c NEW SOLUTION FOUND: 69 @ 251.644 c NEW SOLUTION FOUND: 68 @ 271.701 c NEW SOLUTION FOUND: 67 @ 277.189 c NEW SOLUTION FOUND: 66 @ 465.634 c NEW SOLUTION FOUND: 65 @ 480.446 c NEW SOLUTION FOUND: 64 @ 497.296 c NEW SOLUTION FOUND: 63 @ 522.252 c NEW SOLUTION FOUND: 62 @ 545.347 c NEW SOLUTION FOUND: 61 @ 613.948 c NEW SOLUTION FOUND: 60 @ 830.309 s SATISFIABLE v v294 -v230 v205 -v190 v138 v293 -v210 v191 v142 v358 -v301 v278 -v234 -v209 v195 v295 -v232 v194 v357 -v296 v212 v192 -v118 -v361 -v297 -v233 v213 v193 -v179 v82 v237 -v216 -v178 v163 -v117 v81 -v362 -v214 v121 v83 -v215 -v180 v162 v84 v183 v167 -v122 v85 -v304 -v274 -v229 v189 v137 -v305 v204 v188 v141 -v384 -v300 v277 -v235 v206 -v199 -v211 v359 -v312 -v298 v238 v208 v36 -v363 v316 v236 -v217 -v174 -v173 -v119 v123 v365 -v181 v164 -v88 v366 v182 v166 -v89 -v380 -v302 -v273 v227 -v202 v139 -v353 v231 -v203 v143 -v383 -v352 v279 v228 -v198 -v32 v239 v207 v113 v360 -v311 -v299 -v225 -v196 -v145 v112 v35 -v364 v315 -v221 -v158 -v146 v368 -v282 -v220 -v157 v120 -v87 v367 -v175 v124 -v86 -v341 -v176 v165 -v125 -v70 v177 v168 -v126 -v74 v379 -v303 v275 -v200 v140 v226 v144 v396 -v385 v280 v247 -v222 -v148 -v31 -v400 -v354 v243 -v224 -v147 v355 -v313 -v283 v242 -v197 v37 -v7 v356 v317 -v281 v114 v11 -v388 -v372 -v337 -v218 v115 v100 v159 v116 -v340 v319 -v219 -v186 v160 -v130 -v69 v40 v320 -v187 v161 -v73 v381 v271 -v244 -v201 -v136 v27 -v307 v276 -v246 -v223 v135 v395 -v386 -v306 v272 v152 -v33 -v399 v284 -v389 -v375 -v314 v240 -v96 v38 -v6 -v387 -v376 v318 v10 -v371 -v336 v322 -v241 -v185 -v133 v99 v41 v321 -v184 -v134 v39 -v369 -v342 -v254 -v171 -v129 -v71 -v258 v172 -v75 -v378 v264 -v245 -v155 v382 v270 -v156 v26 v397 -v374 -v292 -v151 v28 -v401 -v390 -v373 -v308 v288 -v34 -v332 -v309 v287 -v149 -v132 -v95 v30 v8 v310 -v131 -v65 v42 v12 -v403 v338 -v326 -v170 v101 -v64 -v404 -v169 -v370 -v343 -v253 -v127 -v72 -v60 -v14 -v257 v76 -v15 -v289 v263 -v153 -v377 -v291 -v2 v398 -v91 -v1 -v402 -v394 v29 v406 -v393 -v329 -v285 -v150 -v97 v50 v9 v405 -v331 v330 -v46 v13 -v333 -v325 -v286 v102 -v56 -v45 -v17 v339 v66 -v16 v335 -v323 -v255 -v128 -v103 v67 v59 v344 -v259 -v104 v68 -v290 v265 -v154 -v328 -v47 -v327 v90 -v49 -v3 -v410 -v391 v267 v92 v4 -v249 v98 v5 -v392 -v248 v94 v55 -v43 v21 v334 -v105 v351 -v324 -v256 v79 v61 -v44 v347 -v260 v80 -v48 v268 v266 -v409 v53 -v24 v93 v25 -v407 v348 v111 -v78 v57 -v20 v350 -v250 v108 -v77 -v251 v106 v62 -v18 -v345 v252 v269 -v23 -v22 v110 v349 v109 v52 -v408 v51 v58 -v262 v107 v54 -v19 -v346 v261 v63 one c Exit Code: 10 c Total time: 1175.01 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.98 0.99 2/55 2625 Raw data (stat): 2625 (runsolver) R 2624 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 752832038 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.0008 s] Raw data (loadavg): 0.93 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 4087 0 0 0 983 13 0 0 25 0 1 0 752832038 6553600 914 4294967295 134512640 134714508 3221221776 3221219888 1074867340 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1600 914 1111 63 0 1537 0 vsize: 6400 [startup+20.0007 s] Raw data (loadavg): 0.94 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 18234 0 0 0 1934 62 0 0 25 0 1 0 752832038 7004160 1026 4294967295 134512640 134714508 3221221776 3221220108 1077402400 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1710 1026 1111 63 0 1647 0 vsize: 6840 [startup+30.0016 s] Raw data (loadavg): 0.95 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 34232 0 0 0 2877 118 0 0 25 0 1 0 752832038 7249920 1080 4294967295 134512640 134714508 3221221776 3221220176 1074118879 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1770 1080 1111 63 0 1707 0 vsize: 7080 [startup+40.0016 s] Raw data (loadavg): 0.96 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 51048 0 0 0 3827 169 0 0 25 0 1 0 752832038 7745536 1129 4294967295 134512640 134714508 3221221776 3221218544 1076083159 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1891 1129 1111 63 0 1828 0 vsize: 7564 [startup+50.0025 s] Raw data (loadavg): 0.96 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 73706 0 0 0 4756 240 0 0 25 0 1 0 752832038 7905280 1157 4294967295 134512640 134714508 3221221776 3221219200 1076066777 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1930 1157 1111 63 0 1867 0 vsize: 7720 [startup+60.0024 s] Raw data (loadavg): 0.97 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 93180 0 0 0 5697 299 0 0 25 0 1 0 752832038 7847936 1222 4294967295 134512640 134714508 3221221776 3221219756 1077411564 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1916 1222 1111 63 0 1853 0 vsize: 7664 [startup+70.0023 s] Raw data (loadavg): 0.97 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 111049 0 0 0 6642 354 0 0 25 0 1 0 752832038 8048640 1281 4294967295 134512640 134714508 3221221776 3221220172 1074207488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1965 1281 1111 63 0 1902 0 vsize: 7860 [startup+80.0033 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 130652 0 0 0 7585 411 0 0 25 0 1 0 752832038 8691712 1354 4294967295 134512640 134714508 3221221776 3221217996 1074878880 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2122 1354 1111 63 0 2059 0 vsize: 8488 [startup+90.0032 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 151427 0 0 0 8529 468 0 0 25 0 1 0 752832038 8593408 1414 4294967295 134512640 134714508 3221221776 3221220208 1073990196 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2098 1414 1111 63 0 2035 0 vsize: 8392 [startup+100.004 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 169420 0 0 0 9479 518 0 0 25 0 1 0 752832038 9138176 1465 4294967295 134512640 134714508 3221221776 3221218816 1075860321 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2231 1465 1111 63 0 2168 0 vsize: 8924 [startup+110.005 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 191980 0 0 0 10415 582 0 0 25 0 1 0 752832038 9371648 1531 4294967295 134512640 134714508 3221221776 3221217936 1075093091 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2288 1531 1111 63 0 2225 0 vsize: 9152 [startup+120.005 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 214551 0 0 0 11352 645 0 0 25 0 1 0 752832038 9211904 1564 4294967295 134512640 134714508 3221221776 3221220476 134535506 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2249 1564 1111 63 0 2186 0 vsize: 8996 [startup+130.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 237312 0 0 0 12294 704 0 0 25 0 1 0 752832038 9494528 1626 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2318 1626 1111 63 0 2255 0 vsize: 9272 [startup+140.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 258568 0 0 0 13230 768 0 0 25 0 1 0 752832038 10067968 1695 4294967295 134512640 134714508 3221221776 3221218816 1075971389 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2388 1692 1111 63 0 2325 0 vsize: 9832 [startup+150.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 280739 0 0 0 14166 832 0 0 25 0 1 0 752832038 9953280 1743 4294967295 134512640 134714508 3221221776 3221220064 1074057902 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2430 1743 1111 63 0 2367 0 vsize: 9720 [startup+160.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 303559 0 0 0 15103 895 0 0 25 0 1 0 752832038 10211328 1801 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2493 1801 1111 63 0 2430 0 vsize: 9972 [startup+170.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 324698 0 0 0 16043 956 0 0 25 0 1 0 752832038 10428416 1852 4294967295 134512640 134714508 3221221776 3221220200 1077377331 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2546 1852 1111 63 0 2483 0 vsize: 10184 [startup+180.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 345378 0 0 0 16985 1013 0 0 25 0 1 0 752832038 11079680 1930 4294967295 134512640 134714508 3221221776 3221217980 1075563115 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2611 1927 1111 63 0 2548 0 vsize: 10820 [startup+190.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 366443 0 0 0 17928 1070 0 0 25 0 1 0 752832038 11042816 1970 4294967295 134512640 134714508 3221221776 3221218668 1077386340 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2742 1973 1111 63 0 2679 0 vsize: 10784 [startup+200.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 387022 0 0 0 18867 1132 0 0 25 0 1 0 752832038 11329536 2046 4294967295 134512640 134714508 3221221776 3221220104 1077799185 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2736 2034 1111 63 0 2673 0 vsize: 11064 [startup+210.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 407031 0 0 0 19811 1188 0 0 25 0 1 0 752832038 11366400 2091 4294967295 134512640 134714508 3221221776 3221219944 1077378186 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2775 2091 1111 63 0 2712 0 vsize: 11100 [startup+220.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 427875 0 0 0 20754 1245 0 0 25 0 1 0 752832038 11653120 2160 4294967295 134512640 134714508 3221221776 3221220088 1074138166 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2845 2160 1111 63 0 2782 0 vsize: 11380 [startup+230.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 448531 0 0 0 21697 1302 0 0 25 0 1 0 752832038 11923456 2222 4294967295 134512640 134714508 3221221776 3221219820 1077379908 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2911 2222 1111 63 0 2848 0 vsize: 11644 [startup+240.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 468878 0 0 0 22640 1359 0 0 25 0 1 0 752832038 12500992 2306 4294967295 134512640 134714508 3221221776 3221218048 1074960828 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3052 2306 1111 63 0 2989 0 vsize: 12208 [startup+250.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 489144 0 0 0 23582 1417 0 0 25 0 1 0 752832038 12443648 2353 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3038 2353 1111 63 0 2975 0 vsize: 12152 [startup+260.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 508952 0 0 0 24525 1474 0 0 25 0 1 0 752832038 13045760 2435 4294967295 134512640 134714508 3221221776 3221218064 1074815681 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3185 2435 1111 63 0 3122 0 vsize: 12740 [startup+270.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 529801 0 0 0 25469 1530 0 0 25 0 1 0 752832038 12959744 2478 4294967295 134512640 134714508 3221221776 3221220176 1074153663 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3164 2478 1111 63 0 3101 0 vsize: 12656 [startup+280.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 550708 0 0 0 26412 1588 0 0 25 0 1 0 752832038 13152256 2527 4294967295 134512640 134714508 3221221776 3221219696 1075799572 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3211 2527 1111 63 0 3148 0 vsize: 12844 [startup+290.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 572153 0 0 0 27351 1649 0 0 25 0 1 0 752832038 13426688 2594 4294967295 134512640 134714508 3221221776 3221219908 1077782939 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3278 2594 1111 63 0 3215 0 vsize: 13112 [startup+300.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 594230 0 0 0 28284 1717 0 0 25 0 1 0 752832038 13692928 2659 4294967295 134512640 134714508 3221221776 3221219800 1077380277 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3343 2659 1111 63 0 3280 0 vsize: 13372 [startup+310.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 616200 0 0 0 29219 1781 0 0 25 0 1 0 752832038 14024704 2723 4294967295 134512640 134714508 3221221776 3221219956 1077782939 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3392 2702 1111 63 0 3329 0 vsize: 13696 [startup+320.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 637341 0 0 0 30158 1842 0 0 25 0 1 0 752832038 14176256 2771 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3454 2770 1111 63 0 3391 0 vsize: 13844 [startup+330.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 657301 0 0 0 31103 1897 0 0 25 0 1 0 752832038 14745600 2825 4294967295 134512640 134714508 3221221776 3221218896 1074837622 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3531 2823 1111 63 0 3468 0 vsize: 14400 [startup+340.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 678330 0 0 0 32043 1958 0 0 25 0 1 0 752832038 14614528 2878 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3568 2878 1111 63 0 3505 0 vsize: 14272 [startup+350.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 700049 0 0 0 32980 2021 0 0 25 0 1 0 752832038 14835712 2937 4294967295 134512640 134714508 3221221776 3221219944 1077377425 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3622 2937 1111 63 0 3559 0 vsize: 14488 [startup+360.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 720981 0 0 0 33920 2081 0 0 25 0 1 0 752832038 15101952 2999 4294967295 134512640 134714508 3221221776 3221220128 1074153660 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3687 2999 1111 63 0 3624 0 vsize: 14748 [startup+370.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 742462 0 0 0 34861 2141 0 0 25 0 1 0 752832038 15351808 3061 4294967295 134512640 134714508 3221221776 3221220040 1074138150 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3748 3061 1111 63 0 3685 0 vsize: 14992 [startup+380.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 763800 0 0 0 35802 2200 0 0 25 0 1 0 752832038 16011264 3131 4294967295 134512640 134714508 3221221776 3221218748 1075112635 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3812 3128 1111 63 0 3749 0 vsize: 15636 [startup+390.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 783969 0 0 0 36746 2255 0 0 25 0 1 0 752832038 15802368 3173 4294967295 134512640 134714508 3221221776 3221219908 1077782939 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3858 3173 1111 63 0 3795 0 vsize: 15432 [startup+400.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 805374 0 0 0 37689 2313 0 0 25 0 1 0 752832038 16048128 3234 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3918 3234 1111 63 0 3855 0 vsize: 15672 [startup+410.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 824348 0 0 0 38636 2366 0 0 25 0 1 0 752832038 16601088 3289 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4053 3289 1111 63 0 3990 0 vsize: 16212 [startup+420.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 844621 0 0 0 39577 2425 0 0 25 0 1 0 752832038 16527360 3351 4294967295 134512640 134714508 3221221776 3221219740 1077378064 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4035 3351 1111 63 0 3972 0 vsize: 16140 [startup+430.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 866617 0 0 0 40510 2493 0 0 25 0 1 0 752832038 16744448 3404 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4088 3404 1111 63 0 4025 0 vsize: 16352 [startup+440.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 889206 0 0 0 41445 2557 0 0 25 0 1 0 752832038 17321984 3466 4294967295 134512640 134714508 3221221776 3221218544 1076083718 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4229 3475 1111 63 0 4166 0 vsize: 16916 [startup+450.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 911933 0 0 0 42380 2623 0 0 25 0 1 0 752832038 17190912 3512 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4197 3512 1111 63 0 4134 0 vsize: 16788 [startup+460.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 934057 0 0 0 43320 2683 0 0 25 0 1 0 752832038 17440768 3573 4294967295 134512640 134714508 3221221776 3221220224 1073990196 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4257 3572 1111 63 0 4194 0 vsize: 17032 [startup+470.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 954114 0 0 0 44258 2745 0 0 25 0 1 0 752832038 17580032 3604 4294967295 134512640 134714508 3221221776 3221219424 1075817775 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4292 3604 1111 63 0 4229 0 vsize: 17168 [startup+480.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 975823 0 0 0 45199 2804 0 0 25 0 1 0 752832038 17788928 3655 4294967295 134512640 134714508 3221221776 3221220384 134650190 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4343 3655 1111 63 0 4280 0 vsize: 17372 [startup+490.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 997269 0 0 0 46139 2864 0 0 25 0 1 0 752832038 18153472 3734 4294967295 134512640 134714508 3221221776 3221219888 1074867325 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4432 3734 1111 63 0 4369 0 vsize: 17728 [startup+500.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1019730 0 0 0 47073 2930 0 0 25 0 1 0 752832038 18382848 3801 4294967295 134512640 134714508 3221221776 3221219696 1075799723 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4488 3801 1111 63 0 4425 0 vsize: 17952 [startup+510.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1041535 0 0 0 48011 2993 0 0 25 0 1 0 752832038 18878464 3881 4294967295 134512640 134714508 3221221776 3221219956 1077782939 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4558 3871 1111 63 0 4495 0 vsize: 18436 [startup+520.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1063626 0 0 0 48949 3054 0 0 25 0 1 0 752832038 18894848 3928 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4613 3928 1111 63 0 4550 0 vsize: 18452 [startup+530.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1084307 0 0 0 49891 3113 0 0 25 0 1 0 752832038 19484672 3976 4294967295 134512640 134714508 3221221776 3221218944 1074820421 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4757 3984 1111 63 0 4694 0 vsize: 19028 [startup+540.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1107865 0 0 0 50823 3181 0 0 25 0 1 0 752832038 19300352 4023 4294967295 134512640 134714508 3221221776 3221220208 1073990086 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4750 4023 1111 63 0 4687 0 vsize: 18848 [startup+550.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1131032 0 0 0 51755 3249 0 0 25 0 1 0 752832038 19537920 4086 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4770 4086 1111 63 0 4707 0 vsize: 19080 [startup+560.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1153672 0 0 0 52690 3315 0 0 25 0 1 0 752832038 19767296 4138 4294967295 134512640 134714508 3221221776 3221219688 1074138324 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4826 4138 1111 63 0 4763 0 vsize: 19304 [startup+570.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1176294 0 0 0 53626 3379 0 0 25 0 1 0 752832038 19972096 4182 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4872 4182 1111 63 0 4809 0 vsize: 19504 [startup+580.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1199307 0 0 0 54561 3444 0 0 25 0 1 0 752832038 20160512 4238 4294967295 134512640 134714508 3221221776 3221219172 1077782939 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4922 4238 1111 63 0 4859 0 vsize: 19688 [startup+590.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1222326 0 0 0 55498 3508 0 0 25 0 1 0 752832038 20434944 4304 4294967295 134512640 134714508 3221221776 3221219352 1077410163 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4989 4304 1111 63 0 4926 0 vsize: 19956 [startup+600.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1243323 0 0 0 56439 3566 0 0 25 0 1 0 752832038 20672512 4361 4294967295 134512640 134714508 3221221776 3221220288 134542352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5047 4361 1111 63 0 4984 0 vsize: 20188 [startup+610.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1264970 0 0 0 57377 3628 0 0 25 0 1 0 752832038 21233664 4423 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5184 4430 1111 63 0 5121 0 vsize: 20736 [startup+620.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1285317 0 0 0 58319 3687 0 0 25 0 1 0 752832038 21094400 4464 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5150 4464 1111 63 0 5087 0 vsize: 20600 [startup+630.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1305729 0 0 0 59262 3744 0 0 25 0 1 0 752832038 21696512 4531 4294967295 134512640 134714508 3221221776 3221217808 1074787314 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5297 4533 1111 63 0 5234 0 vsize: 21188 [startup+640.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1327086 0 0 0 60202 3804 0 0 25 0 1 0 752832038 21594112 4588 4294967295 134512640 134714508 3221221776 3221219728 1075656738 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5272 4588 1111 63 0 5209 0 vsize: 21088 [startup+650.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1347822 0 0 0 61141 3866 0 0 25 0 1 0 752832038 22106112 4642 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5397 4650 1111 63 0 5334 0 vsize: 21588 [startup+660.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1369100 0 0 0 62079 3927 0 0 25 0 1 0 752832038 22347776 4709 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5456 4710 1111 63 0 5393 0 vsize: 21824 [startup+670.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1389872 0 0 0 63023 3983 0 0 25 0 1 0 752832038 22233088 4744 4294967295 134512640 134714508 3221221776 3221219384 1077377398 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5428 4744 1111 63 0 5365 0 vsize: 21712 [startup+680.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1410603 0 0 0 63964 4043 0 0 25 0 1 0 752832038 22495232 4808 4294967295 134512640 134714508 3221221776 3221220088 1074138144 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5492 4808 1111 63 0 5429 0 vsize: 21968 [startup+690.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1430536 0 0 0 64905 4102 0 0 25 0 1 0 752832038 22941696 4914 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5601 4914 1111 63 0 5538 0 vsize: 22404 [startup+700.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1452607 0 0 0 65844 4163 0 0 25 0 1 0 752832038 23171072 4973 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5657 4973 1111 63 0 5594 0 vsize: 22628 [startup+710.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1474559 0 0 0 66781 4226 0 0 25 0 1 0 752832038 23818240 5056 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5815 5056 1111 63 0 5752 0 vsize: 23260 [startup+720.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1491703 0 0 0 67728 4280 0 0 25 0 1 0 752832038 23650304 5089 4294967295 134512640 134714508 3221221776 3221220144 1074152869 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5774 5089 1111 63 0 5711 0 vsize: 23096 [startup+730.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1509860 0 0 0 68670 4338 0 0 25 0 1 0 752832038 23728128 5105 4294967295 134512640 134714508 3221221776 3221219504 1075828224 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5793 5105 1111 63 0 5730 0 vsize: 23172 [startup+740.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1532071 0 0 0 69606 4403 0 0 25 0 1 0 752832038 23961600 5166 4294967295 134512640 134714508 3221221776 3221220448 1076647545 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5850 5166 1111 63 0 5787 0 vsize: 23400 [startup+750.025 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1553504 0 0 0 70548 4461 0 0 25 0 1 0 752832038 24178688 5219 4294967295 134512640 134714508 3221221776 3221220492 134553168 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5903 5219 1111 63 0 5840 0 vsize: 23612 [startup+760.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1575201 0 0 0 71484 4525 0 0 25 0 1 0 752832038 24420352 5275 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5962 5275 1111 63 0 5899 0 vsize: 23848 [startup+770.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1597842 0 0 0 72419 4590 0 0 25 0 1 0 752832038 24707072 5342 4294967295 134512640 134714508 3221221776 3221220176 1074153736 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6032 5342 1111 63 0 5969 0 vsize: 24128 [startup+780.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1617761 0 0 0 73360 4649 0 0 25 0 1 0 752832038 24965120 5409 4294967295 134512640 134714508 3221221776 3221219956 1077782939 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6088 5404 1111 63 0 6025 0 vsize: 24380 [startup+790.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1638230 0 0 0 74299 4710 0 0 25 0 1 0 752832038 25485312 5474 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6222 5475 1111 63 0 6159 0 vsize: 24888 [startup+800.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1660193 0 0 0 75235 4774 0 0 25 0 1 0 752832038 25448448 5527 4294967295 134512640 134714508 3221221776 3221220312 1077377259 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6213 5527 1111 63 0 6150 0 vsize: 24852 [startup+810.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1680837 0 0 0 76171 4838 0 0 25 0 1 0 752832038 25653248 5566 4294967295 134512640 134714508 3221221776 3221219504 1075635997 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6257 5566 1111 63 0 6194 0 vsize: 25052 [startup+820.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1701310 0 0 0 77110 4899 0 0 25 0 1 0 752832038 25882624 5633 4294967295 134512640 134714508 3221221776 3221219480 1077377398 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6319 5633 1111 63 0 6256 0 vsize: 25276 [startup+830.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1724035 0 0 0 78044 4965 0 0 25 0 1 0 752832038 26140672 5693 4294967295 134512640 134714508 3221221776 3221220392 134543600 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6382 5693 1111 63 0 6319 0 vsize: 25528 [startup+840.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1744432 0 0 0 78989 5021 0 0 25 0 1 0 752832038 26341376 5737 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6431 5737 1111 63 0 6368 0 vsize: 25724 [startup+850.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1765244 0 0 0 79927 5083 0 0 25 0 1 0 752832038 26525696 5792 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6476 5792 1111 63 0 6413 0 vsize: 25904 [startup+860.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1784915 0 0 0 80867 5143 0 0 25 0 1 0 752832038 26820608 5864 4294967295 134512640 134714508 3221221776 3221220028 1077411564 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6548 5864 1111 63 0 6485 0 vsize: 26192 [startup+870.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1804953 0 0 0 81808 5203 0 0 25 0 1 0 752832038 27099136 5932 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6616 5932 1111 63 0 6553 0 vsize: 26464 [startup+880.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1825479 0 0 0 82747 5264 0 0 25 0 1 0 752832038 27770880 6014 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6780 6017 1111 63 0 6717 0 vsize: 27120 [startup+890.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1844930 0 0 0 83693 5318 0 0 25 0 1 0 752832038 28033024 6102 4294967295 134512640 134714508 3221221776 3221217936 1075090534 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6844 6102 1111 63 0 6781 0 vsize: 27376 [startup+900.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1863718 0 0 0 84638 5373 0 0 25 0 1 0 752832038 27967488 6144 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6828 6144 1111 63 0 6765 0 vsize: 27312 [startup+910.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1885701 0 0 0 85572 5439 0 0 25 0 1 0 752832038 28205056 6201 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6970 6205 1111 63 0 6907 0 vsize: 27544 [startup+920.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1906307 0 0 0 86510 5502 0 0 25 0 1 0 752832038 28864512 6277 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6956 6270 1111 63 0 6893 0 vsize: 28188 [startup+930.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1926261 0 0 0 87450 5561 0 0 25 0 1 0 752832038 28590080 6295 4294967295 134512640 134714508 3221221776 3221219696 1075799524 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6980 6295 1111 63 0 6917 0 vsize: 27920 [startup+940.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1945943 0 0 0 88393 5619 0 0 25 0 1 0 752832038 29134848 6356 4294967295 134512640 134714508 3221221776 3221217740 1074860825 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7113 6356 1111 63 0 7050 0 vsize: 28452 [startup+950.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1965246 0 0 0 89338 5674 0 0 25 0 1 0 752832038 29036544 6399 4294967295 134512640 134714508 3221221776 3221220512 134538795 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7089 6399 1111 63 0 7026 0 vsize: 28356 [startup+960.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1986872 0 0 0 90274 5738 0 0 25 0 1 0 752832038 29220864 6445 4294967295 134512640 134714508 3221221776 3221219864 1077377437 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7134 6445 1111 63 0 7071 0 vsize: 28536 [startup+970.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2006842 0 0 0 91214 5798 0 0 25 0 1 0 752832038 29421568 6499 4294967295 134512640 134714508 3221221776 3221219908 1077782939 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7183 6499 1111 63 0 7120 0 vsize: 28732 [startup+980.032 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2027181 0 0 0 92155 5857 0 0 25 0 1 0 752832038 29741056 6566 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7261 6566 1111 63 0 7198 0 vsize: 29044 [startup+990.032 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2046806 0 0 0 93097 5916 0 0 25 0 1 0 752832038 29941760 6625 4294967295 134512640 134714508 3221221776 3221220176 1074153822 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7310 6625 1111 63 0 7247 0 vsize: 29240 [startup+1000.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2066412 0 0 0 94032 5981 0 0 25 0 1 0 752832038 30228480 6675 4294967295 134512640 134714508 3221221776 3221220368 134696270 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7380 6675 1111 63 0 7317 0 vsize: 29520 [startup+1010.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2086930 0 0 0 94969 6044 0 0 25 0 1 0 752832038 30339072 6721 4294967295 134512640 134714508 3221221776 3221220616 134558561 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7407 6721 1111 63 0 7344 0 vsize: 29628 [startup+1020.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2107097 0 0 0 95905 6108 0 0 25 0 1 0 752832038 30560256 6769 4294967295 134512640 134714508 3221221776 3221220112 1074141406 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7461 6769 1111 63 0 7398 0 vsize: 29844 [startup+1030.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2125970 0 0 0 96852 6161 0 0 25 0 1 0 752832038 30781440 6831 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7515 6831 1111 63 0 7452 0 vsize: 30060 [startup+1040.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2146205 0 0 0 97794 6219 0 0 25 0 1 0 752832038 31027200 6890 4294967295 134512640 134714508 3221221776 3221220472 134672936 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7575 6890 1111 63 0 7512 0 vsize: 30300 [startup+1050.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2166296 0 0 0 98741 6273 0 0 25 0 1 0 752832038 31207424 6930 4294967295 134512640 134714508 3221221776 3221220468 134591823 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7619 6930 1111 63 0 7556 0 vsize: 30476 [startup+1060.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2187190 0 0 0 99684 6330 0 0 25 0 1 0 752832038 31404032 6983 4294967295 134512640 134714508 3221221776 3221220512 134538788 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7667 6983 1111 63 0 7604 0 vsize: 30668 [startup+1070.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2207572 0 0 0 100617 6397 0 0 25 0 1 0 752832038 31674368 7043 4294967295 134512640 134714508 3221221776 3221219908 1077782939 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7733 7043 1111 63 0 7670 0 vsize: 30932 [startup+1080.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2227300 0 0 0 101555 6459 0 0 25 0 1 0 752832038 31842304 7088 4294967295 134512640 134714508 3221221776 3221219564 1073945592 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7774 7088 1111 63 0 7711 0 vsize: 31096 [startup+1090.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2247462 0 0 0 102492 6523 0 0 25 0 1 0 752832038 32456704 7152 4294967295 134512640 134714508 3221221776 3221218352 1076046856 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7924 7162 1111 63 0 7861 0 vsize: 31696 [startup+1100.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2265617 0 0 0 103440 6575 0 0 25 0 1 0 752832038 32219136 7181 4294967295 134512640 134714508 3221221776 3221219712 1074051906 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7866 7181 1111 63 0 7803 0 vsize: 31464 [startup+1110.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2285537 0 0 0 104380 6635 0 0 25 0 1 0 752832038 32473088 7236 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7928 7236 1111 63 0 7865 0 vsize: 31712 [startup+1120.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2306029 0 0 0 105317 6699 0 0 25 0 1 0 752832038 32702464 7300 4294967295 134512640 134714508 3221221776 3221220328 134543647 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7984 7300 1111 63 0 7921 0 vsize: 31936 [startup+1130.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2326966 0 0 0 106252 6763 0 0 25 0 1 0 752832038 32927744 7348 4294967295 134512640 134714508 3221221776 3221220128 1074115298 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8076 7348 1111 63 0 8013 0 vsize: 32156 [startup+1140.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2348285 0 0 0 107190 6826 0 0 25 0 1 0 752832038 33124352 7402 4294967295 134512640 134714508 3221221776 3221219784 1077380277 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8087 7402 1111 63 0 8024 0 vsize: 32348 [startup+1150.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2368860 0 0 0 108129 6887 0 0 25 0 1 0 752832038 33382400 7462 4294967295 134512640 134714508 3221221776 3221220176 1074153736 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8150 7462 1111 63 0 8087 0 vsize: 32600 [startup+1160.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2389313 0 0 0 109071 6945 0 0 25 0 1 0 752832038 34013184 7525 4294967295 134512640 134714508 3221221776 3221218704 1075960265 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8304 7534 1111 63 0 8241 0 vsize: 33216 [startup+1170.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2410172 0 0 0 110010 7006 0 0 25 0 1 0 752832038 33837056 7577 4294967295 134512640 134714508 3221221776 3221219424 1075818222 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8261 7577 1111 63 0 8198 0 vsize: 33044 [startup+1174.93 s] Raw data (loadavg): 0.99 0.98 0.99 1/54 2625 Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2410172 0 0 0 110010 7006 0 0 25 0 1 0 752832038 33837056 7577 4294967295 134512640 134714508 3221221776 3221219424 1075818222 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8261 7577 1111 63 0 8198 0 vsize: 0 Child status: 10 Real time (s): 1174.93 CPU time (s): 1175.05 CPU user time (s): 1104.66 CPU system time (s): 70.3923 CPU usage (%): 100.011 Max. virtual memory (Kb): 33216 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 60 #### END VERIFIER DATA ####