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:100.opb
MD5SUM	b2c6bc03457d15976fdaf81252d9cdae
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	435
Biggest coefficient in the objective function	282
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	1168
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	282
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	1168
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.02284
Number of variables	435
Total number of constraints	935
Number of constraints which are clauses	403
Number of constraints which are cardinality constraints (but not clauses)	532
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 24965

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 09:50:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3283 boxname=wulflinc31 idbench=365 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  b2c6bc03457d15976fdaf81252d9cdae  /oldhome/oroussel/tmp/wulflinc31/normalized-10:10:4.5:0.95:100.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-10:10:4.5:0.95:100.opb
IDLAUNCH: 3283
/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:        815068 kB
Buffers:         41036 kB
Cached:         157156 kB
SwapCached:       1932 kB
Active:         162440 kB
Inactive:        38932 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        814816 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            12560 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 10:10:29 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 3283 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.95:100.opb
c #variables read: 435 - #constraints read: 936
s SATISFIABLE
v -v358 v234 v62 v5 v340 v235 -v399 -v362 v339 v239 v6 -v398 -v360 v238 v7 -v400 v341 -v236 v143 v10 -v433 -v361 v343 -v237 v142 v8 -v416 -v365 v144 -v9 -v420 v344 v434 -v357 -v233 v182 v61 v2 -v336 v232 -v186 v4 -v363 -v335 -v320 v243 v3 v11 -v366 v342 -v401 -v364 v345 -v415 v409 -v419 v405 v145 -v404 -v386 v153 v26 v149 -v30 -v355 -v316 -v251 -v246 v181 v63 -v359 -v255 -v247 v185 v1 -v356 -v319 -v242 v19 -v367 v337 v15 -v406 v338 -v240 -v160 -v67 v14 -v408 -v164 -v417 -v382 -v349 v150 v128 -v421 v152 -v402 -v385 -v301 v25 v148 v29 -v315 -v273 -v250 -v244 v183 v64 v16 -v354 -v277 -v254 v187 v18 -v375 -v321 -v83 v68 -v411 -v407 -v371 -v87 -v66 -v410 -v370 -v352 -v241 -v189 -v159 v124 v47 v12 -v353 -v190 -v163 -v151 -v418 -v381 -v348 -v324 -v297 v127 v13 -v422 -v423 -v403 -v387 -v346 -v300 v27 -v424 v146 v31 -v372 -v317 -v272 -v252 -v245 v184 v65 v17 -v374 -v276 -v256 v188 v69 -v351 -v322 -v192 -v82 -v43 -v350 -v191 v86 -v377 -v368 -v325 -v258 -v161 v123 v46 -v412 -v323 -v259 -v165 -v21 -v413 -v383 -v369 -v296 v129 v20 v414 -v428 -v388 -v347 -v302 v167 v28 -v168 v147 v32 -v373 -v313 -v274 v253 v180 v77 -v318 -v278 -v257 v179 -v155 v73 -v314 -v261 -v196 -v154 -v119 -v84 v72 v42 -v326 -v260 v88 -v292 -v280 -v220 -v162 v125 -v111 v48 -v376 -v281 -v224 -v166 -v431 -v378 -v298 v170 v130 -v90 -v432 -v384 v169 -v91 v22 -v427 v380 -v303 -v210 v131 -v51 v23 v389 v132 v24 -v275 -v249 -v199 v79 v76 v38 -v312 -v279 v248 -v200 -v334 -v283 -v265 -v195 -v107 v85 v70 v44 -v330 -v282 -v156 -v118 v89 -v430 -v329 -v219 -v193 -v157 -v120 -v110 v93 v71 v49 -v429 -v291 -v223 v158 v126 -v92 -v293 -v206 -v174 v122 v52 -v379 -v299 v133 -v50 -v425 -v397 v295 -v209 -v35 v393 v304 -v36 -v331 -v271 -v268 -v197 v74 -v333 -v270 -v269 v78 v37 -v287 -v264 -v106 v80 v39 v81 v45 -v327 -v262 -v221 -v194 -v177 v112 v97 v41 -v225 v178 v121 v53 -v394 -v328 v205 -v173 v141 -v34 -v396 v294 v137 -v33 -v426 -v311 -v227 v211 -v171 v136 v115 v392 v307 -v228 -v332 -v288 -v266 -v198 v104 -v75 -v290 -v215 -v286 -v214 -v176 v108 v100 -v175 v101 v40 -v284 -v263 -v222 -v203 -v138 v113 v96 v60 -v395 -v226 -v140 -v57 -v308 -v230 v207 v116 v94 -v56 -v310 -v229 v114 v212 -v172 v134 -v390 v305 -v289 -v267 v99 v103 v98 v102 v59 -v216 -v139 v109 v58 -v285 -v217 v105 -v309 v218 -v202 v117 v231 v201 -v95 -v54 v208 v204 v135 -v55 -v391 v306 v213 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.91 0.95 0.98 2/55 1128
Raw data (stat): 1128 (runsolver) R 1127 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 751504174 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.0008 s]
Raw data (loadavg): 0.93 0.95 0.98 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 591 0 0 0 994 3 0 0 25 0 1 0 751504174 8056832 568 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1967 568 566 18 0 1949 0
vsize: 7868
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.96 0.98 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 703 0 0 0 1994 3 0 0 25 0 1 0 751504174 8466432 680 4294967295 134512640 134581331 3221221792 3221220704 134528074 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2067 680 566 18 0 2049 0
vsize: 8268
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.96 0.98 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 735 0 0 0 2994 4 0 0 25 0 1 0 751504174 8605696 712 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2101 712 566 18 0 2083 0
vsize: 8404
[startup+40.0015 s]
Raw data (loadavg): 0.95 0.96 0.98 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 769 0 0 0 3993 4 0 0 25 0 1 0 751504174 8740864 746 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2134 746 566 18 0 2116 0
vsize: 8536
[startup+50.0014 s]
Raw data (loadavg): 0.96 0.96 0.98 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 778 0 0 0 4993 4 0 0 25 0 1 0 751504174 8867840 755 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2165 755 566 18 0 2147 0
vsize: 8660
[startup+60.0014 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 779 0 0 0 5993 5 0 0 25 0 1 0 751504174 8867840 756 4294967295 134512640 134581331 3221221792 3221220704 134527440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2165 756 566 18 0 2147 0
vsize: 8660
[startup+70.0013 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 799 0 0 0 6993 5 0 0 25 0 1 0 751504174 8867840 776 4294967295 134512640 134581331 3221221792 3221220704 134527423 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2165 776 566 18 0 2147 0
vsize: 8660
[startup+80.0022 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 808 0 0 0 7993 5 0 0 25 0 1 0 751504174 9007104 785 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2199 785 566 18 0 2181 0
vsize: 8796
[startup+90.0022 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 812 0 0 0 8993 5 0 0 25 0 1 0 751504174 9007104 789 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2199 789 566 18 0 2181 0
vsize: 8796
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 812 0 0 0 9993 6 0 0 25 0 1 0 751504174 9007104 789 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2199 789 566 18 0 2181 0
vsize: 8796
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 819 0 0 0 10993 6 0 0 25 0 1 0 751504174 9007104 796 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2199 796 566 18 0 2181 0
vsize: 8796
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 844 0 0 0 11992 6 0 0 25 0 1 0 751504174 9142272 821 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2232 821 566 18 0 2214 0
vsize: 8928
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 844 0 0 0 12992 7 0 0 25 0 1 0 751504174 9142272 821 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2232 821 566 18 0 2214 0
vsize: 8928
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 849 0 0 0 13992 7 0 0 25 0 1 0 751504174 9142272 826 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2232 826 566 18 0 2214 0
vsize: 8928
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 849 0 0 0 14992 7 0 0 25 0 1 0 751504174 9142272 826 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2232 826 566 18 0 2214 0
vsize: 8928
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 851 0 0 0 15992 7 0 0 25 0 1 0 751504174 9142272 828 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2232 828 566 18 0 2214 0
vsize: 8928
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 876 0 0 0 16992 7 0 0 25 0 1 0 751504174 9281536 853 4294967295 134512640 134581331 3221221792 3221220704 134528074 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2266 853 566 18 0 2248 0
vsize: 9064
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 910 0 0 0 17992 7 0 0 25 0 1 0 751504174 9416704 887 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2299 887 566 18 0 2281 0
vsize: 9196
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 916 0 0 0 18993 7 0 0 25 0 1 0 751504174 9416704 893 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2299 893 566 18 0 2281 0
vsize: 9196
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 920 0 0 0 19992 8 0 0 25 0 1 0 751504174 9416704 897 4294967295 134512640 134581331 3221221792 3221220640 134528554 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2299 897 566 18 0 2281 0
vsize: 9196
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 920 0 0 0 20992 8 0 0 25 0 1 0 751504174 9416704 897 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2299 897 566 18 0 2281 0
vsize: 9196
[startup+220.003 s]
Raw data (loadavg): 1.07 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 920 0 0 0 21992 8 0 0 25 0 1 0 751504174 9416704 897 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2299 897 566 18 0 2281 0
vsize: 9196
[startup+230.004 s]
Raw data (loadavg): 1.06 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 920 0 0 0 22992 8 0 0 25 0 1 0 751504174 9416704 897 4294967295 134512640 134581331 3221221792 3221220704 134527516 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2299 897 566 18 0 2281 0
vsize: 9196
[startup+240.003 s]
Raw data (loadavg): 1.05 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 926 0 0 0 23992 9 0 0 25 0 1 0 751504174 9416704 903 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2299 903 566 18 0 2281 0
vsize: 9196
[startup+250.003 s]
Raw data (loadavg): 1.04 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 926 0 0 0 24992 9 0 0 25 0 1 0 751504174 9416704 903 4294967295 134512640 134581331 3221221792 3221220704 134527516 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2299 903 566 18 0 2281 0
vsize: 9196
[startup+260.003 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 926 0 0 0 25992 9 0 0 25 0 1 0 751504174 9416704 903 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2299 903 566 18 0 2281 0
vsize: 9196
[startup+270.003 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 926 0 0 0 26992 9 0 0 25 0 1 0 751504174 9416704 903 4294967295 134512640 134581331 3221221792 3221220760 134527282 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2299 903 566 18 0 2281 0
vsize: 9196
[startup+280.003 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 926 0 0 0 27992 9 0 0 25 0 1 0 751504174 9416704 903 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2299 903 566 18 0 2281 0
vsize: 9196
[startup+290.003 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 926 0 0 0 28992 9 0 0 25 0 1 0 751504174 9416704 903 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2299 903 566 18 0 2281 0
vsize: 9196
[startup+300.003 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 926 0 0 0 29992 10 0 0 25 0 1 0 751504174 9416704 903 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2299 903 566 18 0 2281 0
vsize: 9196
[startup+310.003 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 932 0 0 0 30992 10 0 0 25 0 1 0 751504174 9416704 909 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2299 909 566 18 0 2281 0
vsize: 9196
[startup+320.003 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 942 0 0 0 31991 10 0 0 25 0 1 0 751504174 9494528 919 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2318 919 566 18 0 2300 0
vsize: 9272
[startup+330.003 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 942 0 0 0 32991 11 0 0 25 0 1 0 751504174 9494528 919 4294967295 134512640 134581331 3221221792 3221220704 134528074 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2318 919 566 18 0 2300 0
vsize: 9272
[startup+340.003 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 959 0 0 0 33991 11 0 0 25 0 1 0 751504174 9629696 936 4294967295 134512640 134581331 3221221792 3221220704 134527516 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2351 936 566 18 0 2333 0
vsize: 9404
[startup+350.003 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 959 0 0 0 34991 12 0 0 25 0 1 0 751504174 9613312 936 4294967295 134512640 134581331 3221221792 3221220704 134527429 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2347 936 566 18 0 2329 0
vsize: 9388
[startup+360.004 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 959 0 0 0 35990 12 0 0 25 0 1 0 751504174 9613312 936 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2347 936 566 18 0 2329 0
vsize: 9388
[startup+370.004 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 959 0 0 0 36990 12 0 0 25 0 1 0 751504174 9613312 936 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2347 936 566 18 0 2329 0
vsize: 9388
[startup+380.003 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 959 0 0 0 37990 13 0 0 25 0 1 0 751504174 9580544 936 4294967295 134512640 134581331 3221221792 3221220704 134527420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2339 936 566 18 0 2321 0
vsize: 9356
[startup+390.003 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 959 0 0 0 38990 13 0 0 25 0 1 0 751504174 9580544 936 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2339 936 566 18 0 2321 0
vsize: 9356
[startup+400.003 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 963 0 0 0 39990 13 0 0 25 0 1 0 751504174 9580544 940 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2339 940 566 18 0 2321 0
vsize: 9356
[startup+410.004 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 968 0 0 0 40990 13 0 0 25 0 1 0 751504174 9580544 945 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2339 945 566 18 0 2321 0
vsize: 9356
[startup+420.003 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 968 0 0 0 41990 14 0 0 25 0 1 0 751504174 9580544 945 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2339 945 566 18 0 2321 0
vsize: 9356
[startup+430.004 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 971 0 0 0 42990 14 0 0 25 0 1 0 751504174 9580544 948 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2339 948 566 18 0 2321 0
vsize: 9356
[startup+440.004 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 971 0 0 0 43989 14 0 0 25 0 1 0 751504174 9580544 948 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2339 948 566 18 0 2321 0
vsize: 9356
[startup+450.004 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 971 0 0 0 44989 15 0 0 25 0 1 0 751504174 9580544 948 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2339 948 566 18 0 2321 0
vsize: 9356
[startup+460.005 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 972 0 0 0 45990 15 0 0 25 0 1 0 751504174 9580544 949 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2339 949 566 18 0 2321 0
vsize: 9356
[startup+470.005 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1001 0 0 0 46989 15 0 0 25 0 1 0 751504174 9711616 978 4294967295 134512640 134581331 3221221792 3221220704 134531400 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2371 978 566 18 0 2353 0
vsize: 9484
[startup+480.006 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1007 0 0 0 47989 16 0 0 25 0 1 0 751504174 9711616 984 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2371 984 566 18 0 2353 0
vsize: 9484
[startup+490.006 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1007 0 0 0 48989 16 0 0 25 0 1 0 751504174 9711616 984 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2371 984 566 18 0 2353 0
vsize: 9484
[startup+500.006 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1007 0 0 0 49989 16 0 0 25 0 1 0 751504174 9711616 984 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2371 984 566 18 0 2353 0
vsize: 9484
[startup+510.006 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1008 0 0 0 50989 16 0 0 25 0 1 0 751504174 9711616 985 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2371 985 566 18 0 2353 0
vsize: 9484
[startup+520.006 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1015 0 0 0 51988 17 0 0 25 0 1 0 751504174 9846784 992 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2404 992 566 18 0 2386 0
vsize: 9616
[startup+530.007 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1019 0 0 0 52989 17 0 0 25 0 1 0 751504174 9834496 996 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2401 996 566 18 0 2383 0
vsize: 9604
[startup+540.006 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1019 0 0 0 53988 17 0 0 25 0 1 0 751504174 9830400 996 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2400 996 566 18 0 2382 0
vsize: 9600
[startup+550.006 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1019 0 0 0 54988 17 0 0 25 0 1 0 751504174 9830400 996 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2400 996 566 18 0 2382 0
vsize: 9600
[startup+560.007 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1128
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1019 0 0 0 55988 18 0 0 25 0 1 0 751504174 9830400 996 4294967295 134512640 134581331 3221221792 3221220776 134560790 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2400 996 566 18 0 2382 0
vsize: 9600
[startup+570.008 s]
Raw data (loadavg): 1.00 0.99 0.99 2/58 1150
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1019 0 0 0 56988 18 0 0 25 0 1 0 751504174 9830400 996 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2400 996 566 18 0 2382 0
vsize: 9600
[startup+580.009 s]
Raw data (loadavg): 1.30 1.05 1.01 2/59 1171
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1019 0 0 0 57988 18 0 0 25 0 1 0 751504174 9830400 996 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2400 996 566 18 0 2382 0
vsize: 9600
[startup+590.243 s]
Raw data (loadavg): 1.33 1.07 1.01 3/58 1180
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1019 0 0 0 59011 19 0 0 25 0 1 0 751504174 9830400 996 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2400 996 566 18 0 2382 0
vsize: 9600
[startup+600.243 s]
Raw data (loadavg): 1.36 1.08 1.02 2/55 1181
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1019 0 0 0 60011 19 0 0 25 0 1 0 751504174 9830400 996 4294967295 134512640 134581331 3221221792 3221220704 134527973 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2400 996 566 18 0 2382 0
vsize: 9600
[startup+610.243 s]
Raw data (loadavg): 1.30 1.08 1.02 2/55 1181
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1019 0 0 0 61011 19 0 0 25 0 1 0 751504174 9830400 996 4294967295 134512640 134581331 3221221792 3221220704 134527434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2400 996 566 18 0 2382 0
vsize: 9600
[startup+620.243 s]
Raw data (loadavg): 1.25 1.08 1.02 2/55 1181
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1019 0 0 0 62011 19 0 0 25 0 1 0 751504174 9830400 996 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2400 996 566 18 0 2382 0
vsize: 9600
[startup+630.244 s]
Raw data (loadavg): 1.21 1.07 1.02 2/55 1181
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1019 0 0 0 63011 19 0 0 25 0 1 0 751504174 9830400 996 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2400 996 566 18 0 2382 0
vsize: 9600
[startup+640.244 s]
Raw data (loadavg): 1.18 1.07 1.02 2/55 1181
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1019 0 0 0 64011 19 0 0 25 0 1 0 751504174 9830400 996 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2400 996 566 18 0 2382 0
vsize: 9600
[startup+650.244 s]
Raw data (loadavg): 1.15 1.07 1.01 2/55 1181
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1019 0 0 0 65011 19 0 0 25 0 1 0 751504174 9830400 996 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2400 996 566 18 0 2382 0
vsize: 9600
[startup+660.245 s]
Raw data (loadavg): 1.13 1.06 1.01 2/55 1183
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1019 0 0 0 66011 20 0 0 25 0 1 0 751504174 9830400 996 4294967295 134512640 134581331 3221221792 3221220704 134527695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2400 996 566 18 0 2382 0
vsize: 9600
[startup+670.245 s]
Raw data (loadavg): 1.11 1.06 1.01 2/55 1183
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1019 0 0 0 67011 20 0 0 25 0 1 0 751504174 9830400 996 4294967295 134512640 134581331 3221221792 3221220704 134527418 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2400 996 566 18 0 2382 0
vsize: 9600
[startup+680.246 s]
Raw data (loadavg): 1.09 1.06 1.01 2/55 1183
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1019 0 0 0 68011 20 0 0 25 0 1 0 751504174 9830400 996 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2400 996 566 18 0 2382 0
vsize: 9600
[startup+690.246 s]
Raw data (loadavg): 1.08 1.06 1.01 2/55 1183
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1019 0 0 0 69011 20 0 0 25 0 1 0 751504174 9830400 996 4294967295 134512640 134581331 3221221792 3221220704 134528074 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2400 996 566 18 0 2382 0
vsize: 9600
[startup+700.245 s]
Raw data (loadavg): 1.06 1.05 1.01 2/55 1183
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1019 0 0 0 70011 21 0 0 25 0 1 0 751504174 9830400 996 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2400 996 566 18 0 2382 0
vsize: 9600
[startup+710.246 s]
Raw data (loadavg): 1.05 1.05 1.01 2/55 1183
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1046 0 0 0 71010 21 0 0 25 0 1 0 751504174 9826304 1016 4294967295 134512640 134581331 3221221792 3221220512 134522604 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2399 1016 566 18 0 2381 0
vsize: 9596
[startup+720.246 s]
Raw data (loadavg): 1.05 1.05 1.01 2/55 1183
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1096 0 0 0 72010 21 0 0 25 0 1 0 751504174 9973760 1052 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2435 1052 566 18 0 2417 0
vsize: 9740
[startup+730.246 s]
Raw data (loadavg): 1.04 1.05 1.01 2/55 1183
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1113 0 0 0 73011 22 0 0 25 0 1 0 751504174 10108928 1069 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2468 1069 566 18 0 2450 0
vsize: 9872
[startup+740.246 s]
Raw data (loadavg): 1.03 1.05 1.01 2/55 1183
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1113 0 0 0 74010 22 0 0 25 0 1 0 751504174 10108928 1069 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2468 1069 566 18 0 2450 0
vsize: 9872
[startup+750.246 s]
Raw data (loadavg): 1.03 1.04 1.00 2/55 1183
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1113 0 0 0 75010 22 0 0 25 0 1 0 751504174 10108928 1069 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2468 1069 566 18 0 2450 0
vsize: 9872
[startup+760.247 s]
Raw data (loadavg): 1.02 1.04 1.00 2/55 1183
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1114 0 0 0 76010 22 0 0 25 0 1 0 751504174 10108928 1070 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2468 1070 566 18 0 2450 0
vsize: 9872
[startup+770.247 s]
Raw data (loadavg): 1.02 1.04 1.00 2/55 1183
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1114 0 0 0 77010 23 0 0 25 0 1 0 751504174 10108928 1070 4294967295 134512640 134581331 3221221792 3221220704 134527636 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2468 1070 566 18 0 2450 0
vsize: 9872
[startup+780.248 s]
Raw data (loadavg): 1.02 1.04 1.00 2/55 1183
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1114 0 0 0 78010 23 0 0 25 0 1 0 751504174 10108928 1070 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2468 1070 566 18 0 2450 0
vsize: 9872
[startup+790.248 s]
Raw data (loadavg): 1.01 1.04 1.00 2/55 1183
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1114 0 0 0 79010 23 0 0 25 0 1 0 751504174 10108928 1070 4294967295 134512640 134581331 3221221792 3221220704 134527772 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2468 1070 566 18 0 2450 0
vsize: 9872
[startup+800.248 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 1183
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1114 0 0 0 80010 24 0 0 25 0 1 0 751504174 10108928 1070 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2468 1070 566 18 0 2450 0
vsize: 9872
[startup+810.248 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 1183
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1122 0 0 0 81010 24 0 0 25 0 1 0 751504174 10108928 1078 4294967295 134512640 134581331 3221221792 3221220704 134528074 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2468 1078 566 18 0 2450 0
vsize: 9872
[startup+820.248 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 1183
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1128 0 0 0 82010 24 0 0 25 0 1 0 751504174 10108928 1084 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2468 1084 566 18 0 2450 0
vsize: 9872
[startup+830.249 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 1183
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1128 0 0 0 83010 24 0 0 25 0 1 0 751504174 10108928 1084 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2468 1084 566 18 0 2450 0
vsize: 9872
[startup+840.249 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 1183
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1129 0 0 0 84010 24 0 0 25 0 1 0 751504174 10108928 1085 4294967295 134512640 134581331 3221221792 3221220704 134527418 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2468 1085 566 18 0 2450 0
vsize: 9872
[startup+850.249 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 1183
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1137 0 0 0 85010 25 0 0 25 0 1 0 751504174 10248192 1093 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2502 1093 566 18 0 2484 0
vsize: 10008
[startup+860.249 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 1183
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1144 0 0 0 86010 25 0 0 25 0 1 0 751504174 10248192 1100 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2502 1100 566 18 0 2484 0
vsize: 10008
[startup+870.25 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 1183
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1144 0 0 0 87009 25 0 0 25 0 1 0 751504174 10248192 1100 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2502 1100 566 18 0 2484 0
vsize: 10008
[startup+880.25 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 1183
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1144 0 0 0 88009 26 0 0 25 0 1 0 751504174 10248192 1100 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2502 1100 566 18 0 2484 0
vsize: 10008
[startup+890.251 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 1183
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1144 0 0 0 89009 26 0 0 25 0 1 0 751504174 10248192 1100 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2502 1100 566 18 0 2484 0
vsize: 10008
[startup+900.25 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 1185
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1144 0 0 0 90009 26 0 0 25 0 1 0 751504174 10248192 1100 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2502 1100 566 18 0 2484 0
vsize: 10008
[startup+910.25 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 1185
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1144 0 0 0 91009 26 0 0 25 0 1 0 751504174 10248192 1100 4294967295 134512640 134581331 3221221792 3221220704 134527423 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2502 1100 566 18 0 2484 0
vsize: 10008
[startup+920.25 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 1185
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1144 0 0 0 92009 27 0 0 25 0 1 0 751504174 10248192 1100 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2502 1100 566 18 0 2484 0
vsize: 10008
[startup+930.25 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 1185
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1144 0 0 0 93009 27 0 0 25 0 1 0 751504174 10248192 1100 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2502 1100 566 18 0 2484 0
vsize: 10008
[startup+940.25 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 1185
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1144 0 0 0 94009 27 0 0 25 0 1 0 751504174 10248192 1100 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2502 1100 566 18 0 2484 0
vsize: 10008
[startup+950.25 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 1185
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1144 0 0 0 95009 27 0 0 25 0 1 0 751504174 10248192 1100 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2502 1100 566 18 0 2484 0
vsize: 10008
[startup+960.251 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 1185
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1144 0 0 0 96009 27 0 0 25 0 1 0 751504174 10248192 1100 4294967295 134512640 134581331 3221221792 3221220704 134527457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2502 1100 566 18 0 2484 0
vsize: 10008
[startup+970.251 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 1185
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1144 0 0 0 97009 28 0 0 25 0 1 0 751504174 10248192 1100 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2502 1100 566 18 0 2484 0
vsize: 10008
[startup+980.252 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 1185
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1144 0 0 0 98008 28 0 0 25 0 1 0 751504174 10248192 1100 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2502 1100 566 18 0 2484 0
vsize: 10008
[startup+990.252 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 1185
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1144 0 0 0 99008 28 0 0 25 0 1 0 751504174 10248192 1100 4294967295 134512640 134581331 3221221792 3221220704 134527772 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2502 1100 566 18 0 2484 0
vsize: 10008
[startup+1000.25 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 1185
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1144 0 0 0 100008 29 0 0 25 0 1 0 751504174 10248192 1100 4294967295 134512640 134581331 3221221792 3221220636 134528557 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2502 1100 566 18 0 2484 0
vsize: 10008
[startup+1010.25 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 1185
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1144 0 0 0 101008 29 0 0 25 0 1 0 751504174 10248192 1100 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2502 1100 566 18 0 2484 0
vsize: 10008
[startup+1020.25 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 1185
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1144 0 0 0 102008 29 0 0 25 0 1 0 751504174 10248192 1100 4294967295 134512640 134581331 3221221792 3221220704 134527423 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2502 1100 566 18 0 2484 0
vsize: 10008
[startup+1030.25 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 1185
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1144 0 0 0 103008 30 0 0 25 0 1 0 751504174 10248192 1100 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2502 1100 566 18 0 2484 0
vsize: 10008
[startup+1040.25 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 1185
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1144 0 0 0 104008 30 0 0 25 0 1 0 751504174 10248192 1100 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2502 1100 566 18 0 2484 0
vsize: 10008
[startup+1050.25 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 1185
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1144 0 0 0 105008 30 0 0 25 0 1 0 751504174 10248192 1100 4294967295 134512640 134581331 3221221792 3221220704 134527457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2502 1100 566 18 0 2484 0
vsize: 10008
[startup+1060.25 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 1185
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1180 0 0 0 106007 31 0 0 25 0 1 0 751504174 10383360 1136 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2535 1136 566 18 0 2517 0
vsize: 10140
[startup+1070.25 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 1185
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1180 0 0 0 107007 31 0 0 25 0 1 0 751504174 10383360 1136 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2535 1136 566 18 0 2517 0
vsize: 10140
[startup+1080.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1185
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1180 0 0 0 108007 31 0 0 25 0 1 0 751504174 10383360 1136 4294967295 134512640 134581331 3221221792 3221220704 134527423 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2535 1136 566 18 0 2517 0
vsize: 10140
[startup+1090.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1185
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1180 0 0 0 109008 31 0 0 25 0 1 0 751504174 10383360 1136 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2535 1136 566 18 0 2517 0
vsize: 10140
[startup+1100.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1185
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1180 0 0 0 110008 31 0 0 25 0 1 0 751504174 10383360 1136 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2535 1136 566 18 0 2517 0
vsize: 10140
[startup+1110.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1185
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1180 0 0 0 111008 31 0 0 25 0 1 0 751504174 10383360 1136 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2535 1136 566 18 0 2517 0
vsize: 10140
[startup+1120.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1185
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1180 0 0 0 112008 32 0 0 25 0 1 0 751504174 10383360 1136 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2535 1136 566 18 0 2517 0
vsize: 10140
[startup+1130.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1185
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1180 0 0 0 113008 32 0 0 25 0 1 0 751504174 10383360 1136 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2535 1136 566 18 0 2517 0
vsize: 10140
[startup+1140.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1185
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1180 0 0 0 114008 32 0 0 25 0 1 0 751504174 10383360 1136 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2535 1136 566 18 0 2517 0
vsize: 10140
[startup+1150.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1185
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1180 0 0 0 115008 32 0 0 25 0 1 0 751504174 10383360 1136 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2535 1136 566 18 0 2517 0
vsize: 10140
[startup+1160.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1185
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1197 0 0 0 116008 32 0 0 25 0 1 0 751504174 10518528 1153 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2568 1153 566 18 0 2550 0
vsize: 10272
[startup+1170.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1185
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1197 0 0 0 117007 33 0 0 25 0 1 0 751504174 10518528 1153 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2568 1153 566 18 0 2550 0
vsize: 10272
[startup+1180.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 1185
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1197 0 0 0 118008 33 0 0 25 0 1 0 751504174 10518528 1153 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2568 1153 566 18 0 2550 0
vsize: 10272
[startup+1188.87 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 1185
Raw data (stat): 1128 (Pueblo) R 1127 7876 7672 0 -1 0 1197 0 0 0 118008 33 0 0 25 0 1 0 751504174 10518528 1153 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2568 1153 566 18 0 2550 0
vsize: 0

Child status: 10
Real time (s): 1188.87
CPU time (s): 1189.02
CPU user time (s): 1188.68
CPU system time (s): 0.336948
CPU usage (%): 100.013
Max. virtual memory (Kb): 10272
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	5
#### END VERIFIER DATA ####