Name | normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb |
MD5SUM | feaa96df552ef9989407735877840272 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 13 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 776 |
Biggest coefficient in the objective function | 474 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 2127 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 474 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 2127 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.04084 |
Number of variables | 776 |
Total number of constraints | 1642 |
Number of constraints which are clauses | 701 |
Number of constraints which are cardinality constraints (but not clauses) | 941 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 20 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-06-02 14:28:35 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=26639 boxname=wulflinc6 idbench=369 idsolver=19 numberseed=0 MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea /oldhome/oroussel/solvers/Pueblo-v2 MD5SUM BENCH: feaa96df552ef9989407735877840272 /oldhome/oroussel/tmp/wulflinc6/normalized-10:20:4.5:0.5:100.opb REAL COMMAND: Pueblo-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-10:20:4.5:0.5:100.opb IDLAUNCH: 26639 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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.042 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: 739336 kB Buffers: 33624 kB Cached: 240952 kB SwapCached: 552 kB Active: 56464 kB Inactive: 220216 kB HighTotal: 131008 kB HighFree: 9548 kB LowTotal: 903652 kB LowFree: 729788 kB SwapTotal: 2097136 kB SwapFree: 2095652 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5196 kB Slab: 12908 kB Committed_AS: 63800 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-02 14:48:24 (client local time) WITH STATUS 10 IN 1189.01 SECONDS stats: 26639 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/wulflinc6/normalized-10:20:4.5:0.5:100.opb c #variables read: 776 - #constraints read: 1643 s SATISFIABLE v -v756 -v693 -v588 -v262 v241 v56 v38 -v692 -v590 -v486 -v263 v246 v55 v37 -v757 -v700 -v589 -v485 -v439 -v266 v245 v54 v39 -v758 -v694 -v594 -v487 -v444 -v264 v52 v40 -v761 -v695 -v612 -v593 -v488 -v443 -v265 v248 v53 v47 -v759 -v696 -v611 -v591 -v489 -v401 v249 v41 v2 -v760 -v613 -v592 -v496 -v446 -v421 -v400 -v252 -v198 v171 v42 v1 -v734 -v616 -v490 -v447 -v420 -v406 -v385 -v250 v176 v43 v3 -v733 -v615 -v491 -v450 -v422 -v405 -v384 -v273 -v251 -v197 v175 v137 v4 -v620 -v492 -v448 -v425 -v407 -v386 -v366 -v278 -v201 -v155 v136 -v18 v5 -v735 -v619 -v559 -v510 -v449 -v424 -v411 -v387 -v365 -v277 -v178 -v154 v138 -v87 v17 v12 -v737 -v650 -v617 -v515 -v429 -v410 -v388 -v202 -v179 -v156 -v141 v86 v23 v6 -v649 -v618 -v558 -v514 -v466 -v428 -v408 -v395 -v367 -v280 -v182 -v157 v140 v88 -v66 v22 -v7 -v738 -v562 -v426 -v409 -v389 -v369 -v281 -v180 -v158 -v145 v91 v71 v24 -v8 -v740 -v651 -v517 -v469 -v427 -v390 -v318 -v284 -v223 -v181 -v165 -v144 -v121 v90 v70 v28 -v741 -v653 -v635 -v563 -v518 -v470 -v391 -v370 -v317 -v282 -v159 -v142 v95 v27 -v634 -v521 -v372 -v347 -v319 -v283 -v222 -v160 -v143 -v120 v94 v73 v25 -v654 -v519 -v373 -v351 -v322 -v226 -v161 v92 v74 v26 -v656 -v636 -v520 -v321 v124 v93 v75 -v657 v639 -v323 -v227 v125 v76 -v753 -v703 -v64 -v755 -v704 -v587 -v267 v240 v60 -v754 -v699 -v602 v242 v59 v50 -v762 -v598 -v438 v247 v51 -v710 -v697 -v597 -v499 -v440 v244 v46 -v714 -v500 -v445 v253 -v495 -v442 v44 -v729 -v614 -v451 -v402 v170 -v728 -v628 -v493 -v403 -v199 v172 v15 -v624 -v423 -v404 -v361 -v272 -v203 v177 v16 -v736 -v623 -v437 -v415 -v398 -v360 -v274 v174 -v11 -v739 -v645 -v509 -v433 -v399 -v279 -v183 v139 v19 -v743 -v644 -v560 -v511 -v465 -v432 -v394 -v368 -v276 -v205 -v168 v153 v20 -v9 -v742 -v564 -v516 -v371 -v285 -v206 -v169 -v149 v89 v65 v21 -v652 -v513 -v471 -v392 -v375 -v164 -v148 -v116 v103 v67 v32 -v655 -v630 -v522 -v374 v99 v72 -v659 -v629 -v566 -v346 -v224 -v162 -v122 v98 v69 -v658 -v567 -v350 -v320 -v228 v77 -v637 -v474 -v331 v126 v638 -v327 -v701 -v599 -v105 -v63 v49 -v752 -v601 -v271 v48 -v770 -v498 -v270 v57 -v766 -v497 v243 -v765 -v709 -v698 -v595 v261 v58 -v713 -v441 -v257 v193 -v625 -v596 -v459 -v302 -v256 v192 v45 v14 -v627 -v455 v13 -v494 -v454 -v434 -v418 -v397 -v200 -v730 -v554 -v436 -v419 -v396 -v204 v173 -v731 -v621 -v553 -v461 -v414 -v208 v191 -v167 v150 -v732 -v362 -v275 -v207 -v187 -v166 v152 -v747 -v622 -v561 -v467 -v430 -v412 -v363 -v293 -v186 v100 v35 -v10 -v646 -v565 -v512 -v364 -v289 -v218 v102 v36 -v685 -v647 -v569 -v530 -v472 -v431 -v393 -v379 -v288 -v217 -v146 v31 -v648 -v568 -v526 -v115 v68 -v663 -v525 -v475 -v348 -v328 -v225 -v163 -v147 -v117 v96 v85 v29 -v631 -v473 -v352 -v330 -v229 -v123 v81 -v632 -v230 v119 v97 v80 v633 -v326 -v231 v127 -v767 -v702 -v600 -v333 v104 -v61 -v769 -v268 v258 v260 -v763 -v711 -v456 v299 -v269 -v715 -v626 -v458 -v764 -v417 v301 -v254 -v435 -v416 v194 -v717 -v452 -v255 v195 v188 -v718 v196 v190 -v151 -v750 -v453 -v290 v212 v34 -v751 -v555 -v460 -v292 v101 v33 -v746 v681 -v556 -v527 -v462 -v413 -v382 -v184 -v557 -v529 -v468 -v383 -v343 -v744 -v684 -v666 -v573 -v464 -v378 -v342 -v286 -v185 v82 -v667 -v476 -v329 -v219 v84 -v662 -v534 -v523 -v376 -v349 -v287 -v220 v30 -v538 -v353 v221 -v118 -v660 -v642 -v604 -v524 -v354 v235 v135 v78 -v643 v608 -v355 -v324 v131 -v768 v332 v106 -v62 v706 -v259 v705 -v457 -v712 v298 v108 v716 v720 v303 v719 v189 -v749 v215 -v748 -v291 v216 v677 -v381 -v306 v211 -v528 -v380 v680 -v665 -v576 v209 -v664 -v577 -v463 -v83 -v745 v686 -v572 -v484 -v480 -v344 -v641 -v570 v533 -v479 -v377 -v345 v238 -v132 -v640 -v537 v239 -v134 -v689 -v661 -v603 v234 v79 v607 -v325 -v130 -v502 -v295 v109 v707 v107 v708 -v546 -v335 v300 -v771 v724 v304 v214 v213 v673 v307 -v305 v772 v676 v773 -v575 -v574 v682 -v481 v210 -v483 v687 v237 v236 -v133 -v690 -v571 v535 -v477 v358 -v688 -v539 v359 v605 -v478 v232 v609 -v128 v110 -v501 v336 -v334 v294 v727 -v545 v296 -v723 v308 -v721 v672 v582 -v482 v683 v532 -v679 v531 v357 -v691 v356 v536 -v540 v606 -v233 v610 -v129 v337 -v114 v726 v503 -v113 v725 -v547 v297 -v669 -v506 v316 -v312 -v722 v674 v581 v549 -v311 v550 -v678 v586 v542 v341 v541 v504 v340 -v111 -v548 v507 v313 -v112 -v505 v315 v580 v552 v668 v551 v670 v583 -v309 v675 -v310 v585 v338 v543 v508 -v314 v544 v339 v774 v579 v578 v671 v584 v775 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.84 0.95 0.94 2/54 17107 Raw data (stat): 17107 (runsolver) R 17106 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 850508580 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0002 s] Raw data (loadavg): 0.87 0.95 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1041 0 0 0 993 5 0 0 25 0 1 0 850508580 9859072 1015 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2407 1015 566 18 0 2389 0 vsize: 9628 [startup+20.0003 s] Raw data (loadavg): 0.89 0.95 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1165 0 0 0 1990 8 0 0 25 0 1 0 850508580 10383360 1139 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2535 1139 566 18 0 2517 0 vsize: 10140 [startup+30.0001 s] Raw data (loadavg): 0.90 0.95 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1275 0 0 0 2987 11 0 0 25 0 1 0 850508580 10776576 1249 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2631 1249 566 18 0 2613 0 vsize: 10524 [startup+40.0006 s] Raw data (loadavg): 0.92 0.95 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1371 0 0 0 3983 16 0 0 25 0 1 0 850508580 11169792 1345 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2727 1345 566 18 0 2709 0 vsize: 10908 [startup+50.0007 s] Raw data (loadavg): 0.93 0.96 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1371 0 0 0 4979 21 0 0 25 0 1 0 850508580 11169792 1345 4294967295 134512640 134581267 3221224576 3221223552 134561060 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2727 1345 566 18 0 2709 0 vsize: 10908 [startup+60.0005 s] Raw data (loadavg): 0.94 0.96 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1510 0 0 0 5976 23 0 0 25 0 1 0 850508580 11825152 1484 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2887 1484 566 18 0 2869 0 vsize: 11548 [startup+70.001 s] Raw data (loadavg): 0.95 0.96 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1532 0 0 0 6974 26 0 0 25 0 1 0 850508580 11956224 1506 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2919 1506 566 18 0 2901 0 vsize: 11676 [startup+80.0012 s] Raw data (loadavg): 0.96 0.96 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1584 0 0 0 7971 30 0 0 25 0 1 0 850508580 12087296 1558 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2951 1558 566 18 0 2933 0 vsize: 11804 [startup+90.001 s] Raw data (loadavg): 0.96 0.96 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1630 0 0 0 8969 32 0 0 25 0 1 0 850508580 12349440 1604 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3015 1604 566 18 0 2997 0 vsize: 12060 [startup+100.002 s] Raw data (loadavg): 0.97 0.96 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1651 0 0 0 9966 35 0 0 25 0 1 0 850508580 12349440 1625 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3015 1625 566 18 0 2997 0 vsize: 12060 [startup+110.003 s] Raw data (loadavg): 0.97 0.96 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1652 0 0 0 10964 37 0 0 25 0 1 0 850508580 12349440 1626 4294967295 134512640 134581267 3221224576 3221223504 134519945 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3015 1626 566 18 0 2997 0 vsize: 12060 [startup+120.002 s] Raw data (loadavg): 0.98 0.96 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1733 0 0 0 11961 41 0 0 25 0 1 0 850508580 12742656 1707 4294967295 134512640 134581267 3221224576 3221223440 134528315 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3111 1707 566 18 0 3093 0 vsize: 12444 [startup+130.003 s] Raw data (loadavg): 0.98 0.96 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1754 0 0 0 12958 44 0 0 25 0 1 0 850508580 12742656 1728 4294967295 134512640 134581267 3221224576 3221223472 134517912 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3111 1728 566 18 0 3093 0 vsize: 12444 [startup+140.003 s] Raw data (loadavg): 0.98 0.96 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1776 0 0 0 13956 47 0 0 25 0 1 0 850508580 12873728 1750 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3143 1750 566 18 0 3125 0 vsize: 12572 [startup+150.003 s] Raw data (loadavg): 0.98 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1780 0 0 0 14953 49 0 0 25 0 1 0 850508580 12873728 1754 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3143 1754 566 18 0 3125 0 vsize: 12572 [startup+160.004 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1781 0 0 0 15951 53 0 0 25 0 1 0 850508580 12873728 1755 4294967295 134512640 134581267 3221224576 3221223440 134528315 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3143 1755 566 18 0 3125 0 vsize: 12572 [startup+170.004 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1878 0 0 0 16947 56 0 0 25 0 1 0 850508580 13266944 1852 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3239 1852 566 18 0 3221 0 vsize: 12956 [startup+180.003 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1896 0 0 0 17945 59 0 0 25 0 1 0 850508580 13393920 1870 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3270 1870 566 18 0 3252 0 vsize: 13080 [startup+190.004 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1925 0 0 0 18943 61 0 0 25 0 1 0 850508580 13524992 1899 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3302 1899 566 18 0 3284 0 vsize: 13208 [startup+200.004 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1928 0 0 0 19941 64 0 0 25 0 1 0 850508580 13524992 1902 4294967295 134512640 134581267 3221224576 3221223488 134527948 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3302 1902 566 18 0 3284 0 vsize: 13208 [startup+210.004 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1928 0 0 0 20938 67 0 0 25 0 1 0 850508580 13524992 1902 4294967295 134512640 134581267 3221224576 3221223440 134528352 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3302 1902 566 18 0 3284 0 vsize: 13208 [startup+220.005 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1936 0 0 0 21935 70 0 0 25 0 1 0 850508580 13524992 1910 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3302 1910 566 18 0 3284 0 vsize: 13208 [startup+230.004 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1936 0 0 0 22931 74 0 0 25 0 1 0 850508580 13524992 1910 4294967295 134512640 134581267 3221224576 3221223440 134527082 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3302 1910 566 18 0 3284 0 vsize: 13208 [startup+240.004 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1936 0 0 0 23929 77 0 0 25 0 1 0 850508580 13524992 1910 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3302 1910 566 18 0 3284 0 vsize: 13208 [startup+250.005 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2021 0 0 0 24926 81 0 0 25 0 1 0 850508580 13918208 1995 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3398 1995 566 18 0 3380 0 vsize: 13592 [startup+260.005 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2050 0 0 0 25923 84 0 0 25 0 1 0 850508580 14049280 2024 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3430 2024 566 18 0 3412 0 vsize: 13720 [startup+270.005 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2051 0 0 0 26920 88 0 0 25 0 1 0 850508580 14045184 2025 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3429 2025 566 18 0 3411 0 vsize: 13716 [startup+280.005 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2064 0 0 0 27916 91 0 0 25 0 1 0 850508580 14045184 2038 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3429 2038 566 18 0 3411 0 vsize: 13716 [startup+290.006 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2065 0 0 0 28913 95 0 0 25 0 1 0 850508580 14045184 2039 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3429 2039 566 18 0 3411 0 vsize: 13716 [startup+300.006 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2076 0 0 0 29910 98 0 0 25 0 1 0 850508580 14176256 2050 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3461 2050 566 18 0 3443 0 vsize: 13844 [startup+310.007 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2081 0 0 0 30908 101 0 0 25 0 1 0 850508580 14176256 2055 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3461 2055 566 18 0 3443 0 vsize: 13844 [startup+320.007 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2084 0 0 0 31905 104 0 0 25 0 1 0 850508580 14176256 2058 4294967295 134512640 134581267 3221224576 3221223292 1075289077 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3461 2058 566 18 0 3443 0 vsize: 13844 [startup+330.006 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2096 0 0 0 32904 106 0 0 25 0 1 0 850508580 14176256 2070 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3461 2070 566 18 0 3443 0 vsize: 13844 [startup+340.007 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2096 0 0 0 33901 108 0 0 25 0 1 0 850508580 14176256 2070 4294967295 134512640 134581267 3221224576 3221223472 134517921 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3461 2070 566 18 0 3443 0 vsize: 13844 [startup+350.007 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2096 0 0 0 34898 112 0 0 25 0 1 0 850508580 14176256 2070 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3461 2070 566 18 0 3443 0 vsize: 13844 [startup+360.007 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2156 0 0 0 35895 115 0 0 25 0 1 0 850508580 14438400 2130 4294967295 134512640 134581267 3221224576 3221223472 134517764 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3525 2130 566 18 0 3507 0 vsize: 14100 [startup+370.007 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2181 0 0 0 36893 117 0 0 25 0 1 0 850508580 14569472 2155 4294967295 134512640 134581267 3221224576 3221223504 134519820 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3557 2155 566 18 0 3539 0 vsize: 14228 [startup+380.008 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2211 0 0 0 37890 121 0 0 25 0 1 0 850508580 14700544 2185 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3589 2185 566 18 0 3571 0 vsize: 14356 [startup+390.007 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2226 0 0 0 38887 124 0 0 25 0 1 0 850508580 14700544 2200 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3589 2200 566 18 0 3571 0 vsize: 14356 [startup+400.008 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2226 0 0 0 39886 126 0 0 25 0 1 0 850508580 14700544 2200 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3589 2200 566 18 0 3571 0 vsize: 14356 [startup+410.008 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2226 0 0 0 40883 128 0 0 25 0 1 0 850508580 14700544 2200 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3589 2200 566 18 0 3571 0 vsize: 14356 [startup+420.008 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2226 0 0 0 41881 131 0 0 25 0 1 0 850508580 14700544 2200 4294967295 134512640 134581267 3221224576 3221223520 134559432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3589 2200 566 18 0 3571 0 vsize: 14356 [startup+430.008 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2226 0 0 0 42879 134 0 0 25 0 1 0 850508580 14700544 2200 4294967295 134512640 134581267 3221224576 3221223504 134520027 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3589 2200 566 18 0 3571 0 vsize: 14356 [startup+440.008 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2226 0 0 0 43876 137 0 0 25 0 1 0 850508580 14700544 2200 4294967295 134512640 134581267 3221224576 3221223520 134558830 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3589 2200 566 18 0 3571 0 vsize: 14356 [startup+450.008 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2226 0 0 0 44874 139 0 0 25 0 1 0 850508580 14700544 2200 4294967295 134512640 134581267 3221224576 3221223472 134517927 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3589 2200 566 18 0 3571 0 vsize: 14356 [startup+460.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2229 0 0 0 45872 142 0 0 25 0 1 0 850508580 14700544 2203 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3589 2203 566 18 0 3571 0 vsize: 14356 [startup+470.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2229 0 0 0 46869 145 0 0 25 0 1 0 850508580 14700544 2203 4294967295 134512640 134581267 3221224576 3221223488 134527516 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3589 2203 566 18 0 3571 0 vsize: 14356 [startup+480.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2229 0 0 0 47866 148 0 0 25 0 1 0 850508580 14700544 2203 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3589 2203 566 18 0 3571 0 vsize: 14356 [startup+490.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2242 0 0 0 48864 150 0 0 25 0 1 0 850508580 14831616 2216 4294967295 134512640 134581267 3221224576 3221223456 134520278 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3621 2216 566 18 0 3603 0 vsize: 14484 [startup+500.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2242 0 0 0 49863 152 0 0 25 0 1 0 850508580 14831616 2216 4294967295 134512640 134581267 3221224576 3221223440 134528257 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3621 2216 566 18 0 3603 0 vsize: 14484 [startup+510.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2242 0 0 0 50860 155 0 0 25 0 1 0 850508580 14823424 2216 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3619 2216 566 18 0 3601 0 vsize: 14476 [startup+520.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2242 0 0 0 51857 158 0 0 25 0 1 0 850508580 14798848 2216 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3613 2216 566 18 0 3595 0 vsize: 14452 [startup+530.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2242 0 0 0 52855 161 0 0 25 0 1 0 850508580 14798848 2216 4294967295 134512640 134581267 3221224576 3221223488 134527720 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3613 2216 566 18 0 3595 0 vsize: 14452 [startup+540.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2242 0 0 0 53853 163 0 0 25 0 1 0 850508580 14798848 2216 4294967295 134512640 134581267 3221224576 3221223456 134520299 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3613 2216 566 18 0 3595 0 vsize: 14452 [startup+550.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2248 0 0 0 54851 166 0 0 25 0 1 0 850508580 14798848 2222 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3613 2222 566 18 0 3595 0 vsize: 14452 [startup+560.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2385 0 0 0 55848 169 0 0 25 0 1 0 850508580 15458304 2359 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3774 2359 566 18 0 3756 0 vsize: 15096 [startup+570.012 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2408 0 0 0 56846 172 0 0 25 0 1 0 850508580 15458304 2382 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3774 2382 566 18 0 3756 0 vsize: 15096 [startup+580.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2420 0 0 0 57843 174 0 0 25 0 1 0 850508580 15589376 2394 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3806 2394 566 18 0 3788 0 vsize: 15224 [startup+590.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2437 0 0 0 58841 177 0 0 25 0 1 0 850508580 15589376 2411 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3806 2411 566 18 0 3788 0 vsize: 15224 [startup+600.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2446 0 0 0 59839 180 0 0 25 0 1 0 850508580 15720448 2420 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3838 2420 566 18 0 3820 0 vsize: 15352 [startup+610.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2446 0 0 0 60837 182 0 0 25 0 1 0 850508580 15708160 2420 4294967295 134512640 134581267 3221224576 3221223488 134527516 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3835 2420 566 18 0 3817 0 vsize: 15340 [startup+620.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2447 0 0 0 61835 185 0 0 25 0 1 0 850508580 15708160 2421 4294967295 134512640 134581267 3221224576 3221223568 134561090 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3835 2421 566 18 0 3817 0 vsize: 15340 [startup+630.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2447 0 0 0 62832 187 0 0 25 0 1 0 850508580 15708160 2421 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3835 2421 566 18 0 3817 0 vsize: 15340 [startup+640.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2447 0 0 0 63830 190 0 0 25 0 1 0 850508580 15708160 2421 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3835 2421 566 18 0 3817 0 vsize: 15340 [startup+650.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2447 0 0 0 64827 193 0 0 25 0 1 0 850508580 15708160 2421 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3835 2421 566 18 0 3817 0 vsize: 15340 [startup+660.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2447 0 0 0 65826 195 0 0 25 0 1 0 850508580 15708160 2421 4294967295 134512640 134581267 3221224576 3221223440 134560512 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3835 2421 566 18 0 3817 0 vsize: 15340 [startup+670.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2467 0 0 0 66823 198 0 0 25 0 1 0 850508580 15708160 2441 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3835 2441 566 18 0 3817 0 vsize: 15340 [startup+680.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2471 0 0 0 67820 201 0 0 25 0 1 0 850508580 15708160 2445 4294967295 134512640 134581267 3221224576 3221223568 134561090 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3835 2445 566 18 0 3817 0 vsize: 15340 [startup+690.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2471 0 0 0 68819 203 0 0 25 0 1 0 850508580 15708160 2445 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3835 2445 566 18 0 3817 0 vsize: 15340 [startup+700.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2471 0 0 0 69816 206 0 0 25 0 1 0 850508580 15708160 2445 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3835 2445 566 18 0 3817 0 vsize: 15340 [startup+710.016 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2478 0 0 0 70814 208 0 0 25 0 1 0 850508580 15839232 2452 4294967295 134512640 134581267 3221224576 3221223536 134516745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3867 2452 566 18 0 3849 0 vsize: 15468 [startup+720.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2479 0 0 0 71811 212 0 0 25 0 1 0 850508580 15839232 2453 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3867 2453 566 18 0 3849 0 vsize: 15468 [startup+730.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2479 0 0 0 72807 216 0 0 25 0 1 0 850508580 15839232 2453 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3867 2453 566 18 0 3849 0 vsize: 15468 [startup+740.016 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2479 0 0 0 73805 219 0 0 25 0 1 0 850508580 15806464 2453 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3859 2453 566 18 0 3841 0 vsize: 15436 [startup+750.017 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2479 0 0 0 74802 222 0 0 25 0 1 0 850508580 15802368 2453 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3858 2453 566 18 0 3840 0 vsize: 15432 [startup+760.018 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2479 0 0 0 75800 224 0 0 25 0 1 0 850508580 15785984 2453 4294967295 134512640 134581267 3221224576 3221223560 134561049 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3854 2453 566 18 0 3836 0 vsize: 15416 [startup+770.018 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2479 0 0 0 76796 229 0 0 25 0 1 0 850508580 15781888 2453 4294967295 134512640 134581267 3221224576 3221223368 1075289350 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3853 2453 566 18 0 3835 0 vsize: 15412 [startup+780.018 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2480 0 0 0 77792 233 0 0 25 0 1 0 850508580 15781888 2454 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3853 2454 566 18 0 3835 0 vsize: 15412 [startup+790.018 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2494 0 0 0 78790 236 0 0 25 0 1 0 850508580 15904768 2468 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3883 2468 566 18 0 3865 0 vsize: 15532 [startup+800.019 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2494 0 0 0 79787 239 0 0 25 0 1 0 850508580 15876096 2468 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3876 2468 566 18 0 3858 0 vsize: 15504 [startup+810.019 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2494 0 0 0 80784 242 0 0 25 0 1 0 850508580 15851520 2468 4294967295 134512640 134581267 3221224576 3221223408 134531713 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3870 2468 566 18 0 3852 0 vsize: 15480 [startup+820.02 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2494 0 0 0 81781 245 0 0 25 0 1 0 850508580 15843328 2468 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3868 2468 566 18 0 3850 0 vsize: 15472 [startup+830.033 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2496 0 0 0 82780 248 0 0 25 0 1 0 850508580 15843328 2470 4294967295 134512640 134581267 3221224576 3221223440 134528304 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3868 2470 566 18 0 3850 0 vsize: 15472 [startup+840.033 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2589 0 0 0 83777 251 0 0 25 0 1 0 850508580 16236544 2563 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3964 2563 566 18 0 3946 0 vsize: 15856 [startup+850.034 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2618 0 0 0 84776 254 0 0 25 0 1 0 850508580 16367616 2592 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3996 2592 566 18 0 3978 0 vsize: 15984 [startup+860.035 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2618 0 0 0 85773 256 0 0 25 0 1 0 850508580 16367616 2592 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3996 2592 566 18 0 3978 0 vsize: 15984 [startup+870.035 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2631 0 0 0 86771 259 0 0 25 0 1 0 850508580 16367616 2605 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3996 2605 566 18 0 3978 0 vsize: 15984 [startup+880.035 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2648 0 0 0 87768 262 0 0 25 0 1 0 850508580 16498688 2622 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4028 2622 566 18 0 4010 0 vsize: 16112 [startup+890.036 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2687 0 0 0 88766 264 0 0 25 0 1 0 850508580 16629760 2661 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4060 2661 566 18 0 4042 0 vsize: 16240 [startup+900.036 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2687 0 0 0 89764 267 0 0 25 0 1 0 850508580 16629760 2661 4294967295 134512640 134581267 3221224576 3221223440 134528235 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4060 2661 566 18 0 4042 0 vsize: 16240 [startup+910.036 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2687 0 0 0 90762 269 0 0 25 0 1 0 850508580 16629760 2661 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4060 2661 566 18 0 4042 0 vsize: 16240 [startup+920.037 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2698 0 0 0 91760 271 0 0 25 0 1 0 850508580 16748544 2672 4294967295 134512640 134581267 3221224576 3221223440 134528315 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4089 2672 566 18 0 4071 0 vsize: 16356 [startup+930.037 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2698 0 0 0 92759 273 0 0 25 0 1 0 850508580 16732160 2672 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4085 2672 566 18 0 4067 0 vsize: 16340 [startup+940.037 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2716 0 0 0 93757 276 0 0 25 0 1 0 850508580 16732160 2690 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4085 2690 566 18 0 4067 0 vsize: 16340 [startup+950.037 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2735 0 0 0 94754 278 0 0 25 0 1 0 850508580 16863232 2709 4294967295 134512640 134581267 3221224576 3221223504 134519937 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4117 2709 566 18 0 4099 0 vsize: 16468 [startup+960.038 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2735 0 0 0 95752 281 0 0 25 0 1 0 850508580 16863232 2709 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4117 2709 566 18 0 4099 0 vsize: 16468 [startup+970.038 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2735 0 0 0 96750 283 0 0 25 0 1 0 850508580 16863232 2709 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4117 2709 566 18 0 4099 0 vsize: 16468 [startup+980.038 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2735 0 0 0 97748 286 0 0 25 0 1 0 850508580 16859136 2709 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4116 2709 566 18 0 4098 0 vsize: 16464 [startup+990.039 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2752 0 0 0 98746 288 0 0 25 0 1 0 850508580 16859136 2726 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4116 2726 566 18 0 4098 0 vsize: 16464 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2752 0 0 0 99744 290 0 0 25 0 1 0 850508580 16859136 2726 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4116 2726 566 18 0 4098 0 vsize: 16464 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2753 0 0 0 100742 292 0 0 25 0 1 0 850508580 16977920 2727 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4145 2727 566 18 0 4127 0 vsize: 16580 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2753 0 0 0 101740 295 0 0 25 0 1 0 850508580 16977920 2727 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4145 2727 566 18 0 4127 0 vsize: 16580 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2763 0 0 0 102739 297 0 0 25 0 1 0 850508580 16977920 2737 4294967295 134512640 134581267 3221224576 3221223548 134519776 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4145 2737 566 18 0 4127 0 vsize: 16580 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2763 0 0 0 103736 300 0 0 25 0 1 0 850508580 16977920 2737 4294967295 134512640 134581267 3221224576 3221223520 134558800 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4145 2737 566 18 0 4127 0 vsize: 16580 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2777 0 0 0 104735 302 0 0 25 0 1 0 850508580 16977920 2751 4294967295 134512640 134581267 3221224576 3221223440 134528352 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4145 2751 566 18 0 4127 0 vsize: 16580 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2777 0 0 0 105733 304 0 0 25 0 1 0 850508580 16977920 2751 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4145 2751 566 18 0 4127 0 vsize: 16580 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2777 0 0 0 106732 305 0 0 25 0 1 0 850508580 16977920 2751 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4145 2751 566 18 0 4127 0 vsize: 16580 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2777 0 0 0 107730 308 0 0 25 0 1 0 850508580 16977920 2751 4294967295 134512640 134581267 3221224576 3221223504 134519797 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4145 2751 566 18 0 4127 0 vsize: 16580 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2777 0 0 0 108728 310 0 0 25 0 1 0 850508580 16977920 2751 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4145 2751 566 18 0 4127 0 vsize: 16580 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2777 0 0 0 109725 313 0 0 25 0 1 0 850508580 16977920 2751 4294967295 134512640 134581267 3221224576 3221223456 134520282 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4145 2751 566 18 0 4127 0 vsize: 16580 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2777 0 0 0 110724 315 0 0 25 0 1 0 850508580 16977920 2751 4294967295 134512640 134581267 3221224576 3221223488 134527420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4145 2751 566 18 0 4127 0 vsize: 16580 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2777 0 0 0 111722 317 0 0 25 0 1 0 850508580 16977920 2751 4294967295 134512640 134581267 3221224576 3221223292 1075288811 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4145 2751 566 18 0 4127 0 vsize: 16580 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2777 0 0 0 112719 320 0 0 25 0 1 0 850508580 16977920 2751 4294967295 134512640 134581267 3221224576 3221223440 134528334 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4145 2751 566 18 0 4127 0 vsize: 16580 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2777 0 0 0 113718 322 0 0 25 0 1 0 850508580 16977920 2751 4294967295 134512640 134581267 3221224576 3221223472 134517720 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4145 2751 566 18 0 4127 0 vsize: 16580 [startup+1150.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2777 0 0 0 114716 324 0 0 25 0 1 0 850508580 16977920 2751 4294967295 134512640 134581267 3221224576 3221223520 134558768 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4145 2751 566 18 0 4127 0 vsize: 16580 [startup+1160.05 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2777 0 0 0 115715 326 0 0 25 0 1 0 850508580 16977920 2751 4294967295 134512640 134581267 3221224576 3221223440 134528312 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4145 2751 566 18 0 4127 0 vsize: 16580 [startup+1170.05 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2777 0 0 0 116712 329 0 0 25 0 1 0 850508580 16977920 2751 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4145 2751 566 18 0 4127 0 vsize: 16580 [startup+1180.05 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2777 0 0 0 117710 331 0 0 25 0 1 0 850508580 16977920 2751 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4145 2751 566 18 0 4127 0 vsize: 16580 [startup+1188.63 s] Raw data (loadavg): 0.99 0.97 0.94 1/53 17107 Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2777 0 0 0 117710 331 0 0 25 0 1 0 850508580 16977920 2751 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4145 2751 566 18 0 4127 0 vsize: 0 Child status: 10 Real time (s): 1188.63 CPU time (s): 1189.01 CPU user time (s): 1185.67 CPU system time (s): 3.33549 CPU usage (%): 100.032 Max. virtual memory (Kb): 16580 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 19 #### END VERIFIER DATA ####