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-circ6_3.opb
MD5SUM	509cfdb6810b13d9963718243e9046cd
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	66
Optimality of the best value was proved	NO
Number of terms in the objective function	180
Biggest coefficient in the objective function	3
Number of bits for the biggest coefficient in the objective function	2
Sum of the numbers in the objective function	324
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	16
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	324
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.98
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 38463

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-02 10:35:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26528 boxname=wulflinc1 idbench=258 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  509cfdb6810b13d9963718243e9046cd  /oldhome/oroussel/tmp/wulflinc1/normalized-circ6_3.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-circ6_3.opb
IDLAUNCH: 26528
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        670116 kB
Buffers:         34292 kB
Cached:         306224 kB
SwapCached:        640 kB
Active:          68132 kB
Inactive:       274628 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        669864 kB
SwapTotal:     2097136 kB
SwapFree:      2095412 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5820 kB
Slab:            16096 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 10:55:44 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26528 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/wulflinc1/normalized-circ6_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.77 0.92 0.89 1/55 2353
Raw data (stat): 2353 (runsolver) R 2352 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 792256515 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+9.99977 s]
Raw data (loadavg): 0.81 0.92 0.89 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 902 0 0 0 991 7 0 0 25 0 1 0 792256515 9367552 876 4294967295 134512640 134581267 3221224592 3221223520 134520095 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2287 876 566 18 0 2269 0
vsize: 9148
[startup+20.0006 s]
Raw data (loadavg): 0.84 0.93 0.90 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1069 0 0 0 1987 11 0 0 25 0 1 0 792256515 10027008 1043 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2448 1043 566 18 0 2430 0
vsize: 9792
[startup+30.0003 s]
Raw data (loadavg): 0.86 0.93 0.90 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1127 0 0 0 2985 14 0 0 25 0 1 0 792256515 10289152 1101 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2512 1101 566 18 0 2494 0
vsize: 10048
[startup+40.0001 s]
Raw data (loadavg): 0.88 0.93 0.90 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1171 0 0 0 3982 16 0 0 25 0 1 0 792256515 10420224 1145 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2544 1145 566 18 0 2526 0
vsize: 10176
[startup+50.0009 s]
Raw data (loadavg): 0.90 0.93 0.90 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1255 0 0 0 4980 19 0 0 25 0 1 0 792256515 10813440 1229 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2640 1229 566 18 0 2622 0
vsize: 10560
[startup+60.0007 s]
Raw data (loadavg): 0.91 0.93 0.90 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1263 0 0 0 5978 21 0 0 25 0 1 0 792256515 10813440 1237 4294967295 134512640 134581267 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2640 1237 566 18 0 2622 0
vsize: 10560
[startup+70.0015 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1269 0 0 0 6976 23 0 0 25 0 1 0 792256515 10813440 1243 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2640 1243 566 18 0 2622 0
vsize: 10560
[startup+80.0012 s]
Raw data (loadavg): 0.94 0.94 0.90 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1370 0 0 0 7973 26 0 0 25 0 1 0 792256515 11206656 1344 4294967295 134512640 134581267 3221224592 3221223560 134527282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2736 1344 566 18 0 2718 0
vsize: 10944
[startup+90.0014 s]
Raw data (loadavg): 0.95 0.94 0.90 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1372 0 0 0 8972 28 0 0 25 0 1 0 792256515 11333632 1346 4294967295 134512640 134581267 3221224592 3221223520 134520095 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2767 1346 566 18 0 2749 0
vsize: 11068
[startup+100.001 s]
Raw data (loadavg): 0.95 0.94 0.90 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1418 0 0 0 9969 31 0 0 25 0 1 0 792256515 11431936 1392 4294967295 134512640 134581267 3221224592 3221223488 134517912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2791 1392 566 18 0 2773 0
vsize: 11164
[startup+110.001 s]
Raw data (loadavg): 0.96 0.94 0.90 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1467 0 0 0 10967 33 0 0 25 0 1 0 792256515 11694080 1441 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2855 1441 566 18 0 2837 0
vsize: 11420
[startup+120.001 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1467 0 0 0 11964 36 0 0 25 0 1 0 792256515 11694080 1441 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2855 1441 566 18 0 2837 0
vsize: 11420
[startup+130.001 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1468 0 0 0 12963 37 0 0 25 0 1 0 792256515 11694080 1442 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2855 1442 566 18 0 2837 0
vsize: 11420
[startup+140.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1468 0 0 0 13961 39 0 0 25 0 1 0 792256515 11694080 1442 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2855 1442 566 18 0 2837 0
vsize: 11420
[startup+150.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1468 0 0 0 14959 42 0 0 25 0 1 0 792256515 11694080 1442 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2855 1442 566 18 0 2837 0
vsize: 11420
[startup+160.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1468 0 0 0 15956 45 0 0 25 0 1 0 792256515 11694080 1442 4294967295 134512640 134581267 3221224592 3221223520 134520092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2855 1442 566 18 0 2837 0
vsize: 11420
[startup+170.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1468 0 0 0 16955 46 0 0 25 0 1 0 792256515 11694080 1442 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2855 1442 566 18 0 2837 0
vsize: 11420
[startup+180.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1468 0 0 0 17953 48 0 0 25 0 1 0 792256515 11694080 1442 4294967295 134512640 134581267 3221224592 3221223584 134561093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2855 1442 566 18 0 2837 0
vsize: 11420
[startup+190.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1506 0 0 0 18950 51 0 0 25 0 1 0 792256515 11825152 1480 4294967295 134512640 134581267 3221224592 3221223368 1075285693 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2887 1480 566 18 0 2869 0
vsize: 11548
[startup+200.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1568 0 0 0 19948 53 0 0 25 0 1 0 792256515 12087296 1542 4294967295 134512640 134581267 3221224592 3221223536 134558921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2951 1542 566 18 0 2933 0
vsize: 11804
[startup+210.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1603 0 0 0 20946 56 0 0 25 0 1 0 792256515 12222464 1577 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2984 1577 566 18 0 2966 0
vsize: 11936
[startup+220.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1603 0 0 0 21943 59 0 0 25 0 1 0 792256515 12222464 1577 4294967295 134512640 134581267 3221224592 3221223520 134520095 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2984 1577 566 18 0 2966 0
vsize: 11936
[startup+230.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1625 0 0 0 22941 61 0 0 25 0 1 0 792256515 12353536 1599 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3016 1599 566 18 0 2998 0
vsize: 12064
[startup+240.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1663 0 0 0 23938 64 0 0 25 0 1 0 792256515 12484608 1637 4294967295 134512640 134581267 3221224592 3221223520 134519797 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3048 1637 566 18 0 3030 0
vsize: 12192
[startup+250.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1733 0 0 0 24937 65 0 0 25 0 1 0 792256515 12746752 1707 4294967295 134512640 134581267 3221224592 3221223536 134559429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3112 1707 566 18 0 3094 0
vsize: 12448
[startup+260.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1733 0 0 0 25934 68 0 0 25 0 1 0 792256515 12746752 1707 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3112 1707 566 18 0 3094 0
vsize: 12448
[startup+270.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1818 0 0 0 26932 70 0 0 25 0 1 0 792256515 13144064 1792 4294967295 134512640 134581267 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3209 1792 566 18 0 3191 0
vsize: 12836
[startup+280.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1818 0 0 0 27931 72 0 0 25 0 1 0 792256515 13144064 1792 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3209 1792 566 18 0 3191 0
vsize: 12836
[startup+290.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1818 0 0 0 28930 73 0 0 25 0 1 0 792256515 13144064 1792 4294967295 134512640 134581267 3221224592 3221223568 134561057 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3209 1792 566 18 0 3191 0
vsize: 12836
[startup+300.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1818 0 0 0 29926 77 0 0 25 0 1 0 792256515 13144064 1792 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3209 1792 566 18 0 3191 0
vsize: 12836
[startup+310.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1824 0 0 0 30925 79 0 0 25 0 1 0 792256515 13144064 1798 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3209 1798 566 18 0 3191 0
vsize: 12836
[startup+320.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1859 0 0 0 31922 81 0 0 25 0 1 0 792256515 13275136 1833 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3241 1833 566 18 0 3223 0
vsize: 12964
[startup+330.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1877 0 0 0 32920 83 0 0 25 0 1 0 792256515 13406208 1851 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3273 1851 566 18 0 3255 0
vsize: 13092
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1877 0 0 0 33919 85 0 0 25 0 1 0 792256515 13402112 1851 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3272 1851 566 18 0 3254 0
vsize: 13088
[startup+350.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1908 0 0 0 34916 88 0 0 25 0 1 0 792256515 13529088 1882 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3303 1882 566 18 0 3285 0
vsize: 13212
[startup+360.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1982 0 0 0 35914 90 0 0 25 0 1 0 792256515 13791232 1956 4294967295 134512640 134581267 3221224592 3221223536 134559049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3367 1956 566 18 0 3349 0
vsize: 13468
[startup+370.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1982 0 0 0 36911 93 0 0 25 0 1 0 792256515 13791232 1956 4294967295 134512640 134581267 3221224592 3221223472 134520222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3367 1956 566 18 0 3349 0
vsize: 13468
[startup+380.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1982 0 0 0 37908 96 0 0 25 0 1 0 792256515 13733888 1956 4294967295 134512640 134581267 3221224592 3221223488 134517927 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3353 1956 566 18 0 3335 0
vsize: 13412
[startup+390.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1982 0 0 0 38906 99 0 0 25 0 1 0 792256515 13733888 1956 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3353 1956 566 18 0 3335 0
vsize: 13412
[startup+400.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1982 0 0 0 39904 101 0 0 25 0 1 0 792256515 13733888 1956 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3353 1956 566 18 0 3335 0
vsize: 13412
[startup+410.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1982 0 0 0 40902 103 0 0 25 0 1 0 792256515 13733888 1956 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3353 1956 566 18 0 3335 0
vsize: 13412
[startup+420.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1982 0 0 0 41899 106 0 0 25 0 1 0 792256515 13733888 1956 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3353 1956 566 18 0 3335 0
vsize: 13412
[startup+430.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1982 0 0 0 42897 108 0 0 25 0 1 0 792256515 13733888 1956 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3353 1956 566 18 0 3335 0
vsize: 13412
[startup+440.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1982 0 0 0 43895 111 0 0 25 0 1 0 792256515 13733888 1956 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3353 1956 566 18 0 3335 0
vsize: 13412
[startup+450.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1992 0 0 0 44892 114 0 0 25 0 1 0 792256515 13864960 1966 4294967295 134512640 134581267 3221224592 3221223456 134527039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3385 1966 566 18 0 3367 0
vsize: 13540
[startup+460.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1992 0 0 0 45890 116 0 0 25 0 1 0 792256515 13864960 1966 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3385 1966 566 18 0 3367 0
vsize: 13540
[startup+470.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2029 0 0 0 46887 119 0 0 25 0 1 0 792256515 14000128 2003 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3418 2003 566 18 0 3400 0
vsize: 13672
[startup+480.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2029 0 0 0 47885 121 0 0 25 0 1 0 792256515 14000128 2003 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3418 2003 566 18 0 3400 0
vsize: 13672
[startup+490.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2029 0 0 0 48883 124 0 0 25 0 1 0 792256515 14000128 2003 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3418 2003 566 18 0 3400 0
vsize: 13672
[startup+500.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2029 0 0 0 49881 126 0 0 25 0 1 0 792256515 14000128 2003 4294967295 134512640 134581267 3221224592 3221223584 134560935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3418 2003 566 18 0 3400 0
vsize: 13672
[startup+510.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2034 0 0 0 50879 128 0 0 25 0 1 0 792256515 14000128 2008 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3418 2008 566 18 0 3400 0
vsize: 13672
[startup+520.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2079 0 0 0 51877 130 0 0 25 0 1 0 792256515 14131200 2053 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3450 2053 566 18 0 3432 0
vsize: 13800
[startup+530.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2079 0 0 0 52876 131 0 0 25 0 1 0 792256515 14131200 2053 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3450 2053 566 18 0 3432 0
vsize: 13800
[startup+540.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2079 0 0 0 53875 133 0 0 25 0 1 0 792256515 14131200 2053 4294967295 134512640 134581267 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3450 2053 566 18 0 3432 0
vsize: 13800
[startup+550.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2079 0 0 0 54874 134 0 0 25 0 1 0 792256515 14131200 2053 4294967295 134512640 134581267 3221224592 3221223568 134560782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3450 2053 566 18 0 3432 0
vsize: 13800
[startup+560.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2079 0 0 0 55872 136 0 0 25 0 1 0 792256515 14131200 2053 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3450 2053 566 18 0 3432 0
vsize: 13800
[startup+570.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2079 0 0 0 56870 138 0 0 25 0 1 0 792256515 14131200 2053 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3450 2053 566 18 0 3432 0
vsize: 13800
[startup+580.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2080 0 0 0 57868 141 0 0 25 0 1 0 792256515 14131200 2054 4294967295 134512640 134581267 3221224592 3221223560 134527265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3450 2054 566 18 0 3432 0
vsize: 13800
[startup+590.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2080 0 0 0 58866 143 0 0 25 0 1 0 792256515 14131200 2054 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3450 2054 566 18 0 3432 0
vsize: 13800
[startup+600.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2146 0 0 0 59863 145 0 0 25 0 1 0 792256515 14397440 2120 4294967295 134512640 134581267 3221224592 3221223456 134526949 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3515 2120 566 18 0 3497 0
vsize: 14060
[startup+610.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2146 0 0 0 60861 147 0 0 25 0 1 0 792256515 14397440 2120 4294967295 134512640 134581267 3221224592 3221223560 134527282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3515 2120 566 18 0 3497 0
vsize: 14060
[startup+620.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2162 0 0 0 61860 149 0 0 25 0 1 0 792256515 14528512 2136 4294967295 134512640 134581267 3221224592 3221223468 134527050 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3547 2136 566 18 0 3529 0
vsize: 14188
[startup+630.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2164 0 0 0 62858 151 0 0 25 0 1 0 792256515 14528512 2138 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3547 2138 566 18 0 3529 0
vsize: 14188
[startup+640.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2164 0 0 0 63855 154 0 0 25 0 1 0 792256515 14528512 2138 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3547 2138 566 18 0 3529 0
vsize: 14188
[startup+650.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2164 0 0 0 64854 155 0 0 25 0 1 0 792256515 14528512 2138 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3547 2138 566 18 0 3529 0
vsize: 14188
[startup+660.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2164 0 0 0 65851 158 0 0 25 0 1 0 792256515 14528512 2138 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3547 2138 566 18 0 3529 0
vsize: 14188
[startup+670.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2164 0 0 0 66850 160 0 0 25 0 1 0 792256515 14528512 2138 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3547 2138 566 18 0 3529 0
vsize: 14188
[startup+680.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2164 0 0 0 67848 162 0 0 25 0 1 0 792256515 14528512 2138 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3547 2138 566 18 0 3529 0
vsize: 14188
[startup+690.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2164 0 0 0 68846 164 0 0 25 0 1 0 792256515 14528512 2138 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3547 2138 566 18 0 3529 0
vsize: 14188
[startup+700.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2194 0 0 0 69845 165 0 0 25 0 1 0 792256515 14659584 2168 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3579 2168 566 18 0 3561 0
vsize: 14316
[startup+710.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2194 0 0 0 70843 167 0 0 25 0 1 0 792256515 14659584 2168 4294967295 134512640 134581267 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3579 2168 566 18 0 3561 0
vsize: 14316
[startup+720.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2194 0 0 0 71841 170 0 0 25 0 1 0 792256515 14659584 2168 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3579 2168 566 18 0 3561 0
vsize: 14316
[startup+730.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2194 0 0 0 72839 172 0 0 25 0 1 0 792256515 14659584 2168 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3579 2168 566 18 0 3561 0
vsize: 14316
[startup+740.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2194 0 0 0 73838 173 0 0 25 0 1 0 792256515 14659584 2168 4294967295 134512640 134581267 3221224592 3221223520 134519844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3579 2168 566 18 0 3561 0
vsize: 14316
[startup+750.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2194 0 0 0 74837 175 0 0 25 0 1 0 792256515 14659584 2168 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3579 2168 566 18 0 3561 0
vsize: 14316
[startup+760.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2194 0 0 0 75834 177 0 0 25 0 1 0 792256515 14659584 2168 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3579 2168 566 18 0 3561 0
vsize: 14316
[startup+770.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2194 0 0 0 76832 179 0 0 25 0 1 0 792256515 14659584 2168 4294967295 134512640 134581267 3221224592 3221223472 134520282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3579 2168 566 18 0 3561 0
vsize: 14316
[startup+780.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2194 0 0 0 77831 181 0 0 25 0 1 0 792256515 14659584 2168 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3579 2168 566 18 0 3561 0
vsize: 14316
[startup+790.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2194 0 0 0 78829 183 0 0 25 0 1 0 792256515 14659584 2168 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3579 2168 566 18 0 3561 0
vsize: 14316
[startup+800.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2195 0 0 0 79828 184 0 0 25 0 1 0 792256515 14659584 2169 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3579 2169 566 18 0 3561 0
vsize: 14316
[startup+810.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2217 0 0 0 80827 185 0 0 25 0 1 0 792256515 14794752 2191 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3612 2191 566 18 0 3594 0
vsize: 14448
[startup+820.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2217 0 0 0 81825 188 0 0 25 0 1 0 792256515 14794752 2191 4294967295 134512640 134581267 3221224592 3221223584 134561067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3612 2191 566 18 0 3594 0
vsize: 14448
[startup+830.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2217 0 0 0 82823 189 0 0 25 0 1 0 792256515 14794752 2191 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3612 2191 566 18 0 3594 0
vsize: 14448
[startup+840.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2217 0 0 0 83821 192 0 0 25 0 1 0 792256515 14794752 2191 4294967295 134512640 134581267 3221224592 3221223488 134528027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3612 2191 566 18 0 3594 0
vsize: 14448
[startup+850.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2217 0 0 0 84820 194 0 0 25 0 1 0 792256515 14794752 2191 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3612 2191 566 18 0 3594 0
vsize: 14448
[startup+860.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2219 0 0 0 85817 196 0 0 25 0 1 0 792256515 14794752 2193 4294967295 134512640 134581267 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3612 2193 566 18 0 3594 0
vsize: 14448
[startup+870.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2219 0 0 0 86816 198 0 0 25 0 1 0 792256515 14794752 2193 4294967295 134512640 134581267 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3612 2193 566 18 0 3594 0
vsize: 14448
[startup+880.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2292 0 0 0 87814 200 0 0 25 0 1 0 792256515 15060992 2266 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3677 2266 566 18 0 3659 0
vsize: 14708
[startup+890.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2350 0 0 0 88812 202 0 0 25 0 1 0 792256515 15327232 2324 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3742 2324 566 18 0 3724 0
vsize: 14968
[startup+900.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2360 0 0 0 89809 205 0 0 25 0 1 0 792256515 15327232 2334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3742 2334 566 18 0 3724 0
vsize: 14968
[startup+910.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2360 0 0 0 90808 206 0 0 25 0 1 0 792256515 15327232 2334 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3742 2334 566 18 0 3724 0
vsize: 14968
[startup+920.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2374 0 0 0 91806 209 0 0 25 0 1 0 792256515 15327232 2348 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3742 2348 566 18 0 3724 0
vsize: 14968
[startup+930.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2408 0 0 0 92804 210 0 0 25 0 1 0 792256515 15593472 2382 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3807 2382 566 18 0 3789 0
vsize: 15228
[startup+940.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2415 0 0 0 93803 212 0 0 25 0 1 0 792256515 15593472 2389 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3807 2389 566 18 0 3789 0
vsize: 15228
[startup+950.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2420 0 0 0 94801 214 0 0 25 0 1 0 792256515 15593472 2394 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3807 2394 566 18 0 3789 0
vsize: 15228
[startup+960.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2420 0 0 0 95800 216 0 0 25 0 1 0 792256515 15593472 2394 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3807 2394 566 18 0 3789 0
vsize: 15228
[startup+970.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2420 0 0 0 96798 218 0 0 25 0 1 0 792256515 15593472 2394 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3807 2394 566 18 0 3789 0
vsize: 15228
[startup+980.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2420 0 0 0 97796 220 0 0 25 0 1 0 792256515 15593472 2394 4294967295 134512640 134581267 3221224592 3221223520 134519939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3807 2394 566 18 0 3789 0
vsize: 15228
[startup+990.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2420 0 0 0 98795 221 0 0 25 0 1 0 792256515 15593472 2394 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3807 2394 566 18 0 3789 0
vsize: 15228
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2420 0 0 0 99794 223 0 0 25 0 1 0 792256515 15593472 2394 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3807 2394 566 18 0 3789 0
vsize: 15228
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2426 0 0 0 100791 225 0 0 25 0 1 0 792256515 15593472 2400 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3807 2400 566 18 0 3789 0
vsize: 15228
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2430 0 0 0 101790 227 0 0 25 0 1 0 792256515 15593472 2404 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3807 2404 566 18 0 3789 0
vsize: 15228
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2445 0 0 0 102788 228 0 0 25 0 1 0 792256515 15728640 2419 4294967295 134512640 134581267 3221224592 3221223520 134519913 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3840 2419 566 18 0 3822 0
vsize: 15360
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2463 0 0 0 103786 231 0 0 25 0 1 0 792256515 15728640 2437 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3840 2437 566 18 0 3822 0
vsize: 15360
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2466 0 0 0 104785 232 0 0 25 0 1 0 792256515 15867904 2440 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3874 2440 566 18 0 3856 0
vsize: 15496
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2466 0 0 0 105784 234 0 0 25 0 1 0 792256515 15867904 2440 4294967295 134512640 134581267 3221224592 3221223584 134561104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3874 2440 566 18 0 3856 0
vsize: 15496
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2466 0 0 0 106782 235 0 0 25 0 1 0 792256515 15867904 2440 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3874 2440 566 18 0 3856 0
vsize: 15496
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2467 0 0 0 107780 238 0 0 25 0 1 0 792256515 15867904 2441 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3874 2441 566 18 0 3856 0
vsize: 15496
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2478 0 0 0 108778 240 0 0 25 0 1 0 792256515 15867904 2452 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3874 2452 566 18 0 3856 0
vsize: 15496
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2478 0 0 0 109775 243 0 0 25 0 1 0 792256515 15867904 2452 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3874 2452 566 18 0 3856 0
vsize: 15496
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2480 0 0 0 110774 244 0 0 25 0 1 0 792256515 15867904 2454 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3874 2454 566 18 0 3856 0
vsize: 15496
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2480 0 0 0 111773 246 0 0 25 0 1 0 792256515 15867904 2454 4294967295 134512640 134581267 3221224592 3221223520 134520024 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3874 2454 566 18 0 3856 0
vsize: 15496
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2483 0 0 0 112771 247 0 0 25 0 1 0 792256515 15867904 2457 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3874 2457 566 18 0 3856 0
vsize: 15496
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2483 0 0 0 113770 249 0 0 25 0 1 0 792256515 15867904 2457 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3874 2457 566 18 0 3856 0
vsize: 15496
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2483 0 0 0 114767 252 0 0 25 0 1 0 792256515 15867904 2457 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3874 2457 566 18 0 3856 0
vsize: 15496
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2535 0 0 0 115766 253 0 0 25 0 1 0 792256515 16130048 2509 4294967295 134512640 134581267 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3938 2509 566 18 0 3920 0
vsize: 15752
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2535 0 0 0 116763 256 0 0 25 0 1 0 792256515 16130048 2509 4294967295 134512640 134581267 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3938 2509 566 18 0 3920 0
vsize: 15752
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2535 0 0 0 117761 258 0 0 25 0 1 0 792256515 16130048 2509 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3938 2509 566 18 0 3920 0
vsize: 15752
[startup+1188.82 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 2353
Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2535 0 0 0 117761 258 0 0 25 0 1 0 792256515 16130048 2509 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3938 2509 566 18 0 3920 0
vsize: 0

Child status: 10
Real time (s): 1188.82
CPU time (s): 1189.01
CPU user time (s): 1186.4
CPU system time (s): 2.6086
CPU usage (%): 100.016
Max. virtual memory (Kb): 15752
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	70
#### END VERIFIER DATA ####