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:98.opb
MD5SUM	a89f4ed95903fddf213992506514bcf0
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	16
Optimality of the best value was proved	NO
Number of terms in the objective function	906
Biggest coefficient in the objective function	553
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	2526
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	553
Number of bits of the biggest number in a constraint	10
Biggest sum of numbers in a constraint	2526
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.04184
Number of variables	906
Total number of constraints	1944
Number of constraints which are clauses	852
Number of constraints which are cardinality constraints (but not clauses)	1092
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	18
Trace number 38575

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-02 14:38:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26641 boxname=wulflinc1 idbench=371 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  a89f4ed95903fddf213992506514bcf0  /oldhome/oroussel/tmp/wulflinc1/normalized-10:20:4.5:0.95:98.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-10:20:4.5:0.95:98.opb
IDLAUNCH: 26641
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        915988 kB
Buffers:         17256 kB
Cached:          77548 kB
SwapCached:        668 kB
Active:          20876 kB
Inactive:        76176 kB
HighTotal:      131008 kB
HighFree:        57820 kB
LowTotal:       903652 kB
LowFree:        858168 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5820 kB
Slab:            15768 kB
Committed_AS:    92704 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 14:58:25 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 26641 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/wulflinc1/normalized-10:20:4.5:0.95:98.opb
c #variables read: 906 - #constraints read: 1945
s SATISFIABLE
v -v785 v740 v420 v82 -v860 v744 v418 -v859 -v784 -v501 -v307 v85 -v788 v419 v86 v63 -v861 -v504 -v424 -v354 v306 v62 -v863 -v789 v573 -v505 v64 v572 -v478 -v441 -v353 -v312 v65 v27 -v864 v574 -v477 -v310 -v102 v66 -v866 -v810 v575 -v479 -v440 -v359 -v262 -v185 -v101 v73 v26 -v867 -v814 v576 -v482 -v357 -v311 -v190 -v107 v67 v30 -v697 -v583 -v481 -v446 -v399 -v315 -v265 -v216 -v189 -v143 v106 v68 -v701 -v577 -v486 -v444 -v358 -v266 -v142 -v108 v69 v31 v2 -v578 -v485 -v398 -v362 -v192 -v166 -v144 v112 v1 -v660 -v579 -v483 -v445 -v193 v147 v111 v7 -v659 -v594 -v558 -v484 -v449 -v404 -v196 -v165 v146 v109 v6 -v661 -v598 -v557 -v402 -v194 v151 v110 v8 -v662 -v559 -v332 -v195 v171 v150 v12 -v663 -v562 -v403 v169 v148 v11 -v668 -v561 -v407 v335 -v149 v9 -v664 -v563 v336 v170 v10 v739 v421 v81 -v855 v743 -v854 -v786 -v500 -v425 v302 v87 -v790 -v423 -v862 -v506 -v349 v308 -v865 -v869 -v835 -v792 -v436 -v355 -v313 -v90 v76 -v868 -v839 -v793 v77 -v809 -v586 -v509 -v442 -v360 -v316 -v261 v212 v72 v28 -v813 -v587 -v480 -v314 -v184 -v103 v32 -v696 -v582 -v494 -v447 -v394 -v363 -v267 -v215 -v186 v104 v70 -v700 -v490 -v361 -v191 v105 -v580 -v489 -v450 -v400 -v188 -v161 v116 v34 -v448 -v197 -v145 v35 v3 -v593 -v542 -v405 -v270 -v167 v159 v4 -v597 v155 v5 -v671 -v408 -v331 v172 v154 v16 -v672 -v560 -v406 -v667 -v571 -v466 v337 v173 -v567 -v470 v174 -v781 v741 -v496 v422 v83 v745 v426 -v787 -v502 v88 -v856 -v791 v301 -v857 -v795 -v747 -v507 v303 v91 v75 -v858 -v794 -v748 -v348 v309 -v89 v74 -v22 -v873 -v834 -v761 -v585 -v510 -v350 v305 -v257 -v21 -v838 -v765 -v584 -v508 -v435 -v356 -v317 -v811 -v491 -v437 -v352 -v263 v211 v29 -v815 -v493 -v443 -v364 v33 -v698 -v439 -v268 -v217 v119 v71 v37 -v702 -v451 -v393 -v187 v120 v36 -v817 -v581 -v538 -v487 -v395 -v271 -v205 -v156 v115 -v818 -v401 -v269 -v201 -v160 -v158 -v704 -v670 -v595 -v541 -v488 -v397 -v327 -v220 -v200 v162 v113 v19 -v705 -v669 -v599 -v409 -v168 v20 -v722 -v568 -v333 v164 v152 v15 -v726 -v570 v175 -v665 -v601 -v465 v338 -v153 -v131 v13 -v602 -v566 -v469 v742 v434 v79 -v780 v746 -v495 v430 v84 -v782 -v750 -v497 v429 v80 -v783 -v749 v503 v92 -v876 -v799 v499 -v877 -v805 v511 v304 -v872 -v836 -v804 v760 v325 -v207 -v840 -v764 -v692 -v492 -v351 -v321 -v256 v23 -v884 -v870 -v812 -v691 -v372 -v320 -v258 v213 -v118 v24 -v888 -v816 -v438 -v368 -v264 -v117 v25 -v842 -v820 -v699 -v459 -v367 v260 v218 -v202 v41 -v843 -v819 -v703 -v589 -v455 -v272 -v204 -v157 -v707 -v588 -v537 -v454 -v221 v18 -v706 -v396 -v219 v17 -v596 -v543 -v417 -v198 -v114 -v600 -v569 -v413 -v326 v163 -v721 -v604 -v412 -v328 -v199 v183 v127 -v725 -v603 -v334 v179 -v666 -v546 -v467 v330 -v178 v130 v14 -v564 -v471 v339 v903 v433 v78 -v875 -v802 -v754 v427 v100 -v874 -v830 -v803 -v498 v96 -v829 -v798 -v519 v428 -v322 v95 v515 v324 v837 -v796 v762 -v514 -v369 -v841 -v806 -v766 -v371 v206 -v883 -v871 -v845 -v807 -v456 -v318 v291 v208 v44 -v887 -v844 -v808 -v693 -v458 v259 v214 -v203 v45 -v824 -v768 -v694 -v533 -v383 -v365 -v319 v280 v210 v40 -v769 -v695 v276 v222 -v711 -v619 v539 -v452 -v414 -v366 v275 v38 -v623 -v590 -v416 -v591 -v544 -v453 v180 -v592 -v461 v182 -v723 -v608 -v547 -v460 -v410 v126 -v727 -v545 v329 v468 -v411 v347 -v176 v132 -v565 v472 v343 -v801 v431 v97 -v800 v99 -v753 v654 -v516 v756 -v518 -v323 v755 -v751 v521 v93 -v831 v525 -v370 -v832 -v797 v763 -v512 -v287 -v249 -v94 v43 v833 -v767 -v457 v42 -v885 -v849 -v827 -v771 -v513 -v379 v290 -v277 -v889 -v828 -v770 -v279 v209 -v823 -v714 -v382 v230 -v715 -v532 -v415 v226 -v891 -v821 -v710 -v641 -v618 -v534 v273 v225 v39 -v892 -v717 -v645 -v622 v540 -v181 -v716 -v708 -v679 -v611 v536 v274 -v122 v55 -v683 -v612 -v548 -v724 -v607 v344 v128 -v728 v462 v346 -v729 -v605 v463 -v240 -v177 v133 -v730 v464 v342 -v904 v432 v98 -v517 v653 -v752 v520 -v245 v879 v757 v524 v878 -v852 -v826 v758 -v286 -v248 -v853 -v825 v759 -v278 -v886 -v848 -v775 -v713 -v378 v292 -v227 -v890 -v712 v229 -v894 -v846 -v384 -v893 -v822 -v640 -v620 -v610 -v295 v223 v51 -v644 -v624 -v609 -v535 -v709 -v678 -v556 v387 v224 v54 -v718 -v682 v552 -v345 v121 -v719 -v626 -v551 v236 v123 -v720 -v627 v129 -v734 -v606 -v475 v239 v125 v476 v340 v134 v655 -v851 v522 -v282 -v244 -v850 v526 -v778 -v657 -v374 -v288 -v250 v880 v779 -v228 v881 -v774 -v528 v380 v293 v882 -v614 -v529 -v898 -v847 -v772 -v613 -v385 v296 v253 -v294 -v642 -v621 -v553 v388 v50 -v646 -v625 -v555 v386 -v680 -v629 v56 -v684 -v628 -v737 -v648 -v549 -v474 v235 -v738 -v649 -v473 v124 -v733 v686 -v550 v241 -v141 v59 v687 -v341 v137 -v777 v658 v523 v246 -v776 -v656 v527 -v281 -v531 -v283 -v251 -v530 v373 v289 v901 v375 v285 v254 v902 -v636 v381 v297 v252 -v897 -v773 -v635 v377 -v48 -v674 -v615 -v554 v389 -v895 -v673 -v643 v616 v52 -v647 v617 -v736 -v681 -v651 -v632 v233 v57 -v735 -v685 -v650 v689 v237 -v138 v60 v688 -v140 v58 -v731 v242 v135 v247 v900 v905 v899 -v284 v255 -v300 v376 v298 v392 v299 v637 v390 v47 -v896 v638 -v634 v391 v46 -v675 v639 -v633 v53 -v676 -v652 -v630 v49 v677 v232 -v139 v61 v690 -v631 v231 v238 -v732 v234 v243 v136 one 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/55 4446
Raw data (stat): 4446 (runsolver) R 4445 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 793712845 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 1176 0 0 0 993 5 0 0 25 0 1 0 793712845 10407936 1150 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2541 1150 566 18 0 2523 0
vsize: 10164
[startup+19.9999 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 1377 0 0 0 1990 9 0 0 25 0 1 0 793712845 11194368 1351 4294967295 134512640 134581267 3221224576 3221223440 134528318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2733 1351 566 18 0 2715 0
vsize: 10932
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 1469 0 0 0 2987 11 0 0 25 0 1 0 793712845 11587584 1443 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2829 1443 566 18 0 2811 0
vsize: 11316
[startup+40.0005 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 1614 0 0 0 3984 15 0 0 25 0 1 0 793712845 12242944 1588 4294967295 134512640 134581267 3221224576 3221223352 1075291634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2989 1588 566 18 0 2971 0
vsize: 11956
[startup+50.0003 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 1705 0 0 0 4980 18 0 0 25 0 1 0 793712845 12636160 1679 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3085 1679 566 18 0 3067 0
vsize: 12340
[startup+60.0001 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 1739 0 0 0 5978 21 0 0 25 0 1 0 793712845 12767232 1713 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3117 1713 566 18 0 3099 0
vsize: 12468
[startup+69.9998 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 1803 0 0 0 6975 24 0 0 25 0 1 0 793712845 13029376 1777 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3181 1777 566 18 0 3163 0
vsize: 12724
[startup+80.0006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 1838 0 0 0 7972 27 0 0 25 0 1 0 793712845 13160448 1812 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3213 1812 566 18 0 3195 0
vsize: 12852
[startup+90.0004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 1838 0 0 0 8970 29 0 0 25 0 1 0 793712845 13160448 1812 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3213 1812 566 18 0 3195 0
vsize: 12852
[startup+100 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 1951 0 0 0 9967 33 0 0 25 0 1 0 793712845 13553664 1925 4294967295 134512640 134581267 3221224576 3221223456 134520235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3309 1925 566 18 0 3291 0
vsize: 13236
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 1951 0 0 0 10965 35 0 0 25 0 1 0 793712845 13553664 1925 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3309 1925 566 18 0 3291 0
vsize: 13236
[startup+120.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 1980 0 0 0 11963 37 0 0 25 0 1 0 793712845 13684736 1954 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3341 1954 566 18 0 3323 0
vsize: 13364
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 1997 0 0 0 12961 39 0 0 25 0 1 0 793712845 13815808 1971 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3373 1971 566 18 0 3355 0
vsize: 13492
[startup+140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2069 0 0 0 13957 44 0 0 25 0 1 0 793712845 14077952 2043 4294967295 134512640 134581267 3221224576 3221222032 134566325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3437 2043 566 18 0 3419 0
vsize: 13748
[startup+150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2082 0 0 0 14953 48 0 0 25 0 1 0 793712845 14209024 2056 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3469 2056 566 18 0 3451 0
vsize: 13876
[startup+160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2120 0 0 0 15949 52 0 0 25 0 1 0 793712845 14340096 2094 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3501 2094 566 18 0 3483 0
vsize: 14004
[startup+170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2120 0 0 0 16946 55 0 0 25 0 1 0 793712845 14336000 2094 4294967295 134512640 134581267 3221224576 3221223504 134519812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3500 2094 566 18 0 3482 0
vsize: 14000
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2120 0 0 0 17943 58 0 0 25 0 1 0 793712845 14274560 2094 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3485 2094 566 18 0 3467 0
vsize: 13940
[startup+190.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2138 0 0 0 18940 61 0 0 25 0 1 0 793712845 14401536 2112 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3516 2112 566 18 0 3498 0
vsize: 14064
[startup+200.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2277 0 0 0 19937 64 0 0 25 0 1 0 793712845 14925824 2251 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3644 2251 566 18 0 3626 0
vsize: 14576
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2354 0 0 0 20935 66 0 0 25 0 1 0 793712845 15319040 2328 4294967295 134512640 134581267 3221224576 3221223456 134520252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3740 2328 566 18 0 3722 0
vsize: 14960
[startup+220.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2354 0 0 0 21933 68 0 0 25 0 1 0 793712845 15319040 2328 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3740 2328 566 18 0 3722 0
vsize: 14960
[startup+230.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2379 0 0 0 22931 71 0 0 25 0 1 0 793712845 15319040 2353 4294967295 134512640 134581267 3221224576 3221223440 134528302 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3740 2353 566 18 0 3722 0
vsize: 14960
[startup+240 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2383 0 0 0 23928 74 0 0 25 0 1 0 793712845 15450112 2357 4294967295 134512640 134581267 3221224576 3221223440 134528315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3772 2357 566 18 0 3754 0
vsize: 15088
[startup+250 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2384 0 0 0 24925 77 0 0 25 0 1 0 793712845 15446016 2358 4294967295 134512640 134581267 3221224576 3221223488 134527720 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3771 2358 566 18 0 3753 0
vsize: 15084
[startup+260.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2392 0 0 0 25924 79 0 0 25 0 1 0 793712845 15433728 2366 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3768 2366 566 18 0 3750 0
vsize: 15072
[startup+270.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2404 0 0 0 26922 81 0 0 25 0 1 0 793712845 15433728 2378 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3768 2378 566 18 0 3750 0
vsize: 15072
[startup+280 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2413 0 0 0 27920 83 0 0 25 0 1 0 793712845 15556608 2387 4294967295 134512640 134581267 3221224576 3221223520 134558778 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3798 2387 566 18 0 3780 0
vsize: 15192
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2413 0 0 0 28917 86 0 0 25 0 1 0 793712845 15556608 2387 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3798 2387 566 18 0 3780 0
vsize: 15192
[startup+300 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2473 0 0 0 29914 89 0 0 25 0 1 0 793712845 15818752 2447 4294967295 134512640 134581267 3221224576 3221223228 1075288371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3862 2447 566 18 0 3844 0
vsize: 15448
[startup+310 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2494 0 0 0 30912 91 0 0 25 0 1 0 793712845 15818752 2468 4294967295 134512640 134581267 3221224576 3221223440 134528318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3862 2468 566 18 0 3844 0
vsize: 15448
[startup+320 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2521 0 0 0 31909 94 0 0 25 0 1 0 793712845 15949824 2495 4294967295 134512640 134581267 3221224576 3221223472 134517729 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3894 2495 566 18 0 3876 0
vsize: 15576
[startup+330 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2553 0 0 0 32907 97 0 0 25 0 1 0 793712845 16080896 2527 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3926 2527 566 18 0 3908 0
vsize: 15704
[startup+340 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2553 0 0 0 33905 99 0 0 25 0 1 0 793712845 16080896 2527 4294967295 134512640 134581267 3221224576 3221223520 134558806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3926 2527 566 18 0 3908 0
vsize: 15704
[startup+350 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2581 0 0 0 34902 102 0 0 25 0 1 0 793712845 16211968 2555 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3958 2555 566 18 0 3940 0
vsize: 15832
[startup+360.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2581 0 0 0 35900 104 0 0 25 0 1 0 793712845 16211968 2555 4294967295 134512640 134581267 3221224576 3221223504 134519996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3958 2555 566 18 0 3940 0
vsize: 15832
[startup+370.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2581 0 0 0 36898 106 0 0 25 0 1 0 793712845 16211968 2555 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3958 2555 566 18 0 3940 0
vsize: 15832
[startup+380.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2581 0 0 0 37897 108 0 0 25 0 1 0 793712845 16195584 2555 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3954 2555 566 18 0 3936 0
vsize: 15816
[startup+390.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2581 0 0 0 38895 109 0 0 25 0 1 0 793712845 16195584 2555 4294967295 134512640 134581267 3221224576 3221223520 134559415 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3954 2555 566 18 0 3936 0
vsize: 15816
[startup+400.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2581 0 0 0 39893 112 0 0 25 0 1 0 793712845 16150528 2555 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3943 2555 566 18 0 3925 0
vsize: 15772
[startup+410.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2581 0 0 0 40891 114 0 0 25 0 1 0 793712845 16134144 2554 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3939 2554 566 18 0 3921 0
vsize: 15756
[startup+420 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2581 0 0 0 41889 116 0 0 25 0 1 0 793712845 16117760 2550 4294967295 134512640 134581267 3221224576 3221223456 134520273 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3935 2550 566 18 0 3917 0
vsize: 15740
[startup+430.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2581 0 0 0 42887 118 0 0 25 0 1 0 793712845 16109568 2548 4294967295 134512640 134581267 3221224576 3221222672 134566319 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3933 2548 566 18 0 3915 0
vsize: 15732
[startup+440.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2581 0 0 0 43886 120 0 0 25 0 1 0 793712845 16109568 2548 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3933 2548 566 18 0 3915 0
vsize: 15732
[startup+450.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2581 0 0 0 44884 122 0 0 25 0 1 0 793712845 16109568 2548 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3933 2548 566 18 0 3915 0
vsize: 15732
[startup+460.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2728 0 0 0 45882 124 0 0 25 0 1 0 793712845 16764928 2695 4294967295 134512640 134581267 3221224576 3221223504 134519945 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4093 2695 566 18 0 4075 0
vsize: 16372
[startup+470 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2768 0 0 0 46879 126 0 0 25 0 1 0 793712845 16896000 2735 4294967295 134512640 134581267 3221224576 3221223324 1075285243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4125 2735 566 18 0 4107 0
vsize: 16500
[startup+480 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2770 0 0 0 47877 129 0 0 25 0 1 0 793712845 16896000 2737 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4125 2737 566 18 0 4107 0
vsize: 16500
[startup+490 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2792 0 0 0 48875 131 0 0 25 0 1 0 793712845 17027072 2759 4294967295 134512640 134581267 3221224576 3221223472 134517838 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4157 2759 566 18 0 4139 0
vsize: 16628
[startup+500 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2803 0 0 0 49873 133 0 0 25 0 1 0 793712845 17027072 2770 4294967295 134512640 134581267 3221224576 3221223472 134517737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4157 2770 566 18 0 4139 0
vsize: 16628
[startup+510 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2810 0 0 0 50871 135 0 0 25 0 1 0 793712845 17158144 2777 4294967295 134512640 134581267 3221224576 3221223272 1075291634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4189 2777 566 18 0 4171 0
vsize: 16756
[startup+519.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2828 0 0 0 51869 138 0 0 25 0 1 0 793712845 17158144 2795 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4189 2795 566 18 0 4171 0
vsize: 16756
[startup+530 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2832 0 0 0 52866 141 0 0 25 0 1 0 793712845 17158144 2799 4294967295 134512640 134581267 3221224576 3221223440 134528216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4189 2799 566 18 0 4171 0
vsize: 16756
[startup+540 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2844 0 0 0 53864 143 0 0 25 0 1 0 793712845 17289216 2811 4294967295 134512640 134581267 3221224576 3221223440 134528343 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4221 2811 566 18 0 4203 0
vsize: 16884
[startup+550 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2848 0 0 0 54862 145 0 0 25 0 1 0 793712845 17289216 2815 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4221 2815 566 18 0 4203 0
vsize: 16884
[startup+560 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2848 0 0 0 55860 148 0 0 25 0 1 0 793712845 17289216 2815 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4221 2815 566 18 0 4203 0
vsize: 16884
[startup+569.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2848 0 0 0 56856 151 0 0 25 0 1 0 793712845 17289216 2815 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4221 2815 566 18 0 4203 0
vsize: 16884
[startup+579.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2868 0 0 0 57854 153 0 0 25 0 1 0 793712845 17289216 2835 4294967295 134512640 134581267 3221224576 3221223472 134517830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4221 2835 566 18 0 4203 0
vsize: 16884
[startup+590 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2868 0 0 0 58851 156 0 0 25 0 1 0 793712845 17289216 2835 4294967295 134512640 134581267 3221224576 3221223488 134527729 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4221 2835 566 18 0 4203 0
vsize: 16884
[startup+600 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2870 0 0 0 59849 159 0 0 25 0 1 0 793712845 17420288 2837 4294967295 134512640 134581267 3221224576 3221223368 1075288745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4253 2837 566 18 0 4235 0
vsize: 17012
[startup+610 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2880 0 0 0 60847 161 0 0 25 0 1 0 793712845 17412096 2847 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4251 2847 566 18 0 4233 0
vsize: 17004
[startup+619.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2880 0 0 0 61845 164 0 0 25 0 1 0 793712845 17387520 2847 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4245 2847 566 18 0 4227 0
vsize: 16980
[startup+630 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2880 0 0 0 62842 166 0 0 25 0 1 0 793712845 17371136 2847 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4241 2847 566 18 0 4223 0
vsize: 16964
[startup+640.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2880 0 0 0 63840 168 0 0 25 0 1 0 793712845 17354752 2847 4294967295 134512640 134581267 3221224576 3221223520 134559432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4237 2847 566 18 0 4219 0
vsize: 16948
[startup+650.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2880 0 0 0 64838 171 0 0 25 0 1 0 793712845 17354752 2847 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4237 2847 566 18 0 4219 0
vsize: 16948
[startup+660.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2880 0 0 0 65836 173 0 0 25 0 1 0 793712845 17346560 2847 4294967295 134512640 134581267 3221224576 3221223536 134516740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4235 2847 566 18 0 4217 0
vsize: 16940
[startup+670.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2880 0 0 0 66834 176 0 0 25 0 1 0 793712845 17346560 2847 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4235 2847 566 18 0 4217 0
vsize: 16940
[startup+680.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2880 0 0 0 67832 178 0 0 25 0 1 0 793712845 17346560 2847 4294967295 134512640 134581267 3221224576 3221223440 134528326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4235 2847 566 18 0 4217 0
vsize: 16940
[startup+690.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2965 0 0 0 68828 182 0 0 25 0 1 0 793712845 17739776 2932 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 2932 566 18 0 4313 0
vsize: 17324
[startup+700.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2972 0 0 0 69825 184 0 0 25 0 1 0 793712845 17739776 2939 4294967295 134512640 134581267 3221224576 3221223504 134520092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 2939 566 18 0 4313 0
vsize: 17324
[startup+710.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2972 0 0 0 70824 186 0 0 25 0 1 0 793712845 17739776 2939 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 2939 566 18 0 4313 0
vsize: 17324
[startup+720.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2972 0 0 0 71822 188 0 0 25 0 1 0 793712845 17739776 2939 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 2939 566 18 0 4313 0
vsize: 17324
[startup+730.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2972 0 0 0 72819 192 0 0 25 0 1 0 793712845 17739776 2939 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 2939 566 18 0 4313 0
vsize: 17324
[startup+740.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2972 0 0 0 73816 194 0 0 25 0 1 0 793712845 17739776 2939 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 2939 566 18 0 4313 0
vsize: 17324
[startup+750.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 2997 0 0 0 74814 197 0 0 25 0 1 0 793712845 17870848 2964 4294967295 134512640 134581267 3221224576 3221223440 134528287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4363 2964 566 18 0 4345 0
vsize: 17452
[startup+760.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3000 0 0 0 75812 200 0 0 25 0 1 0 793712845 17870848 2967 4294967295 134512640 134581267 3221224576 3221223440 134528346 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4363 2967 566 18 0 4345 0
vsize: 17452
[startup+770.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3002 0 0 0 76810 201 0 0 25 0 1 0 793712845 17870848 2969 4294967295 134512640 134581267 3221224576 3221223488 134527457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4363 2969 566 18 0 4345 0
vsize: 17452
[startup+780.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3002 0 0 0 77807 204 0 0 25 0 1 0 793712845 17870848 2969 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4363 2969 566 18 0 4345 0
vsize: 17452
[startup+790.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3002 0 0 0 78805 207 0 0 25 0 1 0 793712845 17870848 2969 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4363 2969 566 18 0 4345 0
vsize: 17452
[startup+800.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3002 0 0 0 79802 210 0 0 25 0 1 0 793712845 17870848 2969 4294967295 134512640 134581267 3221224576 3221223440 134528299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4363 2969 566 18 0 4345 0
vsize: 17452
[startup+810.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3021 0 0 0 80799 213 0 0 25 0 1 0 793712845 18001920 2988 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4395 2988 566 18 0 4377 0
vsize: 17580
[startup+820.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3029 0 0 0 81797 216 0 0 25 0 1 0 793712845 18001920 2996 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4395 2996 566 18 0 4377 0
vsize: 17580
[startup+830.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3029 0 0 0 82794 218 0 0 25 0 1 0 793712845 18001920 2996 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4395 2996 566 18 0 4377 0
vsize: 17580
[startup+840.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3029 0 0 0 83791 222 0 0 25 0 1 0 793712845 18001920 2996 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4395 2996 566 18 0 4377 0
vsize: 17580
[startup+850.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3029 0 0 0 84788 225 0 0 25 0 1 0 793712845 18001920 2996 4294967295 134512640 134581267 3221224576 3221223504 134519937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4395 2996 566 18 0 4377 0
vsize: 17580
[startup+860.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3029 0 0 0 85785 228 0 0 25 0 1 0 793712845 18001920 2996 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4395 2996 566 18 0 4377 0
vsize: 17580
[startup+870.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3029 0 0 0 86783 230 0 0 25 0 1 0 793712845 18001920 2996 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4395 2996 566 18 0 4377 0
vsize: 17580
[startup+880.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3029 0 0 0 87780 234 0 0 25 0 1 0 793712845 18001920 2996 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4395 2996 566 18 0 4377 0
vsize: 17580
[startup+890.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3029 0 0 0 88777 236 0 0 25 0 1 0 793712845 18001920 2996 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4395 2996 566 18 0 4377 0
vsize: 17580
[startup+900.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3029 0 0 0 89775 239 0 0 25 0 1 0 793712845 18001920 2996 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4395 2996 566 18 0 4377 0
vsize: 17580
[startup+910.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3029 0 0 0 90773 241 0 0 25 0 1 0 793712845 18001920 2996 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4395 2996 566 18 0 4377 0
vsize: 17580
[startup+920.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3029 0 0 0 91770 244 0 0 25 0 1 0 793712845 18001920 2996 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4395 2996 566 18 0 4377 0
vsize: 17580
[startup+930.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3042 0 0 0 92767 247 0 0 25 0 1 0 793712845 18001920 3009 4294967295 134512640 134581267 3221224576 3221223440 134528310 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4395 3009 566 18 0 4377 0
vsize: 17580
[startup+940.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3042 0 0 0 93765 250 0 0 25 0 1 0 793712845 18001920 3009 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4395 3009 566 18 0 4377 0
vsize: 17580
[startup+950.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3042 0 0 0 94762 252 0 0 25 0 1 0 793712845 18001920 3009 4294967295 134512640 134581267 3221224576 3221223440 134560354 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4395 3009 566 18 0 4377 0
vsize: 17580
[startup+960.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3042 0 0 0 95760 255 0 0 25 0 1 0 793712845 18001920 3009 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4395 3009 566 18 0 4377 0
vsize: 17580
[startup+970.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3049 0 0 0 96758 258 0 0 25 0 1 0 793712845 18132992 3016 4294967295 134512640 134581267 3221224576 3221223504 134519945 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4427 3016 566 18 0 4409 0
vsize: 17708
[startup+980.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3049 0 0 0 97755 261 0 0 25 0 1 0 793712845 18092032 3016 4294967295 134512640 134581267 3221224576 3221223440 134528299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4417 3016 566 18 0 4399 0
vsize: 17668
[startup+990.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3049 0 0 0 98752 263 0 0 25 0 1 0 793712845 18083840 3016 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4415 3016 566 18 0 4397 0
vsize: 17660
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3049 0 0 0 99750 265 0 0 25 0 1 0 793712845 18075648 3016 4294967295 134512640 134581267 3221224576 3221223440 134528331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4413 3016 566 18 0 4395 0
vsize: 17652
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3049 0 0 0 100748 268 0 0 25 0 1 0 793712845 18075648 3016 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4413 3016 566 18 0 4395 0
vsize: 17652
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3049 0 0 0 101746 270 0 0 25 0 1 0 793712845 18075648 3016 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4413 3016 566 18 0 4395 0
vsize: 17652
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3049 0 0 0 102743 273 0 0 25 0 1 0 793712845 18075648 3016 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4413 3016 566 18 0 4395 0
vsize: 17652
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3049 0 0 0 103741 275 0 0 25 0 1 0 793712845 18075648 3016 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4413 3016 566 18 0 4395 0
vsize: 17652
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3049 0 0 0 104739 278 0 0 25 0 1 0 793712845 18075648 3016 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4413 3016 566 18 0 4395 0
vsize: 17652
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3165 0 0 0 105735 282 0 0 25 0 1 0 793712845 18599936 3132 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4541 3132 566 18 0 4523 0
vsize: 18164
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3214 0 0 0 106732 285 0 0 25 0 1 0 793712845 18731008 3181 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4573 3181 566 18 0 4555 0
vsize: 18292
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3214 0 0 0 107730 287 0 0 25 0 1 0 793712845 18731008 3181 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4573 3181 566 18 0 4555 0
vsize: 18292
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3214 0 0 0 108727 290 0 0 25 0 1 0 793712845 18669568 3174 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4558 3174 566 18 0 4540 0
vsize: 18232
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3223 0 0 0 109725 292 0 0 25 0 1 0 793712845 18800640 3183 4294967295 134512640 134581267 3221224576 3221223488 134527678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4590 3183 566 18 0 4572 0
vsize: 18360
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3223 0 0 0 110722 295 0 0 25 0 1 0 793712845 18800640 3183 4294967295 134512640 134581267 3221224576 3221223440 134528315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4590 3183 566 18 0 4572 0
vsize: 18360
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3241 0 0 0 111720 298 0 0 25 0 1 0 793712845 18800640 3201 4294967295 134512640 134581267 3221224576 3221223440 134528110 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4590 3201 566 18 0 4572 0
vsize: 18360
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3241 0 0 0 112718 300 0 0 25 0 1 0 793712845 18800640 3201 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4590 3201 566 18 0 4572 0
vsize: 18360
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3241 0 0 0 113715 304 0 0 25 0 1 0 793712845 18800640 3201 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4590 3201 566 18 0 4572 0
vsize: 18360
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3245 0 0 0 114712 306 0 0 25 0 1 0 793712845 18800640 3205 4294967295 134512640 134581267 3221224576 3221223568 134561067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4590 3205 566 18 0 4572 0
vsize: 18360
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3266 0 0 0 115710 309 0 0 25 0 1 0 793712845 18931712 3226 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4622 3226 566 18 0 4604 0
vsize: 18488
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3266 0 0 0 116707 312 0 0 25 0 1 0 793712845 18931712 3226 4294967295 134512640 134581267 3221224576 3221223520 134558858 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4622 3226 566 18 0 4604 0
vsize: 18488
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3266 0 0 0 117704 315 0 0 25 0 1 0 793712845 18931712 3226 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4622 3226 566 18 0 4604 0
vsize: 18488
[startup+1188.83 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 4446
Raw data (stat): 4446 (Pueblo-v2) R 4445 8378 8377 0 -1 0 3266 0 0 0 117704 315 0 0 25 0 1 0 793712845 18931712 3226 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4622 3226 566 18 0 4604 0
vsize: 0

Child status: 10
Real time (s): 1188.83
CPU time (s): 1189.02
CPU user time (s): 1185.83
CPU system time (s): 3.18551
CPU usage (%): 100.016
Max. virtual memory (Kb): 18488
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	25
#### END VERIFIER DATA ####