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/ttp/normalized-data6_3.opb
MD5SUM	3ce91e964f348d481da3f7741c5768eb
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	25102
Optimality of the best value was proved	NO
Number of terms in the objective function	180
Biggest coefficient in the objective function	1380
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	116904
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	1380
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	116904
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03084
Number of variables	540
Total number of constraints	4476
Number of constraints which are clauses	2532
Number of constraints which are cardinality constraints (but not clauses)	264
Number of constraints which are nor clauses,nor cardinality constraints	1680
Minimum length of a constraint	2
Maximum length of a constraint	20
Trace number 38481

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-02 10:53:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26532 boxname=wulflinc6 idbench=262 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  3ce91e964f348d481da3f7741c5768eb  /oldhome/oroussel/tmp/wulflinc6/normalized-data6_3.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-data6_3.opb
IDLAUNCH: 26532
/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:        772716 kB
Buffers:         33408 kB
Cached:         207644 kB
SwapCached:        552 kB
Active:          56312 kB
Inactive:       186796 kB
HighTotal:      131008 kB
HighFree:        42952 kB
LowTotal:       903652 kB
LowFree:        729764 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            13180 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 11:13:43 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 26532 0 1189.02 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc6/normalized-data6_3.opb
c #variables read: 540 - #constraints read: 4627
s SATISFIABLE
v 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 -v2 -v38 -v74 -v110 v146 -v182 -v218 -v254 -v290 -v326 -v3 v39 -v75 -v111 -v147 -v183 -v219 -v255 -v291 -v327 -v4 -v40 -v76 -v112 -v148 -v184 -v220 -v256 v292 -v328 v5 -v41 -v77 -v113 -v149 -v185 -v221 -v257 -v293 -v329 -v6 -v42 -v78 -v114 -v150 -v186 -v222 -v258 -v294 v330 -v7 -v43 -v79 -v115 -v151 -v187 -v223 v259 -v295 -v331 -v9 -v45 v81 -v117 -v153 -v189 -v225 -v261 -v297 -v333 -v10 -v46 -v82 v118 -v154 -v190 -v226 -v262 -v298 -v334 -v11 -v47 -v83 -v119 -v155 -v191 v227 -v263 -v299 -v335 -v12 -v48 -v84 -v120 -v156 -v192 -v228 -v264 v300 -v336 -v13 -v49 -v85 -v121 -v157 v193 -v229 -v265 -v301 -v337 v14 -v50 -v86 -v122 -v158 -v194 -v230 -v266 -v302 -v338 -v16 -v52 -v88 -v124 -v160 -v196 -v232 -v268 -v304 v340 -v17 -v53 -v89 -v125 v161 -v197 -v233 -v269 -v305 -v341 -v18 -v54 -v90 v126 -v162 -v198 -v234 -v270 -v306 -v342 -v19 -v55 v91 -v127 -v163 -v199 -v235 -v271 -v307 -v343 -v20 -v56 -v92 -v128 -v164 v200 -v236 -v272 -v308 -v344 -v21 -v57 -v93 -v129 -v165 -v201 v237 -v273 -v309 -v345 -v23 v59 -v95 -v131 -v167 -v203 -v239 -v275 -v311 -v347 -v24 -v60 -v96 -v132 v168 -v204 -v240 -v276 -v312 -v348 -v25 -v61 -v97 v133 -v169 -v205 -v241 -v277 -v313 -v349 -v26 -v62 -v98 -v134 -v170 -v206 -v242 -v278 -v314 v350 -v27 -v63 -v99 -v135 -v171 -v207 -v243 -v279 v315 -v351 -v28 -v64 -v100 -v136 -v172 -v208 -v244 v280 -v316 -v352 -v30 -v66 v102 -v138 -v174 -v210 -v246 -v282 -v318 -v354 -v31 -v67 -v103 -v139 -v175 -v211 v247 -v283 -v319 -v355 -v32 v68 -v104 -v140 -v176 -v212 -v248 -v284 -v320 -v356 -v33 -v69 -v105 -v141 -v177 -v213 -v249 v285 -v321 -v357 v34 -v70 -v106 -v142 -v178 -v214 -v250 -v286 -v322 -v358 -v35 -v71 -v107 -v143 -v179 v215 -v251 -v287 -v323 -v359 v8 v44 -v80 -v116 v152 v188 -v224 -v260 -v296 v332 -v15 v51 v87 -v123 -v159 -v195 v231 v267 v303 -v339 v22 -v58 -v94 v130 -v166 -v202 -v238 v274 v310 v346 v29 v65 -v101 -v137 v173 v209 v245 -v281 -v317 -v353 -v36 -v72 v108 v144 v180 -v216 -v252 -v288 v324 v360 -v1 -v37 v73 v109 -v145 v181 v217 v253 -v289 -v325 
#### 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.85 0.97 0.93 1/54 15765
Raw data (stat): 15765 (runsolver) R 15764 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849220261 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.0002 s]
Raw data (loadavg): 0.87 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 946 0 0 0 991 8 0 0 25 0 1 0 849220261 9498624 920 4294967295 134512640 134581267 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2319 920 566 18 0 2301 0
vsize: 9276
[startup+20.0003 s]
Raw data (loadavg): 0.89 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1052 0 0 0 1988 11 0 0 25 0 1 0 849220261 10022912 1026 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2447 1026 566 18 0 2429 0
vsize: 9788
[startup+30.0004 s]
Raw data (loadavg): 0.91 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1084 0 0 0 2985 14 0 0 25 0 1 0 849220261 10153984 1058 4294967295 134512640 134581267 3221224592 3221223584 134561096 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2479 1058 566 18 0 2461 0
vsize: 9916
[startup+40.0006 s]
Raw data (loadavg): 0.92 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1108 0 0 0 3982 18 0 0 25 0 1 0 849220261 10153984 1082 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2479 1082 566 18 0 2461 0
vsize: 9916
[startup+50.0007 s]
Raw data (loadavg): 0.93 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1316 0 0 0 4979 21 0 0 25 0 1 0 849220261 11079680 1290 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2705 1290 566 18 0 2687 0
vsize: 10820
[startup+60.0009 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1350 0 0 0 5977 23 0 0 25 0 1 0 849220261 11210752 1324 4294967295 134512640 134581267 3221224592 3221223572 134561056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2737 1324 566 18 0 2719 0
vsize: 10948
[startup+70.001 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1351 0 0 0 6975 26 0 0 25 0 1 0 849220261 11210752 1325 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2737 1325 566 18 0 2719 0
vsize: 10948
[startup+80.0012 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1351 0 0 0 7973 28 0 0 25 0 1 0 849220261 11210752 1325 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2737 1325 566 18 0 2719 0
vsize: 10948
[startup+90.0013 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1351 0 0 0 8972 30 0 0 25 0 1 0 849220261 11210752 1325 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2737 1325 566 18 0 2719 0
vsize: 10948
[startup+100.001 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1351 0 0 0 9969 33 0 0 25 0 1 0 849220261 11210752 1325 4294967295 134512640 134581267 3221224592 3221223456 134528302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2737 1325 566 18 0 2719 0
vsize: 10948
[startup+110.002 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1351 0 0 0 10966 36 0 0 25 0 1 0 849220261 11210752 1325 4294967295 134512640 134581267 3221224592 3221223280 1075288402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2737 1325 566 18 0 2719 0
vsize: 10948
[startup+120.002 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1407 0 0 0 11964 39 0 0 25 0 1 0 849220261 11472896 1381 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2801 1381 566 18 0 2783 0
vsize: 11204
[startup+130.003 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1460 0 0 0 12962 41 0 0 25 0 1 0 849220261 11603968 1434 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2833 1434 566 18 0 2815 0
vsize: 11332
[startup+140.002 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1478 0 0 0 13959 44 0 0 25 0 1 0 849220261 11735040 1452 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2865 1452 566 18 0 2847 0
vsize: 11460
[startup+150.002 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1523 0 0 0 14957 47 0 0 25 0 1 0 849220261 11866112 1497 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2897 1497 566 18 0 2879 0
vsize: 11588
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1550 0 0 0 15954 50 0 0 25 0 1 0 849220261 12001280 1524 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2930 1524 566 18 0 2912 0
vsize: 11720
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1597 0 0 0 16952 53 0 0 25 0 1 0 849220261 12136448 1571 4294967295 134512640 134581267 3221224592 3221223472 134560276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2963 1571 566 18 0 2945 0
vsize: 11852
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1637 0 0 0 17951 54 0 0 25 0 1 0 849220261 12406784 1611 4294967295 134512640 134581267 3221224592 3221223560 134527282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3029 1611 566 18 0 3011 0
vsize: 12116
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1644 0 0 0 18948 57 0 0 25 0 1 0 849220261 12406784 1618 4294967295 134512640 134581267 3221224592 3221223520 134519877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3029 1618 566 18 0 3011 0
vsize: 12116
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1667 0 0 0 19946 59 0 0 25 0 1 0 849220261 12541952 1641 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3062 1641 566 18 0 3044 0
vsize: 12248
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1769 0 0 0 20944 61 0 0 25 0 1 0 849220261 12943360 1743 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3160 1743 566 18 0 3142 0
vsize: 12640
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1769 0 0 0 21943 63 0 0 25 0 1 0 849220261 12943360 1743 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3160 1743 566 18 0 3142 0
vsize: 12640
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1769 0 0 0 22942 64 0 0 25 0 1 0 849220261 12943360 1743 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3160 1743 566 18 0 3142 0
vsize: 12640
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1769 0 0 0 23940 67 0 0 25 0 1 0 849220261 12931072 1743 4294967295 134512640 134581267 3221224592 3221223536 134558921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1743 566 18 0 3139 0
vsize: 12628
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1769 0 0 0 24938 69 0 0 25 0 1 0 849220261 12931072 1743 4294967295 134512640 134581267 3221224592 3221223448 134527015 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1743 566 18 0 3139 0
vsize: 12628
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1769 0 0 0 25936 71 0 0 25 0 1 0 849220261 12931072 1743 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1743 566 18 0 3139 0
vsize: 12628
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1769 0 0 0 26934 74 0 0 25 0 1 0 849220261 12931072 1743 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1743 566 18 0 3139 0
vsize: 12628
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1769 0 0 0 27932 76 0 0 25 0 1 0 849220261 12931072 1743 4294967295 134512640 134581267 3221224592 3221223520 134520043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1743 566 18 0 3139 0
vsize: 12628
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1769 0 0 0 28930 78 0 0 25 0 1 0 849220261 12931072 1743 4294967295 134512640 134581267 3221224592 3221223584 134560935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1743 566 18 0 3139 0
vsize: 12628
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1769 0 0 0 29928 81 0 0 25 0 1 0 849220261 12931072 1743 4294967295 134512640 134581267 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1743 566 18 0 3139 0
vsize: 12628
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1769 0 0 0 30926 83 0 0 25 0 1 0 849220261 12931072 1743 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1743 566 18 0 3139 0
vsize: 12628
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1769 0 0 0 31924 86 0 0 25 0 1 0 849220261 12926976 1743 4294967295 134512640 134581267 3221224592 3221223536 134558906 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3156 1743 566 18 0 3138 0
vsize: 12624
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1769 0 0 0 32922 88 0 0 25 0 1 0 849220261 12926976 1743 4294967295 134512640 134581267 3221224592 3221223560 134527282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3156 1743 566 18 0 3138 0
vsize: 12624
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1791 0 0 0 33921 89 0 0 25 0 1 0 849220261 12926976 1765 4294967295 134512640 134581267 3221224592 3221223560 134527282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3156 1765 566 18 0 3138 0
vsize: 12624
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1791 0 0 0 34919 92 0 0 25 0 1 0 849220261 12926976 1765 4294967295 134512640 134581267 3221224592 3221223472 134520282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3156 1765 566 18 0 3138 0
vsize: 12624
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1791 0 0 0 35917 94 0 0 25 0 1 0 849220261 12926976 1765 4294967295 134512640 134581267 3221224592 3221223520 134520109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3156 1765 566 18 0 3138 0
vsize: 12624
[startup+370.163 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15765
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1791 0 0 0 36931 96 0 0 25 0 1 0 849220261 12926976 1765 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3156 1765 566 18 0 3138 0
vsize: 12624
[startup+380.163 s]
Raw data (loadavg): 1.07 0.99 0.93 4/59 15817
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1791 0 0 0 37929 98 0 0 25 0 1 0 849220261 12926976 1765 4294967295 134512640 134581267 3221224592 3221223520 134519817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3156 1765 566 18 0 3138 0
vsize: 12624
[startup+390.163 s]
Raw data (loadavg): 1.21 1.02 0.94 2/54 15818
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1791 0 0 0 38927 100 0 0 25 0 1 0 849220261 12926976 1765 4294967295 134512640 134581267 3221224592 3221223520 134519838 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3156 1765 566 18 0 3138 0
vsize: 12624
[startup+400.163 s]
Raw data (loadavg): 1.18 1.02 0.94 2/54 15818
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1791 0 0 0 39925 103 0 0 25 0 1 0 849220261 12926976 1765 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3156 1765 566 18 0 3138 0
vsize: 12624
[startup+410.163 s]
Raw data (loadavg): 1.15 1.02 0.94 2/54 15818
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1853 0 0 0 40922 106 0 0 25 0 1 0 849220261 13254656 1827 4294967295 134512640 134581267 3221224592 3221223560 134527284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3236 1827 566 18 0 3218 0
vsize: 12944
[startup+420.163 s]
Raw data (loadavg): 1.13 1.02 0.94 2/54 15818
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1898 0 0 0 41919 109 0 0 25 0 1 0 849220261 13520896 1872 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3301 1872 566 18 0 3283 0
vsize: 13204
[startup+430.164 s]
Raw data (loadavg): 1.11 1.02 0.94 2/54 15818
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1902 0 0 0 42918 110 0 0 25 0 1 0 849220261 13520896 1876 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3301 1876 566 18 0 3283 0
vsize: 13204
[startup+440.163 s]
Raw data (loadavg): 1.09 1.02 0.94 2/54 15818
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 1946 0 0 0 43915 114 0 0 25 0 1 0 849220261 13651968 1920 4294967295 134512640 134581267 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3333 1920 566 18 0 3315 0
vsize: 13332
[startup+450.164 s]
Raw data (loadavg): 1.08 1.01 0.94 2/54 15820
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2008 0 0 0 44913 116 0 0 25 0 1 0 849220261 13914112 1982 4294967295 134512640 134581267 3221224592 3221223536 134559318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3397 1982 566 18 0 3379 0
vsize: 13588
[startup+460.164 s]
Raw data (loadavg): 1.06 1.01 0.94 2/54 15820
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2008 0 0 0 45909 120 0 0 25 0 1 0 849220261 13914112 1982 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3397 1982 566 18 0 3379 0
vsize: 13588
[startup+470.164 s]
Raw data (loadavg): 1.05 1.01 0.94 2/54 15820
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2008 0 0 0 46907 123 0 0 25 0 1 0 849220261 13914112 1982 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3397 1982 566 18 0 3379 0
vsize: 13588
[startup+480.164 s]
Raw data (loadavg): 1.04 1.01 0.94 2/54 15820
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2008 0 0 0 47906 124 0 0 25 0 1 0 849220261 13914112 1982 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3397 1982 566 18 0 3379 0
vsize: 13588
[startup+490.165 s]
Raw data (loadavg): 1.04 1.01 0.94 2/54 15820
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2008 0 0 0 48906 125 0 0 25 0 1 0 849220261 13914112 1982 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3397 1982 566 18 0 3379 0
vsize: 13588
[startup+500.165 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 15820
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2008 0 0 0 49904 127 0 0 25 0 1 0 849220261 13914112 1982 4294967295 134512640 134581267 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3397 1982 566 18 0 3379 0
vsize: 13588
[startup+510.166 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 15820
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2008 0 0 0 50902 129 0 0 25 0 1 0 849220261 13914112 1982 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3397 1982 566 18 0 3379 0
vsize: 13588
[startup+520.166 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 15820
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2008 0 0 0 51901 131 0 0 25 0 1 0 849220261 13914112 1982 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3397 1982 566 18 0 3379 0
vsize: 13588
[startup+530.166 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 15820
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2008 0 0 0 52899 133 0 0 25 0 1 0 849220261 13914112 1982 4294967295 134512640 134581267 3221224592 3221223472 134520246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3397 1982 566 18 0 3379 0
vsize: 13588
[startup+540.166 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 15820
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2008 0 0 0 53897 136 0 0 25 0 1 0 849220261 13914112 1982 4294967295 134512640 134581267 3221224592 3221223504 134527963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3397 1982 566 18 0 3379 0
vsize: 13588
[startup+550.167 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 15820
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2026 0 0 0 54895 138 0 0 25 0 1 0 849220261 14045184 2000 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3429 2000 566 18 0 3411 0
vsize: 13716
[startup+560.166 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 15820
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2026 0 0 0 55893 141 0 0 25 0 1 0 849220261 14045184 2000 4294967295 134512640 134581267 3221224592 3221223536 134558812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3429 2000 566 18 0 3411 0
vsize: 13716
[startup+570.167 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 15820
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2026 0 0 0 56891 142 0 0 25 0 1 0 849220261 14020608 2000 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3423 2000 566 18 0 3405 0
vsize: 13692
[startup+580.167 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 15820
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2049 0 0 0 57890 144 0 0 25 0 1 0 849220261 14016512 2023 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3422 2023 566 18 0 3404 0
vsize: 13688
[startup+590.167 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15820
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2055 0 0 0 58888 146 0 0 25 0 1 0 849220261 14163968 2029 4294967295 134512640 134581267 3221224592 3221223572 134561056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3458 2029 566 18 0 3440 0
vsize: 13832
[startup+600.167 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15820
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2089 0 0 0 59885 149 0 0 25 0 1 0 849220261 14295040 2063 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3490 2063 566 18 0 3472 0
vsize: 13960
[startup+610.168 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15820
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2107 0 0 0 60884 151 0 0 25 0 1 0 849220261 14295040 2081 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3490 2081 566 18 0 3472 0
vsize: 13960
[startup+620.168 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15820
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2108 0 0 0 61882 154 0 0 25 0 1 0 849220261 14295040 2082 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3490 2082 566 18 0 3472 0
vsize: 13960
[startup+630.168 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15820
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2108 0 0 0 62881 155 0 0 25 0 1 0 849220261 14295040 2082 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3490 2082 566 18 0 3472 0
vsize: 13960
[startup+640.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15820
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2108 0 0 0 63880 156 0 0 25 0 1 0 849220261 14295040 2082 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3490 2082 566 18 0 3472 0
vsize: 13960
[startup+650.169 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15820
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2152 0 0 0 64877 159 0 0 25 0 1 0 849220261 14557184 2126 4294967295 134512640 134581267 3221224592 3221223520 134520095 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3554 2126 566 18 0 3536 0
vsize: 14216
[startup+660.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15820
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2194 0 0 0 65875 162 0 0 25 0 1 0 849220261 14688256 2168 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3586 2168 566 18 0 3568 0
vsize: 14344
[startup+670.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15820
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2194 0 0 0 66873 164 0 0 25 0 1 0 849220261 14688256 2168 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3586 2168 566 18 0 3568 0
vsize: 14344
[startup+680.171 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15820
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2194 0 0 0 67872 165 0 0 25 0 1 0 849220261 14688256 2168 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3586 2168 566 18 0 3568 0
vsize: 14344
[startup+690.171 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2210 0 0 0 68870 168 0 0 25 0 1 0 849220261 14688256 2184 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3586 2184 566 18 0 3568 0
vsize: 14344
[startup+700.174 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2228 0 0 0 69869 169 0 0 25 0 1 0 849220261 14823424 2202 4294967295 134512640 134581267 3221224592 3221223456 134527080 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3619 2202 566 18 0 3601 0
vsize: 14476
[startup+710.179 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2254 0 0 0 70868 172 0 0 25 0 1 0 849220261 14954496 2228 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3651 2228 566 18 0 3633 0
vsize: 14604
[startup+720.18 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2254 0 0 0 71866 174 0 0 25 0 1 0 849220261 14954496 2228 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3651 2228 566 18 0 3633 0
vsize: 14604
[startup+730.18 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2254 0 0 0 72865 175 0 0 25 0 1 0 849220261 14954496 2228 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3651 2228 566 18 0 3633 0
vsize: 14604
[startup+740.18 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2254 0 0 0 73863 177 0 0 25 0 1 0 849220261 14954496 2228 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3651 2228 566 18 0 3633 0
vsize: 14604
[startup+750.18 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2254 0 0 0 74861 180 0 0 25 0 1 0 849220261 14938112 2228 4294967295 134512640 134581267 3221224592 3221223448 1075285892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3647 2228 566 18 0 3629 0
vsize: 14588
[startup+760.18 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2254 0 0 0 75860 182 0 0 25 0 1 0 849220261 14938112 2228 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3647 2228 566 18 0 3629 0
vsize: 14588
[startup+770.18 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2254 0 0 0 76858 184 0 0 25 0 1 0 849220261 14938112 2228 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3647 2228 566 18 0 3629 0
vsize: 14588
[startup+780.181 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2254 0 0 0 77856 186 0 0 25 0 1 0 849220261 14897152 2228 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3637 2228 566 18 0 3619 0
vsize: 14548
[startup+790.181 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2254 0 0 0 78854 188 0 0 25 0 1 0 849220261 14897152 2228 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3637 2228 566 18 0 3619 0
vsize: 14548
[startup+800.181 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2254 0 0 0 79853 190 0 0 25 0 1 0 849220261 14897152 2228 4294967295 134512640 134581267 3221224592 3221223536 134559043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3637 2228 566 18 0 3619 0
vsize: 14548
[startup+810.181 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2273 0 0 0 80851 192 0 0 25 0 1 0 849220261 15028224 2247 4294967295 134512640 134581267 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3669 2247 566 18 0 3651 0
vsize: 14676
[startup+820.182 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2298 0 0 0 81850 194 0 0 25 0 1 0 849220261 15163392 2272 4294967295 134512640 134581267 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3702 2272 566 18 0 3684 0
vsize: 14808
[startup+830.182 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2298 0 0 0 82848 196 0 0 25 0 1 0 849220261 15163392 2272 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3702 2272 566 18 0 3684 0
vsize: 14808
[startup+840.183 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2298 0 0 0 83847 197 0 0 25 0 1 0 849220261 15163392 2272 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3702 2272 566 18 0 3684 0
vsize: 14808
[startup+850.184 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2298 0 0 0 84846 199 0 0 25 0 1 0 849220261 15163392 2272 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3702 2272 566 18 0 3684 0
vsize: 14808
[startup+860.184 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2298 0 0 0 85845 200 0 0 25 0 1 0 849220261 15163392 2272 4294967295 134512640 134581267 3221224592 3221223560 134527292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3702 2272 566 18 0 3684 0
vsize: 14808
[startup+870.184 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2298 0 0 0 86843 202 0 0 25 0 1 0 849220261 15163392 2272 4294967295 134512640 134581267 3221224592 3221223584 134561036 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3702 2272 566 18 0 3684 0
vsize: 14808
[startup+880.184 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2298 0 0 0 87841 205 0 0 25 0 1 0 849220261 15163392 2272 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3702 2272 566 18 0 3684 0
vsize: 14808
[startup+890.184 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2298 0 0 0 88839 207 0 0 25 0 1 0 849220261 15163392 2272 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3702 2272 566 18 0 3684 0
vsize: 14808
[startup+900.184 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2298 0 0 0 89838 208 0 0 25 0 1 0 849220261 15163392 2272 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3702 2272 566 18 0 3684 0
vsize: 14808
[startup+910.185 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2298 0 0 0 90836 210 0 0 25 0 1 0 849220261 15163392 2272 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3702 2272 566 18 0 3684 0
vsize: 14808
[startup+920.185 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2299 0 0 0 91835 212 0 0 25 0 1 0 849220261 15163392 2273 4294967295 134512640 134581267 3221224592 3221223488 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3702 2273 566 18 0 3684 0
vsize: 14808
[startup+930.186 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2299 0 0 0 92834 214 0 0 25 0 1 0 849220261 15163392 2273 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3702 2273 566 18 0 3684 0
vsize: 14808
[startup+940.186 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2299 0 0 0 93833 215 0 0 25 0 1 0 849220261 15163392 2273 4294967295 134512640 134581267 3221224592 3221223520 134519823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3702 2273 566 18 0 3684 0
vsize: 14808
[startup+950.186 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2299 0 0 0 94832 216 0 0 25 0 1 0 849220261 15163392 2273 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3702 2273 566 18 0 3684 0
vsize: 14808
[startup+960.186 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2299 0 0 0 95831 218 0 0 25 0 1 0 849220261 15163392 2273 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3702 2273 566 18 0 3684 0
vsize: 14808
[startup+970.187 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2312 0 0 0 96830 219 0 0 25 0 1 0 849220261 15163392 2286 4294967295 134512640 134581267 3221224592 3221223488 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3702 2286 566 18 0 3684 0
vsize: 14808
[startup+980.186 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2328 0 0 0 97829 220 0 0 25 0 1 0 849220261 15294464 2302 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3734 2302 566 18 0 3716 0
vsize: 14936
[startup+990.187 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2361 0 0 0 98827 222 0 0 25 0 1 0 849220261 15425536 2335 4294967295 134512640 134581267 3221224592 3221223504 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3766 2335 566 18 0 3748 0
vsize: 15064
[startup+1000.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2374 0 0 0 99826 223 0 0 25 0 1 0 849220261 15425536 2348 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3766 2348 566 18 0 3748 0
vsize: 15064
[startup+1010.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2374 0 0 0 100824 226 0 0 25 0 1 0 849220261 15425536 2348 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3766 2348 566 18 0 3748 0
vsize: 15064
[startup+1020.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2374 0 0 0 101822 228 0 0 25 0 1 0 849220261 15425536 2348 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3766 2348 566 18 0 3748 0
vsize: 15064
[startup+1030.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2382 0 0 0 102822 230 0 0 25 0 1 0 849220261 15425536 2356 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3766 2356 566 18 0 3748 0
vsize: 15064
[startup+1040.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2403 0 0 0 103820 232 0 0 25 0 1 0 849220261 15560704 2377 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3799 2377 566 18 0 3781 0
vsize: 15196
[startup+1050.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2403 0 0 0 104819 233 0 0 25 0 1 0 849220261 15560704 2377 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3799 2377 566 18 0 3781 0
vsize: 15196
[startup+1060.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2403 0 0 0 105817 235 0 0 25 0 1 0 849220261 15560704 2377 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3799 2377 566 18 0 3781 0
vsize: 15196
[startup+1070.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2403 0 0 0 106816 237 0 0 25 0 1 0 849220261 15560704 2377 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3799 2377 566 18 0 3781 0
vsize: 15196
[startup+1080.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2403 0 0 0 107815 238 0 0 25 0 1 0 849220261 15560704 2377 4294967295 134512640 134581267 3221224592 3221223520 134519817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3799 2377 566 18 0 3781 0
vsize: 15196
[startup+1090.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2406 0 0 0 108813 240 0 0 25 0 1 0 849220261 15560704 2380 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3799 2380 566 18 0 3781 0
vsize: 15196
[startup+1100.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2409 0 0 0 109811 243 0 0 25 0 1 0 849220261 15560704 2383 4294967295 134512640 134581267 3221224592 3221223584 134561093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3799 2383 566 18 0 3781 0
vsize: 15196
[startup+1110.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2415 0 0 0 110810 244 0 0 25 0 1 0 849220261 15560704 2389 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3799 2389 566 18 0 3781 0
vsize: 15196
[startup+1120.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2419 0 0 0 111809 246 0 0 25 0 1 0 849220261 15691776 2393 4294967295 134512640 134581267 3221224592 3221223456 134560389 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3831 2393 566 18 0 3813 0
vsize: 15324
[startup+1130.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2433 0 0 0 112806 248 0 0 25 0 1 0 849220261 15691776 2407 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3831 2407 566 18 0 3813 0
vsize: 15324
[startup+1140.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2444 0 0 0 113805 250 0 0 25 0 1 0 849220261 15691776 2418 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3831 2418 566 18 0 3813 0
vsize: 15324
[startup+1150.2 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2444 0 0 0 114803 252 0 0 25 0 1 0 849220261 15691776 2418 4294967295 134512640 134581267 3221224592 3221223584 134561104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3831 2418 566 18 0 3813 0
vsize: 15324
[startup+1160.2 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2445 0 0 0 115802 254 0 0 25 0 1 0 849220261 15691776 2419 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3831 2419 566 18 0 3813 0
vsize: 15324
[startup+1170.2 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2451 0 0 0 116801 256 0 0 25 0 1 0 849220261 15826944 2425 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3864 2425 566 18 0 3846 0
vsize: 15456
[startup+1180.2 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2451 0 0 0 117799 258 0 0 25 0 1 0 849220261 15822848 2425 4294967295 134512640 134581267 3221224592 3221223504 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3863 2425 566 18 0 3845 0
vsize: 15452
[startup+1188.64 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 15822
Raw data (stat): 15765 (Pueblo-v2) R 15764 25568 25567 0 -1 0 2451 0 0 0 117799 258 0 0 25 0 1 0 849220261 15822848 2425 4294967295 134512640 134581267 3221224592 3221223504 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3863 2425 566 18 0 3845 0
vsize: 0

Child status: 10
Real time (s): 1188.64
CPU time (s): 1189.02
CPU user time (s): 1186.41
CPU system time (s): 2.6036
CPU usage (%): 100.032
Max. virtual memory (Kb): 15456
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	25183
#### END VERIFIER DATA ####