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 23445

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 16:16:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=547 boxname=wulflinc31 idbench=61 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  db06e7fbd4f70a4af68f8f196fdb3636  /oldhome/oroussel/tmp/wulflinc31/normalized-alu4.b.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-alu4.b.opb
IDLAUNCH: 547
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        919220 kB
Buffers:         40284 kB
Cached:          53020 kB
SwapCached:        944 kB
Active:          78284 kB
Inactive:        17488 kB
HighTotal:      131008 kB
HighFree:        77000 kB
LowTotal:       903652 kB
LowFree:        842220 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14116 kB
Committed_AS:    63636 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 16:36:21 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 547 0 1189.02 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/wulflinc31/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
Raw data (loadavg): 0.86 0.97 0.99 2/54 4144
Raw data (stat): 4144 (runsolver) R 4143 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 650127762 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0007 s]
Raw data (loadavg): 0.88 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 838 0 0 0 993 4 0 0 25 0 1 0 650127762 9121792 815 4294967295 134512640 134581331 3221221808 3221220288 134531896 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2227 815 566 18 0 2209 0
vsize: 8908
[startup+20.0011 s]
Raw data (loadavg): 0.90 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1004 0 0 0 1992 5 0 0 25 0 1 0 650127762 9637888 970 4294967295 134512640 134581331 3221221808 3221220528 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2353 970 566 18 0 2335 0
vsize: 9412
[startup+30.001 s]
Raw data (loadavg): 0.91 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1104 0 0 0 2991 6 0 0 25 0 1 0 650127762 10133504 1067 4294967295 134512640 134581331 3221221808 3221220528 134522624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2474 1067 566 18 0 2456 0
vsize: 9896
[startup+40.001 s]
Raw data (loadavg): 0.93 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1171 0 0 0 3991 6 0 0 25 0 1 0 650127762 10293248 1131 4294967295 134512640 134581331 3221221808 3221220528 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2513 1131 566 18 0 2495 0
vsize: 10052
[startup+50.0019 s]
Raw data (loadavg): 0.94 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1171 0 0 0 4991 7 0 0 25 0 1 0 650127762 10293248 1131 4294967295 134512640 134581331 3221221808 3221220720 134527416 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2513 1131 566 18 0 2495 0
vsize: 10052
[startup+60.0018 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1175 0 0 0 5990 7 0 0 25 0 1 0 650127762 10330112 1135 4294967295 134512640 134581331 3221221808 3221220528 134522588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2522 1135 566 18 0 2504 0
vsize: 10088
[startup+70.0031 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1217 0 0 0 6989 9 0 0 25 0 1 0 650127762 10518528 1177 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2568 1177 566 18 0 2550 0
vsize: 10272
[startup+80.0037 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1237 0 0 0 7989 9 0 0 25 0 1 0 650127762 10661888 1197 4294967295 134512640 134581331 3221221808 3221220736 134520078 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2603 1197 566 18 0 2585 0
vsize: 10412
[startup+90.0036 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1289 0 0 0 8988 10 0 0 25 0 1 0 650127762 10813440 1249 4294967295 134512640 134581331 3221221808 3221220672 134528334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2640 1249 566 18 0 2622 0
vsize: 10560
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1356 0 0 0 9986 12 0 0 25 0 1 0 650127762 10944512 1289 4294967295 134512640 134581331 3221221808 3221220528 134522613 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2672 1289 566 18 0 2654 0
vsize: 10688
[startup+110.004 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1411 0 0 0 10986 13 0 0 25 0 1 0 650127762 11214848 1344 4294967295 134512640 134581331 3221221808 3221220720 134527737 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2738 1344 566 18 0 2720 0
vsize: 10952
[startup+120.003 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1463 0 0 0 11985 14 0 0 25 0 1 0 650127762 11325440 1383 4294967295 134512640 134581331 3221221808 3221220752 134559312 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2765 1383 566 18 0 2747 0
vsize: 11060
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1463 0 0 0 12984 14 0 0 25 0 1 0 650127762 11325440 1383 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2765 1383 566 18 0 2747 0
vsize: 11060
[startup+140.003 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1470 0 0 0 13984 14 0 0 25 0 1 0 650127762 11464704 1390 4294967295 134512640 134581331 3221221808 3221220528 134522624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2799 1390 566 18 0 2781 0
vsize: 11196
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1470 0 0 0 14984 15 0 0 25 0 1 0 650127762 11464704 1390 4294967295 134512640 134581331 3221221808 3221220720 134527404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2799 1390 566 18 0 2781 0
vsize: 11196
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1470 0 0 0 15983 16 0 0 25 0 1 0 650127762 11464704 1390 4294967295 134512640 134581331 3221221808 3221220720 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2799 1390 566 18 0 2781 0
vsize: 11196
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1470 0 0 0 16983 16 0 0 25 0 1 0 650127762 11464704 1390 4294967295 134512640 134581331 3221221808 3221220720 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2799 1390 566 18 0 2781 0
vsize: 11196
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1557 0 0 0 17982 18 0 0 25 0 1 0 650127762 11595776 1449 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2831 1449 566 18 0 2813 0
vsize: 11324
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1557 0 0 0 18981 18 0 0 25 0 1 0 650127762 11595776 1449 4294967295 134512640 134581331 3221221808 3221220720 134527683 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2831 1449 566 18 0 2813 0
vsize: 11324
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1557 0 0 0 19979 21 0 0 25 0 1 0 650127762 11505664 1427 4294967295 134512640 134581331 3221221808 3221220692 134557876 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2809 1427 566 18 0 2791 0
vsize: 11236
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1557 0 0 0 20978 22 0 0 25 0 1 0 650127762 11472896 1419 4294967295 134512640 134581331 3221221808 3221220720 134527440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2801 1419 566 18 0 2783 0
vsize: 11204
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1626 0 0 0 21978 22 0 0 25 0 1 0 650127762 11689984 1472 4294967295 134512640 134581331 3221221808 3221220528 134523134 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2854 1472 566 18 0 2836 0
vsize: 11416
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1626 0 0 0 22978 23 0 0 25 0 1 0 650127762 11689984 1472 4294967295 134512640 134581331 3221221808 3221220752 134558952 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2854 1472 566 18 0 2836 0
vsize: 11416
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1652 0 0 0 23977 23 0 0 25 0 1 0 650127762 11751424 1487 4294967295 134512640 134581331 3221221808 3221220528 134522265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2869 1487 566 18 0 2851 0
vsize: 11476
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1652 0 0 0 24977 24 0 0 25 0 1 0 650127762 11751424 1487 4294967295 134512640 134581331 3221221808 3221219264 134532762 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2869 1487 566 18 0 2851 0
vsize: 11476
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1652 0 0 0 25976 24 0 0 25 0 1 0 650127762 11751424 1487 4294967295 134512640 134581331 3221221808 3221220720 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2869 1487 566 18 0 2851 0
vsize: 11476
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1652 0 0 0 26976 25 0 0 25 0 1 0 650127762 11751424 1487 4294967295 134512640 134581331 3221221808 3221220592 134528732 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2869 1487 566 18 0 2851 0
vsize: 11476
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1652 0 0 0 27975 27 0 0 25 0 1 0 650127762 11751424 1487 4294967295 134512640 134581331 3221221808 3221220692 134557901 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2869 1487 566 18 0 2851 0
vsize: 11476
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1652 0 0 0 28974 27 0 0 25 0 1 0 650127762 11751424 1487 4294967295 134512640 134581331 3221221808 3221220672 134528363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2869 1487 566 18 0 2851 0
vsize: 11476
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1674 0 0 0 29974 28 0 0 25 0 1 0 650127762 11841536 1509 4294967295 134512640 134581331 3221221808 3221220720 134527964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2891 1509 566 18 0 2873 0
vsize: 11564
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1758 0 0 0 30971 31 0 0 25 0 1 0 650127762 12238848 1593 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2988 1593 566 18 0 2970 0
vsize: 11952
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1782 0 0 0 31970 31 0 0 25 0 1 0 650127762 12374016 1617 4294967295 134512640 134581331 3221221808 3221220720 134527434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3021 1617 566 18 0 3003 0
vsize: 12084
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1784 0 0 0 32970 32 0 0 25 0 1 0 650127762 12374016 1619 4294967295 134512640 134581331 3221221808 3221220672 134528248 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3021 1619 566 18 0 3003 0
vsize: 12084
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1792 0 0 0 33970 32 0 0 25 0 1 0 650127762 12374016 1627 4294967295 134512640 134581331 3221221808 3221220692 134557863 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3021 1627 566 18 0 3003 0
vsize: 12084
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1797 0 0 0 34969 33 0 0 25 0 1 0 650127762 12374016 1632 4294967295 134512640 134581331 3221221808 3221220672 134528347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3021 1632 566 18 0 3003 0
vsize: 12084
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1797 0 0 0 35969 33 0 0 25 0 1 0 650127762 12374016 1632 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3021 1632 566 18 0 3003 0
vsize: 12084
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1797 0 0 0 36969 33 0 0 25 0 1 0 650127762 12374016 1632 4294967295 134512640 134581331 3221221808 3221220720 134527525 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3021 1632 566 18 0 3003 0
vsize: 12084
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1819 0 0 0 37969 34 0 0 25 0 1 0 650127762 12513280 1654 4294967295 134512640 134581331 3221221808 3221220528 134522581 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3055 1654 566 18 0 3037 0
vsize: 12220
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1819 0 0 0 38968 35 0 0 25 0 1 0 650127762 12513280 1654 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3055 1654 566 18 0 3037 0
vsize: 12220
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1832 0 0 0 39968 35 0 0 25 0 1 0 650127762 12513280 1667 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3055 1667 566 18 0 3037 0
vsize: 12220
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1832 0 0 0 40968 36 0 0 25 0 1 0 650127762 12513280 1667 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3055 1667 566 18 0 3037 0
vsize: 12220
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1856 0 0 0 41966 37 0 0 25 0 1 0 650127762 12574720 1688 4294967295 134512640 134581331 3221221808 3221220736 134519958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3070 1688 566 18 0 3052 0
vsize: 12280
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1868 0 0 0 42966 38 0 0 25 0 1 0 650127762 12619776 1699 4294967295 134512640 134581331 3221221808 3221220672 134528358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3081 1699 566 18 0 3063 0
vsize: 12324
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1880 0 0 0 43966 38 0 0 25 0 1 0 650127762 12746752 1711 4294967295 134512640 134581331 3221221808 3221220528 134522609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3112 1711 566 18 0 3094 0
vsize: 12448
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1880 0 0 0 44965 39 0 0 25 0 1 0 650127762 12746752 1711 4294967295 134512640 134581331 3221221808 3221220528 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3112 1711 566 18 0 3094 0
vsize: 12448
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1886 0 0 0 45965 39 0 0 25 0 1 0 650127762 12746752 1717 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3112 1717 566 18 0 3094 0
vsize: 12448
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1886 0 0 0 46965 39 0 0 25 0 1 0 650127762 12746752 1717 4294967295 134512640 134581331 3221221808 3221220720 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3112 1717 566 18 0 3094 0
vsize: 12448
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1886 0 0 0 47964 40 0 0 25 0 1 0 650127762 12746752 1717 4294967295 134512640 134581331 3221221808 3221220528 134522624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3112 1717 566 18 0 3094 0
vsize: 12448
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1886 0 0 0 48964 40 0 0 25 0 1 0 650127762 12746752 1717 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3112 1717 566 18 0 3094 0
vsize: 12448
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1886 0 0 0 49964 41 0 0 25 0 1 0 650127762 12746752 1717 4294967295 134512640 134581331 3221221808 3221220720 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3112 1717 566 18 0 3094 0
vsize: 12448
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1886 0 0 0 50964 41 0 0 25 0 1 0 650127762 12730368 1717 4294967295 134512640 134581331 3221221808 3221220800 134526648 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3108 1717 566 18 0 3090 0
vsize: 12432
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1886 0 0 0 51964 41 0 0 25 0 1 0 650127762 12718080 1717 4294967295 134512640 134581331 3221221808 3221220752 134516842 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3105 1717 566 18 0 3087 0
vsize: 12420
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1886 0 0 0 52964 42 0 0 25 0 1 0 650127762 12718080 1717 4294967295 134512640 134581331 3221221808 3221220720 134527404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3105 1717 566 18 0 3087 0
vsize: 12420
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1886 0 0 0 53963 42 0 0 25 0 1 0 650127762 12718080 1717 4294967295 134512640 134581331 3221221808 3221220720 134527816 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3105 1717 566 18 0 3087 0
vsize: 12420
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1886 0 0 0 54963 42 0 0 25 0 1 0 650127762 12718080 1717 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3105 1717 566 18 0 3087 0
vsize: 12420
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1886 0 0 0 55963 43 0 0 25 0 1 0 650127762 12718080 1717 4294967295 134512640 134581331 3221221808 3221220528 134522613 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3105 1717 566 18 0 3087 0
vsize: 12420
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1890 0 0 0 56963 43 0 0 25 0 1 0 650127762 12718080 1721 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3105 1721 566 18 0 3087 0
vsize: 12420
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1890 0 0 0 57963 43 0 0 25 0 1 0 650127762 12718080 1721 4294967295 134512640 134581331 3221221808 3221220752 134559115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3105 1721 566 18 0 3087 0
vsize: 12420
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1890 0 0 0 58963 44 0 0 25 0 1 0 650127762 12718080 1721 4294967295 134512640 134581331 3221221808 3221220672 134528254 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3105 1721 566 18 0 3087 0
vsize: 12420
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1912 0 0 0 59963 44 0 0 25 0 1 0 650127762 12836864 1743 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3134 1743 566 18 0 3116 0
vsize: 12536
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1912 0 0 0 60963 44 0 0 25 0 1 0 650127762 12836864 1743 4294967295 134512640 134581331 3221221808 3221220720 134527440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3134 1743 566 18 0 3116 0
vsize: 12536
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1912 0 0 0 61963 44 0 0 25 0 1 0 650127762 12836864 1743 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3134 1743 566 18 0 3116 0
vsize: 12536
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1912 0 0 0 62962 45 0 0 25 0 1 0 650127762 12836864 1743 4294967295 134512640 134581331 3221221808 3221220720 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3134 1743 566 18 0 3116 0
vsize: 12536
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1912 0 0 0 63962 45 0 0 25 0 1 0 650127762 12836864 1743 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3134 1743 566 18 0 3116 0
vsize: 12536
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1912 0 0 0 64962 45 0 0 25 0 1 0 650127762 12836864 1743 4294967295 134512640 134581331 3221221808 3221220720 134528074 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3134 1743 566 18 0 3116 0
vsize: 12536
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1912 0 0 0 65961 46 0 0 25 0 1 0 650127762 12836864 1743 4294967295 134512640 134581331 3221221808 3221220528 134524432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3134 1743 566 18 0 3116 0
vsize: 12536
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1912 0 0 0 66961 47 0 0 25 0 1 0 650127762 12836864 1743 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3134 1743 566 18 0 3116 0
vsize: 12536
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1912 0 0 0 67961 47 0 0 25 0 1 0 650127762 12836864 1743 4294967295 134512640 134581331 3221221808 3221220720 134527539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3134 1743 566 18 0 3116 0
vsize: 12536
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1912 0 0 0 68960 48 0 0 25 0 1 0 650127762 12836864 1743 4294967295 134512640 134581331 3221221808 3221220752 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3134 1743 566 18 0 3116 0
vsize: 12536
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1912 0 0 0 69960 48 0 0 25 0 1 0 650127762 12836864 1743 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3134 1743 566 18 0 3116 0
vsize: 12536
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1912 0 0 0 70960 49 0 0 25 0 1 0 650127762 12836864 1743 4294967295 134512640 134581331 3221221808 3221220752 134560136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3134 1743 566 18 0 3116 0
vsize: 12536
[startup+720.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1912 0 0 0 71959 49 0 0 25 0 1 0 650127762 12836864 1743 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3134 1743 566 18 0 3116 0
vsize: 12536
[startup+730.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1912 0 0 0 72959 49 0 0 25 0 1 0 650127762 12836864 1743 4294967295 134512640 134581331 3221221808 3221220528 134522611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3134 1743 566 18 0 3116 0
vsize: 12536
[startup+740.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1912 0 0 0 73959 50 0 0 25 0 1 0 650127762 12836864 1743 4294967295 134512640 134581331 3221221808 3221220720 134527636 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3134 1743 566 18 0 3116 0
vsize: 12536
[startup+750.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1920 0 0 0 74959 50 0 0 25 0 1 0 650127762 12836864 1751 4294967295 134512640 134581331 3221221808 3221220752 134516839 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3134 1751 566 18 0 3116 0
vsize: 12536
[startup+760.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1972 0 0 0 75958 51 0 0 25 0 1 0 650127762 13119488 1803 4294967295 134512640 134581331 3221221808 3221220720 134527442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3203 1803 566 18 0 3185 0
vsize: 12812
[startup+770.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1998 0 0 0 76958 52 0 0 25 0 1 0 650127762 13164544 1829 4294967295 134512640 134581331 3221221808 3221220692 134557889 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3214 1829 566 18 0 3196 0
vsize: 12856
[startup+780.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 1998 0 0 0 77957 52 0 0 25 0 1 0 650127762 13164544 1829 4294967295 134512640 134581331 3221221808 3221220720 134527457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3214 1829 566 18 0 3196 0
vsize: 12856
[startup+790.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2114 0 0 0 78956 53 0 0 25 0 1 0 650127762 13635584 1945 4294967295 134512640 134581331 3221221808 3221220720 134527457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3329 1945 566 18 0 3311 0
vsize: 13316
[startup+800.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2155 0 0 0 79956 54 0 0 25 0 1 0 650127762 13914112 1986 4294967295 134512640 134581331 3221221808 3221220720 134527404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3397 1986 566 18 0 3379 0
vsize: 13588
[startup+810.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2155 0 0 0 80955 55 0 0 25 0 1 0 650127762 13914112 1986 4294967295 134512640 134581331 3221221808 3221220720 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3397 1986 566 18 0 3379 0
vsize: 13588
[startup+820.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2200 0 0 0 81954 56 0 0 25 0 1 0 650127762 14057472 2031 4294967295 134512640 134581331 3221221808 3221220752 134516825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3432 2031 566 18 0 3414 0
vsize: 13728
[startup+830.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2274 0 0 0 82954 56 0 0 25 0 1 0 650127762 14348288 2092 4294967295 134512640 134581331 3221221808 3221220720 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3503 2092 566 18 0 3485 0
vsize: 14012
[startup+840.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2320 0 0 0 83954 57 0 0 25 0 1 0 650127762 14462976 2138 4294967295 134512640 134581331 3221221808 3221220528 134522603 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3531 2138 566 18 0 3513 0
vsize: 14124
[startup+850.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2320 0 0 0 84953 57 0 0 25 0 1 0 650127762 14462976 2138 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3531 2138 566 18 0 3513 0
vsize: 14124
[startup+860.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 85953 58 0 0 25 0 1 0 650127762 14499840 2158 4294967295 134512640 134581331 3221221808 3221220528 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3540 2158 566 18 0 3522 0
vsize: 14160
[startup+870.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 86953 58 0 0 25 0 1 0 650127762 14499840 2158 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3540 2158 566 18 0 3522 0
vsize: 14160
[startup+880.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 87953 58 0 0 25 0 1 0 650127762 14499840 2158 4294967295 134512640 134581331 3221221808 3221220528 134522634 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3540 2158 566 18 0 3522 0
vsize: 14160
[startup+890.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 88953 59 0 0 25 0 1 0 650127762 14471168 2151 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3533 2151 566 18 0 3515 0
vsize: 14132
[startup+900.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 89953 59 0 0 25 0 1 0 650127762 14471168 2151 4294967295 134512640 134581331 3221221808 3221220720 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3533 2151 566 18 0 3515 0
vsize: 14132
[startup+910.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 90952 59 0 0 25 0 1 0 650127762 14471168 2151 4294967295 134512640 134581331 3221221808 3221220672 134528278 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3533 2151 566 18 0 3515 0
vsize: 14132
[startup+920.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 91952 60 0 0 25 0 1 0 650127762 14471168 2151 4294967295 134512640 134581331 3221221808 3221220720 134527442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3533 2151 566 18 0 3515 0
vsize: 14132
[startup+930.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 92952 60 0 0 25 0 1 0 650127762 14467072 2150 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3532 2150 566 18 0 3514 0
vsize: 14128
[startup+940.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 93952 60 0 0 25 0 1 0 650127762 14467072 2150 4294967295 134512640 134581331 3221221808 3221220720 134527737 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3532 2150 566 18 0 3514 0
vsize: 14128
[startup+950.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 94951 61 0 0 25 0 1 0 650127762 14467072 2150 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3532 2150 566 18 0 3514 0
vsize: 14128
[startup+960.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 95951 61 0 0 25 0 1 0 650127762 14467072 2150 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3532 2150 566 18 0 3514 0
vsize: 14128
[startup+970.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 96951 61 0 0 25 0 1 0 650127762 14467072 2150 4294967295 134512640 134581331 3221221808 3221220444 1075289517 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3532 2150 566 18 0 3514 0
vsize: 14128
[startup+980.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 97951 62 0 0 25 0 1 0 650127762 14467072 2150 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3532 2150 566 18 0 3514 0
vsize: 14128
[startup+990.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 98951 62 0 0 25 0 1 0 650127762 14467072 2150 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3532 2150 566 18 0 3514 0
vsize: 14128
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 99951 62 0 0 25 0 1 0 650127762 14467072 2150 4294967295 134512640 134581331 3221221808 3221220752 134559312 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3532 2150 566 18 0 3514 0
vsize: 14128
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 100951 63 0 0 25 0 1 0 650127762 14462976 2149 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3531 2149 566 18 0 3513 0
vsize: 14124
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 101951 63 0 0 25 0 1 0 650127762 14462976 2149 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3531 2149 566 18 0 3513 0
vsize: 14124
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 102951 63 0 0 25 0 1 0 650127762 14462976 2149 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3531 2149 566 18 0 3513 0
vsize: 14124
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 103950 63 0 0 25 0 1 0 650127762 14462976 2149 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3531 2149 566 18 0 3513 0
vsize: 14124
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 104950 64 0 0 25 0 1 0 650127762 14454784 2147 4294967295 134512640 134581331 3221221808 3221220720 134527820 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3529 2147 566 18 0 3511 0
vsize: 14116
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 105950 64 0 0 25 0 1 0 650127762 14454784 2147 4294967295 134512640 134581331 3221221808 3221220720 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3529 2147 566 18 0 3511 0
vsize: 14116
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 106950 64 0 0 25 0 1 0 650127762 14454784 2147 4294967295 134512640 134581331 3221221808 3221220528 134522613 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3529 2147 566 18 0 3511 0
vsize: 14116
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 107950 65 0 0 25 0 1 0 650127762 14454784 2147 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3529 2147 566 18 0 3511 0
vsize: 14116
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 108950 65 0 0 25 0 1 0 650127762 14454784 2147 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3529 2147 566 18 0 3511 0
vsize: 14116
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 109950 65 0 0 25 0 1 0 650127762 14454784 2147 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3529 2147 566 18 0 3511 0
vsize: 14116
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 110950 65 0 0 25 0 1 0 650127762 14454784 2147 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3529 2147 566 18 0 3511 0
vsize: 14116
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 111950 65 0 0 25 0 1 0 650127762 14454784 2147 4294967295 134512640 134581331 3221221808 3221220672 134528278 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3529 2147 566 18 0 3511 0
vsize: 14116
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 112950 66 0 0 25 0 1 0 650127762 14454784 2147 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3529 2147 566 18 0 3511 0
vsize: 14116
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 113949 66 0 0 25 0 1 0 650127762 14454784 2147 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3529 2147 566 18 0 3511 0
vsize: 14116
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 114950 66 0 0 25 0 1 0 650127762 14454784 2147 4294967295 134512640 134581331 3221221808 3221220720 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3529 2147 566 18 0 3511 0
vsize: 14116
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 115950 66 0 0 25 0 1 0 650127762 14454784 2147 4294967295 134512640 134581331 3221221808 3221220720 134527429 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3529 2147 566 18 0 3511 0
vsize: 14116
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 116950 66 0 0 25 0 1 0 650127762 14454784 2147 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3529 2147 566 18 0 3511 0
vsize: 14116
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 117950 66 0 0 25 0 1 0 650127762 14454784 2147 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3529 2147 566 18 0 3511 0
vsize: 14116
[startup+1188.87 s]
Raw data (loadavg): 0.99 0.97 0.99 1/53 4144
Raw data (stat): 4144 (Pueblo) R 4143 7876 7672 0 -1 0 2371 0 0 0 117950 66 0 0 25 0 1 0 650127762 14454784 2147 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3529 2147 566 18 0 3511 0
vsize: 0

Child status: 10
Real time (s): 1188.87
CPU time (s): 1189.02
CPU user time (s): 1188.34
CPU system time (s): 0.680896
CPU usage (%): 100.013
Max. virtual memory (Kb): 14160
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	53
#### END VERIFIER DATA ####