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/submitted/manquinho/logic-synthesis/normalized-clip.b.opb
MD5SUM	cddae768b283c2db142f16fe9d163db1
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	15
Optimality of the best value was proved	NO
Number of terms in the objective function	350
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	350
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	350
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05084
Number of variables	349
Total number of constraints	715
Number of constraints which are clauses	707
Number of constraints which are cardinality constraints (but not clauses)	8
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	111
Trace number 38268

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-02 06:03:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26334 boxname=wulflinc5 idbench=64 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  cddae768b283c2db142f16fe9d163db1  /oldhome/oroussel/tmp/wulflinc5/normalized-clip.b.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-clip.b.opb
IDLAUNCH: 26334
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        689932 kB
Buffers:         34352 kB
Cached:         287060 kB
SwapCached:        568 kB
Active:          52964 kB
Inactive:       270468 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        689680 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5144 kB
Slab:            15420 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 06:23:04 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26334 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/wulflinc5/normalized-clip.b.opb
c #variables read: 350 - #constraints read: 714
s SATISFIABLE
v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 
#### 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.94 1.01 0.93 1/54 31963
Raw data (stat): 31963 (runsolver) R 31962 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 847476985 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 0.95 1.01 0.93 2/54 31963
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 439 0 0 0 982 16 0 0 25 0 1 0 847476985 7360512 413 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1797 413 566 18 0 1779 0
vsize: 7188
[startup+20.0002 s]
Raw data (loadavg): 0.96 1.01 0.93 2/54 31963
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 470 0 0 0 1967 31 0 0 25 0 1 0 847476985 7491584 444 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1829 444 566 18 0 1811 0
vsize: 7316
[startup+30.001 s]
Raw data (loadavg): 0.96 1.00 0.93 2/54 31963
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 503 0 0 0 2951 48 0 0 25 0 1 0 847476985 7622656 477 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 477 566 18 0 1843 0
vsize: 7444
[startup+40.0004 s]
Raw data (loadavg): 0.97 1.00 0.93 2/54 31963
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 510 0 0 0 3932 67 0 0 25 0 1 0 847476985 7745536 484 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1891 484 566 18 0 1873 0
vsize: 7564
[startup+50.0014 s]
Raw data (loadavg): 0.97 1.00 0.93 2/54 31963
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 544 0 0 0 4904 96 0 0 25 0 1 0 847476985 7860224 518 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1919 518 566 18 0 1901 0
vsize: 7676
[startup+60.0015 s]
Raw data (loadavg): 0.98 1.00 0.93 2/54 31963
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 570 0 0 0 5890 109 0 0 25 0 1 0 847476985 7974912 544 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1947 544 566 18 0 1929 0
vsize: 7788
[startup+70.0016 s]
Raw data (loadavg): 0.98 1.00 0.93 2/54 31963
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 570 0 0 0 6876 124 0 0 25 0 1 0 847476985 7974912 544 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1947 544 566 18 0 1929 0
vsize: 7788
[startup+80.0027 s]
Raw data (loadavg): 0.98 1.00 0.93 2/54 31963
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 570 0 0 0 7860 140 0 0 25 0 1 0 847476985 7974912 544 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1947 544 566 18 0 1929 0
vsize: 7788
[startup+90.0024 s]
Raw data (loadavg): 0.98 1.00 0.93 2/54 31963
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 570 0 0 0 8839 161 0 0 25 0 1 0 847476985 7974912 544 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1947 544 566 18 0 1929 0
vsize: 7788
[startup+100.003 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31963
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 574 0 0 0 9818 183 0 0 25 0 1 0 847476985 7974912 548 4294967295 134512640 134581267 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1947 548 566 18 0 1929 0
vsize: 7788
[startup+110.003 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31963
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 574 0 0 0 10790 211 0 0 25 0 1 0 847476985 7974912 548 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1947 548 566 18 0 1929 0
vsize: 7788
[startup+120.003 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31963
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 576 0 0 0 11767 234 0 0 25 0 1 0 847476985 7974912 550 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1947 550 566 18 0 1929 0
vsize: 7788
[startup+130.003 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31963
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 600 0 0 0 12748 253 0 0 25 0 1 0 847476985 8105984 574 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1979 574 566 18 0 1961 0
vsize: 7916
[startup+140.003 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31963
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 603 0 0 0 13732 269 0 0 25 0 1 0 847476985 8105984 577 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1979 577 566 18 0 1961 0
vsize: 7916
[startup+150.004 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31963
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 625 0 0 0 14715 287 0 0 25 0 1 0 847476985 8228864 599 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2009 599 566 18 0 1991 0
vsize: 8036
[startup+160.003 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 646 0 0 0 15698 304 0 0 25 0 1 0 847476985 8228864 620 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2009 620 566 18 0 1991 0
vsize: 8036
[startup+170.003 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 646 0 0 0 16683 319 0 0 25 0 1 0 847476985 8228864 620 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2009 620 566 18 0 1991 0
vsize: 8036
[startup+180.003 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 646 0 0 0 17661 341 0 0 25 0 1 0 847476985 8228864 620 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2009 620 566 18 0 1991 0
vsize: 8036
[startup+190.004 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 646 0 0 0 18630 372 0 0 25 0 1 0 847476985 8228864 620 4294967295 134512640 134581267 3221224592 3221223456 134528240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2009 620 566 18 0 1991 0
vsize: 8036
[startup+200.004 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 646 0 0 0 19604 398 0 0 25 0 1 0 847476985 8228864 620 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2009 620 566 18 0 1991 0
vsize: 8036
[startup+210.003 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 646 0 0 0 20566 436 0 0 25 0 1 0 847476985 8228864 620 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2009 620 566 18 0 1991 0
vsize: 8036
[startup+220.003 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 646 0 0 0 21538 464 0 0 25 0 1 0 847476985 8228864 620 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2009 620 566 18 0 1991 0
vsize: 8036
[startup+230.003 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 646 0 0 0 22504 499 0 0 25 0 1 0 847476985 8228864 620 4294967295 134512640 134581267 3221224592 3221223456 134560453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2009 620 566 18 0 1991 0
vsize: 8036
[startup+240.003 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 648 0 0 0 23471 532 0 0 25 0 1 0 847476985 8228864 622 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2009 622 566 18 0 1991 0
vsize: 8036
[startup+250.003 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 654 0 0 0 24437 566 0 0 25 0 1 0 847476985 8327168 628 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2033 628 566 18 0 2015 0
vsize: 8132
[startup+260.003 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 654 0 0 0 25415 588 0 0 25 0 1 0 847476985 8327168 628 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2033 628 566 18 0 2015 0
vsize: 8132
[startup+270.003 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 654 0 0 0 26396 607 0 0 25 0 1 0 847476985 8327168 628 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2033 628 566 18 0 2015 0
vsize: 8132
[startup+280.004 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 654 0 0 0 27385 618 0 0 25 0 1 0 847476985 8327168 628 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2033 628 566 18 0 2015 0
vsize: 8132
[startup+290.003 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 655 0 0 0 28376 628 0 0 25 0 1 0 847476985 8327168 629 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2033 629 566 18 0 2015 0
vsize: 8132
[startup+300.003 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 670 0 0 0 29360 643 0 0 25 0 1 0 847476985 8327168 644 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2033 644 566 18 0 2015 0
vsize: 8132
[startup+310.004 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 670 0 0 0 30346 658 0 0 25 0 1 0 847476985 8327168 644 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2033 644 566 18 0 2015 0
vsize: 8132
[startup+320.003 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 700 0 0 0 31324 680 0 0 25 0 1 0 847476985 8462336 674 4294967295 134512640 134581267 3221224592 3221223456 134528249 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2066 674 566 18 0 2048 0
vsize: 8264
[startup+330.003 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 725 0 0 0 32298 706 0 0 25 0 1 0 847476985 8593408 699 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2098 699 566 18 0 2080 0
vsize: 8392
[startup+340.004 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 725 0 0 0 33270 735 0 0 25 0 1 0 847476985 8593408 699 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2098 699 566 18 0 2080 0
vsize: 8392
[startup+350.004 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 725 0 0 0 34235 770 0 0 25 0 1 0 847476985 8593408 699 4294967295 134512640 134581267 3221224592 3221223504 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2098 699 566 18 0 2080 0
vsize: 8392
[startup+360.005 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 725 0 0 0 35208 797 0 0 25 0 1 0 847476985 8593408 699 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2098 699 566 18 0 2080 0
vsize: 8392
[startup+370.004 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 725 0 0 0 36185 820 0 0 25 0 1 0 847476985 8593408 699 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2098 699 566 18 0 2080 0
vsize: 8392
[startup+380.005 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 727 0 0 0 37161 845 0 0 25 0 1 0 847476985 8593408 701 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2098 701 566 18 0 2080 0
vsize: 8392
[startup+390.005 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 727 0 0 0 38135 871 0 0 25 0 1 0 847476985 8593408 701 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2098 701 566 18 0 2080 0
vsize: 8392
[startup+400.005 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 737 0 0 0 39112 894 0 0 25 0 1 0 847476985 8593408 711 4294967295 134512640 134581267 3221224592 3221223536 134558800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2098 711 566 18 0 2080 0
vsize: 8392
[startup+410.006 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 737 0 0 0 40076 930 0 0 25 0 1 0 847476985 8593408 711 4294967295 134512640 134581267 3221224592 3221223536 134559049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2098 711 566 18 0 2080 0
vsize: 8392
[startup+420.006 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 739 0 0 0 41055 951 0 0 25 0 1 0 847476985 8593408 713 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2098 713 566 18 0 2080 0
vsize: 8392
[startup+430.007 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 770 0 0 0 42030 977 0 0 25 0 1 0 847476985 8712192 743 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2127 743 566 18 0 2109 0
vsize: 8508
[startup+440.007 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 770 0 0 0 43009 997 0 0 25 0 1 0 847476985 8712192 743 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2127 743 566 18 0 2109 0
vsize: 8508
[startup+450.007 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 770 0 0 0 43994 1013 0 0 25 0 1 0 847476985 8712192 743 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2127 743 566 18 0 2109 0
vsize: 8508
[startup+460.007 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 770 0 0 0 44983 1024 0 0 25 0 1 0 847476985 8712192 743 4294967295 134512640 134581267 3221224592 3221223584 134561096 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2127 743 566 18 0 2109 0
vsize: 8508
[startup+470.006 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 770 0 0 0 45969 1038 0 0 25 0 1 0 847476985 8712192 743 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2127 743 566 18 0 2109 0
vsize: 8508
[startup+480.007 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 770 0 0 0 46957 1050 0 0 25 0 1 0 847476985 8712192 743 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2127 743 566 18 0 2109 0
vsize: 8508
[startup+490.007 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 923 0 0 0 47936 1072 0 0 25 0 1 0 847476985 9367552 896 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2287 896 566 18 0 2269 0
vsize: 9148
[startup+500.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 931 0 0 0 48917 1090 0 0 25 0 1 0 847476985 9146368 849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2233 849 566 18 0 2215 0
vsize: 8932
[startup+510.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 931 0 0 0 49898 1110 0 0 25 0 1 0 847476985 9146368 849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2233 849 566 18 0 2215 0
vsize: 8932
[startup+520.007 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 931 0 0 0 50878 1130 0 0 25 0 1 0 847476985 9146368 849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2233 849 566 18 0 2215 0
vsize: 8932
[startup+530.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 931 0 0 0 51854 1154 0 0 25 0 1 0 847476985 9146368 849 4294967295 134512640 134581267 3221224592 3221223584 134561081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2233 849 566 18 0 2215 0
vsize: 8932
[startup+540.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 931 0 0 0 52840 1168 0 0 25 0 1 0 847476985 9146368 849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2233 849 566 18 0 2215 0
vsize: 8932
[startup+550.009 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 931 0 0 0 53822 1186 0 0 25 0 1 0 847476985 9146368 849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2233 849 566 18 0 2215 0
vsize: 8932
[startup+560.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 931 0 0 0 54800 1209 0 0 25 0 1 0 847476985 9146368 849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2233 849 566 18 0 2215 0
vsize: 8932
[startup+570.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 931 0 0 0 55784 1225 0 0 25 0 1 0 847476985 9146368 849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2233 849 566 18 0 2215 0
vsize: 8932
[startup+580.009 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 931 0 0 0 56760 1249 0 0 25 0 1 0 847476985 9146368 849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2233 849 566 18 0 2215 0
vsize: 8932
[startup+590.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 931 0 0 0 57747 1262 0 0 25 0 1 0 847476985 9146368 849 4294967295 134512640 134581267 3221224592 3221223368 1075285701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2233 849 566 18 0 2215 0
vsize: 8932
[startup+600.009 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 931 0 0 0 58733 1277 0 0 25 0 1 0 847476985 9146368 849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2233 849 566 18 0 2215 0
vsize: 8932
[startup+610.009 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 931 0 0 0 59722 1288 0 0 25 0 1 0 847476985 9146368 849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2233 849 566 18 0 2215 0
vsize: 8932
[startup+620.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 931 0 0 0 60707 1302 0 0 25 0 1 0 847476985 9146368 849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2233 849 566 18 0 2215 0
vsize: 8932
[startup+630.009 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 931 0 0 0 61694 1316 0 0 25 0 1 0 847476985 9146368 849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2233 849 566 18 0 2215 0
vsize: 8932
[startup+640.009 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 931 0 0 0 62676 1334 0 0 25 0 1 0 847476985 9146368 849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2233 849 566 18 0 2215 0
vsize: 8932
[startup+650.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 931 0 0 0 63657 1353 0 0 25 0 1 0 847476985 9146368 849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2233 849 566 18 0 2215 0
vsize: 8932
[startup+660.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 931 0 0 0 64647 1363 0 0 25 0 1 0 847476985 9146368 849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2233 849 566 18 0 2215 0
vsize: 8932
[startup+670.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 931 0 0 0 65635 1376 0 0 25 0 1 0 847476985 9146368 849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2233 849 566 18 0 2215 0
vsize: 8932
[startup+680.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 931 0 0 0 66621 1390 0 0 25 0 1 0 847476985 9146368 849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2233 849 566 18 0 2215 0
vsize: 8932
[startup+690.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 931 0 0 0 67602 1409 0 0 25 0 1 0 847476985 9146368 849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2233 849 566 18 0 2215 0
vsize: 8932
[startup+700.011 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 931 0 0 0 68589 1422 0 0 25 0 1 0 847476985 9146368 849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2233 849 566 18 0 2215 0
vsize: 8932
[startup+710.011 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 954 0 0 0 69575 1437 0 0 25 0 1 0 847476985 9277440 872 4294967295 134512640 134581267 3221224592 3221223520 134519875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2265 872 566 18 0 2247 0
vsize: 9060
[startup+720.012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 954 0 0 0 70563 1449 0 0 25 0 1 0 847476985 9146368 849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2233 849 566 18 0 2215 0
vsize: 8932
[startup+730.012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 954 0 0 0 71546 1466 0 0 25 0 1 0 847476985 9146368 849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2233 849 566 18 0 2215 0
vsize: 8932
[startup+740.011 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 954 0 0 0 72535 1477 0 0 25 0 1 0 847476985 9146368 849 4294967295 134512640 134581267 3221224592 3221223536 134559268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2233 849 566 18 0 2215 0
vsize: 8932
[startup+750.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 954 0 0 0 73526 1486 0 0 25 0 1 0 847476985 9146368 849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2233 849 566 18 0 2215 0
vsize: 8932
[startup+760.012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 954 0 0 0 74515 1498 0 0 25 0 1 0 847476985 9146368 849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2233 849 566 18 0 2215 0
vsize: 8932
[startup+770.012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 954 0 0 0 75505 1508 0 0 25 0 1 0 847476985 9146368 849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2233 849 566 18 0 2215 0
vsize: 8932
[startup+780.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 986 0 0 0 76486 1527 0 0 25 0 1 0 847476985 9277440 881 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2265 881 566 18 0 2247 0
vsize: 9060
[startup+790.012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 986 0 0 0 77470 1543 0 0 25 0 1 0 847476985 9269248 879 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2263 879 566 18 0 2245 0
vsize: 9052
[startup+800.012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 986 0 0 0 78449 1564 0 0 25 0 1 0 847476985 9269248 879 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2263 879 566 18 0 2245 0
vsize: 9052
[startup+810.012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 986 0 0 0 79436 1578 0 0 25 0 1 0 847476985 9269248 879 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2263 879 566 18 0 2245 0
vsize: 9052
[startup+820.012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 991 0 0 0 80420 1593 0 0 25 0 1 0 847476985 9342976 884 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2281 884 566 18 0 2263 0
vsize: 9124
[startup+830.012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 991 0 0 0 81403 1611 0 0 25 0 1 0 847476985 9342976 884 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2281 884 566 18 0 2263 0
vsize: 9124
[startup+840.012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1020 0 0 0 82377 1637 0 0 25 0 1 0 847476985 9478144 913 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2314 913 566 18 0 2296 0
vsize: 9256
[startup+850.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1020 0 0 0 83356 1659 0 0 25 0 1 0 847476985 9478144 913 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2314 913 566 18 0 2296 0
vsize: 9256
[startup+860.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1020 0 0 0 84335 1679 0 0 25 0 1 0 847476985 9478144 913 4294967295 134512640 134581267 3221224592 3221223456 134528240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2314 913 566 18 0 2296 0
vsize: 9256
[startup+870.012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1020 0 0 0 85315 1699 0 0 25 0 1 0 847476985 9478144 913 4294967295 134512640 134581267 3221224592 3221223536 134559203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2314 913 566 18 0 2296 0
vsize: 9256
[startup+880.012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1020 0 0 0 86296 1718 0 0 25 0 1 0 847476985 9478144 913 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2314 913 566 18 0 2296 0
vsize: 9256
[startup+890.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1020 0 0 0 87283 1732 0 0 25 0 1 0 847476985 9478144 913 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2314 913 566 18 0 2296 0
vsize: 9256
[startup+900.014 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1020 0 0 0 88265 1750 0 0 25 0 1 0 847476985 9478144 913 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2314 913 566 18 0 2296 0
vsize: 9256
[startup+910.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1020 0 0 0 89250 1765 0 0 25 0 1 0 847476985 9478144 913 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2314 913 566 18 0 2296 0
vsize: 9256
[startup+920.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1020 0 0 0 90233 1782 0 0 25 0 1 0 847476985 9478144 913 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2314 913 566 18 0 2296 0
vsize: 9256
[startup+930.014 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1020 0 0 0 91215 1801 0 0 25 0 1 0 847476985 9478144 913 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2314 913 566 18 0 2296 0
vsize: 9256
[startup+940.014 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1020 0 0 0 92201 1815 0 0 25 0 1 0 847476985 9478144 913 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2314 913 566 18 0 2296 0
vsize: 9256
[startup+950.014 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1020 0 0 0 93189 1827 0 0 25 0 1 0 847476985 9478144 913 4294967295 134512640 134581267 3221224592 3221223456 134528216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2314 913 566 18 0 2296 0
vsize: 9256
[startup+960.015 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1020 0 0 0 94174 1842 0 0 25 0 1 0 847476985 9478144 913 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2314 913 566 18 0 2296 0
vsize: 9256
[startup+970.015 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1020 0 0 0 95163 1853 0 0 25 0 1 0 847476985 9478144 913 4294967295 134512640 134581267 3221224592 3221223584 134561087 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2314 913 566 18 0 2296 0
vsize: 9256
[startup+980.015 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1020 0 0 0 96146 1871 0 0 25 0 1 0 847476985 9478144 913 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2314 913 566 18 0 2296 0
vsize: 9256
[startup+990.016 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1020 0 0 0 97129 1888 0 0 25 0 1 0 847476985 9478144 913 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2314 913 566 18 0 2296 0
vsize: 9256
[startup+1000.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1020 0 0 0 98109 1908 0 0 25 0 1 0 847476985 9478144 913 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2314 913 566 18 0 2296 0
vsize: 9256
[startup+1010.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1020 0 0 0 99096 1921 0 0 25 0 1 0 847476985 9478144 913 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2314 913 566 18 0 2296 0
vsize: 9256
[startup+1020.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1031 0 0 0 100082 1935 0 0 25 0 1 0 847476985 9478144 924 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2314 924 566 18 0 2296 0
vsize: 9256
[startup+1030.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1176 0 0 0 101071 1947 0 0 25 0 1 0 847476985 9654272 973 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2357 973 566 18 0 2339 0
vsize: 9428
[startup+1040.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1176 0 0 0 102061 1956 0 0 25 0 1 0 847476985 9502720 936 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2320 936 566 18 0 2302 0
vsize: 9280
[startup+1050.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1176 0 0 0 103046 1972 0 0 25 0 1 0 847476985 9502720 936 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2320 936 566 18 0 2302 0
vsize: 9280
[startup+1060.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1176 0 0 0 104035 1982 0 0 25 0 1 0 847476985 9502720 936 4294967295 134512640 134581267 3221224592 3221223456 134528304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2320 936 566 18 0 2302 0
vsize: 9280
[startup+1070.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1176 0 0 0 105019 1999 0 0 25 0 1 0 847476985 9502720 936 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2320 936 566 18 0 2302 0
vsize: 9280
[startup+1080.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1181 0 0 0 106009 2009 0 0 25 0 1 0 847476985 9531392 941 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2327 941 566 18 0 2309 0
vsize: 9308
[startup+1090.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1181 0 0 0 106994 2025 0 0 25 0 1 0 847476985 9531392 941 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2327 941 566 18 0 2309 0
vsize: 9308
[startup+1100.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1181 0 0 0 107982 2037 0 0 25 0 1 0 847476985 9531392 941 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2327 941 566 18 0 2309 0
vsize: 9308
[startup+1110.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1314 0 0 0 108965 2053 0 0 25 0 1 0 847476985 10186752 1074 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2487 1074 566 18 0 2469 0
vsize: 9948
[startup+1120.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1314 0 0 0 109953 2066 0 0 25 0 1 0 847476985 10186752 1074 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2487 1074 566 18 0 2469 0
vsize: 9948
[startup+1130.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1314 0 0 0 110940 2079 0 0 25 0 1 0 847476985 10186752 1074 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2487 1074 566 18 0 2469 0
vsize: 9948
[startup+1140.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1367 0 0 0 111923 2096 0 0 25 0 1 0 847476985 10256384 1120 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2504 1120 566 18 0 2486 0
vsize: 10016
[startup+1150.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1383 0 0 0 112911 2109 0 0 25 0 1 0 847476985 10375168 1136 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2533 1136 566 18 0 2515 0
vsize: 10132
[startup+1160.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1383 0 0 0 113899 2120 0 0 25 0 1 0 847476985 10375168 1136 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2533 1136 566 18 0 2515 0
vsize: 10132
[startup+1170.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1383 0 0 0 114884 2136 0 0 25 0 1 0 847476985 10375168 1136 4294967295 134512640 134581267 3221224592 3221223520 134519812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2533 1136 566 18 0 2515 0
vsize: 10132
[startup+1180.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1383 0 0 0 115866 2154 0 0 25 0 1 0 847476985 10375168 1136 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2533 1136 566 18 0 2515 0
vsize: 10132
[startup+1188.82 s]
Raw data (loadavg): 0.99 1.00 0.93 1/53 31965
Raw data (stat): 31963 (Pueblo-v2) R 31962 7266 7265 0 -1 0 1383 0 0 0 115866 2154 0 0 25 0 1 0 847476985 10375168 1136 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2533 1136 566 18 0 2515 0
vsize: 0

Child status: 10
Real time (s): 1188.82
CPU time (s): 1189.01
CPU user time (s): 1167.33
CPU system time (s): 21.6787
CPU usage (%): 100.016
Max. virtual memory (Kb): 10132
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	19
#### END VERIFIER DATA ####