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-5xp1.b.opb
MD5SUM	24a8f38e94b07e6ca192a34c96c24c6e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	12
Optimality of the best value was proved	NO
Number of terms in the objective function	465
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	465
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	465
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.03084
Number of variables	464
Total number of constraints	859
Number of constraints which are clauses	845
Number of constraints which are cardinality constraints (but not clauses)	14
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	149
Trace number 38264

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-02 05:55:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26329 boxname=wulflinc4 idbench=59 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  24a8f38e94b07e6ca192a34c96c24c6e  /oldhome/oroussel/tmp/wulflinc4/normalized-5xp1.b.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-5xp1.b.opb
IDLAUNCH: 26329
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        690760 kB
Buffers:         33800 kB
Cached:         288428 kB
SwapCached:        568 kB
Active:          53372 kB
Inactive:       270972 kB
HighTotal:      131008 kB
HighFree:         3612 kB
LowTotal:       903652 kB
LowFree:        687148 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5312 kB
Slab:            13940 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 06:15:36 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26329 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/wulflinc4/normalized-5xp1.b.opb
c #variables read: 465 - #constraints read: 858
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 
#### 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.95 0.90 2/54 6167
Raw data (stat): 6167 (runsolver) R 6166 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 847423189 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.0011 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 6167
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 476 0 0 0 978 20 0 0 25 0 1 0 847423189 7639040 450 4294967295 134512640 134581267 3221224592 3221223456 134560403 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1865 450 566 18 0 1847 0
vsize: 7460
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 6167
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 548 0 0 0 1960 38 0 0 25 0 1 0 847423189 7901184 522 4294967295 134512640 134581267 3221224592 3221223504 134527707 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1929 522 566 18 0 1911 0
vsize: 7716
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 6167
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 559 0 0 0 2945 54 0 0 25 0 1 0 847423189 7901184 533 4294967295 134512640 134581267 3221224592 3221223456 134528240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1929 533 566 18 0 1911 0
vsize: 7716
[startup+40.0006 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 6167
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 586 0 0 0 3930 69 0 0 25 0 1 0 847423189 8032256 560 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1961 560 566 18 0 1943 0
vsize: 7844
[startup+50.0008 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 6167
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 618 0 0 0 4916 83 0 0 25 0 1 0 847423189 8167424 592 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1994 592 566 18 0 1976 0
vsize: 7976
[startup+60.0013 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 6167
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 618 0 0 0 5905 94 0 0 25 0 1 0 847423189 8167424 592 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1994 592 566 18 0 1976 0
vsize: 7976
[startup+70.0012 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 6167
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 656 0 0 0 6895 104 0 0 25 0 1 0 847423189 8298496 630 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2026 630 566 18 0 2008 0
vsize: 8104
[startup+80.0014 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 6167
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 656 0 0 0 7883 117 0 0 25 0 1 0 847423189 8298496 630 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2026 630 566 18 0 2008 0
vsize: 8104
[startup+90.0019 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 6167
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 656 0 0 0 8865 135 0 0 25 0 1 0 847423189 8298496 630 4294967295 134512640 134581267 3221224592 3221223504 134527768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2026 630 566 18 0 2008 0
vsize: 8104
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 6167
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 657 0 0 0 9847 153 0 0 25 0 1 0 847423189 8298496 631 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2026 631 566 18 0 2008 0
vsize: 8104
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6167
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 660 0 0 0 10829 171 0 0 25 0 1 0 847423189 8298496 634 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2026 634 566 18 0 2008 0
vsize: 8104
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6167
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 714 0 0 0 11808 193 0 0 25 0 1 0 847423189 8560640 688 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2090 688 566 18 0 2072 0
vsize: 8360
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6167
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 726 0 0 0 12793 207 0 0 25 0 1 0 847423189 8560640 700 4294967295 134512640 134581267 3221224592 3221223456 134528291 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2090 700 566 18 0 2072 0
vsize: 8360
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6167
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 726 0 0 0 13780 221 0 0 25 0 1 0 847423189 8560640 700 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2090 700 566 18 0 2072 0
vsize: 8360
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6167
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 726 0 0 0 14770 231 0 0 25 0 1 0 847423189 8560640 700 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2090 700 566 18 0 2072 0
vsize: 8360
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6167
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 726 0 0 0 15760 241 0 0 25 0 1 0 847423189 8560640 700 4294967295 134512640 134581267 3221224592 3221223504 134527667 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2090 700 566 18 0 2072 0
vsize: 8360
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6167
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 761 0 0 0 16748 253 0 0 25 0 1 0 847423189 8691712 735 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2122 735 566 18 0 2104 0
vsize: 8488
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6167
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 823 0 0 0 17734 267 0 0 25 0 1 0 847423189 8953856 797 4294967295 134512640 134581267 3221224592 3221223456 134560386 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2186 797 566 18 0 2168 0
vsize: 8744
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 6167
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 823 0 0 0 18723 279 0 0 25 0 1 0 847423189 8884224 785 4294967295 134512640 134581267 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 785 566 18 0 2151 0
vsize: 8676
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6167
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 964 0 0 0 19712 290 0 0 25 0 1 0 847423189 9195520 861 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2245 861 566 18 0 2227 0
vsize: 8980
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6167
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 964 0 0 0 20703 299 0 0 25 0 1 0 847423189 9195520 861 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2245 861 566 18 0 2227 0
vsize: 8980
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6167
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 1083 0 0 0 21693 309 0 0 25 0 1 0 847423189 9719808 980 4294967295 134512640 134581267 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2373 980 566 18 0 2355 0
vsize: 9492
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6167
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 1320 0 0 0 22679 324 0 0 25 0 1 0 847423189 10059776 1072 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2456 1072 566 18 0 2438 0
vsize: 9824
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6167
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 1320 0 0 0 23670 333 0 0 25 0 1 0 847423189 9936896 1042 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2426 1042 566 18 0 2408 0
vsize: 9704
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6167
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 1320 0 0 0 24657 346 0 0 25 0 1 0 847423189 9936896 1042 4294967295 134512640 134581267 3221224592 3221223456 134528315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2426 1042 566 18 0 2408 0
vsize: 9704
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 3/55 6168
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 1320 0 0 0 25647 356 0 0 25 0 1 0 847423189 9936896 1042 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2426 1042 566 18 0 2408 0
vsize: 9704
[startup+270.009 s]
Raw data (loadavg): 1.07 0.99 0.91 2/58 6210
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 1320 0 0 0 26629 374 0 0 25 0 1 0 847423189 9936896 1042 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2426 1042 566 18 0 2408 0
vsize: 9704
[startup+280.009 s]
Raw data (loadavg): 1.21 1.02 0.93 2/57 6219
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 1320 0 0 0 27617 386 0 0 25 0 1 0 847423189 9936896 1042 4294967295 134512640 134581267 3221224592 3221223500 134527740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2426 1042 566 18 0 2408 0
vsize: 9704
[startup+290.262 s]
Raw data (loadavg): 1.18 1.02 0.93 2/54 6220
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 1320 0 0 0 28632 396 0 0 25 0 1 0 847423189 9936896 1042 4294967295 134512640 134581267 3221224592 3221223456 134528255 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2426 1042 566 18 0 2408 0
vsize: 9704
[startup+300.593 s]
Raw data (loadavg): 1.15 1.02 0.93 2/54 6220
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 1320 0 0 0 29649 412 0 0 25 0 1 0 847423189 9936896 1042 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2426 1042 566 18 0 2408 0
vsize: 9704
[startup+310.594 s]
Raw data (loadavg): 1.13 1.02 0.93 2/54 6220
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 1320 0 0 0 30635 427 0 0 25 0 1 0 847423189 9936896 1042 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2426 1042 566 18 0 2408 0
vsize: 9704
[startup+320.594 s]
Raw data (loadavg): 1.11 1.02 0.93 2/54 6220
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 1320 0 0 0 31622 439 0 0 25 0 1 0 847423189 9936896 1042 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2426 1042 566 18 0 2408 0
vsize: 9704
[startup+330.594 s]
Raw data (loadavg): 1.09 1.02 0.93 2/54 6220
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 1320 0 0 0 32609 453 0 0 25 0 1 0 847423189 9936896 1042 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2426 1042 566 18 0 2408 0
vsize: 9704
[startup+340.594 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 6220
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 1451 0 0 0 33600 462 0 0 25 0 1 0 847423189 9990144 1055 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2439 1055 566 18 0 2421 0
vsize: 9756
[startup+350.594 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 6222
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 1936 0 0 0 34589 473 0 0 25 0 1 0 847423189 11239424 1360 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2744 1360 566 18 0 2726 0
vsize: 10976
[startup+360.595 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 6222
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 1936 0 0 0 35577 485 0 0 25 0 1 0 847423189 11239424 1360 4294967295 134512640 134581267 3221224592 3221223536 134558889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2744 1360 566 18 0 2726 0
vsize: 10976
[startup+370.595 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 6222
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 1936 0 0 0 36564 498 0 0 25 0 1 0 847423189 9936896 1042 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2426 1042 566 18 0 2408 0
vsize: 9704
[startup+380.595 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 6222
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 1936 0 0 0 37551 512 0 0 25 0 1 0 847423189 9936896 1042 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2426 1042 566 18 0 2408 0
vsize: 9704
[startup+390.595 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 6222
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 1936 0 0 0 38538 525 0 0 25 0 1 0 847423189 9936896 1042 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2426 1042 566 18 0 2408 0
vsize: 9704
[startup+400.595 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 6222
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 1936 0 0 0 39529 534 0 0 25 0 1 0 847423189 9936896 1042 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2426 1042 566 18 0 2408 0
vsize: 9704
[startup+410.595 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 6222
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 1936 0 0 0 40517 546 0 0 25 0 1 0 847423189 9936896 1042 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2426 1042 566 18 0 2408 0
vsize: 9704
[startup+420.595 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 6222
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 1936 0 0 0 41508 556 0 0 25 0 1 0 847423189 9936896 1042 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2426 1042 566 18 0 2408 0
vsize: 9704
[startup+430.595 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 6222
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 1936 0 0 0 42498 566 0 0 25 0 1 0 847423189 9936896 1042 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2426 1042 566 18 0 2408 0
vsize: 9704
[startup+440.595 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 6222
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 1936 0 0 0 43486 578 0 0 25 0 1 0 847423189 9936896 1042 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2426 1042 566 18 0 2408 0
vsize: 9704
[startup+450.595 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 6222
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 1936 0 0 0 44477 587 0 0 25 0 1 0 847423189 9936896 1042 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2426 1042 566 18 0 2408 0
vsize: 9704
[startup+460.596 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 6222
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2028 0 0 0 45467 597 0 0 25 0 1 0 847423189 10072064 1075 4294967295 134512640 134581267 3221224592 3221223504 134527416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2459 1075 566 18 0 2441 0
vsize: 9836
[startup+470.595 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 6222
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2142 0 0 0 46458 606 0 0 25 0 1 0 847423189 10338304 1140 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2524 1140 566 18 0 2506 0
vsize: 10096
[startup+480.596 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6222
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2142 0 0 0 47448 617 0 0 25 0 1 0 847423189 10268672 1123 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2507 1123 566 18 0 2489 0
vsize: 10028
[startup+490.596 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6222
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2142 0 0 0 48437 628 0 0 25 0 1 0 847423189 10268672 1123 4294967295 134512640 134581267 3221224592 3221223412 1075289714 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2507 1123 566 18 0 2489 0
vsize: 10028
[startup+500.596 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6222
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2142 0 0 0 49426 639 0 0 25 0 1 0 847423189 10268672 1123 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2507 1123 566 18 0 2489 0
vsize: 10028
[startup+510.596 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6222
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2263 0 0 0 50414 651 0 0 25 0 1 0 847423189 10792960 1244 4294967295 134512640 134581267 3221224592 3221223552 134519892 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2635 1244 566 18 0 2617 0
vsize: 10540
[startup+520.597 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6222
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 51399 666 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+530.597 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6222
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 52390 676 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+540.597 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6222
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 53379 687 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+550.596 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6222
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 54368 698 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+560.596 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6222
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 55358 708 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223456 134560430 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+570.597 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6222
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 56346 720 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223456 134528304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+580.596 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6222
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 57336 730 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223536 134559049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+590.596 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6222
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 58326 741 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+600.596 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6222
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 59311 755 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+610.596 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6222
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 60293 773 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223456 134528222 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+620.596 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6222
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 61281 786 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+630.597 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6222
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 62261 805 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223504 134531373 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+640.597 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6222
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 63239 828 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+650.597 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6222
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 64222 845 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223340 1075285189 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+660.598 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 65211 857 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223456 134528240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+670.598 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 66194 874 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223584 134561093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+680.597 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 67181 887 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+690.599 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 68166 902 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+700.598 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 69146 922 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+710.598 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 70133 935 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+720.599 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 71120 949 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223504 134527703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+730.599 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 72104 965 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+740.598 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 73088 981 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+750.599 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 74073 996 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+760.599 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 75058 1011 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223456 134528310 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+770.599 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 76044 1025 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+780.599 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 77028 1042 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223456 134528284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+790.6 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 78016 1054 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+800.6 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 79001 1069 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+810.601 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 79988 1083 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+820.601 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 80976 1094 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+830.601 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 81962 1109 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+840.601 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 82949 1122 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+850.601 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 83938 1133 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+860.601 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 84923 1148 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223504 134527423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+870.601 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 85906 1165 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+880.601 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 86892 1180 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+890.601 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 87880 1192 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+900.601 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 88868 1204 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+910.602 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 89853 1219 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223504 134527687 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+920.602 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 90838 1234 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+930.602 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 91820 1252 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+940.603 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 92810 1262 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+950.602 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 93800 1273 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+960.602 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 94789 1284 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223456 134528235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+970.602 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 95780 1293 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223504 134527768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+980.602 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 96767 1307 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223504 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+990.602 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 97754 1319 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+1000.6 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 98741 1333 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+1010.6 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 99729 1345 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+1020.6 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 100712 1362 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223536 134559432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+1030.6 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 101701 1373 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223520 134519883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+1040.6 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 102687 1387 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+1050.6 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 103677 1398 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+1060.6 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 104664 1410 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+1070.6 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 105651 1424 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223504 134527720 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+1080.6 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 106636 1438 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223456 134560294 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+1090.6 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 107624 1451 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223536 134559228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+1100.6 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 108608 1467 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+1110.6 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 109595 1480 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+1120.6 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 110579 1496 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223340 1075285229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+1130.6 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 111561 1515 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+1140.6 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 112550 1526 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223584 134561027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+1150.6 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 113537 1539 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+1160.6 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 114524 1553 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+1170.6 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 115512 1564 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+1180.6 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 116502 1575 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223456 134560389 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 10896
[startup+1188.84 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 6224
Raw data (stat): 6167 (Pueblo-v2) R 6166 21152 21151 0 -1 0 2353 0 0 0 116502 1575 0 0 25 0 1 0 847423189 11157504 1334 4294967295 134512640 134581267 3221224592 3221223456 134560389 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1334 566 18 0 2706 0
vsize: 0

Child status: 10
Real time (s): 1188.83
CPU time (s): 1189.01
CPU user time (s): 1173.14
CPU system time (s): 15.8656
CPU usage (%): 100.014
Max. virtual memory (Kb): 10976
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	14
#### END VERIFIER DATA ####