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/course-ass/normalized-ws97-5.opb
MD5SUM	6049145b9f1adfd7114adf044503d587
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2642
Optimality of the best value was proved	NO
Number of terms in the objective function	748
Biggest coefficient in the objective function	240
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	33855
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	240
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	33855
Number of bits of the biggest sum of numbers	16
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02984
Number of variables	907
Total number of constraints	1309
Number of constraints which are clauses	126
Number of constraints which are cardinality constraints (but not clauses)	1183
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	134
Trace number 24930

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 00:41:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3220 boxname=wulflinc31 idbench=358 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  6049145b9f1adfd7114adf044503d587  /oldhome/oroussel/tmp/wulflinc31/normalized-ws97-5.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-ws97-5.opb
IDLAUNCH: 3220
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        821580 kB
Buffers:         40216 kB
Cached:         151380 kB
SwapCached:       1932 kB
Active:         155468 kB
Inactive:        39368 kB
HighTotal:      131008 kB
HighFree:          700 kB
LowTotal:       903652 kB
LowFree:        820880 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            12620 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 01:01:15 (client local time) WITH STATUS 10 IN 1189.03 SECONDS
stats: 3220 0 1189.03 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc31/normalized-ws97-5.opb
c #variables read: 907 - #constraints read: 1570
s SATISFIABLE
v -v1 -v127 -v505 -v640 v774 -v4 -v256 -v508 -v5 v131 -v257 -v383 -v509 -v6 v132 -v258 -v510 -v7 -v133 -v512 -v8 -v134 -v513 -v388 -v516 -v11 -v137 -v517 -v12 -v138 -v518 -v14 -v392 -v520 -v15 -v141 -v267 -v521 -v16 -v394 -v522 -v17 -v143 -v523 -v18 -v396 -v524 -v19 -v525 -v659 -v20 -v146 -v526 -v21 -v273 -v527 -v22 v528 -v662 -v23 -v149 -v529 -v24 -v150 -v530 -v25 v151 -v403 -v531 -v26 -v152 -v532 -v27 -v153 -v533 -v28 -v406 -v534 -v29 -v407 -v535 -v30 -v156 -v536 -v31 -v157 -v537 -v32 -v158 -v672 -v806 -v33 v159 -v285 -v539 -v34 -v160 -v540 -v287 -v413 -v36 -v162 -v542 -v37 -v163 -v543 -v38 -v164 -v544 -v39 v545 -v679 -v813 -v40 -v166 -v546 -v41 -v419 -v547 -v42 -v168 -v548 -v43 -v421 -v549 -v44 -v170 -v550 -v551 -v45 -v171 -v552 v686 -v46 -v172 -v553 -v47 -v173 v425 -v554 -v48 v174 -v426 -v555 -v49 -v175 -v556 -v428 -v51 -v177 -v558 -v52 -v178 -v559 -v431 -v694 v828 -v54 v180 -v432 -v561 -v55 -v433 -v562 -v56 -v308 -v563 v697 -v831 -v57 -v435 -v564 -v58 -v436 -v565 -v566 -v59 -v185 -v567 -v568 -v60 -v569 v703 -v837 -v61 -v187 -v570 -v62 v314 -v440 v571 -v705 -v839 -v63 -v189 v572 -v64 -v316 -v573 -v65 -v317 -v574 -v66 v318 -v575 -v67 -v193 -v576 v710 -v68 v194 -v320 -v577 v711 -v845 -v69 v195 -v447 -v578 -v70 -v196 -v579 -v71 -v580 -v714 -v72 -v198 -v581 -v73 -v582 -v74 -v200 -v583 -v75 -v201 -v584 -v76 -v202 v585 -v78 -v204 -v330 v456 v587 -v79 -v457 -v588 v722 -v589 -v81 v207 -v333 -v459 v590 -v82 v334 v591 v83 -v335 -v461 -v592 -v726 -v727 v861 -v85 -v211 v594 -v728 -v862 -v86 v212 -v464 v595 -v87 -v213 v596 -v730 -v864 -v88 -v214 v597 -v89 -v467 v598 -v732 -v90 v216 -v468 v599 v600 -v92 -v218 v602 -v93 v219 v603 -v94 -v220 v604 -v738 -v872 -v96 -v222 v606 -v349 -v475 -v741 -v98 -v224 v608 -v99 v351 -v477 v609 -v743 -v877 -v226 -v744 v878 -v227 -v745 v879 -v102 v228 -v354 -v480 v612 -v103 v229 -v355 -v481 v613 -v104 v614 -v748 -v105 v231 -v357 -v483 -v615 -v106 v616 -v107 v233 -v485 v617 -v108 -v234 v618 -v109 -v235 v619 -v753 v110 -v236 -v362 -v488 -v620 v754 -v888 -v756 v890 -v113 -v365 v623 -v240 -v115 v241 -v493 v625 -v759 v116 -v242 -v626 v627 -v761 -v895 -v117 -v495 -v628 v118 -v370 -v630 v764 -v898 v119 -v631 v765 -v899 -v120 -v246 -v632 v766 -v900 v121 -v373 -v633 v122 -v374 -v500 -v634 v123 -v635 -v903 v124 -v376 -v502 -v636 v770 -v904 -v771 -v905 -v126 -v638 v772 -v2 -v128 -v506 v3 -v507 -v641 -v130 -v642 v776 -v643 v777 -v384 -v644 v778 -v645 -v779 -v259 -v646 v780 v260 -v386 -v647 v781 -v261 -v387 -v136 -v389 v264 -v390 -v652 v786 -v654 v788 -v655 v789 -v142 -v656 v790 -v269 -v657 v791 -v270 -v658 v792 -v145 -v271 -v272 v398 -v660 v794 v147 -v399 -v661 v795 -v148 -v400 -v275 -v663 v797 v276 -v402 -v664 v798 -v277 -v665 v799 v278 -v404 -v666 v800 v279 -v405 -v667 v801 v154 -v280 -v668 v802 v155 -v281 -v669 v803 v283 -v409 -v671 v805 -v411 v286 -v412 -v674 v808 -v675 -v809 v289 -v415 -v677 v811 v290 -v416 -v678 v812 v165 -v291 -v417 -v292 -v680 v814 v294 -v420 -v682 v816 -v169 v683 -v817 v296 -v422 v684 -v818 v685 -v819 v297 -v423 -v820 -v299 v688 -v822 -v300 v689 -v823 v301 -v427 v690 -v824 v50 -v176 -v302 -v557 -v691 v825 v303 -v429 v692 -v826 v304 -v430 v693 -v827 -v53 v179 -v305 -v560 -v306 v695 -v829 -v181 v696 -v830 v182 -v434 v183 -v309 v698 -v832 v184 -v310 v700 -v834 -v311 v437 -v701 v835 v702 -v836 -v186 v312 -v438 -v313 v439 v704 -v838 -v188 -v315 -v706 -v840 v190 -v442 v707 -v841 v191 -v443 -v192 -v444 v709 -v843 -v319 v445 -v844 -v446 -v321 -v846 -v322 v448 v713 -v847 -v197 -v323 v449 v324 -v450 v715 -v849 -v325 v716 -v850 -v326 v452 v717 -v851 -v327 v453 v718 -v852 -v328 v454 -v719 -v853 -v721 -v855 v205 -v331 -v856 -v206 -v724 -v858 -v208 -v460 -v337 v463 -v338 -v729 -v863 -v339 v465 -v340 v466 -v731 -v865 v215 -v341 -v866 -v342 -v733 -v867 -v217 -v344 -v736 -v870 -v345 -v471 -v737 -v871 v346 -v472 -v347 -v739 v873 -v348 -v740 -v874 v350 -v476 -v742 -v876 -v225 -v352 -v478 -v353 -v479 -v746 -v880 -v747 -v881 -v749 v883 -v484 -v750 -v884 -v359 v360 -v486 -v752 -v886 -v361 v487 -v887 v755 -v889 -v238 -v490 -v491 -v757 -v891 v114 -v366 -v492 -v624 -v367 -v893 -v368 -v494 v760 -v894 v243 -v369 -v762 v896 -v245 -v497 -v372 v498 -v247 -v499 v767 -v901 -v375 -v501 -v125 v637 -v252 -v378 v504 -v906 one v9 v10 v13 -v35 -v77 v80 v84 v91 v95 v97 v100 v101 v111 v112 -v129 -v135 -v139 -v140 v144 v161 -v167 -v199 -v203 -v209 -v210 -v221 -v223 -v230 v232 -v237 v239 -v244 -v248 -v249 -v250 -v251 -v253 -v254 -v255 -v262 v263 -v265 v266 v268 v274 -v282 -v284 -v288 v293 v295 v298 v307 -v329 -v332 -v336 -v343 v356 -v358 -v363 -v364 -v371 v377 v379 v380 -v381 v382 v385 -v391 v393 v395 v397 v401 v408 v410 v414 v418 -v424 v441 v451 v455 -v458 -v462 -v469 v470 -v473 v474 -v482 -v489 -v496 -v503 v511 -v514 v515 -v519 v538 v541 v586 -v593 -v601 -v605 -v607 -v610 -v611 -v621 -v622 v629 -v639 v648 -v649 v650 v651 -v653 -v670 -v673 -v676 -v681 v687 v699 v708 v712 -v720 v723 -v725 -v734 v735 -v751 v758 -v763 v768 v769 v773 v775 -v782 -v783 -v784 -v785 v787 v793 -v796 v804 v807 v810 v815 -v821 -v833 -v842 v848 -v854 -v857 -v859 v860 -v868 -v869 v875 -v882 -v885 -v892 -v897 -v902 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.97 0.99 2/55 29740
Raw data (stat): 29740 (runsolver) R 29739 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 748208328 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 1025 0 0 0 993 4 0 0 25 0 1 0 748208328 9887744 1002 4294967295 134512640 134581331 3221221808 3221220704 134517844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2414 1002 566 18 0 2396 0
vsize: 9656
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 1380 0 0 0 1991 6 0 0 25 0 1 0 748208328 11325440 1357 4294967295 134512640 134581331 3221221808 3221220704 134517878 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2765 1357 566 18 0 2747 0
vsize: 11060
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 1391 0 0 0 2990 7 0 0 25 0 1 0 748208328 11325440 1368 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2765 1368 566 18 0 2747 0
vsize: 11060
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 1536 0 0 0 3988 9 0 0 25 0 1 0 748208328 11976704 1513 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2924 1513 566 18 0 2906 0
vsize: 11696
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 1607 0 0 0 4987 10 0 0 25 0 1 0 748208328 12238848 1584 4294967295 134512640 134581331 3221221808 3221220704 134517888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2988 1584 566 18 0 2970 0
vsize: 11952
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 1737 0 0 0 5985 12 0 0 25 0 1 0 748208328 12763136 1714 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3116 1714 566 18 0 3098 0
vsize: 12464
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 1796 0 0 0 6982 16 0 0 25 0 1 0 748208328 13021184 1773 4294967295 134512640 134581331 3221221808 3221220704 134517859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3179 1773 566 18 0 3161 0
vsize: 12716
[startup+80.0033 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 1933 0 0 0 7980 18 0 0 25 0 1 0 748208328 13545472 1910 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3307 1910 566 18 0 3289 0
vsize: 13228
[startup+90.0032 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 1964 0 0 0 8978 20 0 0 25 0 1 0 748208328 13672448 1941 4294967295 134512640 134581331 3221221808 3221220704 134517851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3338 1941 566 18 0 3320 0
vsize: 13352
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2053 0 0 0 9976 22 0 0 25 0 1 0 748208328 14065664 2030 4294967295 134512640 134581331 3221221808 3221220704 134517900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3434 2030 566 18 0 3416 0
vsize: 13736
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2104 0 0 0 10974 25 0 0 25 0 1 0 748208328 14196736 2081 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3466 2081 566 18 0 3448 0
vsize: 13864
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2109 0 0 0 11972 27 0 0 25 0 1 0 748208328 14327808 2086 4294967295 134512640 134581331 3221221808 3221220864 134556137 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3498 2086 566 18 0 3480 0
vsize: 13992
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2146 0 0 0 12969 30 0 0 25 0 1 0 748208328 14430208 2123 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3523 2123 566 18 0 3505 0
vsize: 14092
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2256 0 0 0 13967 31 0 0 25 0 1 0 748208328 14807040 2213 4294967295 134512640 134581331 3221221808 3221220704 134517880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3615 2213 566 18 0 3597 0
vsize: 14460
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2313 0 0 0 14966 33 0 0 25 0 1 0 748208328 14897152 2253 4294967295 134512640 134581331 3221221808 3221220640 134528569 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3637 2253 566 18 0 3619 0
vsize: 14548
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2370 0 0 0 15964 35 0 0 25 0 1 0 748208328 15159296 2310 4294967295 134512640 134581331 3221221808 3221220752 134558828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3701 2310 566 18 0 3683 0
vsize: 14804
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2370 0 0 0 16962 37 0 0 25 0 1 0 748208328 15159296 2310 4294967295 134512640 134581331 3221221808 3221220704 134517514 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3701 2310 566 18 0 3683 0
vsize: 14804
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2370 0 0 0 17960 40 0 0 25 0 1 0 748208328 15032320 2286 4294967295 134512640 134581331 3221221808 3221220704 134517871 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3670 2286 566 18 0 3652 0
vsize: 14680
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2370 0 0 0 18958 42 0 0 25 0 1 0 748208328 15020032 2283 4294967295 134512640 134581331 3221221808 3221220720 134531460 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3667 2283 566 18 0 3649 0
vsize: 14668
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2371 0 0 0 19956 44 0 0 25 0 1 0 748208328 15020032 2284 4294967295 134512640 134581331 3221221808 3221220592 134528791 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3667 2284 566 18 0 3649 0
vsize: 14668
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2371 0 0 0 20955 45 0 0 25 0 1 0 748208328 15020032 2284 4294967295 134512640 134581331 3221221808 3221220704 134517900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3667 2284 566 18 0 3649 0
vsize: 14668
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2371 0 0 0 21953 47 0 0 25 0 1 0 748208328 15020032 2284 4294967295 134512640 134581331 3221221808 3221220704 134517909 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3667 2284 566 18 0 3649 0
vsize: 14668
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2371 0 0 0 22951 49 0 0 25 0 1 0 748208328 15020032 2284 4294967295 134512640 134581331 3221221808 3221220720 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3667 2284 566 18 0 3649 0
vsize: 14668
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2371 0 0 0 23949 51 0 0 25 0 1 0 748208328 15020032 2284 4294967295 134512640 134581331 3221221808 3221220752 134559478 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3667 2284 566 18 0 3649 0
vsize: 14668
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2371 0 0 0 24947 54 0 0 25 0 1 0 748208328 15020032 2284 4294967295 134512640 134581331 3221221808 3221220752 134558950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3667 2284 566 18 0 3649 0
vsize: 14668
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2415 0 0 0 25946 55 0 0 25 0 1 0 748208328 15282176 2328 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3731 2328 566 18 0 3713 0
vsize: 14924
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2454 0 0 0 26943 58 0 0 25 0 1 0 748208328 15413248 2367 4294967295 134512640 134581331 3221221808 3221220720 134527516 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3763 2367 566 18 0 3745 0
vsize: 15052
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2474 0 0 0 27942 59 0 0 25 0 1 0 748208328 15544320 2387 4294967295 134512640 134581331 3221221808 3221220652 134528557 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3795 2387 566 18 0 3777 0
vsize: 15180
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2502 0 0 0 28940 61 0 0 25 0 1 0 748208328 15556608 2415 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3798 2415 566 18 0 3780 0
vsize: 15192
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2509 0 0 0 29938 63 0 0 25 0 1 0 748208328 15654912 2422 4294967295 134512640 134581331 3221221808 3221220720 134528079 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3822 2422 566 18 0 3804 0
vsize: 15288
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2515 0 0 0 30937 65 0 0 25 0 1 0 748208328 15646720 2428 4294967295 134512640 134581331 3221221808 3221220692 134557799 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3820 2428 566 18 0 3802 0
vsize: 15280
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2515 0 0 0 31935 67 0 0 25 0 1 0 748208328 15638528 2428 4294967295 134512640 134581331 3221221808 3221220704 134517905 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3818 2428 566 18 0 3800 0
vsize: 15272
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2536 0 0 0 32934 68 0 0 25 0 1 0 748208328 15769600 2449 4294967295 134512640 134581331 3221221808 3221220720 134527440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3850 2449 566 18 0 3832 0
vsize: 15400
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2538 0 0 0 33932 70 0 0 25 0 1 0 748208328 15769600 2451 4294967295 134512640 134581331 3221221808 3221220752 134558931 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3850 2451 566 18 0 3832 0
vsize: 15400
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2560 0 0 0 34931 71 0 0 25 0 1 0 748208328 15896576 2473 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3881 2473 566 18 0 3863 0
vsize: 15524
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2581 0 0 0 35929 73 0 0 25 0 1 0 748208328 15896576 2494 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3881 2494 566 18 0 3863 0
vsize: 15524
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2596 0 0 0 36928 75 0 0 25 0 1 0 748208328 16027648 2509 4294967295 134512640 134581331 3221221808 3221220704 134517608 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3913 2509 566 18 0 3895 0
vsize: 15652
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2627 0 0 0 37926 77 0 0 25 0 1 0 748208328 16158720 2540 4294967295 134512640 134581331 3221221808 3221220720 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3945 2540 566 18 0 3927 0
vsize: 15780
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2627 0 0 0 38925 78 0 0 25 0 1 0 748208328 16089088 2540 4294967295 134512640 134581331 3221221808 3221220800 134561068 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3928 2540 566 18 0 3910 0
vsize: 15712
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2627 0 0 0 39924 80 0 0 25 0 1 0 748208328 16080896 2540 4294967295 134512640 134581331 3221221808 3221220704 134517868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3926 2540 566 18 0 3908 0
vsize: 15704
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2750 0 0 0 40922 82 0 0 25 0 1 0 748208328 16596992 2663 4294967295 134512640 134581331 3221221808 3221220688 134520219 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4052 2663 566 18 0 4034 0
vsize: 16208
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2750 0 0 0 41921 83 0 0 25 0 1 0 748208328 16596992 2663 4294967295 134512640 134581331 3221221808 3221220504 1075291634 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4052 2663 566 18 0 4034 0
vsize: 16208
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2768 0 0 0 42918 85 0 0 25 0 1 0 748208328 16728064 2681 4294967295 134512640 134581331 3221221808 3221220592 134528824 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4084 2681 566 18 0 4066 0
vsize: 16336
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2768 0 0 0 43916 88 0 0 25 0 1 0 748208328 16728064 2681 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4084 2681 566 18 0 4066 0
vsize: 16336
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2784 0 0 0 44913 91 0 0 25 0 1 0 748208328 16728064 2697 4294967295 134512640 134581331 3221221808 3221220752 134554722 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4084 2697 566 18 0 4066 0
vsize: 16336
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2839 0 0 0 45911 94 0 0 25 0 1 0 748208328 16986112 2752 4294967295 134512640 134581331 3221221808 3221220704 134517844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4147 2752 566 18 0 4129 0
vsize: 16588
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2839 0 0 0 46909 95 0 0 25 0 1 0 748208328 16986112 2752 4294967295 134512640 134581331 3221221808 3221220876 134558532 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4147 2752 566 18 0 4129 0
vsize: 16588
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2839 0 0 0 47907 98 0 0 25 0 1 0 748208328 16986112 2752 4294967295 134512640 134581331 3221221808 3221220672 134528503 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4147 2752 566 18 0 4129 0
vsize: 16588
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2839 0 0 0 48905 100 0 0 25 0 1 0 748208328 16949248 2752 4294967295 134512640 134581331 3221221808 3221220704 134517777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4138 2752 566 18 0 4120 0
vsize: 16552
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2839 0 0 0 49903 102 0 0 25 0 1 0 748208328 16891904 2741 4294967295 134512640 134581331 3221221808 3221220692 134557844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4124 2741 566 18 0 4106 0
vsize: 16496
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2839 0 0 0 50901 104 0 0 25 0 1 0 748208328 16891904 2741 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4124 2741 566 18 0 4106 0
vsize: 16496
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2839 0 0 0 51899 107 0 0 25 0 1 0 748208328 16891904 2741 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4124 2741 566 18 0 4106 0
vsize: 16496
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2839 0 0 0 52897 108 0 0 25 0 1 0 748208328 16891904 2741 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4124 2741 566 18 0 4106 0
vsize: 16496
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2839 0 0 0 53895 110 0 0 25 0 1 0 748208328 16891904 2741 4294967295 134512640 134581331 3221221808 3221220704 134517844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4124 2741 566 18 0 4106 0
vsize: 16496
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2841 0 0 0 54893 113 0 0 25 0 1 0 748208328 16977920 2743 4294967295 134512640 134581331 3221221808 3221220720 134527539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4145 2743 566 18 0 4127 0
vsize: 16580
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2854 0 0 0 55892 114 0 0 25 0 1 0 748208328 17080320 2756 4294967295 134512640 134581331 3221221808 3221220692 134557876 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4170 2756 566 18 0 4152 0
vsize: 16680
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2966 0 0 0 56889 117 0 0 25 0 1 0 748208328 17469440 2868 4294967295 134512640 134581331 3221221808 3221220652 134528557 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4265 2868 566 18 0 4247 0
vsize: 17060
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2981 0 0 0 57888 119 0 0 25 0 1 0 748208328 17584128 2883 4294967295 134512640 134581331 3221221808 3221220704 134517878 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4293 2883 566 18 0 4275 0
vsize: 17172
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 2999 0 0 0 58886 121 0 0 25 0 1 0 748208328 17584128 2901 4294967295 134512640 134581331 3221221808 3221220672 134528258 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4293 2901 566 18 0 4275 0
vsize: 17172
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3032 0 0 0 59885 122 0 0 25 0 1 0 748208328 17715200 2934 4294967295 134512640 134581331 3221221808 3221220672 134528422 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4325 2934 566 18 0 4307 0
vsize: 17300
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3066 0 0 0 60883 124 0 0 25 0 1 0 748208328 17846272 2968 4294967295 134512640 134581331 3221221808 3221220704 134517617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4357 2968 566 18 0 4339 0
vsize: 17428
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3069 0 0 0 61881 126 0 0 25 0 1 0 748208328 17817600 2967 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4350 2967 566 18 0 4332 0
vsize: 17400
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3080 0 0 0 62879 128 0 0 25 0 1 0 748208328 17948672 2978 4294967295 134512640 134581331 3221221808 3221220672 134528287 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4382 2978 566 18 0 4364 0
vsize: 17528
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3088 0 0 0 63878 129 0 0 25 0 1 0 748208328 17948672 2986 4294967295 134512640 134581331 3221221808 3221220704 134517767 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4382 2986 566 18 0 4364 0
vsize: 17528
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3095 0 0 0 64878 130 0 0 25 0 1 0 748208328 17948672 2993 4294967295 134512640 134581331 3221221808 3221220720 134527513 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4382 2993 566 18 0 4364 0
vsize: 17528
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3125 0 0 0 65876 131 0 0 25 0 1 0 748208328 18079744 3023 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4414 3023 566 18 0 4396 0
vsize: 17656
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3125 0 0 0 66875 133 0 0 25 0 1 0 748208328 18079744 3023 4294967295 134512640 134581331 3221221808 3221220720 134528079 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4414 3023 566 18 0 4396 0
vsize: 17656
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3178 0 0 0 67873 135 0 0 25 0 1 0 748208328 18337792 3076 4294967295 134512640 134581331 3221221808 3221220720 134527667 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4477 3076 566 18 0 4459 0
vsize: 17908
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3189 0 0 0 68872 136 0 0 25 0 1 0 748208328 18337792 3087 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4477 3087 566 18 0 4459 0
vsize: 17908
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3189 0 0 0 69871 138 0 0 25 0 1 0 748208328 18337792 3087 4294967295 134512640 134581331 3221221808 3221220720 134527537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4477 3087 566 18 0 4459 0
vsize: 17908
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3189 0 0 0 70870 139 0 0 25 0 1 0 748208328 18337792 3087 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4477 3087 566 18 0 4459 0
vsize: 17908
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3189 0 0 0 71869 140 0 0 25 0 1 0 748208328 18337792 3087 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4477 3087 566 18 0 4459 0
vsize: 17908
[startup+730.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3189 0 0 0 72868 141 0 0 25 0 1 0 748208328 18337792 3087 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4477 3087 566 18 0 4459 0
vsize: 17908
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3189 0 0 0 73867 142 0 0 25 0 1 0 748208328 18288640 3082 4294967295 134512640 134581331 3221221808 3221220720 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4465 3082 566 18 0 4447 0
vsize: 17860
[startup+750.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3189 0 0 0 74866 143 0 0 25 0 1 0 748208328 18288640 3082 4294967295 134512640 134581331 3221221808 3221220720 134527703 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4465 3082 566 18 0 4447 0
vsize: 17860
[startup+760.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3189 0 0 0 75864 145 0 0 25 0 1 0 748208328 18288640 3082 4294967295 134512640 134581331 3221221808 3221220720 134527434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4465 3082 566 18 0 4447 0
vsize: 17860
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3189 0 0 0 76863 147 0 0 25 0 1 0 748208328 18288640 3082 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4465 3082 566 18 0 4447 0
vsize: 17860
[startup+780.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3189 0 0 0 77861 149 0 0 25 0 1 0 748208328 18288640 3082 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4465 3082 566 18 0 4447 0
vsize: 17860
[startup+790.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3189 0 0 0 78860 150 0 0 25 0 1 0 748208328 18288640 3082 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4465 3082 566 18 0 4447 0
vsize: 17860
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3189 0 0 0 79859 151 0 0 25 0 1 0 748208328 18288640 3082 4294967295 134512640 134581331 3221221808 3221220720 134527416 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4465 3082 566 18 0 4447 0
vsize: 17860
[startup+810.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3189 0 0 0 80857 153 0 0 25 0 1 0 748208328 18288640 3082 4294967295 134512640 134581331 3221221808 3221220672 134528381 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4465 3082 566 18 0 4447 0
vsize: 17860
[startup+820.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3199 0 0 0 81855 155 0 0 25 0 1 0 748208328 18419712 3092 4294967295 134512640 134581331 3221221808 3221220720 134527404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4497 3092 566 18 0 4479 0
vsize: 17988
[startup+830.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3199 0 0 0 82854 157 0 0 25 0 1 0 748208328 18419712 3092 4294967295 134512640 134581331 3221221808 3221220704 134517859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4497 3092 566 18 0 4479 0
vsize: 17988
[startup+840.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3199 0 0 0 83853 158 0 0 25 0 1 0 748208328 18411520 3092 4294967295 134512640 134581331 3221221808 3221220720 134527537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4495 3092 566 18 0 4477 0
vsize: 17980
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3199 0 0 0 84852 159 0 0 25 0 1 0 748208328 18403328 3092 4294967295 134512640 134581331 3221221808 3221220720 134527442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4493 3092 566 18 0 4475 0
vsize: 17972
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3199 0 0 0 85851 160 0 0 25 0 1 0 748208328 18391040 3092 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4490 3092 566 18 0 4472 0
vsize: 17960
[startup+870.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3199 0 0 0 86850 162 0 0 25 0 1 0 748208328 18382848 3092 4294967295 134512640 134581331 3221221808 3221220720 134527440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4488 3092 566 18 0 4470 0
vsize: 17952
[startup+880.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3199 0 0 0 87849 163 0 0 25 0 1 0 748208328 18382848 3092 4294967295 134512640 134581331 3221221808 3221220704 134517737 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4488 3092 566 18 0 4470 0
vsize: 17952
[startup+890.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3199 0 0 0 88848 164 0 0 25 0 1 0 748208328 18280448 3080 4294967295 134512640 134581331 3221221808 3221220692 134557882 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4463 3080 566 18 0 4445 0
vsize: 17852
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3199 0 0 0 89847 166 0 0 25 0 1 0 748208328 18280448 3080 4294967295 134512640 134581331 3221221808 3221220444 1075288894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4463 3080 566 18 0 4445 0
vsize: 17852
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3199 0 0 0 90846 167 0 0 25 0 1 0 748208328 18280448 3080 4294967295 134512640 134581331 3221221808 3221220752 134558874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4463 3080 566 18 0 4445 0
vsize: 17852
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3199 0 0 0 91844 168 0 0 25 0 1 0 748208328 18280448 3080 4294967295 134512640 134581331 3221221808 3221220672 134528287 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4463 3080 566 18 0 4445 0
vsize: 17852
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3199 0 0 0 92843 169 0 0 25 0 1 0 748208328 18280448 3080 4294967295 134512640 134581331 3221221808 3221220752 134559469 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4463 3080 566 18 0 4445 0
vsize: 17852
[startup+940.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3199 0 0 0 93841 172 0 0 25 0 1 0 748208328 18280448 3080 4294967295 134512640 134581331 3221221808 3221220628 134528700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4463 3080 566 18 0 4445 0
vsize: 17852
[startup+950.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3199 0 0 0 94838 175 0 0 25 0 1 0 748208328 18280448 3080 4294967295 134512640 134581331 3221221808 3221220592 134528785 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4463 3080 566 18 0 4445 0
vsize: 17852
[startup+960.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3239 0 0 0 95837 176 0 0 25 0 1 0 748208328 18546688 3120 4294967295 134512640 134581331 3221221808 3221220704 134517871 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4528 3120 566 18 0 4510 0
vsize: 18112
[startup+970.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3280 0 0 0 96835 178 0 0 25 0 1 0 748208328 18677760 3161 4294967295 134512640 134581331 3221221808 3221220704 134517615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4560 3161 566 18 0 4542 0
vsize: 18240
[startup+980.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3280 0 0 0 97831 182 0 0 25 0 1 0 748208328 18677760 3161 4294967295 134512640 134581331 3221221808 3221220672 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4560 3161 566 18 0 4542 0
vsize: 18240
[startup+990.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3280 0 0 0 98828 185 0 0 25 0 1 0 748208328 18677760 3161 4294967295 134512640 134581331 3221221808 3221220736 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4560 3161 566 18 0 4542 0
vsize: 18240
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3291 0 0 0 99827 187 0 0 25 0 1 0 748208328 18677760 3172 4294967295 134512640 134581331 3221221808 3221220704 134517880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4560 3172 566 18 0 4542 0
vsize: 18240
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3343 0 0 0 100824 190 0 0 25 0 1 0 748208328 18939904 3224 4294967295 134512640 134581331 3221221808 3221220720 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4624 3224 566 18 0 4606 0
vsize: 18496
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3387 0 0 0 101822 192 0 0 25 0 1 0 748208328 19070976 3268 4294967295 134512640 134581331 3221221808 3221220880 134531401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4656 3268 566 18 0 4638 0
vsize: 18624
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3387 0 0 0 102819 195 0 0 25 0 1 0 748208328 19070976 3268 4294967295 134512640 134581331 3221221808 3221220592 134528749 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4656 3268 566 18 0 4638 0
vsize: 18624
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3387 0 0 0 103817 198 0 0 25 0 1 0 748208328 19070976 3268 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4656 3268 566 18 0 4638 0
vsize: 18624
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3387 0 0 0 104815 200 0 0 25 0 1 0 748208328 19038208 3265 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4648 3265 566 18 0 4630 0
vsize: 18592
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3405 0 0 0 105813 202 0 0 25 0 1 0 748208328 19165184 3282 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4679 3282 566 18 0 4661 0
vsize: 18716
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3405 0 0 0 106810 204 0 0 25 0 1 0 748208328 19165184 3282 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4679 3282 566 18 0 4661 0
vsize: 18716
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3405 0 0 0 107809 207 0 0 25 0 1 0 748208328 19136512 3282 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4672 3282 566 18 0 4654 0
vsize: 18688
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3405 0 0 0 108806 209 0 0 25 0 1 0 748208328 19103744 3281 4294967295 134512640 134581331 3221221808 3221220704 134517873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4664 3281 566 18 0 4646 0
vsize: 18656
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3426 0 0 0 109805 211 0 0 25 0 1 0 748208328 19234816 3302 4294967295 134512640 134581331 3221221808 3221220720 134527780 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4696 3302 566 18 0 4678 0
vsize: 18784
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3426 0 0 0 110803 213 0 0 25 0 1 0 748208328 19234816 3302 4294967295 134512640 134581331 3221221808 3221220672 134528287 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4696 3302 566 18 0 4678 0
vsize: 18784
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29740
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3426 0 0 0 111799 216 0 0 25 0 1 0 748208328 19234816 3302 4294967295 134512640 134581331 3221221808 3221220704 134517615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4696 3302 566 18 0 4678 0
vsize: 18784
[startup+1130.09 s]
Raw data (loadavg): 1.22 1.02 1.01 4/57 29780
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3426 0 0 0 112802 220 0 0 25 0 1 0 748208328 19234816 3302 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4696 3302 566 18 0 4678 0
vsize: 18784
[startup+1140.19 s]
Raw data (loadavg): 1.34 1.05 1.02 2/55 29793
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3426 0 0 0 113809 224 0 0 25 0 1 0 748208328 19132416 3288 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4671 3288 566 18 0 4653 0
vsize: 18684
[startup+1150.19 s]
Raw data (loadavg): 1.29 1.05 1.01 2/55 29793
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3426 0 0 0 114806 226 0 0 25 0 1 0 748208328 19128320 3287 4294967295 134512640 134581331 3221221808 3221220692 134557903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4670 3287 566 18 0 4652 0
vsize: 18680
[startup+1160.19 s]
Raw data (loadavg): 1.24 1.05 1.01 2/55 29793
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3448 0 0 0 115805 228 0 0 25 0 1 0 748208328 19259392 3309 4294967295 134512640 134581331 3221221808 3221220648 134528560 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4702 3309 566 18 0 4684 0
vsize: 18808
[startup+1170.19 s]
Raw data (loadavg): 1.21 1.05 1.01 2/55 29793
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3448 0 0 0 116803 230 0 0 25 0 1 0 748208328 19259392 3309 4294967295 134512640 134581331 3221221808 3221220704 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4702 3309 566 18 0 4684 0
vsize: 18808
[startup+1180.19 s]
Raw data (loadavg): 1.17 1.04 1.01 2/55 29793
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3449 0 0 0 117800 233 0 0 25 0 1 0 748208328 19259392 3310 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4702 3310 566 18 0 4684 0
vsize: 18808
[startup+1188.88 s]
Raw data (loadavg): 1.16 1.04 1.01 1/54 29793
Raw data (stat): 29740 (Pueblo) R 29739 7876 7672 0 -1 0 3449 0 0 0 117800 233 0 0 25 0 1 0 748208328 19259392 3310 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4702 3310 566 18 0 4684 0
vsize: 0

Child status: 10
Real time (s): 1188.88
CPU time (s): 1189.03
CPU user time (s): 1186.66
CPU system time (s): 2.36664
CPU usage (%): 100.012
Max. virtual memory (Kb): 18808
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	10859
#### END VERIFIER DATA ####