Name | normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.5:100.opb |
MD5SUM | dd81121db7c1c4b8597dd9571c707a87 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 372 |
Biggest coefficient in the objective function | 220 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 983 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 220 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 983 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.03484 |
Number of variables | 372 |
Total number of constraints | 792 |
Number of constraints which are clauses | 345 |
Number of constraints which are cardinality constraints (but not clauses) | 447 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 18 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-06-02 14:18:42 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=26636 boxname=wulflinc2 idbench=366 idsolver=19 numberseed=0 MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea /oldhome/oroussel/solvers/Pueblo-v2 MD5SUM BENCH: dd81121db7c1c4b8597dd9571c707a87 /oldhome/oroussel/tmp/wulflinc2/normalized-10:10:4.5:0.5:100.opb REAL COMMAND: Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-10:10:4.5:0.5:100.opb IDLAUNCH: 26636 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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 : 2 cpu MHz : 451.191 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: 918516 kB Buffers: 16672 kB Cached: 77844 kB SwapCached: 1160 kB Active: 20648 kB Inactive: 76336 kB HighTotal: 131008 kB HighFree: 50176 kB LowTotal: 903652 kB LowFree: 868340 kB SwapTotal: 2097136 kB SwapFree: 2095024 kB Dirty: 52 kB Writeback: 0 kB Mapped: 5056 kB Slab: 13512 kB Committed_AS: 71788 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-02 14:38:31 (client local time) WITH STATUS 10 IN 1189.01 SECONDS stats: 26636 0 1189.01 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Pueblo version 1.2 (Sept 2004) c Developed @ University of Michigan, Ann Arbor, MI c by Hossein Sheini c Solving: /oldhome/oroussel/tmp/wulflinc2/normalized-10:10:4.5:0.5:100.opb c #variables read: 372 - #constraints read: 793 s SATISFIABLE v v287 -v229 v148 v112 -v97 -v75 -v45 -v23 v285 -v270 v233 v147 -v128 -v113 -v44 -v28 -v269 v232 -v196 v149 -v127 -v117 -v98 -v79 -v46 -v27 -v2 -v286 -v271 -v253 v234 -v195 -v166 v152 v133 -v115 -v99 -v77 -v47 -v7 -v291 -v272 -v252 v238 -v197 -v165 v151 v132 -v116 -v102 -v54 -v30 -v6 -v343 -v273 v237 -v200 -v171 v156 v134 -v100 -v78 -v48 -v31 -v342 -v280 -v254 -v235 -v199 -v170 v155 v138 -v101 -v82 -v49 -v34 v9 -v344 -v274 v256 -v236 -v203 -v172 -v153 v137 -v50 -v32 v10 v345 -v275 -v201 -v173 -v154 -v135 -v33 v11 v346 -v276 v257 -v202 -v174 -v136 v12 -v305 v288 v114 -v94 -v74 v309 -v228 -v118 -v96 -v22 -v292 v230 -v95 -v80 -v57 -v24 -v290 -v248 v231 v150 v129 -v103 -v58 -v29 -v1 -v283 -v247 v242 v164 v130 -v83 -v53 -v26 -v3 -v284 -v198 -v167 v160 v131 -v81 -v35 -v8 -v279 -v255 -v221 -v211 -v168 v159 v142 -v51 v5 v258 -v207 -v169 v13 v349 -v277 v259 -v206 -v188 -v178 v350 v260 -v192 -v304 v289 v126 -v72 -v56 v308 -v293 v122 -v93 -v76 -v55 -v282 -v245 v161 v121 -v111 -v73 -v281 -v246 v163 -v107 -v84 -v25 -v360 -v241 -v217 -v208 v145 -v106 -v43 -v249 -v210 v146 -v39 v4 -v348 v250 -v239 -v220 -v181 -v157 v141 -v52 -v38 v21 -v347 v251 -v182 v17 -v278 v264 -v204 -v187 -v177 -v158 v139 v16 -v191 v306 v301 -v244 v125 -v108 v310 v297 -v243 -v162 -v110 -v71 -v356 v296 -v144 v119 -v92 -v40 -v209 -v143 -v88 -v42 v359 v312 -v216 -v180 -v120 -v104 -v87 -v64 -v18 v313 -v179 v20 v267 -v240 -v222 -v105 -v36 v268 -v336 v263 -v205 -v189 -v175 v140 -v37 v14 -v340 -v193 v307 v300 v123 -v109 -v89 v311 -v91 -v41 -v355 v315 v294 -v213 v60 v314 -v19 v361 v295 v266 -v218 -v85 -v63 v265 -v184 -v223 -v183 -v86 -v364 -v335 v261 -v190 -v176 v15 -v339 -v194 -v352 -v303 v298 v124 -v90 v302 -v357 v319 v59 -v212 v362 v328 -v214 -v65 -v219 v365 -v363 -v185 v337 v262 -v186 -v68 -v341 v322 v299 -v351 v323 -v353 v325 v318 v61 -v358 v327 v316 -v66 v366 v332 -v215 v331 -v227 -v69 -v67 v338 v320 v324 -v354 v62 v329 v317 -v224 -v370 -v226 -v70 -v369 v333 v334 v321 v326 -v225 v330 -v367 -v368 v371 one #### 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.92 0.98 0.93 1/54 23039 Raw data (stat): 23039 (runsolver) R 23038 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 850453574 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0002 s] Raw data (loadavg): 0.93 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 561 0 0 0 990 8 0 0 25 0 1 0 850453574 7897088 535 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1928 535 566 18 0 1910 0 vsize: 7712 [startup+20.0012 s] Raw data (loadavg): 0.94 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 621 0 0 0 1982 17 0 0 25 0 1 0 850453574 8155136 595 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1991 595 566 18 0 1973 0 vsize: 7964 [startup+30.0019 s] Raw data (loadavg): 0.95 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 632 0 0 0 2976 23 0 0 25 0 1 0 850453574 8155136 606 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1991 606 566 18 0 1973 0 vsize: 7964 [startup+40.0022 s] Raw data (loadavg): 0.96 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 673 0 0 0 3969 30 0 0 25 0 1 0 850453574 8417280 647 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2055 647 566 18 0 2037 0 vsize: 8220 [startup+50.0023 s] Raw data (loadavg): 0.96 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 705 0 0 0 4962 37 0 0 25 0 1 0 850453574 8548352 679 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2087 679 566 18 0 2069 0 vsize: 8348 [startup+60.0019 s] Raw data (loadavg): 0.97 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 714 0 0 0 5954 46 0 0 25 0 1 0 850453574 8548352 688 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2087 688 566 18 0 2069 0 vsize: 8348 [startup+70.0023 s] Raw data (loadavg): 0.97 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 752 0 0 0 6945 55 0 0 25 0 1 0 850453574 8679424 726 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2119 726 566 18 0 2101 0 vsize: 8476 [startup+80.0024 s] Raw data (loadavg): 0.98 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 773 0 0 0 7938 61 0 0 25 0 1 0 850453574 8818688 747 4294967295 134512640 134581267 3221224576 3221223520 134559043 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2153 747 566 18 0 2135 0 vsize: 8612 [startup+90.003 s] Raw data (loadavg): 0.98 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 779 0 0 0 8930 70 0 0 25 0 1 0 850453574 8818688 753 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2153 753 566 18 0 2135 0 vsize: 8612 [startup+100.002 s] Raw data (loadavg): 0.98 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 784 0 0 0 9923 77 0 0 25 0 1 0 850453574 8818688 758 4294967295 134512640 134581267 3221224576 3221223440 134528257 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2153 758 566 18 0 2135 0 vsize: 8612 [startup+110.002 s] Raw data (loadavg): 0.98 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 792 0 0 0 10918 83 0 0 25 0 1 0 850453574 8818688 766 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2153 766 566 18 0 2135 0 vsize: 8612 [startup+120.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 792 0 0 0 11910 91 0 0 25 0 1 0 850453574 8818688 766 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2153 766 566 18 0 2135 0 vsize: 8612 [startup+130.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 794 0 0 0 12903 98 0 0 25 0 1 0 850453574 8818688 768 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2153 768 566 18 0 2135 0 vsize: 8612 [startup+140.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 822 0 0 0 13895 106 0 0 25 0 1 0 850453574 8949760 796 4294967295 134512640 134581267 3221224576 3221223520 134559432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2185 796 566 18 0 2167 0 vsize: 8740 [startup+150.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 826 0 0 0 14887 114 0 0 25 0 1 0 850453574 8949760 800 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2185 800 566 18 0 2167 0 vsize: 8740 [startup+160.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 832 0 0 0 15878 123 0 0 25 0 1 0 850453574 9076736 806 4294967295 134512640 134581267 3221224576 3221223488 134527707 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2216 806 566 18 0 2198 0 vsize: 8864 [startup+170.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 846 0 0 0 16871 131 0 0 25 0 1 0 850453574 9076736 820 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2216 820 566 18 0 2198 0 vsize: 8864 [startup+180.002 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 862 0 0 0 17862 140 0 0 25 0 1 0 850453574 9207808 836 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2248 836 566 18 0 2230 0 vsize: 8992 [startup+190.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 873 0 0 0 18854 148 0 0 25 0 1 0 850453574 9207808 847 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2248 847 566 18 0 2230 0 vsize: 8992 [startup+200.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 880 0 0 0 19847 155 0 0 25 0 1 0 850453574 9207808 854 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2248 854 566 18 0 2230 0 vsize: 8992 [startup+210.002 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 883 0 0 0 20839 164 0 0 25 0 1 0 850453574 9207808 857 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2248 857 566 18 0 2230 0 vsize: 8992 [startup+220.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 889 0 0 0 21832 171 0 0 25 0 1 0 850453574 9207808 863 4294967295 134512640 134581267 3221224576 3221223440 134528235 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2248 863 566 18 0 2230 0 vsize: 8992 [startup+230.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 889 0 0 0 22824 178 0 0 25 0 1 0 850453574 9207808 863 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2248 863 566 18 0 2230 0 vsize: 8992 [startup+240.004 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 889 0 0 0 23817 186 0 0 25 0 1 0 850453574 9207808 863 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2248 863 566 18 0 2230 0 vsize: 8992 [startup+250.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 917 0 0 0 24809 194 0 0 25 0 1 0 850453574 9338880 891 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2280 891 566 18 0 2262 0 vsize: 9120 [startup+260.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 931 0 0 0 25802 201 0 0 25 0 1 0 850453574 9461760 905 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2310 905 566 18 0 2292 0 vsize: 9240 [startup+270.004 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 935 0 0 0 26795 208 0 0 25 0 1 0 850453574 9461760 909 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2310 909 566 18 0 2292 0 vsize: 9240 [startup+280.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 938 0 0 0 27787 216 0 0 25 0 1 0 850453574 9461760 912 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2310 912 566 18 0 2292 0 vsize: 9240 [startup+290.004 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 939 0 0 0 28779 225 0 0 25 0 1 0 850453574 9461760 913 4294967295 134512640 134581267 3221224576 3221223440 134528338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2310 913 566 18 0 2292 0 vsize: 9240 [startup+300.004 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 946 0 0 0 29772 232 0 0 25 0 1 0 850453574 9461760 920 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2310 920 566 18 0 2292 0 vsize: 9240 [startup+310.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 947 0 0 0 30765 239 0 0 25 0 1 0 850453574 9461760 921 4294967295 134512640 134581267 3221224576 3221223456 134560256 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2310 921 566 18 0 2292 0 vsize: 9240 [startup+320.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 952 0 0 0 31757 247 0 0 25 0 1 0 850453574 9461760 926 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2310 926 566 18 0 2292 0 vsize: 9240 [startup+330.004 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 962 0 0 0 32748 256 0 0 25 0 1 0 850453574 9592832 936 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2342 936 566 18 0 2324 0 vsize: 9368 [startup+340.004 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 962 0 0 0 33739 266 0 0 25 0 1 0 850453574 9580544 936 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2339 936 566 18 0 2321 0 vsize: 9356 [startup+350.004 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 968 0 0 0 34733 272 0 0 25 0 1 0 850453574 9576448 942 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2338 942 566 18 0 2320 0 vsize: 9352 [startup+360.004 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 995 0 0 0 35726 279 0 0 25 0 1 0 850453574 9707520 969 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2370 969 566 18 0 2352 0 vsize: 9480 [startup+370.004 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 996 0 0 0 36716 290 0 0 25 0 1 0 850453574 9707520 970 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2370 970 566 18 0 2352 0 vsize: 9480 [startup+380.005 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 999 0 0 0 37708 297 0 0 25 0 1 0 850453574 9707520 973 4294967295 134512640 134581267 3221224576 3221223536 134516745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2370 973 566 18 0 2352 0 vsize: 9480 [startup+390.005 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1008 0 0 0 38702 304 0 0 25 0 1 0 850453574 9707520 982 4294967295 134512640 134581267 3221224576 3221223536 134516745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2370 982 566 18 0 2352 0 vsize: 9480 [startup+400.005 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1008 0 0 0 39695 311 0 0 25 0 1 0 850453574 9707520 982 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2370 982 566 18 0 2352 0 vsize: 9480 [startup+410.005 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1008 0 0 0 40687 319 0 0 25 0 1 0 850453574 9707520 982 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2370 982 566 18 0 2352 0 vsize: 9480 [startup+420.006 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1008 0 0 0 41678 328 0 0 25 0 1 0 850453574 9707520 982 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2370 982 566 18 0 2352 0 vsize: 9480 [startup+430.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1010 0 0 0 42671 336 0 0 25 0 1 0 850453574 9707520 984 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2370 984 566 18 0 2352 0 vsize: 9480 [startup+440.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1013 0 0 0 43661 346 0 0 25 0 1 0 850453574 9814016 987 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2396 987 566 18 0 2378 0 vsize: 9584 [startup+450.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1013 0 0 0 44653 354 0 0 25 0 1 0 850453574 9805824 987 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2394 987 566 18 0 2376 0 vsize: 9576 [startup+460.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1013 0 0 0 45644 363 0 0 25 0 1 0 850453574 9801728 987 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2393 987 566 18 0 2375 0 vsize: 9572 [startup+470.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1025 0 0 0 46639 368 0 0 25 0 1 0 850453574 9801728 999 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2393 999 566 18 0 2375 0 vsize: 9572 [startup+480.006 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1025 0 0 0 47631 376 0 0 25 0 1 0 850453574 9801728 999 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2393 999 566 18 0 2375 0 vsize: 9572 [startup+490.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1025 0 0 0 48623 385 0 0 25 0 1 0 850453574 9801728 999 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2393 999 566 18 0 2375 0 vsize: 9572 [startup+500.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1025 0 0 0 49615 393 0 0 25 0 1 0 850453574 9801728 999 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2393 999 566 18 0 2375 0 vsize: 9572 [startup+510.006 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1025 0 0 0 50609 399 0 0 25 0 1 0 850453574 9801728 999 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2393 999 566 18 0 2375 0 vsize: 9572 [startup+520.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1059 0 0 0 51601 408 0 0 25 0 1 0 850453574 9932800 1033 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2425 1033 566 18 0 2407 0 vsize: 9700 [startup+530.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1060 0 0 0 52591 417 0 0 25 0 1 0 850453574 9932800 1034 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2425 1034 566 18 0 2407 0 vsize: 9700 [startup+540.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1068 0 0 0 53582 427 0 0 25 0 1 0 850453574 10063872 1042 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2457 1042 566 18 0 2439 0 vsize: 9828 [startup+550.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1068 0 0 0 54574 435 0 0 25 0 1 0 850453574 10039296 1042 4294967295 134512640 134581267 3221224576 3221223472 134517762 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2451 1042 566 18 0 2433 0 vsize: 9804 [startup+560.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1068 0 0 0 55564 445 0 0 25 0 1 0 850453574 10039296 1042 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2451 1042 566 18 0 2433 0 vsize: 9804 [startup+570.009 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1075 0 0 0 56555 454 0 0 25 0 1 0 850453574 10039296 1049 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2451 1049 566 18 0 2433 0 vsize: 9804 [startup+580.009 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1077 0 0 0 57547 463 0 0 25 0 1 0 850453574 10039296 1051 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2451 1051 566 18 0 2433 0 vsize: 9804 [startup+590.009 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1077 0 0 0 58538 472 0 0 25 0 1 0 850453574 10039296 1051 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2451 1051 566 18 0 2433 0 vsize: 9804 [startup+600.009 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1077 0 0 0 59530 480 0 0 25 0 1 0 850453574 10039296 1051 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2451 1051 566 18 0 2433 0 vsize: 9804 [startup+610.009 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1077 0 0 0 60522 488 0 0 25 0 1 0 850453574 10039296 1051 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2451 1051 566 18 0 2433 0 vsize: 9804 [startup+620.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1078 0 0 0 61513 497 0 0 25 0 1 0 850453574 10039296 1052 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2451 1052 566 18 0 2433 0 vsize: 9804 [startup+630.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1078 0 0 0 62504 506 0 0 25 0 1 0 850453574 10039296 1052 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2451 1052 566 18 0 2433 0 vsize: 9804 [startup+640.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1083 0 0 0 63496 514 0 0 25 0 1 0 850453574 10039296 1057 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2451 1057 566 18 0 2433 0 vsize: 9804 [startup+650.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1083 0 0 0 64487 524 0 0 25 0 1 0 850453574 10039296 1057 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2451 1057 566 18 0 2433 0 vsize: 9804 [startup+660.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1083 0 0 0 65480 531 0 0 25 0 1 0 850453574 10039296 1057 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2451 1057 566 18 0 2433 0 vsize: 9804 [startup+670.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1083 0 0 0 66472 540 0 0 25 0 1 0 850453574 10039296 1057 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2451 1057 566 18 0 2433 0 vsize: 9804 [startup+680.011 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1083 0 0 0 67463 548 0 0 25 0 1 0 850453574 10039296 1057 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2451 1057 566 18 0 2433 0 vsize: 9804 [startup+690.011 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1085 0 0 0 68454 558 0 0 25 0 1 0 850453574 10039296 1059 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2451 1059 566 18 0 2433 0 vsize: 9804 [startup+700.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1085 0 0 0 69442 570 0 0 25 0 1 0 850453574 10039296 1059 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2451 1059 566 18 0 2433 0 vsize: 9804 [startup+710.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1088 0 0 0 70433 579 0 0 25 0 1 0 850453574 10039296 1062 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2451 1062 566 18 0 2433 0 vsize: 9804 [startup+720.011 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1089 0 0 0 71424 588 0 0 25 0 1 0 850453574 10039296 1063 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2451 1063 566 18 0 2433 0 vsize: 9804 [startup+730.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1090 0 0 0 72416 596 0 0 25 0 1 0 850453574 10039296 1064 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2451 1064 566 18 0 2433 0 vsize: 9804 [startup+740.012 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1091 0 0 0 73406 606 0 0 25 0 1 0 850453574 10039296 1065 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2451 1065 566 18 0 2433 0 vsize: 9804 [startup+750.012 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1119 0 0 0 74397 616 0 0 25 0 1 0 850453574 10170368 1093 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2483 1093 566 18 0 2465 0 vsize: 9932 [startup+760.012 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1139 0 0 0 75388 625 0 0 25 0 1 0 850453574 10301440 1113 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2515 1113 566 18 0 2497 0 vsize: 10060 [startup+770.012 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1149 0 0 0 76380 633 0 0 25 0 1 0 850453574 10301440 1123 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2515 1123 566 18 0 2497 0 vsize: 10060 [startup+780.012 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1158 0 0 0 77373 641 0 0 25 0 1 0 850453574 10436608 1132 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2548 1132 566 18 0 2530 0 vsize: 10192 [startup+790.013 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1159 0 0 0 78365 649 0 0 25 0 1 0 850453574 10436608 1133 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2548 1133 566 18 0 2530 0 vsize: 10192 [startup+800.013 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1162 0 0 0 79357 657 0 0 25 0 1 0 850453574 10436608 1136 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2548 1136 566 18 0 2530 0 vsize: 10192 [startup+810.014 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1162 0 0 0 80351 663 0 0 25 0 1 0 850453574 10436608 1136 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2548 1136 566 18 0 2530 0 vsize: 10192 [startup+820.014 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1174 0 0 0 81344 670 0 0 25 0 1 0 850453574 10436608 1148 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2548 1148 566 18 0 2530 0 vsize: 10192 [startup+830.014 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1174 0 0 0 82337 678 0 0 25 0 1 0 850453574 10436608 1148 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2548 1148 566 18 0 2530 0 vsize: 10192 [startup+840.015 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1178 0 0 0 83329 685 0 0 25 0 1 0 850453574 10436608 1152 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2548 1152 566 18 0 2530 0 vsize: 10192 [startup+850.015 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1179 0 0 0 84323 691 0 0 25 0 1 0 850453574 10436608 1153 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2548 1153 566 18 0 2530 0 vsize: 10192 [startup+860.015 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1179 0 0 0 85317 698 0 0 25 0 1 0 850453574 10436608 1153 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2548 1153 566 18 0 2530 0 vsize: 10192 [startup+870.016 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1179 0 0 0 86310 705 0 0 25 0 1 0 850453574 10436608 1153 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2548 1153 566 18 0 2530 0 vsize: 10192 [startup+880.016 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1184 0 0 0 87304 712 0 0 25 0 1 0 850453574 10436608 1158 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2548 1158 566 18 0 2530 0 vsize: 10192 [startup+890.017 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1184 0 0 0 88295 721 0 0 25 0 1 0 850453574 10436608 1158 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2548 1158 566 18 0 2530 0 vsize: 10192 [startup+900.017 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1184 0 0 0 89289 727 0 0 25 0 1 0 850453574 10436608 1158 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2548 1158 566 18 0 2530 0 vsize: 10192 [startup+910.016 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1184 0 0 0 90281 735 0 0 25 0 1 0 850453574 10436608 1158 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2548 1158 566 18 0 2530 0 vsize: 10192 [startup+920.018 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1186 0 0 0 91275 742 0 0 25 0 1 0 850453574 10571776 1160 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2581 1160 566 18 0 2563 0 vsize: 10324 [startup+930.018 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1190 0 0 0 92268 749 0 0 25 0 1 0 850453574 10571776 1164 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2581 1164 566 18 0 2563 0 vsize: 10324 [startup+940.018 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1190 0 0 0 93262 755 0 0 25 0 1 0 850453574 10571776 1164 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2581 1164 566 18 0 2563 0 vsize: 10324 [startup+950.019 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1190 0 0 0 94256 761 0 0 25 0 1 0 850453574 10571776 1164 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2581 1164 566 18 0 2563 0 vsize: 10324 [startup+960.019 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1195 0 0 0 95251 766 0 0 25 0 1 0 850453574 10571776 1169 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2581 1169 566 18 0 2563 0 vsize: 10324 [startup+970.019 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1195 0 0 0 96244 774 0 0 25 0 1 0 850453574 10571776 1169 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2581 1169 566 18 0 2563 0 vsize: 10324 [startup+980.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1195 0 0 0 97237 780 0 0 25 0 1 0 850453574 10571776 1169 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2581 1169 566 18 0 2563 0 vsize: 10324 [startup+990.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1195 0 0 0 98229 789 0 0 25 0 1 0 850453574 10571776 1169 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2581 1169 566 18 0 2563 0 vsize: 10324 [startup+1000.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1197 0 0 0 99221 797 0 0 25 0 1 0 850453574 10571776 1171 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2581 1171 566 18 0 2563 0 vsize: 10324 [startup+1010.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1197 0 0 0 100215 803 0 0 25 0 1 0 850453574 10571776 1171 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2581 1171 566 18 0 2563 0 vsize: 10324 [startup+1020.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1197 0 0 0 101209 809 0 0 25 0 1 0 850453574 10571776 1171 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2581 1171 566 18 0 2563 0 vsize: 10324 [startup+1030.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1197 0 0 0 102205 814 0 0 25 0 1 0 850453574 10571776 1171 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2581 1171 566 18 0 2563 0 vsize: 10324 [startup+1040.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1197 0 0 0 103198 821 0 0 25 0 1 0 850453574 10571776 1171 4294967295 134512640 134581267 3221224576 3221223408 134531434 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2581 1171 566 18 0 2563 0 vsize: 10324 [startup+1050.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1197 0 0 0 104191 829 0 0 25 0 1 0 850453574 10571776 1171 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2581 1171 566 18 0 2563 0 vsize: 10324 [startup+1060.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1200 0 0 0 105183 836 0 0 25 0 1 0 850453574 10571776 1174 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2581 1174 566 18 0 2563 0 vsize: 10324 [startup+1070.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1201 0 0 0 106177 843 0 0 25 0 1 0 850453574 10571776 1175 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2581 1175 566 18 0 2563 0 vsize: 10324 [startup+1080.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1210 0 0 0 107170 849 0 0 25 0 1 0 850453574 10571776 1184 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2581 1184 566 18 0 2563 0 vsize: 10324 [startup+1090.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1210 0 0 0 108162 858 0 0 25 0 1 0 850453574 10571776 1184 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2581 1184 566 18 0 2563 0 vsize: 10324 [startup+1100.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1210 0 0 0 109155 865 0 0 25 0 1 0 850453574 10571776 1184 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2581 1184 566 18 0 2563 0 vsize: 10324 [startup+1110.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1210 0 0 0 110147 873 0 0 25 0 1 0 850453574 10571776 1184 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2581 1184 566 18 0 2563 0 vsize: 10324 [startup+1120.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1210 0 0 0 111141 880 0 0 25 0 1 0 850453574 10571776 1184 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2581 1184 566 18 0 2563 0 vsize: 10324 [startup+1130.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1238 0 0 0 112133 888 0 0 25 0 1 0 850453574 10702848 1212 4294967295 134512640 134581267 3221224576 3221223472 134517729 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2613 1212 566 18 0 2595 0 vsize: 10452 [startup+1140.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1260 0 0 0 113124 897 0 0 25 0 1 0 850453574 10838016 1234 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2646 1234 566 18 0 2628 0 vsize: 10584 [startup+1150.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1268 0 0 0 114118 903 0 0 25 0 1 0 850453574 10838016 1242 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2646 1242 566 18 0 2628 0 vsize: 10584 [startup+1160.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1283 0 0 0 115112 910 0 0 25 0 1 0 850453574 10973184 1257 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2679 1257 566 18 0 2661 0 vsize: 10716 [startup+1170.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1286 0 0 0 116105 916 0 0 25 0 1 0 850453574 10973184 1260 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2679 1260 566 18 0 2661 0 vsize: 10716 [startup+1180.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1289 0 0 0 117097 924 0 0 25 0 1 0 850453574 10973184 1263 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2679 1263 566 18 0 2661 0 vsize: 10716 [startup+1188.81 s] Raw data (loadavg): 0.99 0.98 0.93 1/53 23039 Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1289 0 0 0 117097 924 0 0 25 0 1 0 850453574 10973184 1263 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2679 1263 566 18 0 2661 0 vsize: 0 Child status: 10 Real time (s): 1188.81 CPU time (s): 1189.01 CPU user time (s): 1179.69 CPU system time (s): 9.31558 CPU usage (%): 100.017 Max. virtual memory (Kb): 10716 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 11 #### END VERIFIER DATA ####