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 24995

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 19:11:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3337 boxname=wulflinc31 idbench=371 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  a89f4ed95903fddf213992506514bcf0  /oldhome/oroussel/tmp/wulflinc31/normalized-10:20:4.5:0.95:98.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-10:20:4.5:0.95:98.opb
IDLAUNCH: 3337
/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:        784252 kB
Buffers:         42808 kB
Cached:         185440 kB
SwapCached:       1932 kB
Active:         163388 kB
Inactive:        68032 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        784000 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5368 kB
Slab:            13264 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 19:31:17 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 3337 0 1189.02 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc31/normalized-10:20:4.5:0.95: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
Raw data (loadavg): 0.93 0.98 0.99 2/55 4593
Raw data (stat): 4593 (runsolver) R 4592 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 754869329 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+9.99999 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 1195 0 0 0 990 6 0 0 25 0 1 0 754869329 10592256 1172 4294967295 134512640 134581331 3221221792 3221220864 134531401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2586 1172 566 18 0 2568 0
vsize: 10344
[startup+20.0009 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 1508 0 0 0 1988 9 0 0 25 0 1 0 754869329 11747328 1485 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2868 1485 566 18 0 2850 0
vsize: 11472
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 1560 0 0 0 2986 10 0 0 25 0 1 0 754869329 12050432 1537 4294967295 134512640 134581331 3221221792 3221220576 134528708 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2942 1537 566 18 0 2924 0
vsize: 11768
[startup+40.0028 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 1705 0 0 0 3984 13 0 0 25 0 1 0 754869329 12574720 1682 4294967295 134512640 134581331 3221221792 3221220704 134527695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3070 1682 566 18 0 3052 0
vsize: 12280
[startup+50.0037 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 1800 0 0 0 4981 16 0 0 25 0 1 0 754869329 12963840 1777 4294967295 134512640 134581331 3221221792 3221220784 134561148 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3165 1777 566 18 0 3147 0
vsize: 12660
[startup+60.0037 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 1811 0 0 0 5979 19 0 0 25 0 1 0 754869329 13099008 1788 4294967295 134512640 134581331 3221221792 3221220560 1075288365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3198 1788 566 18 0 3180 0
vsize: 12792
[startup+70.0046 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 1890 0 0 0 6977 21 0 0 25 0 1 0 754869329 13361152 1867 4294967295 134512640 134581331 3221221792 3221220736 134558828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3262 1867 566 18 0 3244 0
vsize: 13048
[startup+80.0055 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 1906 0 0 0 7974 23 0 0 25 0 1 0 754869329 13496320 1883 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3295 1883 566 18 0 3277 0
vsize: 13180
[startup+90.0064 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 1971 0 0 0 8972 26 0 0 25 0 1 0 754869329 13758464 1948 4294967295 134512640 134581331 3221221792 3221220704 134527440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3359 1948 566 18 0 3341 0
vsize: 13436
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2102 0 0 0 9970 28 0 0 25 0 1 0 754869329 14286848 2079 4294967295 134512640 134581331 3221221792 3221220704 134527423 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3488 2079 566 18 0 3470 0
vsize: 13952
[startup+110.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2102 0 0 0 10967 32 0 0 25 0 1 0 754869329 14229504 2079 4294967295 134512640 134581331 3221221792 3221220676 134557954 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3474 2079 566 18 0 3456 0
vsize: 13896
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2102 0 0 0 11964 34 0 0 25 0 1 0 754869329 14221312 2079 4294967295 134512640 134581331 3221221792 3221220684 1075285472 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3472 2079 566 18 0 3454 0
vsize: 13888
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2102 0 0 0 12961 37 0 0 25 0 1 0 754869329 14094336 2059 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3441 2059 566 18 0 3423 0
vsize: 13764
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2233 0 0 0 13958 40 0 0 25 0 1 0 754869329 14749696 2190 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3601 2190 566 18 0 3583 0
vsize: 14404
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2293 0 0 0 14956 43 0 0 25 0 1 0 754869329 14880768 2250 4294967295 134512640 134581331 3221221792 3221220736 134558865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3633 2250 566 18 0 3615 0
vsize: 14532
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2293 0 0 0 15953 46 0 0 25 0 1 0 754869329 14880768 2250 4294967295 134512640 134581331 3221221792 3221220736 134558859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3633 2250 566 18 0 3615 0
vsize: 14532
[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2312 0 0 0 16951 48 0 0 25 0 1 0 754869329 15011840 2269 4294967295 134512640 134581331 3221221792 3221220704 134527636 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3665 2269 566 18 0 3647 0
vsize: 14660
[startup+180.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2340 0 0 0 17948 51 0 0 25 0 1 0 754869329 15142912 2297 4294967295 134512640 134581331 3221221792 3221220576 134528797 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3697 2297 566 18 0 3679 0
vsize: 14788
[startup+190.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2340 0 0 0 18946 54 0 0 25 0 1 0 754869329 15142912 2297 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3697 2297 566 18 0 3679 0
vsize: 14788
[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2340 0 0 0 19944 56 0 0 25 0 1 0 754869329 15142912 2297 4294967295 134512640 134581331 3221221792 3221220704 134527440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3697 2297 566 18 0 3679 0
vsize: 14788
[startup+210.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2396 0 0 0 20942 58 0 0 25 0 1 0 754869329 15405056 2353 4294967295 134512640 134581331 3221221792 3221220656 134528356 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3761 2353 566 18 0 3743 0
vsize: 15044
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2440 0 0 0 21940 61 0 0 25 0 1 0 754869329 15532032 2397 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3792 2397 566 18 0 3774 0
vsize: 15168
[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2506 0 0 0 22937 63 0 0 25 0 1 0 754869329 15794176 2463 4294967295 134512640 134581331 3221221792 3221220656 134528347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3856 2463 566 18 0 3838 0
vsize: 15424
[startup+240.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2506 0 0 0 23935 66 0 0 25 0 1 0 754869329 15794176 2463 4294967295 134512640 134581331 3221221792 3221220676 134557882 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3856 2463 566 18 0 3838 0
vsize: 15424
[startup+250.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2506 0 0 0 24934 66 0 0 25 0 1 0 754869329 15794176 2463 4294967295 134512640 134581331 3221221792 3221220704 134531400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3856 2463 566 18 0 3838 0
vsize: 15424
[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2506 0 0 0 25932 69 0 0 25 0 1 0 754869329 15794176 2463 4294967295 134512640 134581331 3221221792 3221220656 134528363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3856 2463 566 18 0 3838 0
vsize: 15424
[startup+270.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2506 0 0 0 26930 71 0 0 25 0 1 0 754869329 15794176 2463 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3856 2463 566 18 0 3838 0
vsize: 15424
[startup+280.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2506 0 0 0 27928 73 0 0 25 0 1 0 754869329 15794176 2463 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3856 2463 566 18 0 3838 0
vsize: 15424
[startup+290.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2506 0 0 0 28926 75 0 0 25 0 1 0 754869329 15794176 2463 4294967295 134512640 134581331 3221221792 3221220720 134519950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3856 2463 566 18 0 3838 0
vsize: 15424
[startup+300.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2545 0 0 0 29924 78 0 0 25 0 1 0 754869329 15925248 2502 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3888 2502 566 18 0 3870 0
vsize: 15552
[startup+310.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2602 0 0 0 30922 80 0 0 25 0 1 0 754869329 16183296 2559 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3951 2559 566 18 0 3933 0
vsize: 15804
[startup+320.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2686 0 0 0 31918 84 0 0 25 0 1 0 754869329 16576512 2643 4294967295 134512640 134581331 3221221792 3221220704 134527703 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4047 2643 566 18 0 4029 0
vsize: 16188
[startup+330.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2686 0 0 0 32915 87 0 0 25 0 1 0 754869329 16556032 2643 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4042 2643 566 18 0 4024 0
vsize: 16168
[startup+340.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2686 0 0 0 33913 89 0 0 25 0 1 0 754869329 16556032 2643 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4042 2643 566 18 0 4024 0
vsize: 16168
[startup+350.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2695 0 0 0 34911 92 0 0 25 0 1 0 754869329 16556032 2652 4294967295 134512640 134581331 3221221792 3221220624 134528569 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4042 2652 566 18 0 4024 0
vsize: 16168
[startup+360.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2695 0 0 0 35909 93 0 0 25 0 1 0 754869329 16556032 2652 4294967295 134512640 134581331 3221221792 3221220784 134561142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4042 2652 566 18 0 4024 0
vsize: 16168
[startup+370.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2695 0 0 0 36906 96 0 0 25 0 1 0 754869329 16556032 2652 4294967295 134512640 134581331 3221221792 3221220720 134519797 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4042 2652 566 18 0 4024 0
vsize: 16168
[startup+380.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2696 0 0 0 37904 99 0 0 25 0 1 0 754869329 16556032 2653 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4042 2653 566 18 0 4024 0
vsize: 16168
[startup+390.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2754 0 0 0 38902 101 0 0 25 0 1 0 754869329 16814080 2711 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4105 2711 566 18 0 4087 0
vsize: 16420
[startup+400.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2754 0 0 0 39899 104 0 0 25 0 1 0 754869329 16814080 2711 4294967295 134512640 134581331 3221221792 3221220656 134528384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4105 2711 566 18 0 4087 0
vsize: 16420
[startup+410.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2754 0 0 0 40897 106 0 0 25 0 1 0 754869329 16814080 2711 4294967295 134512640 134581331 3221221792 3221220676 134557930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4105 2711 566 18 0 4087 0
vsize: 16420
[startup+420.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2754 0 0 0 41896 108 0 0 25 0 1 0 754869329 16814080 2711 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4105 2711 566 18 0 4087 0
vsize: 16420
[startup+430.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2754 0 0 0 42894 110 0 0 25 0 1 0 754869329 16814080 2711 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4105 2711 566 18 0 4087 0
vsize: 16420
[startup+440.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2754 0 0 0 43892 112 0 0 25 0 1 0 754869329 16789504 2711 4294967295 134512640 134581331 3221221792 3221220656 134528503 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4099 2711 566 18 0 4081 0
vsize: 16396
[startup+450.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2754 0 0 0 44889 115 0 0 25 0 1 0 754869329 16777216 2710 4294967295 134512640 134581331 3221221792 3221220688 134517764 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4096 2710 566 18 0 4078 0
vsize: 16384
[startup+460.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2754 0 0 0 45887 117 0 0 25 0 1 0 754869329 16777216 2710 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4096 2710 566 18 0 4078 0
vsize: 16384
[startup+470.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2754 0 0 0 46884 120 0 0 25 0 1 0 754869329 16777216 2710 4294967295 134512640 134581331 3221221792 3221220688 134517624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4096 2710 566 18 0 4078 0
vsize: 16384
[startup+480.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2792 0 0 0 47881 123 0 0 25 0 1 0 754869329 17031168 2748 4294967295 134512640 134581331 3221221792 3221220428 1075289095 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4158 2748 566 18 0 4140 0
vsize: 16632
[startup+490.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2792 0 0 0 48879 125 0 0 25 0 1 0 754869329 17031168 2748 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4158 2748 566 18 0 4140 0
vsize: 16632
[startup+500.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2792 0 0 0 49876 129 0 0 25 0 1 0 754869329 17022976 2748 4294967295 134512640 134581331 3221221792 3221220480 1075289377 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4156 2748 566 18 0 4138 0
vsize: 16624
[startup+510.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2804 0 0 0 50874 131 0 0 25 0 1 0 754869329 17022976 2760 4294967295 134512640 134581331 3221221792 3221220720 134519956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4156 2760 566 18 0 4138 0
vsize: 16624
[startup+520.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2804 0 0 0 51872 133 0 0 25 0 1 0 754869329 17022976 2760 4294967295 134512640 134581331 3221221792 3221220512 134523183 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4156 2760 566 18 0 4138 0
vsize: 16624
[startup+530.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2832 0 0 0 52869 136 0 0 25 0 1 0 754869329 17154048 2788 4294967295 134512640 134581331 3221221792 3221220672 134520297 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4188 2788 566 18 0 4170 0
vsize: 16752
[startup+540.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2832 0 0 0 53865 140 0 0 25 0 1 0 754869329 17154048 2788 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4188 2788 566 18 0 4170 0
vsize: 16752
[startup+550.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2832 0 0 0 54863 142 0 0 25 0 1 0 754869329 17154048 2788 4294967295 134512640 134581331 3221221792 3221220720 134519945 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4188 2788 566 18 0 4170 0
vsize: 16752
[startup+560.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2832 0 0 0 55860 145 0 0 25 0 1 0 754869329 17154048 2788 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4188 2788 566 18 0 4170 0
vsize: 16752
[startup+570.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2832 0 0 0 56858 148 0 0 25 0 1 0 754869329 17154048 2788 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4188 2788 566 18 0 4170 0
vsize: 16752
[startup+580.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2848 0 0 0 57857 149 0 0 25 0 1 0 754869329 17285120 2804 4294967295 134512640 134581331 3221221792 3221220656 134528507 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4220 2804 566 18 0 4202 0
vsize: 16880
[startup+590.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2848 0 0 0 58854 152 0 0 25 0 1 0 754869329 17264640 2804 4294967295 134512640 134581331 3221221792 3221220736 134559680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4215 2804 566 18 0 4197 0
vsize: 16860
[startup+600.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2848 0 0 0 59851 155 0 0 25 0 1 0 754869329 17256448 2804 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4213 2804 566 18 0 4195 0
vsize: 16852
[startup+610.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2848 0 0 0 60849 158 0 0 25 0 1 0 754869329 17248256 2804 4294967295 134512640 134581331 3221221792 3221220656 134528544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4211 2804 566 18 0 4193 0
vsize: 16844
[startup+620.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2848 0 0 0 61846 161 0 0 25 0 1 0 754869329 17240064 2804 4294967295 134512640 134581331 3221221792 3221220784 134561138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4209 2804 566 18 0 4191 0
vsize: 16836
[startup+630.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2848 0 0 0 62843 164 0 0 25 0 1 0 754869329 17240064 2804 4294967295 134512640 134581331 3221221792 3221220688 134517767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4209 2804 566 18 0 4191 0
vsize: 16836
[startup+640.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2848 0 0 0 63841 166 0 0 25 0 1 0 754869329 17240064 2804 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4209 2804 566 18 0 4191 0
vsize: 16836
[startup+650.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 2848 0 0 0 64838 169 0 0 25 0 1 0 754869329 17235968 2804 4294967295 134512640 134581331 3221221792 3221220672 134520299 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4208 2804 566 18 0 4190 0
vsize: 16832
[startup+660.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3052 0 0 0 65835 172 0 0 25 0 1 0 754869329 18014208 3008 4294967295 134512640 134581331 3221221792 3221220704 134527678 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+670.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3114 0 0 0 66832 175 0 0 25 0 1 0 754869329 18276352 3070 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4462 3070 566 18 0 4444 0
vsize: 17848
[startup+680.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3114 0 0 0 67830 178 0 0 25 0 1 0 754869329 18276352 3070 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4462 3070 566 18 0 4444 0
vsize: 17848
[startup+690.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3114 0 0 0 68827 180 0 0 25 0 1 0 754869329 18276352 3070 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4462 3070 566 18 0 4444 0
vsize: 17848
[startup+700.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3114 0 0 0 69824 184 0 0 25 0 1 0 754869329 18276352 3070 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4462 3070 566 18 0 4444 0
vsize: 17848
[startup+710.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3114 0 0 0 70822 186 0 0 25 0 1 0 754869329 18276352 3070 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4462 3070 566 18 0 4444 0
vsize: 17848
[startup+720.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3114 0 0 0 71820 188 0 0 25 0 1 0 754869329 18276352 3070 4294967295 134512640 134581331 3221221792 3221220720 134519941 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4462 3070 566 18 0 4444 0
vsize: 17848
[startup+730.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3114 0 0 0 72819 190 0 0 25 0 1 0 754869329 18276352 3070 4294967295 134512640 134581331 3221221792 3221220656 134528289 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4462 3070 566 18 0 4444 0
vsize: 17848
[startup+740.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3114 0 0 0 73817 192 0 0 25 0 1 0 754869329 18276352 3070 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4462 3070 566 18 0 4444 0
vsize: 17848
[startup+750.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3114 0 0 0 74815 194 0 0 25 0 1 0 754869329 18276352 3070 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4462 3070 566 18 0 4444 0
vsize: 17848
[startup+760.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3118 0 0 0 75814 195 0 0 25 0 1 0 754869329 18276352 3074 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4462 3074 566 18 0 4444 0
vsize: 17848
[startup+770.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3118 0 0 0 76813 197 0 0 25 0 1 0 754869329 18276352 3074 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4462 3074 566 18 0 4444 0
vsize: 17848
[startup+780.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3133 0 0 0 77811 198 0 0 25 0 1 0 754869329 18407424 3089 4294967295 134512640 134581331 3221221792 3221220656 134528267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4494 3089 566 18 0 4476 0
vsize: 17976
[startup+790.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3168 0 0 0 78810 200 0 0 25 0 1 0 754869329 18538496 3124 4294967295 134512640 134581331 3221221792 3221220720 134519937 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4526 3124 566 18 0 4508 0
vsize: 18104
[startup+800.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3168 0 0 0 79807 203 0 0 25 0 1 0 754869329 18538496 3124 4294967295 134512640 134581331 3221221792 3221220784 134561145 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4526 3124 566 18 0 4508 0
vsize: 18104
[startup+810.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3168 0 0 0 80805 205 0 0 25 0 1 0 754869329 18534400 3124 4294967295 134512640 134581331 3221221792 3221220688 134517764 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4525 3124 566 18 0 4507 0
vsize: 18100
[startup+820.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3180 0 0 0 81803 207 0 0 25 0 1 0 754869329 18534400 3136 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4525 3136 566 18 0 4507 0
vsize: 18100
[startup+830.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3180 0 0 0 82799 211 0 0 25 0 1 0 754869329 18534400 3136 4294967295 134512640 134581331 3221221792 3221220704 134558782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4525 3136 566 18 0 4507 0
vsize: 18100
[startup+840.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3180 0 0 0 83796 214 0 0 25 0 1 0 754869329 18534400 3136 4294967295 134512640 134581331 3221221792 3221220576 134528804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4525 3136 566 18 0 4507 0
vsize: 18100
[startup+850.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3180 0 0 0 84795 216 0 0 25 0 1 0 754869329 18534400 3136 4294967295 134512640 134581331 3221221792 3221220752 134519781 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4525 3136 566 18 0 4507 0
vsize: 18100
[startup+860.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3180 0 0 0 85793 218 0 0 25 0 1 0 754869329 18534400 3136 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4525 3136 566 18 0 4507 0
vsize: 18100
[startup+870.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3180 0 0 0 86790 221 0 0 25 0 1 0 754869329 18534400 3136 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4525 3136 566 18 0 4507 0
vsize: 18100
[startup+880.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3180 0 0 0 87788 223 0 0 25 0 1 0 754869329 18534400 3136 4294967295 134512640 134581331 3221221792 3221220608 134528848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4525 3136 566 18 0 4507 0
vsize: 18100
[startup+890.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3180 0 0 0 88786 226 0 0 25 0 1 0 754869329 18534400 3136 4294967295 134512640 134581331 3221221792 3221220576 134528721 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4525 3136 566 18 0 4507 0
vsize: 18100
[startup+900.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3180 0 0 0 89783 228 0 0 25 0 1 0 754869329 18534400 3136 4294967295 134512640 134581331 3221221792 3221220576 134528782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4525 3136 566 18 0 4507 0
vsize: 18100
[startup+910.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3224 0 0 0 90781 231 0 0 25 0 1 0 754869329 18796544 3180 4294967295 134512640 134581331 3221221792 3221220656 134528248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4589 3180 566 18 0 4571 0
vsize: 18356
[startup+920.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3224 0 0 0 91779 233 0 0 25 0 1 0 754869329 18796544 3180 4294967295 134512640 134581331 3221221792 3221220688 134517927 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4589 3180 566 18 0 4571 0
vsize: 18356
[startup+930.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3224 0 0 0 92776 236 0 0 25 0 1 0 754869329 18743296 3180 4294967295 134512640 134581331 3221221792 3221220724 134558768 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4576 3180 566 18 0 4558 0
vsize: 18304
[startup+940.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3224 0 0 0 93774 238 0 0 25 0 1 0 754869329 18739200 3180 4294967295 134512640 134581331 3221221792 3221220688 134517921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4575 3180 566 18 0 4557 0
vsize: 18300
[startup+950.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3224 0 0 0 94772 241 0 0 25 0 1 0 754869329 18604032 3157 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4542 3157 566 18 0 4524 0
vsize: 18168
[startup+960.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3224 0 0 0 95769 243 0 0 25 0 1 0 754869329 18604032 3157 4294967295 134512640 134581331 3221221792 3221220584 1075289350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4542 3157 566 18 0 4524 0
vsize: 18168
[startup+970.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3235 0 0 0 96768 245 0 0 25 0 1 0 754869329 18735104 3168 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4574 3168 566 18 0 4556 0
vsize: 18296
[startup+980.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3235 0 0 0 97765 248 0 0 25 0 1 0 754869329 18735104 3168 4294967295 134512640 134581331 3221221792 3221220624 134528564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4574 3168 566 18 0 4556 0
vsize: 18296
[startup+990.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3235 0 0 0 98764 249 0 0 25 0 1 0 754869329 18726912 3168 4294967295 134512640 134581331 3221221792 3221220676 134557928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4572 3168 566 18 0 4554 0
vsize: 18288
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3317 0 0 0 99761 252 0 0 25 0 1 0 754869329 18989056 3250 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4636 3250 566 18 0 4618 0
vsize: 18544
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3317 0 0 0 100760 253 0 0 25 0 1 0 754869329 18989056 3250 4294967295 134512640 134581331 3221221792 3221220508 1075288510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4636 3250 566 18 0 4618 0
vsize: 18544
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3319 0 0 0 101758 256 0 0 25 0 1 0 754869329 19120128 3252 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4668 3252 566 18 0 4650 0
vsize: 18672
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3319 0 0 0 102755 258 0 0 25 0 1 0 754869329 19116032 3252 4294967295 134512640 134581331 3221221792 3221220656 134528258 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4667 3252 566 18 0 4649 0
vsize: 18668
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3319 0 0 0 103753 261 0 0 25 0 1 0 754869329 19107840 3252 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4665 3252 566 18 0 4647 0
vsize: 18660
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3319 0 0 0 104751 263 0 0 25 0 1 0 754869329 19107840 3252 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4665 3252 566 18 0 4647 0
vsize: 18660
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3319 0 0 0 105749 265 0 0 25 0 1 0 754869329 19107840 3252 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4665 3252 566 18 0 4647 0
vsize: 18660
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3362 0 0 0 106748 266 0 0 25 0 1 0 754869329 19238912 3295 4294967295 134512640 134581331 3221221792 3221220564 1075289714 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4697 3295 566 18 0 4679 0
vsize: 18788
[startup+1080.04 s]
Raw data (loadavg): 1.07 1.00 1.00 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3362 0 0 0 107746 269 0 0 25 0 1 0 754869329 19238912 3295 4294967295 134512640 134581331 3221221792 3221220576 134528799 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4697 3295 566 18 0 4679 0
vsize: 18788
[startup+1090.04 s]
Raw data (loadavg): 1.06 1.00 1.00 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3385 0 0 0 108744 271 0 0 25 0 1 0 754869329 19365888 3318 4294967295 134512640 134581331 3221221792 3221220568 1075291632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4728 3318 566 18 0 4710 0
vsize: 18912
[startup+1100.04 s]
Raw data (loadavg): 1.05 1.00 1.00 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3385 0 0 0 109741 274 0 0 25 0 1 0 754869329 19365888 3318 4294967295 134512640 134581331 3221221792 3221220676 134557901 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4728 3318 566 18 0 4710 0
vsize: 18912
[startup+1110.04 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3385 0 0 0 110739 276 0 0 25 0 1 0 754869329 19365888 3318 4294967295 134512640 134581331 3221221792 3221220688 134517871 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4728 3318 566 18 0 4710 0
vsize: 18912
[startup+1120.04 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3388 0 0 0 111737 279 0 0 25 0 1 0 754869329 19365888 3321 4294967295 134512640 134581331 3221221792 3221220656 134528505 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4728 3321 566 18 0 4710 0
vsize: 18912
[startup+1130.04 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3388 0 0 0 112735 280 0 0 25 0 1 0 754869329 19365888 3321 4294967295 134512640 134581331 3221221792 3221220676 134557903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4728 3321 566 18 0 4710 0
vsize: 18912
[startup+1140.04 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3388 0 0 0 113733 282 0 0 25 0 1 0 754869329 19365888 3321 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4728 3321 566 18 0 4710 0
vsize: 18912
[startup+1150.04 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3388 0 0 0 114731 284 0 0 25 0 1 0 754869329 19341312 3321 4294967295 134512640 134581331 3221221792 3221220704 134527737 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4722 3321 566 18 0 4704 0
vsize: 18888
[startup+1160.04 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3388 0 0 0 115730 286 0 0 25 0 1 0 754869329 19341312 3321 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4722 3321 566 18 0 4704 0
vsize: 18888
[startup+1170.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3388 0 0 0 116728 288 0 0 25 0 1 0 754869329 19341312 3321 4294967295 134512640 134581331 3221221792 3221220720 134519937 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4722 3321 566 18 0 4704 0
vsize: 18888
[startup+1180.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3388 0 0 0 117727 290 0 0 25 0 1 0 754869329 19333120 3321 4294967295 134512640 134581331 3221221792 3221220672 134520291 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4720 3321 566 18 0 4702 0
vsize: 18880
[startup+1188.9 s]
Raw data (loadavg): 1.01 1.00 1.00 1/54 4593
Raw data (stat): 4593 (Pueblo) R 4592 7876 7672 0 -1 0 3388 0 0 0 117727 290 0 0 25 0 1 0 754869329 19333120 3321 4294967295 134512640 134581331 3221221792 3221220672 134520291 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4720 3321 566 18 0 4702 0
vsize: 0

Child status: 10
Real time (s): 1188.9
CPU time (s): 1189.02
CPU user time (s): 1186.09
CPU system time (s): 2.92955
CPU usage (%): 100.011
Max. virtual memory (Kb): 18912
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	25
#### END VERIFIER DATA ####