PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-8pb.opb
MD5SUM	2bf0a3299a380a62e2f4aaf6d6f8fe18
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	36
Optimality of the best value was proved	NO
Number of terms in the objective function	432
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	432
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	3
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	432
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	0.903861
Number of variables	432
Total number of constraints	1304
Number of constraints which are clauses	1280
Number of constraints which are cardinality constraints (but not clauses)	24
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	18
Trace number 38451

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-02 10:11:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26514 boxname=wulflinc4 idbench=244 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  2bf0a3299a380a62e2f4aaf6d6f8fe18  /oldhome/oroussel/tmp/wulflinc4/normalized-s4-4-3-8pb.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-s4-4-3-8pb.opb
IDLAUNCH: 26514
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        685080 kB
Buffers:         34008 kB
Cached:         293796 kB
SwapCached:        568 kB
Active:          53424 kB
Inactive:       276548 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        684828 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5312 kB
Slab:            13764 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 10:31:13 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26514 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/wulflinc4/normalized-s4-4-3-8pb.opb
c #variables read: 432 - #constraints read: 1305
s SATISFIABLE
v -v1 -v2 -v3 -v4 -v5 -v6 v7 v8 -v9 -v10 -v11 -v12 -v13 -v14 v15 -v16 -v17 -v18 v19 -v20 -v21 -v22 -v23 -v24 v25 v26 -v27 -v28 -v29 -v30 -v31 -v32 -v33 -v34 -v35 -v36 -v37 -v38 v39 -v40 -v41 -v42 v43 -v44 -v45 -v46 -v47 -v48 -v49 v50 -v51 -v52 -v53 -v54 -v55 -v56 -v57 -v58 -v59 -v60 -v61 -v62 -v63 -v64 -v65 -v66 -v67 -v68 -v69 -v70 -v71 -v72 -v73 -v74 -v75 -v76 -v77 -v78 -v79 -v80 -v81 -v82 -v83 -v84 -v85 v86 -v87 -v88 -v89 v90 -v91 -v92 -v93 -v94 -v95 -v96 -v97 -v98 -v99 -v100 -v101 -v102 -v103 -v104 -v105 -v106 -v107 -v108 -v109 -v110 -v111 -v112 v113 -v114 -v115 -v116 -v117 -v118 -v119 -v120 -v121 v122 -v123 v124 -v125 -v126 -v127 -v128 -v129 -v130 -v131 -v132 -v133 v134 -v135 -v136 -v137 -v138 -v139 -v140 -v141 -v142 -v143 -v144 -v145 -v146 -v147 -v148 v149 -v150 -v151 -v152 -v153 -v154 -v155 -v156 -v157 -v158 -v159 -v160 -v161 -v162 -v163 -v164 -v165 -v166 -v167 -v168 -v169 -v170 -v171 -v172 -v173 -v174 v175 v176 -v177 -v178 -v179 -v180 v181 -v182 -v183 -v184 v185 -v186 -v187 -v188 -v189 -v190 -v191 -v192 -v193 -v194 -v195 v196 v197 -v198 -v199 -v200 -v201 -v202 -v203 -v204 -v205 -v206 v207 -v208 -v209 -v210 -v211 -v212 -v213 -v214 -v215 -v216 -v217 -v218 -v219 -v220 v221 -v222 -v223 -v224 -v225 -v226 -v227 -v228 -v229 v230 -v231 -v232 -v233 -v234 -v235 -v236 -v237 -v238 -v239 -v240 -v241 -v242 -v243 -v244 -v245 -v246 -v247 v248 -v249 -v250 -v251 -v252 -v253 -v254 -v255 -v256 -v257 -v258 -v259 -v260 -v261 -v262 -v263 -v264 v265 -v266 -v267 -v268 -v269 -v270 -v271 -v272 -v273 -v274 -v275 -v276 -v277 -v278 -v279 -v280 -v281 -v282 -v283 -v284 -v285 -v286 -v287 -v288 v289 -v290 -v291 -v292 -v293 -v294 -v295 -v296 -v297 -v298 -v299 -v300 v301 -v302 -v303 -v304 -v305 -v306 -v307 -v308 -v309 -v310 -v311 -v312 -v313 -v314 -v315 -v316 -v317 -v318 v319 -v320 -v321 -v322 -v323 -v324 -v325 -v326 -v327 -v328 v329 -v330 -v331 -v332 -v333 -v334 -v335 -v336 -v337 -v338 -v339 -v340 -v341 -v342 -v343 -v344 -v345 -v346 -v347 -v348 -v349 -v350 -v351 -v352 -v353 v354 -v355 -v356 -v357 -v358 -v359 -v360 -v361 -v362 -v363 v364 -v365 -v366 -v367 -v368 -v369 -v370 -v371 -v372 v373 -v374 -v375 -v376 -v377 -v378 -v379 -v380 -v381 -v382 -v383 -v384 -v385 -v386 -v387 -v388 -v389 -v390 -v391 -v392 -v393 -v394 -v395 -v396 -v397 -v398 -v399 -v400 -v401 v402 -v403 -v404 -v405 -v406 -v407 -v408 -v409 -v410 -v411 -v412 -v413 -v414 -v415 -v416 -v417 -v418 -v419 -v420 -v421 -v422 -v423 -v424 -v425 -v426 v427 -v428 -v429 -v430 -v431 -v432 
#### 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
Raw data (loadavg): 0.93 0.98 0.97 2/54 7658
Raw data (stat): 7658 (runsolver) R 7657 21152 21151 0 -1 64 3 0 0 0 0 0 0 0 19 0 1 0 848957032 884736 93 4294967295 134512640 135332820 3221224464 3221219508 134703346 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+9.99969 s]
Raw data (loadavg): 0.94 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 474 0 0 0 989 9 0 0 25 0 1 0 848957032 7622656 448 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 448 566 18 0 1843 0
vsize: 7444
[startup+19.9999 s]
Raw data (loadavg): 0.95 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 518 0 0 0 1983 15 0 0 25 0 1 0 848957032 7753728 492 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1893 492 566 18 0 1875 0
vsize: 7572
[startup+30.0004 s]
Raw data (loadavg): 0.95 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 547 0 0 0 2978 20 0 0 25 0 1 0 848957032 7888896 521 4294967295 134512640 134581267 3221224592 3221223548 134519782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1926 521 566 18 0 1908 0
vsize: 7704
[startup+40.0003 s]
Raw data (loadavg): 0.96 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 560 0 0 0 3971 28 0 0 25 0 1 0 848957032 7888896 534 4294967295 134512640 134581267 3221224592 3221223568 134561057 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1926 534 566 18 0 1908 0
vsize: 7704
[startup+50.0015 s]
Raw data (loadavg): 0.97 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 596 0 0 0 4963 36 0 0 25 0 1 0 848957032 8019968 570 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 570 566 18 0 1940 0
vsize: 7832
[startup+60.001 s]
Raw data (loadavg): 0.97 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 600 0 0 0 5957 42 0 0 25 0 1 0 848957032 8134656 574 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1986 574 566 18 0 1968 0
vsize: 7944
[startup+70.0009 s]
Raw data (loadavg): 0.97 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 632 0 0 0 6951 49 0 0 25 0 1 0 848957032 8261632 606 4294967295 134512640 134581267 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2017 606 566 18 0 1999 0
vsize: 8068
[startup+80.0021 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 641 0 0 0 7945 55 0 0 25 0 1 0 848957032 8261632 615 4294967295 134512640 134581267 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2017 615 566 18 0 1999 0
vsize: 8068
[startup+90.0016 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 660 0 0 0 8938 61 0 0 25 0 1 0 848957032 8261632 634 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2017 634 566 18 0 1999 0
vsize: 8068
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 662 0 0 0 9932 67 0 0 25 0 1 0 848957032 8384512 636 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2047 636 566 18 0 2029 0
vsize: 8188
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 671 0 0 0 10927 73 0 0 25 0 1 0 848957032 8384512 645 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2047 645 566 18 0 2029 0
vsize: 8188
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 676 0 0 0 11921 80 0 0 25 0 1 0 848957032 8384512 650 4294967295 134512640 134581267 3221224592 3221223504 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2047 650 566 18 0 2029 0
vsize: 8188
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 680 0 0 0 12915 85 0 0 25 0 1 0 848957032 8384512 654 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2047 654 566 18 0 2029 0
vsize: 8188
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 701 0 0 0 13910 91 0 0 25 0 1 0 848957032 8519680 675 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2080 675 566 18 0 2062 0
vsize: 8320
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 706 0 0 0 14904 97 0 0 25 0 1 0 848957032 8519680 680 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2080 680 566 18 0 2062 0
vsize: 8320
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 715 0 0 0 15898 103 0 0 25 0 1 0 848957032 8519680 689 4294967295 134512640 134581267 3221224592 3221223504 134527774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2080 689 566 18 0 2062 0
vsize: 8320
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 716 0 0 0 16893 108 0 0 25 0 1 0 848957032 8519680 690 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2080 690 566 18 0 2062 0
vsize: 8320
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 719 0 0 0 17887 114 0 0 25 0 1 0 848957032 8519680 693 4294967295 134512640 134581267 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2080 693 566 18 0 2062 0
vsize: 8320
[startup+190.004 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 723 0 0 0 18882 120 0 0 25 0 1 0 848957032 8654848 697 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2113 697 566 18 0 2095 0
vsize: 8452
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 725 0 0 0 19875 127 0 0 25 0 1 0 848957032 8654848 699 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2113 699 566 18 0 2095 0
vsize: 8452
[startup+210.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 748 0 0 0 20869 134 0 0 25 0 1 0 848957032 8654848 722 4294967295 134512640 134581267 3221224592 3221223536 134559190 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2113 722 566 18 0 2095 0
vsize: 8452
[startup+220.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 765 0 0 0 21862 140 0 0 25 0 1 0 848957032 8765440 739 4294967295 134512640 134581267 3221224592 3221223584 134560606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2140 739 566 18 0 2122 0
vsize: 8560
[startup+230.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 776 0 0 0 22855 148 0 0 25 0 1 0 848957032 8765440 750 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2140 750 566 18 0 2122 0
vsize: 8560
[startup+240.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 780 0 0 0 23850 153 0 0 25 0 1 0 848957032 8765440 754 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2140 754 566 18 0 2122 0
vsize: 8560
[startup+250.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 780 0 0 0 24845 158 0 0 25 0 1 0 848957032 8765440 754 4294967295 134512640 134581267 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2140 754 566 18 0 2122 0
vsize: 8560
[startup+260.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 781 0 0 0 25840 163 0 0 25 0 1 0 848957032 8900608 755 4294967295 134512640 134581267 3221224592 3221223456 134528255 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2173 755 566 18 0 2155 0
vsize: 8692
[startup+270.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 788 0 0 0 26835 168 0 0 25 0 1 0 848957032 8900608 762 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2173 762 566 18 0 2155 0
vsize: 8692
[startup+280.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 797 0 0 0 27829 174 0 0 25 0 1 0 848957032 8900608 771 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2173 771 566 18 0 2155 0
vsize: 8692
[startup+290.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 797 0 0 0 28824 180 0 0 25 0 1 0 848957032 8900608 771 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2173 771 566 18 0 2155 0
vsize: 8692
[startup+300.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 797 0 0 0 29817 187 0 0 25 0 1 0 848957032 8900608 771 4294967295 134512640 134581267 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2173 771 566 18 0 2155 0
vsize: 8692
[startup+310.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 803 0 0 0 30810 193 0 0 25 0 1 0 848957032 8900608 777 4294967295 134512640 134581267 3221224592 3221223536 134559268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2173 777 566 18 0 2155 0
vsize: 8692
[startup+320.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 825 0 0 0 31805 199 0 0 25 0 1 0 848957032 9035776 799 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2206 799 566 18 0 2188 0
vsize: 8824
[startup+330.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 832 0 0 0 32798 206 0 0 25 0 1 0 848957032 9035776 806 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2206 806 566 18 0 2188 0
vsize: 8824
[startup+340.008 s]
Raw data (loadavg): 1.07 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 840 0 0 0 33793 211 0 0 25 0 1 0 848957032 9035776 814 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2206 814 566 18 0 2188 0
vsize: 8824
[startup+350.009 s]
Raw data (loadavg): 1.06 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 841 0 0 0 34787 218 0 0 25 0 1 0 848957032 9035776 815 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2206 815 566 18 0 2188 0
vsize: 8824
[startup+360.009 s]
Raw data (loadavg): 1.05 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 845 0 0 0 35781 223 0 0 25 0 1 0 848957032 9035776 819 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2206 819 566 18 0 2188 0
vsize: 8824
[startup+370.009 s]
Raw data (loadavg): 1.04 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 845 0 0 0 36776 229 0 0 25 0 1 0 848957032 9035776 819 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2206 819 566 18 0 2188 0
vsize: 8824
[startup+380.009 s]
Raw data (loadavg): 1.03 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 849 0 0 0 37771 235 0 0 25 0 1 0 848957032 9175040 823 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2240 823 566 18 0 2222 0
vsize: 8960
[startup+390.01 s]
Raw data (loadavg): 1.03 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 856 0 0 0 38766 239 0 0 25 0 1 0 848957032 9175040 830 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2240 830 566 18 0 2222 0
vsize: 8960
[startup+400.01 s]
Raw data (loadavg): 1.02 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 856 0 0 0 39761 245 0 0 25 0 1 0 848957032 9175040 830 4294967295 134512640 134581267 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2240 830 566 18 0 2222 0
vsize: 8960
[startup+410.011 s]
Raw data (loadavg): 1.02 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 856 0 0 0 40756 249 0 0 25 0 1 0 848957032 9175040 830 4294967295 134512640 134581267 3221224592 3221223552 134516751 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2240 830 566 18 0 2222 0
vsize: 8960
[startup+420.012 s]
Raw data (loadavg): 1.02 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 862 0 0 0 41753 253 0 0 25 0 1 0 848957032 9175040 836 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2240 836 566 18 0 2222 0
vsize: 8960
[startup+430.012 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 864 0 0 0 42746 260 0 0 25 0 1 0 848957032 9175040 838 4294967295 134512640 134581267 3221224592 3221223488 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2240 838 566 18 0 2222 0
vsize: 8960
[startup+440.012 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 873 0 0 0 43741 266 0 0 25 0 1 0 848957032 9175040 847 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2240 847 566 18 0 2222 0
vsize: 8960
[startup+450.013 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 873 0 0 0 44736 270 0 0 25 0 1 0 848957032 9175040 847 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2240 847 566 18 0 2222 0
vsize: 8960
[startup+460.014 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 873 0 0 0 45732 275 0 0 25 0 1 0 848957032 9175040 847 4294967295 134512640 134581267 3221224592 3221223552 134516716 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2240 847 566 18 0 2222 0
vsize: 8960
[startup+470.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 873 0 0 0 46726 281 0 0 25 0 1 0 848957032 9175040 847 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2240 847 566 18 0 2222 0
vsize: 8960
[startup+480.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 876 0 0 0 47722 285 0 0 25 0 1 0 848957032 9175040 850 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2240 850 566 18 0 2222 0
vsize: 8960
[startup+490.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 891 0 0 0 48715 293 0 0 25 0 1 0 848957032 9306112 865 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2272 865 566 18 0 2254 0
vsize: 9088
[startup+500.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 898 0 0 0 49710 298 0 0 25 0 1 0 848957032 9306112 872 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2272 872 566 18 0 2254 0
vsize: 9088
[startup+510.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 906 0 0 0 50705 303 0 0 25 0 1 0 848957032 9306112 880 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2272 880 566 18 0 2254 0
vsize: 9088
[startup+520.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 906 0 0 0 51701 308 0 0 25 0 1 0 848957032 9306112 880 4294967295 134512640 134581267 3221224592 3221223552 134516716 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2272 880 566 18 0 2254 0
vsize: 9088
[startup+530.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 914 0 0 0 52696 313 0 0 25 0 1 0 848957032 9445376 888 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2306 888 566 18 0 2288 0
vsize: 9224
[startup+540.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 919 0 0 0 53690 318 0 0 25 0 1 0 848957032 9445376 893 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2306 893 566 18 0 2288 0
vsize: 9224
[startup+550.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 919 0 0 0 54686 323 0 0 25 0 1 0 848957032 9445376 893 4294967295 134512640 134581267 3221224592 3221223504 134527692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2306 893 566 18 0 2288 0
vsize: 9224
[startup+560.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 921 0 0 0 55680 329 0 0 25 0 1 0 848957032 9445376 895 4294967295 134512640 134581267 3221224592 3221223456 134560389 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2306 895 566 18 0 2288 0
vsize: 9224
[startup+570.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 923 0 0 0 56675 334 0 0 25 0 1 0 848957032 9445376 897 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2306 897 566 18 0 2288 0
vsize: 9224
[startup+580.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 925 0 0 0 57670 339 0 0 25 0 1 0 848957032 9445376 899 4294967295 134512640 134581267 3221224592 3221223384 1075288345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2306 899 566 18 0 2288 0
vsize: 9224
[startup+590.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 929 0 0 0 58664 345 0 0 25 0 1 0 848957032 9445376 903 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2306 903 566 18 0 2288 0
vsize: 9224
[startup+600.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 934 0 0 0 59660 350 0 0 25 0 1 0 848957032 9445376 908 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2306 908 566 18 0 2288 0
vsize: 9224
[startup+610.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 934 0 0 0 60656 354 0 0 25 0 1 0 848957032 9445376 908 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2306 908 566 18 0 2288 0
vsize: 9224
[startup+620.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 940 0 0 0 61650 360 0 0 25 0 1 0 848957032 9445376 914 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2306 914 566 18 0 2288 0
vsize: 9224
[startup+630.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 945 0 0 0 62645 366 0 0 25 0 1 0 848957032 9580544 919 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2339 919 566 18 0 2321 0
vsize: 9356
[startup+640.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 945 0 0 0 63639 372 0 0 25 0 1 0 848957032 9580544 919 4294967295 134512640 134581267 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2339 919 566 18 0 2321 0
vsize: 9356
[startup+650.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 945 0 0 0 64634 377 0 0 25 0 1 0 848957032 9580544 919 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2339 919 566 18 0 2321 0
vsize: 9356
[startup+660.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 949 0 0 0 65630 381 0 0 25 0 1 0 848957032 9580544 923 4294967295 134512640 134581267 3221224592 3221223456 134560453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2339 923 566 18 0 2321 0
vsize: 9356
[startup+670.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 952 0 0 0 66624 387 0 0 25 0 1 0 848957032 9580544 926 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2339 926 566 18 0 2321 0
vsize: 9356
[startup+680.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 956 0 0 0 67619 392 0 0 25 0 1 0 848957032 9580544 930 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2339 930 566 18 0 2321 0
vsize: 9356
[startup+690.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 956 0 0 0 68614 398 0 0 25 0 1 0 848957032 9580544 930 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2339 930 566 18 0 2321 0
vsize: 9356
[startup+700.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 963 0 0 0 69609 403 0 0 25 0 1 0 848957032 9580544 937 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2339 937 566 18 0 2321 0
vsize: 9356
[startup+710.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 963 0 0 0 70603 409 0 0 25 0 1 0 848957032 9580544 937 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2339 937 566 18 0 2321 0
vsize: 9356
[startup+720.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 963 0 0 0 71597 415 0 0 25 0 1 0 848957032 9580544 937 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2339 937 566 18 0 2321 0
vsize: 9356
[startup+730.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 963 0 0 0 72594 419 0 0 25 0 1 0 848957032 9580544 937 4294967295 134512640 134581267 3221224592 3221223504 134527678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2339 937 566 18 0 2321 0
vsize: 9356
[startup+740.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 987 0 0 0 73588 425 0 0 25 0 1 0 848957032 9711616 961 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2371 961 566 18 0 2353 0
vsize: 9484
[startup+750.026 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 987 0 0 0 74582 431 0 0 25 0 1 0 848957032 9711616 961 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2371 961 566 18 0 2353 0
vsize: 9484
[startup+760.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 987 0 0 0 75577 436 0 0 25 0 1 0 848957032 9711616 961 4294967295 134512640 134581267 3221224592 3221223496 134527743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2371 961 566 18 0 2353 0
vsize: 9484
[startup+770.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 987 0 0 0 76573 441 0 0 25 0 1 0 848957032 9711616 961 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2371 961 566 18 0 2353 0
vsize: 9484
[startup+780.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 987 0 0 0 77568 446 0 0 25 0 1 0 848957032 9711616 961 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2371 961 566 18 0 2353 0
vsize: 9484
[startup+790.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 987 0 0 0 78560 453 0 0 25 0 1 0 848957032 9711616 961 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2371 961 566 18 0 2353 0
vsize: 9484
[startup+800.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 987 0 0 0 79554 460 0 0 25 0 1 0 848957032 9711616 961 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2371 961 566 18 0 2353 0
vsize: 9484
[startup+810.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 987 0 0 0 80550 464 0 0 25 0 1 0 848957032 9711616 961 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2371 961 566 18 0 2353 0
vsize: 9484
[startup+820.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 987 0 0 0 81544 470 0 0 25 0 1 0 848957032 9711616 961 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2371 961 566 18 0 2353 0
vsize: 9484
[startup+830.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 987 0 0 0 82539 475 0 0 25 0 1 0 848957032 9711616 961 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2371 961 566 18 0 2353 0
vsize: 9484
[startup+840.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 987 0 0 0 83533 481 0 0 25 0 1 0 848957032 9711616 961 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2371 961 566 18 0 2353 0
vsize: 9484
[startup+850.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 987 0 0 0 84528 487 0 0 25 0 1 0 848957032 9711616 961 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2371 961 566 18 0 2353 0
vsize: 9484
[startup+860.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 987 0 0 0 85523 492 0 0 25 0 1 0 848957032 9711616 961 4294967295 134512640 134581267 3221224592 3221223584 134560724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2371 961 566 18 0 2353 0
vsize: 9484
[startup+870.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 987 0 0 0 86517 498 0 0 25 0 1 0 848957032 9711616 961 4294967295 134512640 134581267 3221224592 3221223456 134528284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2371 961 566 18 0 2353 0
vsize: 9484
[startup+880.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 987 0 0 0 87510 505 0 0 25 0 1 0 848957032 9711616 961 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2371 961 566 18 0 2353 0
vsize: 9484
[startup+890.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 988 0 0 0 88506 510 0 0 25 0 1 0 848957032 9711616 962 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2371 962 566 18 0 2353 0
vsize: 9484
[startup+900.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 994 0 0 0 89502 514 0 0 25 0 1 0 848957032 9711616 968 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2371 968 566 18 0 2353 0
vsize: 9484
[startup+910.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 994 0 0 0 90498 519 0 0 25 0 1 0 848957032 9711616 968 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2371 968 566 18 0 2353 0
vsize: 9484
[startup+920.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 994 0 0 0 91491 525 0 0 25 0 1 0 848957032 9711616 968 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2371 968 566 18 0 2353 0
vsize: 9484
[startup+930.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 994 0 0 0 92485 531 0 0 25 0 1 0 848957032 9711616 968 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2371 968 566 18 0 2353 0
vsize: 9484
[startup+940.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 994 0 0 0 93478 539 0 0 25 0 1 0 848957032 9711616 968 4294967295 134512640 134581267 3221224592 3221223536 134559432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2371 968 566 18 0 2353 0
vsize: 9484
[startup+950.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 996 0 0 0 94472 545 0 0 25 0 1 0 848957032 9711616 970 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2371 970 566 18 0 2353 0
vsize: 9484
[startup+960.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 996 0 0 0 95466 551 0 0 25 0 1 0 848957032 9711616 970 4294967295 134512640 134581267 3221224592 3221223504 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2371 970 566 18 0 2353 0
vsize: 9484
[startup+970.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 996 0 0 0 96459 558 0 0 25 0 1 0 848957032 9711616 970 4294967295 134512640 134581267 3221224592 3221223696 134562541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2371 970 566 18 0 2353 0
vsize: 9484
[startup+980.036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 999 0 0 0 97454 564 0 0 25 0 1 0 848957032 9711616 973 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2371 973 566 18 0 2353 0
vsize: 9484
[startup+990.036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 999 0 0 0 98449 568 0 0 25 0 1 0 848957032 9711616 973 4294967295 134512640 134581267 3221224592 3221223584 134561096 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2371 973 566 18 0 2353 0
vsize: 9484
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 999 0 0 0 99444 574 0 0 25 0 1 0 848957032 9711616 973 4294967295 134512640 134581267 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2371 973 566 18 0 2353 0
vsize: 9484
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 999 0 0 0 100440 578 0 0 25 0 1 0 848957032 9711616 973 4294967295 134512640 134581267 3221224592 3221223472 134560456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2371 973 566 18 0 2353 0
vsize: 9484
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 999 0 0 0 101434 584 0 0 25 0 1 0 848957032 9711616 973 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2371 973 566 18 0 2353 0
vsize: 9484
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 1001 0 0 0 102430 589 0 0 25 0 1 0 848957032 9711616 975 4294967295 134512640 134581267 3221224592 3221223456 134528315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2371 975 566 18 0 2353 0
vsize: 9484
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 1003 0 0 0 103425 594 0 0 25 0 1 0 848957032 9850880 977 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2405 977 566 18 0 2387 0
vsize: 9620
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 1003 0 0 0 104420 598 0 0 25 0 1 0 848957032 9850880 977 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2405 977 566 18 0 2387 0
vsize: 9620
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 1007 0 0 0 105416 603 0 0 25 0 1 0 848957032 9850880 981 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2405 981 566 18 0 2387 0
vsize: 9620
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 1009 0 0 0 106411 608 0 0 25 0 1 0 848957032 9850880 983 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2405 983 566 18 0 2387 0
vsize: 9620
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 1009 0 0 0 107406 613 0 0 25 0 1 0 848957032 9850880 983 4294967295 134512640 134581267 3221224592 3221223456 134528291 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2405 983 566 18 0 2387 0
vsize: 9620
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 1010 0 0 0 108402 617 0 0 25 0 1 0 848957032 9850880 984 4294967295 134512640 134581267 3221224592 3221223456 134560160 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2405 984 566 18 0 2387 0
vsize: 9620
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 1012 0 0 0 109397 622 0 0 25 0 1 0 848957032 9850880 986 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2405 986 566 18 0 2387 0
vsize: 9620
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 1016 0 0 0 110392 628 0 0 25 0 1 0 848957032 9850880 990 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2405 990 566 18 0 2387 0
vsize: 9620
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 1016 0 0 0 111385 635 0 0 25 0 1 0 848957032 9850880 990 4294967295 134512640 134581267 3221224592 3221223488 134517764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2405 990 566 18 0 2387 0
vsize: 9620
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 1016 0 0 0 112380 640 0 0 25 0 1 0 848957032 9850880 990 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2405 990 566 18 0 2387 0
vsize: 9620
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 1016 0 0 0 113374 646 0 0 25 0 1 0 848957032 9850880 990 4294967295 134512640 134581267 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2405 990 566 18 0 2387 0
vsize: 9620
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 1016 0 0 0 114369 651 0 0 25 0 1 0 848957032 9850880 990 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2405 990 566 18 0 2387 0
vsize: 9620
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 1016 0 0 0 115364 657 0 0 25 0 1 0 848957032 9850880 990 4294967295 134512640 134581267 3221224592 3221223504 134527765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2405 990 566 18 0 2387 0
vsize: 9620
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 1016 0 0 0 116359 662 0 0 25 0 1 0 848957032 9850880 990 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2405 990 566 18 0 2387 0
vsize: 9620
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 1016 0 0 0 117353 668 0 0 25 0 1 0 848957032 9850880 990 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2405 990 566 18 0 2387 0
vsize: 9620
[startup+1188.83 s]
Raw data (loadavg): 1.00 1.00 0.97 1/53 7658
Raw data (stat): 7658 (Pueblo-v2) R 7657 21152 21151 0 -1 0 1016 0 0 0 117353 668 0 0 25 0 1 0 848957032 9850880 990 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2405 990 566 18 0 2387 0
vsize: 0

Child status: 10
Real time (s): 1188.83
CPU time (s): 1189.01
CPU user time (s): 1182.26
CPU system time (s): 6.75297
CPU usage (%): 100.015
Max. virtual memory (Kb): 9620
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	36
#### END VERIFIER DATA ####