PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.5:100.opb
MD5SUM	dd81121db7c1c4b8597dd9571c707a87
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3
Optimality of the best value was proved	NO
Number of terms in the objective function	372
Biggest coefficient in the objective function	220
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	983
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	220
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	983
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03484
Number of variables	372
Total number of constraints	792
Number of constraints which are clauses	345
Number of constraints which are cardinality constraints (but not clauses)	447
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	18
Trace number 24970

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 10:51:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3292 boxname=wulflinc31 idbench=366 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  dd81121db7c1c4b8597dd9571c707a87  /oldhome/oroussel/tmp/wulflinc31/normalized-10:10:4.5:0.5:100.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-10:10:4.5:0.5:100.opb
IDLAUNCH: 3292
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        814588 kB
Buffers:         41188 kB
Cached:         157412 kB
SwapCached:       1932 kB
Active:         162508 kB
Inactive:        39268 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        814336 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            12624 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 11:11:22 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 3292 0 1189.02 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc31/normalized-10:10:4.5:0.5:100.opb
c #variables read: 372 - #constraints read: 793
s SATISFIABLE
v -v287 -v229 v148 -v112 v97 -v75 v45 -v23 -v285 -v270 -v233 v147 -v128 -v113 v44 -v28 -v269 -v232 -v196 v149 -v127 -v117 v98 -v79 v46 -v27 -v2 -v286 -v271 -v253 -v234 v195 -v166 -v152 v133 -v115 -v99 -v77 v47 -v7 -v291 -v272 -v252 -v238 v197 -v165 v151 v132 -v116 -v102 -v54 -v30 -v6 -v343 -v273 -v237 -v200 -v171 v156 v134 -v100 -v78 v48 -v31 -v342 -v280 -v254 -v235 v199 -v170 -v155 v138 -v101 -v82 -v49 -v34 v9 -v344 -v274 -v256 -v236 -v203 v172 -v153 v137 -v50 -v32 v10 -v345 -v275 -v201 v173 -v154 v135 -v33 v11 -v346 -v276 -v257 -v202 v174 v136 v12 -v305 -v288 v114 -v94 -v74 -v309 -v228 -v118 v96 -v22 -v292 -v230 v95 -v80 v57 -v24 -v290 -v248 -v231 v150 -v129 -v103 v58 -v29 -v1 -v283 -v247 -v242 v164 -v130 -v83 -v53 -v26 v3 -v284 v198 -v167 v160 v131 -v81 -v35 -v8 -v279 -v255 -v221 -v211 -v168 v159 v142 -v51 v5 -v258 -v207 v169 v13 -v349 -v277 -v259 -v206 -v188 v178 -v350 -v260 -v192 -v304 v289 v126 -v72 -v56 -v308 v293 v122 -v93 -v76 -v55 -v282 -v245 -v161 v121 v111 v73 -v281 -v246 -v163 v107 -v84 -v25 v360 -v241 -v217 -v208 -v145 v106 -v43 -v249 -v210 v146 -v39 v4 -v348 -v250 -v239 v220 -v181 v157 v141 -v52 -v38 -v21 -v347 -v251 -v182 v17 -v278 -v264 -v204 -v187 v177 -v158 v139 v16 -v191 v306 -v301 -v244 v125 v108 -v310 v297 -v243 -v162 v110 -v71 -v356 v296 -v144 v119 -v92 -v40 -v209 -v143 v88 -v42 v359 -v312 -v216 -v180 -v120 v104 v87 -v64 -v18 -v313 -v179 -v20 -v267 -v240 v222 -v105 -v36 -v268 -v336 -v263 -v205 -v189 v175 -v140 -v37 v14 v340 -v193 v307 -v300 v123 v109 -v89 -v311 -v91 -v41 -v355 -v315 v294 v213 -v60 -v314 -v19 v361 v295 -v266 -v218 v85 -v63 -v265 v184 v223 v183 v86 v364 -v335 -v261 -v190 v176 -v15 v339 -v194 v352 v303 -v298 v124 -v90 v302 -v357 v319 -v59 v212 v362 -v328 v214 -v65 -v219 v365 v363 v185 -v337 -v262 v186 -v68 v341 v322 -v299 v351 v323 v353 -v325 v318 -v61 -v358 -v327 v316 -v66 v366 -v332 v215 -v331 v227 -v69 -v67 -v338 v320 -v324 v354 -v62 -v329 v317 v224 v370 v226 -v70 v369 -v333 -v334 -v321 -v326 v225 -v330 -v367 -v368 -v371 one 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/55 1680
Raw data (stat): 1680 (runsolver) R 1679 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 751869534 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 567 0 0 0 993 3 0 0 25 0 1 0 751869534 7917568 544 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 544 566 18 0 1915 0
vsize: 7732
[startup+20.0003 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 594 0 0 0 1992 4 0 0 25 0 1 0 751869534 8052736 571 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1966 571 566 18 0 1948 0
vsize: 7864
[startup+30.0003 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 597 0 0 0 2992 5 0 0 25 0 1 0 751869534 8052736 574 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1966 574 566 18 0 1948 0
vsize: 7864
[startup+40.0002 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 633 0 0 0 3991 5 0 0 25 0 1 0 751869534 8187904 610 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1999 610 566 18 0 1981 0
vsize: 7996
[startup+50.0001 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 647 0 0 0 4991 6 0 0 25 0 1 0 751869534 8323072 624 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2032 624 566 18 0 2014 0
vsize: 8128
[startup+60.0001 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 649 0 0 0 5991 6 0 0 25 0 1 0 751869534 8323072 626 4294967295 134512640 134581331 3221221792 3221220704 134527434 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2032 626 566 18 0 2014 0
vsize: 8128
[startup+70 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 709 0 0 0 6990 7 0 0 25 0 1 0 751869534 8593408 686 4294967295 134512640 134581331 3221221792 3221220704 134527442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2098 686 566 18 0 2080 0
vsize: 8392
[startup+79.9999 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 719 0 0 0 7990 8 0 0 25 0 1 0 751869534 8593408 696 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2098 696 566 18 0 2080 0
vsize: 8392
[startup+89.9999 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 733 0 0 0 8988 9 0 0 25 0 1 0 751869534 8593408 710 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2098 710 566 18 0 2080 0
vsize: 8392
[startup+99.9998 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 733 0 0 0 9988 9 0 0 25 0 1 0 751869534 8593408 710 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2098 710 566 18 0 2080 0
vsize: 8392
[startup+110.001 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 733 0 0 0 10988 10 0 0 25 0 1 0 751869534 8593408 710 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2098 710 566 18 0 2080 0
vsize: 8392
[startup+120.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 733 0 0 0 11987 11 0 0 25 0 1 0 751869534 8593408 710 4294967295 134512640 134581331 3221221792 3221220704 134528074 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2098 710 566 18 0 2080 0
vsize: 8392
[startup+130.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 733 0 0 0 12987 11 0 0 25 0 1 0 751869534 8593408 710 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2098 710 566 18 0 2080 0
vsize: 8392
[startup+140.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 733 0 0 0 13987 12 0 0 25 0 1 0 751869534 8593408 710 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2098 710 566 18 0 2080 0
vsize: 8392
[startup+150 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 733 0 0 0 14986 12 0 0 25 0 1 0 751869534 8593408 710 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2098 710 566 18 0 2080 0
vsize: 8392
[startup+160 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 760 0 0 0 15986 13 0 0 25 0 1 0 751869534 8728576 737 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2131 737 566 18 0 2113 0
vsize: 8524
[startup+170.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 801 0 0 0 16985 14 0 0 25 0 1 0 751869534 8863744 778 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2164 778 566 18 0 2146 0
vsize: 8656
[startup+180 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 804 0 0 0 17984 14 0 0 25 0 1 0 751869534 8851456 768 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2161 768 566 18 0 2143 0
vsize: 8644
[startup+190.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 804 0 0 0 18984 15 0 0 25 0 1 0 751869534 8851456 768 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2161 768 566 18 0 2143 0
vsize: 8644
[startup+200.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 816 0 0 0 19983 16 0 0 25 0 1 0 751869534 8986624 780 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 780 566 18 0 2176 0
vsize: 8776
[startup+210.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 816 0 0 0 20983 17 0 0 25 0 1 0 751869534 8986624 780 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 780 566 18 0 2176 0
vsize: 8776
[startup+220.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 816 0 0 0 21982 17 0 0 25 0 1 0 751869534 8986624 780 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 780 566 18 0 2176 0
vsize: 8776
[startup+230.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 817 0 0 0 22982 18 0 0 25 0 1 0 751869534 8986624 781 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 781 566 18 0 2176 0
vsize: 8776
[startup+240.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 817 0 0 0 23982 18 0 0 25 0 1 0 751869534 8986624 781 4294967295 134512640 134581331 3221221792 3221220704 134527457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 781 566 18 0 2176 0
vsize: 8776
[startup+250.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 817 0 0 0 24981 19 0 0 25 0 1 0 751869534 8986624 781 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 781 566 18 0 2176 0
vsize: 8776
[startup+260.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 817 0 0 0 25981 19 0 0 25 0 1 0 751869534 8986624 781 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 781 566 18 0 2176 0
vsize: 8776
[startup+270.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 817 0 0 0 26980 20 0 0 25 0 1 0 751869534 8986624 781 4294967295 134512640 134581331 3221221792 3221220704 134527423 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 781 566 18 0 2176 0
vsize: 8776
[startup+280.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 27980 21 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+290.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 28979 22 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+300.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 29978 22 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+310.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 30978 23 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220656 134528275 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+320.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 31977 24 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+330.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 32976 25 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+340.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 33976 26 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+350.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 34974 27 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+360.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 35974 28 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220704 134527440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+370.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 36974 28 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+380.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 37973 29 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+390.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 38973 29 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+400.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 39973 30 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+410.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 40973 30 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+420.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 41973 30 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+430.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 42972 30 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220656 134528331 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+440.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 43972 31 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+450.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 44971 32 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+460.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 45971 32 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220512 134522581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+470.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 46970 33 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+480.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 47970 34 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+490.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 48970 34 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+500.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 49969 35 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220704 134527416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+510.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1680
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 50968 36 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+520.018 s]
Raw data (loadavg): 1.07 1.00 1.00 2/57 1717
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 51968 37 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+530.041 s]
Raw data (loadavg): 1.14 1.02 1.00 3/59 1726
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 52969 37 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+540.042 s]
Raw data (loadavg): 1.27 1.05 1.01 2/55 1733
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 53969 38 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220704 134527457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+550.183 s]
Raw data (loadavg): 1.23 1.05 1.01 2/55 1733
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 54983 38 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+560.184 s]
Raw data (loadavg): 1.19 1.04 1.01 2/55 1733
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 55983 38 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+570.185 s]
Raw data (loadavg): 1.16 1.04 1.01 2/55 1733
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 56983 39 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+580.185 s]
Raw data (loadavg): 1.14 1.04 1.01 2/55 1733
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 57982 39 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+590.185 s]
Raw data (loadavg): 1.11 1.04 1.01 2/55 1733
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 58982 40 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+600.184 s]
Raw data (loadavg): 1.10 1.04 1.01 2/55 1733
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 840 0 0 0 59982 40 0 0 25 0 1 0 751869534 8986624 804 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2194 804 566 18 0 2176 0
vsize: 8776
[startup+610.186 s]
Raw data (loadavg): 1.08 1.03 1.01 2/55 1735
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 842 0 0 0 60981 41 0 0 25 0 1 0 751869534 8986624 806 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2194 806 566 18 0 2176 0
vsize: 8776
[startup+620.185 s]
Raw data (loadavg): 1.07 1.03 1.01 2/55 1735
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 842 0 0 0 61981 41 0 0 25 0 1 0 751869534 8986624 806 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2194 806 566 18 0 2176 0
vsize: 8776
[startup+630.185 s]
Raw data (loadavg): 1.06 1.03 1.01 2/55 1735
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 842 0 0 0 62981 42 0 0 25 0 1 0 751869534 8986624 806 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2194 806 566 18 0 2176 0
vsize: 8776
[startup+640.186 s]
Raw data (loadavg): 1.05 1.03 1.00 2/55 1735
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 846 0 0 0 63980 43 0 0 25 0 1 0 751869534 8986624 810 4294967295 134512640 134581331 3221221792 3221220656 134528272 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2194 810 566 18 0 2176 0
vsize: 8776
[startup+650.187 s]
Raw data (loadavg): 1.04 1.03 1.00 2/55 1735
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 847 0 0 0 64980 43 0 0 25 0 1 0 751869534 9105408 811 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2223 811 566 18 0 2205 0
vsize: 8892
[startup+660.187 s]
Raw data (loadavg): 1.03 1.03 1.00 2/55 1735
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 847 0 0 0 65980 43 0 0 25 0 1 0 751869534 9105408 811 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2223 811 566 18 0 2205 0
vsize: 8892
[startup+670.187 s]
Raw data (loadavg): 1.03 1.03 1.00 2/55 1735
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 849 0 0 0 66979 44 0 0 25 0 1 0 751869534 9105408 813 4294967295 134512640 134581331 3221221792 3221220704 134527525 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2223 813 566 18 0 2205 0
vsize: 8892
[startup+680.187 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 1735
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 849 0 0 0 67979 44 0 0 25 0 1 0 751869534 9105408 813 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2223 813 566 18 0 2205 0
vsize: 8892
[startup+690.188 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 1735
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 850 0 0 0 68979 45 0 0 25 0 1 0 751869534 9105408 814 4294967295 134512640 134581331 3221221792 3221220688 134517767 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2223 814 566 18 0 2205 0
vsize: 8892
[startup+700.188 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 1735
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 850 0 0 0 69979 45 0 0 25 0 1 0 751869534 9105408 814 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2223 814 566 18 0 2205 0
vsize: 8892
[startup+710.189 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 1735
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 850 0 0 0 70979 45 0 0 25 0 1 0 751869534 9105408 814 4294967295 134512640 134581331 3221221792 3221220676 134557882 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2223 814 566 18 0 2205 0
vsize: 8892
[startup+720.188 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 1735
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 863 0 0 0 71979 46 0 0 25 0 1 0 751869534 9105408 827 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2223 827 566 18 0 2205 0
vsize: 8892
[startup+730.189 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 1735
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 863 0 0 0 72978 46 0 0 25 0 1 0 751869534 9105408 827 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2223 827 566 18 0 2205 0
vsize: 8892
[startup+740.188 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 1735
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 881 0 0 0 73977 47 0 0 25 0 1 0 751869534 9232384 845 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2254 845 566 18 0 2236 0
vsize: 9016
[startup+750.188 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 1735
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 889 0 0 0 74977 48 0 0 25 0 1 0 751869534 9232384 853 4294967295 134512640 134581331 3221221792 3221220760 134527282 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2254 853 566 18 0 2236 0
vsize: 9016
[startup+760.189 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 1735
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 904 0 0 0 75977 48 0 0 25 0 1 0 751869534 9232384 868 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2254 868 566 18 0 2236 0
vsize: 9016
[startup+770.188 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 1735
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 76977 48 0 0 25 0 1 0 751869534 9363456 875 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2286 875 566 18 0 2268 0
vsize: 9144
[startup+780.188 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 1735
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 77977 49 0 0 25 0 1 0 751869534 9363456 875 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2286 875 566 18 0 2268 0
vsize: 9144
[startup+790.188 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 1735
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 78976 49 0 0 25 0 1 0 751869534 9363456 875 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2286 875 566 18 0 2268 0
vsize: 9144
[startup+800.188 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 1735
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 79976 49 0 0 25 0 1 0 751869534 9363456 875 4294967295 134512640 134581331 3221221792 3221220760 134527282 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2286 875 566 18 0 2268 0
vsize: 9144
[startup+810.189 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 1735
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 80976 50 0 0 25 0 1 0 751869534 9363456 875 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2286 875 566 18 0 2268 0
vsize: 9144
[startup+820.189 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 1735
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 81976 50 0 0 25 0 1 0 751869534 9363456 875 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2286 875 566 18 0 2268 0
vsize: 9144
[startup+830.189 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 1735
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 82976 50 0 0 25 0 1 0 751869534 9363456 875 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2286 875 566 18 0 2268 0
vsize: 9144
[startup+840.19 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 1735
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 83976 51 0 0 25 0 1 0 751869534 9363456 875 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2286 875 566 18 0 2268 0
vsize: 9144
[startup+850.19 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 84976 51 0 0 25 0 1 0 751869534 9363456 875 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2286 875 566 18 0 2268 0
vsize: 9144
[startup+860.191 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 85975 51 0 0 25 0 1 0 751869534 9363456 875 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2286 875 566 18 0 2268 0
vsize: 9144
[startup+870.191 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 86975 52 0 0 25 0 1 0 751869534 9363456 875 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2286 875 566 18 0 2268 0
vsize: 9144
[startup+880.191 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 87975 52 0 0 25 0 1 0 751869534 9363456 875 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2286 875 566 18 0 2268 0
vsize: 9144
[startup+890.192 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 88975 53 0 0 25 0 1 0 751869534 9363456 875 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2286 875 566 18 0 2268 0
vsize: 9144
[startup+900.191 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 89974 53 0 0 25 0 1 0 751869534 9363456 875 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2286 875 566 18 0 2268 0
vsize: 9144
[startup+910.192 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 90974 54 0 0 25 0 1 0 751869534 9363456 875 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2286 875 566 18 0 2268 0
vsize: 9144
[startup+920.192 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 91974 54 0 0 25 0 1 0 751869534 9363456 875 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2286 875 566 18 0 2268 0
vsize: 9144
[startup+930.192 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 92973 54 0 0 25 0 1 0 751869534 9363456 875 4294967295 134512640 134581331 3221221792 3221220864 134531412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2286 875 566 18 0 2268 0
vsize: 9144
[startup+940.192 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 93973 55 0 0 25 0 1 0 751869534 9363456 875 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2286 875 566 18 0 2268 0
vsize: 9144
[startup+950.192 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 94973 55 0 0 25 0 1 0 751869534 9363456 875 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2286 875 566 18 0 2268 0
vsize: 9144
[startup+960.193 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 95973 55 0 0 25 0 1 0 751869534 9363456 875 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2286 875 566 18 0 2268 0
vsize: 9144
[startup+970.193 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 96973 56 0 0 25 0 1 0 751869534 9363456 875 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2286 875 566 18 0 2268 0
vsize: 9144
[startup+980.193 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 97973 56 0 0 25 0 1 0 751869534 9363456 875 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2286 875 566 18 0 2268 0
vsize: 9144
[startup+990.194 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 98973 56 0 0 25 0 1 0 751869534 9363456 875 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2286 875 566 18 0 2268 0
vsize: 9144
[startup+1000.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 99973 56 0 0 25 0 1 0 751869534 9363456 875 4294967295 134512640 134581331 3221221792 3221220576 134528824 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2286 875 566 18 0 2268 0
vsize: 9144
[startup+1010.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 100973 57 0 0 25 0 1 0 751869534 9363456 875 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2286 875 566 18 0 2268 0
vsize: 9144
[startup+1020.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 101973 57 0 0 25 0 1 0 751869534 9363456 875 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2286 875 566 18 0 2268 0
vsize: 9144
[startup+1030.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 102973 57 0 0 25 0 1 0 751869534 9363456 875 4294967295 134512640 134581331 3221221792 3221220704 134527442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2286 875 566 18 0 2268 0
vsize: 9144
[startup+1040.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 103973 57 0 0 25 0 1 0 751869534 9330688 875 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 875 566 18 0 2260 0
vsize: 9112
[startup+1050.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 104972 58 0 0 25 0 1 0 751869534 9330688 875 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 875 566 18 0 2260 0
vsize: 9112
[startup+1060.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 105972 58 0 0 25 0 1 0 751869534 9330688 875 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 875 566 18 0 2260 0
vsize: 9112
[startup+1070.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 106972 58 0 0 25 0 1 0 751869534 9330688 875 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 875 566 18 0 2260 0
vsize: 9112
[startup+1080.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 107972 59 0 0 25 0 1 0 751869534 9330688 875 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 875 566 18 0 2260 0
vsize: 9112
[startup+1090.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 108972 59 0 0 25 0 1 0 751869534 9330688 875 4294967295 134512640 134581331 3221221792 3221220704 134527423 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 875 566 18 0 2260 0
vsize: 9112
[startup+1100.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 109971 60 0 0 25 0 1 0 751869534 9330688 875 4294967295 134512640 134581331 3221221792 3221220704 134527423 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 875 566 18 0 2260 0
vsize: 9112
[startup+1110.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 110971 60 0 0 25 0 1 0 751869534 9330688 875 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 875 566 18 0 2260 0
vsize: 9112
[startup+1120.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 111971 61 0 0 25 0 1 0 751869534 9330688 875 4294967295 134512640 134581331 3221221792 3221220704 134527457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 875 566 18 0 2260 0
vsize: 9112
[startup+1130.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 112971 61 0 0 25 0 1 0 751869534 9330688 875 4294967295 134512640 134581331 3221221792 3221220756 134527308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 875 566 18 0 2260 0
vsize: 9112
[startup+1140.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 113970 61 0 0 25 0 1 0 751869534 9330688 875 4294967295 134512640 134581331 3221221792 3221220704 134527440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 875 566 18 0 2260 0
vsize: 9112
[startup+1150.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 114970 62 0 0 25 0 1 0 751869534 9330688 875 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 875 566 18 0 2260 0
vsize: 9112
[startup+1160.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 115970 62 0 0 25 0 1 0 751869534 9330688 875 4294967295 134512640 134581331 3221221792 3221220704 134527457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 875 566 18 0 2260 0
vsize: 9112
[startup+1170.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 116970 62 0 0 25 0 1 0 751869534 9330688 875 4294967295 134512640 134581331 3221221792 3221220656 134528254 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 875 566 18 0 2260 0
vsize: 9112
[startup+1180.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 117970 63 0 0 25 0 1 0 751869534 9330688 875 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 875 566 18 0 2260 0
vsize: 9112
[startup+1188.88 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 1737
Raw data (stat): 1680 (Pueblo) R 1679 7876 7672 0 -1 0 911 0 0 0 117970 63 0 0 25 0 1 0 751869534 9330688 875 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 875 566 18 0 2260 0
vsize: 0

Child status: 10
Real time (s): 1188.88
CPU time (s): 1189.02
CPU user time (s): 1188.38
CPU system time (s): 0.635903
CPU usage (%): 100.011
Max. virtual memory (Kb): 9144
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	9
#### END VERIFIER DATA ####