Name | normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb |
MD5SUM | f82b685b64af240616b701a750c82883 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 10 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 934 |
Biggest coefficient in the objective function | 546 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 2594 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 546 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2594 |
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.03784 |
Number of variables | 934 |
Total number of constraints | 1996 |
Number of constraints which are clauses | 879 |
Number of constraints which are cardinality constraints (but not clauses) | 1117 |
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 wulflinc31 THE 2005-05-15 12:31:30 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3301 boxname=wulflinc31 idbench=367 idsolver=7 numberseed=0 MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911 /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: f82b685b64af240616b701a750c82883 /oldhome/oroussel/tmp/wulflinc31/normalized-10:20:4.5:0.95:100.opb REAL COMMAND: Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-10:20:4.5:0.95:100.opb IDLAUNCH: 3301 /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: 814068 kB Buffers: 41356 kB Cached: 157448 kB SwapCached: 1932 kB Active: 162636 kB Inactive: 39364 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 813816 kB SwapTotal: 2097892 kB SwapFree: 2095228 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5364 kB Slab: 12716 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-15 12:51:20 (client local time) WITH STATUS 10 IN 1189.02 SECONDS stats: 3301 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-10:20:4.5:0.95:100.opb c #variables read: 934 - #constraints read: 1997 s SATISFIABLE v -v853 -v782 -v197 v102 v21 v2 -v855 v103 v1 -v785 -v384 -v272 -v196 v20 v3 -v856 -v786 -v76 v55 v23 v4 -v383 -v275 -v202 -v75 v54 v11 -v763 -v387 -v276 -v200 v56 v24 v5 -v762 -v247 -v150 -v77 v57 v26 v6 -v764 -v613 -v388 -v201 -v79 v58 -v39 v27 v7 -v765 -v612 -v513 -v250 -v205 v149 v65 v38 -v766 -v618 -v251 -v80 v59 v40 -v773 -v617 -v512 -v326 -v155 -v125 v82 v60 v41 -v767 -v619 -v153 v83 v61 v42 -v768 -v623 -v593 -v573 v518 v128 v49 -v769 -v622 -v577 v516 -v154 v129 v43 -v729 -v620 -v596 v576 -v158 v44 -v621 -v597 v517 v45 -v881 v728 v521 -v852 -v781 -v192 v104 v17 -v857 -v787 -v537 -v468 -v271 -v198 v22 v14 -v541 -v71 v25 v15 -v859 -v385 -v277 -v203 -v108 -v70 v29 v10 -v860 -v389 v28 -v790 -v246 -v206 -v145 -v78 v68 v8 -v204 -v81 v69 -v811 -v776 -v638 -v508 -v391 -v322 -v280 -v252 v151 v85 -v64 -v777 -v642 -v614 -v392 v84 -v772 -v615 -v514 -v325 -v156 v124 -v62 v52 -v616 v53 -v770 -v627 -v592 v519 -v255 -v159 v130 v48 -v572 -v157 -v877 -v598 -v574 v522 -v46 v578 v520 -v880 v730 -v133 -v601 -v854 -v783 -v464 -v267 v105 v13 -v858 -v379 -v191 v16 v12 -v862 -v788 -v536 -v488 -v467 -v378 -v273 -v193 v109 v18 -v861 -v540 -v492 -v199 -v107 v19 -v791 -v386 -v278 -v242 -v195 v67 v33 -v789 -v390 -v207 -v72 v66 -v807 -v775 -v394 -v301 -v281 -v248 -v73 v9 -v774 -v393 -v279 -v144 v74 -v810 -v637 -v321 -v253 -v146 v120 v89 v51 -v641 -v507 v152 v50 -v630 -v588 -v509 -v327 -v256 v148 v126 -v63 -v631 -v515 -v254 -v160 -v771 -v626 v594 v511 v131 -v725 v523 -v876 -v724 -v709 -v624 -v599 v330 v134 -v47 -v575 -v132 -v882 v731 -v602 -v586 -v600 v582 -v900 v732 v581 -v904 v733 -v851 -v779 -v463 v422 v106 -v850 -v784 -v426 -v266 v110 -v866 -v780 -v662 -v538 -v487 -v469 -v268 -v177 v36 -v792 -v666 -v542 -v491 -v380 v274 -v194 v37 -v381 -v297 v270 -v222 -v215 v32 -v382 -v282 -v241 -v226 -v211 -v806 -v544 -v472 -v398 -v317 -v300 -v243 -v210 v92 v30 -v545 -v249 v93 -v812 -v639 -v629 -v323 v245 v88 -v643 -v628 -v257 -v147 v119 -v913 -v836 -v328 -v168 v121 v86 -v917 -v587 -v510 -v164 v127 -v872 -v815 -v705 -v645 -v589 -v531 v347 v331 -v163 v123 -v646 v595 -v527 -v351 v329 v135 -v878 -v708 -v625 v591 -v583 -v526 -v726 v603 -v585 v95 -v883 v727 v94 -v899 -v884 v737 v579 -v903 -v885 -v869 -v533 -v465 v421 -v173 v118 v35 -v870 -v778 v425 v114 v34 -v865 -v800 -v661 -v539 -v489 -v470 -v212 v176 -v113 -v796 -v665 -v543 -v493 v269 -v214 -v863 -v802 -v795 -v547 -v473 -v450 -v401 -v296 -v290 v221 v91 -v633 -v546 -v471 -v402 v286 -v225 v90 -v808 -v632 -v495 -v397 -v302 v285 -v208 v31 -v496 -v316 -v244 -v832 -v813 -v752 -v640 -v395 -v318 v265 -v209 -v165 -v644 -v324 v261 -v167 -v912 -v835 -v816 -v648 -v528 v320 -v305 -v260 -v87 -v916 -v814 -v647 -v530 v332 v122 -v704 v346 -v161 v143 -v871 -v590 -v584 v350 v139 -v873 -v710 -v611 -v524 -v162 v138 v879 v607 v875 -v740 -v606 v561 -v525 -v886 -v741 v565 v96 -v901 -v736 -v713 v580 v97 v905 -v867 -v797 -v484 -v461 v423 v172 v117 -v799 -v532 -v466 v427 -v213 -v663 -v534 -v490 -v462 -v446 -v400 -v292 -v287 v178 -v111 -v667 -v535 -v494 -v474 -v399 -v289 -v864 -v793 -v551 -v498 -v449 -v429 -v298 v223 -v112 -v801 -v497 -v430 -v227 -v803 -v794 -v748 -v687 -v669 -v303 -v283 v262 v181 -v809 -v691 -v670 v634 v264 -v166 -v831 -v805 -v751 v635 -v396 -v306 -v284 -v229 -v817 v636 -v529 -v319 -v304 -v230 -v914 -v837 -v700 -v652 v340 -v258 v140 -v918 v336 v142 -v706 -v608 v348 v335 -v259 -v610 v352 -v920 -v840 -v739 -v711 -v412 -v371 -v136 -v921 -v896 -v874 -v738 -v375 -v895 -v894 -v714 -v604 v560 v354 -v137 -v890 -v712 v564 -v355 v902 -v889 -v734 -v605 v100 v906 v101 -v868 -v798 -v658 v424 v174 v115 -v483 -v460 v428 -v288 v217 -v664 -v554 -v485 -v482 -v445 v432 v216 v179 -v668 -v555 -v486 -v478 -v431 -v291 -v672 -v550 -v502 -v477 -v451 v293 v224 v182 -v671 v299 v263 -v228 v180 -v827 -v747 -v686 -v548 v295 -v232 -v908 -v804 -v690 -v307 -v231 -v907 -v833 -v825 -v753 -v655 v454 v337 -v821 -v656 v342 v339 v141 -v915 -v838 -v820 -v651 v341 -v919 -v699 -v609 -v923 -v841 -v756 -v701 -v649 -v408 v349 v333 -v922 -v839 -v707 v353 -v891 -v703 -v411 -v370 v357 v334 -v893 -v715 -v374 v356 v562 v99 v897 v566 v98 v898 -v887 -v735 -v553 -v479 v441 -v420 v170 v116 -v657 -v552 -v481 v419 v175 -v659 -v505 v447 -v436 v171 -v660 -v506 v218 v183 -v743 -v676 -v501 -v475 -v452 v219 v294 v220 -v822 -v749 -v688 -v654 -v549 -v499 -v476 v455 -v315 v236 -v826 -v824 -v692 -v653 v453 -v338 v311 -v828 -v754 v310 -v909 v834 -v910 v830 -v818 -v757 -v694 -v911 -v842 -v755 -v695 v343 -v927 -v819 -v650 -v407 v344 -v892 -v702 v557 v345 -v723 v556 -v413 v372 v361 -v719 v376 -v718 v563 v567 -v888 -v568 -v416 -v569 -v504 -v480 v437 -v503 v440 v439 v169 -v679 v442 -v435 v190 -v682 -v680 v448 v187 -v681 -v675 v444 -v433 -v312 v239 v186 -v823 -v742 v456 -v314 v240 -v744 -v689 -v673 -v500 v235 -v750 -v693 -v746 -v697 v308 v233 v829 -v758 -v696 -v930 v849 v405 -v309 -v931 v846 -v367 -v926 v845 -v720 -v409 v366 v364 -v722 v365 -v924 -v414 v373 v360 v558 v377 v932 -v716 v559 v417 -v358 -v415 -v717 -v678 v438 v189 -v677 v188 v238 v443 -v313 v237 v459 -v434 v184 -v683 v457 -v684 -v674 v458 v185 -v745 -v685 -v929 v848 -v761 -v698 v234 -v928 v847 -v759 -v760 v363 -v721 v404 v362 -v843 v403 -v410 v368 -v925 -v844 v406 v369 v418 v571 v933 -v359 v570 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 Raw data (loadavg): 0.92 0.98 0.99 2/55 2274 Raw data (stat): 2274 (runsolver) R 2273 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 752469321 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0005 s] Raw data (loadavg): 0.93 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 1279 0 0 0 991 6 0 0 25 0 1 0 752469321 10907648 1256 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2663 1256 566 18 0 2645 0 vsize: 10652 [startup+20.0019 s] Raw data (loadavg): 0.94 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 1541 0 0 0 1988 8 0 0 25 0 1 0 752469321 11964416 1518 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2921 1518 566 18 0 2903 0 vsize: 11684 [startup+30.0024 s] Raw data (loadavg): 0.95 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 1632 0 0 0 2984 12 0 0 25 0 1 0 752469321 12357632 1609 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3017 1609 566 18 0 2999 0 vsize: 12068 [startup+40.0023 s] Raw data (loadavg): 0.96 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 1756 0 0 0 3981 16 0 0 25 0 1 0 752469321 12881920 1733 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3145 1733 566 18 0 3127 0 vsize: 12580 [startup+50.0036 s] Raw data (loadavg): 0.96 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 1779 0 0 0 4979 18 0 0 25 0 1 0 752469321 12877824 1756 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3144 1756 566 18 0 3126 0 vsize: 12576 [startup+60.0042 s] Raw data (loadavg): 0.97 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 1922 0 0 0 5976 21 0 0 25 0 1 0 752469321 13541376 1899 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3306 1899 566 18 0 3288 0 vsize: 13224 [startup+70.0051 s] Raw data (loadavg): 0.97 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 1930 0 0 0 6974 24 0 0 25 0 1 0 752469321 13541376 1907 4294967295 134512640 134581331 3221221792 3221220656 134528370 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3306 1907 566 18 0 3288 0 vsize: 13224 [startup+80.0064 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2008 0 0 0 7970 27 0 0 25 0 1 0 752469321 13803520 1985 4294967295 134512640 134581331 3221221792 3221220704 134527772 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3370 1985 566 18 0 3352 0 vsize: 13480 [startup+90.0059 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2008 0 0 0 8968 29 0 0 25 0 1 0 752469321 13803520 1985 4294967295 134512640 134581331 3221221792 3221220720 134519937 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3370 1985 566 18 0 3352 0 vsize: 13480 [startup+100.007 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2074 0 0 0 9965 33 0 0 25 0 1 0 752469321 14065664 2051 4294967295 134512640 134581331 3221221792 3221220688 134517912 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3434 2051 566 18 0 3416 0 vsize: 13736 [startup+110.008 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2114 0 0 0 10962 36 0 0 25 0 1 0 752469321 14327808 2091 4294967295 134512640 134581331 3221221792 3221220048 134532249 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3498 2091 566 18 0 3480 0 vsize: 13992 [startup+120.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2233 0 0 0 11959 39 0 0 25 0 1 0 752469321 14721024 2210 4294967295 134512640 134581331 3221221792 3221220656 134528278 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3594 2210 566 18 0 3576 0 vsize: 14376 [startup+130.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2269 0 0 0 12957 42 0 0 25 0 1 0 752469321 14983168 2246 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3658 2246 566 18 0 3640 0 vsize: 14632 [startup+140.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2287 0 0 0 13954 44 0 0 25 0 1 0 752469321 14983168 2264 4294967295 134512640 134581331 3221221792 3221220760 134527292 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3658 2264 566 18 0 3640 0 vsize: 14632 [startup+150.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2287 0 0 0 14952 46 0 0 25 0 1 0 752469321 14983168 2264 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3658 2264 566 18 0 3640 0 vsize: 14632 [startup+160.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2287 0 0 0 15950 48 0 0 25 0 1 0 752469321 14983168 2264 4294967295 134512640 134581331 3221221792 3221220704 134527457 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3658 2264 566 18 0 3640 0 vsize: 14632 [startup+170.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2392 0 0 0 16948 51 0 0 25 0 1 0 752469321 15376384 2369 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3754 2369 566 18 0 3736 0 vsize: 15016 [startup+180.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2392 0 0 0 17946 53 0 0 25 0 1 0 752469321 15290368 2350 4294967295 134512640 134581331 3221221792 3221220716 134558020 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3733 2350 566 18 0 3715 0 vsize: 14932 [startup+190.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2466 0 0 0 18943 56 0 0 25 0 1 0 752469321 15679488 2424 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3828 2424 566 18 0 3810 0 vsize: 15312 [startup+200.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2529 0 0 0 19941 58 0 0 25 0 1 0 752469321 15949824 2487 4294967295 134512640 134581331 3221221792 3221220656 134528446 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3894 2487 566 18 0 3876 0 vsize: 15576 [startup+210.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2529 0 0 0 20940 59 0 0 25 0 1 0 752469321 15949824 2487 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3894 2487 566 18 0 3876 0 vsize: 15576 [startup+220.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2548 0 0 0 21938 62 0 0 25 0 1 0 752469321 15949824 2506 4294967295 134512640 134581331 3221221792 3221220736 134558878 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3894 2506 566 18 0 3876 0 vsize: 15576 [startup+230.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2548 0 0 0 22936 64 0 0 25 0 1 0 752469321 15949824 2506 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3894 2506 566 18 0 3876 0 vsize: 15576 [startup+240.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2548 0 0 0 23935 65 0 0 25 0 1 0 752469321 15949824 2506 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3894 2506 566 18 0 3876 0 vsize: 15576 [startup+250.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2561 0 0 0 24933 67 0 0 25 0 1 0 752469321 16076800 2519 4294967295 134512640 134581331 3221221792 3221220656 134528316 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3925 2519 566 18 0 3907 0 vsize: 15700 [startup+260.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2569 0 0 0 25932 69 0 0 25 0 1 0 752469321 16076800 2527 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3925 2527 566 18 0 3907 0 vsize: 15700 [startup+270.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2651 0 0 0 26929 72 0 0 25 0 1 0 752469321 16478208 2609 4294967295 134512640 134581331 3221221792 3221220576 134528763 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4023 2609 566 18 0 4005 0 vsize: 16092 [startup+280.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2669 0 0 0 27926 75 0 0 25 0 1 0 752469321 16478208 2627 4294967295 134512640 134581331 3221221792 3221220576 134528824 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4023 2627 566 18 0 4005 0 vsize: 16092 [startup+290.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2669 0 0 0 28924 77 0 0 25 0 1 0 752469321 16478208 2627 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4023 2627 566 18 0 4005 0 vsize: 16092 [startup+300.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2686 0 0 0 29922 79 0 0 25 0 1 0 752469321 16609280 2644 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4055 2644 566 18 0 4037 0 vsize: 16220 [startup+310.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2686 0 0 0 30919 83 0 0 25 0 1 0 752469321 16609280 2644 4294967295 134512640 134581331 3221221792 3221220736 134558819 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4055 2644 566 18 0 4037 0 vsize: 16220 [startup+320.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2686 0 0 0 31916 86 0 0 25 0 1 0 752469321 16609280 2644 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4055 2644 566 18 0 4037 0 vsize: 16220 [startup+330.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2694 0 0 0 32913 88 0 0 25 0 1 0 752469321 16609280 2652 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4055 2652 566 18 0 4037 0 vsize: 16220 [startup+340.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2738 0 0 0 33912 90 0 0 25 0 1 0 752469321 16736256 2696 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4086 2696 566 18 0 4068 0 vsize: 16344 [startup+350.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2738 0 0 0 34910 92 0 0 25 0 1 0 752469321 16736256 2696 4294967295 134512640 134581331 3221221792 3221220568 1075291317 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4086 2696 566 18 0 4068 0 vsize: 16344 [startup+360.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2738 0 0 0 35908 94 0 0 25 0 1 0 752469321 16736256 2696 4294967295 134512640 134581331 3221221792 3221220656 134528342 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4086 2696 566 18 0 4068 0 vsize: 16344 [startup+370.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2738 0 0 0 36906 96 0 0 25 0 1 0 752469321 16736256 2696 4294967295 134512640 134581331 3221221792 3221220736 134558907 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4086 2696 566 18 0 4068 0 vsize: 16344 [startup+380.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2748 0 0 0 37904 99 0 0 25 0 1 0 752469321 16867328 2706 4294967295 134512640 134581331 3221221792 3221220764 134519895 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4118 2706 566 18 0 4100 0 vsize: 16472 [startup+390.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2748 0 0 0 38902 101 0 0 25 0 1 0 752469321 16867328 2706 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4118 2706 566 18 0 4100 0 vsize: 16472 [startup+400.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2794 0 0 0 39899 104 0 0 25 0 1 0 752469321 16998400 2752 4294967295 134512640 134581331 3221221792 3221220656 134528316 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4150 2752 566 18 0 4132 0 vsize: 16600 [startup+410.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2828 0 0 0 40898 105 0 0 25 0 1 0 752469321 17129472 2786 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4182 2786 566 18 0 4164 0 vsize: 16728 [startup+420.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2876 0 0 0 41896 108 0 0 25 0 1 0 752469321 17391616 2834 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4246 2834 566 18 0 4228 0 vsize: 16984 [startup+430.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2876 0 0 0 42894 109 0 0 25 0 1 0 752469321 17391616 2834 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4246 2834 566 18 0 4228 0 vsize: 16984 [startup+440.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2876 0 0 0 43891 113 0 0 25 0 1 0 752469321 17379328 2834 4294967295 134512640 134581331 3221221792 3221220576 134528817 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4243 2834 566 18 0 4225 0 vsize: 16972 [startup+450.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2940 0 0 0 44888 116 0 0 25 0 1 0 752469321 17641472 2898 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4307 2898 566 18 0 4289 0 vsize: 17228 [startup+460.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2940 0 0 0 45886 118 0 0 25 0 1 0 752469321 17641472 2898 4294967295 134512640 134581331 3221221792 3221220656 134528353 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4307 2898 566 18 0 4289 0 vsize: 17228 [startup+470.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2940 0 0 0 46884 120 0 0 25 0 1 0 752469321 17641472 2898 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4307 2898 566 18 0 4289 0 vsize: 17228 [startup+480.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2940 0 0 0 47882 122 0 0 25 0 1 0 752469321 17637376 2898 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4306 2898 566 18 0 4288 0 vsize: 17224 [startup+490.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2940 0 0 0 48880 125 0 0 25 0 1 0 752469321 17629184 2898 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4304 2898 566 18 0 4286 0 vsize: 17216 [startup+500.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2942 0 0 0 49878 127 0 0 25 0 1 0 752469321 17625088 2900 4294967295 134512640 134581331 3221221792 3221220576 134528844 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4303 2900 566 18 0 4285 0 vsize: 17212 [startup+510.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2957 0 0 0 50876 130 0 0 25 0 1 0 752469321 17625088 2915 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4303 2915 566 18 0 4285 0 vsize: 17212 [startup+520.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2957 0 0 0 51874 132 0 0 25 0 1 0 752469321 17625088 2915 4294967295 134512640 134581331 3221221792 3221220720 134519945 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4303 2915 566 18 0 4285 0 vsize: 17212 [startup+530.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2975 0 0 0 52872 134 0 0 25 0 1 0 752469321 17756160 2933 4294967295 134512640 134581331 3221221792 3221220720 134519850 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4335 2933 566 18 0 4317 0 vsize: 17340 [startup+540.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2975 0 0 0 53870 136 0 0 25 0 1 0 752469321 17756160 2933 4294967295 134512640 134581331 3221221792 3221220656 134528516 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4335 2933 566 18 0 4317 0 vsize: 17340 [startup+550.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2975 0 0 0 54868 138 0 0 25 0 1 0 752469321 17756160 2933 4294967295 134512640 134581331 3221221792 3221220676 134557901 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4335 2933 566 18 0 4317 0 vsize: 17340 [startup+560.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2975 0 0 0 55865 141 0 0 25 0 1 0 752469321 17756160 2933 4294967295 134512640 134581331 3221221792 3221220656 134528541 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4335 2933 566 18 0 4317 0 vsize: 17340 [startup+570.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2975 0 0 0 56864 143 0 0 25 0 1 0 752469321 17756160 2933 4294967295 134512640 134581331 3221221792 3221220656 134528275 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4335 2933 566 18 0 4317 0 vsize: 17340 [startup+580.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2985 0 0 0 57861 146 0 0 25 0 1 0 752469321 17756160 2943 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4335 2943 566 18 0 4317 0 vsize: 17340 [startup+590.025 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 2985 0 0 0 58858 149 0 0 25 0 1 0 752469321 17756160 2943 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4335 2943 566 18 0 4317 0 vsize: 17340 [startup+600.025 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3073 0 0 0 59854 153 0 0 25 0 1 0 752469321 18141184 3031 4294967295 134512640 134581331 3221221792 3221220576 134528791 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4429 3031 566 18 0 4411 0 vsize: 17716 [startup+610.025 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3186 0 0 0 60852 155 0 0 25 0 1 0 752469321 18665472 3144 4294967295 134512640 134581331 3221221792 3221220736 134558842 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4557 3144 566 18 0 4539 0 vsize: 18228 [startup+620.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3255 0 0 0 61850 157 0 0 25 0 1 0 752469321 18935808 3213 4294967295 134512640 134581331 3221221792 3221220704 134527525 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4623 3213 566 18 0 4605 0 vsize: 18492 [startup+630.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3296 0 0 0 62847 160 0 0 25 0 1 0 752469321 19066880 3254 4294967295 134512640 134581331 3221221792 3221220676 134557874 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4655 3254 566 18 0 4637 0 vsize: 18620 [startup+640.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3296 0 0 0 63845 162 0 0 25 0 1 0 752469321 19066880 3254 4294967295 134512640 134581331 3221221792 3221220656 134528521 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4655 3254 566 18 0 4637 0 vsize: 18620 [startup+650.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3296 0 0 0 64844 164 0 0 25 0 1 0 752469321 19066880 3254 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4655 3254 566 18 0 4637 0 vsize: 18620 [startup+660.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3296 0 0 0 65841 167 0 0 25 0 1 0 752469321 19066880 3254 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4655 3254 566 18 0 4637 0 vsize: 18620 [startup+670.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3296 0 0 0 66839 169 0 0 25 0 1 0 752469321 19066880 3254 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4655 3254 566 18 0 4637 0 vsize: 18620 [startup+680.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3296 0 0 0 67837 171 0 0 25 0 1 0 752469321 19066880 3254 4294967295 134512640 134581331 3221221792 3221220576 134528782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4655 3254 566 18 0 4637 0 vsize: 18620 [startup+690.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3356 0 0 0 68835 173 0 0 25 0 1 0 752469321 19324928 3314 4294967295 134512640 134581331 3221221792 3221220612 1075289770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4718 3314 566 18 0 4700 0 vsize: 18872 [startup+700.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3356 0 0 0 69833 176 0 0 25 0 1 0 752469321 19324928 3314 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4718 3314 566 18 0 4700 0 vsize: 18872 [startup+710.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3356 0 0 0 70832 177 0 0 25 0 1 0 752469321 19316736 3314 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4716 3314 566 18 0 4698 0 vsize: 18864 [startup+720.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3356 0 0 0 71830 179 0 0 25 0 1 0 752469321 19304448 3314 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4713 3314 566 18 0 4695 0 vsize: 18852 [startup+730.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3356 0 0 0 72829 180 0 0 25 0 1 0 752469321 19275776 3314 4294967295 134512640 134581331 3221221792 3221220688 134517615 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4706 3314 566 18 0 4688 0 vsize: 18824 [startup+740.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3356 0 0 0 73827 183 0 0 25 0 1 0 752469321 19267584 3314 4294967295 134512640 134581331 3221221792 3221220704 134527709 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4704 3314 566 18 0 4686 0 vsize: 18816 [startup+750.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3356 0 0 0 74825 185 0 0 25 0 1 0 752469321 19267584 3314 4294967295 134512640 134581331 3221221792 3221220624 134528564 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4704 3314 566 18 0 4686 0 vsize: 18816 [startup+760.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3356 0 0 0 75823 187 0 0 25 0 1 0 752469321 19267584 3314 4294967295 134512640 134581331 3221221792 3221220656 134528316 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4704 3314 566 18 0 4686 0 vsize: 18816 [startup+770.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3356 0 0 0 76821 189 0 0 25 0 1 0 752469321 19267584 3314 4294967295 134512640 134581331 3221221792 3221220568 1075291632 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4704 3314 566 18 0 4686 0 vsize: 18816 [startup+780.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3356 0 0 0 77820 190 0 0 25 0 1 0 752469321 19267584 3314 4294967295 134512640 134581331 3221221792 3221220656 134528316 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4704 3314 566 18 0 4686 0 vsize: 18816 [startup+790.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3356 0 0 0 78818 193 0 0 25 0 1 0 752469321 19267584 3314 4294967295 134512640 134581331 3221221792 3221220704 134531400 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4704 3314 566 18 0 4686 0 vsize: 18816 [startup+800.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3356 0 0 0 79815 195 0 0 25 0 1 0 752469321 19267584 3314 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4704 3314 566 18 0 4686 0 vsize: 18816 [startup+810.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3356 0 0 0 80814 197 0 0 25 0 1 0 752469321 19267584 3314 4294967295 134512640 134581331 3221221792 3221220512 134524033 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4704 3314 566 18 0 4686 0 vsize: 18816 [startup+820.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3356 0 0 0 81812 199 0 0 25 0 1 0 752469321 19267584 3314 4294967295 134512640 134581331 3221221792 3221220676 134557939 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4704 3314 566 18 0 4686 0 vsize: 18816 [startup+830.032 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3356 0 0 0 82811 201 0 0 25 0 1 0 752469321 19234816 3311 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4696 3311 566 18 0 4678 0 vsize: 18784 [startup+840.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3356 0 0 0 83808 203 0 0 25 0 1 0 752469321 19226624 3309 4294967295 134512640 134581331 3221221792 3221220656 134560350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4694 3309 566 18 0 4676 0 vsize: 18776 [startup+850.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3356 0 0 0 84807 205 0 0 25 0 1 0 752469321 19222528 3308 4294967295 134512640 134581331 3221221792 3221220720 134519899 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4693 3308 566 18 0 4675 0 vsize: 18772 [startup+860.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3356 0 0 0 85804 207 0 0 25 0 1 0 752469321 19222528 3308 4294967295 134512640 134581331 3221221792 3221220720 134519956 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4693 3308 566 18 0 4675 0 vsize: 18772 [startup+870.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3356 0 0 0 86804 208 0 0 25 0 1 0 752469321 19222528 3308 4294967295 134512640 134581331 3221221792 3221220672 134520288 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4693 3308 566 18 0 4675 0 vsize: 18772 [startup+880.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3356 0 0 0 87800 212 0 0 25 0 1 0 752469321 19222528 3308 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4693 3308 566 18 0 4675 0 vsize: 18772 [startup+890.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3356 0 0 0 88798 214 0 0 25 0 1 0 752469321 19222528 3308 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4693 3308 566 18 0 4675 0 vsize: 18772 [startup+900.032 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3356 0 0 0 89796 217 0 0 25 0 1 0 752469321 19222528 3308 4294967295 134512640 134581331 3221221792 3221220704 134527729 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4693 3308 566 18 0 4675 0 vsize: 18772 [startup+910.032 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3356 0 0 0 90794 219 0 0 25 0 1 0 752469321 19222528 3308 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4693 3308 566 18 0 4675 0 vsize: 18772 [startup+920.032 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3413 0 0 0 91792 221 0 0 25 0 1 0 752469321 19484672 3365 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4757 3365 566 18 0 4739 0 vsize: 19028 [startup+930.033 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3487 0 0 0 92789 223 0 0 25 0 1 0 752469321 19865600 3439 4294967295 134512640 134581331 3221221792 3221220736 134558842 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4850 3439 566 18 0 4832 0 vsize: 19400 [startup+940.032 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3487 0 0 0 93788 225 0 0 25 0 1 0 752469321 19693568 3424 4294967295 134512640 134581331 3221221792 3221220676 134557863 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4808 3424 566 18 0 4790 0 vsize: 19232 [startup+950.033 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3487 0 0 0 94786 228 0 0 25 0 1 0 752469321 19689472 3423 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4807 3423 566 18 0 4789 0 vsize: 19228 [startup+960.033 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3495 0 0 0 95783 230 0 0 25 0 1 0 752469321 19820544 3431 4294967295 134512640 134581331 3221221792 3221220676 134557951 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4839 3431 566 18 0 4821 0 vsize: 19356 [startup+970.033 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3495 0 0 0 96781 233 0 0 25 0 1 0 752469321 19808256 3431 4294967295 134512640 134581331 3221221792 3221220632 134528560 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4836 3431 566 18 0 4818 0 vsize: 19344 [startup+980.033 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3495 0 0 0 97779 234 0 0 25 0 1 0 752469321 19791872 3431 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4832 3431 566 18 0 4814 0 vsize: 19328 [startup+990.033 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3495 0 0 0 98778 236 0 0 25 0 1 0 752469321 19783680 3431 4294967295 134512640 134581331 3221221792 3221220720 134519945 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4830 3431 566 18 0 4812 0 vsize: 19320 [startup+1000.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3495 0 0 0 99775 239 0 0 25 0 1 0 752469321 19771392 3431 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4827 3431 566 18 0 4809 0 vsize: 19308 [startup+1010.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3495 0 0 0 100773 241 0 0 25 0 1 0 752469321 19771392 3431 4294967295 134512640 134581331 3221221792 3221220720 134519797 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4827 3431 566 18 0 4809 0 vsize: 19308 [startup+1020.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3570 0 0 0 101771 243 0 0 25 0 1 0 752469321 20033536 3506 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4891 3506 566 18 0 4873 0 vsize: 19564 [startup+1030.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3570 0 0 0 102770 245 0 0 25 0 1 0 752469321 20033536 3506 4294967295 134512640 134581331 3221221792 3221220656 134528316 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4891 3506 566 18 0 4873 0 vsize: 19564 [startup+1040.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3608 0 0 0 103768 247 0 0 25 0 1 0 752469321 20295680 3544 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4955 3544 566 18 0 4937 0 vsize: 19820 [startup+1050.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3608 0 0 0 104766 249 0 0 25 0 1 0 752469321 20295680 3544 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4955 3544 566 18 0 4937 0 vsize: 19820 [startup+1060.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3608 0 0 0 105764 251 0 0 25 0 1 0 752469321 20295680 3544 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4955 3544 566 18 0 4937 0 vsize: 19820 [startup+1070.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3608 0 0 0 106762 253 0 0 25 0 1 0 752469321 20291584 3544 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4954 3544 566 18 0 4936 0 vsize: 19816 [startup+1080.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3608 0 0 0 107760 255 0 0 25 0 1 0 752469321 20221952 3544 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4937 3544 566 18 0 4919 0 vsize: 19748 [startup+1090.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3608 0 0 0 108758 257 0 0 25 0 1 0 752469321 20176896 3542 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4926 3542 566 18 0 4908 0 vsize: 19704 [startup+1100.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3608 0 0 0 109756 260 0 0 25 0 1 0 752469321 20176896 3542 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4926 3542 566 18 0 4908 0 vsize: 19704 [startup+1110.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3608 0 0 0 110755 261 0 0 25 0 1 0 752469321 20176896 3542 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4926 3542 566 18 0 4908 0 vsize: 19704 [startup+1120.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3608 0 0 0 111753 263 0 0 25 0 1 0 752469321 20176896 3542 4294967295 134512640 134581331 3221221792 3221220656 134528676 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4926 3542 566 18 0 4908 0 vsize: 19704 [startup+1130.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3608 0 0 0 112751 266 0 0 25 0 1 0 752469321 20148224 3535 4294967295 134512640 134581331 3221221792 3221220752 134516745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4919 3535 566 18 0 4901 0 vsize: 19676 [startup+1140.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3608 0 0 0 113749 267 0 0 25 0 1 0 752469321 20148224 3535 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4919 3535 566 18 0 4901 0 vsize: 19676 [startup+1150.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3608 0 0 0 114746 271 0 0 25 0 1 0 752469321 20148224 3535 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4919 3535 566 18 0 4901 0 vsize: 19676 [startup+1160.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3608 0 0 0 115744 273 0 0 25 0 1 0 752469321 20148224 3535 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4919 3535 566 18 0 4901 0 vsize: 19676 [startup+1170.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3608 0 0 0 116743 274 0 0 25 0 1 0 752469321 20148224 3535 4294967295 134512640 134581331 3221221792 3221220576 134528826 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4919 3535 566 18 0 4901 0 vsize: 19676 [startup+1180.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3608 0 0 0 117740 277 0 0 25 0 1 0 752469321 20148224 3535 4294967295 134512640 134581331 3221221792 3221220704 134527769 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4919 3535 566 18 0 4901 0 vsize: 19676 [startup+1188.88 s] Raw data (loadavg): 0.99 0.98 0.99 1/54 2274 Raw data (stat): 2274 (Pueblo) R 2273 7876 7672 0 -1 0 3608 0 0 0 117740 277 0 0 25 0 1 0 752469321 20148224 3535 4294967295 134512640 134581331 3221221792 3221220704 134527769 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4919 3535 566 18 0 4901 0 vsize: 0 Child status: 10 Real time (s): 1188.88 CPU time (s): 1189.02 CPU user time (s): 1186.22 CPU system time (s): 2.79757 CPU usage (%): 100.012 Max. virtual memory (Kb): 19820 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 16 #### END VERIFIER DATA ####