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.95:98.opb
MD5SUM	ac510382bae6003fe0373ad32fd0064f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5
Optimality of the best value was proved	NO
Number of terms in the objective function	411
Biggest coefficient in the objective function	268
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	1129
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	268
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	1129
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03584
Number of variables	411
Total number of constraints	887
Number of constraints which are clauses	387
Number of constraints which are cardinality constraints (but not clauses)	500
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	16
Trace number 24980

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 14:11:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3310 boxname=wulflinc31 idbench=368 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  ac510382bae6003fe0373ad32fd0064f  /oldhome/oroussel/tmp/wulflinc31/normalized-10:10:4.5:0.95:98.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-10:10:4.5:0.95:98.opb
IDLAUNCH: 3310
/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:        813188 kB
Buffers:         41520 kB
Cached:         158508 kB
SwapCached:       1932 kB
Active:         162696 kB
Inactive:        40468 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        812936 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            12648 kB
Committed_AS:    63844 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 14:31:17 (client local time) WITH STATUS 10 IN 1189.04 SECONDS
stats: 3310 0 1189.04 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.95:98.opb
c #variables read: 411 - #constraints read: 888
s SATISFIABLE
v v294 -v230 v205 v190 -v138 v293 v210 v191 -v142 -v358 v301 -v278 -v234 v209 v195 v295 -v232 v194 -v357 -v296 v212 v192 v118 v361 -v297 -v233 v213 -v193 -v179 -v82 -v237 v216 -v178 -v163 v117 -v81 v362 v214 v121 -v83 v215 -v180 -v162 -v84 v183 v167 v122 -v85 -v304 v274 -v229 v189 -v137 -v305 v204 v188 -v141 -v384 v300 v277 -v235 v206 -v199 v211 -v359 -v312 v298 -v238 v208 -v36 v363 v316 -v236 v217 -v174 -v173 v119 v123 -v365 -v181 -v164 -v88 -v366 v182 v166 -v89 -v380 -v302 v273 -v227 v202 -v139 -v353 -v231 v203 -v143 -v383 -v352 v279 -v228 -v198 -v32 -v239 v207 -v113 -v360 -v311 v299 -v225 -v196 -v145 v112 -v35 v364 v315 v221 -v158 -v146 -v368 -v282 v220 -v157 v120 -v87 -v367 -v175 v124 -v86 v341 -v176 -v165 -v125 -v70 v177 v168 -v126 v74 -v379 -v303 v275 v200 -v140 -v226 -v144 -v396 v385 v280 -v247 -v222 -v148 -v31 -v400 v354 -v243 -v224 -v147 v355 v313 -v283 -v242 -v197 -v37 -v7 v356 v317 -v281 v114 -v11 -v388 -v372 -v337 v218 v115 -v100 -v159 v116 v340 -v319 v219 -v186 -v160 -v130 v69 -v40 -v320 -v187 v161 v73 v381 v271 -v244 v201 -v136 -v27 -v307 v276 -v246 -v223 -v135 -v395 v386 v306 v272 -v152 -v33 -v399 -v284 v389 -v375 v314 -v240 -v96 -v38 -v6 -v387 -v376 v318 -v10 -v371 -v336 -v322 -v241 -v185 v133 -v99 -v41 -v321 -v184 v134 -v39 -v369 v342 v254 -v171 -v129 v71 v258 -v172 v75 v378 v264 -v245 -v155 v382 v270 -v156 -v26 -v397 -v374 v292 -v151 -v28 v401 v390 -v373 v308 -v288 -v34 -v332 v309 -v287 -v149 -v132 -v95 -v30 -v8 v310 v131 -v65 -v42 -v12 v403 -v338 -v326 -v170 -v101 -v64 v404 -v169 -v370 v343 v253 -v127 v72 -v60 -v14 v257 v76 -v15 -v289 v263 -v153 v377 v291 -v2 -v398 -v91 -v1 v402 v394 -v29 v406 v393 v329 -v285 -v150 -v97 -v50 -v9 v405 -v331 v330 -v46 -v13 -v333 -v325 -v286 -v102 -v56 -v45 -v17 -v339 -v66 -v16 v335 -v323 v255 -v128 -v103 v67 -v59 v344 v259 -v104 v68 -v290 v265 -v154 -v328 -v47 -v327 -v90 -v49 -v3 v410 v391 v267 -v92 -v4 -v249 -v98 -v5 v392 -v248 -v94 v55 -v43 -v21 -v334 -v105 v351 -v324 v256 -v79 v61 -v44 v347 v260 v80 -v48 v268 v266 v409 v53 -v24 -v93 -v25 v407 v348 -v111 -v78 v57 -v20 v350 -v250 -v108 -v77 v251 -v106 v62 -v18 v345 v252 v269 -v23 -v22 -v110 v349 -v109 v52 v408 v51 v58 v262 -v107 v54 -v19 v346 v261 v63 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.93 0.98 0.99 2/55 2868
Raw data (stat): 2868 (runsolver) R 2867 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 753069134 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.0009 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 596 0 0 0 993 3 0 0 25 0 1 0 753069134 8056832 573 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1967 573 566 18 0 1949 0
vsize: 7868
[startup+20.0019 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 640 0 0 0 1993 4 0 0 25 0 1 0 753069134 8310784 617 4294967295 134512640 134581331 3221221792 3221220736 134516839 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2029 617 566 18 0 2011 0
vsize: 8116
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 702 0 0 0 2992 5 0 0 25 0 1 0 753069134 8577024 679 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2094 679 566 18 0 2076 0
vsize: 8376
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 704 0 0 0 3991 5 0 0 25 0 1 0 753069134 8577024 681 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2094 681 566 18 0 2076 0
vsize: 8376
[startup+50.0016 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 727 0 0 0 4991 6 0 0 25 0 1 0 753069134 8577024 704 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2094 704 566 18 0 2076 0
vsize: 8376
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 730 0 0 0 5991 6 0 0 25 0 1 0 753069134 8577024 707 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2094 707 566 18 0 2076 0
vsize: 8376
[startup+70.0014 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 780 0 0 0 6991 6 0 0 25 0 1 0 753069134 8847360 757 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2160 757 566 18 0 2142 0
vsize: 8640
[startup+80.0014 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 784 0 0 0 7991 7 0 0 25 0 1 0 753069134 8847360 761 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2160 761 566 18 0 2142 0
vsize: 8640
[startup+90.0013 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 793 0 0 0 8991 7 0 0 25 0 1 0 753069134 8847360 770 4294967295 134512640 134581331 3221221792 3221220768 134560826 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2160 770 566 18 0 2142 0
vsize: 8640
[startup+100.001 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 826 0 0 0 9990 7 0 0 25 0 1 0 753069134 8986624 803 4294967295 134512640 134581331 3221221792 3221220704 134527525 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2194 803 566 18 0 2176 0
vsize: 8776
[startup+110.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 826 0 0 0 10990 8 0 0 25 0 1 0 753069134 8986624 803 4294967295 134512640 134581331 3221221792 3221220704 134527440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2194 803 566 18 0 2176 0
vsize: 8776
[startup+120.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 826 0 0 0 11990 8 0 0 25 0 1 0 753069134 8986624 803 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2194 803 566 18 0 2176 0
vsize: 8776
[startup+130.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 841 0 0 0 12990 8 0 0 25 0 1 0 753069134 9125888 818 4294967295 134512640 134581331 3221221792 3221220704 134527516 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2228 818 566 18 0 2210 0
vsize: 8912
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 841 0 0 0 13990 8 0 0 25 0 1 0 753069134 9101312 818 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2222 818 566 18 0 2204 0
vsize: 8888
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 841 0 0 0 14990 9 0 0 25 0 1 0 753069134 9101312 818 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2222 818 566 18 0 2204 0
vsize: 8888
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 853 0 0 0 15990 9 0 0 25 0 1 0 753069134 9101312 830 4294967295 134512640 134581331 3221221792 3221220704 134527516 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2222 830 566 18 0 2204 0
vsize: 8888
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 877 0 0 0 16990 9 0 0 25 0 1 0 753069134 9236480 854 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2255 854 566 18 0 2237 0
vsize: 9020
[startup+180.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 879 0 0 0 17990 10 0 0 25 0 1 0 753069134 9236480 856 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2255 856 566 18 0 2237 0
vsize: 9020
[startup+190.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 879 0 0 0 18989 10 0 0 25 0 1 0 753069134 9236480 856 4294967295 134512640 134581331 3221221792 3221220704 134527516 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2255 856 566 18 0 2237 0
vsize: 9020
[startup+200.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 885 0 0 0 19989 10 0 0 25 0 1 0 753069134 9236480 862 4294967295 134512640 134581331 3221221792 3221220704 134527457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2255 862 566 18 0 2237 0
vsize: 9020
[startup+210.002 s]
Raw data (loadavg): 1.07 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 887 0 0 0 20989 11 0 0 25 0 1 0 753069134 9236480 864 4294967295 134512640 134581331 3221221792 3221220704 134527772 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2255 864 566 18 0 2237 0
vsize: 9020
[startup+220.003 s]
Raw data (loadavg): 1.06 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 887 0 0 0 21989 11 0 0 25 0 1 0 753069134 9236480 864 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2255 864 566 18 0 2237 0
vsize: 9020
[startup+230.003 s]
Raw data (loadavg): 1.05 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 898 0 0 0 22989 11 0 0 25 0 1 0 753069134 9351168 875 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2283 875 566 18 0 2265 0
vsize: 9132
[startup+240.003 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 914 0 0 0 23989 11 0 0 25 0 1 0 753069134 9351168 891 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2283 891 566 18 0 2265 0
vsize: 9132
[startup+250.003 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 914 0 0 0 24989 11 0 0 25 0 1 0 753069134 9351168 891 4294967295 134512640 134581331 3221221792 3221220704 134527516 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2283 891 566 18 0 2265 0
vsize: 9132
[startup+260.004 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 914 0 0 0 25989 11 0 0 25 0 1 0 753069134 9351168 891 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2283 891 566 18 0 2265 0
vsize: 9132
[startup+270.004 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 914 0 0 0 26989 12 0 0 25 0 1 0 753069134 9351168 891 4294967295 134512640 134581331 3221221792 3221220676 134557948 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2283 891 566 18 0 2265 0
vsize: 9132
[startup+280.004 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 914 0 0 0 27989 12 0 0 25 0 1 0 753069134 9351168 891 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2283 891 566 18 0 2265 0
vsize: 9132
[startup+290.005 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 914 0 0 0 28989 12 0 0 25 0 1 0 753069134 9351168 891 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2283 891 566 18 0 2265 0
vsize: 9132
[startup+300.005 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 914 0 0 0 29989 12 0 0 25 0 1 0 753069134 9351168 891 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2283 891 566 18 0 2265 0
vsize: 9132
[startup+310.005 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 914 0 0 0 30989 12 0 0 25 0 1 0 753069134 9351168 891 4294967295 134512640 134581331 3221221792 3221220704 134527525 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2283 891 566 18 0 2265 0
vsize: 9132
[startup+320.005 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 914 0 0 0 31989 13 0 0 25 0 1 0 753069134 9351168 891 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2283 891 566 18 0 2265 0
vsize: 9132
[startup+330.005 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 914 0 0 0 32989 13 0 0 25 0 1 0 753069134 9351168 891 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2283 891 566 18 0 2265 0
vsize: 9132
[startup+340.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 915 0 0 0 33989 13 0 0 25 0 1 0 753069134 9351168 892 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2283 892 566 18 0 2265 0
vsize: 9132
[startup+350.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 915 0 0 0 34989 13 0 0 25 0 1 0 753069134 9351168 892 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2283 892 566 18 0 2265 0
vsize: 9132
[startup+360.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 917 0 0 0 35989 13 0 0 25 0 1 0 753069134 9351168 894 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2283 894 566 18 0 2265 0
vsize: 9132
[startup+370.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 941 0 0 0 36989 14 0 0 25 0 1 0 753069134 9486336 918 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2316 918 566 18 0 2298 0
vsize: 9264
[startup+380.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 941 0 0 0 37989 14 0 0 25 0 1 0 753069134 9486336 918 4294967295 134512640 134581331 3221221792 3221220704 134528077 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2316 918 566 18 0 2298 0
vsize: 9264
[startup+390.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 958 0 0 0 38989 14 0 0 25 0 1 0 753069134 9621504 935 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2349 935 566 18 0 2331 0
vsize: 9396
[startup+400.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 958 0 0 0 39989 14 0 0 25 0 1 0 753069134 9621504 935 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2349 935 566 18 0 2331 0
vsize: 9396
[startup+410.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 958 0 0 0 40989 14 0 0 25 0 1 0 753069134 9621504 935 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2349 935 566 18 0 2331 0
vsize: 9396
[startup+420.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 958 0 0 0 41989 14 0 0 25 0 1 0 753069134 9621504 935 4294967295 134512640 134581331 3221221792 3221220704 134527516 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2349 935 566 18 0 2331 0
vsize: 9396
[startup+430.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 958 0 0 0 42989 15 0 0 25 0 1 0 753069134 9621504 935 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2349 935 566 18 0 2331 0
vsize: 9396
[startup+440.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 958 0 0 0 43989 15 0 0 25 0 1 0 753069134 9621504 935 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2349 935 566 18 0 2331 0
vsize: 9396
[startup+450.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 961 0 0 0 44989 15 0 0 25 0 1 0 753069134 9621504 938 4294967295 134512640 134581331 3221221792 3221220704 134527525 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2349 938 566 18 0 2331 0
vsize: 9396
[startup+460.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 961 0 0 0 45989 15 0 0 25 0 1 0 753069134 9621504 938 4294967295 134512640 134581331 3221221792 3221220704 134527537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2349 938 566 18 0 2331 0
vsize: 9396
[startup+470.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 961 0 0 0 46989 16 0 0 25 0 1 0 753069134 9621504 938 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2349 938 566 18 0 2331 0
vsize: 9396
[startup+480.009 s]
Raw data (loadavg): 1.08 1.02 1.01 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 969 0 0 0 47988 16 0 0 25 0 1 0 753069134 9621504 946 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2349 946 566 18 0 2331 0
vsize: 9396
[startup+490.01 s]
Raw data (loadavg): 1.07 1.02 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 969 0 0 0 48988 16 0 0 25 0 1 0 753069134 9621504 946 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2349 946 566 18 0 2331 0
vsize: 9396
[startup+500.01 s]
Raw data (loadavg): 1.06 1.01 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 972 0 0 0 49988 17 0 0 25 0 1 0 753069134 9621504 949 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2349 949 566 18 0 2331 0
vsize: 9396
[startup+510.01 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 972 0 0 0 50988 17 0 0 25 0 1 0 753069134 9621504 949 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2349 949 566 18 0 2331 0
vsize: 9396
[startup+520.01 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 972 0 0 0 51988 17 0 0 25 0 1 0 753069134 9621504 949 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2349 949 566 18 0 2331 0
vsize: 9396
[startup+530.011 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 972 0 0 0 52988 17 0 0 25 0 1 0 753069134 9621504 949 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2349 949 566 18 0 2331 0
vsize: 9396
[startup+540.011 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 972 0 0 0 53988 18 0 0 25 0 1 0 753069134 9621504 949 4294967295 134512640 134581331 3221221792 3221220704 134527678 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2349 949 566 18 0 2331 0
vsize: 9396
[startup+550.011 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 978 0 0 0 54988 18 0 0 25 0 1 0 753069134 9621504 955 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2349 955 566 18 0 2331 0
vsize: 9396
[startup+560.012 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 978 0 0 0 55987 19 0 0 25 0 1 0 753069134 9621504 955 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2349 955 566 18 0 2331 0
vsize: 9396
[startup+570.012 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 978 0 0 0 56987 19 0 0 25 0 1 0 753069134 9621504 955 4294967295 134512640 134581331 3221221792 3221220704 134527525 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2349 955 566 18 0 2331 0
vsize: 9396
[startup+580.012 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 999 0 0 0 57987 19 0 0 25 0 1 0 753069134 9756672 976 4294967295 134512640 134581331 3221221792 3221220704 134527420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2382 976 566 18 0 2364 0
vsize: 9528
[startup+590.012 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1001 0 0 0 58987 19 0 0 25 0 1 0 753069134 9756672 978 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2382 978 566 18 0 2364 0
vsize: 9528
[startup+600.013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1043 0 0 0 59987 19 0 0 25 0 1 0 753069134 9891840 1020 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1020 566 18 0 2397 0
vsize: 9660
[startup+610.013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1043 0 0 0 60987 20 0 0 25 0 1 0 753069134 9891840 1020 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1020 566 18 0 2397 0
vsize: 9660
[startup+620.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1043 0 0 0 61987 20 0 0 25 0 1 0 753069134 9891840 1020 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1020 566 18 0 2397 0
vsize: 9660
[startup+630.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1043 0 0 0 62987 20 0 0 25 0 1 0 753069134 9891840 1020 4294967295 134512640 134581331 3221221792 3221220704 134528074 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1020 566 18 0 2397 0
vsize: 9660
[startup+640.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1043 0 0 0 63987 20 0 0 25 0 1 0 753069134 9891840 1020 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1020 566 18 0 2397 0
vsize: 9660
[startup+650.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1043 0 0 0 64987 20 0 0 25 0 1 0 753069134 9891840 1020 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1020 566 18 0 2397 0
vsize: 9660
[startup+660.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1043 0 0 0 65987 21 0 0 25 0 1 0 753069134 9891840 1020 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1020 566 18 0 2397 0
vsize: 9660
[startup+670.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1043 0 0 0 66987 21 0 0 25 0 1 0 753069134 9891840 1020 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1020 566 18 0 2397 0
vsize: 9660
[startup+680.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1043 0 0 0 67987 21 0 0 25 0 1 0 753069134 9891840 1020 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1020 566 18 0 2397 0
vsize: 9660
[startup+690.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1043 0 0 0 68987 21 0 0 25 0 1 0 753069134 9891840 1020 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1020 566 18 0 2397 0
vsize: 9660
[startup+700.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1043 0 0 0 69987 21 0 0 25 0 1 0 753069134 9891840 1020 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1020 566 18 0 2397 0
vsize: 9660
[startup+710.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1043 0 0 0 70987 22 0 0 25 0 1 0 753069134 9891840 1020 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1020 566 18 0 2397 0
vsize: 9660
[startup+720.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1043 0 0 0 71987 22 0 0 25 0 1 0 753069134 9891840 1020 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1020 566 18 0 2397 0
vsize: 9660
[startup+730.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1043 0 0 0 72986 22 0 0 25 0 1 0 753069134 9891840 1020 4294967295 134512640 134581331 3221221792 3221220736 134558819 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1020 566 18 0 2397 0
vsize: 9660
[startup+740.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1043 0 0 0 73986 23 0 0 25 0 1 0 753069134 9891840 1020 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1020 566 18 0 2397 0
vsize: 9660
[startup+750.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1043 0 0 0 74986 23 0 0 25 0 1 0 753069134 9891840 1020 4294967295 134512640 134581331 3221221792 3221220772 134560793 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1020 566 18 0 2397 0
vsize: 9660
[startup+760.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1043 0 0 0 75986 23 0 0 25 0 1 0 753069134 9891840 1020 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1020 566 18 0 2397 0
vsize: 9660
[startup+770.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1043 0 0 0 76986 23 0 0 25 0 1 0 753069134 9891840 1020 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1020 566 18 0 2397 0
vsize: 9660
[startup+780.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1043 0 0 0 77986 24 0 0 25 0 1 0 753069134 9891840 1020 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1020 566 18 0 2397 0
vsize: 9660
[startup+790.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1043 0 0 0 78986 24 0 0 25 0 1 0 753069134 9891840 1020 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1020 566 18 0 2397 0
vsize: 9660
[startup+800.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1043 0 0 0 79986 24 0 0 25 0 1 0 753069134 9891840 1020 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1020 566 18 0 2397 0
vsize: 9660
[startup+810.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1043 0 0 0 80986 24 0 0 25 0 1 0 753069134 9891840 1020 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1020 566 18 0 2397 0
vsize: 9660
[startup+820.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1043 0 0 0 81986 25 0 0 25 0 1 0 753069134 9891840 1020 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1020 566 18 0 2397 0
vsize: 9660
[startup+830.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1043 0 0 0 82986 25 0 0 25 0 1 0 753069134 9891840 1020 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1020 566 18 0 2397 0
vsize: 9660
[startup+840.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1043 0 0 0 83986 25 0 0 25 0 1 0 753069134 9891840 1020 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1020 566 18 0 2397 0
vsize: 9660
[startup+850.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1043 0 0 0 84986 25 0 0 25 0 1 0 753069134 9891840 1020 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1020 566 18 0 2397 0
vsize: 9660
[startup+860.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1043 0 0 0 85986 25 0 0 25 0 1 0 753069134 9891840 1020 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1020 566 18 0 2397 0
vsize: 9660
[startup+870.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1045 0 0 0 86986 25 0 0 25 0 1 0 753069134 9891840 1022 4294967295 134512640 134581331 3221221792 3221220656 134528370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1022 566 18 0 2397 0
vsize: 9660
[startup+880.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1045 0 0 0 87986 26 0 0 25 0 1 0 753069134 9891840 1022 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1022 566 18 0 2397 0
vsize: 9660
[startup+890.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1052 0 0 0 88986 26 0 0 25 0 1 0 753069134 9891840 1029 4294967295 134512640 134581331 3221221792 3221220704 134527440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1029 566 18 0 2397 0
vsize: 9660
[startup+900.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1052 0 0 0 89986 26 0 0 25 0 1 0 753069134 9891840 1029 4294967295 134512640 134581331 3221221792 3221220668 134527050 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1029 566 18 0 2397 0
vsize: 9660
[startup+910.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1065 0 0 0 90986 26 0 0 25 0 1 0 753069134 10027008 1042 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1042 566 18 0 2430 0
vsize: 9792
[startup+920.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1065 0 0 0 91986 26 0 0 25 0 1 0 753069134 10027008 1042 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1042 566 18 0 2430 0
vsize: 9792
[startup+930.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1086 0 0 0 92986 27 0 0 25 0 1 0 753069134 10027008 1063 4294967295 134512640 134581331 3221221792 3221220704 134528074 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1063 566 18 0 2430 0
vsize: 9792
[startup+940.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1086 0 0 0 93986 27 0 0 25 0 1 0 753069134 10027008 1063 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1063 566 18 0 2430 0
vsize: 9792
[startup+950.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1086 0 0 0 94986 27 0 0 25 0 1 0 753069134 10027008 1063 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1063 566 18 0 2430 0
vsize: 9792
[startup+960.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1086 0 0 0 95986 28 0 0 25 0 1 0 753069134 10027008 1063 4294967295 134512640 134581331 3221221792 3221220576 134528782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1063 566 18 0 2430 0
vsize: 9792
[startup+970.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1086 0 0 0 96986 28 0 0 25 0 1 0 753069134 10027008 1063 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1063 566 18 0 2430 0
vsize: 9792
[startup+980.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1086 0 0 0 97986 28 0 0 25 0 1 0 753069134 10027008 1063 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1063 566 18 0 2430 0
vsize: 9792
[startup+990.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1086 0 0 0 98985 28 0 0 25 0 1 0 753069134 10027008 1063 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1063 566 18 0 2430 0
vsize: 9792
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1086 0 0 0 99985 28 0 0 25 0 1 0 753069134 10027008 1063 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1063 566 18 0 2430 0
vsize: 9792
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1086 0 0 0 100986 28 0 0 25 0 1 0 753069134 10027008 1063 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1063 566 18 0 2430 0
vsize: 9792
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1086 0 0 0 101985 29 0 0 25 0 1 0 753069134 10027008 1063 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1063 566 18 0 2430 0
vsize: 9792
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1086 0 0 0 102985 29 0 0 25 0 1 0 753069134 10027008 1063 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1063 566 18 0 2430 0
vsize: 9792
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1086 0 0 0 103985 29 0 0 25 0 1 0 753069134 10027008 1063 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1063 566 18 0 2430 0
vsize: 9792
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1086 0 0 0 104985 29 0 0 25 0 1 0 753069134 10027008 1063 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1063 566 18 0 2430 0
vsize: 9792
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1086 0 0 0 105985 30 0 0 25 0 1 0 753069134 10027008 1063 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1063 566 18 0 2430 0
vsize: 9792
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1086 0 0 0 106985 30 0 0 25 0 1 0 753069134 10027008 1063 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1063 566 18 0 2430 0
vsize: 9792
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1086 0 0 0 107985 30 0 0 25 0 1 0 753069134 10027008 1063 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1063 566 18 0 2430 0
vsize: 9792
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1086 0 0 0 108985 30 0 0 25 0 1 0 753069134 10027008 1063 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1063 566 18 0 2430 0
vsize: 9792
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1086 0 0 0 109985 30 0 0 25 0 1 0 753069134 10027008 1063 4294967295 134512640 134581331 3221221792 3221220704 134527457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1063 566 18 0 2430 0
vsize: 9792
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1086 0 0 0 110985 31 0 0 25 0 1 0 753069134 10027008 1063 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1063 566 18 0 2430 0
vsize: 9792
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1086 0 0 0 111985 31 0 0 25 0 1 0 753069134 10027008 1063 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1063 566 18 0 2430 0
vsize: 9792
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1086 0 0 0 112985 32 0 0 25 0 1 0 753069134 10027008 1063 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1063 566 18 0 2430 0
vsize: 9792
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1086 0 0 0 113985 32 0 0 25 0 1 0 753069134 10027008 1063 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1063 566 18 0 2430 0
vsize: 9792
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1086 0 0 0 114985 32 0 0 25 0 1 0 753069134 10027008 1063 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1063 566 18 0 2430 0
vsize: 9792
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1086 0 0 0 115985 32 0 0 25 0 1 0 753069134 10027008 1063 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1063 566 18 0 2430 0
vsize: 9792
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1086 0 0 0 116985 32 0 0 25 0 1 0 753069134 10027008 1063 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1063 566 18 0 2430 0
vsize: 9792
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1086 0 0 0 117985 32 0 0 25 0 1 0 753069134 10027008 1063 4294967295 134512640 134581331 3221221792 3221220704 134527457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1063 566 18 0 2430 0
vsize: 9792
[startup+1188.88 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 2868
Raw data (stat): 2868 (Pueblo) R 2867 7876 7672 0 -1 0 1086 0 0 0 117985 32 0 0 25 0 1 0 753069134 10027008 1063 4294967295 134512640 134581331 3221221792 3221220704 134527457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1063 566 18 0 2430 0
vsize: 0

Child status: 10
Real time (s): 1188.88
CPU time (s): 1189.04
CPU user time (s): 1188.7
CPU system time (s): 0.334949
CPU usage (%): 100.013
Max. virtual memory (Kb): 9792
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	14
#### END VERIFIER DATA ####