PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

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
Trace number 38571

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-02 14:21:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26637 boxname=wulflinc5 idbench=367 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  f82b685b64af240616b701a750c82883  /oldhome/oroussel/tmp/wulflinc5/normalized-10:20:4.5:0.95:100.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-10:20:4.5:0.95:100.opb
IDLAUNCH: 26637
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        777640 kB
Buffers:         34812 kB
Cached:         199152 kB
SwapCached:        568 kB
Active:          21720 kB
Inactive:       214260 kB
HighTotal:      131008 kB
HighFree:        29036 kB
LowTotal:       903652 kB
LowFree:        748604 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5144 kB
Slab:            15332 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 14:41:05 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26637 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/wulflinc5/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
Enforcing Stack size limit: 67108864 bytes
Raw data (loadavg): 0.92 0.98 0.91 2/54 5823
Raw data (stat): 5823 (runsolver) R 5822 7266 7265 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 850465475 884736 93 4294967295 134512640 135332820 3221224464 3221219748 134517057 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+9.99995 s]
Raw data (loadavg): 0.93 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 1245 0 0 0 992 6 0 0 25 0 1 0 850465475 10780672 1219 4294967295 134512640 134581267 3221224576 3221223440 134560405 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2632 1219 566 18 0 2614 0
vsize: 10528
[startup+20.0004 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 1475 0 0 0 1989 10 0 0 25 0 1 0 850465475 11698176 1449 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2856 1449 566 18 0 2838 0
vsize: 11424
[startup+30.0001 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 1517 0 0 0 2984 15 0 0 25 0 1 0 850465475 11829248 1491 4294967295 134512640 134581267 3221224576 3221223440 134528310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2888 1491 566 18 0 2870 0
vsize: 11552
[startup+40.0002 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 1657 0 0 0 3980 19 0 0 25 0 1 0 850465475 12353536 1631 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3016 1631 566 18 0 2998 0
vsize: 12064
[startup+50.0006 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 1741 0 0 0 4977 23 0 0 25 0 1 0 850465475 12742656 1715 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3111 1715 566 18 0 3093 0
vsize: 12444
[startup+60.0003 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 1789 0 0 0 5973 27 0 0 25 0 1 0 850465475 13004800 1763 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3175 1763 566 18 0 3157 0
vsize: 12700
[startup+70.0014 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 1834 0 0 0 6970 30 0 0 25 0 1 0 850465475 13135872 1808 4294967295 134512640 134581267 3221224576 3221223456 134526889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3207 1808 566 18 0 3189 0
vsize: 12828
[startup+80.0022 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 1948 0 0 0 7965 35 0 0 25 0 1 0 850465475 13660160 1922 4294967295 134512640 134581267 3221224576 3221223440 134528315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3335 1922 566 18 0 3317 0
vsize: 13340
[startup+90.0016 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 1974 0 0 0 8960 39 0 0 25 0 1 0 850465475 13660160 1948 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3335 1948 566 18 0 3317 0
vsize: 13340
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 1974 0 0 0 9957 43 0 0 25 0 1 0 850465475 13660160 1948 4294967295 134512640 134581267 3221224576 3221223352 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3335 1948 566 18 0 3317 0
vsize: 13340
[startup+110.002 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2047 0 0 0 10952 48 0 0 25 0 1 0 850465475 14053376 2021 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3431 2021 566 18 0 3413 0
vsize: 13724
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2079 0 0 0 11950 50 0 0 25 0 1 0 850465475 14180352 2053 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3462 2053 566 18 0 3444 0
vsize: 13848
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2090 0 0 0 12947 54 0 0 25 0 1 0 850465475 14168064 2064 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3459 2064 566 18 0 3441 0
vsize: 13836
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2101 0 0 0 13944 57 0 0 25 0 1 0 850465475 14168064 2075 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3459 2075 566 18 0 3441 0
vsize: 13836
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2146 0 0 0 14940 61 0 0 25 0 1 0 850465475 14422016 2120 4294967295 134512640 134581267 3221224576 3221223548 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3521 2120 566 18 0 3503 0
vsize: 14084
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2226 0 0 0 15936 65 0 0 25 0 1 0 850465475 14807040 2200 4294967295 134512640 134581267 3221224576 3221223520 134558889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3615 2200 566 18 0 3597 0
vsize: 14460
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2274 0 0 0 16932 69 0 0 25 0 1 0 850465475 14938112 2248 4294967295 134512640 134581267 3221224576 3221223488 134527667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3647 2248 566 18 0 3629 0
vsize: 14588
[startup+180.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2314 0 0 0 17929 73 0 0 25 0 1 0 850465475 15069184 2288 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3679 2288 566 18 0 3661 0
vsize: 14716
[startup+190.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2314 0 0 0 18924 78 0 0 25 0 1 0 850465475 15069184 2288 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3679 2288 566 18 0 3661 0
vsize: 14716
[startup+200.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2334 0 0 0 19921 81 0 0 25 0 1 0 850465475 15200256 2308 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3711 2308 566 18 0 3693 0
vsize: 14844
[startup+210.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2336 0 0 0 20917 85 0 0 25 0 1 0 850465475 15200256 2310 4294967295 134512640 134581267 3221224576 3221223264 1075288830 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3711 2310 566 18 0 3693 0
vsize: 14844
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2355 0 0 0 21915 88 0 0 25 0 1 0 850465475 15331328 2329 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3743 2329 566 18 0 3725 0
vsize: 14972
[startup+230.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2396 0 0 0 22912 91 0 0 25 0 1 0 850465475 15462400 2370 4294967295 134512640 134581267 3221224576 3221223440 134528352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3775 2370 566 18 0 3757 0
vsize: 15100
[startup+240.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2456 0 0 0 23908 95 0 0 25 0 1 0 850465475 15724544 2430 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3839 2430 566 18 0 3821 0
vsize: 15356
[startup+250.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2458 0 0 0 24905 98 0 0 25 0 1 0 850465475 15724544 2432 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3839 2432 566 18 0 3821 0
vsize: 15356
[startup+260.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2510 0 0 0 25904 99 0 0 25 0 1 0 850465475 15855616 2484 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3871 2484 566 18 0 3853 0
vsize: 15484
[startup+270.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2510 0 0 0 26902 102 0 0 25 0 1 0 850465475 15855616 2484 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3871 2484 566 18 0 3853 0
vsize: 15484
[startup+280.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2510 0 0 0 27899 105 0 0 25 0 1 0 850465475 15855616 2484 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3871 2484 566 18 0 3853 0
vsize: 15484
[startup+290.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2519 0 0 0 28895 108 0 0 25 0 1 0 850465475 15986688 2493 4294967295 134512640 134581267 3221224576 3221223456 134520241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3903 2493 566 18 0 3885 0
vsize: 15612
[startup+300.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2519 0 0 0 29892 111 0 0 25 0 1 0 850465475 15986688 2493 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3903 2493 566 18 0 3885 0
vsize: 15612
[startup+310.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2519 0 0 0 30888 116 0 0 25 0 1 0 850465475 15974400 2493 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3900 2493 566 18 0 3882 0
vsize: 15600
[startup+320.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2519 0 0 0 31885 119 0 0 25 0 1 0 850465475 15958016 2493 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3896 2493 566 18 0 3878 0
vsize: 15584
[startup+330.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2519 0 0 0 32883 121 0 0 25 0 1 0 850465475 15945728 2493 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3893 2493 566 18 0 3875 0
vsize: 15572
[startup+340.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2519 0 0 0 33880 125 0 0 25 0 1 0 850465475 15945728 2493 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3893 2493 566 18 0 3875 0
vsize: 15572
[startup+350.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2519 0 0 0 34877 127 0 0 25 0 1 0 850465475 15945728 2493 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3893 2493 566 18 0 3875 0
vsize: 15572
[startup+360.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2520 0 0 0 35875 130 0 0 25 0 1 0 850465475 15945728 2494 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3893 2494 566 18 0 3875 0
vsize: 15572
[startup+370.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2649 0 0 0 36872 134 0 0 25 0 1 0 850465475 16470016 2623 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4021 2623 566 18 0 4003 0
vsize: 16084
[startup+380.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2673 0 0 0 37869 137 0 0 25 0 1 0 850465475 16601088 2647 4294967295 134512640 134581267 3221224576 3221223520 134558791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2647 566 18 0 4035 0
vsize: 16212
[startup+390.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2709 0 0 0 38867 139 0 0 25 0 1 0 850465475 16732160 2683 4294967295 134512640 134581267 3221224576 3221223504 134519880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4085 2683 566 18 0 4067 0
vsize: 16340
[startup+400.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2709 0 0 0 39863 143 0 0 25 0 1 0 850465475 16723968 2683 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4083 2683 566 18 0 4065 0
vsize: 16332
[startup+410.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2709 0 0 0 40860 146 0 0 25 0 1 0 850465475 16719872 2683 4294967295 134512640 134581267 3221224576 3221223488 134527739 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4082 2683 566 18 0 4064 0
vsize: 16328
[startup+420.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2726 0 0 0 41856 150 0 0 25 0 1 0 850465475 16850944 2700 4294967295 134512640 134581267 3221224576 3221223456 134520282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4114 2700 566 18 0 4096 0
vsize: 16456
[startup+430.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2732 0 0 0 42853 153 0 0 25 0 1 0 850465475 16850944 2706 4294967295 134512640 134581267 3221224576 3221223472 134517931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4114 2706 566 18 0 4096 0
vsize: 16456
[startup+440.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2746 0 0 0 43849 157 0 0 25 0 1 0 850465475 16850944 2720 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4114 2720 566 18 0 4096 0
vsize: 16456
[startup+450.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2746 0 0 0 44844 162 0 0 25 0 1 0 850465475 16850944 2720 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4114 2720 566 18 0 4096 0
vsize: 16456
[startup+460.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2746 0 0 0 45840 167 0 0 25 0 1 0 850465475 16850944 2720 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4114 2720 566 18 0 4096 0
vsize: 16456
[startup+470.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2746 0 0 0 46836 171 0 0 25 0 1 0 850465475 16850944 2720 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4114 2720 566 18 0 4096 0
vsize: 16456
[startup+480.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2758 0 0 0 47832 175 0 0 25 0 1 0 850465475 16982016 2732 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4146 2732 566 18 0 4128 0
vsize: 16584
[startup+490.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2768 0 0 0 48827 180 0 0 25 0 1 0 850465475 16982016 2742 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4146 2742 566 18 0 4128 0
vsize: 16584
[startup+500.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2790 0 0 0 49823 185 0 0 25 0 1 0 850465475 17113088 2764 4294967295 134512640 134581267 3221224576 3221223440 134528318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4178 2764 566 18 0 4160 0
vsize: 16712
[startup+510.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2793 0 0 0 50819 189 0 0 25 0 1 0 850465475 17039360 2767 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4160 2767 566 18 0 4142 0
vsize: 16640
[startup+520.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2793 0 0 0 51816 192 0 0 25 0 1 0 850465475 17039360 2767 4294967295 134512640 134581267 3221224576 3221223440 134560451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4160 2767 566 18 0 4142 0
vsize: 16640
[startup+530.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2793 0 0 0 52812 197 0 0 25 0 1 0 850465475 17039360 2767 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4160 2767 566 18 0 4142 0
vsize: 16640
[startup+540.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2857 0 0 0 53807 201 0 0 25 0 1 0 850465475 17301504 2831 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 2831 566 18 0 4206 0
vsize: 16896
[startup+550.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2896 0 0 0 54803 206 0 0 25 0 1 0 850465475 17432576 2870 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4256 2870 566 18 0 4238 0
vsize: 17024
[startup+560.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2896 0 0 0 55799 210 0 0 25 0 1 0 850465475 17432576 2870 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4256 2870 566 18 0 4238 0
vsize: 17024
[startup+570.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2896 0 0 0 56795 214 0 0 25 0 1 0 850465475 17432576 2870 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4256 2870 566 18 0 4238 0
vsize: 17024
[startup+580.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2900 0 0 0 57792 218 0 0 25 0 1 0 850465475 17563648 2874 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4288 2874 566 18 0 4270 0
vsize: 17152
[startup+590.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2903 0 0 0 58787 223 0 0 25 0 1 0 850465475 17530880 2877 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4280 2877 566 18 0 4262 0
vsize: 17120
[startup+600.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2931 0 0 0 59783 226 0 0 25 0 1 0 850465475 17661952 2905 4294967295 134512640 134581267 3221224576 3221223568 134561087 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4312 2905 566 18 0 4294 0
vsize: 17248
[startup+610.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2931 0 0 0 60779 230 0 0 25 0 1 0 850465475 17649664 2905 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4309 2905 566 18 0 4291 0
vsize: 17236
[startup+620.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2933 0 0 0 61776 234 0 0 25 0 1 0 850465475 17641472 2907 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4307 2907 566 18 0 4289 0
vsize: 17228
[startup+630.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2935 0 0 0 62773 237 0 0 25 0 1 0 850465475 17641472 2909 4294967295 134512640 134581267 3221224576 3221223536 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4307 2909 566 18 0 4289 0
vsize: 17228
[startup+640.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2942 0 0 0 63769 241 0 0 25 0 1 0 850465475 17641472 2916 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4307 2916 566 18 0 4289 0
vsize: 17228
[startup+650.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2945 0 0 0 64766 244 0 0 25 0 1 0 850465475 17776640 2919 4294967295 134512640 134581267 3221224576 3221223440 134528315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 2919 566 18 0 4322 0
vsize: 17360
[startup+660.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2964 0 0 0 65763 247 0 0 25 0 1 0 850465475 17776640 2938 4294967295 134512640 134581267 3221224576 3221223520 134558830 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 2938 566 18 0 4322 0
vsize: 17360
[startup+670.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2983 0 0 0 66760 251 0 0 25 0 1 0 850465475 17907712 2957 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4372 2957 566 18 0 4354 0
vsize: 17488
[startup+680.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2992 0 0 0 67756 255 0 0 25 0 1 0 850465475 17907712 2966 4294967295 134512640 134581267 3221224576 3221223472 134517608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4372 2966 566 18 0 4354 0
vsize: 17488
[startup+690.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2994 0 0 0 68751 260 0 0 25 0 1 0 850465475 17907712 2968 4294967295 134512640 134581267 3221224576 3221223520 134558912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4372 2968 566 18 0 4354 0
vsize: 17488
[startup+700.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2998 0 0 0 69748 263 0 0 25 0 1 0 850465475 17907712 2972 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4372 2972 566 18 0 4354 0
vsize: 17488
[startup+710.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2998 0 0 0 70745 266 0 0 25 0 1 0 850465475 17907712 2972 4294967295 134512640 134581267 3221224576 3221223440 134528299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4372 2972 566 18 0 4354 0
vsize: 17488
[startup+720.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2998 0 0 0 71741 271 0 0 25 0 1 0 850465475 17907712 2972 4294967295 134512640 134581267 3221224576 3221223488 134531369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4372 2972 566 18 0 4354 0
vsize: 17488
[startup+730.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2998 0 0 0 72738 274 0 0 25 0 1 0 850465475 17907712 2972 4294967295 134512640 134581267 3221224576 3221223440 134528315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4372 2972 566 18 0 4354 0
vsize: 17488
[startup+740.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2998 0 0 0 73735 277 0 0 25 0 1 0 850465475 17907712 2972 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4372 2972 566 18 0 4354 0
vsize: 17488
[startup+750.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2998 0 0 0 74732 281 0 0 25 0 1 0 850465475 17907712 2972 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4372 2972 566 18 0 4354 0
vsize: 17488
[startup+760.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2998 0 0 0 75728 285 0 0 25 0 1 0 850465475 17899520 2972 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4370 2972 566 18 0 4352 0
vsize: 17480
[startup+770.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2998 0 0 0 76724 289 0 0 25 0 1 0 850465475 17899520 2972 4294967295 134512640 134581267 3221224576 3221223520 134558800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4370 2972 566 18 0 4352 0
vsize: 17480
[startup+780.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2998 0 0 0 77721 291 0 0 25 0 1 0 850465475 17883136 2972 4294967295 134512640 134581267 3221224576 3221223488 134531369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4366 2972 566 18 0 4348 0
vsize: 17464
[startup+790.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2998 0 0 0 78718 295 0 0 25 0 1 0 850465475 17883136 2972 4294967295 134512640 134581267 3221224576 3221223440 134528238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4366 2972 566 18 0 4348 0
vsize: 17464
[startup+800.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2998 0 0 0 79713 300 0 0 25 0 1 0 850465475 17883136 2972 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4366 2972 566 18 0 4348 0
vsize: 17464
[startup+810.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 2999 0 0 0 80710 304 0 0 25 0 1 0 850465475 17883136 2973 4294967295 134512640 134581267 3221224576 3221223520 134558865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4366 2973 566 18 0 4348 0
vsize: 17464
[startup+820.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3176 0 0 0 81707 307 0 0 25 0 1 0 850465475 18669568 3150 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4558 3150 566 18 0 4540 0
vsize: 18232
[startup+830.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3206 0 0 0 82704 310 0 0 25 0 1 0 850465475 18800640 3180 4294967295 134512640 134581267 3221224576 3221223440 134528284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4590 3180 566 18 0 4572 0
vsize: 18360
[startup+840.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3250 0 0 0 83701 313 0 0 25 0 1 0 850465475 18931712 3224 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4622 3224 566 18 0 4604 0
vsize: 18488
[startup+850.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3250 0 0 0 84699 315 0 0 25 0 1 0 850465475 18931712 3224 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4622 3224 566 18 0 4604 0
vsize: 18488
[startup+860.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3250 0 0 0 85696 318 0 0 25 0 1 0 850465475 18919424 3224 4294967295 134512640 134581267 3221224576 3221223440 134528315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4619 3224 566 18 0 4601 0
vsize: 18476
[startup+870.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3250 0 0 0 86694 321 0 0 25 0 1 0 850465475 18841600 3211 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4600 3211 566 18 0 4582 0
vsize: 18400
[startup+880.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3250 0 0 0 87690 325 0 0 25 0 1 0 850465475 18841600 3211 4294967295 134512640 134581267 3221224576 3221223456 134520222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4600 3211 566 18 0 4582 0
vsize: 18400
[startup+890.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3268 0 0 0 88686 329 0 0 25 0 1 0 850465475 18972672 3229 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4632 3229 566 18 0 4614 0
vsize: 18528
[startup+900.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3273 0 0 0 89684 332 0 0 25 0 1 0 850465475 18972672 3234 4294967295 134512640 134581267 3221224576 3221223456 134520233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4632 3234 566 18 0 4614 0
vsize: 18528
[startup+910.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3273 0 0 0 90681 334 0 0 25 0 1 0 850465475 18972672 3234 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4632 3234 566 18 0 4614 0
vsize: 18528
[startup+920.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3290 0 0 0 91677 339 0 0 25 0 1 0 850465475 19103744 3251 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4664 3251 566 18 0 4646 0
vsize: 18656
[startup+930.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3306 0 0 0 92673 343 0 0 25 0 1 0 850465475 19103744 3267 4294967295 134512640 134581267 3221224576 3221223552 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4664 3267 566 18 0 4646 0
vsize: 18656
[startup+940.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3359 0 0 0 93669 347 0 0 25 0 1 0 850465475 19365888 3320 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4728 3320 566 18 0 4710 0
vsize: 18912
[startup+950.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3359 0 0 0 94667 349 0 0 25 0 1 0 850465475 19263488 3314 4294967295 134512640 134581267 3221224576 3221223456 134520297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4703 3314 566 18 0 4685 0
vsize: 18812
[startup+960.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3363 0 0 0 95663 353 0 0 25 0 1 0 850465475 19386368 3317 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4733 3317 566 18 0 4715 0
vsize: 18932
[startup+970.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3364 0 0 0 96661 356 0 0 25 0 1 0 850465475 19382272 3318 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4732 3318 566 18 0 4714 0
vsize: 18928
[startup+980.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3372 0 0 0 97659 358 0 0 25 0 1 0 850465475 19382272 3326 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4732 3326 566 18 0 4714 0
vsize: 18928
[startup+990.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3405 0 0 0 98656 361 0 0 25 0 1 0 850465475 19513344 3359 4294967295 134512640 134581267 3221224576 3221223440 134528291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4764 3359 566 18 0 4746 0
vsize: 19056
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3405 0 0 0 99654 363 0 0 25 0 1 0 850465475 19513344 3359 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4764 3359 566 18 0 4746 0
vsize: 19056
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3405 0 0 0 100651 367 0 0 25 0 1 0 850465475 19415040 3352 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4740 3352 566 18 0 4722 0
vsize: 18960
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3405 0 0 0 101648 370 0 0 25 0 1 0 850465475 19410944 3351 4294967295 134512640 134581267 3221224576 3221223440 134528222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4739 3351 566 18 0 4721 0
vsize: 18956
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3405 0 0 0 102644 374 0 0 25 0 1 0 850465475 19410944 3351 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4739 3351 566 18 0 4721 0
vsize: 18956
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3405 0 0 0 103641 377 0 0 25 0 1 0 850465475 19410944 3351 4294967295 134512640 134581267 3221224576 3221223544 134527292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4739 3351 566 18 0 4721 0
vsize: 18956
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3421 0 0 0 104639 379 0 0 25 0 1 0 850465475 19542016 3367 4294967295 134512640 134581267 3221224576 3221223504 134520027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4771 3367 566 18 0 4753 0
vsize: 19084
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3421 0 0 0 105635 383 0 0 25 0 1 0 850465475 19542016 3367 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4771 3367 566 18 0 4753 0
vsize: 19084
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3421 0 0 0 106633 386 0 0 25 0 1 0 850465475 19542016 3367 4294967295 134512640 134581267 3221224576 3221223536 134516716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4771 3367 566 18 0 4753 0
vsize: 19084
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3421 0 0 0 107629 389 0 0 25 0 1 0 850465475 19542016 3367 4294967295 134512640 134581267 3221224576 3221223440 134526971 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4771 3367 566 18 0 4753 0
vsize: 19084
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3421 0 0 0 108627 392 0 0 25 0 1 0 850465475 19537920 3367 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4770 3367 566 18 0 4752 0
vsize: 19080
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3421 0 0 0 109623 396 0 0 25 0 1 0 850465475 19525632 3367 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4767 3367 566 18 0 4749 0
vsize: 19068
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3421 0 0 0 110619 400 0 0 25 0 1 0 850465475 19509248 3367 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4763 3367 566 18 0 4745 0
vsize: 19052
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3421 0 0 0 111618 402 0 0 25 0 1 0 850465475 19492864 3367 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4759 3367 566 18 0 4741 0
vsize: 19036
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3421 0 0 0 112615 405 0 0 25 0 1 0 850465475 19484672 3367 4294967295 134512640 134581267 3221224576 3221223440 134528216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4757 3367 566 18 0 4739 0
vsize: 19028
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3422 0 0 0 113612 407 0 0 25 0 1 0 850465475 19484672 3368 4294967295 134512640 134581267 3221224576 3221223440 134528315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4757 3368 566 18 0 4739 0
vsize: 19028
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3422 0 0 0 114609 411 0 0 25 0 1 0 850465475 19484672 3368 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4757 3368 566 18 0 4739 0
vsize: 19028
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3422 0 0 0 115605 415 0 0 25 0 1 0 850465475 19484672 3368 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4757 3368 566 18 0 4739 0
vsize: 19028
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3422 0 0 0 116602 418 0 0 25 0 1 0 850465475 19484672 3368 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4757 3368 566 18 0 4739 0
vsize: 19028
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3422 0 0 0 117599 422 0 0 25 0 1 0 850465475 19484672 3368 4294967295 134512640 134581267 3221224576 3221223368 1075289350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4757 3368 566 18 0 4739 0
vsize: 19028
[startup+1188.82 s]
Raw data (loadavg): 0.99 0.98 0.91 1/53 5823
Raw data (stat): 5823 (Pueblo-v2) R 5822 7266 7265 0 -1 0 3422 0 0 0 117599 422 0 0 25 0 1 0 850465475 19484672 3368 4294967295 134512640 134581267 3221224576 3221223368 1075289350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4757 3368 566 18 0 4739 0
vsize: 0

Child status: 10
Real time (s): 1188.82
CPU time (s): 1189.01
CPU user time (s): 1184.75
CPU system time (s): 4.26035
CPU usage (%): 100.016
Max. virtual memory (Kb): 19084
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	16
#### END VERIFIER DATA ####