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/course-ass/normalized-ss97-6.opb
MD5SUM	5d90b7cbb5bac2aa14257b9c5448f25d
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	304
Optimality of the best value was proved	NO
Number of terms in the objective function	173
Biggest coefficient in the objective function	100
Number of bits for the biggest coefficient in the objective function	7
Sum of the numbers in the objective function	8448
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	100
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	8448
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05184
Number of variables	257
Total number of constraints	353
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	353
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	44
Trace number 24920

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-14 21:30:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3202 boxname=wulflinc31 idbench=356 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  5d90b7cbb5bac2aa14257b9c5448f25d  /oldhome/oroussel/tmp/wulflinc31/normalized-ss97-6.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-ss97-6.opb
IDLAUNCH: 3202
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        822688 kB
Buffers:         39768 kB
Cached:         150672 kB
SwapCached:       1932 kB
Active:         155076 kB
Inactive:        38612 kB
HighTotal:      131008 kB
HighFree:         1288 kB
LowTotal:       903652 kB
LowFree:        821400 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            12608 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-14 21:50:04 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 3202 0 1189.02 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc31/normalized-ss97-6.opb
c #variables read: 257 - #constraints read: 438
s SATISFIABLE
v -v133 -v177 v217 -v3 v179 -v7 -v8 -v96 -v184 v224 -v185 v225 -v10 -v98 -v142 -v186 v226 -v99 -v12 -v13 -v14 -v58 -v103 -v60 -v104 -v148 -v229 -v61 -v19 -v107 -v108 -v152 -v21 -v109 v153 -v110 -v154 -v111 -v191 v231 -v26 -v70 -v236 -v117 -v197 v237 -v198 v238 -v118 -v199 v239 -v163 -v120 -v201 v241 -v202 v242 v121 v203 -v243 v123 -v167 v205 -v245 v124 -v246 -v37 -v125 v169 -v207 v247 -v126 -v248 -v39 -v171 -v249 -v212 v252 -v129 -v213 v253 -v130 -v214 v254 -v131 -v215 v255 -v132 v256 -v1 v45 -v89 -v90 -v178 -v47 -v219 -v221 -v223 -v52 v140 v11 -v55 -v143 -v227 -v56 -v144 -v228 -v57 -v145 -v102 v146 -v15 -v147 -v17 -v149 -v18 -v62 v106 -v150 -v151 -v65 -v23 v67 -v155 -v24 -v68 v112 -v156 -v190 v230 -v158 -v232 -v233 -v234 -v235 v29 -v73 -v161 -v30 v74 -v162 -v75 -v119 -v240 -v32 v76 -v164 -v33 -v165 -v34 -v78 -v244 -v79 -v80 -v168 -v81 v38 -v82 -v170 -v83 v127 v41 -v85 -v173 -v42 -v86 v174 -v43 v87 -v175 -v176 -v216 one -v2 -v4 v5 -v6 -v9 v16 v20 v22 -v25 -v27 -v28 v31 -v35 -v36 -v40 -v44 v46 v48 -v49 -v50 -v51 -v53 v54 v59 v63 -v64 -v66 -v69 -v71 -v72 -v77 -v84 v88 v91 -v92 -v93 v94 -v95 -v97 v100 v101 v105 -v113 v114 -v115 -v116 -v122 -v128 -v134 -v135 -v136 -v137 -v138 v139 v141 v157 v159 v160 v166 v172 -v180 v181 -v182 v183 v187 v188 v189 v192 v193 v194 v195 v196 v200 v204 v206 v208 v209 -v210 -v211 v218 v220 v222 v250 v251 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.98 0.99 2/55 28609
Raw data (stat): 28609 (runsolver) R 28608 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 747061178 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 363 0 0 0 987 9 0 0 25 0 1 0 747061178 7102464 340 4294967295 134512640 134581331 3221221808 3221220692 134557930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1734 340 566 18 0 1716 0
vsize: 6936
[startup+20.0003 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 373 0 0 0 1978 19 0 0 25 0 1 0 747061178 7229440 350 4294967295 134512640 134581331 3221221808 3221220720 134527423 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1765 350 566 18 0 1747 0
vsize: 7060
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 384 0 0 0 2970 27 0 0 25 0 1 0 747061178 7229440 361 4294967295 134512640 134581331 3221221808 3221220752 134559676 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1765 361 566 18 0 1747 0
vsize: 7060
[startup+40.0012 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 391 0 0 0 3961 36 0 0 25 0 1 0 747061178 7229440 368 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1765 368 566 18 0 1747 0
vsize: 7060
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 400 0 0 0 4953 43 0 0 25 0 1 0 747061178 7229440 377 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1765 377 566 18 0 1747 0
vsize: 7060
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 407 0 0 0 5945 52 0 0 25 0 1 0 747061178 7360512 384 4294967295 134512640 134581331 3221221808 3221220628 1075289770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1797 384 566 18 0 1779 0
vsize: 7188
[startup+70.002 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 416 0 0 0 6937 60 0 0 25 0 1 0 747061178 7360512 393 4294967295 134512640 134581331 3221221808 3221220800 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1797 393 566 18 0 1779 0
vsize: 7188
[startup+80.0029 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 422 0 0 0 7929 68 0 0 25 0 1 0 747061178 7360512 399 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1797 399 566 18 0 1779 0
vsize: 7188
[startup+90.0031 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 425 0 0 0 8920 78 0 0 25 0 1 0 747061178 7360512 402 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1797 402 566 18 0 1779 0
vsize: 7188
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 428 0 0 0 9912 85 0 0 25 0 1 0 747061178 7360512 405 4294967295 134512640 134581331 3221221808 3221220704 134517743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1797 405 566 18 0 1779 0
vsize: 7188
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 438 0 0 0 10903 95 0 0 25 0 1 0 747061178 7491584 415 4294967295 134512640 134581331 3221221808 3221220692 134557884 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1829 415 566 18 0 1811 0
vsize: 7316
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 439 0 0 0 11896 102 0 0 25 0 1 0 747061178 7491584 416 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1829 416 566 18 0 1811 0
vsize: 7316
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 441 0 0 0 12891 108 0 0 25 0 1 0 747061178 7491584 418 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1829 418 566 18 0 1811 0
vsize: 7316
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 441 0 0 0 13883 115 0 0 25 0 1 0 747061178 7491584 418 4294967295 134512640 134581331 3221221808 3221220752 134559272 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1829 418 566 18 0 1811 0
vsize: 7316
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 443 0 0 0 14876 122 0 0 25 0 1 0 747061178 7491584 420 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1829 420 566 18 0 1811 0
vsize: 7316
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 452 0 0 0 15866 132 0 0 25 0 1 0 747061178 7491584 429 4294967295 134512640 134581331 3221221808 3221220768 134516723 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1829 429 566 18 0 1811 0
vsize: 7316
[startup+170.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 453 0 0 0 16859 140 0 0 25 0 1 0 747061178 7491584 430 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1829 430 566 18 0 1811 0
vsize: 7316
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 456 0 0 0 17852 148 0 0 25 0 1 0 747061178 7491584 433 4294967295 134512640 134581331 3221221808 3221220692 134557928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1829 433 566 18 0 1811 0
vsize: 7316
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 457 0 0 0 18843 156 0 0 25 0 1 0 747061178 7491584 434 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1829 434 566 18 0 1811 0
vsize: 7316
[startup+200.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 460 0 0 0 19835 164 0 0 25 0 1 0 747061178 7491584 437 4294967295 134512640 134581331 3221221808 3221220672 134528490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1829 437 566 18 0 1811 0
vsize: 7316
[startup+210.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 462 0 0 0 20827 173 0 0 25 0 1 0 747061178 7491584 439 4294967295 134512640 134581331 3221221808 3221220780 134519895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1829 439 566 18 0 1811 0
vsize: 7316
[startup+220.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 462 0 0 0 21818 182 0 0 25 0 1 0 747061178 7491584 439 4294967295 134512640 134581331 3221221808 3221220752 134560143 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1829 439 566 18 0 1811 0
vsize: 7316
[startup+230.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 462 0 0 0 22810 190 0 0 25 0 1 0 747061178 7491584 439 4294967295 134512640 134581331 3221221808 3221220640 134528569 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1829 439 566 18 0 1811 0
vsize: 7316
[startup+240.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 462 0 0 0 23802 198 0 0 25 0 1 0 747061178 7491584 439 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1829 439 566 18 0 1811 0
vsize: 7316
[startup+250.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 468 0 0 0 24794 206 0 0 25 0 1 0 747061178 7622656 445 4294967295 134512640 134581331 3221221808 3221220800 134561068 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1861 445 566 18 0 1843 0
vsize: 7444
[startup+260.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 468 0 0 0 25787 214 0 0 25 0 1 0 747061178 7602176 445 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1856 445 566 18 0 1838 0
vsize: 7424
[startup+270.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 468 0 0 0 26780 221 0 0 25 0 1 0 747061178 7598080 445 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1855 445 566 18 0 1837 0
vsize: 7420
[startup+280.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 468 0 0 0 27773 228 0 0 25 0 1 0 747061178 7598080 445 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1855 445 566 18 0 1837 0
vsize: 7420
[startup+290.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 468 0 0 0 28767 235 0 0 25 0 1 0 747061178 7598080 445 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1855 445 566 18 0 1837 0
vsize: 7420
[startup+300.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 479 0 0 0 29759 242 0 0 25 0 1 0 747061178 7598080 456 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1855 456 566 18 0 1837 0
vsize: 7420
[startup+310.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 484 0 0 0 30751 251 0 0 25 0 1 0 747061178 7598080 461 4294967295 134512640 134581331 3221221808 3221220736 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1855 461 566 18 0 1837 0
vsize: 7420
[startup+320.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 484 0 0 0 31744 258 0 0 25 0 1 0 747061178 7598080 461 4294967295 134512640 134581331 3221221808 3221220672 134528258 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1855 461 566 18 0 1837 0
vsize: 7420
[startup+330.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 484 0 0 0 32735 267 0 0 25 0 1 0 747061178 7598080 461 4294967295 134512640 134581331 3221221808 3221220736 134519883 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1855 461 566 18 0 1837 0
vsize: 7420
[startup+340.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 485 0 0 0 33728 274 0 0 25 0 1 0 747061178 7598080 462 4294967295 134512640 134581331 3221221808 3221220752 134558812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1855 462 566 18 0 1837 0
vsize: 7420
[startup+350.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 485 0 0 0 34719 283 0 0 25 0 1 0 747061178 7598080 462 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1855 462 566 18 0 1837 0
vsize: 7420
[startup+360.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 486 0 0 0 35711 292 0 0 25 0 1 0 747061178 7598080 463 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1855 463 566 18 0 1837 0
vsize: 7420
[startup+370.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 486 0 0 0 36701 301 0 0 25 0 1 0 747061178 7598080 463 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1855 463 566 18 0 1837 0
vsize: 7420
[startup+380.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 486 0 0 0 37695 308 0 0 25 0 1 0 747061178 7598080 463 4294967295 134512640 134581331 3221221808 3221220672 134528381 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1855 463 566 18 0 1837 0
vsize: 7420
[startup+390.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 486 0 0 0 38689 314 0 0 25 0 1 0 747061178 7598080 463 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1855 463 566 18 0 1837 0
vsize: 7420
[startup+400.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 486 0 0 0 39682 321 0 0 25 0 1 0 747061178 7598080 463 4294967295 134512640 134581331 3221221808 3221220768 134527588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1855 463 566 18 0 1837 0
vsize: 7420
[startup+410.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 486 0 0 0 40676 327 0 0 25 0 1 0 747061178 7598080 463 4294967295 134512640 134581331 3221221808 3221220720 134527802 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1855 463 566 18 0 1837 0
vsize: 7420
[startup+420.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 486 0 0 0 41668 335 0 0 25 0 1 0 747061178 7598080 463 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1855 463 566 18 0 1837 0
vsize: 7420
[startup+430.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 497 0 0 0 42663 341 0 0 25 0 1 0 747061178 7725056 474 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1886 474 566 18 0 1868 0
vsize: 7544
[startup+440.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 499 0 0 0 43655 349 0 0 25 0 1 0 747061178 7725056 476 4294967295 134512640 134581331 3221221808 3221220752 134558835 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1886 476 566 18 0 1868 0
vsize: 7544
[startup+450.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 499 0 0 0 44648 356 0 0 25 0 1 0 747061178 7725056 476 4294967295 134512640 134581331 3221221808 3221220720 134566369 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1886 476 566 18 0 1868 0
vsize: 7544
[startup+460.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 501 0 0 0 45639 365 0 0 25 0 1 0 747061178 7725056 478 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1886 478 566 18 0 1868 0
vsize: 7544
[startup+470.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 502 0 0 0 46631 373 0 0 25 0 1 0 747061178 7725056 479 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1886 479 566 18 0 1868 0
vsize: 7544
[startup+480.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 502 0 0 0 47624 380 0 0 25 0 1 0 747061178 7725056 479 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1886 479 566 18 0 1868 0
vsize: 7544
[startup+490.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 502 0 0 0 48618 386 0 0 25 0 1 0 747061178 7725056 479 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1886 479 566 18 0 1868 0
vsize: 7544
[startup+500.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 502 0 0 0 49610 394 0 0 25 0 1 0 747061178 7725056 479 4294967295 134512640 134581331 3221221808 3221220784 134561101 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1886 479 566 18 0 1868 0
vsize: 7544
[startup+510.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 502 0 0 0 50603 402 0 0 25 0 1 0 747061178 7725056 479 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1886 479 566 18 0 1868 0
vsize: 7544
[startup+520.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 502 0 0 0 51597 408 0 0 25 0 1 0 747061178 7725056 479 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1886 479 566 18 0 1868 0
vsize: 7544
[startup+530.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 502 0 0 0 52591 415 0 0 25 0 1 0 747061178 7725056 479 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1886 479 566 18 0 1868 0
vsize: 7544
[startup+540.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 502 0 0 0 53582 423 0 0 25 0 1 0 747061178 7725056 479 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1886 479 566 18 0 1868 0
vsize: 7544
[startup+550.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 503 0 0 0 54574 432 0 0 25 0 1 0 747061178 7725056 480 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1886 480 566 18 0 1868 0
vsize: 7544
[startup+560.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 505 0 0 0 55566 439 0 0 25 0 1 0 747061178 7725056 482 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1886 482 566 18 0 1868 0
vsize: 7544
[startup+570.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 509 0 0 0 56559 447 0 0 25 0 1 0 747061178 7725056 486 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1886 486 566 18 0 1868 0
vsize: 7544
[startup+580.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 509 0 0 0 57553 453 0 0 25 0 1 0 747061178 7725056 486 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1886 486 566 18 0 1868 0
vsize: 7544
[startup+590.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 509 0 0 0 58545 461 0 0 25 0 1 0 747061178 7725056 486 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1886 486 566 18 0 1868 0
vsize: 7544
[startup+600.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 509 0 0 0 59537 469 0 0 25 0 1 0 747061178 7725056 486 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1886 486 566 18 0 1868 0
vsize: 7544
[startup+610.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 509 0 0 0 60531 476 0 0 25 0 1 0 747061178 7725056 486 4294967295 134512640 134581331 3221221808 3221220692 134557767 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1886 486 566 18 0 1868 0
vsize: 7544
[startup+620.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 522 0 0 0 61523 484 0 0 25 0 1 0 747061178 7725056 499 4294967295 134512640 134581331 3221221808 3221220720 134527772 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1886 499 566 18 0 1868 0
vsize: 7544
[startup+630.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 522 0 0 0 62516 491 0 0 25 0 1 0 747061178 7725056 499 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1886 499 566 18 0 1868 0
vsize: 7544
[startup+640.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 522 0 0 0 63508 499 0 0 25 0 1 0 747061178 7725056 499 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1886 499 566 18 0 1868 0
vsize: 7544
[startup+650.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 523 0 0 0 64502 506 0 0 25 0 1 0 747061178 7725056 500 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1886 500 566 18 0 1868 0
vsize: 7544
[startup+660.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 525 0 0 0 65494 514 0 0 25 0 1 0 747061178 7864320 502 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 502 566 18 0 1902 0
vsize: 7680
[startup+670.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 526 0 0 0 66484 524 0 0 25 0 1 0 747061178 7864320 503 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 503 566 18 0 1902 0
vsize: 7680
[startup+680.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 526 0 0 0 67476 532 0 0 25 0 1 0 747061178 7864320 503 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 503 566 18 0 1902 0
vsize: 7680
[startup+690.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 527 0 0 0 68468 540 0 0 25 0 1 0 747061178 7864320 504 4294967295 134512640 134581331 3221221808 3221219984 134566838 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 504 566 18 0 1902 0
vsize: 7680
[startup+700.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 527 0 0 0 69459 549 0 0 25 0 1 0 747061178 7864320 504 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 504 566 18 0 1902 0
vsize: 7680
[startup+710.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 527 0 0 0 70453 555 0 0 25 0 1 0 747061178 7864320 504 4294967295 134512640 134581331 3221221808 3221220692 134557882 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 504 566 18 0 1902 0
vsize: 7680
[startup+720.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 529 0 0 0 71445 564 0 0 25 0 1 0 747061178 7864320 506 4294967295 134512640 134581331 3221221808 3221220768 134516751 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 506 566 18 0 1902 0
vsize: 7680
[startup+730.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 530 0 0 0 72437 572 0 0 25 0 1 0 747061178 7864320 507 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 507 566 18 0 1902 0
vsize: 7680
[startup+740.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 530 0 0 0 73429 580 0 0 25 0 1 0 747061178 7864320 507 4294967295 134512640 134581331 3221221808 3221220692 134557744 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 507 566 18 0 1902 0
vsize: 7680
[startup+750.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 532 0 0 0 74422 587 0 0 25 0 1 0 747061178 7864320 509 4294967295 134512640 134581331 3221221808 3221220600 1075285673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 509 566 18 0 1902 0
vsize: 7680
[startup+760.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 532 0 0 0 75413 596 0 0 25 0 1 0 747061178 7864320 509 4294967295 134512640 134581331 3221221808 3221220720 134527451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 509 566 18 0 1902 0
vsize: 7680
[startup+770.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 532 0 0 0 76404 605 0 0 25 0 1 0 747061178 7864320 509 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 509 566 18 0 1902 0
vsize: 7680
[startup+780.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 532 0 0 0 77395 615 0 0 25 0 1 0 747061178 7864320 509 4294967295 134512640 134581331 3221221808 3221220672 134528532 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 509 566 18 0 1902 0
vsize: 7680
[startup+790.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 533 0 0 0 78387 623 0 0 25 0 1 0 747061178 7864320 510 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 510 566 18 0 1902 0
vsize: 7680
[startup+800.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 533 0 0 0 79379 631 0 0 25 0 1 0 747061178 7864320 510 4294967295 134512640 134581331 3221221808 3221220672 134560462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 510 566 18 0 1902 0
vsize: 7680
[startup+810.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 533 0 0 0 80373 638 0 0 25 0 1 0 747061178 7864320 510 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 510 566 18 0 1902 0
vsize: 7680
[startup+820.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 534 0 0 0 81365 646 0 0 25 0 1 0 747061178 7864320 511 4294967295 134512640 134581331 3221221808 3221220768 134516751 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 511 566 18 0 1902 0
vsize: 7680
[startup+830.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 534 0 0 0 82358 652 0 0 25 0 1 0 747061178 7864320 511 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 511 566 18 0 1902 0
vsize: 7680
[startup+840.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 535 0 0 0 83352 659 0 0 25 0 1 0 747061178 7864320 512 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 512 566 18 0 1902 0
vsize: 7680
[startup+850.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 535 0 0 0 84344 667 0 0 25 0 1 0 747061178 7864320 512 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 512 566 18 0 1902 0
vsize: 7680
[startup+860.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 535 0 0 0 85338 673 0 0 25 0 1 0 747061178 7864320 512 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 512 566 18 0 1902 0
vsize: 7680
[startup+870.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 535 0 0 0 86332 680 0 0 25 0 1 0 747061178 7864320 512 4294967295 134512640 134581331 3221221808 3221220628 134531503 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 512 566 18 0 1902 0
vsize: 7680
[startup+880.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 535 0 0 0 87324 687 0 0 25 0 1 0 747061178 7864320 512 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 512 566 18 0 1902 0
vsize: 7680
[startup+890.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 535 0 0 0 88317 694 0 0 25 0 1 0 747061178 7864320 512 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 512 566 18 0 1902 0
vsize: 7680
[startup+900.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 535 0 0 0 89310 701 0 0 25 0 1 0 747061178 7864320 512 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 512 566 18 0 1902 0
vsize: 7680
[startup+910.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 551 0 0 0 90301 711 0 0 25 0 1 0 747061178 7864320 528 4294967295 134512640 134581331 3221221808 3221220768 134516745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 528 566 18 0 1902 0
vsize: 7680
[startup+920.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 551 0 0 0 91293 719 0 0 25 0 1 0 747061178 7864320 528 4294967295 134512640 134581331 3221221808 3221220704 134517905 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 528 566 18 0 1902 0
vsize: 7680
[startup+930.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 92288 725 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 531 566 18 0 1902 0
vsize: 7680
[startup+940.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 93282 731 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 531 566 18 0 1902 0
vsize: 7680
[startup+950.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 94274 739 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 531 566 18 0 1902 0
vsize: 7680
[startup+960.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 95267 746 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220752 134559676 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 531 566 18 0 1902 0
vsize: 7680
[startup+970.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 96259 754 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 531 566 18 0 1902 0
vsize: 7680
[startup+980.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 97252 761 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220720 134527645 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 531 566 18 0 1902 0
vsize: 7680
[startup+990.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 98246 768 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220752 134559272 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 531 566 18 0 1902 0
vsize: 7680
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 99237 777 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 531 566 18 0 1902 0
vsize: 7680
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 100231 783 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220768 134516745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 531 566 18 0 1902 0
vsize: 7680
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 101222 792 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 531 566 18 0 1902 0
vsize: 7680
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 102216 798 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220768 134516745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 531 566 18 0 1902 0
vsize: 7680
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 103209 805 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 531 566 18 0 1902 0
vsize: 7680
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 104200 814 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 531 566 18 0 1902 0
vsize: 7680
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 105194 821 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220672 134560459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 531 566 18 0 1902 0
vsize: 7680
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 106186 829 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 531 566 18 0 1902 0
vsize: 7680
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 554 0 0 0 107178 837 0 0 25 0 1 0 747061178 7864320 531 4294967295 134512640 134581331 3221221808 3221220736 134519853 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 531 566 18 0 1902 0
vsize: 7680
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 555 0 0 0 108170 845 0 0 25 0 1 0 747061178 7864320 532 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 532 566 18 0 1902 0
vsize: 7680
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 555 0 0 0 109163 853 0 0 25 0 1 0 747061178 7864320 532 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 532 566 18 0 1902 0
vsize: 7680
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 555 0 0 0 110156 860 0 0 25 0 1 0 747061178 7864320 532 4294967295 134512640 134581331 3221221808 3221220736 134519863 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 532 566 18 0 1902 0
vsize: 7680
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 556 0 0 0 111148 867 0 0 25 0 1 0 747061178 7864320 533 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 533 566 18 0 1902 0
vsize: 7680
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 556 0 0 0 112138 877 0 0 25 0 1 0 747061178 7864320 533 4294967295 134512640 134581331 3221221808 3221220768 134516745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 533 566 18 0 1902 0
vsize: 7680
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 556 0 0 0 113131 884 0 0 25 0 1 0 747061178 7864320 533 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 533 566 18 0 1902 0
vsize: 7680
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 556 0 0 0 114124 892 0 0 25 0 1 0 747061178 7864320 533 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 533 566 18 0 1902 0
vsize: 7680
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 556 0 0 0 115111 904 0 0 25 0 1 0 747061178 7864320 533 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 533 566 18 0 1902 0
vsize: 7680
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 556 0 0 0 116103 913 0 0 25 0 1 0 747061178 7864320 533 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1920 533 566 18 0 1902 0
vsize: 7680
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 570 0 0 0 117093 923 0 0 25 0 1 0 747061178 7995392 547 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1952 547 566 18 0 1934 0
vsize: 7808
[startup+1188.87 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 28609
Raw data (stat): 28609 (Pueblo) R 28608 7876 7672 0 -1 0 570 0 0 0 117093 923 0 0 25 0 1 0 747061178 7995392 547 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1952 547 566 18 0 1934 0
vsize: 0

Child status: 10
Real time (s): 1188.87
CPU time (s): 1189.02
CPU user time (s): 1179.71
CPU system time (s): 9.30558
CPU usage (%): 100.012
Max. virtual memory (Kb): 7808
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1635
#### END VERIFIER DATA ####