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-count.b.opb
MD5SUM	f13ba9c997276002b5bd6db1f679a6f5
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	24
Optimality of the best value was proved	NO
Number of terms in the objective function	467
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	467
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	467
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.04584
Number of variables	466
Total number of constraints	694
Number of constraints which are clauses	694
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	78
Trace number 38269

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-02 06:06:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26335 boxname=wulflinc6 idbench=65 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  f13ba9c997276002b5bd6db1f679a6f5  /oldhome/oroussel/tmp/wulflinc6/normalized-count.b.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-count.b.opb
IDLAUNCH: 26335
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        778472 kB
Buffers:         33036 kB
Cached:         202236 kB
SwapCached:        552 kB
Active:          55548 kB
Inactive:       181840 kB
HighTotal:      131008 kB
HighFree:        48300 kB
LowTotal:       903652 kB
LowFree:        730172 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            13016 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 06:26:31 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26335 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/wulflinc6/normalized-count.b.opb
c #variables read: 467 - #constraints read: 695
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 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 x466 -x467 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.98 0.93 2/54 12749
Raw data (stat): 12749 (runsolver) R 12748 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 847496851 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.0001 s]
Raw data (loadavg): 0.93 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 486 0 0 0 984 14 0 0 25 0 1 0 847496851 7598080 460 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1855 460 566 18 0 1837 0
vsize: 7420
[startup+19.9998 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 524 0 0 0 1974 24 0 0 25 0 1 0 847496851 7733248 498 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1888 498 566 18 0 1870 0
vsize: 7552
[startup+30 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 576 0 0 0 2961 38 0 0 25 0 1 0 847496851 7999488 550 4294967295 134512640 134581267 3221224592 3221223456 134528310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1953 550 566 18 0 1935 0
vsize: 7812
[startup+39.9991 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 576 0 0 0 3935 64 0 0 25 0 1 0 847496851 7999488 550 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1953 550 566 18 0 1935 0
vsize: 7812
[startup+49.9997 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 662 0 0 0 4918 81 0 0 25 0 1 0 847496851 8355840 636 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2040 636 566 18 0 2022 0
vsize: 8160
[startup+59.9994 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 788 0 0 0 5905 95 0 0 25 0 1 0 847496851 8732672 748 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2132 748 566 18 0 2114 0
vsize: 8528
[startup+69.9996 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 788 0 0 0 6885 115 0 0 25 0 1 0 847496851 8732672 748 4294967295 134512640 134581267 3221224592 3221223456 134528249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2132 748 566 18 0 2114 0
vsize: 8528
[startup+80.0001 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 788 0 0 0 7869 132 0 0 25 0 1 0 847496851 8732672 748 4294967295 134512640 134581267 3221224592 3221223456 134528235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2132 748 566 18 0 2114 0
vsize: 8528
[startup+89.9999 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 788 0 0 0 8855 146 0 0 25 0 1 0 847496851 8732672 748 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2132 748 566 18 0 2114 0
vsize: 8528
[startup+99.999 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 788 0 0 0 9839 162 0 0 25 0 1 0 847496851 8732672 748 4294967295 134512640 134581267 3221224592 3221223520 134519867 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2132 748 566 18 0 2114 0
vsize: 8528
[startup+110 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 788 0 0 0 10823 178 0 0 25 0 1 0 847496851 8732672 748 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2132 748 566 18 0 2114 0
vsize: 8528
[startup+119.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 813 0 0 0 11808 194 0 0 25 0 1 0 847496851 8736768 749 4294967295 134512640 134581267 3221224592 3221223456 134528304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2133 749 566 18 0 2115 0
vsize: 8532
[startup+129.998 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 813 0 0 0 12790 212 0 0 25 0 1 0 847496851 8736768 749 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2133 749 566 18 0 2115 0
vsize: 8532
[startup+139.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 813 0 0 0 13772 230 0 0 25 0 1 0 847496851 8736768 749 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2133 749 566 18 0 2115 0
vsize: 8532
[startup+149.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 813 0 0 0 14753 249 0 0 25 0 1 0 847496851 8736768 749 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2133 749 566 18 0 2115 0
vsize: 8532
[startup+159.998 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 813 0 0 0 15735 267 0 0 25 0 1 0 847496851 8736768 749 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2133 749 566 18 0 2115 0
vsize: 8532
[startup+169.997 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 813 0 0 0 16711 292 0 0 25 0 1 0 847496851 8736768 749 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2133 749 566 18 0 2115 0
vsize: 8532
[startup+179.997 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 919 0 0 0 17690 313 0 0 25 0 1 0 847496851 9211904 848 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2249 848 566 18 0 2231 0
vsize: 8996
[startup+189.996 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 996 0 0 0 18665 338 0 0 25 0 1 0 847496851 9265152 878 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2262 878 566 18 0 2244 0
vsize: 9048
[startup+199.996 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 996 0 0 0 19642 362 0 0 25 0 1 0 847496851 9265152 878 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2262 878 566 18 0 2244 0
vsize: 9048
[startup+209.996 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 996 0 0 0 20622 382 0 0 25 0 1 0 847496851 9265152 878 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2262 878 566 18 0 2244 0
vsize: 9048
[startup+219.996 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 996 0 0 0 21601 403 0 0 25 0 1 0 847496851 9265152 878 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2262 878 566 18 0 2244 0
vsize: 9048
[startup+229.995 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 996 0 0 0 22579 425 0 0 25 0 1 0 847496851 9265152 878 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2262 878 566 18 0 2244 0
vsize: 9048
[startup+239.995 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 996 0 0 0 23561 444 0 0 25 0 1 0 847496851 9265152 878 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2262 878 566 18 0 2244 0
vsize: 9048
[startup+249.995 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 996 0 0 0 24546 459 0 0 25 0 1 0 847496851 9265152 878 4294967295 134512640 134581267 3221224592 3221223456 134528302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2262 878 566 18 0 2244 0
vsize: 9048
[startup+259.995 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 996 0 0 0 25527 479 0 0 25 0 1 0 847496851 9265152 878 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2262 878 566 18 0 2244 0
vsize: 9048
[startup+269.995 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 996 0 0 0 26512 494 0 0 25 0 1 0 847496851 9265152 878 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2262 878 566 18 0 2244 0
vsize: 9048
[startup+279.994 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 996 0 0 0 27495 511 0 0 25 0 1 0 847496851 9265152 878 4294967295 134512640 134581267 3221224592 3221223552 134516723 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2262 878 566 18 0 2244 0
vsize: 9048
[startup+289.994 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 996 0 0 0 28478 529 0 0 25 0 1 0 847496851 9265152 878 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2262 878 566 18 0 2244 0
vsize: 9048
[startup+299.994 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 29465 542 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+309.993 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 30449 558 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+319.994 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 31435 573 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+329.993 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 32419 589 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223056 134566319 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+339.993 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 33402 606 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+349.993 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 34389 619 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+359.993 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 35374 635 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223472 134560256 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+369.992 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 36358 651 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+379.992 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 37345 665 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+389.991 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 38333 677 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+399.991 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 39323 687 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223456 134528222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+409.991 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 40315 695 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223520 134519877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+419.991 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 41307 703 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+429.991 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 42296 715 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+439.99 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 43287 724 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+449.99 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 44275 737 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+459.991 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 45265 747 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+469.991 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 46255 757 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+479.991 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 47245 767 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+489.99 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 48230 783 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+499.99 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 49211 802 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223476 134560152 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+509.99 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 50192 822 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223440 134531434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+519.99 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 51177 837 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+529.99 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 52168 846 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+539.99 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 53159 855 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+549.989 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 54144 871 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+559.989 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 55130 885 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223536 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+569.989 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 56118 898 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+579.989 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 57106 909 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+589.99 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 58097 919 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+599.989 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 59084 932 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+609.99 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 60069 947 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223456 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+619.99 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 61049 968 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+629.99 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 62033 985 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+639.99 s]
Raw data (loadavg): 1.15 1.02 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 63014 1003 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+649.99 s]
Raw data (loadavg): 1.12 1.02 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 63997 1021 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+659.99 s]
Raw data (loadavg): 1.10 1.02 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 64981 1038 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223456 134560389 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+669.99 s]
Raw data (loadavg): 1.09 1.01 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 65961 1058 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223456 134560328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+679.991 s]
Raw data (loadavg): 1.07 1.01 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 66936 1084 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+689.991 s]
Raw data (loadavg): 1.06 1.01 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 67919 1101 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+699.991 s]
Raw data (loadavg): 1.05 1.01 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 68902 1118 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+709.991 s]
Raw data (loadavg): 1.04 1.01 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 69883 1137 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+719.991 s]
Raw data (loadavg): 1.04 1.01 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 70867 1154 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223296 134566357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+729.991 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 71848 1173 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+739.992 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 72829 1192 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+749.992 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 73814 1208 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+759.992 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 74796 1226 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+769.992 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 75775 1247 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+779.992 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 76755 1268 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+789.992 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 77738 1285 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+799.993 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 78720 1303 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+809.992 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1247 0 0 0 79703 1320 0 0 25 0 1 0 847496851 10051584 1070 4294967295 134512640 134581267 3221224592 3221223504 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1070 566 18 0 2436 0
vsize: 9816
[startup+819.993 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1324 0 0 0 80683 1341 0 0 25 0 1 0 847496851 10149888 1094 4294967295 134512640 134581267 3221224592 3221223536 134558849 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2478 1094 566 18 0 2460 0
vsize: 9912
[startup+829.993 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1324 0 0 0 81661 1363 0 0 25 0 1 0 847496851 10149888 1094 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2478 1094 566 18 0 2460 0
vsize: 9912
[startup+839.993 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1324 0 0 0 82640 1385 0 0 25 0 1 0 847496851 10149888 1094 4294967295 134512640 134581267 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2478 1094 566 18 0 2460 0
vsize: 9912
[startup+849.993 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1324 0 0 0 83625 1400 0 0 25 0 1 0 847496851 10149888 1094 4294967295 134512640 134581267 3221224592 3221223456 134528304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2478 1094 566 18 0 2460 0
vsize: 9912
[startup+859.994 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1324 0 0 0 84611 1414 0 0 25 0 1 0 847496851 10149888 1094 4294967295 134512640 134581267 3221224592 3221223552 134516716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2478 1094 566 18 0 2460 0
vsize: 9912
[startup+869.993 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1355 0 0 0 85597 1429 0 0 25 0 1 0 847496851 10280960 1125 4294967295 134512640 134581267 3221224592 3221223456 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2510 1125 566 18 0 2492 0
vsize: 10040
[startup+879.994 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1355 0 0 0 86583 1443 0 0 25 0 1 0 847496851 10280960 1125 4294967295 134512640 134581267 3221224592 3221223488 134517777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2510 1125 566 18 0 2492 0
vsize: 10040
[startup+889.994 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1355 0 0 0 87569 1457 0 0 25 0 1 0 847496851 10280960 1125 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2510 1125 566 18 0 2492 0
vsize: 10040
[startup+899.994 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1355 0 0 0 88555 1471 0 0 25 0 1 0 847496851 10280960 1125 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2510 1125 566 18 0 2492 0
vsize: 10040
[startup+909.994 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1355 0 0 0 89541 1486 0 0 25 0 1 0 847496851 10280960 1125 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2510 1125 566 18 0 2492 0
vsize: 10040
[startup+919.994 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1355 0 0 0 90529 1498 0 0 25 0 1 0 847496851 10280960 1125 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2510 1125 566 18 0 2492 0
vsize: 10040
[startup+929.994 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1355 0 0 0 91514 1513 0 0 25 0 1 0 847496851 10280960 1125 4294967295 134512640 134581267 3221224592 3221223456 134560386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2510 1125 566 18 0 2492 0
vsize: 10040
[startup+939.995 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1355 0 0 0 92501 1528 0 0 25 0 1 0 847496851 10280960 1125 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2510 1125 566 18 0 2492 0
vsize: 10040
[startup+949.995 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1355 0 0 0 93488 1541 0 0 25 0 1 0 847496851 10280960 1125 4294967295 134512640 134581267 3221224592 3221223584 134561081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2510 1125 566 18 0 2492 0
vsize: 10040
[startup+959.995 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1355 0 0 0 94474 1555 0 0 25 0 1 0 847496851 10280960 1125 4294967295 134512640 134581267 3221224592 3221223504 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2510 1125 566 18 0 2492 0
vsize: 10040
[startup+969.995 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1355 0 0 0 95458 1571 0 0 25 0 1 0 847496851 10280960 1125 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2510 1125 566 18 0 2492 0
vsize: 10040
[startup+979.995 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1355 0 0 0 96444 1586 0 0 25 0 1 0 847496851 10280960 1125 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2510 1125 566 18 0 2492 0
vsize: 10040
[startup+989.995 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1380 0 0 0 97431 1599 0 0 25 0 1 0 847496851 10412032 1150 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2542 1150 566 18 0 2524 0
vsize: 10168
[startup+999.996 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1380 0 0 0 98420 1611 0 0 25 0 1 0 847496851 10395648 1150 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2538 1150 566 18 0 2520 0
vsize: 10152
[startup+1010 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1380 0 0 0 99409 1621 0 0 25 0 1 0 847496851 10395648 1150 4294967295 134512640 134581267 3221224592 3221223456 134528235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2538 1150 566 18 0 2520 0
vsize: 10152
[startup+1020 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1380 0 0 0 100399 1632 0 0 25 0 1 0 847496851 10395648 1150 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2538 1150 566 18 0 2520 0
vsize: 10152
[startup+1030 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1380 0 0 0 101386 1645 0 0 25 0 1 0 847496851 10395648 1150 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2538 1150 566 18 0 2520 0
vsize: 10152
[startup+1040 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1380 0 0 0 102368 1663 0 0 25 0 1 0 847496851 10395648 1150 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2538 1150 566 18 0 2520 0
vsize: 10152
[startup+1050 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1380 0 0 0 103355 1677 0 0 25 0 1 0 847496851 10395648 1150 4294967295 134512640 134581267 3221224592 3221223536 134559268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2538 1150 566 18 0 2520 0
vsize: 10152
[startup+1060 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1380 0 0 0 104338 1694 0 0 25 0 1 0 847496851 10395648 1150 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2538 1150 566 18 0 2520 0
vsize: 10152
[startup+1070 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1380 0 0 0 105321 1712 0 0 25 0 1 0 847496851 10395648 1150 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2538 1150 566 18 0 2520 0
vsize: 10152
[startup+1080 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1380 0 0 0 106306 1727 0 0 25 0 1 0 847496851 10395648 1150 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2538 1150 566 18 0 2520 0
vsize: 10152
[startup+1090 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1380 0 0 0 107294 1740 0 0 25 0 1 0 847496851 10395648 1150 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2538 1150 566 18 0 2520 0
vsize: 10152
[startup+1100 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1380 0 0 0 108279 1754 0 0 25 0 1 0 847496851 10395648 1150 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2538 1150 566 18 0 2520 0
vsize: 10152
[startup+1110 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1380 0 0 0 109266 1768 0 0 25 0 1 0 847496851 10395648 1150 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2538 1150 566 18 0 2520 0
vsize: 10152
[startup+1120 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1441 0 0 0 110252 1782 0 0 25 0 1 0 847496851 10657792 1211 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2602 1211 566 18 0 2584 0
vsize: 10408
[startup+1130 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1441 0 0 0 111238 1797 0 0 25 0 1 0 847496851 10657792 1211 4294967295 134512640 134581267 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2602 1211 566 18 0 2584 0
vsize: 10408
[startup+1140 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1441 0 0 0 112222 1814 0 0 25 0 1 0 847496851 10657792 1211 4294967295 134512640 134581267 3221224592 3221223456 134528299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2602 1211 566 18 0 2584 0
vsize: 10408
[startup+1150 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1441 0 0 0 113206 1829 0 0 25 0 1 0 847496851 10657792 1211 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2602 1211 566 18 0 2584 0
vsize: 10408
[startup+1160 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1441 0 0 0 114189 1847 0 0 25 0 1 0 847496851 10657792 1211 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2602 1211 566 18 0 2584 0
vsize: 10408
[startup+1170 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1441 0 0 0 115173 1863 0 0 25 0 1 0 847496851 10657792 1211 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2602 1211 566 18 0 2584 0
vsize: 10408
[startup+1180 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1441 0 0 0 116158 1879 0 0 25 0 1 0 847496851 10657792 1211 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2602 1211 566 18 0 2584 0
vsize: 10408
[startup+1188.63 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 12749
Raw data (stat): 12749 (Pueblo-v2) R 12748 25568 25567 0 -1 0 1441 0 0 0 116158 1879 0 0 25 0 1 0 847496851 10657792 1211 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2602 1211 566 18 0 2584 0
vsize: 0

Child status: 10
Real time (s): 1188.63
CPU time (s): 1189.01
CPU user time (s): 1170.1
CPU system time (s): 18.9051
CPU usage (%): 100.032
Max. virtual memory (Kb): 10408
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	26
#### END VERIFIER DATA ####