Name | normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb |
MD5SUM | 5d90b7cbb5bac2aa14257b9c5448f25d |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 304 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 173 |
Biggest coefficient in the objective function | 100 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 8448 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 100 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 8448 |
Number of bits of the biggest sum of numbers | 14 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.05184 |
Number of variables | 257 |
Total number of constraints | 353 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 353 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 44 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-06-09 01:38:35 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28970 boxname=wulflinc3 idbench=356 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 5d90b7cbb5bac2aa14257b9c5448f25d /oldhome/oroussel/tmp/wulflinc3/normalized-ss97-6.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-ss97-6.opb IDLAUNCH: 28970 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 891896 kB Buffers: 25420 kB Cached: 95004 kB SwapCached: 3472 kB Active: 30548 kB Inactive: 94648 kB HighTotal: 131008 kB HighFree: 43568 kB LowTotal: 903652 kB LowFree: 848328 kB SwapTotal: 2097136 kB SwapFree: 2092672 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5020 kB Slab: 12048 kB Committed_AS: 71796 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 01:58:12 (client local time) WITH STATUS 10 IN 1176.83 SECONDS stats: 28970 0 1176.83 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 257 variables and 181 constraints. c After prepocess the problem consists of 216 variables and 98 constraints. c preprocess terminated 0.124 s c Initial Lower Bound: 303 c Lower Bound Elapsed time: 0.017 c Use computed LB before first solution. c NEW SOLUTION FOUND: 4133 @ 0.558 c NEW SOLUTION FOUND: 4038 @ 0.632 c NEW SOLUTION FOUND: 4037 @ 0.659 c NEW SOLUTION FOUND: 4036 @ 0.683 c NEW SOLUTION FOUND: 4035 @ 0.707 c NEW SOLUTION FOUND: 4034 @ 0.731 c NEW SOLUTION FOUND: 4033 @ 0.755 c NEW SOLUTION FOUND: 3933 @ 0.822 c NEW SOLUTION FOUND: 3833 @ 0.896 c NEW SOLUTION FOUND: 3733 @ 0.98 c NEW SOLUTION FOUND: 3633 @ 1.08 c NEW SOLUTION FOUND: 3533 @ 1.187 c NEW SOLUTION FOUND: 3433 @ 1.302 c NEW SOLUTION FOUND: 3432 @ 1.41 c NEW SOLUTION FOUND: 3332 @ 1.523 c NEW SOLUTION FOUND: 3331 @ 1.718 c NEW SOLUTION FOUND: 3231 @ 2.01 c NEW SOLUTION FOUND: 3230 @ 2.343 c NEW SOLUTION FOUND: 3130 @ 2.613 c NEW SOLUTION FOUND: 3129 @ 2.92 c NEW SOLUTION FOUND: 3029 @ 3.161 c NEW SOLUTION FOUND: 3028 @ 3.465 c NEW SOLUTION FOUND: 2928 @ 3.712 c NEW SOLUTION FOUND: 2927 @ 4.058 c NEW SOLUTION FOUND: 2827 @ 4.357 c NEW SOLUTION FOUND: 2826 @ 4.722 c NEW SOLUTION FOUND: 2726 @ 5.029 c NEW SOLUTION FOUND: 2725 @ 5.45 c NEW SOLUTION FOUND: 2625 @ 5.768 c NEW SOLUTION FOUND: 2624 @ 6.184 c NEW SOLUTION FOUND: 2524 @ 6.515 c NEW SOLUTION FOUND: 2523 @ 6.994 c NEW SOLUTION FOUND: 2423 @ 7.347 c NEW SOLUTION FOUND: 2422 @ 7.834 c NEW SOLUTION FOUND: 2322 @ 8.231 c NEW SOLUTION FOUND: 2321 @ 8.751 c NEW SOLUTION FOUND: 2221 @ 9.193 c NEW SOLUTION FOUND: 2121 @ 9.823 c NEW SOLUTION FOUND: 2120 @ 10.341 c NEW SOLUTION FOUND: 2119 @ 11.01 c NEW SOLUTION FOUND: 2019 @ 11.482 c NEW SOLUTION FOUND: 1919 @ 12.239 c NEW SOLUTION FOUND: 1918 @ 12.803 c NEW SOLUTION FOUND: 1917 @ 13.77 c NEW SOLUTION FOUND: 1819 @ 14.468 c NEW SOLUTION FOUND: 1818 @ 15.091 c NEW SOLUTION FOUND: 1817 @ 15.883 c NEW SOLUTION FOUND: 1816 @ 18.601 c NEW SOLUTION FOUND: 1720 @ 19.458 c NEW SOLUTION FOUND: 1719 @ 20.078 c NEW SOLUTION FOUND: 1718 @ 22.106 c NEW SOLUTION FOUND: 1717 @ 24.132 c NEW SOLUTION FOUND: 1716 @ 25.787 c NEW SOLUTION FOUND: 1715 @ 27.413 c NEW SOLUTION FOUND: 1620 @ 28.301 c NEW SOLUTION FOUND: 1619 @ 30.138 c NEW SOLUTION FOUND: 1618 @ 31.416 c NEW SOLUTION FOUND: 1617 @ 33.617 c NEW SOLUTION FOUND: 1616 @ 36.225 c NEW SOLUTION FOUND: 1615 @ 40.946 s SATISFIABLE v -v133 v177 -v217 -v3 v179 v7 -v8 -v96 v184 -v224 v185 -v225 v10 -v98 -v142 -v186 v226 -v99 -v12 -v13 -v14 -v58 -v103 -v60 -v104 v148 v229 -v61 -v19 -v107 -v108 v152 -v21 -v109 -v153 -v110 v154 -v111 v191 -v231 v26 -v70 v236 v117 v197 -v237 v198 -v238 v118 v199 -v239 v163 v120 v201 -v241 v202 -v242 v121 v203 -v243 -v123 v167 v205 -v245 v124 v246 -v37 -v125 v169 -v207 v247 v126 v248 v39 -v171 v249 -v212 v252 v129 -v213 v253 v130 -v214 v254 v131 -v215 v255 v132 v256 v1 -v45 -v89 v90 -v178 v47 -v219 -v221 -v223 v52 -v140 v11 -v55 -v143 -v227 v56 -v144 -v228 v57 -v145 v102 -v146 v15 -v147 v17 -v149 v18 -v62 -v106 -v150 v151 v65 v23 -v67 -v155 v24 -v68 -v112 -v156 -v190 v230 -v158 -v232 -v233 -v234 -v235 -v29 -v73 -v161 -v30 -v74 -v162 -v75 -v119 -v240 -v32 -v76 -v164 -v33 -v165 -v34 -v78 -v244 -v79 -v80 -v168 -v81 -v38 -v82 -v170 -v83 -v127 -v41 -v85 -v173 -v42 -v86 -v174 -v43 -v87 -v175 -v176 -v216 one -v2 -v4 -v5 -v6 -v9 -v16 -v20 -v22 -v25 -v27 v28 -v31 -v35 -v36 -v40 -v44 -v46 v48 v49 v50 -v51 -v53 -v54 -v59 -v63 -v64 -v66 -v69 -v71 -v72 -v77 -v84 -v88 -v91 -v92 -v93 -v94 -v95 -v97 -v100 -v101 -v105 -v113 -v114 -v115 -v116 -v122 -v128 -v134 -v135 -v136 -v137 -v138 -v139 v141 v157 v159 -v160 v166 v172 -v180 v181 -v182 v183 v187 v188 -v189 v192 v193 v194 v195 -v196 v200 v204 -v206 -v208 -v209 -v210 -v211 v218 v220 v222 v250 v251 c Exit Code: 10 c Total time: 1176.73 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.84 0.95 0.91 2/54 1973 Raw data (stat): 1973 (runsolver) R 1972 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 906368322 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0006 s] Raw data (loadavg): 0.87 0.95 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 6825 0 0 0 965 31 0 0 25 0 1 0 906368322 10465280 1852 4294967295 134512640 134716908 3221224576 3221222496 1075799421 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2555 1852 1111 63 0 2492 0 vsize: 10220 [startup+20.0017 s] Raw data (loadavg): 0.89 0.95 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 15537 0 0 0 1932 65 0 0 25 0 1 0 906368322 15978496 3192 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3901 3192 1111 63 0 3838 0 vsize: 15604 [startup+30.0022 s] Raw data (loadavg): 0.90 0.95 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 26883 0 0 0 2896 100 0 0 25 0 1 0 906368322 20099072 4214 4294967295 134512640 134716908 3221224576 3221222452 1077782939 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4907 4214 1111 63 0 4844 0 vsize: 19628 [startup+40.0029 s] Raw data (loadavg): 0.92 0.95 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 37943 0 0 0 3861 135 0 0 25 0 1 0 906368322 24666112 5264 4294967295 134512640 134716908 3221224576 3221222224 1075818290 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6022 5264 1111 63 0 5959 0 vsize: 24088 [startup+50.0042 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 52780 0 0 0 4820 176 0 0 25 0 1 0 906368322 29245440 6400 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7224 6403 1111 63 0 7161 0 vsize: 28560 [startup+60.0037 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 67779 0 0 0 5782 215 0 0 25 0 1 0 906368322 32919552 7293 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8126 7295 1111 63 0 8063 0 vsize: 32148 [startup+70.0065 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 83995 0 0 0 6743 255 0 0 25 0 1 0 906368322 36470784 8166 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8897 8166 1111 63 0 8834 0 vsize: 35616 [startup+80.0077 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 100482 0 0 0 7701 296 0 0 25 0 1 0 906368322 41984000 9309 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10250 9309 1111 63 0 10187 0 vsize: 41000 [startup+90.0082 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 119189 0 0 0 8655 343 0 0 25 0 1 0 906368322 45916160 10349 4294967295 134512640 134716908 3221224576 3221222400 1075823542 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11210 10349 1111 63 0 11147 0 vsize: 44840 [startup+100.008 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 136834 0 0 0 9608 390 0 0 25 0 1 0 906368322 50978816 11527 4294967295 134512640 134716908 3221224576 3221221468 1077387418 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12446 11529 1111 63 0 12383 0 vsize: 49784 [startup+110.009 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 154359 0 0 0 10565 433 0 0 25 0 1 0 906368322 55570432 12665 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13567 12674 1111 63 0 13504 0 vsize: 54268 [startup+120.009 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 169126 0 0 0 11526 472 0 0 25 0 1 0 906368322 58253312 13387 4294967295 134512640 134716908 3221224576 3221222500 1075823076 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14222 13387 1111 63 0 14159 0 vsize: 56888 [startup+130.009 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 188101 0 0 0 12478 521 0 0 25 0 1 0 906368322 63582208 14620 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15523 14622 1111 63 0 15460 0 vsize: 62092 [startup+140.009 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 203789 0 0 0 13436 562 0 0 25 0 1 0 906368322 67551232 15691 4294967295 134512640 134716908 3221224576 3221223452 134558476 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16492 15691 1111 63 0 16429 0 vsize: 65968 [startup+150.009 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 209724 0 0 0 14422 577 0 0 25 0 1 0 906368322 68440064 15907 4294967295 134512640 134716908 3221224576 3221222304 1075828228 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16707 15905 1111 63 0 16644 0 vsize: 66836 [startup+160.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 229752 0 0 0 15370 629 0 0 25 0 1 0 906368322 77299712 17732 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18872 17732 1111 63 0 18809 0 vsize: 75488 [startup+170.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 246711 0 0 0 16326 673 0 0 25 0 1 0 906368322 82620416 18933 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20171 18936 1111 63 0 20108 0 vsize: 80684 [startup+180.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 264772 0 0 0 17276 724 0 0 25 0 1 0 906368322 87085056 20066 4294967295 134512640 134716908 3221224576 3221222340 1077374203 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21261 20066 1111 63 0 21198 0 vsize: 85044 [startup+190.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 283501 0 0 0 18223 777 0 0 25 0 1 0 906368322 92585984 21380 4294967295 134512640 134716908 3221224576 3221223216 1074057621 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22604 21380 1111 63 0 22541 0 vsize: 90416 [startup+200.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 301375 0 0 0 19176 823 0 0 25 0 1 0 906368322 98369536 22796 4294967295 134512640 134716908 3221224576 3221223372 134542400 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24016 22796 1111 63 0 23953 0 vsize: 96064 [startup+210.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 321800 0 0 0 20127 873 0 0 25 0 1 0 906368322 101314560 23400 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24735 23400 1111 63 0 24672 0 vsize: 98940 [startup+220.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 357196 0 0 0 21055 945 0 0 25 0 1 0 906368322 106618880 24661 4294967295 134512640 134716908 3221224576 3221221776 1075966713 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25898 24655 1111 63 0 25835 0 vsize: 104120 [startup+230.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 389804 0 0 0 21985 1015 0 0 25 0 1 0 906368322 111099904 25855 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27124 25855 1111 63 0 27061 0 vsize: 108496 [startup+240.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 420642 0 0 0 22921 1079 0 0 25 0 1 0 906368322 115433472 26918 4294967295 134512640 134716908 3221224576 3221222496 1075799512 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28182 26918 1111 63 0 28119 0 vsize: 112728 [startup+250.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 455498 0 0 0 23847 1154 0 0 25 0 1 0 906368322 121589760 28331 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29685 28334 1111 63 0 29622 0 vsize: 118740 [startup+260.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 480353 0 0 0 24794 1206 0 0 25 0 1 0 906368322 125616128 29390 4294967295 134512640 134716908 3221224576 3221223368 134542414 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30668 29390 1111 63 0 30605 0 vsize: 122672 [startup+270.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 498484 0 0 0 25756 1245 0 0 25 0 1 0 906368322 127684608 29904 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31173 29904 1111 63 0 31110 0 vsize: 124692 [startup+280.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 529862 0 0 0 26687 1314 0 0 25 0 1 0 906368322 132808704 31196 4294967295 134512640 134716908 3221224576 3221223372 134543553 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32424 31196 1111 63 0 32361 0 vsize: 129696 [startup+290.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 564831 0 0 0 27614 1387 0 0 25 0 1 0 906368322 138178560 32421 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33735 32421 1111 63 0 33672 0 vsize: 134940 [startup+300.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 590322 0 0 0 28561 1440 0 0 25 0 1 0 906368322 147566592 33927 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36159 33933 1111 63 0 36096 0 vsize: 144108 [startup+310.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 625030 0 0 0 29490 1512 0 0 25 0 1 0 906368322 153939968 35157 4294967295 134512640 134716908 3221224576 3221220780 1075564292 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37583 35157 1111 63 0 37520 0 vsize: 150332 [startup+320.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 652060 0 0 0 30428 1573 0 0 25 0 1 0 906368322 157745152 36058 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38512 36058 1111 63 0 38449 0 vsize: 154048 [startup+330.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 672810 0 0 0 31383 1619 0 0 25 0 1 0 906368322 161599488 36843 4294967295 134512640 134716908 3221224576 3221221616 1075971414 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39453 36851 1111 63 0 39390 0 vsize: 157812 [startup+340.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 681713 0 0 0 32361 1641 0 0 25 0 1 0 906368322 162447360 37172 4294967295 134512640 134716908 3221224576 3221223368 134536901 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39660 37172 1111 63 0 39597 0 vsize: 158640 [startup+350.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 698968 0 0 0 33324 1678 0 0 25 0 1 0 906368322 163528704 37437 4294967295 134512640 134716908 3221224576 3221222736 1075604191 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39924 37437 1111 63 0 39861 0 vsize: 159696 [startup+360.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 724308 0 0 0 34267 1736 0 0 25 0 1 0 906368322 166019072 38019 4294967295 134512640 134716908 3221224576 3221222880 1074153648 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 40532 38019 1111 63 0 40469 0 vsize: 162128 [startup+370.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 733635 0 0 0 35245 1758 0 0 25 0 1 0 906368322 167264256 38323 4294967295 134512640 134716908 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 40836 38323 1111 63 0 40773 0 vsize: 163344 [startup+380.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 759277 0 0 0 36191 1812 0 0 25 0 1 0 906368322 170459136 38890 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 41616 38891 1111 63 0 41553 0 vsize: 166464 [startup+390.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 794659 0 0 0 37114 1889 0 0 25 0 1 0 906368322 174063616 39741 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 42496 39744 1111 63 0 42433 0 vsize: 169984 [startup+400.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 814183 0 0 0 38073 1930 0 0 25 0 1 0 906368322 177324032 40674 4294967295 134512640 134716908 3221224576 3221222576 1074918585 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 43292 40674 1111 63 0 43229 0 vsize: 173168 [startup+410.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 818110 0 0 0 39065 1938 0 0 25 0 1 0 906368322 175943680 40368 4294967295 134512640 134716908 3221224576 3221223288 134543187 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 42955 40368 1111 63 0 42892 0 vsize: 171820 [startup+420.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 824504 0 0 0 40051 1953 0 0 25 0 1 0 906368322 175546368 40263 4294967295 134512640 134716908 3221224576 3221223140 1073987108 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 42858 40263 1111 63 0 42795 0 vsize: 171432 [startup+430.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 860115 0 0 0 40978 2025 0 0 25 0 1 0 906368322 178585600 41024 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 43600 41024 1111 63 0 43537 0 vsize: 174400 [startup+440.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 892316 0 0 0 41910 2094 0 0 25 0 1 0 906368322 182665216 41803 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 44596 41815 1111 63 0 44533 0 vsize: 178384 [startup+450.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 916341 0 0 0 42856 2148 0 0 25 0 1 0 906368322 183939072 42333 4294967295 134512640 134716908 3221224576 3221223216 134528607 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 44907 42333 1111 63 0 44844 0 vsize: 179628 [startup+460.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 937291 0 0 0 43809 2195 0 0 25 0 1 0 906368322 185659392 42749 4294967295 134512640 134716908 3221224576 3221222740 1077374467 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 45327 42749 1111 63 0 45264 0 vsize: 181308 [startup+470.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 952307 0 0 0 44776 2228 0 0 25 0 1 0 906368322 186834944 43028 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 45614 43028 1111 63 0 45551 0 vsize: 182456 [startup+480.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 970332 0 0 0 45737 2268 0 0 25 0 1 0 906368322 187850752 43294 4294967295 134512640 134716908 3221224576 3221222536 1074138306 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 45862 43294 1111 63 0 45799 0 vsize: 183448 [startup+490.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 989126 0 0 0 46692 2313 0 0 25 0 1 0 906368322 190197760 43695 4294967295 134512640 134716908 3221224576 3221221200 1075895379 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 46435 43695 1111 63 0 46372 0 vsize: 185740 [startup+500.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1006098 0 0 0 47655 2350 0 0 25 0 1 0 906368322 190459904 43933 4294967295 134512640 134716908 3221224576 3221222912 1074153786 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 46499 43933 1111 63 0 46436 0 vsize: 185996 [startup+510.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1018529 0 0 0 48629 2376 0 0 25 0 1 0 906368322 191221760 44108 4294967295 134512640 134716908 3221224576 3221222576 1074916744 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 46685 44108 1111 63 0 46622 0 vsize: 186740 [startup+520.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1022944 0 0 0 49619 2386 0 0 25 0 1 0 906368322 192012288 44267 4294967295 134512640 134716908 3221224576 3221223312 134622819 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 46878 44267 1111 63 0 46815 0 vsize: 187512 [startup+530.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1037890 0 0 0 50584 2422 0 0 25 0 1 0 906368322 192606208 44449 4294967295 134512640 134716908 3221224576 3221223392 134622347 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 47023 44449 1111 63 0 46960 0 vsize: 188092 [startup+540.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1048307 0 0 0 51560 2446 0 0 25 0 1 0 906368322 193273856 44595 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 47186 44595 1111 63 0 47123 0 vsize: 188744 [startup+550.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1057850 0 0 0 52539 2467 0 0 25 0 1 0 906368322 194420736 44718 4294967295 134512640 134716908 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 47466 44718 1111 63 0 47403 0 vsize: 189864 [startup+560.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1065885 0 0 0 53521 2486 0 0 25 0 1 0 906368322 193662976 44721 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 47281 44721 1111 63 0 47218 0 vsize: 189124 [startup+570.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1076047 0 0 0 54496 2511 0 0 25 0 1 0 906368322 193990656 44805 4294967295 134512640 134716908 3221224576 3221222400 1075823644 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 47361 44805 1111 63 0 47298 0 vsize: 189444 [startup+580.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1087594 0 0 0 55468 2538 0 0 25 0 1 0 906368322 195112960 45069 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 47635 45069 1111 63 0 47572 0 vsize: 190540 [startup+590.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1102893 0 0 0 56432 2574 0 0 25 0 1 0 906368322 196300800 45367 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 47925 45367 1111 63 0 47862 0 vsize: 191700 [startup+600.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1118287 0 0 0 57399 2608 0 0 25 0 1 0 906368322 196812800 45494 4294967295 134512640 134716908 3221224576 3221222576 1074918771 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48050 45494 1111 63 0 47987 0 vsize: 192200 [startup+610.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1133303 0 0 0 58365 2642 0 0 25 0 1 0 906368322 198172672 45833 4294967295 134512640 134716908 3221224576 3221223380 134622499 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48382 45833 1111 63 0 48319 0 vsize: 193528 [startup+620.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1144218 0 0 0 59341 2666 0 0 25 0 1 0 906368322 198991872 46035 4294967295 134512640 134716908 3221224576 3221222576 1074918496 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48582 46035 1111 63 0 48519 0 vsize: 194328 [startup+630.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1150840 0 0 0 60326 2682 0 0 25 0 1 0 906368322 199446528 46115 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48693 46115 1111 63 0 48630 0 vsize: 194772 [startup+640.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1159846 0 0 0 61305 2702 0 0 25 0 1 0 906368322 199421952 46141 4294967295 134512640 134716908 3221224576 3221222488 1074138265 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48687 46141 1111 63 0 48624 0 vsize: 194748 [startup+650.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1170247 0 0 0 62280 2728 0 0 25 0 1 0 906368322 200310784 46337 4294967295 134512640 134716908 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48904 46337 1111 63 0 48841 0 vsize: 195616 [startup+660.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1171681 0 0 0 63275 2733 0 0 25 0 1 0 906368322 200888320 46502 4294967295 134512640 134716908 3221224576 3221222480 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 49045 46502 1111 63 0 48982 0 vsize: 196180 [startup+670.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1172701 0 0 0 64272 2737 0 0 25 0 1 0 906368322 203821056 47208 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 49761 47208 1111 63 0 49698 0 vsize: 199044 [startup+680.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1173958 0 0 0 65269 2739 0 0 25 0 1 0 906368322 208240640 47772 4294967295 134512640 134716908 3221224576 3221221648 1074867328 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 50840 47772 1111 63 0 50777 0 vsize: 203360 [startup+690.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1176721 0 0 0 66264 2745 0 0 25 0 1 0 906368322 203116544 46948 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 49589 46948 1111 63 0 49526 0 vsize: 198356 [startup+700.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1176721 0 0 0 67264 2745 0 0 25 0 1 0 906368322 203116544 46948 4294967295 134512640 134716908 3221224576 3221223380 134622283 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 49589 46948 1111 63 0 49526 0 vsize: 198356 [startup+710.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1176721 0 0 0 68264 2745 0 0 25 0 1 0 906368322 203116544 46948 4294967295 134512640 134716908 3221224576 3221223288 134543187 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 49589 46948 1111 63 0 49526 0 vsize: 198356 [startup+720.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1176871 0 0 0 69264 2745 0 0 25 0 1 0 906368322 202305536 46801 4294967295 134512640 134716908 3221224576 3221222672 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 49391 46801 1111 63 0 49328 0 vsize: 197564 [startup+730.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1179851 0 0 0 70257 2752 0 0 25 0 1 0 906368322 201916416 46726 4294967295 134512640 134716908 3221224576 3221223312 134622763 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 49296 46726 1111 63 0 49233 0 vsize: 197184 [startup+740.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1185768 0 0 0 71242 2768 0 0 25 0 1 0 906368322 203120640 46456 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 49590 46456 1111 63 0 49527 0 vsize: 198360 [startup+750.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1188898 0 0 0 72235 2775 0 0 25 0 1 0 906368322 201216000 46583 4294967295 134512640 134716908 3221224576 3221223288 134558492 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 49125 46583 1111 63 0 49062 0 vsize: 196500 [startup+760.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1193245 0 0 0 73227 2783 0 0 25 0 1 0 906368322 201039872 46508 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 49082 46508 1111 63 0 49019 0 vsize: 196328 [startup+770.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1201200 0 0 0 74208 2803 0 0 25 0 1 0 906368322 200650752 46445 4294967295 134512640 134716908 3221224576 3221221856 1074140374 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 49138 46445 1111 63 0 49075 0 vsize: 195948 [startup+780.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1217989 0 0 0 75168 2842 0 0 25 0 1 0 906368322 202424320 46847 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 49420 46847 1111 63 0 49357 0 vsize: 197680 [startup+790.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1222042 0 0 0 76159 2852 0 0 25 0 1 0 906368322 201654272 46658 4294967295 134512640 134716908 3221224576 3221222520 1077380592 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 49232 46658 1111 63 0 49169 0 vsize: 196928 [startup+800.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1233314 0 0 0 77132 2879 0 0 25 0 1 0 906368322 201719808 46674 4294967295 134512640 134716908 3221224576 3221223368 134543552 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 49248 46674 1111 63 0 49185 0 vsize: 196992 [startup+810.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1252917 0 0 0 78087 2925 0 0 25 0 1 0 906368322 202141696 46810 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 49351 46810 1111 63 0 49288 0 vsize: 197404 [startup+820.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1256907 0 0 0 79079 2932 0 0 25 0 1 0 906368322 202518528 46870 4294967295 134512640 134716908 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 49443 46870 1111 63 0 49380 0 vsize: 197772 [startup+830.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1279334 0 0 0 80025 2986 0 0 25 0 1 0 906368322 204890112 47040 4294967295 134512640 134716908 3221224576 3221220720 1074969600 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 50022 47040 1111 63 0 49959 0 vsize: 200088 [startup+840.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1293549 0 0 0 80992 3019 0 0 25 0 1 0 906368322 203042816 47031 4294967295 134512640 134716908 3221224576 3221222824 1074138162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 49571 47031 1111 63 0 49508 0 vsize: 198284 [startup+850.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1312185 0 0 0 81947 3065 0 0 25 0 1 0 906368322 203350016 47124 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 49646 47124 1111 63 0 49583 0 vsize: 198584 [startup+860.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1338792 0 0 0 82887 3125 0 0 25 0 1 0 906368322 207953920 47794 4294967295 134512640 134716908 3221224576 3221220588 1074788950 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 50770 47795 1111 63 0 50707 0 vsize: 203080 [startup+870.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1349762 0 0 0 83861 3152 0 0 25 0 1 0 906368322 206643200 47889 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 50450 47889 1111 63 0 50387 0 vsize: 201800 [startup+880.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1367923 0 0 0 84818 3194 0 0 25 0 1 0 906368322 207269888 48054 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 50603 48054 1111 63 0 50540 0 vsize: 202412 [startup+890.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1379123 0 0 0 85791 3222 0 0 25 0 1 0 906368322 207511552 48146 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 50662 48146 1111 63 0 50599 0 vsize: 202648 [startup+900.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1393732 0 0 0 86758 3255 0 0 25 0 1 0 906368322 212926464 48535 4294967295 134512640 134716908 3221224576 3221221648 1074867305 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 51984 48535 1111 63 0 51921 0 vsize: 207936 [startup+910.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1399565 0 0 0 87745 3269 0 0 25 0 1 0 906368322 209367040 48486 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 51115 48486 1111 63 0 51052 0 vsize: 204460 [startup+920.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1407088 0 0 0 88726 3287 0 0 25 0 1 0 906368322 209657856 48581 4294967295 134512640 134716908 3221224576 3221223288 134558492 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 51186 48581 1111 63 0 51123 0 vsize: 204744 [startup+930.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1419466 0 0 0 89699 3314 0 0 25 0 1 0 906368322 209485824 48542 4294967295 134512640 134716908 3221224576 3221222152 1077410163 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 51130 48528 1111 63 0 51067 0 vsize: 204576 [startup+940.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1432080 0 0 0 90668 3345 0 0 25 0 1 0 906368322 212226048 48771 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 51813 48771 1111 63 0 51750 0 vsize: 207252 [startup+950.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1444987 0 0 0 91638 3376 0 0 25 0 1 0 906368322 210436096 48749 4294967295 134512640 134716908 3221224576 3221222408 1077380592 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 51376 48749 1111 63 0 51313 0 vsize: 205504 [startup+960.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1445745 0 0 0 92636 3378 0 0 25 0 1 0 906368322 211779584 49046 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 51704 49046 1111 63 0 51641 0 vsize: 206816 [startup+970.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1446616 0 0 0 93634 3380 0 0 25 0 1 0 906368322 214118400 49637 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 52275 49637 1111 63 0 52212 0 vsize: 209100 [startup+980.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1450182 0 0 0 94626 3388 0 0 25 0 1 0 906368322 213446656 49397 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 52111 49397 1111 63 0 52048 0 vsize: 208444 [startup+990.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1450182 0 0 0 95627 3388 0 0 25 0 1 0 906368322 213446656 49397 4294967295 134512640 134716908 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 52111 49397 1111 63 0 52048 0 vsize: 208444 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1450182 0 0 0 96627 3388 0 0 25 0 1 0 906368322 213446656 49397 4294967295 134512640 134716908 3221224576 3221223392 134622484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 52111 49397 1111 63 0 52048 0 vsize: 208444 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1450414 0 0 0 97626 3389 0 0 25 0 1 0 906368322 213086208 49362 4294967295 134512640 134716908 3221224576 3221222720 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 52023 49362 1111 63 0 51960 0 vsize: 208092 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1451079 0 0 0 98625 3391 0 0 25 0 1 0 906368322 214110208 49626 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 52273 49626 1111 63 0 52210 0 vsize: 209092 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1453617 0 0 0 99620 3395 0 0 25 0 1 0 906368322 212049920 49141 4294967295 134512640 134716908 3221224576 3221222768 1074153792 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 51770 49141 1111 63 0 51707 0 vsize: 207080 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1455903 0 0 0 100615 3401 0 0 25 0 1 0 906368322 211599360 49033 4294967295 134512640 134716908 3221224576 3221222720 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 51660 49033 1111 63 0 51597 0 vsize: 206640 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1460025 0 0 0 101605 3411 0 0 25 0 1 0 906368322 211599360 49033 4294967295 134512640 134716908 3221224576 3221222960 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 51660 49033 1111 63 0 51597 0 vsize: 206640 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1473334 0 0 0 102574 3442 0 0 25 0 1 0 906368322 210657280 48803 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 51430 48803 1111 63 0 51367 0 vsize: 205720 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1491403 0 0 0 103534 3482 0 0 25 0 1 0 906368322 212819968 49332 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 51958 49332 1111 63 0 51895 0 vsize: 207832 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1506529 0 0 0 104498 3519 0 0 25 0 1 0 906368322 211992576 49131 4294967295 134512640 134716908 3221224576 3221223300 134622875 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 51756 49131 1111 63 0 51693 0 vsize: 207024 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1540915 0 0 0 105426 3591 0 0 25 0 1 0 906368322 219353088 50095 4294967295 134512640 134716908 3221224576 3221221520 1074620363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 53553 50095 1111 63 0 53490 0 vsize: 214212 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1560909 0 0 0 106382 3635 0 0 25 0 1 0 906368322 216125440 50084 4294967295 134512640 134716908 3221224576 3221222688 1074867344 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 52765 50084 1111 63 0 52702 0 vsize: 211060 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1562947 0 0 0 107376 3641 0 0 25 0 1 0 906368322 218890240 50784 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 53440 50784 1111 63 0 53377 0 vsize: 213760 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1569014 0 0 0 108363 3654 0 0 25 0 1 0 906368322 217092096 50353 4294967295 134512640 134716908 3221224576 3221223380 134622283 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 53001 50353 1111 63 0 52938 0 vsize: 212004 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1572175 0 0 0 109356 3662 0 0 25 0 1 0 906368322 217784320 50483 4294967295 134512640 134716908 3221224576 3221223304 134622768 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 53170 50483 1111 63 0 53107 0 vsize: 212680 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1574227 0 0 0 110352 3666 0 0 25 0 1 0 906368322 217141248 50360 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 53013 50360 1111 63 0 52950 0 vsize: 212052 [startup+1150.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1591483 0 0 0 111315 3703 0 0 25 0 1 0 906368322 219148288 50420 4294967295 134512640 134716908 3221224576 3221221576 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 53503 50420 1111 63 0 53440 0 vsize: 214012 [startup+1160.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1602281 0 0 0 112290 3728 0 0 25 0 1 0 906368322 217214976 50352 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 53031 50352 1111 63 0 52968 0 vsize: 212124 [startup+1170.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1608807 0 0 0 113272 3747 0 0 25 0 1 0 906368322 219193344 50858 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 53514 50858 1111 63 0 53451 0 vsize: 214056 [startup+1176.68 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 1973 Raw data (stat): 1973 (bsolo_lpr_cuts-) R 1972 20224 20223 0 -1 0 1608807 0 0 0 113272 3747 0 0 25 0 1 0 906368322 219193344 50858 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 53514 50858 1111 63 0 53451 0 vsize: 0 Child status: 10 Real time (s): 1176.68 CPU time (s): 1176.83 CPU user time (s): 1139.21 CPU system time (s): 37.6173 CPU usage (%): 100.013 Max. virtual memory (Kb): 214212 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 1615 #### END VERIFIER DATA ####