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/primes-dimacs-cnf/normalized-ii8b1.opb
MD5SUM	812314147c77e28d5e428080c7a2412d
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	191
Optimality of the best value was proved	NO
Number of terms in the objective function	672
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	672
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	672
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03684
Number of variables	672
Total number of constraints	2404
Number of constraints which are clauses	2404
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	8
Trace number 38371

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-02 08:25:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26437 boxname=wulflinc5 idbench=167 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  812314147c77e28d5e428080c7a2412d  /oldhome/oroussel/tmp/wulflinc5/normalized-ii8b1.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-ii8b1.opb
IDLAUNCH: 26437
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        677140 kB
Buffers:         34616 kB
Cached:         299784 kB
SwapCached:        568 kB
Active:          53564 kB
Inactive:       282916 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        676888 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5140 kB
Slab:            15296 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 08:45:37 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26437 0 1189.01 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc5/normalized-ii8b1.opb
c #variables read: 672 - #constraints read: 2405
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 x652 -x653 x654 -x655 -x656 x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 x671 -x672 
#### 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 2044
Raw data (stat): 2044 (runsolver) R 2043 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 848332420 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.0003 s]
Raw data (loadavg): 0.93 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 990 0 0 0 992 6 0 0 25 0 1 0 848332420 9744384 964 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2379 964 566 18 0 2361 0
vsize: 9516
[startup+20 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 1124 0 0 0 1988 10 0 0 25 0 1 0 848332420 10268672 1098 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2507 1098 566 18 0 2489 0
vsize: 10028
[startup+30 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 1204 0 0 0 2985 13 0 0 25 0 1 0 848332420 10530816 1178 4294967295 134512640 134581267 3221224592 3221223504 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2571 1178 566 18 0 2553 0
vsize: 10284
[startup+40.0004 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 1299 0 0 0 3981 17 0 0 25 0 1 0 848332420 10924032 1273 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2667 1273 566 18 0 2649 0
vsize: 10668
[startup+50.0002 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 1322 0 0 0 4977 22 0 0 25 0 1 0 848332420 11055104 1296 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2699 1296 566 18 0 2681 0
vsize: 10796
[startup+60.0003 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 1422 0 0 0 5973 25 0 0 25 0 1 0 848332420 11448320 1396 4294967295 134512640 134581267 3221224592 3221223488 134517764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2795 1396 566 18 0 2777 0
vsize: 11180
[startup+70.0007 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 1439 0 0 0 6970 28 0 0 25 0 1 0 848332420 11579392 1413 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2827 1413 566 18 0 2809 0
vsize: 11308
[startup+80.0004 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 1503 0 0 0 7968 31 0 0 25 0 1 0 848332420 11857920 1477 4294967295 134512640 134581267 3221224592 3221223504 134527709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2895 1477 566 18 0 2877 0
vsize: 11580
[startup+90.0005 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 1523 0 0 0 8964 35 0 0 25 0 1 0 848332420 11857920 1497 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2895 1497 566 18 0 2877 0
vsize: 11580
[startup+99.9999 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 1542 0 0 0 9959 40 0 0 25 0 1 0 848332420 11988992 1516 4294967295 134512640 134581267 3221224592 3221223456 134528284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2927 1516 566 18 0 2909 0
vsize: 11708
[startup+110.001 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 1559 0 0 0 10955 44 0 0 25 0 1 0 848332420 11988992 1533 4294967295 134512640 134581267 3221224592 3221223456 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2927 1533 566 18 0 2909 0
vsize: 11708
[startup+120.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 1653 0 0 0 11951 49 0 0 25 0 1 0 848332420 12386304 1627 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3024 1627 566 18 0 3006 0
vsize: 12096
[startup+130.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 1695 0 0 0 12946 54 0 0 25 0 1 0 848332420 12648448 1669 4294967295 134512640 134581267 3221224592 3221223572 134561056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3088 1669 566 18 0 3070 0
vsize: 12352
[startup+140.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 1710 0 0 0 13942 58 0 0 25 0 1 0 848332420 12648448 1684 4294967295 134512640 134581267 3221224592 3221223456 134560389 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3088 1684 566 18 0 3070 0
vsize: 12352
[startup+150.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 1714 0 0 0 14938 62 0 0 25 0 1 0 848332420 12648448 1688 4294967295 134512640 134581267 3221224592 3221223456 134560389 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3088 1688 566 18 0 3070 0
vsize: 12352
[startup+160.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 1726 0 0 0 15934 66 0 0 25 0 1 0 848332420 12648448 1700 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3088 1700 566 18 0 3070 0
vsize: 12352
[startup+170.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 1746 0 0 0 16930 70 0 0 25 0 1 0 848332420 12742656 1720 4294967295 134512640 134581267 3221224592 3221223488 134517883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3111 1720 566 18 0 3093 0
vsize: 12444
[startup+180.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 1838 0 0 0 17926 75 0 0 25 0 1 0 848332420 13135872 1812 4294967295 134512640 134581267 3221224592 3221223520 134519869 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3207 1812 566 18 0 3189 0
vsize: 12828
[startup+190.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 1878 0 0 0 18923 78 0 0 25 0 1 0 848332420 13324288 1852 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3253 1852 566 18 0 3235 0
vsize: 13012
[startup+200.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 1890 0 0 0 19919 82 0 0 25 0 1 0 848332420 13324288 1864 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3253 1864 566 18 0 3235 0
vsize: 13012
[startup+210.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 1898 0 0 0 20914 87 0 0 25 0 1 0 848332420 13455360 1872 4294967295 134512640 134581267 3221224592 3221223488 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3285 1872 566 18 0 3267 0
vsize: 13140
[startup+220.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 1903 0 0 0 21910 91 0 0 25 0 1 0 848332420 13455360 1877 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3285 1877 566 18 0 3267 0
vsize: 13140
[startup+230.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 1910 0 0 0 22906 95 0 0 25 0 1 0 848332420 13455360 1884 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3285 1884 566 18 0 3267 0
vsize: 13140
[startup+240.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 1924 0 0 0 23902 100 0 0 25 0 1 0 848332420 13586432 1898 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3317 1898 566 18 0 3299 0
vsize: 13268
[startup+250.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 1934 0 0 0 24897 105 0 0 25 0 1 0 848332420 13586432 1908 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3317 1908 566 18 0 3299 0
vsize: 13268
[startup+260.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 1934 0 0 0 25894 108 0 0 25 0 1 0 848332420 13586432 1908 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3317 1908 566 18 0 3299 0
vsize: 13268
[startup+270.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2045 0 0 0 26890 112 0 0 25 0 1 0 848332420 13979648 2019 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3413 2019 566 18 0 3395 0
vsize: 13652
[startup+280.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2063 0 0 0 27886 117 0 0 25 0 1 0 848332420 14110720 2037 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3445 2037 566 18 0 3427 0
vsize: 13780
[startup+290.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2063 0 0 0 28883 119 0 0 25 0 1 0 848332420 14110720 2037 4294967295 134512640 134581267 3221224592 3221223504 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3445 2037 566 18 0 3427 0
vsize: 13780
[startup+300.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2067 0 0 0 29880 123 0 0 25 0 1 0 848332420 14110720 2041 4294967295 134512640 134581267 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3445 2041 566 18 0 3427 0
vsize: 13780
[startup+310.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2081 0 0 0 30877 126 0 0 25 0 1 0 848332420 14110720 2055 4294967295 134512640 134581267 3221224592 3221223536 134558698 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3445 2055 566 18 0 3427 0
vsize: 13780
[startup+320.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2115 0 0 0 31874 129 0 0 25 0 1 0 848332420 14241792 2089 4294967295 134512640 134581267 3221224592 3221223228 1075289249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3477 2089 566 18 0 3459 0
vsize: 13908
[startup+330.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2115 0 0 0 32870 134 0 0 25 0 1 0 848332420 14241792 2089 4294967295 134512640 134581267 3221224592 3221223456 134528289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3477 2089 566 18 0 3459 0
vsize: 13908
[startup+340.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2115 0 0 0 33866 137 0 0 25 0 1 0 848332420 14241792 2089 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3477 2089 566 18 0 3459 0
vsize: 13908
[startup+350.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2131 0 0 0 34862 142 0 0 25 0 1 0 848332420 14372864 2105 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3509 2105 566 18 0 3491 0
vsize: 14036
[startup+360.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2145 0 0 0 35858 146 0 0 25 0 1 0 848332420 14372864 2119 4294967295 134512640 134581267 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3509 2119 566 18 0 3491 0
vsize: 14036
[startup+370.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2147 0 0 0 36853 151 0 0 25 0 1 0 848332420 14372864 2121 4294967295 134512640 134581267 3221224592 3221223520 134519809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3509 2121 566 18 0 3491 0
vsize: 14036
[startup+380.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2149 0 0 0 37848 156 0 0 25 0 1 0 848332420 14503936 2123 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3541 2123 566 18 0 3523 0
vsize: 14164
[startup+390.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2153 0 0 0 38843 161 0 0 25 0 1 0 848332420 14503936 2127 4294967295 134512640 134581267 3221224592 3221223368 1075291317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3541 2127 566 18 0 3523 0
vsize: 14164
[startup+400.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2154 0 0 0 39839 166 0 0 25 0 1 0 848332420 14503936 2128 4294967295 134512640 134581267 3221224592 3221223456 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3541 2128 566 18 0 3523 0
vsize: 14164
[startup+410.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2266 0 0 0 40835 169 0 0 25 0 1 0 848332420 14888960 2240 4294967295 134512640 134581267 3221224592 3221223536 134558830 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3635 2240 566 18 0 3617 0
vsize: 14540
[startup+420.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2294 0 0 0 41831 174 0 0 25 0 1 0 848332420 15011840 2268 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3665 2268 566 18 0 3647 0
vsize: 14660
[startup+430.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2300 0 0 0 42827 178 0 0 25 0 1 0 848332420 15011840 2274 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3665 2274 566 18 0 3647 0
vsize: 14660
[startup+440.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2312 0 0 0 43822 183 0 0 25 0 1 0 848332420 15142912 2286 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3697 2286 566 18 0 3679 0
vsize: 14788
[startup+450.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2329 0 0 0 44818 188 0 0 25 0 1 0 848332420 15142912 2303 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3697 2303 566 18 0 3679 0
vsize: 14788
[startup+460.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2337 0 0 0 45814 191 0 0 25 0 1 0 848332420 15273984 2311 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3729 2311 566 18 0 3711 0
vsize: 14916
[startup+470.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2340 0 0 0 46809 196 0 0 25 0 1 0 848332420 15273984 2314 4294967295 134512640 134581267 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3729 2314 566 18 0 3711 0
vsize: 14916
[startup+480.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2347 0 0 0 47805 201 0 0 25 0 1 0 848332420 15273984 2321 4294967295 134512640 134581267 3221224592 3221223456 134528315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3729 2321 566 18 0 3711 0
vsize: 14916
[startup+490.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2349 0 0 0 48801 205 0 0 25 0 1 0 848332420 15273984 2323 4294967295 134512640 134581267 3221224592 3221223472 134520302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3729 2323 566 18 0 3711 0
vsize: 14916
[startup+500.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2362 0 0 0 49796 210 0 0 25 0 1 0 848332420 15273984 2336 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3729 2336 566 18 0 3711 0
vsize: 14916
[startup+510.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2362 0 0 0 50794 212 0 0 25 0 1 0 848332420 15273984 2336 4294967295 134512640 134581267 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3729 2336 566 18 0 3711 0
vsize: 14916
[startup+520.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2368 0 0 0 51791 216 0 0 25 0 1 0 848332420 15405056 2342 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3761 2342 566 18 0 3743 0
vsize: 15044
[startup+530.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2369 0 0 0 52786 221 0 0 25 0 1 0 848332420 15392768 2343 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3758 2343 566 18 0 3740 0
vsize: 15032
[startup+540.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2374 0 0 0 53781 226 0 0 25 0 1 0 848332420 15392768 2348 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3758 2348 566 18 0 3740 0
vsize: 15032
[startup+550.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2386 0 0 0 54778 229 0 0 25 0 1 0 848332420 15392768 2360 4294967295 134512640 134581267 3221224592 3221223184 1075290935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3758 2360 566 18 0 3740 0
vsize: 15032
[startup+560.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2386 0 0 0 55775 232 0 0 25 0 1 0 848332420 15392768 2360 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3758 2360 566 18 0 3740 0
vsize: 15032
[startup+570.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2393 0 0 0 56771 236 0 0 25 0 1 0 848332420 15523840 2367 4294967295 134512640 134581267 3221224592 3221223472 134520219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3790 2367 566 18 0 3772 0
vsize: 15160
[startup+580.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2403 0 0 0 57768 240 0 0 25 0 1 0 848332420 15523840 2377 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3790 2377 566 18 0 3772 0
vsize: 15160
[startup+590.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2406 0 0 0 58763 244 0 0 25 0 1 0 848332420 15523840 2380 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3790 2380 566 18 0 3772 0
vsize: 15160
[startup+600.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2406 0 0 0 59760 248 0 0 25 0 1 0 848332420 15523840 2380 4294967295 134512640 134581267 3221224592 3221223456 134528249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3790 2380 566 18 0 3772 0
vsize: 15160
[startup+610.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2407 0 0 0 60756 252 0 0 25 0 1 0 848332420 15523840 2381 4294967295 134512640 134581267 3221224592 3221223404 1075285664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3790 2381 566 18 0 3772 0
vsize: 15160
[startup+620.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2516 0 0 0 61752 256 0 0 25 0 1 0 848332420 15917056 2490 4294967295 134512640 134581267 3221224592 3221223456 134528284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3886 2490 566 18 0 3868 0
vsize: 15544
[startup+630.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2538 0 0 0 62749 260 0 0 25 0 1 0 848332420 16048128 2512 4294967295 134512640 134581267 3221224592 3221223456 134528222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3918 2512 566 18 0 3900 0
vsize: 15672
[startup+640.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2543 0 0 0 63745 264 0 0 25 0 1 0 848332420 16048128 2517 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3918 2517 566 18 0 3900 0
vsize: 15672
[startup+650.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2545 0 0 0 64741 268 0 0 25 0 1 0 848332420 16048128 2519 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3918 2519 566 18 0 3900 0
vsize: 15672
[startup+660.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2545 0 0 0 65737 272 0 0 25 0 1 0 848332420 16048128 2519 4294967295 134512640 134581267 3221224592 3221223536 134558806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3918 2519 566 18 0 3900 0
vsize: 15672
[startup+670.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2545 0 0 0 66732 277 0 0 25 0 1 0 848332420 16048128 2519 4294967295 134512640 134581267 3221224592 3221223456 134560284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3918 2519 566 18 0 3900 0
vsize: 15672
[startup+680.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2561 0 0 0 67727 282 0 0 25 0 1 0 848332420 16179200 2535 4294967295 134512640 134581267 3221224592 3221223504 134527779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3950 2535 566 18 0 3932 0
vsize: 15800
[startup+690.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2561 0 0 0 68725 285 0 0 25 0 1 0 848332420 16179200 2535 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3950 2535 566 18 0 3932 0
vsize: 15800
[startup+700.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2561 0 0 0 69721 289 0 0 25 0 1 0 848332420 16179200 2535 4294967295 134512640 134581267 3221224592 3221223520 134519817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3950 2535 566 18 0 3932 0
vsize: 15800
[startup+710.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2574 0 0 0 70718 292 0 0 25 0 1 0 848332420 16314368 2548 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3983 2548 566 18 0 3965 0
vsize: 15932
[startup+720.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2592 0 0 0 71714 296 0 0 25 0 1 0 848332420 16314368 2566 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3983 2566 566 18 0 3965 0
vsize: 15932
[startup+730.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2599 0 0 0 72711 300 0 0 25 0 1 0 848332420 16314368 2573 4294967295 134512640 134581267 3221224592 3221223524 1075289779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3983 2573 566 18 0 3965 0
vsize: 15932
[startup+740.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2599 0 0 0 73706 304 0 0 25 0 1 0 848332420 16314368 2573 4294967295 134512640 134581267 3221224592 3221223456 134528249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3983 2573 566 18 0 3965 0
vsize: 15932
[startup+750.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2599 0 0 0 74702 309 0 0 25 0 1 0 848332420 16314368 2573 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3983 2573 566 18 0 3965 0
vsize: 15932
[startup+760.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2609 0 0 0 75699 312 0 0 25 0 1 0 848332420 16412672 2583 4294967295 134512640 134581267 3221224592 3221223456 134528216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4007 2583 566 18 0 3989 0
vsize: 16028
[startup+770.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2609 0 0 0 76695 316 0 0 25 0 1 0 848332420 16412672 2583 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4007 2583 566 18 0 3989 0
vsize: 16028
[startup+780.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2609 0 0 0 77690 321 0 0 25 0 1 0 848332420 16412672 2583 4294967295 134512640 134581267 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4007 2583 566 18 0 3989 0
vsize: 16028
[startup+790.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2609 0 0 0 78687 325 0 0 25 0 1 0 848332420 16412672 2583 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4007 2583 566 18 0 3989 0
vsize: 16028
[startup+800.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2609 0 0 0 79683 329 0 0 25 0 1 0 848332420 16412672 2583 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4007 2583 566 18 0 3989 0
vsize: 16028
[startup+810.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2628 0 0 0 80679 333 0 0 25 0 1 0 848332420 16535552 2602 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4037 2602 566 18 0 4019 0
vsize: 16148
[startup+820.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2628 0 0 0 81675 337 0 0 25 0 1 0 848332420 16535552 2602 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4037 2602 566 18 0 4019 0
vsize: 16148
[startup+830.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2628 0 0 0 82673 340 0 0 25 0 1 0 848332420 16535552 2602 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4037 2602 566 18 0 4019 0
vsize: 16148
[startup+840.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2632 0 0 0 83668 345 0 0 25 0 1 0 848332420 16535552 2606 4294967295 134512640 134581267 3221224592 3221223536 134559228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4037 2606 566 18 0 4019 0
vsize: 16148
[startup+850.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2632 0 0 0 84664 348 0 0 25 0 1 0 848332420 16535552 2606 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4037 2606 566 18 0 4019 0
vsize: 16148
[startup+860.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2635 0 0 0 85662 351 0 0 25 0 1 0 848332420 16535552 2609 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4037 2609 566 18 0 4019 0
vsize: 16148
[startup+870.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2635 0 0 0 86658 355 0 0 25 0 1 0 848332420 16535552 2609 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4037 2609 566 18 0 4019 0
vsize: 16148
[startup+880.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2635 0 0 0 87654 359 0 0 25 0 1 0 848332420 16535552 2609 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4037 2609 566 18 0 4019 0
vsize: 16148
[startup+890.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2635 0 0 0 88650 364 0 0 25 0 1 0 848332420 16535552 2609 4294967295 134512640 134581267 3221224592 3221223504 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4037 2609 566 18 0 4019 0
vsize: 16148
[startup+900.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2635 0 0 0 89645 369 0 0 25 0 1 0 848332420 16535552 2609 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4037 2609 566 18 0 4019 0
vsize: 16148
[startup+910.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2635 0 0 0 90640 374 0 0 25 0 1 0 848332420 16535552 2609 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4037 2609 566 18 0 4019 0
vsize: 16148
[startup+920.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2635 0 0 0 91636 378 0 0 25 0 1 0 848332420 16535552 2609 4294967295 134512640 134581267 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4037 2609 566 18 0 4019 0
vsize: 16148
[startup+930.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2635 0 0 0 92632 383 0 0 25 0 1 0 848332420 16535552 2609 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4037 2609 566 18 0 4019 0
vsize: 16148
[startup+940.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2745 0 0 0 93628 386 0 0 25 0 1 0 848332420 16928768 2719 4294967295 134512640 134581267 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4133 2719 566 18 0 4115 0
vsize: 16532
[startup+950.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2763 0 0 0 94624 391 0 0 25 0 1 0 848332420 17084416 2737 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4171 2737 566 18 0 4153 0
vsize: 16684
[startup+960.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2798 0 0 0 95619 396 0 0 25 0 1 0 848332420 17215488 2772 4294967295 134512640 134581267 3221224592 3221223664 134531369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4203 2772 566 18 0 4185 0
vsize: 16812
[startup+970.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2808 0 0 0 96615 401 0 0 25 0 1 0 848332420 17215488 2782 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4203 2782 566 18 0 4185 0
vsize: 16812
[startup+980.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2817 0 0 0 97610 405 0 0 25 0 1 0 848332420 17215488 2791 4294967295 134512640 134581267 3221224592 3221223456 134528299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4203 2791 566 18 0 4185 0
vsize: 16812
[startup+990.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2827 0 0 0 98606 410 0 0 25 0 1 0 848332420 17346560 2801 4294967295 134512640 134581267 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4235 2801 566 18 0 4217 0
vsize: 16940
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2829 0 0 0 99603 412 0 0 25 0 1 0 848332420 17346560 2803 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4235 2803 566 18 0 4217 0
vsize: 16940
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2829 0 0 0 100600 416 0 0 25 0 1 0 848332420 17346560 2803 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4235 2803 566 18 0 4217 0
vsize: 16940
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2829 0 0 0 101596 420 0 0 25 0 1 0 848332420 17342464 2803 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4234 2803 566 18 0 4216 0
vsize: 16936
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2841 0 0 0 102592 425 0 0 25 0 1 0 848332420 17342464 2815 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4234 2815 566 18 0 4216 0
vsize: 16936
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2841 0 0 0 103588 428 0 0 25 0 1 0 848332420 17342464 2815 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4234 2815 566 18 0 4216 0
vsize: 16936
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2849 0 0 0 104585 432 0 0 25 0 1 0 848332420 17485824 2823 4294967295 134512640 134581267 3221224592 3221223456 134528249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4269 2823 566 18 0 4251 0
vsize: 17076
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2849 0 0 0 105582 435 0 0 25 0 1 0 848332420 17485824 2823 4294967295 134512640 134581267 3221224592 3221223560 134519777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4269 2823 566 18 0 4251 0
vsize: 17076
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2854 0 0 0 106578 439 0 0 25 0 1 0 848332420 17485824 2828 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4269 2828 566 18 0 4251 0
vsize: 17076
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2864 0 0 0 107575 443 0 0 25 0 1 0 848332420 17485824 2838 4294967295 134512640 134581267 3221224592 3221223456 134560172 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4269 2838 566 18 0 4251 0
vsize: 17076
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2875 0 0 0 108571 447 0 0 25 0 1 0 848332420 17485824 2849 4294967295 134512640 134581267 3221224592 3221223520 134519869 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4269 2849 566 18 0 4251 0
vsize: 17076
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2875 0 0 0 109566 451 0 0 25 0 1 0 848332420 17485824 2849 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4269 2849 566 18 0 4251 0
vsize: 17076
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2882 0 0 0 110561 456 0 0 25 0 1 0 848332420 17649664 2856 4294967295 134512640 134581267 3221224592 3221223504 134527739 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4309 2856 566 18 0 4291 0
vsize: 17236
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2882 0 0 0 111557 461 0 0 25 0 1 0 848332420 17649664 2856 4294967295 134512640 134581267 3221224592 3221223456 134560451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4309 2856 566 18 0 4291 0
vsize: 17236
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2882 0 0 0 112553 465 0 0 25 0 1 0 848332420 17649664 2856 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4309 2856 566 18 0 4291 0
vsize: 17236
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2882 0 0 0 113549 469 0 0 25 0 1 0 848332420 17649664 2856 4294967295 134512640 134581267 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4309 2856 566 18 0 4291 0
vsize: 17236
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2893 0 0 0 114547 472 0 0 25 0 1 0 848332420 17649664 2867 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4309 2867 566 18 0 4291 0
vsize: 17236
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2899 0 0 0 115542 477 0 0 25 0 1 0 848332420 17649664 2873 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4309 2873 566 18 0 4291 0
vsize: 17236
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2899 0 0 0 116538 481 0 0 25 0 1 0 848332420 17649664 2873 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4309 2873 566 18 0 4291 0
vsize: 17236
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2899 0 0 0 117535 484 0 0 25 0 1 0 848332420 17649664 2873 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4309 2873 566 18 0 4291 0
vsize: 17236
[startup+1188.82 s]
Raw data (loadavg): 0.99 0.98 0.93 1/53 2044
Raw data (stat): 2044 (Pueblo-v2) R 2043 7266 7265 0 -1 0 2899 0 0 0 117535 484 0 0 25 0 1 0 848332420 17649664 2873 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4309 2873 566 18 0 4291 0
vsize: 0

Child status: 10
Real time (s): 1188.82
CPU time (s): 1189.01
CPU user time (s): 1184.13
CPU system time (s): 4.87526
CPU usage (%): 100.016
Max. virtual memory (Kb): 17236
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	216
#### END VERIFIER DATA ####