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.5:100.opb
MD5SUM	feaa96df552ef9989407735877840272
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	13
Optimality of the best value was proved	NO
Number of terms in the objective function	776
Biggest coefficient in the objective function	474
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	2127
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	474
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	2127
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.04084
Number of variables	776
Total number of constraints	1642
Number of constraints which are clauses	701
Number of constraints which are cardinality constraints (but not clauses)	941
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 38573

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-02 14:28:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26639 boxname=wulflinc6 idbench=369 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  feaa96df552ef9989407735877840272  /oldhome/oroussel/tmp/wulflinc6/normalized-10:20:4.5:0.5:100.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-10:20:4.5:0.5:100.opb
IDLAUNCH: 26639
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        739336 kB
Buffers:         33624 kB
Cached:         240952 kB
SwapCached:        552 kB
Active:          56464 kB
Inactive:       220216 kB
HighTotal:      131008 kB
HighFree:         9548 kB
LowTotal:       903652 kB
LowFree:        729788 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            12908 kB
Committed_AS:    63800 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 14:48:24 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26639 0 1189.01 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc6/normalized-10:20:4.5:0.5:100.opb
c #variables read: 776 - #constraints read: 1643
s SATISFIABLE
v -v756 -v693 -v588 -v262 v241 v56 v38 -v692 -v590 -v486 -v263 v246 v55 v37 -v757 -v700 -v589 -v485 -v439 -v266 v245 v54 v39 -v758 -v694 -v594 -v487 -v444 -v264 v52 v40 -v761 -v695 -v612 -v593 -v488 -v443 -v265 v248 v53 v47 -v759 -v696 -v611 -v591 -v489 -v401 v249 v41 v2 -v760 -v613 -v592 -v496 -v446 -v421 -v400 -v252 -v198 v171 v42 v1 -v734 -v616 -v490 -v447 -v420 -v406 -v385 -v250 v176 v43 v3 -v733 -v615 -v491 -v450 -v422 -v405 -v384 -v273 -v251 -v197 v175 v137 v4 -v620 -v492 -v448 -v425 -v407 -v386 -v366 -v278 -v201 -v155 v136 -v18 v5 -v735 -v619 -v559 -v510 -v449 -v424 -v411 -v387 -v365 -v277 -v178 -v154 v138 -v87 v17 v12 -v737 -v650 -v617 -v515 -v429 -v410 -v388 -v202 -v179 -v156 -v141 v86 v23 v6 -v649 -v618 -v558 -v514 -v466 -v428 -v408 -v395 -v367 -v280 -v182 -v157 v140 v88 -v66 v22 -v7 -v738 -v562 -v426 -v409 -v389 -v369 -v281 -v180 -v158 -v145 v91 v71 v24 -v8 -v740 -v651 -v517 -v469 -v427 -v390 -v318 -v284 -v223 -v181 -v165 -v144 -v121 v90 v70 v28 -v741 -v653 -v635 -v563 -v518 -v470 -v391 -v370 -v317 -v282 -v159 -v142 v95 v27 -v634 -v521 -v372 -v347 -v319 -v283 -v222 -v160 -v143 -v120 v94 v73 v25 -v654 -v519 -v373 -v351 -v322 -v226 -v161 v92 v74 v26 -v656 -v636 -v520 -v321 v124 v93 v75 -v657 v639 -v323 -v227 v125 v76 -v753 -v703 -v64 -v755 -v704 -v587 -v267 v240 v60 -v754 -v699 -v602 v242 v59 v50 -v762 -v598 -v438 v247 v51 -v710 -v697 -v597 -v499 -v440 v244 v46 -v714 -v500 -v445 v253 -v495 -v442 v44 -v729 -v614 -v451 -v402 v170 -v728 -v628 -v493 -v403 -v199 v172 v15 -v624 -v423 -v404 -v361 -v272 -v203 v177 v16 -v736 -v623 -v437 -v415 -v398 -v360 -v274 v174 -v11 -v739 -v645 -v509 -v433 -v399 -v279 -v183 v139 v19 -v743 -v644 -v560 -v511 -v465 -v432 -v394 -v368 -v276 -v205 -v168 v153 v20 -v9 -v742 -v564 -v516 -v371 -v285 -v206 -v169 -v149 v89 v65 v21 -v652 -v513 -v471 -v392 -v375 -v164 -v148 -v116 v103 v67 v32 -v655 -v630 -v522 -v374 v99 v72 -v659 -v629 -v566 -v346 -v224 -v162 -v122 v98 v69 -v658 -v567 -v350 -v320 -v228 v77 -v637 -v474 -v331 v126 v638 -v327 -v701 -v599 -v105 -v63 v49 -v752 -v601 -v271 v48 -v770 -v498 -v270 v57 -v766 -v497 v243 -v765 -v709 -v698 -v595 v261 v58 -v713 -v441 -v257 v193 -v625 -v596 -v459 -v302 -v256 v192 v45 v14 -v627 -v455 v13 -v494 -v454 -v434 -v418 -v397 -v200 -v730 -v554 -v436 -v419 -v396 -v204 v173 -v731 -v621 -v553 -v461 -v414 -v208 v191 -v167 v150 -v732 -v362 -v275 -v207 -v187 -v166 v152 -v747 -v622 -v561 -v467 -v430 -v412 -v363 -v293 -v186 v100 v35 -v10 -v646 -v565 -v512 -v364 -v289 -v218 v102 v36 -v685 -v647 -v569 -v530 -v472 -v431 -v393 -v379 -v288 -v217 -v146 v31 -v648 -v568 -v526 -v115 v68 -v663 -v525 -v475 -v348 -v328 -v225 -v163 -v147 -v117 v96 v85 v29 -v631 -v473 -v352 -v330 -v229 -v123 v81 -v632 -v230 v119 v97 v80 v633 -v326 -v231 v127 -v767 -v702 -v600 -v333 v104 -v61 -v769 -v268 v258 v260 -v763 -v711 -v456 v299 -v269 -v715 -v626 -v458 -v764 -v417 v301 -v254 -v435 -v416 v194 -v717 -v452 -v255 v195 v188 -v718 v196 v190 -v151 -v750 -v453 -v290 v212 v34 -v751 -v555 -v460 -v292 v101 v33 -v746 v681 -v556 -v527 -v462 -v413 -v382 -v184 -v557 -v529 -v468 -v383 -v343 -v744 -v684 -v666 -v573 -v464 -v378 -v342 -v286 -v185 v82 -v667 -v476 -v329 -v219 v84 -v662 -v534 -v523 -v376 -v349 -v287 -v220 v30 -v538 -v353 v221 -v118 -v660 -v642 -v604 -v524 -v354 v235 v135 v78 -v643 v608 -v355 -v324 v131 -v768 v332 v106 -v62 v706 -v259 v705 -v457 -v712 v298 v108 v716 v720 v303 v719 v189 -v749 v215 -v748 -v291 v216 v677 -v381 -v306 v211 -v528 -v380 v680 -v665 -v576 v209 -v664 -v577 -v463 -v83 -v745 v686 -v572 -v484 -v480 -v344 -v641 -v570 v533 -v479 -v377 -v345 v238 -v132 -v640 -v537 v239 -v134 -v689 -v661 -v603 v234 v79 v607 -v325 -v130 -v502 -v295 v109 v707 v107 v708 -v546 -v335 v300 -v771 v724 v304 v214 v213 v673 v307 -v305 v772 v676 v773 -v575 -v574 v682 -v481 v210 -v483 v687 v237 v236 -v133 -v690 -v571 v535 -v477 v358 -v688 -v539 v359 v605 -v478 v232 v609 -v128 v110 -v501 v336 -v334 v294 v727 -v545 v296 -v723 v308 -v721 v672 v582 -v482 v683 v532 -v679 v531 v357 -v691 v356 v536 -v540 v606 -v233 v610 -v129 v337 -v114 v726 v503 -v113 v725 -v547 v297 -v669 -v506 v316 -v312 -v722 v674 v581 v549 -v311 v550 -v678 v586 v542 v341 v541 v504 v340 -v111 -v548 v507 v313 -v112 -v505 v315 v580 v552 v668 v551 v670 v583 -v309 v675 -v310 v585 v338 v543 v508 -v314 v544 v339 v774 v579 v578 v671 v584 v775 one 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.84 0.95 0.94 2/54 17107
Raw data (stat): 17107 (runsolver) R 17106 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 850508580 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 0.87 0.95 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1041 0 0 0 993 5 0 0 25 0 1 0 850508580 9859072 1015 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2407 1015 566 18 0 2389 0
vsize: 9628
[startup+20.0003 s]
Raw data (loadavg): 0.89 0.95 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1165 0 0 0 1990 8 0 0 25 0 1 0 850508580 10383360 1139 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2535 1139 566 18 0 2517 0
vsize: 10140
[startup+30.0001 s]
Raw data (loadavg): 0.90 0.95 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1275 0 0 0 2987 11 0 0 25 0 1 0 850508580 10776576 1249 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2631 1249 566 18 0 2613 0
vsize: 10524
[startup+40.0006 s]
Raw data (loadavg): 0.92 0.95 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1371 0 0 0 3983 16 0 0 25 0 1 0 850508580 11169792 1345 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2727 1345 566 18 0 2709 0
vsize: 10908
[startup+50.0007 s]
Raw data (loadavg): 0.93 0.96 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1371 0 0 0 4979 21 0 0 25 0 1 0 850508580 11169792 1345 4294967295 134512640 134581267 3221224576 3221223552 134561060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2727 1345 566 18 0 2709 0
vsize: 10908
[startup+60.0005 s]
Raw data (loadavg): 0.94 0.96 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1510 0 0 0 5976 23 0 0 25 0 1 0 850508580 11825152 1484 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2887 1484 566 18 0 2869 0
vsize: 11548
[startup+70.001 s]
Raw data (loadavg): 0.95 0.96 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1532 0 0 0 6974 26 0 0 25 0 1 0 850508580 11956224 1506 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2919 1506 566 18 0 2901 0
vsize: 11676
[startup+80.0012 s]
Raw data (loadavg): 0.96 0.96 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1584 0 0 0 7971 30 0 0 25 0 1 0 850508580 12087296 1558 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2951 1558 566 18 0 2933 0
vsize: 11804
[startup+90.001 s]
Raw data (loadavg): 0.96 0.96 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1630 0 0 0 8969 32 0 0 25 0 1 0 850508580 12349440 1604 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3015 1604 566 18 0 2997 0
vsize: 12060
[startup+100.002 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1651 0 0 0 9966 35 0 0 25 0 1 0 850508580 12349440 1625 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3015 1625 566 18 0 2997 0
vsize: 12060
[startup+110.003 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1652 0 0 0 10964 37 0 0 25 0 1 0 850508580 12349440 1626 4294967295 134512640 134581267 3221224576 3221223504 134519945 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3015 1626 566 18 0 2997 0
vsize: 12060
[startup+120.002 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1733 0 0 0 11961 41 0 0 25 0 1 0 850508580 12742656 1707 4294967295 134512640 134581267 3221224576 3221223440 134528315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3111 1707 566 18 0 3093 0
vsize: 12444
[startup+130.003 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1754 0 0 0 12958 44 0 0 25 0 1 0 850508580 12742656 1728 4294967295 134512640 134581267 3221224576 3221223472 134517912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3111 1728 566 18 0 3093 0
vsize: 12444
[startup+140.003 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1776 0 0 0 13956 47 0 0 25 0 1 0 850508580 12873728 1750 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3143 1750 566 18 0 3125 0
vsize: 12572
[startup+150.003 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1780 0 0 0 14953 49 0 0 25 0 1 0 850508580 12873728 1754 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3143 1754 566 18 0 3125 0
vsize: 12572
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1781 0 0 0 15951 53 0 0 25 0 1 0 850508580 12873728 1755 4294967295 134512640 134581267 3221224576 3221223440 134528315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3143 1755 566 18 0 3125 0
vsize: 12572
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1878 0 0 0 16947 56 0 0 25 0 1 0 850508580 13266944 1852 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3239 1852 566 18 0 3221 0
vsize: 12956
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1896 0 0 0 17945 59 0 0 25 0 1 0 850508580 13393920 1870 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3270 1870 566 18 0 3252 0
vsize: 13080
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1925 0 0 0 18943 61 0 0 25 0 1 0 850508580 13524992 1899 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3302 1899 566 18 0 3284 0
vsize: 13208
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1928 0 0 0 19941 64 0 0 25 0 1 0 850508580 13524992 1902 4294967295 134512640 134581267 3221224576 3221223488 134527948 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3302 1902 566 18 0 3284 0
vsize: 13208
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1928 0 0 0 20938 67 0 0 25 0 1 0 850508580 13524992 1902 4294967295 134512640 134581267 3221224576 3221223440 134528352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3302 1902 566 18 0 3284 0
vsize: 13208
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1936 0 0 0 21935 70 0 0 25 0 1 0 850508580 13524992 1910 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3302 1910 566 18 0 3284 0
vsize: 13208
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1936 0 0 0 22931 74 0 0 25 0 1 0 850508580 13524992 1910 4294967295 134512640 134581267 3221224576 3221223440 134527082 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3302 1910 566 18 0 3284 0
vsize: 13208
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 1936 0 0 0 23929 77 0 0 25 0 1 0 850508580 13524992 1910 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3302 1910 566 18 0 3284 0
vsize: 13208
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2021 0 0 0 24926 81 0 0 25 0 1 0 850508580 13918208 1995 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3398 1995 566 18 0 3380 0
vsize: 13592
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2050 0 0 0 25923 84 0 0 25 0 1 0 850508580 14049280 2024 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3430 2024 566 18 0 3412 0
vsize: 13720
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2051 0 0 0 26920 88 0 0 25 0 1 0 850508580 14045184 2025 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3429 2025 566 18 0 3411 0
vsize: 13716
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2064 0 0 0 27916 91 0 0 25 0 1 0 850508580 14045184 2038 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3429 2038 566 18 0 3411 0
vsize: 13716
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2065 0 0 0 28913 95 0 0 25 0 1 0 850508580 14045184 2039 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3429 2039 566 18 0 3411 0
vsize: 13716
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2076 0 0 0 29910 98 0 0 25 0 1 0 850508580 14176256 2050 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3461 2050 566 18 0 3443 0
vsize: 13844
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2081 0 0 0 30908 101 0 0 25 0 1 0 850508580 14176256 2055 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3461 2055 566 18 0 3443 0
vsize: 13844
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2084 0 0 0 31905 104 0 0 25 0 1 0 850508580 14176256 2058 4294967295 134512640 134581267 3221224576 3221223292 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3461 2058 566 18 0 3443 0
vsize: 13844
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2096 0 0 0 32904 106 0 0 25 0 1 0 850508580 14176256 2070 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3461 2070 566 18 0 3443 0
vsize: 13844
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2096 0 0 0 33901 108 0 0 25 0 1 0 850508580 14176256 2070 4294967295 134512640 134581267 3221224576 3221223472 134517921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3461 2070 566 18 0 3443 0
vsize: 13844
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2096 0 0 0 34898 112 0 0 25 0 1 0 850508580 14176256 2070 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3461 2070 566 18 0 3443 0
vsize: 13844
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2156 0 0 0 35895 115 0 0 25 0 1 0 850508580 14438400 2130 4294967295 134512640 134581267 3221224576 3221223472 134517764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3525 2130 566 18 0 3507 0
vsize: 14100
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2181 0 0 0 36893 117 0 0 25 0 1 0 850508580 14569472 2155 4294967295 134512640 134581267 3221224576 3221223504 134519820 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3557 2155 566 18 0 3539 0
vsize: 14228
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2211 0 0 0 37890 121 0 0 25 0 1 0 850508580 14700544 2185 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3589 2185 566 18 0 3571 0
vsize: 14356
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2226 0 0 0 38887 124 0 0 25 0 1 0 850508580 14700544 2200 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3589 2200 566 18 0 3571 0
vsize: 14356
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2226 0 0 0 39886 126 0 0 25 0 1 0 850508580 14700544 2200 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3589 2200 566 18 0 3571 0
vsize: 14356
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2226 0 0 0 40883 128 0 0 25 0 1 0 850508580 14700544 2200 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3589 2200 566 18 0 3571 0
vsize: 14356
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2226 0 0 0 41881 131 0 0 25 0 1 0 850508580 14700544 2200 4294967295 134512640 134581267 3221224576 3221223520 134559432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3589 2200 566 18 0 3571 0
vsize: 14356
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2226 0 0 0 42879 134 0 0 25 0 1 0 850508580 14700544 2200 4294967295 134512640 134581267 3221224576 3221223504 134520027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3589 2200 566 18 0 3571 0
vsize: 14356
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2226 0 0 0 43876 137 0 0 25 0 1 0 850508580 14700544 2200 4294967295 134512640 134581267 3221224576 3221223520 134558830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3589 2200 566 18 0 3571 0
vsize: 14356
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2226 0 0 0 44874 139 0 0 25 0 1 0 850508580 14700544 2200 4294967295 134512640 134581267 3221224576 3221223472 134517927 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3589 2200 566 18 0 3571 0
vsize: 14356
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2229 0 0 0 45872 142 0 0 25 0 1 0 850508580 14700544 2203 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3589 2203 566 18 0 3571 0
vsize: 14356
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2229 0 0 0 46869 145 0 0 25 0 1 0 850508580 14700544 2203 4294967295 134512640 134581267 3221224576 3221223488 134527516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3589 2203 566 18 0 3571 0
vsize: 14356
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2229 0 0 0 47866 148 0 0 25 0 1 0 850508580 14700544 2203 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3589 2203 566 18 0 3571 0
vsize: 14356
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2242 0 0 0 48864 150 0 0 25 0 1 0 850508580 14831616 2216 4294967295 134512640 134581267 3221224576 3221223456 134520278 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3621 2216 566 18 0 3603 0
vsize: 14484
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2242 0 0 0 49863 152 0 0 25 0 1 0 850508580 14831616 2216 4294967295 134512640 134581267 3221224576 3221223440 134528257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3621 2216 566 18 0 3603 0
vsize: 14484
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2242 0 0 0 50860 155 0 0 25 0 1 0 850508580 14823424 2216 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3619 2216 566 18 0 3601 0
vsize: 14476
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2242 0 0 0 51857 158 0 0 25 0 1 0 850508580 14798848 2216 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3613 2216 566 18 0 3595 0
vsize: 14452
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2242 0 0 0 52855 161 0 0 25 0 1 0 850508580 14798848 2216 4294967295 134512640 134581267 3221224576 3221223488 134527720 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3613 2216 566 18 0 3595 0
vsize: 14452
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2242 0 0 0 53853 163 0 0 25 0 1 0 850508580 14798848 2216 4294967295 134512640 134581267 3221224576 3221223456 134520299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3613 2216 566 18 0 3595 0
vsize: 14452
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2248 0 0 0 54851 166 0 0 25 0 1 0 850508580 14798848 2222 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3613 2222 566 18 0 3595 0
vsize: 14452
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2385 0 0 0 55848 169 0 0 25 0 1 0 850508580 15458304 2359 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3774 2359 566 18 0 3756 0
vsize: 15096
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2408 0 0 0 56846 172 0 0 25 0 1 0 850508580 15458304 2382 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3774 2382 566 18 0 3756 0
vsize: 15096
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2420 0 0 0 57843 174 0 0 25 0 1 0 850508580 15589376 2394 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3806 2394 566 18 0 3788 0
vsize: 15224
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2437 0 0 0 58841 177 0 0 25 0 1 0 850508580 15589376 2411 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3806 2411 566 18 0 3788 0
vsize: 15224
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2446 0 0 0 59839 180 0 0 25 0 1 0 850508580 15720448 2420 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3838 2420 566 18 0 3820 0
vsize: 15352
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2446 0 0 0 60837 182 0 0 25 0 1 0 850508580 15708160 2420 4294967295 134512640 134581267 3221224576 3221223488 134527516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3835 2420 566 18 0 3817 0
vsize: 15340
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2447 0 0 0 61835 185 0 0 25 0 1 0 850508580 15708160 2421 4294967295 134512640 134581267 3221224576 3221223568 134561090 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3835 2421 566 18 0 3817 0
vsize: 15340
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2447 0 0 0 62832 187 0 0 25 0 1 0 850508580 15708160 2421 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3835 2421 566 18 0 3817 0
vsize: 15340
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2447 0 0 0 63830 190 0 0 25 0 1 0 850508580 15708160 2421 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3835 2421 566 18 0 3817 0
vsize: 15340
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2447 0 0 0 64827 193 0 0 25 0 1 0 850508580 15708160 2421 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3835 2421 566 18 0 3817 0
vsize: 15340
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2447 0 0 0 65826 195 0 0 25 0 1 0 850508580 15708160 2421 4294967295 134512640 134581267 3221224576 3221223440 134560512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3835 2421 566 18 0 3817 0
vsize: 15340
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2467 0 0 0 66823 198 0 0 25 0 1 0 850508580 15708160 2441 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3835 2441 566 18 0 3817 0
vsize: 15340
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2471 0 0 0 67820 201 0 0 25 0 1 0 850508580 15708160 2445 4294967295 134512640 134581267 3221224576 3221223568 134561090 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3835 2445 566 18 0 3817 0
vsize: 15340
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2471 0 0 0 68819 203 0 0 25 0 1 0 850508580 15708160 2445 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3835 2445 566 18 0 3817 0
vsize: 15340
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2471 0 0 0 69816 206 0 0 25 0 1 0 850508580 15708160 2445 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3835 2445 566 18 0 3817 0
vsize: 15340
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2478 0 0 0 70814 208 0 0 25 0 1 0 850508580 15839232 2452 4294967295 134512640 134581267 3221224576 3221223536 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3867 2452 566 18 0 3849 0
vsize: 15468
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2479 0 0 0 71811 212 0 0 25 0 1 0 850508580 15839232 2453 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3867 2453 566 18 0 3849 0
vsize: 15468
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2479 0 0 0 72807 216 0 0 25 0 1 0 850508580 15839232 2453 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3867 2453 566 18 0 3849 0
vsize: 15468
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2479 0 0 0 73805 219 0 0 25 0 1 0 850508580 15806464 2453 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3859 2453 566 18 0 3841 0
vsize: 15436
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2479 0 0 0 74802 222 0 0 25 0 1 0 850508580 15802368 2453 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3858 2453 566 18 0 3840 0
vsize: 15432
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2479 0 0 0 75800 224 0 0 25 0 1 0 850508580 15785984 2453 4294967295 134512640 134581267 3221224576 3221223560 134561049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3854 2453 566 18 0 3836 0
vsize: 15416
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2479 0 0 0 76796 229 0 0 25 0 1 0 850508580 15781888 2453 4294967295 134512640 134581267 3221224576 3221223368 1075289350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3853 2453 566 18 0 3835 0
vsize: 15412
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2480 0 0 0 77792 233 0 0 25 0 1 0 850508580 15781888 2454 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3853 2454 566 18 0 3835 0
vsize: 15412
[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2494 0 0 0 78790 236 0 0 25 0 1 0 850508580 15904768 2468 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3883 2468 566 18 0 3865 0
vsize: 15532
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2494 0 0 0 79787 239 0 0 25 0 1 0 850508580 15876096 2468 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3876 2468 566 18 0 3858 0
vsize: 15504
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2494 0 0 0 80784 242 0 0 25 0 1 0 850508580 15851520 2468 4294967295 134512640 134581267 3221224576 3221223408 134531713 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3870 2468 566 18 0 3852 0
vsize: 15480
[startup+820.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2494 0 0 0 81781 245 0 0 25 0 1 0 850508580 15843328 2468 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3868 2468 566 18 0 3850 0
vsize: 15472
[startup+830.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2496 0 0 0 82780 248 0 0 25 0 1 0 850508580 15843328 2470 4294967295 134512640 134581267 3221224576 3221223440 134528304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3868 2470 566 18 0 3850 0
vsize: 15472
[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2589 0 0 0 83777 251 0 0 25 0 1 0 850508580 16236544 2563 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3964 2563 566 18 0 3946 0
vsize: 15856
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2618 0 0 0 84776 254 0 0 25 0 1 0 850508580 16367616 2592 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3996 2592 566 18 0 3978 0
vsize: 15984
[startup+860.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2618 0 0 0 85773 256 0 0 25 0 1 0 850508580 16367616 2592 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3996 2592 566 18 0 3978 0
vsize: 15984
[startup+870.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2631 0 0 0 86771 259 0 0 25 0 1 0 850508580 16367616 2605 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3996 2605 566 18 0 3978 0
vsize: 15984
[startup+880.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2648 0 0 0 87768 262 0 0 25 0 1 0 850508580 16498688 2622 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4028 2622 566 18 0 4010 0
vsize: 16112
[startup+890.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2687 0 0 0 88766 264 0 0 25 0 1 0 850508580 16629760 2661 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4060 2661 566 18 0 4042 0
vsize: 16240
[startup+900.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2687 0 0 0 89764 267 0 0 25 0 1 0 850508580 16629760 2661 4294967295 134512640 134581267 3221224576 3221223440 134528235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4060 2661 566 18 0 4042 0
vsize: 16240
[startup+910.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2687 0 0 0 90762 269 0 0 25 0 1 0 850508580 16629760 2661 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4060 2661 566 18 0 4042 0
vsize: 16240
[startup+920.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2698 0 0 0 91760 271 0 0 25 0 1 0 850508580 16748544 2672 4294967295 134512640 134581267 3221224576 3221223440 134528315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4089 2672 566 18 0 4071 0
vsize: 16356
[startup+930.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2698 0 0 0 92759 273 0 0 25 0 1 0 850508580 16732160 2672 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4085 2672 566 18 0 4067 0
vsize: 16340
[startup+940.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2716 0 0 0 93757 276 0 0 25 0 1 0 850508580 16732160 2690 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4085 2690 566 18 0 4067 0
vsize: 16340
[startup+950.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2735 0 0 0 94754 278 0 0 25 0 1 0 850508580 16863232 2709 4294967295 134512640 134581267 3221224576 3221223504 134519937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4117 2709 566 18 0 4099 0
vsize: 16468
[startup+960.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2735 0 0 0 95752 281 0 0 25 0 1 0 850508580 16863232 2709 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4117 2709 566 18 0 4099 0
vsize: 16468
[startup+970.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2735 0 0 0 96750 283 0 0 25 0 1 0 850508580 16863232 2709 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4117 2709 566 18 0 4099 0
vsize: 16468
[startup+980.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2735 0 0 0 97748 286 0 0 25 0 1 0 850508580 16859136 2709 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4116 2709 566 18 0 4098 0
vsize: 16464
[startup+990.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2752 0 0 0 98746 288 0 0 25 0 1 0 850508580 16859136 2726 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4116 2726 566 18 0 4098 0
vsize: 16464
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2752 0 0 0 99744 290 0 0 25 0 1 0 850508580 16859136 2726 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4116 2726 566 18 0 4098 0
vsize: 16464
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2753 0 0 0 100742 292 0 0 25 0 1 0 850508580 16977920 2727 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4145 2727 566 18 0 4127 0
vsize: 16580
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2753 0 0 0 101740 295 0 0 25 0 1 0 850508580 16977920 2727 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4145 2727 566 18 0 4127 0
vsize: 16580
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2763 0 0 0 102739 297 0 0 25 0 1 0 850508580 16977920 2737 4294967295 134512640 134581267 3221224576 3221223548 134519776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4145 2737 566 18 0 4127 0
vsize: 16580
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2763 0 0 0 103736 300 0 0 25 0 1 0 850508580 16977920 2737 4294967295 134512640 134581267 3221224576 3221223520 134558800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4145 2737 566 18 0 4127 0
vsize: 16580
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2777 0 0 0 104735 302 0 0 25 0 1 0 850508580 16977920 2751 4294967295 134512640 134581267 3221224576 3221223440 134528352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4145 2751 566 18 0 4127 0
vsize: 16580
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2777 0 0 0 105733 304 0 0 25 0 1 0 850508580 16977920 2751 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4145 2751 566 18 0 4127 0
vsize: 16580
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2777 0 0 0 106732 305 0 0 25 0 1 0 850508580 16977920 2751 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4145 2751 566 18 0 4127 0
vsize: 16580
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2777 0 0 0 107730 308 0 0 25 0 1 0 850508580 16977920 2751 4294967295 134512640 134581267 3221224576 3221223504 134519797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4145 2751 566 18 0 4127 0
vsize: 16580
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2777 0 0 0 108728 310 0 0 25 0 1 0 850508580 16977920 2751 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4145 2751 566 18 0 4127 0
vsize: 16580
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2777 0 0 0 109725 313 0 0 25 0 1 0 850508580 16977920 2751 4294967295 134512640 134581267 3221224576 3221223456 134520282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4145 2751 566 18 0 4127 0
vsize: 16580
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2777 0 0 0 110724 315 0 0 25 0 1 0 850508580 16977920 2751 4294967295 134512640 134581267 3221224576 3221223488 134527420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4145 2751 566 18 0 4127 0
vsize: 16580
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2777 0 0 0 111722 317 0 0 25 0 1 0 850508580 16977920 2751 4294967295 134512640 134581267 3221224576 3221223292 1075288811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4145 2751 566 18 0 4127 0
vsize: 16580
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2777 0 0 0 112719 320 0 0 25 0 1 0 850508580 16977920 2751 4294967295 134512640 134581267 3221224576 3221223440 134528334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4145 2751 566 18 0 4127 0
vsize: 16580
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2777 0 0 0 113718 322 0 0 25 0 1 0 850508580 16977920 2751 4294967295 134512640 134581267 3221224576 3221223472 134517720 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4145 2751 566 18 0 4127 0
vsize: 16580
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2777 0 0 0 114716 324 0 0 25 0 1 0 850508580 16977920 2751 4294967295 134512640 134581267 3221224576 3221223520 134558768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4145 2751 566 18 0 4127 0
vsize: 16580
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2777 0 0 0 115715 326 0 0 25 0 1 0 850508580 16977920 2751 4294967295 134512640 134581267 3221224576 3221223440 134528312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4145 2751 566 18 0 4127 0
vsize: 16580
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2777 0 0 0 116712 329 0 0 25 0 1 0 850508580 16977920 2751 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4145 2751 566 18 0 4127 0
vsize: 16580
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2777 0 0 0 117710 331 0 0 25 0 1 0 850508580 16977920 2751 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4145 2751 566 18 0 4127 0
vsize: 16580
[startup+1188.63 s]
Raw data (loadavg): 0.99 0.97 0.94 1/53 17107
Raw data (stat): 17107 (Pueblo-v2) R 17106 25568 25567 0 -1 0 2777 0 0 0 117710 331 0 0 25 0 1 0 850508580 16977920 2751 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4145 2751 566 18 0 4127 0
vsize: 0

Child status: 10
Real time (s): 1188.63
CPU time (s): 1189.01
CPU user time (s): 1185.67
CPU system time (s): 3.33549
CPU usage (%): 100.032
Max. virtual memory (Kb): 16580
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	19
#### END VERIFIER DATA ####