PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/logic-synthesis/normalized-alu4.b.opb
MD5SUM	db06e7fbd4f70a4af68f8f196fdb3636
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	50
Optimality of the best value was proved	NO
Number of terms in the objective function	808
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	808
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	808
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.03884
Number of variables	807
Total number of constraints	1838
Number of constraints which are clauses	1823
Number of constraints which are cardinality constraints (but not clauses)	15
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	98
Trace number 38265

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-02 05:56:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26331 boxname=wulflinc1 idbench=61 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  db06e7fbd4f70a4af68f8f196fdb3636  /oldhome/oroussel/tmp/wulflinc1/normalized-alu4.b.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-alu4.b.opb
IDLAUNCH: 26331
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        677468 kB
Buffers:         33756 kB
Cached:         299416 kB
SwapCached:        640 kB
Active:          67752 kB
Inactive:       267652 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        677216 kB
SwapTotal:     2097136 kB
SwapFree:      2095412 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5824 kB
Slab:            16036 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 06:16:16 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26331 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/wulflinc1/normalized-alu4.b.opb
c #variables read: 808 - #constraints read: 1711
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 -x673 -x674 x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 x697 -x698 -x699 -x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 -x730 -x731 -x732 -x733 x734 -x735 x736 -x737 x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 x766 x767 x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 x803 -x804 -x805 -x806 x807 -x808 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.95 0.90 2/55 30777
Raw data (stat): 30777 (runsolver) R 30776 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 790579456 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.0005 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 30777
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 658 0 0 0 989 10 0 0 25 0 1 0 790579456 8314880 632 4294967295 134512640 134581267 3221224592 3221223456 134528240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2030 632 566 18 0 2012 0
vsize: 8120
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 30777
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 721 0 0 0 1980 17 0 0 25 0 1 0 790579456 8581120 695 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2095 695 566 18 0 2077 0
vsize: 8380
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 30777
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 790 0 0 0 2971 26 0 0 25 0 1 0 790579456 8843264 764 4294967295 134512640 134581267 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2159 764 566 18 0 2141 0
vsize: 8636
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 30777
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 913 0 0 0 3958 40 0 0 25 0 1 0 790579456 9371648 887 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2288 887 566 18 0 2270 0
vsize: 9152
[startup+50.0014 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 30777
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 913 0 0 0 4945 53 0 0 25 0 1 0 790579456 9347072 887 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2282 887 566 18 0 2264 0
vsize: 9128
[startup+60.0012 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 30777
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 913 0 0 0 5937 61 0 0 25 0 1 0 790579456 9347072 887 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2282 887 566 18 0 2264 0
vsize: 9128
[startup+70.001 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 30777
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 913 0 0 0 6929 70 0 0 25 0 1 0 790579456 9347072 887 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2282 887 566 18 0 2264 0
vsize: 9128
[startup+80.0018 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 30777
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 945 0 0 0 7916 82 0 0 25 0 1 0 790579456 9469952 919 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2312 919 566 18 0 2294 0
vsize: 9248
[startup+90.0015 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 30777
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 948 0 0 0 8906 93 0 0 25 0 1 0 790579456 9469952 922 4294967295 134512640 134581267 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2312 922 566 18 0 2294 0
vsize: 9248
[startup+100.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 30777
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 963 0 0 0 9896 103 0 0 25 0 1 0 790579456 9601024 937 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2344 937 566 18 0 2326 0
vsize: 9376
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 30777
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 1066 0 0 0 10884 115 0 0 25 0 1 0 790579456 9994240 1040 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2440 1040 566 18 0 2422 0
vsize: 9760
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30777
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 1082 0 0 0 11877 123 0 0 25 0 1 0 790579456 9994240 1056 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2440 1056 566 18 0 2422 0
vsize: 9760
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30777
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 1087 0 0 0 12870 129 0 0 25 0 1 0 790579456 10125312 1061 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2472 1061 566 18 0 2454 0
vsize: 9888
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30777
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 1087 0 0 0 13861 138 0 0 25 0 1 0 790579456 10125312 1061 4294967295 134512640 134581267 3221224592 3221223504 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2472 1061 566 18 0 2454 0
vsize: 9888
[startup+150.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30777
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 1111 0 0 0 14851 149 0 0 25 0 1 0 790579456 10125312 1085 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2472 1085 566 18 0 2454 0
vsize: 9888
[startup+160.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30777
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 1111 0 0 0 15842 158 0 0 25 0 1 0 790579456 10125312 1085 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2472 1085 566 18 0 2454 0
vsize: 9888
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30777
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 1121 0 0 0 16835 164 0 0 25 0 1 0 790579456 10256384 1095 4294967295 134512640 134581267 3221224592 3221223456 134528352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2504 1095 566 18 0 2486 0
vsize: 10016
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30777
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 1190 0 0 0 17830 170 0 0 25 0 1 0 790579456 10526720 1164 4294967295 134512640 134581267 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2570 1164 566 18 0 2552 0
vsize: 10280
[startup+190 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30777
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 1231 0 0 0 18827 174 0 0 25 0 1 0 790579456 10657792 1205 4294967295 134512640 134581267 3221224592 3221223536 134559268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2602 1205 566 18 0 2584 0
vsize: 10408
[startup+200 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30777
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 1231 0 0 0 19823 177 0 0 25 0 1 0 790579456 10657792 1205 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2602 1205 566 18 0 2584 0
vsize: 10408
[startup+210 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30777
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 1231 0 0 0 20820 181 0 0 25 0 1 0 790579456 10657792 1205 4294967295 134512640 134581267 3221224592 3221223504 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2602 1205 566 18 0 2584 0
vsize: 10408
[startup+220 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30777
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 1231 0 0 0 21816 185 0 0 25 0 1 0 790579456 10657792 1205 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2602 1205 566 18 0 2584 0
vsize: 10408
[startup+230 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30830
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 1231 0 0 0 22811 190 0 0 25 0 1 0 790579456 10657792 1205 4294967295 134512640 134581267 3221224592 3221223584 134561043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2602 1205 566 18 0 2584 0
vsize: 10408
[startup+239.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30830
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 1231 0 0 0 23807 194 0 0 25 0 1 0 790579456 10657792 1205 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2602 1205 566 18 0 2584 0
vsize: 10408
[startup+249.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30830
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 1231 0 0 0 24803 198 0 0 25 0 1 0 790579456 10657792 1205 4294967295 134512640 134581267 3221224592 3221223484 134560148 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2602 1205 566 18 0 2584 0
vsize: 10408
[startup+260 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30830
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 1245 0 0 0 25792 209 0 0 25 0 1 0 790579456 10801152 1219 4294967295 134512640 134581267 3221224592 3221223520 134519823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2637 1219 566 18 0 2619 0
vsize: 10548
[startup+270 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30830
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 1326 0 0 0 26778 223 0 0 25 0 1 0 790579456 11063296 1300 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2701 1300 566 18 0 2683 0
vsize: 10804
[startup+279.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30832
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 1360 0 0 0 27765 236 0 0 25 0 1 0 790579456 11194368 1334 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2733 1334 566 18 0 2715 0
vsize: 10932
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30834
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 1360 0 0 0 28745 256 0 0 25 0 1 0 790579456 11194368 1334 4294967295 134512640 134581267 3221224592 3221223456 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2733 1334 566 18 0 2715 0
vsize: 10932
[startup+300 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30834
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 1807 0 0 0 29728 274 0 0 25 0 1 0 790579456 13029376 1781 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 1781 566 18 0 3163 0
vsize: 12724
[startup+310 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30834
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 1807 0 0 0 30710 292 0 0 25 0 1 0 790579456 12136448 1577 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2963 1577 566 18 0 2945 0
vsize: 11852
[startup+320 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30834
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 1807 0 0 0 31691 311 0 0 25 0 1 0 790579456 12132352 1576 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2962 1576 566 18 0 2944 0
vsize: 11848
[startup+330 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30834
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 1807 0 0 0 32675 327 0 0 25 0 1 0 790579456 12132352 1576 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2962 1576 566 18 0 2944 0
vsize: 11848
[startup+340 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30834
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 1807 0 0 0 33659 344 0 0 25 0 1 0 790579456 12132352 1576 4294967295 134512640 134581267 3221224592 3221223456 134528310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2962 1576 566 18 0 2944 0
vsize: 11848
[startup+350 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30834
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 1807 0 0 0 34647 356 0 0 25 0 1 0 790579456 12132352 1576 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2962 1576 566 18 0 2944 0
vsize: 11848
[startup+360.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30834
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 1807 0 0 0 35636 367 0 0 25 0 1 0 790579456 12132352 1576 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2962 1576 566 18 0 2944 0
vsize: 11848
[startup+370 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30834
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 1807 0 0 0 36622 382 0 0 25 0 1 0 790579456 12132352 1576 4294967295 134512640 134581267 3221224592 3221223504 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2962 1576 566 18 0 2944 0
vsize: 11848
[startup+380 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30834
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 1807 0 0 0 37614 390 0 0 25 0 1 0 790579456 12132352 1576 4294967295 134512640 134581267 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2962 1576 566 18 0 2944 0
vsize: 11848
[startup+390 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30834
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 1835 0 0 0 38608 396 0 0 25 0 1 0 790579456 12263424 1604 4294967295 134512640 134581267 3221224592 3221223456 134528352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2994 1604 566 18 0 2976 0
vsize: 11976
[startup+400 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30834
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 2539 0 0 0 39603 401 0 0 25 0 1 0 790579456 15147008 2308 4294967295 134512640 134581267 3221224592 3221223536 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3698 2308 566 18 0 3680 0
vsize: 14792
[startup+410 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30834
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 2633 0 0 0 40600 404 0 0 25 0 1 0 790579456 14934016 2260 4294967295 134512640 134581267 3221224592 3221223644 1075285472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3646 2260 566 18 0 3628 0
vsize: 14584
[startup+419.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30834
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 2646 0 0 0 41596 408 0 0 25 0 1 0 790579456 14721024 2189 4294967295 134512640 134581267 3221224592 3221223008 134566368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3594 2189 566 18 0 3576 0
vsize: 14376
[startup+430 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30834
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 2657 0 0 0 42592 412 0 0 25 0 1 0 790579456 14721024 2200 4294967295 134512640 134581267 3221224592 3221223504 134531369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3594 2200 566 18 0 3576 0
vsize: 14376
[startup+440 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30834
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 2657 0 0 0 43589 415 0 0 25 0 1 0 790579456 14323712 2111 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3497 2111 566 18 0 3479 0
vsize: 13988
[startup+450 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30834
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 2657 0 0 0 44584 421 0 0 25 0 1 0 790579456 14323712 2111 4294967295 134512640 134581267 3221224592 3221223504 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3497 2111 566 18 0 3479 0
vsize: 13988
[startup+459.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30834
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 3273 0 0 0 45578 426 0 0 25 0 1 0 790579456 16945152 2727 4294967295 134512640 134581267 3221224592 3221223472 134520297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4137 2727 566 18 0 4119 0
vsize: 16548
[startup+470 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30834
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 3273 0 0 0 46574 431 0 0 25 0 1 0 790579456 15904768 2497 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3883 2497 566 18 0 3865 0
vsize: 15532
[startup+480 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30834
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 3273 0 0 0 47569 436 0 0 25 0 1 0 790579456 14323712 2111 4294967295 134512640 134581267 3221224592 3221223504 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3497 2111 566 18 0 3479 0
vsize: 13988
[startup+490 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30834
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 3273 0 0 0 48562 443 0 0 25 0 1 0 790579456 14323712 2111 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3497 2111 566 18 0 3479 0
vsize: 13988
[startup+500 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30834
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 3273 0 0 0 49556 450 0 0 25 0 1 0 790579456 14323712 2111 4294967295 134512640 134581267 3221224592 3221223456 134528318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3497 2111 566 18 0 3479 0
vsize: 13988
[startup+509.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30834
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 3273 0 0 0 50550 456 0 0 25 0 1 0 790579456 14323712 2111 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3497 2111 566 18 0 3479 0
vsize: 13988
[startup+519.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30834
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 3273 0 0 0 51543 462 0 0 25 0 1 0 790579456 14323712 2111 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3497 2111 566 18 0 3479 0
vsize: 13988
[startup+529.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30834
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 3273 0 0 0 52540 466 0 0 25 0 1 0 790579456 14323712 2111 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3497 2111 566 18 0 3479 0
vsize: 13988
[startup+540 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30834
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 3273 0 0 0 53535 472 0 0 25 0 1 0 790579456 14323712 2111 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3497 2111 566 18 0 3479 0
vsize: 13988
[startup+550 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 3273 0 0 0 54531 475 0 0 25 0 1 0 790579456 14323712 2111 4294967295 134512640 134581267 3221224592 3221223456 134528338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3497 2111 566 18 0 3479 0
vsize: 13988
[startup+559.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 3273 0 0 0 55525 481 0 0 25 0 1 0 790579456 14323712 2111 4294967295 134512640 134581267 3221224592 3221223340 1075285163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3497 2111 566 18 0 3479 0
vsize: 13988
[startup+569.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 3273 0 0 0 56520 486 0 0 25 0 1 0 790579456 14323712 2111 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3497 2111 566 18 0 3479 0
vsize: 13988
[startup+579.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 3273 0 0 0 57513 493 0 0 25 0 1 0 790579456 14323712 2111 4294967295 134512640 134581267 3221224592 3221223584 134561093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3497 2111 566 18 0 3479 0
vsize: 13988
[startup+589.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 3273 0 0 0 58509 498 0 0 25 0 1 0 790579456 14323712 2111 4294967295 134512640 134581267 3221224592 3221223488 134517764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3497 2111 566 18 0 3479 0
vsize: 13988
[startup+599.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 3273 0 0 0 59503 504 0 0 25 0 1 0 790579456 14323712 2111 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3497 2111 566 18 0 3479 0
vsize: 13988
[startup+609.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 3273 0 0 0 60499 508 0 0 25 0 1 0 790579456 14323712 2111 4294967295 134512640 134581267 3221224592 3221223552 134516751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3497 2111 566 18 0 3479 0
vsize: 13988
[startup+619.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 3273 0 0 0 61493 514 0 0 25 0 1 0 790579456 14323712 2111 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3497 2111 566 18 0 3479 0
vsize: 13988
[startup+629.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 3273 0 0 0 62483 524 0 0 25 0 1 0 790579456 14323712 2111 4294967295 134512640 134581267 3221224592 3221223552 134516723 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3497 2111 566 18 0 3479 0
vsize: 13988
[startup+639.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 3273 0 0 0 63474 534 0 0 25 0 1 0 790579456 14323712 2111 4294967295 134512640 134581267 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3497 2111 566 18 0 3479 0
vsize: 13988
[startup+649.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 3273 0 0 0 64467 541 0 0 25 0 1 0 790579456 14323712 2111 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3497 2111 566 18 0 3479 0
vsize: 13988
[startup+659.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 3273 0 0 0 65459 549 0 0 25 0 1 0 790579456 14323712 2111 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3497 2111 566 18 0 3479 0
vsize: 13988
[startup+669.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 3273 0 0 0 66452 557 0 0 25 0 1 0 790579456 14323712 2111 4294967295 134512640 134581267 3221224592 3221223536 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3497 2111 566 18 0 3479 0
vsize: 13988
[startup+680 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 3273 0 0 0 67441 567 0 0 25 0 1 0 790579456 14323712 2111 4294967295 134512640 134581267 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3497 2111 566 18 0 3479 0
vsize: 13988
[startup+690 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 3273 0 0 0 68432 577 0 0 25 0 1 0 790579456 14323712 2111 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3497 2111 566 18 0 3479 0
vsize: 13988
[startup+699.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 3273 0 0 0 69423 586 0 0 25 0 1 0 790579456 14323712 2111 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3497 2111 566 18 0 3479 0
vsize: 13988
[startup+710 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 3273 0 0 0 70415 594 0 0 25 0 1 0 790579456 14323712 2111 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3497 2111 566 18 0 3479 0
vsize: 13988
[startup+720 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 3273 0 0 0 71408 601 0 0 25 0 1 0 790579456 14323712 2111 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3497 2111 566 18 0 3479 0
vsize: 13988
[startup+730.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 3273 0 0 0 72401 608 0 0 25 0 1 0 790579456 14323712 2111 4294967295 134512640 134581267 3221224592 3221223584 134561104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3497 2111 566 18 0 3479 0
vsize: 13988
[startup+740 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 3273 0 0 0 73395 615 0 0 25 0 1 0 790579456 14323712 2111 4294967295 134512640 134581267 3221224592 3221223456 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3497 2111 566 18 0 3479 0
vsize: 13988
[startup+750 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4101 0 0 0 74386 623 0 0 25 0 1 0 790579456 17731584 2939 4294967295 134512640 134581267 3221224592 3221223520 134520078 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4329 2939 566 18 0 4311 0
vsize: 17316
[startup+760 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4267 0 0 0 75381 629 0 0 25 0 1 0 790579456 18518016 3105 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4521 3105 566 18 0 4503 0
vsize: 18084
[startup+770 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4267 0 0 0 76375 635 0 0 25 0 1 0 790579456 18108416 3034 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4421 3034 566 18 0 4403 0
vsize: 17684
[startup+780 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4267 0 0 0 77369 641 0 0 25 0 1 0 790579456 18096128 3031 4294967295 134512640 134581267 3221224592 3221223664 134531368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4418 3031 566 18 0 4400 0
vsize: 17672
[startup+790 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4267 0 0 0 78361 649 0 0 25 0 1 0 790579456 17637376 2919 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2919 566 18 0 4288 0
vsize: 17224
[startup+800 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4267 0 0 0 79355 655 0 0 25 0 1 0 790579456 17637376 2919 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2919 566 18 0 4288 0
vsize: 17224
[startup+810.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4267 0 0 0 80346 665 0 0 25 0 1 0 790579456 17637376 2919 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2919 566 18 0 4288 0
vsize: 17224
[startup+820.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4267 0 0 0 81339 672 0 0 25 0 1 0 790579456 17637376 2919 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2919 566 18 0 4288 0
vsize: 17224
[startup+830.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4267 0 0 0 82333 678 0 0 25 0 1 0 790579456 17637376 2919 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2919 566 18 0 4288 0
vsize: 17224
[startup+840 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4267 0 0 0 83324 687 0 0 25 0 1 0 790579456 17637376 2919 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2919 566 18 0 4288 0
vsize: 17224
[startup+850 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4267 0 0 0 84316 695 0 0 25 0 1 0 790579456 17637376 2919 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2919 566 18 0 4288 0
vsize: 17224
[startup+860 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4267 0 0 0 85311 700 0 0 25 0 1 0 790579456 17637376 2919 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2919 566 18 0 4288 0
vsize: 17224
[startup+870 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4267 0 0 0 86307 704 0 0 25 0 1 0 790579456 17637376 2919 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2919 566 18 0 4288 0
vsize: 17224
[startup+880 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4267 0 0 0 87301 711 0 0 25 0 1 0 790579456 17637376 2919 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2919 566 18 0 4288 0
vsize: 17224
[startup+890.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4267 0 0 0 88296 716 0 0 25 0 1 0 790579456 17637376 2919 4294967295 134512640 134581267 3221224592 3221223456 134560389 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2919 566 18 0 4288 0
vsize: 17224
[startup+900 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4267 0 0 0 89293 719 0 0 25 0 1 0 790579456 17637376 2919 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2919 566 18 0 4288 0
vsize: 17224
[startup+910.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4267 0 0 0 90290 723 0 0 25 0 1 0 790579456 17637376 2919 4294967295 134512640 134581267 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2919 566 18 0 4288 0
vsize: 17224
[startup+920 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4268 0 0 0 91284 729 0 0 25 0 1 0 790579456 17637376 2920 4294967295 134512640 134581267 3221224592 3221223504 134527729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2920 566 18 0 4288 0
vsize: 17224
[startup+930 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4268 0 0 0 92279 733 0 0 25 0 1 0 790579456 17637376 2920 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2920 566 18 0 4288 0
vsize: 17224
[startup+940 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4268 0 0 0 93275 738 0 0 25 0 1 0 790579456 17637376 2920 4294967295 134512640 134581267 3221224592 3221223504 134527720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2920 566 18 0 4288 0
vsize: 17224
[startup+950 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4268 0 0 0 94270 743 0 0 25 0 1 0 790579456 17637376 2920 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2920 566 18 0 4288 0
vsize: 17224
[startup+960.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4268 0 0 0 95266 748 0 0 25 0 1 0 790579456 17637376 2920 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2920 566 18 0 4288 0
vsize: 17224
[startup+970 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4268 0 0 0 96262 752 0 0 25 0 1 0 790579456 17637376 2920 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2920 566 18 0 4288 0
vsize: 17224
[startup+980 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4268 0 0 0 97258 756 0 0 25 0 1 0 790579456 17637376 2920 4294967295 134512640 134581267 3221224592 3221223456 134528299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2920 566 18 0 4288 0
vsize: 17224
[startup+990 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4268 0 0 0 98254 760 0 0 25 0 1 0 790579456 17637376 2920 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2920 566 18 0 4288 0
vsize: 17224
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4268 0 0 0 99249 765 0 0 25 0 1 0 790579456 17637376 2920 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2920 566 18 0 4288 0
vsize: 17224
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4268 0 0 0 100245 769 0 0 25 0 1 0 790579456 17637376 2920 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2920 566 18 0 4288 0
vsize: 17224
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4268 0 0 0 101239 775 0 0 25 0 1 0 790579456 17637376 2920 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2920 566 18 0 4288 0
vsize: 17224
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4268 0 0 0 102235 780 0 0 25 0 1 0 790579456 17637376 2920 4294967295 134512640 134581267 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2920 566 18 0 4288 0
vsize: 17224
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4268 0 0 0 103230 785 0 0 25 0 1 0 790579456 17637376 2920 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2920 566 18 0 4288 0
vsize: 17224
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4268 0 0 0 104225 790 0 0 25 0 1 0 790579456 17637376 2920 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2920 566 18 0 4288 0
vsize: 17224
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4268 0 0 0 105220 795 0 0 25 0 1 0 790579456 17637376 2920 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2920 566 18 0 4288 0
vsize: 17224
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4268 0 0 0 106216 799 0 0 25 0 1 0 790579456 17637376 2920 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2920 566 18 0 4288 0
vsize: 17224
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4268 0 0 0 107212 804 0 0 25 0 1 0 790579456 17637376 2920 4294967295 134512640 134581267 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2920 566 18 0 4288 0
vsize: 17224
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4268 0 0 0 108207 808 0 0 25 0 1 0 790579456 17637376 2920 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2920 566 18 0 4288 0
vsize: 17224
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4268 0 0 0 109203 812 0 0 25 0 1 0 790579456 17637376 2920 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2920 566 18 0 4288 0
vsize: 17224
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4268 0 0 0 110198 817 0 0 25 0 1 0 790579456 17637376 2920 4294967295 134512640 134581267 3221224592 3221223456 134560328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2920 566 18 0 4288 0
vsize: 17224
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4268 0 0 0 111194 822 0 0 25 0 1 0 790579456 17637376 2920 4294967295 134512640 134581267 3221224592 3221223552 134519892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2920 566 18 0 4288 0
vsize: 17224
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4268 0 0 0 112189 827 0 0 25 0 1 0 790579456 17637376 2920 4294967295 134512640 134581267 3221224592 3221223536 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2920 566 18 0 4288 0
vsize: 17224
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4268 0 0 0 113185 832 0 0 25 0 1 0 790579456 17637376 2920 4294967295 134512640 134581267 3221224592 3221223456 134528299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2920 566 18 0 4288 0
vsize: 17224
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4268 0 0 0 114181 836 0 0 25 0 1 0 790579456 17637376 2920 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2920 566 18 0 4288 0
vsize: 17224
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4268 0 0 0 115177 840 0 0 25 0 1 0 790579456 17637376 2920 4294967295 134512640 134581267 3221224592 3221223456 134528310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2920 566 18 0 4288 0
vsize: 17224
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4268 0 0 0 116172 845 0 0 25 0 1 0 790579456 17637376 2920 4294967295 134512640 134581267 3221224592 3221223296 134566361 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2920 566 18 0 4288 0
vsize: 17224
[startup+1180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4268 0 0 0 117168 849 0 0 25 0 1 0 790579456 17637376 2920 4294967295 134512640 134581267 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2920 566 18 0 4288 0
vsize: 17224
[startup+1188.84 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 30836
Raw data (stat): 30777 (Pueblo-v2) R 30776 8378 8377 0 -1 0 4268 0 0 0 117168 849 0 0 25 0 1 0 790579456 17637376 2920 4294967295 134512640 134581267 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2920 566 18 0 4288 0
vsize: 0

Child status: 10
Real time (s): 1188.84
CPU time (s): 1189.01
CPU user time (s): 1180.47
CPU system time (s): 8.5427
CPU usage (%): 100.015
Max. virtual memory (Kb): 18084
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	61
#### END VERIFIER DATA ####