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 38564

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-02 13:58:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26626 boxname=wulflinc2 idbench=356 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  5d90b7cbb5bac2aa14257b9c5448f25d  /oldhome/oroussel/tmp/wulflinc2/normalized-ss97-6.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-ss97-6.opb
IDLAUNCH: 26626
/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:        919308 kB
Buffers:         15880 kB
Cached:          77684 kB
SwapCached:       1160 kB
Active:          16704 kB
Inactive:        79284 kB
HighTotal:      131008 kB
HighFree:        50344 kB
LowTotal:       903652 kB
LowFree:        868964 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            13488 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 14:18:35 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26626 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-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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/54 22889
Raw data (stat): 22889 (runsolver) R 22888 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 850333916 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.0015 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 22889
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 370 0 0 0 988 11 0 0 25 0 1 0 850333916 7098368 344 4294967295 134512640 134581267 3221224592 3221223584 134561096 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1733 344 566 18 0 1715 0
vsize: 6932
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 22889
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 385 0 0 0 1978 21 0 0 25 0 1 0 850333916 7229440 359 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 359 566 18 0 1747 0
vsize: 7060
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 22889
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 395 0 0 0 2968 31 0 0 25 0 1 0 850333916 7229440 369 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 369 566 18 0 1747 0
vsize: 7060
[startup+40.0011 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 22889
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 410 0 0 0 3957 42 0 0 25 0 1 0 850333916 7360512 384 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1797 384 566 18 0 1779 0
vsize: 7188
[startup+50.0007 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 22889
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 417 0 0 0 4947 52 0 0 25 0 1 0 850333916 7360512 391 4294967295 134512640 134581267 3221224592 3221223552 134531371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1797 391 566 18 0 1779 0
vsize: 7188
[startup+60.0004 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 22889
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 427 0 0 0 5935 64 0 0 25 0 1 0 850333916 7360512 401 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1797 401 566 18 0 1779 0
vsize: 7188
[startup+70.0005 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 22889
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 429 0 0 0 6925 74 0 0 25 0 1 0 850333916 7360512 403 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1797 403 566 18 0 1779 0
vsize: 7188
[startup+80.0006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 22890
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 443 0 0 0 7914 85 0 0 25 0 1 0 850333916 7491584 417 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1829 417 566 18 0 1811 0
vsize: 7316
[startup+90.2553 s]
Raw data (loadavg): 1.13 1.01 0.93 3/57 22937
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 444 0 0 0 8929 96 0 0 25 0 1 0 850333916 7491584 418 4294967295 134512640 134581267 3221224592 3221223520 134519850 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1829 418 566 18 0 1811 0
vsize: 7316
[startup+100.255 s]
Raw data (loadavg): 1.11 1.01 0.93 2/54 22942
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 444 0 0 0 9919 106 0 0 25 0 1 0 850333916 7491584 418 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1829 418 566 18 0 1811 0
vsize: 7316
[startup+110.256 s]
Raw data (loadavg): 1.18 1.02 0.93 2/54 22942
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 446 0 0 0 10910 115 0 0 25 0 1 0 850333916 7491584 420 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1829 420 566 18 0 1811 0
vsize: 7316
[startup+120.257 s]
Raw data (loadavg): 1.15 1.02 0.93 2/54 22942
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 456 0 0 0 11899 126 0 0 25 0 1 0 850333916 7491584 430 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1829 430 566 18 0 1811 0
vsize: 7316
[startup+130.257 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 22942
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 459 0 0 0 12888 137 0 0 25 0 1 0 850333916 7491584 433 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1829 433 566 18 0 1811 0
vsize: 7316
[startup+140.257 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 22942
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 462 0 0 0 13876 150 0 0 25 0 1 0 850333916 7491584 436 4294967295 134512640 134581267 3221224592 3221223568 134560677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1829 436 566 18 0 1811 0
vsize: 7316
[startup+150.257 s]
Raw data (loadavg): 1.09 1.02 0.93 2/54 22942
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 466 0 0 0 14867 159 0 0 25 0 1 0 850333916 7491584 440 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1829 440 566 18 0 1811 0
vsize: 7316
[startup+160.257 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 22942
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 466 0 0 0 15857 169 0 0 25 0 1 0 850333916 7491584 440 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1829 440 566 18 0 1811 0
vsize: 7316
[startup+170.257 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 22944
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 466 0 0 0 16848 178 0 0 25 0 1 0 850333916 7491584 440 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1829 440 566 18 0 1811 0
vsize: 7316
[startup+180.257 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 22944
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 471 0 0 0 17839 188 0 0 25 0 1 0 850333916 7589888 445 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1853 445 566 18 0 1835 0
vsize: 7412
[startup+190.258 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 22944
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 471 0 0 0 18827 199 0 0 25 0 1 0 850333916 7585792 445 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1852 445 566 18 0 1834 0
vsize: 7408
[startup+200.257 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 22944
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 472 0 0 0 19818 209 0 0 25 0 1 0 850333916 7585792 446 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1852 446 566 18 0 1834 0
vsize: 7408
[startup+210.257 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 22944
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 472 0 0 0 20807 220 0 0 25 0 1 0 850333916 7585792 446 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1852 446 566 18 0 1834 0
vsize: 7408
[startup+220.258 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 22944
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 479 0 0 0 21798 229 0 0 25 0 1 0 850333916 7585792 453 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1852 453 566 18 0 1834 0
vsize: 7408
[startup+230.257 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 22944
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 485 0 0 0 22791 236 0 0 25 0 1 0 850333916 7585792 459 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1852 459 566 18 0 1834 0
vsize: 7408
[startup+240.257 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 22944
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 485 0 0 0 23781 246 0 0 25 0 1 0 850333916 7585792 459 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1852 459 566 18 0 1834 0
vsize: 7408
[startup+250.257 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 22944
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 487 0 0 0 24772 256 0 0 25 0 1 0 850333916 7585792 461 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1852 461 566 18 0 1834 0
vsize: 7408
[startup+260.257 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 22944
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 487 0 0 0 25764 264 0 0 25 0 1 0 850333916 7585792 461 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1852 461 566 18 0 1834 0
vsize: 7408
[startup+270.257 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 22944
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 487 0 0 0 26754 274 0 0 25 0 1 0 850333916 7585792 461 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1852 461 566 18 0 1834 0
vsize: 7408
[startup+280.257 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 22944
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 490 0 0 0 27744 284 0 0 25 0 1 0 850333916 7585792 464 4294967295 134512640 134581267 3221224592 3221223456 134528315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1852 464 566 18 0 1834 0
vsize: 7408
[startup+290.257 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 22944
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 490 0 0 0 28735 294 0 0 25 0 1 0 850333916 7585792 464 4294967295 134512640 134581267 3221224592 3221223536 134559326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1852 464 566 18 0 1834 0
vsize: 7408
[startup+300.258 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22944
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 490 0 0 0 29724 304 0 0 25 0 1 0 850333916 7585792 464 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1852 464 566 18 0 1834 0
vsize: 7408
[startup+310.258 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22944
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 490 0 0 0 30715 314 0 0 25 0 1 0 850333916 7585792 464 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1852 464 566 18 0 1834 0
vsize: 7408
[startup+320.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22944
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 490 0 0 0 31706 323 0 0 25 0 1 0 850333916 7585792 464 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1852 464 566 18 0 1834 0
vsize: 7408
[startup+330.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22944
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 490 0 0 0 32697 332 0 0 25 0 1 0 850333916 7585792 464 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1852 464 566 18 0 1834 0
vsize: 7408
[startup+340.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22944
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 490 0 0 0 33689 340 0 0 25 0 1 0 850333916 7585792 464 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1852 464 566 18 0 1834 0
vsize: 7408
[startup+350.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22944
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 490 0 0 0 34680 350 0 0 25 0 1 0 850333916 7585792 464 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1852 464 566 18 0 1834 0
vsize: 7408
[startup+360.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22944
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 490 0 0 0 35669 361 0 0 25 0 1 0 850333916 7585792 464 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1852 464 566 18 0 1834 0
vsize: 7408
[startup+370.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22944
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 490 0 0 0 36658 372 0 0 25 0 1 0 850333916 7585792 464 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1852 464 566 18 0 1834 0
vsize: 7408
[startup+380.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22944
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 493 0 0 0 37648 382 0 0 25 0 1 0 850333916 7585792 467 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1852 467 566 18 0 1834 0
vsize: 7408
[startup+390.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22944
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 506 0 0 0 38637 393 0 0 25 0 1 0 850333916 7716864 480 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1884 480 566 18 0 1866 0
vsize: 7536
[startup+400.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22944
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 506 0 0 0 39630 400 0 0 25 0 1 0 850333916 7716864 480 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1884 480 566 18 0 1866 0
vsize: 7536
[startup+410.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22944
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 506 0 0 0 40620 411 0 0 25 0 1 0 850333916 7716864 480 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1884 480 566 18 0 1866 0
vsize: 7536
[startup+420.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22944
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 506 0 0 0 41610 421 0 0 25 0 1 0 850333916 7716864 480 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1884 480 566 18 0 1866 0
vsize: 7536
[startup+430.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22944
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 506 0 0 0 42601 430 0 0 25 0 1 0 850333916 7716864 480 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1884 480 566 18 0 1866 0
vsize: 7536
[startup+440.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22944
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 508 0 0 0 43592 439 0 0 25 0 1 0 850333916 7716864 482 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1884 482 566 18 0 1866 0
vsize: 7536
[startup+450.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 508 0 0 0 44583 449 0 0 25 0 1 0 850333916 7716864 482 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1884 482 566 18 0 1866 0
vsize: 7536
[startup+460.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 508 0 0 0 45573 459 0 0 25 0 1 0 850333916 7716864 482 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1884 482 566 18 0 1866 0
vsize: 7536
[startup+470.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 510 0 0 0 46565 467 0 0 25 0 1 0 850333916 7716864 484 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1884 484 566 18 0 1866 0
vsize: 7536
[startup+480.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 510 0 0 0 47555 477 0 0 25 0 1 0 850333916 7716864 484 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1884 484 566 18 0 1866 0
vsize: 7536
[startup+490.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 510 0 0 0 48546 487 0 0 25 0 1 0 850333916 7716864 484 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1884 484 566 18 0 1866 0
vsize: 7536
[startup+500.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 510 0 0 0 49537 496 0 0 25 0 1 0 850333916 7716864 484 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1884 484 566 18 0 1866 0
vsize: 7536
[startup+510.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 510 0 0 0 50526 507 0 0 25 0 1 0 850333916 7716864 484 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1884 484 566 18 0 1866 0
vsize: 7536
[startup+520.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 510 0 0 0 51518 515 0 0 25 0 1 0 850333916 7716864 484 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1884 484 566 18 0 1866 0
vsize: 7536
[startup+530.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 524 0 0 0 52508 525 0 0 25 0 1 0 850333916 7716864 498 4294967295 134512640 134581267 3221224592 3221223552 134531369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1884 498 566 18 0 1866 0
vsize: 7536
[startup+540.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 527 0 0 0 53496 537 0 0 25 0 1 0 850333916 7852032 501 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1917 501 566 18 0 1899 0
vsize: 7668
[startup+550.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 529 0 0 0 54485 548 0 0 25 0 1 0 850333916 7852032 503 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1917 503 566 18 0 1899 0
vsize: 7668
[startup+560.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 529 0 0 0 55475 559 0 0 25 0 1 0 850333916 7852032 503 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1917 503 566 18 0 1899 0
vsize: 7668
[startup+570.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 529 0 0 0 56464 570 0 0 25 0 1 0 850333916 7852032 503 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1917 503 566 18 0 1899 0
vsize: 7668
[startup+580.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 530 0 0 0 57455 578 0 0 25 0 1 0 850333916 7852032 504 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1917 504 566 18 0 1899 0
vsize: 7668
[startup+590.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 530 0 0 0 58444 590 0 0 25 0 1 0 850333916 7852032 504 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1917 504 566 18 0 1899 0
vsize: 7668
[startup+600.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 532 0 0 0 59435 599 0 0 25 0 1 0 850333916 7852032 506 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1917 506 566 18 0 1899 0
vsize: 7668
[startup+610.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 532 0 0 0 60426 609 0 0 25 0 1 0 850333916 7852032 506 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1917 506 566 18 0 1899 0
vsize: 7668
[startup+620.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 532 0 0 0 61415 620 0 0 25 0 1 0 850333916 7852032 506 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1917 506 566 18 0 1899 0
vsize: 7668
[startup+630.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 532 0 0 0 62407 628 0 0 25 0 1 0 850333916 7852032 506 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1917 506 566 18 0 1899 0
vsize: 7668
[startup+640.261 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 532 0 0 0 63399 636 0 0 25 0 1 0 850333916 7852032 506 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1917 506 566 18 0 1899 0
vsize: 7668
[startup+650.261 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 532 0 0 0 64390 645 0 0 25 0 1 0 850333916 7852032 506 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1917 506 566 18 0 1899 0
vsize: 7668
[startup+660.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 532 0 0 0 65377 659 0 0 25 0 1 0 850333916 7852032 506 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1917 506 566 18 0 1899 0
vsize: 7668
[startup+670.261 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 535 0 0 0 66367 668 0 0 25 0 1 0 850333916 7852032 509 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1917 509 566 18 0 1899 0
vsize: 7668
[startup+680.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 535 0 0 0 67356 679 0 0 25 0 1 0 850333916 7852032 509 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1917 509 566 18 0 1899 0
vsize: 7668
[startup+690.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 535 0 0 0 68345 690 0 0 25 0 1 0 850333916 7852032 509 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1917 509 566 18 0 1899 0
vsize: 7668
[startup+700.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 536 0 0 0 69338 698 0 0 25 0 1 0 850333916 7852032 510 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1917 510 566 18 0 1899 0
vsize: 7668
[startup+710.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 536 0 0 0 70326 710 0 0 25 0 1 0 850333916 7852032 510 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1917 510 566 18 0 1899 0
vsize: 7668
[startup+720.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 536 0 0 0 71316 720 0 0 25 0 1 0 850333916 7852032 510 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1917 510 566 18 0 1899 0
vsize: 7668
[startup+730.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 545 0 0 0 72308 728 0 0 25 0 1 0 850333916 7852032 519 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1917 519 566 18 0 1899 0
vsize: 7668
[startup+740.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 562 0 0 0 73298 739 0 0 25 0 1 0 850333916 7983104 536 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 536 566 18 0 1931 0
vsize: 7796
[startup+750.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 562 0 0 0 74287 750 0 0 25 0 1 0 850333916 7983104 536 4294967295 134512640 134581267 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 536 566 18 0 1931 0
vsize: 7796
[startup+760.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 562 0 0 0 75275 762 0 0 25 0 1 0 850333916 7983104 536 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 536 566 18 0 1931 0
vsize: 7796
[startup+770.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 562 0 0 0 76265 772 0 0 25 0 1 0 850333916 7983104 536 4294967295 134512640 134581267 3221224592 3221223536 134559043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 536 566 18 0 1931 0
vsize: 7796
[startup+780.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 562 0 0 0 77254 783 0 0 25 0 1 0 850333916 7983104 536 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 536 566 18 0 1931 0
vsize: 7796
[startup+790.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 562 0 0 0 78246 792 0 0 25 0 1 0 850333916 7983104 536 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 536 566 18 0 1931 0
vsize: 7796
[startup+800.258 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 562 0 0 0 79237 801 0 0 25 0 1 0 850333916 7983104 536 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 536 566 18 0 1931 0
vsize: 7796
[startup+810.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 562 0 0 0 80225 813 0 0 25 0 1 0 850333916 7983104 536 4294967295 134512640 134581267 3221224592 3221223456 134528302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 536 566 18 0 1931 0
vsize: 7796
[startup+820.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 562 0 0 0 81217 821 0 0 25 0 1 0 850333916 7983104 536 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 536 566 18 0 1931 0
vsize: 7796
[startup+830.258 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 562 0 0 0 82208 830 0 0 25 0 1 0 850333916 7983104 536 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 536 566 18 0 1931 0
vsize: 7796
[startup+840.258 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 562 0 0 0 83199 839 0 0 25 0 1 0 850333916 7983104 536 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 536 566 18 0 1931 0
vsize: 7796
[startup+850.258 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 562 0 0 0 84191 848 0 0 25 0 1 0 850333916 7983104 536 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 536 566 18 0 1931 0
vsize: 7796
[startup+860.258 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 562 0 0 0 85181 858 0 0 25 0 1 0 850333916 7983104 536 4294967295 134512640 134581267 3221224592 3221223536 134558682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 536 566 18 0 1931 0
vsize: 7796
[startup+870.258 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 562 0 0 0 86174 865 0 0 25 0 1 0 850333916 7983104 536 4294967295 134512640 134581267 3221224592 3221223520 134519797 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 536 566 18 0 1931 0
vsize: 7796
[startup+880.258 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 562 0 0 0 87165 874 0 0 25 0 1 0 850333916 7983104 536 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 536 566 18 0 1931 0
vsize: 7796
[startup+890.258 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 563 0 0 0 88154 885 0 0 25 0 1 0 850333916 7983104 537 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 537 566 18 0 1931 0
vsize: 7796
[startup+900.258 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 563 0 0 0 89148 892 0 0 25 0 1 0 850333916 7983104 537 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 537 566 18 0 1931 0
vsize: 7796
[startup+910.258 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 569 0 0 0 90139 901 0 0 25 0 1 0 850333916 7983104 543 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 543 566 18 0 1931 0
vsize: 7796
[startup+920.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 569 0 0 0 91131 909 0 0 25 0 1 0 850333916 7983104 543 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 543 566 18 0 1931 0
vsize: 7796
[startup+930.258 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 569 0 0 0 92121 919 0 0 25 0 1 0 850333916 7983104 543 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 543 566 18 0 1931 0
vsize: 7796
[startup+940.258 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 569 0 0 0 93112 928 0 0 25 0 1 0 850333916 7983104 543 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 543 566 18 0 1931 0
vsize: 7796
[startup+950.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 569 0 0 0 94101 939 0 0 25 0 1 0 850333916 7983104 543 4294967295 134512640 134581267 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 543 566 18 0 1931 0
vsize: 7796
[startup+960.258 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 569 0 0 0 95093 948 0 0 25 0 1 0 850333916 7983104 543 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 543 566 18 0 1931 0
vsize: 7796
[startup+970.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 569 0 0 0 96084 957 0 0 25 0 1 0 850333916 7983104 543 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 543 566 18 0 1931 0
vsize: 7796
[startup+980.258 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 569 0 0 0 97075 966 0 0 25 0 1 0 850333916 7983104 543 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 543 566 18 0 1931 0
vsize: 7796
[startup+990.258 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 569 0 0 0 98066 974 0 0 25 0 1 0 850333916 7983104 543 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 543 566 18 0 1931 0
vsize: 7796
[startup+1000.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 571 0 0 0 99058 983 0 0 25 0 1 0 850333916 7983104 545 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 545 566 18 0 1931 0
vsize: 7796
[startup+1010.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 571 0 0 0 100047 994 0 0 25 0 1 0 850333916 7983104 545 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 545 566 18 0 1931 0
vsize: 7796
[startup+1020.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 571 0 0 0 101040 1002 0 0 25 0 1 0 850333916 7983104 545 4294967295 134512640 134581267 3221224592 3221223472 134520258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 545 566 18 0 1931 0
vsize: 7796
[startup+1030.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 571 0 0 0 102031 1010 0 0 25 0 1 0 850333916 7983104 545 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 545 566 18 0 1931 0
vsize: 7796
[startup+1040.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 571 0 0 0 103022 1020 0 0 25 0 1 0 850333916 7983104 545 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 545 566 18 0 1931 0
vsize: 7796
[startup+1050.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 571 0 0 0 104013 1029 0 0 25 0 1 0 850333916 7983104 545 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 545 566 18 0 1931 0
vsize: 7796
[startup+1060.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 571 0 0 0 105002 1040 0 0 25 0 1 0 850333916 7983104 545 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 545 566 18 0 1931 0
vsize: 7796
[startup+1070.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 571 0 0 0 105993 1049 0 0 25 0 1 0 850333916 7983104 545 4294967295 134512640 134581267 3221224592 3221223456 134560360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 545 566 18 0 1931 0
vsize: 7796
[startup+1080.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 571 0 0 0 106982 1060 0 0 25 0 1 0 850333916 7983104 545 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 545 566 18 0 1931 0
vsize: 7796
[startup+1090.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 571 0 0 0 107972 1071 0 0 25 0 1 0 850333916 7983104 545 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 545 566 18 0 1931 0
vsize: 7796
[startup+1100.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 571 0 0 0 108963 1080 0 0 25 0 1 0 850333916 7983104 545 4294967295 134512640 134581267 3221224592 3221223424 134566361 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 545 566 18 0 1931 0
vsize: 7796
[startup+1110.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 571 0 0 0 109952 1091 0 0 25 0 1 0 850333916 7983104 545 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 545 566 18 0 1931 0
vsize: 7796
[startup+1120.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 571 0 0 0 110942 1102 0 0 25 0 1 0 850333916 7983104 545 4294967295 134512640 134581267 3221224592 3221222336 134566783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 545 566 18 0 1931 0
vsize: 7796
[startup+1130.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 571 0 0 0 111932 1111 0 0 25 0 1 0 850333916 7983104 545 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 545 566 18 0 1931 0
vsize: 7796
[startup+1140.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 571 0 0 0 112922 1121 0 0 25 0 1 0 850333916 7983104 545 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 545 566 18 0 1931 0
vsize: 7796
[startup+1150.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 571 0 0 0 113911 1132 0 0 25 0 1 0 850333916 7983104 545 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 545 566 18 0 1931 0
vsize: 7796
[startup+1160.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 571 0 0 0 114903 1141 0 0 25 0 1 0 850333916 7983104 545 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 545 566 18 0 1931 0
vsize: 7796
[startup+1170.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 574 0 0 0 115893 1151 0 0 25 0 1 0 850333916 7983104 548 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 548 566 18 0 1931 0
vsize: 7796
[startup+1180.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 574 0 0 0 116883 1161 0 0 25 0 1 0 850333916 7983104 548 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 548 566 18 0 1931 0
vsize: 7796
[startup+1188.81 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 22946
Raw data (stat): 22889 (Pueblo-v2) R 22888 31399 31398 0 -1 0 574 0 0 0 116883 1161 0 0 25 0 1 0 850333916 7983104 548 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 548 566 18 0 1931 0
vsize: 0

Child status: 10
Real time (s): 1188.81
CPU time (s): 1189.01
CPU user time (s): 1177.3
CPU system time (s): 11.7072
CPU usage (%): 100.016
Max. virtual memory (Kb): 7796
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1635
#### END VERIFIER DATA ####