PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
MD5SUM	f82b685b64af240616b701a750c82883
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	10
Optimality of the best value was proved	NO
Number of terms in the objective function	934
Biggest coefficient in the objective function	546
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	2594
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	546
Number of bits of the biggest number in a constraint	10
Biggest sum of numbers in a constraint	2594
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03784
Number of variables	934
Total number of constraints	1996
Number of constraints which are clauses	879
Number of constraints which are cardinality constraints (but not clauses)	1117
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	20
Trace number 24975

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

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

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

Child status: 10
Real time (s): 1188.88
CPU time (s): 1189.02
CPU user time (s): 1186.22
CPU system time (s): 2.79757
CPU usage (%): 100.012
Max. virtual memory (Kb): 19820
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	16
#### END VERIFIER DATA ####