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/synthesis-ptl-cmos-circuits/normalized-9symml.opb
MD5SUM	48809ba02390b1184dab90aed89aff8e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4517
Optimality of the best value was proved	NO
Number of terms in the objective function	651
Biggest coefficient in the objective function	61
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	28138
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	61
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	28138
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02684
Number of variables	651
Total number of constraints	1658
Number of constraints which are clauses	1656
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	2
Minimum length of a constraint	1
Maximum length of a constraint	42
Trace number 38452

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-02 10:13:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26516 boxname=wulflinc6 idbench=246 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  48809ba02390b1184dab90aed89aff8e  /oldhome/oroussel/tmp/wulflinc6/normalized-9symml.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-9symml.opb
IDLAUNCH: 26516
/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:        773240 kB
Buffers:         33368 kB
Cached:         207208 kB
SwapCached:        552 kB
Active:          56176 kB
Inactive:       186504 kB
HighTotal:      131008 kB
HighFree:        43316 kB
LowTotal:       903652 kB
LowFree:        729924 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            13000 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 10:33:42 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26516 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-9symml.opb
c #variables read: 651 - #constraints read: 1584
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 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 x477 x478 x479 x480 x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 x537 x538 x539 x540 x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 x613 -x614 -x615 -x616 x617 x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 -x650 -x651 
#### 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 15486
Raw data (stat): 15486 (runsolver) R 15485 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 848980137 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.0006 s]
Raw data (loadavg): 0.93 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 676 0 0 0 991 7 0 0 25 0 1 0 848980137 8413184 650 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2054 650 566 18 0 2036 0
vsize: 8216
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 807 0 0 0 1984 15 0 0 25 0 1 0 848980137 8937472 781 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2182 781 566 18 0 2164 0
vsize: 8728
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 862 0 0 0 2979 21 0 0 25 0 1 0 848980137 9097216 836 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2221 836 566 18 0 2203 0
vsize: 8884
[startup+40.003 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 891 0 0 0 3972 28 0 0 25 0 1 0 848980137 9228288 865 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2253 865 566 18 0 2235 0
vsize: 9012
[startup+50.0041 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 946 0 0 0 4967 34 0 0 25 0 1 0 848980137 9490432 920 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2317 920 566 18 0 2299 0
vsize: 9268
[startup+60.0039 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 982 0 0 0 5960 40 0 0 25 0 1 0 848980137 9621504 956 4294967295 134512640 134581267 3221224592 3221223504 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2349 956 566 18 0 2331 0
vsize: 9396
[startup+70.0044 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1008 0 0 0 6953 48 0 0 25 0 1 0 848980137 9760768 982 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2383 982 566 18 0 2365 0
vsize: 9532
[startup+80.0055 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1013 0 0 0 7949 53 0 0 25 0 1 0 848980137 9760768 987 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2383 987 566 18 0 2365 0
vsize: 9532
[startup+90.0054 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1028 0 0 0 8943 59 0 0 25 0 1 0 848980137 9891840 1002 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2415 1002 566 18 0 2397 0
vsize: 9660
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1046 0 0 0 9938 64 0 0 25 0 1 0 848980137 9891840 1020 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2415 1020 566 18 0 2397 0
vsize: 9660
[startup+110.007 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1048 0 0 0 10934 69 0 0 25 0 1 0 848980137 9891840 1022 4294967295 134512640 134581267 3221224592 3221223552 134516751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2415 1022 566 18 0 2397 0
vsize: 9660
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1055 0 0 0 11929 75 0 0 25 0 1 0 848980137 10022912 1029 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2447 1029 566 18 0 2429 0
vsize: 9788
[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1077 0 0 0 12923 81 0 0 25 0 1 0 848980137 10022912 1051 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2447 1051 566 18 0 2429 0
vsize: 9788
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1192 0 0 0 13916 88 0 0 25 0 1 0 848980137 10547200 1166 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2575 1166 566 18 0 2557 0
vsize: 10300
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1196 0 0 0 14911 94 0 0 25 0 1 0 848980137 10547200 1170 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2575 1170 566 18 0 2557 0
vsize: 10300
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1224 0 0 0 15905 100 0 0 25 0 1 0 848980137 10678272 1198 4294967295 134512640 134581267 3221224592 3221223456 134560360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2607 1198 566 18 0 2589 0
vsize: 10428
[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1224 0 0 0 16900 105 0 0 25 0 1 0 848980137 10678272 1198 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2607 1198 566 18 0 2589 0
vsize: 10428
[startup+180.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1232 0 0 0 17894 112 0 0 25 0 1 0 848980137 10678272 1206 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2607 1206 566 18 0 2589 0
vsize: 10428
[startup+190.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1232 0 0 0 18888 118 0 0 25 0 1 0 848980137 10678272 1206 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2607 1206 566 18 0 2589 0
vsize: 10428
[startup+200.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1240 0 0 0 19882 125 0 0 25 0 1 0 848980137 10678272 1214 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2607 1214 566 18 0 2589 0
vsize: 10428
[startup+210.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1240 0 0 0 20876 131 0 0 25 0 1 0 848980137 10678272 1214 4294967295 134512640 134581267 3221224592 3221223536 134559043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2607 1214 566 18 0 2589 0
vsize: 10428
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1242 0 0 0 21871 136 0 0 25 0 1 0 848980137 10678272 1216 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2607 1216 566 18 0 2589 0
vsize: 10428
[startup+230.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1242 0 0 0 22867 141 0 0 25 0 1 0 848980137 10678272 1216 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2607 1216 566 18 0 2589 0
vsize: 10428
[startup+240.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1253 0 0 0 23861 146 0 0 25 0 1 0 848980137 10805248 1227 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2638 1227 566 18 0 2620 0
vsize: 10552
[startup+250.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1256 0 0 0 24856 152 0 0 25 0 1 0 848980137 10805248 1230 4294967295 134512640 134581267 3221224592 3221223520 134519823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2638 1230 566 18 0 2620 0
vsize: 10552
[startup+260.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1275 0 0 0 25850 158 0 0 25 0 1 0 848980137 10899456 1249 4294967295 134512640 134581267 3221224592 3221223504 134527759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2661 1249 566 18 0 2643 0
vsize: 10644
[startup+270.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1275 0 0 0 26846 163 0 0 25 0 1 0 848980137 10883072 1249 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2657 1249 566 18 0 2639 0
vsize: 10628
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1277 0 0 0 27842 167 0 0 25 0 1 0 848980137 10878976 1251 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2656 1251 566 18 0 2638 0
vsize: 10624
[startup+290.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1277 0 0 0 28836 173 0 0 25 0 1 0 848980137 10878976 1251 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2656 1251 566 18 0 2638 0
vsize: 10624
[startup+300.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1361 0 0 0 29831 179 0 0 25 0 1 0 848980137 11272192 1335 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2752 1335 566 18 0 2734 0
vsize: 11008
[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1380 0 0 0 30824 186 0 0 25 0 1 0 848980137 11272192 1354 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2752 1354 566 18 0 2734 0
vsize: 11008
[startup+320.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1392 0 0 0 31820 191 0 0 25 0 1 0 848980137 11341824 1366 4294967295 134512640 134581267 3221224592 3221223456 134528291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2769 1366 566 18 0 2751 0
vsize: 11076
[startup+330.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1392 0 0 0 32814 197 0 0 25 0 1 0 848980137 11341824 1366 4294967295 134512640 134581267 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2769 1366 566 18 0 2751 0
vsize: 11076
[startup+340.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1394 0 0 0 33810 202 0 0 25 0 1 0 848980137 11341824 1368 4294967295 134512640 134581267 3221224592 3221223504 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2769 1368 566 18 0 2751 0
vsize: 11076
[startup+350.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1419 0 0 0 34805 207 0 0 25 0 1 0 848980137 11472896 1393 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2801 1393 566 18 0 2783 0
vsize: 11204
[startup+360.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1419 0 0 0 35799 213 0 0 25 0 1 0 848980137 11386880 1387 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2780 1387 566 18 0 2762 0
vsize: 11120
[startup+370.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1419 0 0 0 36795 217 0 0 25 0 1 0 848980137 11386880 1387 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2780 1387 566 18 0 2762 0
vsize: 11120
[startup+380.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1428 0 0 0 37790 223 0 0 25 0 1 0 848980137 11489280 1396 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2805 1396 566 18 0 2787 0
vsize: 11220
[startup+390.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1428 0 0 0 38786 227 0 0 25 0 1 0 848980137 11489280 1396 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2805 1396 566 18 0 2787 0
vsize: 11220
[startup+400.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1428 0 0 0 39780 233 0 0 25 0 1 0 848980137 11489280 1396 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2805 1396 566 18 0 2787 0
vsize: 11220
[startup+410.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1428 0 0 0 40776 238 0 0 25 0 1 0 848980137 11489280 1396 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2805 1396 566 18 0 2787 0
vsize: 11220
[startup+420.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1431 0 0 0 41771 243 0 0 25 0 1 0 848980137 11489280 1399 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2805 1399 566 18 0 2787 0
vsize: 11220
[startup+430.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1431 0 0 0 42766 249 0 0 25 0 1 0 848980137 11489280 1399 4294967295 134512640 134581267 3221224592 3221223456 134560354 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2805 1399 566 18 0 2787 0
vsize: 11220
[startup+440.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1431 0 0 0 43760 255 0 0 25 0 1 0 848980137 11489280 1399 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2805 1399 566 18 0 2787 0
vsize: 11220
[startup+450.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1476 0 0 0 44754 261 0 0 25 0 1 0 848980137 11751424 1444 4294967295 134512640 134581267 3221224592 3221223456 134560386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2869 1444 566 18 0 2851 0
vsize: 11476
[startup+460.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1492 0 0 0 45749 266 0 0 25 0 1 0 848980137 11751424 1460 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2869 1460 566 18 0 2851 0
vsize: 11476
[startup+470.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1498 0 0 0 46744 272 0 0 25 0 1 0 848980137 11751424 1466 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2869 1466 566 18 0 2851 0
vsize: 11476
[startup+480.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1501 0 0 0 47739 278 0 0 25 0 1 0 848980137 11751424 1469 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2869 1469 566 18 0 2851 0
vsize: 11476
[startup+490.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1513 0 0 0 48735 282 0 0 25 0 1 0 848980137 11882496 1481 4294967295 134512640 134581267 3221224592 3221223456 134528249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2901 1481 566 18 0 2883 0
vsize: 11604
[startup+500.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1514 0 0 0 49731 287 0 0 25 0 1 0 848980137 11866112 1482 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2897 1482 566 18 0 2879 0
vsize: 11588
[startup+510.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1516 0 0 0 50728 290 0 0 25 0 1 0 848980137 11866112 1484 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2897 1484 566 18 0 2879 0
vsize: 11588
[startup+520.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1521 0 0 0 51724 294 0 0 25 0 1 0 848980137 11866112 1489 4294967295 134512640 134581267 3221224592 3221223552 134516751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2897 1489 566 18 0 2879 0
vsize: 11588
[startup+530.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1521 0 0 0 52721 298 0 0 25 0 1 0 848980137 11866112 1489 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2897 1489 566 18 0 2879 0
vsize: 11588
[startup+540.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1521 0 0 0 53717 302 0 0 25 0 1 0 848980137 11866112 1489 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2897 1489 566 18 0 2879 0
vsize: 11588
[startup+550.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1533 0 0 0 54712 307 0 0 25 0 1 0 848980137 12001280 1501 4294967295 134512640 134581267 3221224592 3221223456 134528315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2930 1501 566 18 0 2912 0
vsize: 11720
[startup+560.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1533 0 0 0 55708 311 0 0 25 0 1 0 848980137 12001280 1501 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2930 1501 566 18 0 2912 0
vsize: 11720
[startup+570.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1533 0 0 0 56705 314 0 0 25 0 1 0 848980137 12001280 1501 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2930 1501 566 18 0 2912 0
vsize: 11720
[startup+580.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1541 0 0 0 57701 319 0 0 25 0 1 0 848980137 12001280 1509 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2930 1509 566 18 0 2912 0
vsize: 11720
[startup+590.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1541 0 0 0 58698 322 0 0 25 0 1 0 848980137 12001280 1509 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2930 1509 566 18 0 2912 0
vsize: 11720
[startup+600.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1541 0 0 0 59693 327 0 0 25 0 1 0 848980137 12001280 1509 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2930 1509 566 18 0 2912 0
vsize: 11720
[startup+610.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1541 0 0 0 60690 331 0 0 25 0 1 0 848980137 12001280 1509 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2930 1509 566 18 0 2912 0
vsize: 11720
[startup+620.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1542 0 0 0 61685 336 0 0 25 0 1 0 848980137 12001280 1510 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2930 1510 566 18 0 2912 0
vsize: 11720
[startup+630.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1542 0 0 0 62682 339 0 0 25 0 1 0 848980137 12001280 1510 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2930 1510 566 18 0 2912 0
vsize: 11720
[startup+640.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1542 0 0 0 63676 346 0 0 25 0 1 0 848980137 12001280 1510 4294967295 134512640 134581267 3221224592 3221223520 134519835 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2930 1510 566 18 0 2912 0
vsize: 11720
[startup+650.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1566 0 0 0 64673 349 0 0 25 0 1 0 848980137 12001280 1534 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2930 1534 566 18 0 2912 0
vsize: 11720
[startup+660.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1566 0 0 0 65669 353 0 0 25 0 1 0 848980137 12001280 1534 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2930 1534 566 18 0 2912 0
vsize: 11720
[startup+670.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1566 0 0 0 66666 357 0 0 25 0 1 0 848980137 12001280 1534 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2930 1534 566 18 0 2912 0
vsize: 11720
[startup+680.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1566 0 0 0 67663 360 0 0 25 0 1 0 848980137 12001280 1534 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2930 1534 566 18 0 2912 0
vsize: 11720
[startup+690.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1566 0 0 0 68658 365 0 0 25 0 1 0 848980137 12001280 1534 4294967295 134512640 134581267 3221224592 3221223456 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2930 1534 566 18 0 2912 0
vsize: 11720
[startup+700.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1566 0 0 0 69654 369 0 0 25 0 1 0 848980137 12001280 1534 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2930 1534 566 18 0 2912 0
vsize: 11720
[startup+710.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1674 0 0 0 70650 374 0 0 25 0 1 0 848980137 12533760 1642 4294967295 134512640 134581267 3221224592 3221223504 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3060 1642 566 18 0 3042 0
vsize: 12240
[startup+720.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1674 0 0 0 71644 380 0 0 25 0 1 0 848980137 12533760 1642 4294967295 134512640 134581267 3221224592 3221223552 134516751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3060 1642 566 18 0 3042 0
vsize: 12240
[startup+730.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1674 0 0 0 72637 387 0 0 25 0 1 0 848980137 12533760 1642 4294967295 134512640 134581267 3221224592 3221223504 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3060 1642 566 18 0 3042 0
vsize: 12240
[startup+740.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1678 0 0 0 73633 392 0 0 25 0 1 0 848980137 12533760 1646 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3060 1646 566 18 0 3042 0
vsize: 12240
[startup+750.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1690 0 0 0 74627 398 0 0 25 0 1 0 848980137 12533760 1658 4294967295 134512640 134581267 3221224592 3221223504 134527689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3060 1658 566 18 0 3042 0
vsize: 12240
[startup+760.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1702 0 0 0 75622 403 0 0 25 0 1 0 848980137 12640256 1670 4294967295 134512640 134581267 3221224592 3221223504 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3086 1670 566 18 0 3068 0
vsize: 12344
[startup+770.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1702 0 0 0 76615 410 0 0 25 0 1 0 848980137 12632064 1670 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3084 1670 566 18 0 3066 0
vsize: 12336
[startup+780.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1704 0 0 0 77610 416 0 0 25 0 1 0 848980137 12627968 1672 4294967295 134512640 134581267 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3083 1672 566 18 0 3065 0
vsize: 12332
[startup+790.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1706 0 0 0 78605 421 0 0 25 0 1 0 848980137 12627968 1674 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3083 1674 566 18 0 3065 0
vsize: 12332
[startup+800.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1721 0 0 0 79601 425 0 0 25 0 1 0 848980137 12759040 1689 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3115 1689 566 18 0 3097 0
vsize: 12460
[startup+810.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1721 0 0 0 80597 430 0 0 25 0 1 0 848980137 12693504 1689 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3099 1689 566 18 0 3081 0
vsize: 12396
[startup+820.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1762 0 0 0 81593 434 0 0 25 0 1 0 848980137 12812288 1730 4294967295 134512640 134581267 3221224592 3221223504 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3128 1730 566 18 0 3110 0
vsize: 12512
[startup+830.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1764 0 0 0 82588 439 0 0 25 0 1 0 848980137 12812288 1732 4294967295 134512640 134581267 3221224592 3221223456 134528315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3128 1732 566 18 0 3110 0
vsize: 12512
[startup+840.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1784 0 0 0 83584 444 0 0 25 0 1 0 848980137 12943360 1752 4294967295 134512640 134581267 3221224592 3221223560 134519894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3160 1752 566 18 0 3142 0
vsize: 12640
[startup+850.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1784 0 0 0 84579 449 0 0 25 0 1 0 848980137 12931072 1752 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1752 566 18 0 3139 0
vsize: 12628
[startup+860.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1784 0 0 0 85575 454 0 0 25 0 1 0 848980137 12931072 1752 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1752 566 18 0 3139 0
vsize: 12628
[startup+870.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1784 0 0 0 86570 459 0 0 25 0 1 0 848980137 12931072 1752 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1752 566 18 0 3139 0
vsize: 12628
[startup+880.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1784 0 0 0 87567 463 0 0 25 0 1 0 848980137 12931072 1752 4294967295 134512640 134581267 3221224592 3221223456 134528291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1752 566 18 0 3139 0
vsize: 12628
[startup+890.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1784 0 0 0 88564 468 0 0 25 0 1 0 848980137 12931072 1752 4294967295 134512640 134581267 3221224592 3221223536 134558784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1752 566 18 0 3139 0
vsize: 12628
[startup+900.036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1784 0 0 0 89560 472 0 0 25 0 1 0 848980137 12931072 1752 4294967295 134512640 134581267 3221224592 3221223552 134516751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1752 566 18 0 3139 0
vsize: 12628
[startup+910.036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1784 0 0 0 90554 479 0 0 25 0 1 0 848980137 12931072 1752 4294967295 134512640 134581267 3221224592 3221223520 134519809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1752 566 18 0 3139 0
vsize: 12628
[startup+920.036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1784 0 0 0 91549 483 0 0 25 0 1 0 848980137 12931072 1752 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1752 566 18 0 3139 0
vsize: 12628
[startup+930.036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1784 0 0 0 92545 488 0 0 25 0 1 0 848980137 12931072 1752 4294967295 134512640 134581267 3221224592 3221223488 134517764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1752 566 18 0 3139 0
vsize: 12628
[startup+940.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1784 0 0 0 93540 493 0 0 25 0 1 0 848980137 12931072 1752 4294967295 134512640 134581267 3221224592 3221223504 134527779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1752 566 18 0 3139 0
vsize: 12628
[startup+950.048 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1784 0 0 0 94536 499 0 0 25 0 1 0 848980137 12931072 1752 4294967295 134512640 134581267 3221224592 3221223456 134528249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1752 566 18 0 3139 0
vsize: 12628
[startup+960.048 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1808 0 0 0 95530 505 0 0 25 0 1 0 848980137 13062144 1776 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3189 1776 566 18 0 3171 0
vsize: 12756
[startup+970.049 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1808 0 0 0 96526 510 0 0 25 0 1 0 848980137 13062144 1776 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3189 1776 566 18 0 3171 0
vsize: 12756
[startup+980.049 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1808 0 0 0 97520 516 0 0 25 0 1 0 848980137 13062144 1776 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3189 1776 566 18 0 3171 0
vsize: 12756
[startup+990.049 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1808 0 0 0 98516 521 0 0 25 0 1 0 848980137 13062144 1776 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3189 1776 566 18 0 3171 0
vsize: 12756
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1808 0 0 0 99511 525 0 0 25 0 1 0 848980137 13058048 1776 4294967295 134512640 134581267 3221224592 3221223456 134528315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3188 1776 566 18 0 3170 0
vsize: 12752
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1808 0 0 0 100506 531 0 0 25 0 1 0 848980137 13058048 1776 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3188 1776 566 18 0 3170 0
vsize: 12752
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1808 0 0 0 101500 537 0 0 25 0 1 0 848980137 13033472 1776 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3182 1776 566 18 0 3164 0
vsize: 12728
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1808 0 0 0 102495 542 0 0 25 0 1 0 848980137 13033472 1776 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3182 1776 566 18 0 3164 0
vsize: 12728
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1808 0 0 0 103489 549 0 0 25 0 1 0 848980137 13033472 1776 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3182 1776 566 18 0 3164 0
vsize: 12728
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1808 0 0 0 104483 555 0 0 25 0 1 0 848980137 13033472 1776 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3182 1776 566 18 0 3164 0
vsize: 12728
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1808 0 0 0 105477 561 0 0 25 0 1 0 848980137 13033472 1776 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3182 1776 566 18 0 3164 0
vsize: 12728
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1818 0 0 0 106473 566 0 0 25 0 1 0 848980137 13033472 1786 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3182 1786 566 18 0 3164 0
vsize: 12728
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1818 0 0 0 107468 571 0 0 25 0 1 0 848980137 13033472 1786 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3182 1786 566 18 0 3164 0
vsize: 12728
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1818 0 0 0 108462 577 0 0 25 0 1 0 848980137 13033472 1786 4294967295 134512640 134581267 3221224592 3221223264 1075290886 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3182 1786 566 18 0 3164 0
vsize: 12728
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1818 0 0 0 109457 583 0 0 25 0 1 0 848980137 13033472 1786 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3182 1786 566 18 0 3164 0
vsize: 12728
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1895 0 0 0 110453 587 0 0 25 0 1 0 848980137 13426688 1863 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3278 1863 566 18 0 3260 0
vsize: 13112
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1895 0 0 0 111448 592 0 0 25 0 1 0 848980137 13426688 1863 4294967295 134512640 134581267 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3278 1863 566 18 0 3260 0
vsize: 13112
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1895 0 0 0 112444 597 0 0 25 0 1 0 848980137 13398016 1863 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3271 1863 566 18 0 3253 0
vsize: 13084
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1895 0 0 0 113439 602 0 0 25 0 1 0 848980137 13389824 1863 4294967295 134512640 134581267 3221224592 3221223456 134528222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3269 1863 566 18 0 3251 0
vsize: 13076
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1895 0 0 0 114435 606 0 0 25 0 1 0 848980137 13381632 1863 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3267 1863 566 18 0 3249 0
vsize: 13068
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1895 0 0 0 115429 613 0 0 25 0 1 0 848980137 13381632 1863 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3267 1863 566 18 0 3249 0
vsize: 13068
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1895 0 0 0 116424 618 0 0 25 0 1 0 848980137 13381632 1863 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3267 1863 566 18 0 3249 0
vsize: 13068
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1895 0 0 0 117419 624 0 0 25 0 1 0 848980137 13381632 1863 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3267 1863 566 18 0 3249 0
vsize: 13068
[startup+1188.62 s]
Raw data (loadavg): 0.99 0.98 0.93 1/53 15486
Raw data (stat): 15486 (Pueblo-v2) R 15485 25568 25567 0 -1 0 1895 0 0 0 117419 624 0 0 25 0 1 0 848980137 13381632 1863 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3267 1863 566 18 0 3249 0
vsize: 0

Child status: 10
Real time (s): 1188.62
CPU time (s): 1189.01
CPU user time (s): 1182.72
CPU system time (s): 6.28404
CPU usage (%): 100.033
Max. virtual memory (Kb): 13112
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	5255
#### END VERIFIER DATA ####