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 38569

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-02 14:18:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26635 boxname=wulflinc1 idbench=365 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  b2c6bc03457d15976fdaf81252d9cdae  /oldhome/oroussel/tmp/wulflinc1/normalized-10:10:4.5:0.95:100.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-10:10:4.5:0.95:100.opb
IDLAUNCH: 26635
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        917488 kB
Buffers:         15976 kB
Cached:          77468 kB
SwapCached:        668 kB
Active:          20532 kB
Inactive:        75136 kB
HighTotal:      131008 kB
HighFree:        57904 kB
LowTotal:       903652 kB
LowFree:        859584 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5820 kB
Slab:            15740 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 14:38:29 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 26635 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/wulflinc1/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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.98 0.91 2/55 4353
Raw data (stat): 4353 (runsolver) R 4352 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 793593197 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.93 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 633 0 0 0 990 8 0 0 25 0 1 0 793593197 8278016 607 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2021 607 566 18 0 2003 0
vsize: 8084
[startup+20.0002 s]
Raw data (loadavg): 0.94 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 697 0 0 0 1982 17 0 0 25 0 1 0 793593197 8536064 671 4294967295 134512640 134581267 3221224576 3221223212 1075289118 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2084 671 566 18 0 2066 0
vsize: 8336
[startup+30.001 s]
Raw data (loadavg): 0.95 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 740 0 0 0 2974 25 0 0 25 0 1 0 793593197 8667136 714 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2116 714 566 18 0 2098 0
vsize: 8464
[startup+40.0008 s]
Raw data (loadavg): 0.95 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 777 0 0 0 3968 31 0 0 25 0 1 0 793593197 8798208 751 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2148 751 566 18 0 2130 0
vsize: 8592
[startup+50.0016 s]
Raw data (loadavg): 0.96 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 792 0 0 0 4960 40 0 0 25 0 1 0 793593197 8908800 766 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2175 766 566 18 0 2157 0
vsize: 8700
[startup+60.0014 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 841 0 0 0 5953 46 0 0 25 0 1 0 793593197 9039872 815 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2207 815 566 18 0 2189 0
vsize: 8828
[startup+70.0012 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 847 0 0 0 6946 54 0 0 25 0 1 0 793593197 9039872 821 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2207 821 566 18 0 2189 0
vsize: 8828
[startup+80.002 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 889 0 0 0 7938 61 0 0 25 0 1 0 793593197 9293824 863 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2269 863 566 18 0 2251 0
vsize: 9076
[startup+90.0017 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 902 0 0 0 8932 68 0 0 25 0 1 0 793593197 9293824 876 4294967295 134512640 134581267 3221224576 3221223488 134531373 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2269 876 566 18 0 2251 0
vsize: 9076
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 912 0 0 0 9926 74 0 0 25 0 1 0 793593197 9293824 886 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2269 886 566 18 0 2251 0
vsize: 9076
[startup+110.002 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 919 0 0 0 10920 80 0 0 25 0 1 0 793593197 9424896 893 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2301 893 566 18 0 2283 0
vsize: 9204
[startup+120.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 963 0 0 0 11915 86 0 0 25 0 1 0 793593197 9555968 937 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2333 937 566 18 0 2315 0
vsize: 9332
[startup+130.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 976 0 0 0 12907 93 0 0 25 0 1 0 793593197 9555968 950 4294967295 134512640 134581267 3221224576 3221223440 134528352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2333 950 566 18 0 2315 0
vsize: 9332
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 982 0 0 0 13902 99 0 0 25 0 1 0 793593197 9682944 956 4294967295 134512640 134581267 3221224576 3221223680 134562536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2364 956 566 18 0 2346 0
vsize: 9456
[startup+150.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 987 0 0 0 14896 105 0 0 25 0 1 0 793593197 9682944 961 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2364 961 566 18 0 2346 0
vsize: 9456
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 996 0 0 0 15890 112 0 0 25 0 1 0 793593197 9682944 970 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2364 970 566 18 0 2346 0
vsize: 9456
[startup+170.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1000 0 0 0 16884 117 0 0 25 0 1 0 793593197 9682944 974 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2364 974 566 18 0 2346 0
vsize: 9456
[startup+180.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1019 0 0 0 17877 125 0 0 25 0 1 0 793593197 9814016 993 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2396 993 566 18 0 2378 0
vsize: 9584
[startup+190.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1030 0 0 0 18870 132 0 0 25 0 1 0 793593197 9814016 1004 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2396 1004 566 18 0 2378 0
vsize: 9584
[startup+200.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1030 0 0 0 19862 140 0 0 25 0 1 0 793593197 9814016 1004 4294967295 134512640 134581267 3221224576 3221223520 134559326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2396 1004 566 18 0 2378 0
vsize: 9584
[startup+210.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1037 0 0 0 20855 147 0 0 25 0 1 0 793593197 9814016 1011 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2396 1011 566 18 0 2378 0
vsize: 9584
[startup+220.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1047 0 0 0 21848 154 0 0 25 0 1 0 793593197 9945088 1021 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2428 1021 566 18 0 2410 0
vsize: 9712
[startup+230.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1047 0 0 0 22841 161 0 0 25 0 1 0 793593197 9945088 1021 4294967295 134512640 134581267 3221224576 3221223472 134517912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2428 1021 566 18 0 2410 0
vsize: 9712
[startup+240.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1049 0 0 0 23834 168 0 0 25 0 1 0 793593197 9945088 1023 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2428 1023 566 18 0 2410 0
vsize: 9712
[startup+250.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1049 0 0 0 24825 177 0 0 25 0 1 0 793593197 9945088 1023 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2428 1023 566 18 0 2410 0
vsize: 9712
[startup+260.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1049 0 0 0 25818 185 0 0 25 0 1 0 793593197 9945088 1023 4294967295 134512640 134581267 3221224576 3221223520 134558897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2428 1023 566 18 0 2410 0
vsize: 9712
[startup+270.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1107 0 0 0 26813 190 0 0 25 0 1 0 793593197 10207232 1081 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2492 1081 566 18 0 2474 0
vsize: 9968
[startup+280.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1115 0 0 0 27807 196 0 0 25 0 1 0 793593197 10207232 1089 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2492 1089 566 18 0 2474 0
vsize: 9968
[startup+290.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1120 0 0 0 28801 202 0 0 25 0 1 0 793593197 10207232 1094 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2492 1094 566 18 0 2474 0
vsize: 9968
[startup+300.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1120 0 0 0 29794 209 0 0 25 0 1 0 793593197 10207232 1094 4294967295 134512640 134581267 3221224576 3221223516 134558503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2492 1094 566 18 0 2474 0
vsize: 9968
[startup+310.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1125 0 0 0 30790 214 0 0 25 0 1 0 793593197 10207232 1099 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2492 1099 566 18 0 2474 0
vsize: 9968
[startup+320.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1131 0 0 0 31785 219 0 0 25 0 1 0 793593197 10207232 1105 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2492 1105 566 18 0 2474 0
vsize: 9968
[startup+330.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1131 0 0 0 32778 226 0 0 25 0 1 0 793593197 10207232 1105 4294967295 134512640 134581267 3221224576 3221223568 134561087 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2492 1105 566 18 0 2474 0
vsize: 9968
[startup+340.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1133 0 0 0 33773 231 0 0 25 0 1 0 793593197 10207232 1107 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2492 1107 566 18 0 2474 0
vsize: 9968
[startup+350.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1167 0 0 0 34767 238 0 0 25 0 1 0 793593197 10338304 1141 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2524 1141 566 18 0 2506 0
vsize: 10096
[startup+360.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1167 0 0 0 35761 244 0 0 25 0 1 0 793593197 10338304 1141 4294967295 134512640 134581267 3221224576 3221223504 134519939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2524 1141 566 18 0 2506 0
vsize: 10096
[startup+370.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1167 0 0 0 36754 250 0 0 25 0 1 0 793593197 10338304 1141 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2524 1141 566 18 0 2506 0
vsize: 10096
[startup+380.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1167 0 0 0 37747 258 0 0 25 0 1 0 793593197 10338304 1141 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2524 1141 566 18 0 2506 0
vsize: 10096
[startup+390.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1167 0 0 0 38741 264 0 0 25 0 1 0 793593197 10338304 1141 4294967295 134512640 134581267 3221224576 3221223592 134519531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2524 1141 566 18 0 2506 0
vsize: 10096
[startup+400.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1167 0 0 0 39735 270 0 0 25 0 1 0 793593197 10338304 1141 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2524 1141 566 18 0 2506 0
vsize: 10096
[startup+410.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1167 0 0 0 40729 276 0 0 25 0 1 0 793593197 10338304 1141 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2524 1141 566 18 0 2506 0
vsize: 10096
[startup+420.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1167 0 0 0 41724 282 0 0 25 0 1 0 793593197 10338304 1141 4294967295 134512640 134581267 3221224576 3221223472 134517912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2524 1141 566 18 0 2506 0
vsize: 10096
[startup+430.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1167 0 0 0 42717 289 0 0 25 0 1 0 793593197 10338304 1141 4294967295 134512640 134581267 3221224576 3221223540 134519780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2524 1141 566 18 0 2506 0
vsize: 10096
[startup+440.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1167 0 0 0 43711 295 0 0 25 0 1 0 793593197 10338304 1141 4294967295 134512640 134581267 3221224576 3221223424 134528367 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2524 1141 566 18 0 2506 0
vsize: 10096
[startup+450.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1167 0 0 0 44704 302 0 0 25 0 1 0 793593197 10338304 1141 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2524 1141 566 18 0 2506 0
vsize: 10096
[startup+460.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1167 0 0 0 45699 308 0 0 25 0 1 0 793593197 10338304 1141 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2524 1141 566 18 0 2506 0
vsize: 10096
[startup+470.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1167 0 0 0 46695 312 0 0 25 0 1 0 793593197 10338304 1141 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2524 1141 566 18 0 2506 0
vsize: 10096
[startup+480.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1167 0 0 0 47688 318 0 0 25 0 1 0 793593197 10338304 1141 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2524 1141 566 18 0 2506 0
vsize: 10096
[startup+490.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1167 0 0 0 48682 325 0 0 25 0 1 0 793593197 10338304 1141 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2524 1141 566 18 0 2506 0
vsize: 10096
[startup+500.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1167 0 0 0 49674 333 0 0 25 0 1 0 793593197 10338304 1141 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2524 1141 566 18 0 2506 0
vsize: 10096
[startup+510.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1167 0 0 0 50669 338 0 0 25 0 1 0 793593197 10338304 1141 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2524 1141 566 18 0 2506 0
vsize: 10096
[startup+520.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1190 0 0 0 51664 344 0 0 25 0 1 0 793593197 10469376 1164 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2556 1164 566 18 0 2538 0
vsize: 10224
[startup+530.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1201 0 0 0 52656 351 0 0 25 0 1 0 793593197 10596352 1175 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2587 1175 566 18 0 2569 0
vsize: 10348
[startup+540.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1209 0 0 0 53649 359 0 0 25 0 1 0 793593197 10596352 1183 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2587 1183 566 18 0 2569 0
vsize: 10348
[startup+550.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1214 0 0 0 54643 365 0 0 25 0 1 0 793593197 10596352 1188 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2587 1188 566 18 0 2569 0
vsize: 10348
[startup+560.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1215 0 0 0 55636 372 0 0 25 0 1 0 793593197 10596352 1189 4294967295 134512640 134581267 3221224576 3221223520 134558803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2587 1189 566 18 0 2569 0
vsize: 10348
[startup+570.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1222 0 0 0 56628 380 0 0 25 0 1 0 793593197 10596352 1196 4294967295 134512640 134581267 3221224576 3221223520 134559432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2587 1196 566 18 0 2569 0
vsize: 10348
[startup+580.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1222 0 0 0 57622 386 0 0 25 0 1 0 793593197 10596352 1196 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2587 1196 566 18 0 2569 0
vsize: 10348
[startup+590.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1225 0 0 0 58615 394 0 0 25 0 1 0 793593197 10596352 1199 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2587 1199 566 18 0 2569 0
vsize: 10348
[startup+600.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1229 0 0 0 59607 402 0 0 25 0 1 0 793593197 10596352 1203 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2587 1203 566 18 0 2569 0
vsize: 10348
[startup+610.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1229 0 0 0 60601 408 0 0 25 0 1 0 793593197 10596352 1203 4294967295 134512640 134581267 3221224576 3221223440 134528352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2587 1203 566 18 0 2569 0
vsize: 10348
[startup+620.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1229 0 0 0 61595 413 0 0 25 0 1 0 793593197 10596352 1203 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2587 1203 566 18 0 2569 0
vsize: 10348
[startup+630 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1239 0 0 0 62588 421 0 0 25 0 1 0 793593197 10727424 1213 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2619 1213 566 18 0 2601 0
vsize: 10476
[startup+640 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1239 0 0 0 63583 427 0 0 25 0 1 0 793593197 10727424 1213 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2619 1213 566 18 0 2601 0
vsize: 10476
[startup+650.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1239 0 0 0 64575 434 0 0 25 0 1 0 793593197 10674176 1213 4294967295 134512640 134581267 3221224576 3221223520 134558887 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2606 1213 566 18 0 2588 0
vsize: 10424
[startup+660.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1239 0 0 0 65569 440 0 0 25 0 1 0 793593197 10674176 1213 4294967295 134512640 134581267 3221224576 3221223440 134528222 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2606 1213 566 18 0 2588 0
vsize: 10424
[startup+670 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1239 0 0 0 66563 447 0 0 25 0 1 0 793593197 10674176 1213 4294967295 134512640 134581267 3221224576 3221223488 134527737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2606 1213 566 18 0 2588 0
vsize: 10424
[startup+680.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1239 0 0 0 67556 454 0 0 25 0 1 0 793593197 10674176 1213 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2606 1213 566 18 0 2588 0
vsize: 10424
[startup+690.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1239 0 0 0 68551 459 0 0 25 0 1 0 793593197 10674176 1213 4294967295 134512640 134581267 3221224576 3221223440 134528346 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2606 1213 566 18 0 2588 0
vsize: 10424
[startup+700.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1239 0 0 0 69545 465 0 0 25 0 1 0 793593197 10674176 1213 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2606 1213 566 18 0 2588 0
vsize: 10424
[startup+710.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1247 0 0 0 70541 470 0 0 25 0 1 0 793593197 10674176 1221 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2606 1221 566 18 0 2588 0
vsize: 10424
[startup+720.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1247 0 0 0 71535 475 0 0 25 0 1 0 793593197 10674176 1221 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2606 1221 566 18 0 2588 0
vsize: 10424
[startup+730.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1248 0 0 0 72530 481 0 0 25 0 1 0 793593197 10674176 1222 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2606 1222 566 18 0 2588 0
vsize: 10424
[startup+740.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1313 0 0 0 73525 486 0 0 25 0 1 0 793593197 11067392 1287 4294967295 134512640 134581267 3221224576 3221223440 134528299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2702 1287 566 18 0 2684 0
vsize: 10808
[startup+750.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1316 0 0 0 74519 493 0 0 25 0 1 0 793593197 11067392 1290 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2702 1290 566 18 0 2684 0
vsize: 10808
[startup+760.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1323 0 0 0 75513 499 0 0 25 0 1 0 793593197 11067392 1297 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2702 1297 566 18 0 2684 0
vsize: 10808
[startup+770.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1331 0 0 0 76507 505 0 0 25 0 1 0 793593197 11067392 1305 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2702 1305 566 18 0 2684 0
vsize: 10808
[startup+780.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1331 0 0 0 77500 512 0 0 25 0 1 0 793593197 11067392 1305 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2702 1305 566 18 0 2684 0
vsize: 10808
[startup+790.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1331 0 0 0 78494 518 0 0 25 0 1 0 793593197 11067392 1305 4294967295 134512640 134581267 3221224576 3221223680 134562422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2702 1305 566 18 0 2684 0
vsize: 10808
[startup+800.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1331 0 0 0 79488 524 0 0 25 0 1 0 793593197 11067392 1305 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2702 1305 566 18 0 2684 0
vsize: 10808
[startup+810.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1331 0 0 0 80484 528 0 0 25 0 1 0 793593197 11067392 1305 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2702 1305 566 18 0 2684 0
vsize: 10808
[startup+820.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1336 0 0 0 81478 534 0 0 25 0 1 0 793593197 11067392 1310 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2702 1310 566 18 0 2684 0
vsize: 10808
[startup+830.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1350 0 0 0 82473 540 0 0 25 0 1 0 793593197 11194368 1324 4294967295 134512640 134581267 3221224576 3221223544 134527292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2733 1324 566 18 0 2715 0
vsize: 10932
[startup+840.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1350 0 0 0 83468 544 0 0 25 0 1 0 793593197 11173888 1324 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2728 1324 566 18 0 2710 0
vsize: 10912
[startup+850.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1350 0 0 0 84462 551 0 0 25 0 1 0 793593197 11161600 1324 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2725 1324 566 18 0 2707 0
vsize: 10900
[startup+860.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1350 0 0 0 85455 558 0 0 25 0 1 0 793593197 11161600 1324 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2725 1324 566 18 0 2707 0
vsize: 10900
[startup+870.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1350 0 0 0 86449 564 0 0 25 0 1 0 793593197 11161600 1324 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2725 1324 566 18 0 2707 0
vsize: 10900
[startup+880.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1350 0 0 0 87444 569 0 0 25 0 1 0 793593197 11161600 1324 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2725 1324 566 18 0 2707 0
vsize: 10900
[startup+890.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1350 0 0 0 88439 575 0 0 25 0 1 0 793593197 11161600 1324 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2725 1324 566 18 0 2707 0
vsize: 10900
[startup+900.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1350 0 0 0 89434 580 0 0 25 0 1 0 793593197 11161600 1324 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2725 1324 566 18 0 2707 0
vsize: 10900
[startup+910.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1350 0 0 0 90428 586 0 0 25 0 1 0 793593197 11161600 1324 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2725 1324 566 18 0 2707 0
vsize: 10900
[startup+920.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1350 0 0 0 91422 592 0 0 25 0 1 0 793593197 11161600 1324 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2725 1324 566 18 0 2707 0
vsize: 10900
[startup+930.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1350 0 0 0 92417 598 0 0 25 0 1 0 793593197 11161600 1324 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2725 1324 566 18 0 2707 0
vsize: 10900
[startup+940.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1350 0 0 0 93412 603 0 0 25 0 1 0 793593197 11161600 1324 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2725 1324 566 18 0 2707 0
vsize: 10900
[startup+950.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1352 0 0 0 94405 610 0 0 25 0 1 0 793593197 11161600 1326 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2725 1326 566 18 0 2707 0
vsize: 10900
[startup+960.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1352 0 0 0 95399 616 0 0 25 0 1 0 793593197 11161600 1326 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2725 1326 566 18 0 2707 0
vsize: 10900
[startup+970.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1357 0 0 0 96394 621 0 0 25 0 1 0 793593197 11161600 1331 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2725 1331 566 18 0 2707 0
vsize: 10900
[startup+980.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1364 0 0 0 97387 628 0 0 25 0 1 0 793593197 11161600 1338 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2725 1338 566 18 0 2707 0
vsize: 10900
[startup+990.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1364 0 0 0 98382 634 0 0 25 0 1 0 793593197 11161600 1338 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2725 1338 566 18 0 2707 0
vsize: 10900
[startup+1000 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1364 0 0 0 99376 640 0 0 25 0 1 0 793593197 11161600 1338 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2725 1338 566 18 0 2707 0
vsize: 10900
[startup+1010 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1364 0 0 0 100369 647 0 0 25 0 1 0 793593197 11161600 1338 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2725 1338 566 18 0 2707 0
vsize: 10900
[startup+1020 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1364 0 0 0 101363 653 0 0 25 0 1 0 793593197 11161600 1338 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2725 1338 566 18 0 2707 0
vsize: 10900
[startup+1030 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1366 0 0 0 102358 659 0 0 25 0 1 0 793593197 11284480 1340 4294967295 134512640 134581267 3221224576 3221223472 134517912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2755 1340 566 18 0 2737 0
vsize: 11020
[startup+1040 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1371 0 0 0 103353 663 0 0 25 0 1 0 793593197 11284480 1345 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2755 1345 566 18 0 2737 0
vsize: 11020
[startup+1050 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1371 0 0 0 104347 670 0 0 25 0 1 0 793593197 11284480 1345 4294967295 134512640 134581267 3221224576 3221223440 134528318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2755 1345 566 18 0 2737 0
vsize: 11020
[startup+1060 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1400 0 0 0 105339 677 0 0 25 0 1 0 793593197 11415552 1374 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2787 1374 566 18 0 2769 0
vsize: 11148
[startup+1070 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1414 0 0 0 106333 683 0 0 25 0 1 0 793593197 11415552 1388 4294967295 134512640 134581267 3221224576 3221223552 134560680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2787 1388 566 18 0 2769 0
vsize: 11148
[startup+1080 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1421 0 0 0 107327 690 0 0 25 0 1 0 793593197 11415552 1395 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2787 1395 566 18 0 2769 0
vsize: 11148
[startup+1090 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1421 0 0 0 108320 697 0 0 25 0 1 0 793593197 11415552 1395 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2787 1395 566 18 0 2769 0
vsize: 11148
[startup+1100 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1421 0 0 0 109314 703 0 0 25 0 1 0 793593197 11415552 1395 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2787 1395 566 18 0 2769 0
vsize: 11148
[startup+1110 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1429 0 0 0 110308 709 0 0 25 0 1 0 793593197 11546624 1403 4294967295 134512640 134581267 3221224576 3221223508 134558724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2819 1403 566 18 0 2801 0
vsize: 11276
[startup+1120 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1434 0 0 0 111303 715 0 0 25 0 1 0 793593197 11546624 1408 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2819 1408 566 18 0 2801 0
vsize: 11276
[startup+1130 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1440 0 0 0 112297 721 0 0 25 0 1 0 793593197 11546624 1414 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2819 1414 566 18 0 2801 0
vsize: 11276
[startup+1140 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1440 0 0 0 113291 727 0 0 25 0 1 0 793593197 11546624 1414 4294967295 134512640 134581267 3221224576 3221223564 134561046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2819 1414 566 18 0 2801 0
vsize: 11276
[startup+1150 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1440 0 0 0 114286 732 0 0 25 0 1 0 793593197 11546624 1414 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2819 1414 566 18 0 2801 0
vsize: 11276
[startup+1160 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1449 0 0 0 115281 737 0 0 25 0 1 0 793593197 11546624 1423 4294967295 134512640 134581267 3221224576 3221223520 134558756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2819 1423 566 18 0 2801 0
vsize: 11276
[startup+1170 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1449 0 0 0 116274 744 0 0 25 0 1 0 793593197 11546624 1423 4294967295 134512640 134581267 3221224576 3221223640 1075289323 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2819 1423 566 18 0 2801 0
vsize: 11276
[startup+1180 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1449 0 0 0 117269 750 0 0 25 0 1 0 793593197 11546624 1423 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2819 1423 566 18 0 2801 0
vsize: 11276
[startup+1188.82 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 4353
Raw data (stat): 4353 (Pueblo-v2) R 4352 8378 8377 0 -1 0 1449 0 0 0 117269 750 0 0 25 0 1 0 793593197 11546624 1423 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2819 1423 566 18 0 2801 0
vsize: 0

Child status: 10
Real time (s): 1188.82
CPU time (s): 1189.02
CPU user time (s): 1181.46
CPU system time (s): 7.55385
CPU usage (%): 100.016
Max. virtual memory (Kb): 11276
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	3
#### END VERIFIER DATA ####