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/submitted/manquinho/routing/normalized-s4-4-3-1pb.opb
MD5SUM	9f27aad2edb50c2232eec4dba5ec2271
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	62
Optimality of the best value was proved	NO
Number of terms in the objective function	672
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	672
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	3
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	672
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03484
Number of variables	672
Total number of constraints	2028
Number of constraints which are clauses	2004
Number of constraints which are cardinality constraints (but not clauses)	24
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	28
Trace number 38441

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-02 09:46:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26507 boxname=wulflinc5 idbench=237 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  9f27aad2edb50c2232eec4dba5ec2271  /oldhome/oroussel/tmp/wulflinc5/normalized-s4-4-3-1pb.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-s4-4-3-1pb.opb
IDLAUNCH: 26507
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        676284 kB
Buffers:         34736 kB
Cached:         300480 kB
SwapCached:        568 kB
Active:          53872 kB
Inactive:       283364 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        676032 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5140 kB
Slab:            15488 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 10:06:43 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26507 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/wulflinc5/normalized-s4-4-3-1pb.opb
c #variables read: 672 - #constraints read: 2029
s SATISFIABLE
v -v1 -v2 -v3 -v4 -v5 -v6 v7 v8 -v9 -v10 -v11 -v12 -v13 -v14 -v15 -v16 -v17 -v18 -v19 -v20 -v21 -v22 v23 -v24 -v25 -v26 -v27 -v28 v29 -v30 -v31 -v32 -v33 v34 -v35 -v36 -v37 -v38 -v39 -v40 -v41 v42 -v43 -v44 -v45 v46 -v47 -v48 -v49 -v50 -v51 -v52 -v53 -v54 v55 -v56 -v57 -v58 -v59 -v60 -v61 -v62 -v63 -v64 -v65 -v66 -v67 -v68 -v69 -v70 -v71 -v72 -v73 -v74 -v75 v76 v77 -v78 -v79 -v80 v81 -v82 -v83 -v84 -v85 -v86 -v87 -v88 -v89 -v90 v91 -v92 -v93 -v94 -v95 -v96 -v97 v98 -v99 v100 -v101 -v102 -v103 -v104 -v105 -v106 -v107 -v108 -v109 v110 -v111 -v112 v113 -v114 -v115 -v116 -v117 -v118 -v119 -v120 -v121 -v122 -v123 -v124 v125 -v126 -v127 -v128 -v129 -v130 -v131 -v132 -v133 -v134 -v135 -v136 -v137 v138 -v139 -v140 -v141 v142 -v143 -v144 -v145 -v146 -v147 -v148 -v149 -v150 v151 -v152 -v153 -v154 -v155 -v156 -v157 -v158 -v159 -v160 v161 -v162 -v163 -v164 -v165 -v166 -v167 -v168 -v169 -v170 -v171 -v172 -v173 -v174 -v175 v176 -v177 -v178 -v179 -v180 -v181 -v182 -v183 -v184 -v185 -v186 -v187 -v188 -v189 v190 -v191 -v192 -v193 -v194 -v195 -v196 -v197 -v198 -v199 -v200 -v201 -v202 -v203 v204 -v205 -v206 v207 -v208 -v209 -v210 v211 -v212 -v213 -v214 v215 -v216 -v217 -v218 -v219 -v220 -v221 v222 -v223 v224 -v225 -v226 -v227 -v228 -v229 -v230 -v231 -v232 -v233 -v234 v235 -v236 -v237 -v238 -v239 -v240 -v241 -v242 -v243 -v244 -v245 v246 -v247 -v248 -v249 -v250 -v251 -v252 -v253 -v254 -v255 -v256 -v257 -v258 -v259 v260 -v261 -v262 -v263 -v264 -v265 -v266 -v267 -v268 -v269 -v270 -v271 -v272 -v273 v274 v275 -v276 -v277 -v278 -v279 -v280 -v281 -v282 -v283 -v284 -v285 -v286 v287 -v288 -v289 v290 -v291 -v292 -v293 -v294 -v295 -v296 -v297 -v298 -v299 -v300 -v301 -v302 -v303 -v304 -v305 -v306 -v307 -v308 -v309 -v310 -v311 -v312 v313 -v314 -v315 -v316 -v317 -v318 -v319 -v320 -v321 -v322 -v323 -v324 -v325 v326 -v327 -v328 -v329 v330 -v331 -v332 -v333 -v334 -v335 -v336 -v337 -v338 -v339 -v340 -v341 -v342 -v343 -v344 -v345 -v346 -v347 -v348 v349 -v350 -v351 -v352 -v353 -v354 -v355 -v356 -v357 -v358 -v359 -v360 v361 v362 v363 -v364 -v365 -v366 -v367 -v368 -v369 -v370 -v371 -v372 v373 -v374 -v375 -v376 -v377 -v378 -v379 -v380 -v381 -v382 -v383 -v384 -v385 -v386 -v387 -v388 -v389 -v390 -v391 -v392 -v393 v394 -v395 -v396 v397 -v398 -v399 -v400 v401 -v402 -v403 -v404 v405 -v406 -v407 -v408 -v409 -v410 -v411 -v412 -v413 v414 -v415 -v416 -v417 -v418 -v419 -v420 -v421 -v422 -v423 -v424 -v425 -v426 -v427 v428 -v429 -v430 -v431 v432 -v433 -v434 -v435 -v436 -v437 -v438 -v439 -v440 -v441 -v442 -v443 -v444 -v445 -v446 -v447 -v448 -v449 -v450 -v451 v452 -v453 -v454 -v455 -v456 -v457 -v458 -v459 -v460 -v461 -v462 -v463 -v464 -v465 -v466 -v467 v468 -v469 -v470 -v471 -v472 -v473 -v474 -v475 -v476 -v477 -v478 -v479 -v480 -v481 -v482 -v483 -v484 -v485 -v486 -v487 -v488 v489 -v490 -v491 -v492 -v493 -v494 -v495 -v496 -v497 -v498 -v499 -v500 -v501 -v502 -v503 -v504 -v505 -v506 -v507 -v508 -v509 -v510 -v511 -v512 v513 -v514 -v515 -v516 -v517 -v518 -v519 -v520 -v521 -v522 -v523 -v524 -v525 -v526 -v527 -v528 -v529 -v530 -v531 v532 -v533 -v534 -v535 -v536 -v537 -v538 -v539 -v540 -v541 v542 -v543 -v544 -v545 -v546 -v547 -v548 -v549 -v550 -v551 -v552 -v553 -v554 -v555 -v556 -v557 -v558 -v559 -v560 -v561 -v562 -v563 v564 -v565 -v566 -v567 -v568 -v569 -v570 -v571 -v572 -v573 -v574 -v575 -v576 v577 -v578 -v579 -v580 -v581 -v582 -v583 -v584 -v585 -v586 -v587 -v588 -v589 -v590 -v591 -v592 -v593 -v594 -v595 -v596 -v597 -v598 -v599 -v600 -v601 -v602 -v603 -v604 -v605 -v606 -v607 -v608 -v609 -v610 -v611 -v612 -v613 -v614 -v615 v616 -v617 -v618 -v619 -v620 -v621 -v622 -v623 -v624 -v625 -v626 v627 -v628 -v629 -v630 -v631 -v632 -v633 -v634 -v635 -v636 -v637 -v638 -v639 -v640 -v641 -v642 -v643 -v644 -v645 -v646 -v647 -v648 -v649 -v650 v651 -v652 -v653 -v654 -v655 -v656 -v657 -v658 -v659 -v660 -v661 -v662 -v663 -v664 -v665 -v666 -v667 -v668 -v669 -v670 -v671 -v672 
#### 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.62 0.86 0.88 1/54 3029
Raw data (stat): 3029 (runsolver) R 3028 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 848819097 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.68 0.86 0.88 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 499 0 0 0 997 1 0 0 25 0 1 0 848819097 7651328 473 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1868 473 566 18 0 1850 0
vsize: 7472
[startup+20.0003 s]
Raw data (loadavg): 0.73 0.86 0.88 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 680 0 0 0 1988 10 0 0 25 0 1 0 848819097 8441856 654 4294967295 134512640 134581267 3221224592 3221223536 134559228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2061 654 566 18 0 2043 0
vsize: 8244
[startup+30.0013 s]
Raw data (loadavg): 0.77 0.87 0.88 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 716 0 0 0 2982 17 0 0 25 0 1 0 848819097 8572928 690 4294967295 134512640 134581267 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2093 690 566 18 0 2075 0
vsize: 8372
[startup+40.0008 s]
Raw data (loadavg): 0.80 0.87 0.89 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 762 0 0 0 3972 27 0 0 25 0 1 0 848819097 8704000 736 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2125 736 566 18 0 2107 0
vsize: 8500
[startup+50.0016 s]
Raw data (loadavg): 0.83 0.87 0.89 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 762 0 0 0 4963 36 0 0 25 0 1 0 848819097 8704000 736 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2125 736 566 18 0 2107 0
vsize: 8500
[startup+60.0016 s]
Raw data (loadavg): 0.86 0.88 0.89 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 762 0 0 0 5953 46 0 0 25 0 1 0 848819097 8704000 736 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2125 736 566 18 0 2107 0
vsize: 8500
[startup+70.001 s]
Raw data (loadavg): 0.88 0.88 0.89 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 762 0 0 0 6946 54 0 0 25 0 1 0 848819097 8704000 736 4294967295 134512640 134581267 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2125 736 566 18 0 2107 0
vsize: 8500
[startup+80.0018 s]
Raw data (loadavg): 0.90 0.89 0.89 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 762 0 0 0 7936 63 0 0 25 0 1 0 848819097 8704000 736 4294967295 134512640 134581267 3221224592 3221223412 1075289770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2125 736 566 18 0 2107 0
vsize: 8500
[startup+90.0018 s]
Raw data (loadavg): 0.91 0.89 0.89 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 926 0 0 0 8928 72 0 0 25 0 1 0 848819097 9494528 900 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2318 900 566 18 0 2300 0
vsize: 9272
[startup+100.002 s]
Raw data (loadavg): 0.93 0.89 0.89 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 926 0 0 0 9919 81 0 0 25 0 1 0 848819097 9494528 900 4294967295 134512640 134581267 3221224592 3221223504 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2318 900 566 18 0 2300 0
vsize: 9272
[startup+110.003 s]
Raw data (loadavg): 0.94 0.89 0.89 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 975 0 0 0 10910 90 0 0 25 0 1 0 848819097 9625600 949 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2350 949 566 18 0 2332 0
vsize: 9400
[startup+120.003 s]
Raw data (loadavg): 0.95 0.90 0.89 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1019 0 0 0 11906 94 0 0 25 0 1 0 848819097 9859072 993 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2407 993 566 18 0 2389 0
vsize: 9628
[startup+130.004 s]
Raw data (loadavg): 0.95 0.90 0.89 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1019 0 0 0 12902 98 0 0 25 0 1 0 848819097 9859072 993 4294967295 134512640 134581267 3221224592 3221223536 134559049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2407 993 566 18 0 2389 0
vsize: 9628
[startup+140.004 s]
Raw data (loadavg): 0.96 0.90 0.90 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1057 0 0 0 13898 103 0 0 25 0 1 0 848819097 9990144 1031 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2439 1031 566 18 0 2421 0
vsize: 9756
[startup+150.004 s]
Raw data (loadavg): 0.97 0.91 0.90 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1105 0 0 0 14893 108 0 0 25 0 1 0 848819097 10141696 1073 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2476 1073 566 18 0 2458 0
vsize: 9904
[startup+160.005 s]
Raw data (loadavg): 0.97 0.91 0.90 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1105 0 0 0 15888 113 0 0 25 0 1 0 848819097 10141696 1073 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2476 1073 566 18 0 2458 0
vsize: 9904
[startup+170.005 s]
Raw data (loadavg): 0.98 0.91 0.90 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1105 0 0 0 16882 120 0 0 25 0 1 0 848819097 10141696 1073 4294967295 134512640 134581267 3221224592 3221223456 134528310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2476 1073 566 18 0 2458 0
vsize: 9904
[startup+180.006 s]
Raw data (loadavg): 0.98 0.91 0.90 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1105 0 0 0 17878 124 0 0 25 0 1 0 848819097 10141696 1073 4294967295 134512640 134581267 3221224592 3221223504 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2476 1073 566 18 0 2458 0
vsize: 9904
[startup+190.006 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1141 0 0 0 18874 128 0 0 25 0 1 0 848819097 10272768 1109 4294967295 134512640 134581267 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2508 1109 566 18 0 2490 0
vsize: 10032
[startup+200.007 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1141 0 0 0 19870 132 0 0 25 0 1 0 848819097 10272768 1109 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2508 1109 566 18 0 2490 0
vsize: 10032
[startup+210.007 s]
Raw data (loadavg): 0.99 0.92 0.90 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1141 0 0 0 20867 135 0 0 25 0 1 0 848819097 10272768 1109 4294967295 134512640 134581267 3221224592 3221223456 134528291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2508 1109 566 18 0 2490 0
vsize: 10032
[startup+220.007 s]
Raw data (loadavg): 0.99 0.92 0.90 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1145 0 0 0 21862 140 0 0 25 0 1 0 848819097 10272768 1113 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2508 1113 566 18 0 2490 0
vsize: 10032
[startup+230.007 s]
Raw data (loadavg): 0.99 0.92 0.90 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1145 0 0 0 22858 144 0 0 25 0 1 0 848819097 10272768 1113 4294967295 134512640 134581267 3221224592 3221223584 134561104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2508 1113 566 18 0 2490 0
vsize: 10032
[startup+240.007 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1157 0 0 0 23855 148 0 0 25 0 1 0 848819097 10403840 1125 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2540 1125 566 18 0 2522 0
vsize: 10160
[startup+250.006 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1157 0 0 0 24850 153 0 0 25 0 1 0 848819097 10289152 1125 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2512 1125 566 18 0 2494 0
vsize: 10048
[startup+260.007 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1157 0 0 0 25843 161 0 0 25 0 1 0 848819097 10289152 1125 4294967295 134512640 134581267 3221224592 3221223568 134560965 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2512 1125 566 18 0 2494 0
vsize: 10048
[startup+270.006 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1157 0 0 0 26836 167 0 0 25 0 1 0 848819097 10289152 1125 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2512 1125 566 18 0 2494 0
vsize: 10048
[startup+280.007 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1197 0 0 0 27830 174 0 0 25 0 1 0 848819097 10551296 1165 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2576 1165 566 18 0 2558 0
vsize: 10304
[startup+290.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1209 0 0 0 28825 179 0 0 25 0 1 0 848819097 10473472 1170 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2557 1170 566 18 0 2539 0
vsize: 10228
[startup+300.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1219 0 0 0 29819 185 0 0 25 0 1 0 848819097 10510336 1179 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2566 1179 566 18 0 2548 0
vsize: 10264
[startup+310.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1219 0 0 0 30814 190 0 0 25 0 1 0 848819097 10510336 1179 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2566 1179 566 18 0 2548 0
vsize: 10264
[startup+320.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1224 0 0 0 31811 193 0 0 25 0 1 0 848819097 10641408 1184 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2598 1184 566 18 0 2580 0
vsize: 10392
[startup+330.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1224 0 0 0 32805 200 0 0 25 0 1 0 848819097 10641408 1184 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2598 1184 566 18 0 2580 0
vsize: 10392
[startup+340.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1225 0 0 0 33801 204 0 0 25 0 1 0 848819097 10641408 1185 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2598 1185 566 18 0 2580 0
vsize: 10392
[startup+350.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1225 0 0 0 34791 214 0 0 25 0 1 0 848819097 10641408 1185 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2598 1185 566 18 0 2580 0
vsize: 10392
[startup+360.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1271 0 0 0 35786 219 0 0 25 0 1 0 848819097 10772480 1231 4294967295 134512640 134581267 3221224592 3221223504 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2630 1231 566 18 0 2612 0
vsize: 10520
[startup+370.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1274 0 0 0 36781 224 0 0 25 0 1 0 848819097 10690560 1223 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2610 1223 566 18 0 2592 0
vsize: 10440
[startup+380.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1280 0 0 0 37776 229 0 0 25 0 1 0 848819097 10821632 1229 4294967295 134512640 134581267 3221224592 3221223520 134519996 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2642 1229 566 18 0 2624 0
vsize: 10568
[startup+390.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1321 0 0 0 38771 234 0 0 25 0 1 0 848819097 10952704 1270 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2674 1270 566 18 0 2656 0
vsize: 10696
[startup+400.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1321 0 0 0 39767 239 0 0 25 0 1 0 848819097 10952704 1270 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2674 1270 566 18 0 2656 0
vsize: 10696
[startup+410.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1321 0 0 0 40762 244 0 0 25 0 1 0 848819097 10952704 1270 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2674 1270 566 18 0 2656 0
vsize: 10696
[startup+420.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1333 0 0 0 41758 248 0 0 25 0 1 0 848819097 10952704 1282 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2674 1282 566 18 0 2656 0
vsize: 10696
[startup+430.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1333 0 0 0 42750 256 0 0 25 0 1 0 848819097 10952704 1282 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2674 1282 566 18 0 2656 0
vsize: 10696
[startup+440.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1347 0 0 0 43744 262 0 0 25 0 1 0 848819097 11083776 1296 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2706 1296 566 18 0 2688 0
vsize: 10824
[startup+450.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1391 0 0 0 44739 267 0 0 25 0 1 0 848819097 11198464 1340 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2734 1340 566 18 0 2716 0
vsize: 10936
[startup+460.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1391 0 0 0 45734 273 0 0 25 0 1 0 848819097 11198464 1340 4294967295 134512640 134581267 3221224592 3221223456 134528222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2734 1340 566 18 0 2716 0
vsize: 10936
[startup+470.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1391 0 0 0 46729 278 0 0 25 0 1 0 848819097 11198464 1340 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2734 1340 566 18 0 2716 0
vsize: 10936
[startup+480.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1391 0 0 0 47724 283 0 0 25 0 1 0 848819097 11198464 1340 4294967295 134512640 134581267 3221224592 3221223472 134560515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2734 1340 566 18 0 2716 0
vsize: 10936
[startup+490.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1391 0 0 0 48718 290 0 0 25 0 1 0 848819097 11198464 1340 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2734 1340 566 18 0 2716 0
vsize: 10936
[startup+500.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1391 0 0 0 49714 294 0 0 25 0 1 0 848819097 11198464 1340 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2734 1340 566 18 0 2716 0
vsize: 10936
[startup+510.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1391 0 0 0 50710 298 0 0 25 0 1 0 848819097 11198464 1340 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2734 1340 566 18 0 2716 0
vsize: 10936
[startup+520.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1391 0 0 0 51706 302 0 0 25 0 1 0 848819097 11198464 1340 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2734 1340 566 18 0 2716 0
vsize: 10936
[startup+530.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1391 0 0 0 52703 305 0 0 25 0 1 0 848819097 11198464 1340 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2734 1340 566 18 0 2716 0
vsize: 10936
[startup+540.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1391 0 0 0 53699 309 0 0 25 0 1 0 848819097 11198464 1340 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2734 1340 566 18 0 2716 0
vsize: 10936
[startup+550.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1391 0 0 0 54696 313 0 0 25 0 1 0 848819097 11198464 1340 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2734 1340 566 18 0 2716 0
vsize: 10936
[startup+560.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1400 0 0 0 55691 317 0 0 25 0 1 0 848819097 11329536 1349 4294967295 134512640 134581267 3221224592 3221223584 134561073 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2766 1349 566 18 0 2748 0
vsize: 11064
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1520 0 0 0 56688 321 0 0 25 0 1 0 848819097 11821056 1469 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2886 1469 566 18 0 2868 0
vsize: 11544
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1520 0 0 0 57685 324 0 0 25 0 1 0 848819097 11821056 1469 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2886 1469 566 18 0 2868 0
vsize: 11544
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1520 0 0 0 58679 331 0 0 25 0 1 0 848819097 11821056 1469 4294967295 134512640 134581267 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2886 1469 566 18 0 2868 0
vsize: 11544
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1520 0 0 0 59672 337 0 0 25 0 1 0 848819097 11821056 1469 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2886 1469 566 18 0 2868 0
vsize: 11544
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1520 0 0 0 60665 345 0 0 25 0 1 0 848819097 11821056 1469 4294967295 134512640 134581267 3221224592 3221223520 134519855 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2886 1469 566 18 0 2868 0
vsize: 11544
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1520 0 0 0 61657 353 0 0 25 0 1 0 848819097 11821056 1469 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2886 1469 566 18 0 2868 0
vsize: 11544
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1520 0 0 0 62649 361 0 0 25 0 1 0 848819097 11821056 1469 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2886 1469 566 18 0 2868 0
vsize: 11544
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1520 0 0 0 63643 368 0 0 25 0 1 0 848819097 11821056 1469 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2886 1469 566 18 0 2868 0
vsize: 11544
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1521 0 0 0 64638 372 0 0 25 0 1 0 848819097 11821056 1470 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2886 1470 566 18 0 2868 0
vsize: 11544
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1521 0 0 0 65635 375 0 0 25 0 1 0 848819097 11821056 1470 4294967295 134512640 134581267 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2886 1470 566 18 0 2868 0
vsize: 11544
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1521 0 0 0 66632 379 0 0 25 0 1 0 848819097 11821056 1470 4294967295 134512640 134581267 3221224592 3221223504 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2886 1470 566 18 0 2868 0
vsize: 11544
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1521 0 0 0 67628 383 0 0 25 0 1 0 848819097 11821056 1470 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2886 1470 566 18 0 2868 0
vsize: 11544
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1522 0 0 0 68625 386 0 0 25 0 1 0 848819097 11821056 1471 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2886 1471 566 18 0 2868 0
vsize: 11544
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1522 0 0 0 69621 390 0 0 25 0 1 0 848819097 11821056 1471 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2886 1471 566 18 0 2868 0
vsize: 11544
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1541 0 0 0 70617 394 0 0 25 0 1 0 848819097 11821056 1490 4294967295 134512640 134581267 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2886 1490 566 18 0 2868 0
vsize: 11544
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1559 0 0 0 71613 398 0 0 25 0 1 0 848819097 11952128 1508 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2918 1508 566 18 0 2900 0
vsize: 11672
[startup+730.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1569 0 0 0 72610 401 0 0 25 0 1 0 848819097 11952128 1518 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2918 1518 566 18 0 2900 0
vsize: 11672
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1569 0 0 0 73607 405 0 0 25 0 1 0 848819097 11952128 1518 4294967295 134512640 134581267 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2918 1518 566 18 0 2900 0
vsize: 11672
[startup+750.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1569 0 0 0 74604 408 0 0 25 0 1 0 848819097 11952128 1518 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2918 1518 566 18 0 2900 0
vsize: 11672
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1569 0 0 0 75601 411 0 0 25 0 1 0 848819097 11952128 1518 4294967295 134512640 134581267 3221224592 3221223504 134527667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2918 1518 566 18 0 2900 0
vsize: 11672
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1569 0 0 0 76597 416 0 0 25 0 1 0 848819097 11952128 1518 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2918 1518 566 18 0 2900 0
vsize: 11672
[startup+780.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1569 0 0 0 77594 419 0 0 25 0 1 0 848819097 11952128 1518 4294967295 134512640 134581267 3221224592 3221223456 134528338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2918 1518 566 18 0 2900 0
vsize: 11672
[startup+790.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3029
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1577 0 0 0 78590 423 0 0 25 0 1 0 848819097 11952128 1526 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2918 1526 566 18 0 2900 0
vsize: 11672
[startup+800.012 s]
Raw data (loadavg): 1.15 1.00 0.92 2/58 3072
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1580 0 0 0 79587 426 0 0 25 0 1 0 848819097 12066816 1529 4294967295 134512640 134581267 3221224592 3221223472 134560256 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2946 1529 566 18 0 2928 0
vsize: 11784
[startup+810.361 s]
Raw data (loadavg): 1.20 1.02 0.93 2/54 3082
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1601 0 0 0 80618 431 0 0 25 0 1 0 848819097 12066816 1550 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2946 1550 566 18 0 2928 0
vsize: 11784
[startup+820.542 s]
Raw data (loadavg): 1.17 1.02 0.93 2/54 3082
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1601 0 0 0 81632 435 0 0 25 0 1 0 848819097 12038144 1549 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2939 1549 566 18 0 2921 0
vsize: 11756
[startup+830.543 s]
Raw data (loadavg): 1.14 1.02 0.93 2/54 3082
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1601 0 0 0 82627 439 0 0 25 0 1 0 848819097 12034048 1548 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2938 1548 566 18 0 2920 0
vsize: 11752
[startup+840.542 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 3082
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1601 0 0 0 83624 443 0 0 25 0 1 0 848819097 12034048 1548 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2938 1548 566 18 0 2920 0
vsize: 11752
[startup+850.542 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 3082
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1601 0 0 0 84621 446 0 0 25 0 1 0 848819097 12034048 1548 4294967295 134512640 134581267 3221224592 3221223584 134561101 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2938 1548 566 18 0 2920 0
vsize: 11752
[startup+860.542 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 3082
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1601 0 0 0 85616 451 0 0 25 0 1 0 848819097 12034048 1548 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2938 1548 566 18 0 2920 0
vsize: 11752
[startup+870.542 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 3084
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1601 0 0 0 86614 453 0 0 25 0 1 0 848819097 12034048 1548 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2938 1548 566 18 0 2920 0
vsize: 11752
[startup+880.543 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 3084
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1601 0 0 0 87610 457 0 0 25 0 1 0 848819097 12034048 1548 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2938 1548 566 18 0 2920 0
vsize: 11752
[startup+890.542 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 3084
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1601 0 0 0 88606 461 0 0 25 0 1 0 848819097 12034048 1548 4294967295 134512640 134581267 3221224592 3221223472 134560206 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2938 1548 566 18 0 2920 0
vsize: 11752
[startup+900.542 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 3084
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1602 0 0 0 89602 465 0 0 25 0 1 0 848819097 12140544 1549 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2964 1549 566 18 0 2946 0
vsize: 11856
[startup+910.542 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 3084
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1602 0 0 0 90599 469 0 0 25 0 1 0 848819097 12140544 1549 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2964 1549 566 18 0 2946 0
vsize: 11856
[startup+920.541 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 3084
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1614 0 0 0 91594 474 0 0 25 0 1 0 848819097 12140544 1561 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2964 1561 566 18 0 2946 0
vsize: 11856
[startup+930.541 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 3084
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1614 0 0 0 92589 480 0 0 25 0 1 0 848819097 12140544 1561 4294967295 134512640 134581267 3221224592 3221223536 134558904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2964 1561 566 18 0 2946 0
vsize: 11856
[startup+940.541 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 3084
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1614 0 0 0 93585 484 0 0 25 0 1 0 848819097 12140544 1561 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2964 1561 566 18 0 2946 0
vsize: 11856
[startup+950.541 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 3084
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1614 0 0 0 94581 488 0 0 25 0 1 0 848819097 12140544 1561 4294967295 134512640 134581267 3221224592 3221223504 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2964 1561 566 18 0 2946 0
vsize: 11856
[startup+960.54 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 3084
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1614 0 0 0 95576 493 0 0 25 0 1 0 848819097 12140544 1561 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2964 1561 566 18 0 2946 0
vsize: 11856
[startup+970.54 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 3084
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1643 0 0 0 96572 497 0 0 25 0 1 0 848819097 12271616 1590 4294967295 134512640 134581267 3221224592 3221223504 134527687 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2996 1590 566 18 0 2978 0
vsize: 11984
[startup+980.54 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 3084
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1643 0 0 0 97568 501 0 0 25 0 1 0 848819097 12271616 1590 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2996 1590 566 18 0 2978 0
vsize: 11984
[startup+990.54 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 3084
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1654 0 0 0 98564 505 0 0 25 0 1 0 848819097 12324864 1596 4294967295 134512640 134581267 3221224592 3221223552 134516759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3009 1596 566 18 0 2991 0
vsize: 12036
[startup+1000.54 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 3084
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1654 0 0 0 99559 510 0 0 25 0 1 0 848819097 12210176 1589 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2981 1589 566 18 0 2963 0
vsize: 11924
[startup+1010.54 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3084
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1654 0 0 0 100553 516 0 0 25 0 1 0 848819097 12210176 1589 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2981 1589 566 18 0 2963 0
vsize: 11924
[startup+1020.54 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3084
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1671 0 0 0 101549 520 0 0 25 0 1 0 848819097 12324864 1602 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3009 1602 566 18 0 2991 0
vsize: 12036
[startup+1030.54 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3084
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1671 0 0 0 102545 525 0 0 25 0 1 0 848819097 12193792 1585 4294967295 134512640 134581267 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2977 1585 566 18 0 2959 0
vsize: 11908
[startup+1040.54 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3084
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1671 0 0 0 103538 531 0 0 25 0 1 0 848819097 12193792 1585 4294967295 134512640 134581267 3221224592 3221223584 134560905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2977 1585 566 18 0 2959 0
vsize: 11908
[startup+1050.54 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3084
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1676 0 0 0 104534 536 0 0 25 0 1 0 848819097 12324864 1590 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3009 1590 566 18 0 2991 0
vsize: 12036
[startup+1060.54 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3084
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1676 0 0 0 105529 542 0 0 25 0 1 0 848819097 12193792 1585 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2977 1585 566 18 0 2959 0
vsize: 11908
[startup+1070.54 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3084
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1677 0 0 0 106524 546 0 0 25 0 1 0 848819097 12193792 1585 4294967295 134512640 134581267 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2977 1585 566 18 0 2959 0
vsize: 11908
[startup+1080.54 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3084
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1713 0 0 0 107518 552 0 0 25 0 1 0 848819097 12193792 1585 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2977 1585 566 18 0 2959 0
vsize: 11908
[startup+1090.54 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3084
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1713 0 0 0 108513 557 0 0 25 0 1 0 848819097 12193792 1585 4294967295 134512640 134581267 3221224592 3221223536 134559241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2977 1585 566 18 0 2959 0
vsize: 11908
[startup+1100.54 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3084
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1741 0 0 0 109510 561 0 0 25 0 1 0 848819097 12324864 1613 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3009 1613 566 18 0 2991 0
vsize: 12036
[startup+1110.54 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3084
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1741 0 0 0 110503 568 0 0 25 0 1 0 848819097 12324864 1613 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3009 1613 566 18 0 2991 0
vsize: 12036
[startup+1120.54 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3084
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1741 0 0 0 111500 572 0 0 25 0 1 0 848819097 12300288 1611 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3003 1611 566 18 0 2985 0
vsize: 12012
[startup+1130.54 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3084
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1741 0 0 0 112495 577 0 0 25 0 1 0 848819097 12300288 1611 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3003 1611 566 18 0 2985 0
vsize: 12012
[startup+1140.54 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3086
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1741 0 0 0 113489 583 0 0 25 0 1 0 848819097 12300288 1611 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3003 1611 566 18 0 2985 0
vsize: 12012
[startup+1150.54 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3086
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1741 0 0 0 114483 589 0 0 25 0 1 0 848819097 12300288 1611 4294967295 134512640 134581267 3221224592 3221223440 134566325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3003 1611 566 18 0 2985 0
vsize: 12012
[startup+1160.54 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3086
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1749 0 0 0 115479 593 0 0 25 0 1 0 848819097 12431360 1619 4294967295 134512640 134581267 3221224592 3221223504 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3035 1619 566 18 0 3017 0
vsize: 12140
[startup+1170.54 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3086
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1757 0 0 0 116473 599 0 0 25 0 1 0 848819097 12431360 1627 4294967295 134512640 134581267 3221224592 3221223488 134517624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3035 1627 566 18 0 3017 0
vsize: 12140
[startup+1180.54 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3086
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1757 0 0 0 117470 603 0 0 25 0 1 0 848819097 12431360 1627 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3035 1627 566 18 0 3017 0
vsize: 12140
[startup+1188.82 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 3086
Raw data (stat): 3029 (Pueblo-v2) R 3028 7266 7265 0 -1 0 1757 0 0 0 117470 603 0 0 25 0 1 0 848819097 12431360 1627 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3035 1627 566 18 0 3017 0
vsize: 0

Child status: 10
Real time (s): 1188.82
CPU time (s): 1189.01
CPU user time (s): 1182.95
CPU system time (s): 6.05908
CPU usage (%): 100.016
Max. virtual memory (Kb): 12140
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	62
#### END VERIFIER DATA ####