PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-02 14:18:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26636 boxname=wulflinc2 idbench=366 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  dd81121db7c1c4b8597dd9571c707a87  /oldhome/oroussel/tmp/wulflinc2/normalized-10:10:4.5:0.5:100.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-10:10:4.5:0.5:100.opb
IDLAUNCH: 26636
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        918516 kB
Buffers:         16672 kB
Cached:          77844 kB
SwapCached:       1160 kB
Active:          20648 kB
Inactive:        76336 kB
HighTotal:      131008 kB
HighFree:        50176 kB
LowTotal:       903652 kB
LowFree:        868340 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            13512 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 14:38:31 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26636 0 1189.01 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/wulflinc2/normalized-10:10:4.5:0.5:100.opb
c #variables read: 372 - #constraints read: 793
s SATISFIABLE
v v287 -v229 v148 v112 -v97 -v75 -v45 -v23 v285 -v270 v233 v147 -v128 -v113 -v44 -v28 -v269 v232 -v196 v149 -v127 -v117 -v98 -v79 -v46 -v27 -v2 -v286 -v271 -v253 v234 -v195 -v166 v152 v133 -v115 -v99 -v77 -v47 -v7 -v291 -v272 -v252 v238 -v197 -v165 v151 v132 -v116 -v102 -v54 -v30 -v6 -v343 -v273 v237 -v200 -v171 v156 v134 -v100 -v78 -v48 -v31 -v342 -v280 -v254 -v235 -v199 -v170 v155 v138 -v101 -v82 -v49 -v34 v9 -v344 -v274 v256 -v236 -v203 -v172 -v153 v137 -v50 -v32 v10 v345 -v275 -v201 -v173 -v154 -v135 -v33 v11 v346 -v276 v257 -v202 -v174 -v136 v12 -v305 v288 v114 -v94 -v74 v309 -v228 -v118 -v96 -v22 -v292 v230 -v95 -v80 -v57 -v24 -v290 -v248 v231 v150 v129 -v103 -v58 -v29 -v1 -v283 -v247 v242 v164 v130 -v83 -v53 -v26 -v3 -v284 -v198 -v167 v160 v131 -v81 -v35 -v8 -v279 -v255 -v221 -v211 -v168 v159 v142 -v51 v5 v258 -v207 -v169 v13 v349 -v277 v259 -v206 -v188 -v178 v350 v260 -v192 -v304 v289 v126 -v72 -v56 v308 -v293 v122 -v93 -v76 -v55 -v282 -v245 v161 v121 -v111 -v73 -v281 -v246 v163 -v107 -v84 -v25 -v360 -v241 -v217 -v208 v145 -v106 -v43 -v249 -v210 v146 -v39 v4 -v348 v250 -v239 -v220 -v181 -v157 v141 -v52 -v38 v21 -v347 v251 -v182 v17 -v278 v264 -v204 -v187 -v177 -v158 v139 v16 -v191 v306 v301 -v244 v125 -v108 v310 v297 -v243 -v162 -v110 -v71 -v356 v296 -v144 v119 -v92 -v40 -v209 -v143 -v88 -v42 v359 v312 -v216 -v180 -v120 -v104 -v87 -v64 -v18 v313 -v179 v20 v267 -v240 -v222 -v105 -v36 v268 -v336 v263 -v205 -v189 -v175 v140 -v37 v14 -v340 -v193 v307 v300 v123 -v109 -v89 v311 -v91 -v41 -v355 v315 v294 -v213 v60 v314 -v19 v361 v295 v266 -v218 -v85 -v63 v265 -v184 -v223 -v183 -v86 -v364 -v335 v261 -v190 -v176 v15 -v339 -v194 -v352 -v303 v298 v124 -v90 v302 -v357 v319 v59 -v212 v362 v328 -v214 -v65 -v219 v365 -v363 -v185 v337 v262 -v186 -v68 -v341 v322 v299 -v351 v323 -v353 v325 v318 v61 -v358 v327 v316 -v66 v366 v332 -v215 v331 -v227 -v69 -v67 v338 v320 v324 -v354 v62 v329 v317 -v224 -v370 -v226 -v70 -v369 v333 v334 v321 v326 -v225 v330 -v367 -v368 v371 one 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.98 0.93 1/54 23039
Raw data (stat): 23039 (runsolver) R 23038 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 850453574 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 561 0 0 0 990 8 0 0 25 0 1 0 850453574 7897088 535 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1928 535 566 18 0 1910 0
vsize: 7712
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 621 0 0 0 1982 17 0 0 25 0 1 0 850453574 8155136 595 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1991 595 566 18 0 1973 0
vsize: 7964
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 632 0 0 0 2976 23 0 0 25 0 1 0 850453574 8155136 606 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1991 606 566 18 0 1973 0
vsize: 7964
[startup+40.0022 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 673 0 0 0 3969 30 0 0 25 0 1 0 850453574 8417280 647 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2055 647 566 18 0 2037 0
vsize: 8220
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 705 0 0 0 4962 37 0 0 25 0 1 0 850453574 8548352 679 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2087 679 566 18 0 2069 0
vsize: 8348
[startup+60.0019 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 714 0 0 0 5954 46 0 0 25 0 1 0 850453574 8548352 688 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2087 688 566 18 0 2069 0
vsize: 8348
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 752 0 0 0 6945 55 0 0 25 0 1 0 850453574 8679424 726 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2119 726 566 18 0 2101 0
vsize: 8476
[startup+80.0024 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 773 0 0 0 7938 61 0 0 25 0 1 0 850453574 8818688 747 4294967295 134512640 134581267 3221224576 3221223520 134559043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2153 747 566 18 0 2135 0
vsize: 8612
[startup+90.003 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 779 0 0 0 8930 70 0 0 25 0 1 0 850453574 8818688 753 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2153 753 566 18 0 2135 0
vsize: 8612
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 784 0 0 0 9923 77 0 0 25 0 1 0 850453574 8818688 758 4294967295 134512640 134581267 3221224576 3221223440 134528257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2153 758 566 18 0 2135 0
vsize: 8612
[startup+110.002 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 792 0 0 0 10918 83 0 0 25 0 1 0 850453574 8818688 766 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2153 766 566 18 0 2135 0
vsize: 8612
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 792 0 0 0 11910 91 0 0 25 0 1 0 850453574 8818688 766 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2153 766 566 18 0 2135 0
vsize: 8612
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 794 0 0 0 12903 98 0 0 25 0 1 0 850453574 8818688 768 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2153 768 566 18 0 2135 0
vsize: 8612
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 822 0 0 0 13895 106 0 0 25 0 1 0 850453574 8949760 796 4294967295 134512640 134581267 3221224576 3221223520 134559432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2185 796 566 18 0 2167 0
vsize: 8740
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 826 0 0 0 14887 114 0 0 25 0 1 0 850453574 8949760 800 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2185 800 566 18 0 2167 0
vsize: 8740
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 832 0 0 0 15878 123 0 0 25 0 1 0 850453574 9076736 806 4294967295 134512640 134581267 3221224576 3221223488 134527707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2216 806 566 18 0 2198 0
vsize: 8864
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 846 0 0 0 16871 131 0 0 25 0 1 0 850453574 9076736 820 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2216 820 566 18 0 2198 0
vsize: 8864
[startup+180.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 862 0 0 0 17862 140 0 0 25 0 1 0 850453574 9207808 836 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2248 836 566 18 0 2230 0
vsize: 8992
[startup+190.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 873 0 0 0 18854 148 0 0 25 0 1 0 850453574 9207808 847 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2248 847 566 18 0 2230 0
vsize: 8992
[startup+200.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 880 0 0 0 19847 155 0 0 25 0 1 0 850453574 9207808 854 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2248 854 566 18 0 2230 0
vsize: 8992
[startup+210.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 883 0 0 0 20839 164 0 0 25 0 1 0 850453574 9207808 857 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2248 857 566 18 0 2230 0
vsize: 8992
[startup+220.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 889 0 0 0 21832 171 0 0 25 0 1 0 850453574 9207808 863 4294967295 134512640 134581267 3221224576 3221223440 134528235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2248 863 566 18 0 2230 0
vsize: 8992
[startup+230.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 889 0 0 0 22824 178 0 0 25 0 1 0 850453574 9207808 863 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2248 863 566 18 0 2230 0
vsize: 8992
[startup+240.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 889 0 0 0 23817 186 0 0 25 0 1 0 850453574 9207808 863 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2248 863 566 18 0 2230 0
vsize: 8992
[startup+250.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 917 0 0 0 24809 194 0 0 25 0 1 0 850453574 9338880 891 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2280 891 566 18 0 2262 0
vsize: 9120
[startup+260.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 931 0 0 0 25802 201 0 0 25 0 1 0 850453574 9461760 905 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2310 905 566 18 0 2292 0
vsize: 9240
[startup+270.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 935 0 0 0 26795 208 0 0 25 0 1 0 850453574 9461760 909 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2310 909 566 18 0 2292 0
vsize: 9240
[startup+280.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 938 0 0 0 27787 216 0 0 25 0 1 0 850453574 9461760 912 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2310 912 566 18 0 2292 0
vsize: 9240
[startup+290.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 939 0 0 0 28779 225 0 0 25 0 1 0 850453574 9461760 913 4294967295 134512640 134581267 3221224576 3221223440 134528338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2310 913 566 18 0 2292 0
vsize: 9240
[startup+300.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 946 0 0 0 29772 232 0 0 25 0 1 0 850453574 9461760 920 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2310 920 566 18 0 2292 0
vsize: 9240
[startup+310.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 947 0 0 0 30765 239 0 0 25 0 1 0 850453574 9461760 921 4294967295 134512640 134581267 3221224576 3221223456 134560256 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2310 921 566 18 0 2292 0
vsize: 9240
[startup+320.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 952 0 0 0 31757 247 0 0 25 0 1 0 850453574 9461760 926 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2310 926 566 18 0 2292 0
vsize: 9240
[startup+330.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 962 0 0 0 32748 256 0 0 25 0 1 0 850453574 9592832 936 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2342 936 566 18 0 2324 0
vsize: 9368
[startup+340.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 962 0 0 0 33739 266 0 0 25 0 1 0 850453574 9580544 936 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2339 936 566 18 0 2321 0
vsize: 9356
[startup+350.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 968 0 0 0 34733 272 0 0 25 0 1 0 850453574 9576448 942 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2338 942 566 18 0 2320 0
vsize: 9352
[startup+360.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 995 0 0 0 35726 279 0 0 25 0 1 0 850453574 9707520 969 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2370 969 566 18 0 2352 0
vsize: 9480
[startup+370.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 996 0 0 0 36716 290 0 0 25 0 1 0 850453574 9707520 970 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2370 970 566 18 0 2352 0
vsize: 9480
[startup+380.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 999 0 0 0 37708 297 0 0 25 0 1 0 850453574 9707520 973 4294967295 134512640 134581267 3221224576 3221223536 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2370 973 566 18 0 2352 0
vsize: 9480
[startup+390.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1008 0 0 0 38702 304 0 0 25 0 1 0 850453574 9707520 982 4294967295 134512640 134581267 3221224576 3221223536 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2370 982 566 18 0 2352 0
vsize: 9480
[startup+400.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1008 0 0 0 39695 311 0 0 25 0 1 0 850453574 9707520 982 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2370 982 566 18 0 2352 0
vsize: 9480
[startup+410.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1008 0 0 0 40687 319 0 0 25 0 1 0 850453574 9707520 982 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2370 982 566 18 0 2352 0
vsize: 9480
[startup+420.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1008 0 0 0 41678 328 0 0 25 0 1 0 850453574 9707520 982 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2370 982 566 18 0 2352 0
vsize: 9480
[startup+430.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1010 0 0 0 42671 336 0 0 25 0 1 0 850453574 9707520 984 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2370 984 566 18 0 2352 0
vsize: 9480
[startup+440.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1013 0 0 0 43661 346 0 0 25 0 1 0 850453574 9814016 987 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2396 987 566 18 0 2378 0
vsize: 9584
[startup+450.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1013 0 0 0 44653 354 0 0 25 0 1 0 850453574 9805824 987 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2394 987 566 18 0 2376 0
vsize: 9576
[startup+460.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1013 0 0 0 45644 363 0 0 25 0 1 0 850453574 9801728 987 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2393 987 566 18 0 2375 0
vsize: 9572
[startup+470.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1025 0 0 0 46639 368 0 0 25 0 1 0 850453574 9801728 999 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2393 999 566 18 0 2375 0
vsize: 9572
[startup+480.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1025 0 0 0 47631 376 0 0 25 0 1 0 850453574 9801728 999 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2393 999 566 18 0 2375 0
vsize: 9572
[startup+490.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1025 0 0 0 48623 385 0 0 25 0 1 0 850453574 9801728 999 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2393 999 566 18 0 2375 0
vsize: 9572
[startup+500.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1025 0 0 0 49615 393 0 0 25 0 1 0 850453574 9801728 999 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2393 999 566 18 0 2375 0
vsize: 9572
[startup+510.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1025 0 0 0 50609 399 0 0 25 0 1 0 850453574 9801728 999 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2393 999 566 18 0 2375 0
vsize: 9572
[startup+520.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1059 0 0 0 51601 408 0 0 25 0 1 0 850453574 9932800 1033 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2425 1033 566 18 0 2407 0
vsize: 9700
[startup+530.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1060 0 0 0 52591 417 0 0 25 0 1 0 850453574 9932800 1034 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2425 1034 566 18 0 2407 0
vsize: 9700
[startup+540.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1068 0 0 0 53582 427 0 0 25 0 1 0 850453574 10063872 1042 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2457 1042 566 18 0 2439 0
vsize: 9828
[startup+550.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1068 0 0 0 54574 435 0 0 25 0 1 0 850453574 10039296 1042 4294967295 134512640 134581267 3221224576 3221223472 134517762 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2451 1042 566 18 0 2433 0
vsize: 9804
[startup+560.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1068 0 0 0 55564 445 0 0 25 0 1 0 850453574 10039296 1042 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2451 1042 566 18 0 2433 0
vsize: 9804
[startup+570.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1075 0 0 0 56555 454 0 0 25 0 1 0 850453574 10039296 1049 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2451 1049 566 18 0 2433 0
vsize: 9804
[startup+580.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1077 0 0 0 57547 463 0 0 25 0 1 0 850453574 10039296 1051 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2451 1051 566 18 0 2433 0
vsize: 9804
[startup+590.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1077 0 0 0 58538 472 0 0 25 0 1 0 850453574 10039296 1051 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2451 1051 566 18 0 2433 0
vsize: 9804
[startup+600.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1077 0 0 0 59530 480 0 0 25 0 1 0 850453574 10039296 1051 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2451 1051 566 18 0 2433 0
vsize: 9804
[startup+610.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1077 0 0 0 60522 488 0 0 25 0 1 0 850453574 10039296 1051 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2451 1051 566 18 0 2433 0
vsize: 9804
[startup+620.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1078 0 0 0 61513 497 0 0 25 0 1 0 850453574 10039296 1052 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2451 1052 566 18 0 2433 0
vsize: 9804
[startup+630.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1078 0 0 0 62504 506 0 0 25 0 1 0 850453574 10039296 1052 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2451 1052 566 18 0 2433 0
vsize: 9804
[startup+640.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1083 0 0 0 63496 514 0 0 25 0 1 0 850453574 10039296 1057 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2451 1057 566 18 0 2433 0
vsize: 9804
[startup+650.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1083 0 0 0 64487 524 0 0 25 0 1 0 850453574 10039296 1057 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2451 1057 566 18 0 2433 0
vsize: 9804
[startup+660.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1083 0 0 0 65480 531 0 0 25 0 1 0 850453574 10039296 1057 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2451 1057 566 18 0 2433 0
vsize: 9804
[startup+670.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1083 0 0 0 66472 540 0 0 25 0 1 0 850453574 10039296 1057 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2451 1057 566 18 0 2433 0
vsize: 9804
[startup+680.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1083 0 0 0 67463 548 0 0 25 0 1 0 850453574 10039296 1057 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2451 1057 566 18 0 2433 0
vsize: 9804
[startup+690.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1085 0 0 0 68454 558 0 0 25 0 1 0 850453574 10039296 1059 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2451 1059 566 18 0 2433 0
vsize: 9804
[startup+700.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1085 0 0 0 69442 570 0 0 25 0 1 0 850453574 10039296 1059 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2451 1059 566 18 0 2433 0
vsize: 9804
[startup+710.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1088 0 0 0 70433 579 0 0 25 0 1 0 850453574 10039296 1062 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2451 1062 566 18 0 2433 0
vsize: 9804
[startup+720.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1089 0 0 0 71424 588 0 0 25 0 1 0 850453574 10039296 1063 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2451 1063 566 18 0 2433 0
vsize: 9804
[startup+730.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1090 0 0 0 72416 596 0 0 25 0 1 0 850453574 10039296 1064 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2451 1064 566 18 0 2433 0
vsize: 9804
[startup+740.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1091 0 0 0 73406 606 0 0 25 0 1 0 850453574 10039296 1065 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2451 1065 566 18 0 2433 0
vsize: 9804
[startup+750.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1119 0 0 0 74397 616 0 0 25 0 1 0 850453574 10170368 1093 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2483 1093 566 18 0 2465 0
vsize: 9932
[startup+760.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1139 0 0 0 75388 625 0 0 25 0 1 0 850453574 10301440 1113 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2515 1113 566 18 0 2497 0
vsize: 10060
[startup+770.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1149 0 0 0 76380 633 0 0 25 0 1 0 850453574 10301440 1123 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2515 1123 566 18 0 2497 0
vsize: 10060
[startup+780.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1158 0 0 0 77373 641 0 0 25 0 1 0 850453574 10436608 1132 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2548 1132 566 18 0 2530 0
vsize: 10192
[startup+790.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1159 0 0 0 78365 649 0 0 25 0 1 0 850453574 10436608 1133 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2548 1133 566 18 0 2530 0
vsize: 10192
[startup+800.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1162 0 0 0 79357 657 0 0 25 0 1 0 850453574 10436608 1136 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2548 1136 566 18 0 2530 0
vsize: 10192
[startup+810.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1162 0 0 0 80351 663 0 0 25 0 1 0 850453574 10436608 1136 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2548 1136 566 18 0 2530 0
vsize: 10192
[startup+820.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1174 0 0 0 81344 670 0 0 25 0 1 0 850453574 10436608 1148 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2548 1148 566 18 0 2530 0
vsize: 10192
[startup+830.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1174 0 0 0 82337 678 0 0 25 0 1 0 850453574 10436608 1148 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2548 1148 566 18 0 2530 0
vsize: 10192
[startup+840.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1178 0 0 0 83329 685 0 0 25 0 1 0 850453574 10436608 1152 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2548 1152 566 18 0 2530 0
vsize: 10192
[startup+850.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1179 0 0 0 84323 691 0 0 25 0 1 0 850453574 10436608 1153 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2548 1153 566 18 0 2530 0
vsize: 10192
[startup+860.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1179 0 0 0 85317 698 0 0 25 0 1 0 850453574 10436608 1153 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2548 1153 566 18 0 2530 0
vsize: 10192
[startup+870.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1179 0 0 0 86310 705 0 0 25 0 1 0 850453574 10436608 1153 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2548 1153 566 18 0 2530 0
vsize: 10192
[startup+880.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1184 0 0 0 87304 712 0 0 25 0 1 0 850453574 10436608 1158 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2548 1158 566 18 0 2530 0
vsize: 10192
[startup+890.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1184 0 0 0 88295 721 0 0 25 0 1 0 850453574 10436608 1158 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2548 1158 566 18 0 2530 0
vsize: 10192
[startup+900.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1184 0 0 0 89289 727 0 0 25 0 1 0 850453574 10436608 1158 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2548 1158 566 18 0 2530 0
vsize: 10192
[startup+910.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1184 0 0 0 90281 735 0 0 25 0 1 0 850453574 10436608 1158 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2548 1158 566 18 0 2530 0
vsize: 10192
[startup+920.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1186 0 0 0 91275 742 0 0 25 0 1 0 850453574 10571776 1160 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2581 1160 566 18 0 2563 0
vsize: 10324
[startup+930.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1190 0 0 0 92268 749 0 0 25 0 1 0 850453574 10571776 1164 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2581 1164 566 18 0 2563 0
vsize: 10324
[startup+940.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1190 0 0 0 93262 755 0 0 25 0 1 0 850453574 10571776 1164 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2581 1164 566 18 0 2563 0
vsize: 10324
[startup+950.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1190 0 0 0 94256 761 0 0 25 0 1 0 850453574 10571776 1164 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2581 1164 566 18 0 2563 0
vsize: 10324
[startup+960.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1195 0 0 0 95251 766 0 0 25 0 1 0 850453574 10571776 1169 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2581 1169 566 18 0 2563 0
vsize: 10324
[startup+970.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1195 0 0 0 96244 774 0 0 25 0 1 0 850453574 10571776 1169 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2581 1169 566 18 0 2563 0
vsize: 10324
[startup+980.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1195 0 0 0 97237 780 0 0 25 0 1 0 850453574 10571776 1169 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2581 1169 566 18 0 2563 0
vsize: 10324
[startup+990.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1195 0 0 0 98229 789 0 0 25 0 1 0 850453574 10571776 1169 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2581 1169 566 18 0 2563 0
vsize: 10324
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1197 0 0 0 99221 797 0 0 25 0 1 0 850453574 10571776 1171 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2581 1171 566 18 0 2563 0
vsize: 10324
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1197 0 0 0 100215 803 0 0 25 0 1 0 850453574 10571776 1171 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2581 1171 566 18 0 2563 0
vsize: 10324
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1197 0 0 0 101209 809 0 0 25 0 1 0 850453574 10571776 1171 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2581 1171 566 18 0 2563 0
vsize: 10324
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1197 0 0 0 102205 814 0 0 25 0 1 0 850453574 10571776 1171 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2581 1171 566 18 0 2563 0
vsize: 10324
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1197 0 0 0 103198 821 0 0 25 0 1 0 850453574 10571776 1171 4294967295 134512640 134581267 3221224576 3221223408 134531434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2581 1171 566 18 0 2563 0
vsize: 10324
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1197 0 0 0 104191 829 0 0 25 0 1 0 850453574 10571776 1171 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2581 1171 566 18 0 2563 0
vsize: 10324
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1200 0 0 0 105183 836 0 0 25 0 1 0 850453574 10571776 1174 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2581 1174 566 18 0 2563 0
vsize: 10324
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1201 0 0 0 106177 843 0 0 25 0 1 0 850453574 10571776 1175 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2581 1175 566 18 0 2563 0
vsize: 10324
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1210 0 0 0 107170 849 0 0 25 0 1 0 850453574 10571776 1184 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2581 1184 566 18 0 2563 0
vsize: 10324
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1210 0 0 0 108162 858 0 0 25 0 1 0 850453574 10571776 1184 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2581 1184 566 18 0 2563 0
vsize: 10324
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1210 0 0 0 109155 865 0 0 25 0 1 0 850453574 10571776 1184 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2581 1184 566 18 0 2563 0
vsize: 10324
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1210 0 0 0 110147 873 0 0 25 0 1 0 850453574 10571776 1184 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2581 1184 566 18 0 2563 0
vsize: 10324
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1210 0 0 0 111141 880 0 0 25 0 1 0 850453574 10571776 1184 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2581 1184 566 18 0 2563 0
vsize: 10324
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1238 0 0 0 112133 888 0 0 25 0 1 0 850453574 10702848 1212 4294967295 134512640 134581267 3221224576 3221223472 134517729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2613 1212 566 18 0 2595 0
vsize: 10452
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1260 0 0 0 113124 897 0 0 25 0 1 0 850453574 10838016 1234 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2646 1234 566 18 0 2628 0
vsize: 10584
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1268 0 0 0 114118 903 0 0 25 0 1 0 850453574 10838016 1242 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2646 1242 566 18 0 2628 0
vsize: 10584
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1283 0 0 0 115112 910 0 0 25 0 1 0 850453574 10973184 1257 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2679 1257 566 18 0 2661 0
vsize: 10716
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1286 0 0 0 116105 916 0 0 25 0 1 0 850453574 10973184 1260 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2679 1260 566 18 0 2661 0
vsize: 10716
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1289 0 0 0 117097 924 0 0 25 0 1 0 850453574 10973184 1263 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2679 1263 566 18 0 2661 0
vsize: 10716
[startup+1188.81 s]
Raw data (loadavg): 0.99 0.98 0.93 1/53 23039
Raw data (stat): 23039 (Pueblo-v2) R 23038 31399 31398 0 -1 0 1289 0 0 0 117097 924 0 0 25 0 1 0 850453574 10973184 1263 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2679 1263 566 18 0 2661 0
vsize: 0

Child status: 10
Real time (s): 1188.81
CPU time (s): 1189.01
CPU user time (s): 1179.69
CPU system time (s): 9.31558
CPU usage (%): 100.017
Max. virtual memory (Kb): 10716
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	11
#### END VERIFIER DATA ####