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 wulflinc31 THE 2005-05-14 21:30:15 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3202 boxname=wulflinc31 idbench=356 idsolver=7 numberseed=0 MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911 /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 5d90b7cbb5bac2aa14257b9c5448f25d /oldhome/oroussel/tmp/wulflinc31/normalized-ss97-6.opb REAL COMMAND: Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-ss97-6.opb IDLAUNCH: 3202 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 822688 kB Buffers: 39768 kB Cached: 150672 kB SwapCached: 1932 kB Active: 155076 kB Inactive: 38612 kB HighTotal: 131008 kB HighFree: 1288 kB LowTotal: 903652 kB LowFree: 821400 kB SwapTotal: 2097892 kB SwapFree: 2095228 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5364 kB Slab: 12608 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-14 21:50:04 (client local time) WITH STATUS 10 IN 1189.02 SECONDS stats: 3202 0 1189.02 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/wulflinc31/normalized-ss97-6.opb c #variables read: 257 - #constraints read: 438 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 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.91 0.98 0.99 2/55 28609 Raw data (stat): 28609 (runsolver) R 28608 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 747061178 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0006 s] Raw data (loadavg): 0.93 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 363 0 0 0 987 9 0 0 25 0 1 0 747061178 7102464 340 4294967295 134512640 134581331 3221221808 3221220692 134557930 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1734 340 566 18 0 1716 0 vsize: 6936 [startup+20.0003 s] Raw data (loadavg): 0.94 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 373 0 0 0 1978 19 0 0 25 0 1 0 747061178 7229440 350 4294967295 134512640 134581331 3221221808 3221220720 134527423 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1765 350 566 18 0 1747 0 vsize: 7060 [startup+30.0016 s] Raw data (loadavg): 0.95 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 384 0 0 0 2970 27 0 0 25 0 1 0 747061178 7229440 361 4294967295 134512640 134581331 3221221808 3221220752 134559676 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1765 361 566 18 0 1747 0 vsize: 7060 [startup+40.0012 s] Raw data (loadavg): 0.95 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 391 0 0 0 3961 36 0 0 25 0 1 0 747061178 7229440 368 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1765 368 566 18 0 1747 0 vsize: 7060 [startup+50.0021 s] Raw data (loadavg): 0.96 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 400 0 0 0 4953 43 0 0 25 0 1 0 747061178 7229440 377 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1765 377 566 18 0 1747 0 vsize: 7060 [startup+60.0024 s] Raw data (loadavg): 0.97 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 407 0 0 0 5945 52 0 0 25 0 1 0 747061178 7360512 384 4294967295 134512640 134581331 3221221808 3221220628 1075289770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1797 384 566 18 0 1779 0 vsize: 7188 [startup+70.002 s] Raw data (loadavg): 0.97 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 416 0 0 0 6937 60 0 0 25 0 1 0 747061178 7360512 393 4294967295 134512640 134581331 3221221808 3221220800 134561084 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1797 393 566 18 0 1779 0 vsize: 7188 [startup+80.0029 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 422 0 0 0 7929 68 0 0 25 0 1 0 747061178 7360512 399 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1797 399 566 18 0 1779 0 vsize: 7188 [startup+90.0031 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 425 0 0 0 8920 78 0 0 25 0 1 0 747061178 7360512 402 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1797 402 566 18 0 1779 0 vsize: 7188 [startup+100.004 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 428 0 0 0 9912 85 0 0 25 0 1 0 747061178 7360512 405 4294967295 134512640 134581331 3221221808 3221220704 134517743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1797 405 566 18 0 1779 0 vsize: 7188 [startup+110.004 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 438 0 0 0 10903 95 0 0 25 0 1 0 747061178 7491584 415 4294967295 134512640 134581331 3221221808 3221220692 134557884 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1829 415 566 18 0 1811 0 vsize: 7316 [startup+120.004 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 439 0 0 0 11896 102 0 0 25 0 1 0 747061178 7491584 416 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1829 416 566 18 0 1811 0 vsize: 7316 [startup+130.005 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 441 0 0 0 12891 108 0 0 25 0 1 0 747061178 7491584 418 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1829 418 566 18 0 1811 0 vsize: 7316 [startup+140.005 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 441 0 0 0 13883 115 0 0 25 0 1 0 747061178 7491584 418 4294967295 134512640 134581331 3221221808 3221220752 134559272 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1829 418 566 18 0 1811 0 vsize: 7316 [startup+150.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 443 0 0 0 14876 122 0 0 25 0 1 0 747061178 7491584 420 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1829 420 566 18 0 1811 0 vsize: 7316 [startup+160.005 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 452 0 0 0 15866 132 0 0 25 0 1 0 747061178 7491584 429 4294967295 134512640 134581331 3221221808 3221220768 134516723 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1829 429 566 18 0 1811 0 vsize: 7316 [startup+170.005 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 453 0 0 0 16859 140 0 0 25 0 1 0 747061178 7491584 430 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1829 430 566 18 0 1811 0 vsize: 7316 [startup+180.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 456 0 0 0 17852 148 0 0 25 0 1 0 747061178 7491584 433 4294967295 134512640 134581331 3221221808 3221220692 134557928 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1829 433 566 18 0 1811 0 vsize: 7316 [startup+190.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 457 0 0 0 18843 156 0 0 25 0 1 0 747061178 7491584 434 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1829 434 566 18 0 1811 0 vsize: 7316 [startup+200.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 460 0 0 0 19835 164 0 0 25 0 1 0 747061178 7491584 437 4294967295 134512640 134581331 3221221808 3221220672 134528490 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1829 437 566 18 0 1811 0 vsize: 7316 [startup+210.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 462 0 0 0 20827 173 0 0 25 0 1 0 747061178 7491584 439 4294967295 134512640 134581331 3221221808 3221220780 134519895 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1829 439 566 18 0 1811 0 vsize: 7316 [startup+220.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 462 0 0 0 21818 182 0 0 25 0 1 0 747061178 7491584 439 4294967295 134512640 134581331 3221221808 3221220752 134560143 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1829 439 566 18 0 1811 0 vsize: 7316 [startup+230.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 462 0 0 0 22810 190 0 0 25 0 1 0 747061178 7491584 439 4294967295 134512640 134581331 3221221808 3221220640 134528569 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1829 439 566 18 0 1811 0 vsize: 7316 [startup+240.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 462 0 0 0 23802 198 0 0 25 0 1 0 747061178 7491584 439 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1829 439 566 18 0 1811 0 vsize: 7316 [startup+250.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 468 0 0 0 24794 206 0 0 25 0 1 0 747061178 7622656 445 4294967295 134512640 134581331 3221221808 3221220800 134561068 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1861 445 566 18 0 1843 0 vsize: 7444 [startup+260.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 468 0 0 0 25787 214 0 0 25 0 1 0 747061178 7602176 445 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1856 445 566 18 0 1838 0 vsize: 7424 [startup+270.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 468 0 0 0 26780 221 0 0 25 0 1 0 747061178 7598080 445 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1855 445 566 18 0 1837 0 vsize: 7420 [startup+280.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 468 0 0 0 27773 228 0 0 25 0 1 0 747061178 7598080 445 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1855 445 566 18 0 1837 0 vsize: 7420 [startup+290.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 468 0 0 0 28767 235 0 0 25 0 1 0 747061178 7598080 445 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1855 445 566 18 0 1837 0 vsize: 7420 [startup+300.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 479 0 0 0 29759 242 0 0 25 0 1 0 747061178 7598080 456 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1855 456 566 18 0 1837 0 vsize: 7420 [startup+310.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 484 0 0 0 30751 251 0 0 25 0 1 0 747061178 7598080 461 4294967295 134512640 134581331 3221221808 3221220736 134519829 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1855 461 566 18 0 1837 0 vsize: 7420 [startup+320.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 484 0 0 0 31744 258 0 0 25 0 1 0 747061178 7598080 461 4294967295 134512640 134581331 3221221808 3221220672 134528258 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1855 461 566 18 0 1837 0 vsize: 7420 [startup+330.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 484 0 0 0 32735 267 0 0 25 0 1 0 747061178 7598080 461 4294967295 134512640 134581331 3221221808 3221220736 134519883 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1855 461 566 18 0 1837 0 vsize: 7420 [startup+340.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 485 0 0 0 33728 274 0 0 25 0 1 0 747061178 7598080 462 4294967295 134512640 134581331 3221221808 3221220752 134558812 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1855 462 566 18 0 1837 0 vsize: 7420 [startup+350.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 485 0 0 0 34719 283 0 0 25 0 1 0 747061178 7598080 462 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1855 462 566 18 0 1837 0 vsize: 7420 [startup+360.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 486 0 0 0 35711 292 0 0 25 0 1 0 747061178 7598080 463 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1855 463 566 18 0 1837 0 vsize: 7420 [startup+370.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 486 0 0 0 36701 301 0 0 25 0 1 0 747061178 7598080 463 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1855 463 566 18 0 1837 0 vsize: 7420 [startup+380.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 486 0 0 0 37695 308 0 0 25 0 1 0 747061178 7598080 463 4294967295 134512640 134581331 3221221808 3221220672 134528381 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1855 463 566 18 0 1837 0 vsize: 7420 [startup+390.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 486 0 0 0 38689 314 0 0 25 0 1 0 747061178 7598080 463 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1855 463 566 18 0 1837 0 vsize: 7420 [startup+400.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 486 0 0 0 39682 321 0 0 25 0 1 0 747061178 7598080 463 4294967295 134512640 134581331 3221221808 3221220768 134527588 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1855 463 566 18 0 1837 0 vsize: 7420 [startup+410.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 486 0 0 0 40676 327 0 0 25 0 1 0 747061178 7598080 463 4294967295 134512640 134581331 3221221808 3221220720 134527802 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1855 463 566 18 0 1837 0 vsize: 7420 [startup+420.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 486 0 0 0 41668 335 0 0 25 0 1 0 747061178 7598080 463 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1855 463 566 18 0 1837 0 vsize: 7420 [startup+430.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 497 0 0 0 42663 341 0 0 25 0 1 0 747061178 7725056 474 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1886 474 566 18 0 1868 0 vsize: 7544 [startup+440.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 499 0 0 0 43655 349 0 0 25 0 1 0 747061178 7725056 476 4294967295 134512640 134581331 3221221808 3221220752 134558835 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1886 476 566 18 0 1868 0 vsize: 7544 [startup+450.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 499 0 0 0 44648 356 0 0 25 0 1 0 747061178 7725056 476 4294967295 134512640 134581331 3221221808 3221220720 134566369 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1886 476 566 18 0 1868 0 vsize: 7544 [startup+460.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 501 0 0 0 45639 365 0 0 25 0 1 0 747061178 7725056 478 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1886 478 566 18 0 1868 0 vsize: 7544 [startup+470.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 502 0 0 0 46631 373 0 0 25 0 1 0 747061178 7725056 479 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1886 479 566 18 0 1868 0 vsize: 7544 [startup+480.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 502 0 0 0 47624 380 0 0 25 0 1 0 747061178 7725056 479 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1886 479 566 18 0 1868 0 vsize: 7544 [startup+490.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 502 0 0 0 48618 386 0 0 25 0 1 0 747061178 7725056 479 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1886 479 566 18 0 1868 0 vsize: 7544 [startup+500.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 502 0 0 0 49610 394 0 0 25 0 1 0 747061178 7725056 479 4294967295 134512640 134581331 3221221808 3221220784 134561101 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1886 479 566 18 0 1868 0 vsize: 7544 [startup+510.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 502 0 0 0 50603 402 0 0 25 0 1 0 747061178 7725056 479 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1886 479 566 18 0 1868 0 vsize: 7544 [startup+520.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 502 0 0 0 51597 408 0 0 25 0 1 0 747061178 7725056 479 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1886 479 566 18 0 1868 0 vsize: 7544 [startup+530.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 502 0 0 0 52591 415 0 0 25 0 1 0 747061178 7725056 479 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1886 479 566 18 0 1868 0 vsize: 7544 [startup+540.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 502 0 0 0 53582 423 0 0 25 0 1 0 747061178 7725056 479 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1886 479 566 18 0 1868 0 vsize: 7544 [startup+550.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 503 0 0 0 54574 432 0 0 25 0 1 0 747061178 7725056 480 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1886 480 566 18 0 1868 0 vsize: 7544 [startup+560.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 505 0 0 0 55566 439 0 0 25 0 1 0 747061178 7725056 482 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1886 482 566 18 0 1868 0 vsize: 7544 [startup+570.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 509 0 0 0 56559 447 0 0 25 0 1 0 747061178 7725056 486 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1886 486 566 18 0 1868 0 vsize: 7544 [startup+580.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 509 0 0 0 57553 453 0 0 25 0 1 0 747061178 7725056 486 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1886 486 566 18 0 1868 0 vsize: 7544 [startup+590.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 509 0 0 0 58545 461 0 0 25 0 1 0 747061178 7725056 486 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1886 486 566 18 0 1868 0 vsize: 7544 [startup+600.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 509 0 0 0 59537 469 0 0 25 0 1 0 747061178 7725056 486 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1886 486 566 18 0 1868 0 vsize: 7544 [startup+610.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 509 0 0 0 60531 476 0 0 25 0 1 0 747061178 7725056 486 4294967295 134512640 134581331 3221221808 3221220692 134557767 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1886 486 566 18 0 1868 0 vsize: 7544 [startup+620.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 522 0 0 0 61523 484 0 0 25 0 1 0 747061178 7725056 499 4294967295 134512640 134581331 3221221808 3221220720 134527772 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1886 499 566 18 0 1868 0 vsize: 7544 [startup+630.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 522 0 0 0 62516 491 0 0 25 0 1 0 747061178 7725056 499 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1886 499 566 18 0 1868 0 vsize: 7544 [startup+640.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 522 0 0 0 63508 499 0 0 25 0 1 0 747061178 7725056 499 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1886 499 566 18 0 1868 0 vsize: 7544 [startup+650.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 523 0 0 0 64502 506 0 0 25 0 1 0 747061178 7725056 500 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1886 500 566 18 0 1868 0 vsize: 7544 [startup+660.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 525 0 0 0 65494 514 0 0 25 0 1 0 747061178 7864320 502 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 502 566 18 0 1902 0 vsize: 7680 [startup+670.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 526 0 0 0 66484 524 0 0 25 0 1 0 747061178 7864320 503 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 503 566 18 0 1902 0 vsize: 7680 [startup+680.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 526 0 0 0 67476 532 0 0 25 0 1 0 747061178 7864320 503 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 503 566 18 0 1902 0 vsize: 7680 [startup+690.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 527 0 0 0 68468 540 0 0 25 0 1 0 747061178 7864320 504 4294967295 134512640 134581331 3221221808 3221219984 134566838 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 504 566 18 0 1902 0 vsize: 7680 [startup+700.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 527 0 0 0 69459 549 0 0 25 0 1 0 747061178 7864320 504 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 504 566 18 0 1902 0 vsize: 7680 [startup+710.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 527 0 0 0 70453 555 0 0 25 0 1 0 747061178 7864320 504 4294967295 134512640 134581331 3221221808 3221220692 134557882 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 504 566 18 0 1902 0 vsize: 7680 [startup+720.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 529 0 0 0 71445 564 0 0 25 0 1 0 747061178 7864320 506 4294967295 134512640 134581331 3221221808 3221220768 134516751 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 506 566 18 0 1902 0 vsize: 7680 [startup+730.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 530 0 0 0 72437 572 0 0 25 0 1 0 747061178 7864320 507 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 507 566 18 0 1902 0 vsize: 7680 [startup+740.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 530 0 0 0 73429 580 0 0 25 0 1 0 747061178 7864320 507 4294967295 134512640 134581331 3221221808 3221220692 134557744 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 507 566 18 0 1902 0 vsize: 7680 [startup+750.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 532 0 0 0 74422 587 0 0 25 0 1 0 747061178 7864320 509 4294967295 134512640 134581331 3221221808 3221220600 1075285673 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 509 566 18 0 1902 0 vsize: 7680 [startup+760.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 532 0 0 0 75413 596 0 0 25 0 1 0 747061178 7864320 509 4294967295 134512640 134581331 3221221808 3221220720 134527451 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 509 566 18 0 1902 0 vsize: 7680 [startup+770.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 532 0 0 0 76404 605 0 0 25 0 1 0 747061178 7864320 509 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 509 566 18 0 1902 0 vsize: 7680 [startup+780.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 532 0 0 0 77395 615 0 0 25 0 1 0 747061178 7864320 509 4294967295 134512640 134581331 3221221808 3221220672 134528532 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 509 566 18 0 1902 0 vsize: 7680 [startup+790.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 533 0 0 0 78387 623 0 0 25 0 1 0 747061178 7864320 510 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 510 566 18 0 1902 0 vsize: 7680 [startup+800.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 533 0 0 0 79379 631 0 0 25 0 1 0 747061178 7864320 510 4294967295 134512640 134581331 3221221808 3221220672 134560462 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 510 566 18 0 1902 0 vsize: 7680 [startup+810.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 533 0 0 0 80373 638 0 0 25 0 1 0 747061178 7864320 510 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 510 566 18 0 1902 0 vsize: 7680 [startup+820.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 534 0 0 0 81365 646 0 0 25 0 1 0 747061178 7864320 511 4294967295 134512640 134581331 3221221808 3221220768 134516751 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 511 566 18 0 1902 0 vsize: 7680 [startup+830.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 534 0 0 0 82358 652 0 0 25 0 1 0 747061178 7864320 511 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 511 566 18 0 1902 0 vsize: 7680 [startup+840.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 535 0 0 0 83352 659 0 0 25 0 1 0 747061178 7864320 512 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 512 566 18 0 1902 0 vsize: 7680 [startup+850.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 535 0 0 0 84344 667 0 0 25 0 1 0 747061178 7864320 512 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 512 566 18 0 1902 0 vsize: 7680 [startup+860.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 535 0 0 0 85338 673 0 0 25 0 1 0 747061178 7864320 512 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 512 566 18 0 1902 0 vsize: 7680 [startup+870.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 535 0 0 0 86332 680 0 0 25 0 1 0 747061178 7864320 512 4294967295 134512640 134581331 3221221808 3221220628 134531503 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 512 566 18 0 1902 0 vsize: 7680 [startup+880.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 535 0 0 0 87324 687 0 0 25 0 1 0 747061178 7864320 512 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 512 566 18 0 1902 0 vsize: 7680 [startup+890.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 535 0 0 0 88317 694 0 0 25 0 1 0 747061178 7864320 512 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 512 566 18 0 1902 0 vsize: 7680 [startup+900.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 535 0 0 0 89310 701 0 0 25 0 1 0 747061178 7864320 512 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 512 566 18 0 1902 0 vsize: 7680 [startup+910.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 551 0 0 0 90301 711 0 0 25 0 1 0 747061178 7864320 528 4294967295 134512640 134581331 3221221808 3221220768 134516745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 528 566 18 0 1902 0 vsize: 7680 [startup+920.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 551 0 0 0 91293 719 0 0 25 0 1 0 747061178 7864320 528 4294967295 134512640 134581331 3221221808 3221220704 134517905 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 528 566 18 0 1902 0 vsize: 7680 [startup+930.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 92288 725 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 531 566 18 0 1902 0 vsize: 7680 [startup+940.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 93282 731 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 531 566 18 0 1902 0 vsize: 7680 [startup+950.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 94274 739 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 531 566 18 0 1902 0 vsize: 7680 [startup+960.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 95267 746 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220752 134559676 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 531 566 18 0 1902 0 vsize: 7680 [startup+970.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 96259 754 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 531 566 18 0 1902 0 vsize: 7680 [startup+980.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 97252 761 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220720 134527645 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 531 566 18 0 1902 0 vsize: 7680 [startup+990.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 98246 768 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220752 134559272 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 531 566 18 0 1902 0 vsize: 7680 [startup+1000.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 99237 777 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 531 566 18 0 1902 0 vsize: 7680 [startup+1010.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 100231 783 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220768 134516745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 531 566 18 0 1902 0 vsize: 7680 [startup+1020.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 101222 792 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 531 566 18 0 1902 0 vsize: 7680 [startup+1030.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 102216 798 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220768 134516745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 531 566 18 0 1902 0 vsize: 7680 [startup+1040.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 103209 805 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 531 566 18 0 1902 0 vsize: 7680 [startup+1050.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 104200 814 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 531 566 18 0 1902 0 vsize: 7680 [startup+1060.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 105194 821 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220672 134560459 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 531 566 18 0 1902 0 vsize: 7680 [startup+1070.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 106186 829 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 531 566 18 0 1902 0 vsize: 7680 [startup+1080.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 107178 837 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220736 134519853 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 531 566 18 0 1902 0 vsize: 7680 [startup+1090.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 555 0 0 0 108170 845 0 0 25 0 1 0 747061178 7864320 532 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 532 566 18 0 1902 0 vsize: 7680 [startup+1100.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 555 0 0 0 109163 853 0 0 25 0 1 0 747061178 7864320 532 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 532 566 18 0 1902 0 vsize: 7680 [startup+1110.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 555 0 0 0 110156 860 0 0 25 0 1 0 747061178 7864320 532 4294967295 134512640 134581331 3221221808 3221220736 134519863 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 532 566 18 0 1902 0 vsize: 7680 [startup+1120.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 556 0 0 0 111148 867 0 0 25 0 1 0 747061178 7864320 533 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 533 566 18 0 1902 0 vsize: 7680 [startup+1130.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 556 0 0 0 112138 877 0 0 25 0 1 0 747061178 7864320 533 4294967295 134512640 134581331 3221221808 3221220768 134516745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 533 566 18 0 1902 0 vsize: 7680 [startup+1140.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 556 0 0 0 113131 884 0 0 25 0 1 0 747061178 7864320 533 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 533 566 18 0 1902 0 vsize: 7680 [startup+1150.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 556 0 0 0 114124 892 0 0 25 0 1 0 747061178 7864320 533 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 533 566 18 0 1902 0 vsize: 7680 [startup+1160.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 556 0 0 0 115111 904 0 0 25 0 1 0 747061178 7864320 533 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 533 566 18 0 1902 0 vsize: 7680 [startup+1170.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 556 0 0 0 116103 913 0 0 25 0 1 0 747061178 7864320 533 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 533 566 18 0 1902 0 vsize: 7680 [startup+1180.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 570 0 0 0 117093 923 0 0 25 0 1 0 747061178 7995392 547 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1952 547 566 18 0 1934 0 vsize: 7808 [startup+1188.87 s] Raw data (loadavg): 0.99 0.98 0.99 1/54 28609 Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 570 0 0 0 117093 923 0 0 25 0 1 0 747061178 7995392 547 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1952 547 566 18 0 1934 0 vsize: 0 Child status: 10 Real time (s): 1188.87 CPU time (s): 1189.02 CPU user time (s): 1179.71 CPU system time (s): 9.30558 CPU usage (%): 100.012 Max. virtual memory (Kb): 7808 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 1635 #### END VERIFIER DATA ####