PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:98.opb
MD5SUM	ac510382bae6003fe0373ad32fd0064f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5
Optimality of the best value was proved	NO
Number of terms in the objective function	411
Biggest coefficient in the objective function	268
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	1129
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	268
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	1129
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03584
Number of variables	411
Total number of constraints	887
Number of constraints which are clauses	387
Number of constraints which are cardinality constraints (but not clauses)	500
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	16
Trace number 38572

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        913892 kB
Buffers:         18272 kB
Cached:          80708 kB
SwapCached:        232 kB
Active:          25916 kB
Inactive:        75684 kB
HighTotal:      131008 kB
HighFree:        46984 kB
LowTotal:       903652 kB
LowFree:        866908 kB
SwapTotal:     2097136 kB
SwapFree:      2096476 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6336 kB
Slab:            13392 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 14:46:22 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 26638 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/wulflinc3/normalized-10:10:4.5:0.95:98.opb
c #variables read: 411 - #constraints read: 888
s SATISFIABLE
v v294 v230 -v205 -v190 v138 v293 -v210 -v191 v142 v358 -v301 -v278 v234 -v209 -v195 v295 v232 -v194 v357 v296 -v212 -v192 -v118 -v361 -v297 v233 -v213 -v193 v179 v82 -v237 -v216 v178 v163 -v117 v81 -v362 -v214 -v121 v83 -v215 v180 v162 v84 v183 v167 -v122 v85 -v304 v274 v229 -v189 v137 -v305 -v204 -v188 v141 -v384 -v300 v277 v235 -v206 -v199 -v211 v359 -v312 -v298 -v238 -v208 v36 -v363 v316 -v236 -v217 -v174 -v173 -v119 -v123 -v365 v181 v164 v88 -v366 v182 v166 v89 -v380 -v302 v273 v227 -v202 v139 -v353 v231 -v203 v143 -v383 -v352 v279 v228 -v198 -v32 -v239 -v207 -v113 v360 -v311 -v299 -v225 -v196 -v145 -v112 v35 -v364 v315 -v221 -v158 -v146 -v368 -v282 -v220 -v157 -v120 v87 -v367 -v175 -v124 v86 -v341 -v176 v165 -v125 -v70 v177 v168 -v126 -v74 -v379 -v303 v275 -v200 v140 v226 v144 -v396 -v385 v280 v247 -v222 v148 -v31 -v400 -v354 v243 -v224 v147 -v355 v313 -v283 v242 -v197 v37 -v7 v356 v317 -v281 -v114 -v11 -v388 -v372 -v337 -v218 -v115 v100 v159 -v116 -v340 v319 -v219 -v186 v160 -v130 -v69 -v40 v320 -v187 v161 -v73 -v381 v271 -v244 -v201 v136 v27 -v307 v276 v246 -v223 v135 -v395 -v386 -v306 v272 v152 -v33 -v399 -v284 -v389 -v375 v314 v240 -v96 v38 -v6 -v387 -v376 v318 -v10 -v371 -v336 v322 v241 -v185 -v133 v99 -v41 v321 -v184 -v134 -v39 -v369 -v342 -v254 v171 -v129 -v71 -v258 v172 -v75 -v378 -v264 -v245 v155 -v382 v270 v156 v26 -v397 -v374 v292 -v151 v28 -v401 v390 -v373 -v308 v288 -v34 -v332 -v309 v287 -v149 -v132 -v95 v30 -v8 v310 -v131 -v65 v42 -v12 -v403 -v338 v326 v170 v101 -v64 -v404 v169 -v370 -v343 -v253 -v127 -v72 -v60 -v14 -v257 -v76 -v15 -v289 -v263 v153 -v377 v291 -v2 -v398 -v91 -v1 -v402 -v394 v29 -v406 -v393 -v329 v285 -v150 v97 v50 -v9 -v405 -v331 -v330 v46 -v13 -v333 -v325 -v286 v102 -v56 v45 -v17 v339 -v66 -v16 v335 -v323 -v255 -v128 v103 -v67 -v59 -v344 -v259 v104 -v68 -v290 -v265 -v154 -v328 v47 -v327 -v90 v49 -v3 -v410 -v391 v267 v92 -v4 v249 v98 -v5 -v392 v248 v94 -v55 v43 -v21 v334 v105 v351 -v324 v256 -v79 -v61 -v44 v347 -v260 -v80 v48 v268 v266 -v409 -v53 -v24 v93 -v25 -v407 v348 v111 -v78 -v57 -v20 v350 v250 v108 -v77 v251 v106 -v62 -v18 v345 v252 v269 -v23 -v22 v110 v349 v109 -v52 -v408 -v51 -v58 v262 v107 -v54 -v19 v346 v261 -v63 one 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Raw data (loadavg): 0.92 0.98 0.97 2/54 10713
Raw data (stat): 10713 (runsolver) R 10711 20224 20223 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 850489136 884736 93 4294967295 134512640 135332820 3221224464 3221219632 134692420 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+10.001 s]
Raw data (loadavg): 0.93 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 613 0 0 0 990 8 0 0 25 0 1 0 850489136 8146944 587 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1989 587 566 18 0 1971 0
vsize: 7956
[startup+20.0019 s]
Raw data (loadavg): 0.94 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 671 0 0 0 1983 15 0 0 25 0 1 0 850489136 8409088 645 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2053 645 566 18 0 2035 0
vsize: 8212
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 701 0 0 0 2977 21 0 0 25 0 1 0 850489136 8536064 675 4294967295 134512640 134581267 3221224576 3221223488 134527645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2084 675 566 18 0 2066 0
vsize: 8336
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 746 0 0 0 3969 29 0 0 25 0 1 0 850489136 8667136 720 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2116 720 566 18 0 2098 0
vsize: 8464
[startup+50.002 s]
Raw data (loadavg): 0.96 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 775 0 0 0 4963 35 0 0 25 0 1 0 850489136 8798208 749 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2148 749 566 18 0 2130 0
vsize: 8592
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 791 0 0 0 5956 43 0 0 25 0 1 0 850489136 8925184 765 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2179 765 566 18 0 2161 0
vsize: 8716
[startup+70.003 s]
Raw data (loadavg): 0.97 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 799 0 0 0 6951 48 0 0 25 0 1 0 850489136 8921088 773 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2178 773 566 18 0 2160 0
vsize: 8712
[startup+80.0025 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 863 0 0 0 7945 54 0 0 25 0 1 0 850489136 9183232 837 4294967295 134512640 134581267 3221224576 3221223432 1075285926 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2242 837 566 18 0 2224 0
vsize: 8968
[startup+90.003 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 867 0 0 0 8938 62 0 0 25 0 1 0 850489136 9183232 841 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2242 841 566 18 0 2224 0
vsize: 8968
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 867 0 0 0 9931 69 0 0 25 0 1 0 850489136 9183232 841 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2242 841 566 18 0 2224 0
vsize: 8968
[startup+110.003 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 887 0 0 0 10923 77 0 0 25 0 1 0 850489136 9314304 861 4294967295 134512640 134581267 3221224576 3221223440 134526992 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2274 861 566 18 0 2256 0
vsize: 9096
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 910 0 0 0 11916 84 0 0 25 0 1 0 850489136 9314304 884 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2274 884 566 18 0 2256 0
vsize: 9096
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 910 0 0 0 12910 90 0 0 25 0 1 0 850489136 9314304 884 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2274 884 566 18 0 2256 0
vsize: 9096
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 922 0 0 0 13904 97 0 0 25 0 1 0 850489136 9441280 896 4294967295 134512640 134581267 3221224576 3221223504 134519788 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2305 896 566 18 0 2287 0
vsize: 9220
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 927 0 0 0 14898 102 0 0 25 0 1 0 850489136 9441280 901 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2305 901 566 18 0 2287 0
vsize: 9220
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 931 0 0 0 15892 109 0 0 25 0 1 0 850489136 9441280 905 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2305 905 566 18 0 2287 0
vsize: 9220
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 981 0 0 0 16885 116 0 0 25 0 1 0 850489136 9703424 955 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2369 955 566 18 0 2351 0
vsize: 9476
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 988 0 0 0 17879 122 0 0 25 0 1 0 850489136 9703424 962 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2369 962 566 18 0 2351 0
vsize: 9476
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 997 0 0 0 18873 128 0 0 25 0 1 0 850489136 9703424 971 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2369 971 566 18 0 2351 0
vsize: 9476
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1006 0 0 0 19867 135 0 0 25 0 1 0 850489136 9703424 980 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2369 980 566 18 0 2351 0
vsize: 9476
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1013 0 0 0 20860 142 0 0 25 0 1 0 850489136 9801728 987 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2393 987 566 18 0 2375 0
vsize: 9572
[startup+220.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1013 0 0 0 21855 147 0 0 25 0 1 0 850489136 9801728 987 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2393 987 566 18 0 2375 0
vsize: 9572
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1013 0 0 0 22847 155 0 0 25 0 1 0 850489136 9801728 987 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2393 987 566 18 0 2375 0
vsize: 9572
[startup+240.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1013 0 0 0 23841 161 0 0 25 0 1 0 850489136 9801728 987 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2393 987 566 18 0 2375 0
vsize: 9572
[startup+250.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1031 0 0 0 24835 167 0 0 25 0 1 0 850489136 9801728 1005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2393 1005 566 18 0 2375 0
vsize: 9572
[startup+260.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1044 0 0 0 25830 172 0 0 25 0 1 0 850489136 9932800 1018 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2425 1018 566 18 0 2407 0
vsize: 9700
[startup+270.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1057 0 0 0 26824 178 0 0 25 0 1 0 850489136 9932800 1031 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2425 1031 566 18 0 2407 0
vsize: 9700
[startup+280.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1057 0 0 0 27817 185 0 0 25 0 1 0 850489136 9932800 1031 4294967295 134512640 134581267 3221224576 3221223568 134561067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2425 1031 566 18 0 2407 0
vsize: 9700
[startup+290.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1061 0 0 0 28811 193 0 0 25 0 1 0 850489136 9932800 1035 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2425 1035 566 18 0 2407 0
vsize: 9700
[startup+300.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1061 0 0 0 29805 198 0 0 25 0 1 0 850489136 9932800 1035 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2425 1035 566 18 0 2407 0
vsize: 9700
[startup+310.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1063 0 0 0 30798 206 0 0 25 0 1 0 850489136 9932800 1037 4294967295 134512640 134581267 3221224576 3221223548 134519895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2425 1037 566 18 0 2407 0
vsize: 9700
[startup+320.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1065 0 0 0 31793 211 0 0 25 0 1 0 850489136 9932800 1039 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2425 1039 566 18 0 2407 0
vsize: 9700
[startup+330.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1065 0 0 0 32788 216 0 0 25 0 1 0 850489136 9932800 1039 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2425 1039 566 18 0 2407 0
vsize: 9700
[startup+340.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1065 0 0 0 33781 223 0 0 25 0 1 0 850489136 9932800 1039 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2425 1039 566 18 0 2407 0
vsize: 9700
[startup+350.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1067 0 0 0 34776 228 0 0 25 0 1 0 850489136 10063872 1041 4294967295 134512640 134581267 3221224576 3221223472 134517912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2457 1041 566 18 0 2439 0
vsize: 9828
[startup+360.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1067 0 0 0 35768 236 0 0 25 0 1 0 850489136 10022912 1041 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2447 1041 566 18 0 2429 0
vsize: 9788
[startup+370.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1067 0 0 0 36763 242 0 0 25 0 1 0 850489136 10022912 1041 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2447 1041 566 18 0 2429 0
vsize: 9788
[startup+380.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1111 0 0 0 37756 249 0 0 25 0 1 0 850489136 10153984 1085 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2479 1085 566 18 0 2461 0
vsize: 9916
[startup+390.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1123 0 0 0 38749 256 0 0 25 0 1 0 850489136 10276864 1097 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2509 1097 566 18 0 2491 0
vsize: 10036
[startup+400.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1131 0 0 0 39743 262 0 0 25 0 1 0 850489136 10276864 1105 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2509 1105 566 18 0 2491 0
vsize: 10036
[startup+410.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1131 0 0 0 40735 270 0 0 25 0 1 0 850489136 10276864 1105 4294967295 134512640 134581267 3221224576 3221223568 134561076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2509 1105 566 18 0 2491 0
vsize: 10036
[startup+420.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1134 0 0 0 41728 278 0 0 25 0 1 0 850489136 10276864 1108 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2509 1108 566 18 0 2491 0
vsize: 10036
[startup+430.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1138 0 0 0 42720 286 0 0 25 0 1 0 850489136 10276864 1112 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2509 1112 566 18 0 2491 0
vsize: 10036
[startup+440.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1138 0 0 0 43712 294 0 0 25 0 1 0 850489136 10276864 1112 4294967295 134512640 134581267 3221224576 3221223488 134527649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2509 1112 566 18 0 2491 0
vsize: 10036
[startup+450.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1141 0 0 0 44706 300 0 0 25 0 1 0 850489136 10276864 1115 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2509 1115 566 18 0 2491 0
vsize: 10036
[startup+460.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1141 0 0 0 45699 307 0 0 25 0 1 0 850489136 10276864 1115 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2509 1115 566 18 0 2491 0
vsize: 10036
[startup+470.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1141 0 0 0 46693 314 0 0 25 0 1 0 850489136 10276864 1115 4294967295 134512640 134581267 3221224576 3221223568 134561024 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2509 1115 566 18 0 2491 0
vsize: 10036
[startup+480.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1154 0 0 0 47686 320 0 0 25 0 1 0 850489136 10399744 1128 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2539 1128 566 18 0 2521 0
vsize: 10156
[startup+490.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1154 0 0 0 48677 330 0 0 25 0 1 0 850489136 10366976 1128 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2531 1128 566 18 0 2513 0
vsize: 10124
[startup+500.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1154 0 0 0 49669 339 0 0 25 0 1 0 850489136 10366976 1128 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2531 1128 566 18 0 2513 0
vsize: 10124
[startup+510.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1154 0 0 0 50661 347 0 0 25 0 1 0 850489136 10366976 1128 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2531 1128 566 18 0 2513 0
vsize: 10124
[startup+520.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1154 0 0 0 51654 354 0 0 25 0 1 0 850489136 10366976 1128 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2531 1128 566 18 0 2513 0
vsize: 10124
[startup+530.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1155 0 0 0 52647 361 0 0 25 0 1 0 850489136 10366976 1129 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2531 1129 566 18 0 2513 0
vsize: 10124
[startup+540.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1155 0 0 0 53641 367 0 0 25 0 1 0 850489136 10366976 1129 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2531 1129 566 18 0 2513 0
vsize: 10124
[startup+550.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1160 0 0 0 54633 375 0 0 25 0 1 0 850489136 10366976 1134 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2531 1134 566 18 0 2513 0
vsize: 10124
[startup+560.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1160 0 0 0 55626 383 0 0 25 0 1 0 850489136 10366976 1134 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2531 1134 566 18 0 2513 0
vsize: 10124
[startup+570.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1160 0 0 0 56618 390 0 0 25 0 1 0 850489136 10366976 1134 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2531 1134 566 18 0 2513 0
vsize: 10124
[startup+580.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1219 0 0 0 57612 397 0 0 25 0 1 0 850489136 10629120 1193 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2595 1193 566 18 0 2577 0
vsize: 10380
[startup+590.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1220 0 0 0 58607 402 0 0 25 0 1 0 850489136 10629120 1194 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2595 1194 566 18 0 2577 0
vsize: 10380
[startup+600.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1229 0 0 0 59602 408 0 0 25 0 1 0 850489136 10629120 1203 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2595 1203 566 18 0 2577 0
vsize: 10380
[startup+610.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1231 0 0 0 60595 414 0 0 25 0 1 0 850489136 10629120 1205 4294967295 134512640 134581267 3221224576 3221223616 134561659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2595 1205 566 18 0 2577 0
vsize: 10380
[startup+620.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1231 0 0 0 61590 420 0 0 25 0 1 0 850489136 10629120 1205 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2595 1205 566 18 0 2577 0
vsize: 10380
[startup+630.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1231 0 0 0 62586 424 0 0 25 0 1 0 850489136 10629120 1205 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2595 1205 566 18 0 2577 0
vsize: 10380
[startup+640.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1231 0 0 0 63580 430 0 0 25 0 1 0 850489136 10629120 1205 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2595 1205 566 18 0 2577 0
vsize: 10380
[startup+650.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1231 0 0 0 64575 435 0 0 25 0 1 0 850489136 10629120 1205 4294967295 134512640 134581267 3221224576 3221223472 134517830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2595 1205 566 18 0 2577 0
vsize: 10380
[startup+660.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1238 0 0 0 65569 441 0 0 25 0 1 0 850489136 10764288 1212 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2628 1212 566 18 0 2610 0
vsize: 10512
[startup+670.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1242 0 0 0 66565 445 0 0 25 0 1 0 850489136 10764288 1216 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2628 1216 566 18 0 2610 0
vsize: 10512
[startup+680.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1242 0 0 0 67558 453 0 0 25 0 1 0 850489136 10764288 1216 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2628 1216 566 18 0 2610 0
vsize: 10512
[startup+690.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1243 0 0 0 68552 459 0 0 25 0 1 0 850489136 10764288 1217 4294967295 134512640 134581267 3221224576 3221223472 134517743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2628 1217 566 18 0 2610 0
vsize: 10512
[startup+700.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1250 0 0 0 69546 465 0 0 25 0 1 0 850489136 10764288 1224 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2628 1224 566 18 0 2610 0
vsize: 10512
[startup+710.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1250 0 0 0 70540 471 0 0 25 0 1 0 850489136 10764288 1224 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2628 1224 566 18 0 2610 0
vsize: 10512
[startup+720.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1250 0 0 0 71535 477 0 0 25 0 1 0 850489136 10764288 1224 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2628 1224 566 18 0 2610 0
vsize: 10512
[startup+730.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1250 0 0 0 72529 483 0 0 25 0 1 0 850489136 10764288 1224 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2628 1224 566 18 0 2610 0
vsize: 10512
[startup+740.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1250 0 0 0 73523 489 0 0 25 0 1 0 850489136 10764288 1224 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2628 1224 566 18 0 2610 0
vsize: 10512
[startup+750.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1250 0 0 0 74518 495 0 0 25 0 1 0 850489136 10764288 1224 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2628 1224 566 18 0 2610 0
vsize: 10512
[startup+760.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1250 0 0 0 75513 500 0 0 25 0 1 0 850489136 10764288 1224 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2628 1224 566 18 0 2610 0
vsize: 10512
[startup+770.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1250 0 0 0 76508 505 0 0 25 0 1 0 850489136 10764288 1224 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2628 1224 566 18 0 2610 0
vsize: 10512
[startup+780.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1259 0 0 0 77502 511 0 0 25 0 1 0 850489136 10764288 1233 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2628 1233 566 18 0 2610 0
vsize: 10512
[startup+790.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1259 0 0 0 78496 516 0 0 25 0 1 0 850489136 10764288 1233 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2628 1233 566 18 0 2610 0
vsize: 10512
[startup+800.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1259 0 0 0 79490 522 0 0 25 0 1 0 850489136 10764288 1233 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2628 1233 566 18 0 2610 0
vsize: 10512
[startup+810.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1260 0 0 0 80484 529 0 0 25 0 1 0 850489136 10764288 1234 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2628 1234 566 18 0 2610 0
vsize: 10512
[startup+820.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1260 0 0 0 81479 534 0 0 25 0 1 0 850489136 10764288 1234 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2628 1234 566 18 0 2610 0
vsize: 10512
[startup+830.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1260 0 0 0 82474 539 0 0 25 0 1 0 850489136 10764288 1234 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2628 1234 566 18 0 2610 0
vsize: 10512
[startup+840.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1260 0 0 0 83469 544 0 0 25 0 1 0 850489136 10764288 1234 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2628 1234 566 18 0 2610 0
vsize: 10512
[startup+850.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1260 0 0 0 84464 550 0 0 25 0 1 0 850489136 10764288 1234 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2628 1234 566 18 0 2610 0
vsize: 10512
[startup+860.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1260 0 0 0 85458 556 0 0 25 0 1 0 850489136 10764288 1234 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2628 1234 566 18 0 2610 0
vsize: 10512
[startup+870.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1261 0 0 0 86453 561 0 0 25 0 1 0 850489136 10764288 1235 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2628 1235 566 18 0 2610 0
vsize: 10512
[startup+880.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1261 0 0 0 87447 567 0 0 25 0 1 0 850489136 10764288 1235 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2628 1235 566 18 0 2610 0
vsize: 10512
[startup+890.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1307 0 0 0 88440 574 0 0 25 0 1 0 850489136 11026432 1281 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2692 1281 566 18 0 2674 0
vsize: 10768
[startup+900.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1325 0 0 0 89435 580 0 0 25 0 1 0 850489136 11026432 1299 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2692 1299 566 18 0 2674 0
vsize: 10768
[startup+910.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1326 0 0 0 90428 587 0 0 25 0 1 0 850489136 11026432 1300 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2692 1300 566 18 0 2674 0
vsize: 10768
[startup+920.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1345 0 0 0 91422 593 0 0 25 0 1 0 850489136 11157504 1319 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1319 566 18 0 2706 0
vsize: 10896
[startup+930.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1345 0 0 0 92416 599 0 0 25 0 1 0 850489136 11157504 1319 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1319 566 18 0 2706 0
vsize: 10896
[startup+940.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1351 0 0 0 93411 604 0 0 25 0 1 0 850489136 11157504 1325 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1325 566 18 0 2706 0
vsize: 10896
[startup+950.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1351 0 0 0 94406 610 0 0 25 0 1 0 850489136 11157504 1325 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1325 566 18 0 2706 0
vsize: 10896
[startup+960.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1351 0 0 0 95401 615 0 0 25 0 1 0 850489136 11157504 1325 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1325 566 18 0 2706 0
vsize: 10896
[startup+970.028 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1352 0 0 0 96395 621 0 0 25 0 1 0 850489136 11157504 1326 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1326 566 18 0 2706 0
vsize: 10896
[startup+980.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1359 0 0 0 97389 627 0 0 25 0 1 0 850489136 11157504 1333 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1333 566 18 0 2706 0
vsize: 10896
[startup+990.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1359 0 0 0 98383 633 0 0 25 0 1 0 850489136 11157504 1333 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1333 566 18 0 2706 0
vsize: 10896
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1359 0 0 0 99377 639 0 0 25 0 1 0 850489136 11157504 1333 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1333 566 18 0 2706 0
vsize: 10896
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1359 0 0 0 100371 646 0 0 25 0 1 0 850489136 11157504 1333 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1333 566 18 0 2706 0
vsize: 10896
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1359 0 0 0 101367 651 0 0 25 0 1 0 850489136 11157504 1333 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1333 566 18 0 2706 0
vsize: 10896
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1359 0 0 0 102361 656 0 0 25 0 1 0 850489136 11157504 1333 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1333 566 18 0 2706 0
vsize: 10896
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1359 0 0 0 103356 662 0 0 25 0 1 0 850489136 11157504 1333 4294967295 134512640 134581267 3221224576 3221223396 1075289714 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1333 566 18 0 2706 0
vsize: 10896
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1359 0 0 0 104349 669 0 0 25 0 1 0 850489136 11157504 1333 4294967295 134512640 134581267 3221224576 3221223488 134527667 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1333 566 18 0 2706 0
vsize: 10896
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1359 0 0 0 105343 675 0 0 25 0 1 0 850489136 11157504 1333 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1333 566 18 0 2706 0
vsize: 10896
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1359 0 0 0 106336 682 0 0 25 0 1 0 850489136 11157504 1333 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1333 566 18 0 2706 0
vsize: 10896
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1370 0 0 0 107331 688 0 0 25 0 1 0 850489136 11288576 1344 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2756 1344 566 18 0 2738 0
vsize: 11024
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1370 0 0 0 108322 696 0 0 25 0 1 0 850489136 11276288 1344 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2753 1344 566 18 0 2735 0
vsize: 11012
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1370 0 0 0 109316 702 0 0 25 0 1 0 850489136 11276288 1344 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2753 1344 566 18 0 2735 0
vsize: 11012
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1370 0 0 0 110308 710 0 0 25 0 1 0 850489136 11276288 1344 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2753 1344 566 18 0 2735 0
vsize: 11012
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1370 0 0 0 111302 717 0 0 25 0 1 0 850489136 11276288 1344 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2753 1344 566 18 0 2735 0
vsize: 11012
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1370 0 0 0 112294 725 0 0 25 0 1 0 850489136 11276288 1344 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2753 1344 566 18 0 2735 0
vsize: 11012
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1370 0 0 0 113288 731 0 0 25 0 1 0 850489136 11276288 1344 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2753 1344 566 18 0 2735 0
vsize: 11012
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1370 0 0 0 114280 739 0 0 25 0 1 0 850489136 11276288 1344 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2753 1344 566 18 0 2735 0
vsize: 11012
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1371 0 0 0 115272 748 0 0 25 0 1 0 850489136 11276288 1345 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2753 1345 566 18 0 2735 0
vsize: 11012
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1372 0 0 0 116266 754 0 0 25 0 1 0 850489136 11276288 1346 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2753 1346 566 18 0 2735 0
vsize: 11012
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1372 0 0 0 117259 761 0 0 25 0 1 0 850489136 11276288 1346 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2753 1346 566 18 0 2735 0
vsize: 11012
[startup+1188.84 s]
Raw data (loadavg): 1.07 1.00 0.97 1/53 10713
Raw data (stat): 10713 (Pueblo-v2) R 10711 20224 20223 0 -1 0 1372 0 0 0 117259 761 0 0 25 0 1 0 850489136 11276288 1346 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2753 1346 566 18 0 2735 0
vsize: 0

Child status: 10
Real time (s): 1188.84
CPU time (s): 1189.02
CPU user time (s): 1181.32
CPU system time (s): 7.69483
CPU usage (%): 100.015
Max. virtual memory (Kb): 11024
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	10
#### END VERIFIER DATA ####