Name | normalized-opb/submitted/manquinho/ttp/normalized-data6_3.opb |
MD5SUM | 3ce91e964f348d481da3f7741c5768eb |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25102 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 180 |
Biggest coefficient in the objective function | 1380 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 116904 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 1380 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 116904 |
Number of bits of the biggest sum of numbers | 17 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.03084 |
Number of variables | 540 |
Total number of constraints | 4476 |
Number of constraints which are clauses | 2532 |
Number of constraints which are cardinality constraints (but not clauses) | 264 |
Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 20 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-10 14:02:49 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2356 boxname=wulflinc31 idbench=262 idsolver=7 numberseed=0 MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911 /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 3ce91e964f348d481da3f7741c5768eb /oldhome/oroussel/tmp/wulflinc31/normalized-data6_3.opb REAL COMMAND: Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-data6_3.opb IDLAUNCH: 2356 /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: 291712 kB Buffers: 46796 kB Cached: 662208 kB SwapCached: 644 kB Active: 311776 kB Inactive: 399552 kB HighTotal: 131008 kB HighFree: 28336 kB LowTotal: 903652 kB LowFree: 263376 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5608 kB Slab: 25912 kB Committed_AS: 63640 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-10 14:22:38 (client local time) WITH STATUS 10 IN 1189.02 SECONDS stats: 2356 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-data6_3.opb c #variables read: 540 - #constraints read: 4627 s SATISFIABLE v -v361 v362 v363 -v364 -v365 -v366 -v367 -v368 -v369 v370 -v371 v372 -v373 -v374 -v375 -v376 -v377 -v378 v379 -v380 v381 -v382 -v383 -v384 -v385 v386 -v387 -v388 -v389 -v390 v391 -v392 -v393 -v394 -v395 -v396 v397 v398 -v399 v400 -v401 v402 -v403 -v404 -v405 -v406 v407 -v408 -v409 -v410 v411 -v412 -v413 -v414 -v415 -v416 -v417 -v418 -v419 v420 -v421 -v422 -v423 -v424 v425 -v426 v427 -v428 -v429 -v430 v431 -v432 v433 v434 -v435 -v436 v437 -v438 -v439 -v440 -v441 -v442 v443 -v444 -v445 -v446 -v447 v448 -v449 -v450 -v451 -v452 v453 -v454 -v455 -v456 -v457 -v458 -v459 v460 -v461 v462 -v463 -v464 -v465 -v466 -v467 v468 v469 -v470 v471 -v472 -v473 -v474 -v475 -v476 -v477 -v478 v479 -v480 v481 -v482 -v483 -v484 -v485 -v486 -v487 -v488 v489 -v490 -v491 -v492 v493 -v494 -v495 -v496 -v497 -v498 -v499 v500 v501 -v502 v503 -v504 -v505 -v506 -v507 -v508 -v509 v510 -v511 -v512 -v513 v514 -v515 -v516 -v517 -v518 -v519 v520 -v521 -v522 -v523 -v524 v525 -v526 v527 -v528 -v529 -v530 -v531 -v532 v533 -v534 -v535 v536 -v537 -v538 v539 -v540 -v2 -v38 -v74 -v110 v146 -v182 -v218 -v254 -v290 -v326 -v3 -v39 -v75 v111 -v147 -v183 -v219 -v255 -v291 -v327 -v4 -v40 -v76 -v112 -v148 -v184 -v220 -v256 v292 -v328 -v5 -v41 -v77 -v113 -v149 -v185 -v221 -v257 -v293 v329 -v6 -v42 -v78 -v114 -v150 v186 -v222 -v258 -v294 -v330 -v7 -v43 v79 -v115 -v151 -v187 -v223 -v259 -v295 -v331 -v9 -v45 -v81 -v117 -v153 -v189 v225 -v261 -v297 -v333 -v10 -v46 -v82 -v118 -v154 -v190 -v226 -v262 -v298 v334 -v11 v47 -v83 -v119 -v155 -v191 -v227 -v263 -v299 -v335 v12 -v48 -v84 -v120 -v156 -v192 -v228 -v264 -v300 -v336 v13 -v49 -v85 -v121 -v157 -v193 -v229 -v265 -v301 -v337 -v14 -v50 -v86 -v122 -v158 -v194 -v230 -v266 v302 -v338 -v16 -v52 -v88 -v124 -v160 -v196 -v232 v268 -v304 -v340 -v17 -v53 -v89 -v125 -v161 v197 -v233 -v269 -v305 -v341 -v18 v54 -v90 -v126 -v162 -v198 -v234 -v270 -v306 -v342 -v19 v55 -v91 -v127 -v163 -v199 -v235 -v271 -v307 -v343 -v20 -v56 -v92 -v128 -v164 v200 -v236 -v272 -v308 -v344 -v21 -v57 -v93 -v129 v165 -v201 -v237 -v273 -v309 -v345 v23 -v59 -v95 -v131 -v167 -v203 -v239 -v275 -v311 -v347 -v24 -v60 -v96 -v132 -v168 -v204 v240 -v276 -v312 -v348 -v25 -v61 -v97 -v133 -v169 -v205 v241 -v277 -v313 -v349 -v26 -v62 -v98 -v134 -v170 -v206 -v242 v278 -v314 -v350 -v27 -v63 v99 -v135 -v171 -v207 -v243 -v279 -v315 -v351 -v28 -v64 -v100 v136 -v172 -v208 -v244 -v280 -v316 -v352 -v30 -v66 -v102 -v138 v174 -v210 -v246 -v282 -v318 -v354 -v31 -v67 -v103 -v139 -v175 -v211 -v247 v283 -v319 -v355 -v32 -v68 -v104 v140 -v176 -v212 -v248 -v284 -v320 -v356 -v33 -v69 -v105 -v141 -v177 -v213 -v249 -v285 -v321 v357 -v34 -v70 v106 -v142 -v178 -v214 -v250 -v286 -v322 -v358 -v35 -v71 -v107 -v143 -v179 -v215 -v251 -v287 v323 -v359 -v8 -v44 -v80 v116 v152 v188 -v224 v260 v296 -v332 -v15 -v51 v87 v123 v159 -v195 v231 -v267 -v303 v339 -v22 -v58 v94 v130 -v166 -v202 -v238 v274 v310 v346 v29 v65 -v101 -v137 -v173 v209 -v245 -v281 v317 v353 v36 v72 -v108 -v144 v180 v216 v252 -v288 -v324 -v360 v1 v37 v73 -v109 -v145 -v181 v217 v253 -v289 -v325 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.92 0.95 0.93 2/54 11052 Raw data (stat): 11052 (runsolver) R 11051 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 709812276 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0002 s] Raw data (loadavg): 0.93 0.96 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 888 0 0 0 990 7 0 0 25 0 1 0 709812276 9256960 865 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2260 865 566 18 0 2242 0 vsize: 9040 [startup+20.0011 s] Raw data (loadavg): 0.94 0.96 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 946 0 0 0 1986 10 0 0 25 0 1 0 709812276 9523200 923 4294967295 134512640 134581331 3221221792 3221219824 134532140 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2325 923 566 18 0 2307 0 vsize: 9300 [startup+30.002 s] Raw data (loadavg): 0.95 0.96 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1034 0 0 0 2984 13 0 0 25 0 1 0 709812276 9928704 1011 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2424 1011 566 18 0 2406 0 vsize: 9696 [startup+40.002 s] Raw data (loadavg): 0.96 0.96 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1119 0 0 0 3981 16 0 0 25 0 1 0 709812276 10326016 1096 4294967295 134512640 134581331 3221221792 3221220704 134527481 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2521 1096 566 18 0 2503 0 vsize: 10084 [startup+50.0029 s] Raw data (loadavg): 0.96 0.96 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1157 0 0 0 4978 19 0 0 25 0 1 0 709812276 10461184 1134 4294967295 134512640 134581331 3221221792 3221220760 134527282 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2554 1134 566 18 0 2536 0 vsize: 10216 [startup+60.0028 s] Raw data (loadavg): 0.97 0.96 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1157 0 0 0 5977 21 0 0 25 0 1 0 709812276 10461184 1134 4294967295 134512640 134581331 3221221792 3221220676 134557957 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2554 1134 566 18 0 2536 0 vsize: 10216 [startup+70.0037 s] Raw data (loadavg): 0.97 0.96 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1178 0 0 0 6975 22 0 0 25 0 1 0 709812276 10452992 1155 4294967295 134512640 134581331 3221221792 3221220720 134519955 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2552 1155 566 18 0 2534 0 vsize: 10208 [startup+80.0047 s] Raw data (loadavg): 0.98 0.96 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1294 0 0 0 7974 24 0 0 25 0 1 0 709812276 10989568 1271 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2683 1271 566 18 0 2665 0 vsize: 10732 [startup+90.0046 s] Raw data (loadavg): 0.98 0.96 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1294 0 0 0 8972 25 0 0 25 0 1 0 709812276 10989568 1271 4294967295 134512640 134581331 3221221792 3221220656 134528272 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2683 1271 566 18 0 2665 0 vsize: 10732 [startup+100.006 s] Raw data (loadavg): 0.98 0.96 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1334 0 0 0 9971 27 0 0 25 0 1 0 709812276 11124736 1311 4294967295 134512640 134581331 3221221792 3221220736 134559680 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2716 1311 566 18 0 2698 0 vsize: 10864 [startup+110.007 s] Raw data (loadavg): 0.98 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1377 0 0 0 10969 29 0 0 25 0 1 0 709812276 11259904 1354 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2749 1354 566 18 0 2731 0 vsize: 10996 [startup+120.007 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1394 0 0 0 11967 31 0 0 25 0 1 0 709812276 11395072 1371 4294967295 134512640 134581331 3221221792 3221220704 134519027 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2782 1371 566 18 0 2764 0 vsize: 11128 [startup+130.007 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1491 0 0 0 12965 34 0 0 25 0 1 0 709812276 11800576 1468 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2881 1468 566 18 0 2863 0 vsize: 11524 [startup+140.007 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1491 0 0 0 13963 36 0 0 25 0 1 0 709812276 11800576 1468 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2881 1468 566 18 0 2863 0 vsize: 11524 [startup+150.008 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1491 0 0 0 14961 38 0 0 25 0 1 0 709812276 11800576 1468 4294967295 134512640 134581331 3221221792 3221220480 1075288243 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2881 1468 566 18 0 2863 0 vsize: 11524 [startup+160.008 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1491 0 0 0 15959 40 0 0 25 0 1 0 709812276 11800576 1468 4294967295 134512640 134581331 3221221792 3221220576 134528924 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2881 1468 566 18 0 2863 0 vsize: 11524 [startup+170.009 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1512 0 0 0 16957 42 0 0 25 0 1 0 709812276 11800576 1489 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2881 1489 566 18 0 2863 0 vsize: 11524 [startup+180.01 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1512 0 0 0 17956 43 0 0 25 0 1 0 709812276 11800576 1489 4294967295 134512640 134581331 3221221792 3221220676 134557928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2881 1489 566 18 0 2863 0 vsize: 11524 [startup+190.01 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1512 0 0 0 18953 46 0 0 25 0 1 0 709812276 11800576 1489 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2881 1489 566 18 0 2863 0 vsize: 11524 [startup+200.011 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1540 0 0 0 19952 48 0 0 25 0 1 0 709812276 11931648 1517 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2913 1517 566 18 0 2895 0 vsize: 11652 [startup+210.012 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1540 0 0 0 20950 50 0 0 25 0 1 0 709812276 11931648 1517 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2913 1517 566 18 0 2895 0 vsize: 11652 [startup+220.013 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1542 0 0 0 21948 53 0 0 25 0 1 0 709812276 11931648 1519 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2913 1519 566 18 0 2895 0 vsize: 11652 [startup+230.013 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1562 0 0 0 22946 54 0 0 25 0 1 0 709812276 12066816 1539 4294967295 134512640 134581331 3221221792 3221220676 134557901 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2946 1539 566 18 0 2928 0 vsize: 11784 [startup+240.013 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1562 0 0 0 23945 56 0 0 25 0 1 0 709812276 12066816 1539 4294967295 134512640 134581331 3221221792 3221220672 134558349 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2946 1539 566 18 0 2928 0 vsize: 11784 [startup+250.014 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1562 0 0 0 24943 57 0 0 25 0 1 0 709812276 12066816 1539 4294967295 134512640 134581331 3221221792 3221220720 134520078 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2946 1539 566 18 0 2928 0 vsize: 11784 [startup+260.014 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1562 0 0 0 25942 59 0 0 25 0 1 0 709812276 12066816 1539 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2946 1539 566 18 0 2928 0 vsize: 11784 [startup+270.014 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1562 0 0 0 26940 61 0 0 25 0 1 0 709812276 12066816 1539 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2946 1539 566 18 0 2928 0 vsize: 11784 [startup+280.015 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1582 0 0 0 27938 63 0 0 25 0 1 0 709812276 12201984 1559 4294967295 134512640 134581331 3221221792 3221220768 134560721 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2979 1559 566 18 0 2961 0 vsize: 11916 [startup+290.015 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1650 0 0 0 28936 65 0 0 25 0 1 0 709812276 12472320 1627 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3045 1627 566 18 0 3027 0 vsize: 12180 [startup+300.016 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1736 0 0 0 29934 67 0 0 25 0 1 0 709812276 12738560 1713 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3110 1713 566 18 0 3092 0 vsize: 12440 [startup+310.016 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1782 0 0 0 30932 69 0 0 25 0 1 0 709812276 13004800 1759 4294967295 134512640 134581331 3221221792 3221220760 134527292 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3175 1759 566 18 0 3157 0 vsize: 12700 [startup+320.017 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1813 0 0 0 31931 71 0 0 25 0 1 0 709812276 13135872 1790 4294967295 134512640 134581331 3221221792 3221220720 134519915 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3207 1790 566 18 0 3189 0 vsize: 12828 [startup+330.017 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1813 0 0 0 32929 73 0 0 25 0 1 0 709812276 13135872 1790 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3207 1790 566 18 0 3189 0 vsize: 12828 [startup+340.017 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1833 0 0 0 33927 75 0 0 25 0 1 0 709812276 13135872 1810 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3207 1810 566 18 0 3189 0 vsize: 12828 [startup+350.018 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1846 0 0 0 34926 76 0 0 25 0 1 0 709812276 13271040 1823 4294967295 134512640 134581331 3221221792 3221220736 134558928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3240 1823 566 18 0 3222 0 vsize: 12960 [startup+360.018 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1846 0 0 0 35924 78 0 0 25 0 1 0 709812276 13271040 1823 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3240 1823 566 18 0 3222 0 vsize: 12960 [startup+370.019 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1846 0 0 0 36922 80 0 0 25 0 1 0 709812276 13271040 1823 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3240 1823 566 18 0 3222 0 vsize: 12960 [startup+380.019 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1846 0 0 0 37921 82 0 0 25 0 1 0 709812276 13271040 1823 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3240 1823 566 18 0 3222 0 vsize: 12960 [startup+390.019 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1896 0 0 0 38919 84 0 0 25 0 1 0 709812276 13406208 1873 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3273 1873 566 18 0 3255 0 vsize: 13092 [startup+400.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1896 0 0 0 39918 86 0 0 25 0 1 0 709812276 13406208 1873 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3273 1873 566 18 0 3255 0 vsize: 13092 [startup+410.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1896 0 0 0 40916 87 0 0 25 0 1 0 709812276 13406208 1873 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3273 1873 566 18 0 3255 0 vsize: 13092 [startup+420.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1896 0 0 0 41915 89 0 0 25 0 1 0 709812276 13406208 1873 4294967295 134512640 134581331 3221221792 3221220272 134532249 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3273 1873 566 18 0 3255 0 vsize: 13092 [startup+430.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1926 0 0 0 42914 89 0 0 25 0 1 0 709812276 13541376 1903 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3306 1903 566 18 0 3288 0 vsize: 13224 [startup+440.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1926 0 0 0 43913 91 0 0 25 0 1 0 709812276 13541376 1903 4294967295 134512640 134581331 3221221792 3221220656 134528428 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3306 1903 566 18 0 3288 0 vsize: 13224 [startup+450.022 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1926 0 0 0 44911 93 0 0 25 0 1 0 709812276 13541376 1903 4294967295 134512640 134581331 3221221792 3221220656 134526974 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3306 1903 566 18 0 3288 0 vsize: 13224 [startup+460.022 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1926 0 0 0 45910 94 0 0 25 0 1 0 709812276 13541376 1903 4294967295 134512640 134581331 3221221792 3221220704 134527548 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3306 1903 566 18 0 3288 0 vsize: 13224 [startup+470.023 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1926 0 0 0 46908 96 0 0 25 0 1 0 709812276 13541376 1903 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3306 1903 566 18 0 3288 0 vsize: 13224 [startup+480.023 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 47907 98 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220512 134522624 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3306 1904 566 18 0 3288 0 vsize: 13224 [startup+490.023 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 48905 100 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3306 1904 566 18 0 3288 0 vsize: 13224 [startup+500.024 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 49903 101 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3306 1904 566 18 0 3288 0 vsize: 13224 [startup+510.024 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 50902 103 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220704 134519027 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3306 1904 566 18 0 3288 0 vsize: 13224 [startup+520.026 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 51900 105 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220512 134523183 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3306 1904 566 18 0 3288 0 vsize: 13224 [startup+530.026 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 52899 106 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220708 1075285556 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3306 1904 566 18 0 3288 0 vsize: 13224 [startup+540.026 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 53898 108 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220672 134520271 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3306 1904 566 18 0 3288 0 vsize: 13224 [startup+550.027 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 54896 110 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220736 134554722 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3306 1904 566 18 0 3288 0 vsize: 13224 [startup+560.028 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 55894 112 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220720 134519869 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3306 1904 566 18 0 3288 0 vsize: 13224 [startup+570.029 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 56893 113 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3306 1904 566 18 0 3288 0 vsize: 13224 [startup+580.029 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 57891 115 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3306 1904 566 18 0 3288 0 vsize: 13224 [startup+590.029 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 58889 117 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3306 1904 566 18 0 3288 0 vsize: 13224 [startup+600.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 59887 119 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220672 134520302 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3306 1904 566 18 0 3288 0 vsize: 13224 [startup+610.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 60886 121 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220428 1075288811 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3306 1904 566 18 0 3288 0 vsize: 13224 [startup+620.031 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 61884 123 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220512 134523118 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3306 1904 566 18 0 3288 0 vsize: 13224 [startup+630.032 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 62882 125 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3306 1904 566 18 0 3288 0 vsize: 13224 [startup+640.031 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 63880 127 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220704 134531400 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3306 1904 566 18 0 3288 0 vsize: 13224 [startup+650.032 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 64879 128 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3306 1904 566 18 0 3288 0 vsize: 13224 [startup+660.033 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 65877 130 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3306 1904 566 18 0 3288 0 vsize: 13224 [startup+670.034 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 66876 132 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3306 1904 566 18 0 3288 0 vsize: 13224 [startup+680.034 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 67874 133 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3306 1904 566 18 0 3288 0 vsize: 13224 [startup+690.034 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1928 0 0 0 68873 135 0 0 25 0 1 0 709812276 13541376 1905 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3306 1905 566 18 0 3288 0 vsize: 13224 [startup+700.035 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1936 0 0 0 69870 137 0 0 25 0 1 0 709812276 13541376 1913 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3306 1913 566 18 0 3288 0 vsize: 13224 [startup+710.035 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1946 0 0 0 70869 139 0 0 25 0 1 0 709812276 13672448 1923 4294967295 134512640 134581331 3221221792 3221220720 134519883 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3338 1923 566 18 0 3320 0 vsize: 13352 [startup+720.035 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1946 0 0 0 71867 141 0 0 25 0 1 0 709812276 13672448 1923 4294967295 134512640 134581331 3221221792 3221220512 134522674 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3338 1923 566 18 0 3320 0 vsize: 13352 [startup+730.036 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1951 0 0 0 72865 143 0 0 25 0 1 0 709812276 13672448 1928 4294967295 134512640 134581331 3221221792 3221220676 134557887 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3338 1928 566 18 0 3320 0 vsize: 13352 [startup+740.036 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1951 0 0 0 73863 145 0 0 25 0 1 0 709812276 13672448 1928 4294967295 134512640 134581331 3221221792 3221220736 134516863 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3338 1928 566 18 0 3320 0 vsize: 13352 [startup+750.038 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1951 0 0 0 74862 147 0 0 25 0 1 0 709812276 13672448 1928 4294967295 134512640 134581331 3221221792 3221220672 134558155 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3338 1928 566 18 0 3320 0 vsize: 13352 [startup+760.038 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1951 0 0 0 75860 149 0 0 25 0 1 0 709812276 13672448 1928 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3338 1928 566 18 0 3320 0 vsize: 13352 [startup+770.039 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1964 0 0 0 76857 152 0 0 25 0 1 0 709812276 13803520 1941 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3370 1941 566 18 0 3352 0 vsize: 13480 [startup+780.039 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1964 0 0 0 77855 154 0 0 25 0 1 0 709812276 13803520 1941 4294967295 134512640 134581331 3221221792 3221220720 134519996 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3370 1941 566 18 0 3352 0 vsize: 13480 [startup+790.039 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2011 0 0 0 78854 156 0 0 25 0 1 0 709812276 13934592 1988 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3402 1988 566 18 0 3384 0 vsize: 13608 [startup+800.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2047 0 0 0 79852 158 0 0 25 0 1 0 709812276 14069760 2024 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3435 2024 566 18 0 3417 0 vsize: 13740 [startup+810.041 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2097 0 0 0 80849 160 0 0 25 0 1 0 709812276 14340096 2074 4294967295 134512640 134581331 3221221792 3221220720 134520049 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3501 2074 566 18 0 3483 0 vsize: 14004 [startup+820.041 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2097 0 0 0 81847 162 0 0 25 0 1 0 709812276 14340096 2074 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3501 2074 566 18 0 3483 0 vsize: 14004 [startup+830.042 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2097 0 0 0 82846 164 0 0 25 0 1 0 709812276 14340096 2074 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3501 2074 566 18 0 3483 0 vsize: 14004 [startup+840.042 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2097 0 0 0 83843 167 0 0 25 0 1 0 709812276 14340096 2074 4294967295 134512640 134581331 3221221792 3221220720 134520021 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3501 2074 566 18 0 3483 0 vsize: 14004 [startup+850.043 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2097 0 0 0 84842 169 0 0 25 0 1 0 709812276 14340096 2074 4294967295 134512640 134581331 3221221792 3221220408 1075289104 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3501 2074 566 18 0 3483 0 vsize: 14004 [startup+860.044 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 85840 170 0 0 25 0 1 0 709812276 14737408 2167 4294967295 134512640 134581331 3221221792 3221220672 134520266 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3598 2167 566 18 0 3580 0 vsize: 14392 [startup+870.045 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 86839 172 0 0 25 0 1 0 709812276 14737408 2167 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3598 2167 566 18 0 3580 0 vsize: 14392 [startup+880.045 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 87837 174 0 0 25 0 1 0 709812276 14737408 2167 4294967295 134512640 134581331 3221221792 3221220736 134559459 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3598 2167 566 18 0 3580 0 vsize: 14392 [startup+890.045 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 88835 176 0 0 25 0 1 0 709812276 14737408 2167 4294967295 134512640 134581331 3221221792 3221220736 134559263 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3598 2167 566 18 0 3580 0 vsize: 14392 [startup+900.047 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 89833 178 0 0 25 0 1 0 709812276 14721024 2167 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3594 2167 566 18 0 3576 0 vsize: 14376 [startup+910.047 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 90831 180 0 0 25 0 1 0 709812276 14721024 2167 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3594 2167 566 18 0 3576 0 vsize: 14376 [startup+920.047 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 91830 182 0 0 25 0 1 0 709812276 14721024 2167 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3594 2167 566 18 0 3576 0 vsize: 14376 [startup+930.049 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 92828 184 0 0 25 0 1 0 709812276 14721024 2167 4294967295 134512640 134581331 3221221792 3221220760 134527282 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3594 2167 566 18 0 3576 0 vsize: 14376 [startup+940.049 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 93826 186 0 0 25 0 1 0 709812276 14721024 2167 4294967295 134512640 134581331 3221221792 3221220656 134560474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3594 2167 566 18 0 3576 0 vsize: 14376 [startup+950.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 94823 189 0 0 25 0 1 0 709812276 14716928 2167 4294967295 134512640 134581331 3221221792 3221220752 134519892 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3593 2167 566 18 0 3575 0 vsize: 14372 [startup+960.051 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 95823 190 0 0 25 0 1 0 709812276 14716928 2167 4294967295 134512640 134581331 3221221792 3221220760 134527282 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3593 2167 566 18 0 3575 0 vsize: 14372 [startup+970.051 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 96820 192 0 0 25 0 1 0 709812276 14716928 2167 4294967295 134512640 134581331 3221221792 3221220736 134559255 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3593 2167 566 18 0 3575 0 vsize: 14372 [startup+980.051 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 97818 194 0 0 25 0 1 0 709812276 14712832 2167 4294967295 134512640 134581331 3221221792 3221220288 1075288465 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3592 2167 566 18 0 3574 0 vsize: 14368 [startup+990.051 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 98817 196 0 0 25 0 1 0 709812276 14712832 2167 4294967295 134512640 134581331 3221221792 3221220720 134519996 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3592 2167 566 18 0 3574 0 vsize: 14368 [startup+1000.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 99815 198 0 0 25 0 1 0 709812276 14712832 2167 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3592 2167 566 18 0 3574 0 vsize: 14368 [startup+1010.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 100813 199 0 0 25 0 1 0 709812276 14712832 2167 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3592 2167 566 18 0 3574 0 vsize: 14368 [startup+1020.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 101812 201 0 0 25 0 1 0 709812276 14712832 2167 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3592 2167 566 18 0 3574 0 vsize: 14368 [startup+1030.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2239 0 0 0 102810 203 0 0 25 0 1 0 709812276 14848000 2216 4294967295 134512640 134581331 3221221792 3221220864 134531401 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3625 2216 566 18 0 3607 0 vsize: 14500 [startup+1040.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2239 0 0 0 103808 205 0 0 25 0 1 0 709812276 14848000 2216 4294967295 134512640 134581331 3221221792 3221220704 134519003 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3625 2216 566 18 0 3607 0 vsize: 14500 [startup+1050.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2239 0 0 0 104806 207 0 0 25 0 1 0 709812276 14848000 2216 4294967295 134512640 134581331 3221221792 3221220676 134557932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3625 2216 566 18 0 3607 0 vsize: 14500 [startup+1060.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2239 0 0 0 105805 208 0 0 25 0 1 0 709812276 14848000 2216 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3625 2216 566 18 0 3607 0 vsize: 14500 [startup+1070.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2239 0 0 0 106804 209 0 0 25 0 1 0 709812276 14848000 2216 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3625 2216 566 18 0 3607 0 vsize: 14500 [startup+1080.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2239 0 0 0 107804 210 0 0 25 0 1 0 709812276 14848000 2216 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3625 2216 566 18 0 3607 0 vsize: 14500 [startup+1090.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2244 0 0 0 108802 212 0 0 25 0 1 0 709812276 14848000 2221 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3625 2221 566 18 0 3607 0 vsize: 14500 [startup+1100.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2244 0 0 0 109802 212 0 0 25 0 1 0 709812276 14848000 2221 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3625 2221 566 18 0 3607 0 vsize: 14500 [startup+1110.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2244 0 0 0 110800 214 0 0 25 0 1 0 709812276 14848000 2221 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3625 2221 566 18 0 3607 0 vsize: 14500 [startup+1120.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2244 0 0 0 111799 216 0 0 25 0 1 0 709812276 14848000 2221 4294967295 134512640 134581331 3221221792 3221220672 134560559 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3625 2221 566 18 0 3607 0 vsize: 14500 [startup+1130.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2263 0 0 0 112797 218 0 0 25 0 1 0 709812276 14979072 2240 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3657 2240 566 18 0 3639 0 vsize: 14628 [startup+1140.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2263 0 0 0 113795 220 0 0 25 0 1 0 709812276 14979072 2240 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3657 2240 566 18 0 3639 0 vsize: 14628 [startup+1150.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2263 0 0 0 114794 222 0 0 25 0 1 0 709812276 14979072 2240 4294967295 134512640 134581331 3221221792 3221220676 134557932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3657 2240 566 18 0 3639 0 vsize: 14628 [startup+1160.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2263 0 0 0 115792 223 0 0 25 0 1 0 709812276 14979072 2240 4294967295 134512640 134581331 3221221792 3221220672 134520299 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3657 2240 566 18 0 3639 0 vsize: 14628 [startup+1170.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2264 0 0 0 116791 224 0 0 25 0 1 0 709812276 14979072 2241 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3657 2241 566 18 0 3639 0 vsize: 14628 [startup+1180.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2336 0 0 0 117790 226 0 0 25 0 1 0 709812276 15249408 2313 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3723 2313 566 18 0 3705 0 vsize: 14892 [startup+1188.91 s] Raw data (loadavg): 0.99 0.97 0.93 1/53 11052 Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2336 0 0 0 117790 226 0 0 25 0 1 0 709812276 15249408 2313 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3723 2313 566 18 0 3705 0 vsize: 0 Child status: 10 Real time (s): 1188.91 CPU time (s): 1189.02 CPU user time (s): 1186.73 CPU system time (s): 2.28665 CPU usage (%): 100.009 Max. virtual memory (Kb): 14892 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 25102 #### END VERIFIER DATA ####