PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb
MD5SUM	6292e63147fb202dc159fbf5a9ff5c77
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4822
Optimality of the best value was proved	NO
Number of terms in the objective function	771
Biggest coefficient in the objective function	61
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	33355
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	61
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	33355
Number of bits of the biggest sum of numbers	16
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02584
Number of variables	771
Total number of constraints	1951
Number of constraints which are clauses	1949
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	2
Minimum length of a constraint	1
Maximum length of a constraint	42
Trace number 24380

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 23:12:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2230 boxname=wulflinc31 idbench=248 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  6292e63147fb202dc159fbf5a9ff5c77  /oldhome/oroussel/tmp/wulflinc31/normalized-C432.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-C432.opb
IDLAUNCH: 2230
/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:        135676 kB
Buffers:         45764 kB
Cached:         818552 kB
SwapCached:        644 kB
Active:         493340 kB
Inactive:       373304 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        135424 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26376 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 23:32:46 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 2230 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-C432.opb
c #variables read: 771 - #constraints read: 1906
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 
#### 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.93 0.97 0.91 2/54 4367
Raw data (stat): 4367 (runsolver) R 4366 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 704472452 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+9.9997 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 761 0 0 0 988 8 0 0 25 0 1 0 704472452 8814592 738 4294967295 134512640 134581331 3221221808 3221220720 134527695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 738 566 18 0 2134 0
vsize: 8608
[startup+20.0007 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 835 0 0 0 1983 14 0 0 25 0 1 0 704472452 9076736 812 4294967295 134512640 134581331 3221221808 3221220576 1075288279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2216 812 566 18 0 2198 0
vsize: 8864
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 924 0 0 0 2978 18 0 0 25 0 1 0 704472452 9469952 901 4294967295 134512640 134581331 3221221808 3221220672 134528316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2312 901 566 18 0 2294 0
vsize: 9248
[startup+40.0025 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 970 0 0 0 3973 24 0 0 25 0 1 0 704472452 9601024 947 4294967295 134512640 134581331 3221221808 3221220704 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2344 947 566 18 0 2326 0
vsize: 9376
[startup+50.0034 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1009 0 0 0 4968 29 0 0 25 0 1 0 704472452 9732096 986 4294967295 134512640 134581331 3221221808 3221220444 1075288811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2376 986 566 18 0 2358 0
vsize: 9504
[startup+60.0033 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1028 0 0 0 5964 33 0 0 25 0 1 0 704472452 9863168 1005 4294967295 134512640 134581331 3221221808 3221220692 134557901 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2408 1005 566 18 0 2390 0
vsize: 9632
[startup+70.0042 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1096 0 0 0 6961 36 0 0 25 0 1 0 704472452 10125312 1073 4294967295 134512640 134581331 3221221808 3221220704 134517862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2472 1073 566 18 0 2454 0
vsize: 9888
[startup+80.0052 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1099 0 0 0 7957 40 0 0 25 0 1 0 704472452 10125312 1076 4294967295 134512640 134581331 3221221808 3221220672 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2472 1076 566 18 0 2454 0
vsize: 9888
[startup+90.0061 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1112 0 0 0 8954 44 0 0 25 0 1 0 704472452 10252288 1089 4294967295 134512640 134581331 3221221808 3221220672 134528275 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2503 1089 566 18 0 2485 0
vsize: 10012
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1169 0 0 0 9949 49 0 0 25 0 1 0 704472452 10383360 1146 4294967295 134512640 134581331 3221221808 3221220720 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2535 1146 566 18 0 2517 0
vsize: 10140
[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1183 0 0 0 10945 53 0 0 25 0 1 0 704472452 10514432 1160 4294967295 134512640 134581331 3221221808 3221220672 134528272 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2567 1160 566 18 0 2549 0
vsize: 10268
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1193 0 0 0 11941 57 0 0 25 0 1 0 704472452 10514432 1170 4294967295 134512640 134581331 3221221808 3221220692 134557930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2567 1170 566 18 0 2549 0
vsize: 10268
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1214 0 0 0 12938 61 0 0 25 0 1 0 704472452 10645504 1191 4294967295 134512640 134581331 3221221808 3221220752 134558812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2599 1191 566 18 0 2581 0
vsize: 10396
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1214 0 0 0 13934 64 0 0 25 0 1 0 704472452 10641408 1191 4294967295 134512640 134581331 3221221808 3221220720 134527769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2598 1191 566 18 0 2580 0
vsize: 10392
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1253 0 0 0 14931 68 0 0 25 0 1 0 704472452 10772480 1230 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2630 1230 566 18 0 2612 0
vsize: 10520
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1292 0 0 0 15928 71 0 0 25 0 1 0 704472452 10903552 1269 4294967295 134512640 134581331 3221221808 3221220692 134557844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2662 1269 566 18 0 2644 0
vsize: 10648
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1301 0 0 0 16925 74 0 0 25 0 1 0 704472452 11030528 1278 4294967295 134512640 134581331 3221221808 3221220672 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2693 1278 566 18 0 2675 0
vsize: 10772
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1311 0 0 0 17921 78 0 0 25 0 1 0 704472452 11030528 1288 4294967295 134512640 134581331 3221221808 3221220652 134528557 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2693 1288 566 18 0 2675 0
vsize: 10772
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1318 0 0 0 18918 81 0 0 25 0 1 0 704472452 11030528 1295 4294967295 134512640 134581331 3221221808 3221220672 134528323 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2693 1295 566 18 0 2675 0
vsize: 10772
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1318 0 0 0 19915 84 0 0 25 0 1 0 704472452 11030528 1295 4294967295 134512640 134581331 3221221808 3221220692 134560196 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2693 1295 566 18 0 2675 0
vsize: 10772
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1321 0 0 0 20911 88 0 0 25 0 1 0 704472452 11030528 1298 4294967295 134512640 134581331 3221221808 3221220672 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2693 1298 566 18 0 2675 0
vsize: 10772
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1331 0 0 0 21907 92 0 0 25 0 1 0 704472452 11161600 1308 4294967295 134512640 134581331 3221221808 3221220688 134560421 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2725 1308 566 18 0 2707 0
vsize: 10900
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1378 0 0 0 22903 97 0 0 25 0 1 0 704472452 11288576 1355 4294967295 134512640 134581331 3221221808 3221220672 134528248 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2756 1355 566 18 0 2738 0
vsize: 11024
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1398 0 0 0 23899 101 0 0 25 0 1 0 704472452 11419648 1375 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2788 1375 566 18 0 2770 0
vsize: 11152
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1419 0 0 0 24895 105 0 0 25 0 1 0 704472452 11550720 1396 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2820 1396 566 18 0 2802 0
vsize: 11280
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1432 0 0 0 25891 109 0 0 25 0 1 0 704472452 11550720 1409 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2820 1409 566 18 0 2802 0
vsize: 11280
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1436 0 0 0 26888 113 0 0 25 0 1 0 704472452 11550720 1413 4294967295 134512640 134581331 3221221808 3221220720 134527772 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2820 1413 566 18 0 2802 0
vsize: 11280
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1447 0 0 0 27884 116 0 0 25 0 1 0 704472452 11550720 1424 4294967295 134512640 134581331 3221221808 3221220720 134527786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2820 1424 566 18 0 2802 0
vsize: 11280
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1449 0 0 0 28881 120 0 0 25 0 1 0 704472452 11665408 1426 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2848 1426 566 18 0 2830 0
vsize: 11392
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1472 0 0 0 29879 123 0 0 25 0 1 0 704472452 11661312 1449 4294967295 134512640 134581331 3221221808 3221220720 134527652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2847 1449 566 18 0 2829 0
vsize: 11388
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1481 0 0 0 30873 128 0 0 25 0 1 0 704472452 11796480 1458 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2880 1458 566 18 0 2862 0
vsize: 11520
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1491 0 0 0 31869 132 0 0 25 0 1 0 704472452 11796480 1468 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2880 1468 566 18 0 2862 0
vsize: 11520
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1493 0 0 0 32865 136 0 0 25 0 1 0 704472452 11796480 1470 4294967295 134512640 134581331 3221221808 3221220692 134557773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2880 1470 566 18 0 2862 0
vsize: 11520
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1493 0 0 0 33861 141 0 0 25 0 1 0 704472452 11796480 1470 4294967295 134512640 134581331 3221221808 3221220720 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2880 1470 566 18 0 2862 0
vsize: 11520
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1568 0 0 0 34858 144 0 0 25 0 1 0 704472452 12058624 1545 4294967295 134512640 134581331 3221221808 3221220672 134528323 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2944 1545 566 18 0 2926 0
vsize: 11776
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1627 0 0 0 35853 149 0 0 25 0 1 0 704472452 12320768 1604 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3008 1604 566 18 0 2990 0
vsize: 12032
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1637 0 0 0 36850 153 0 0 25 0 1 0 704472452 12455936 1614 4294967295 134512640 134581331 3221221808 3221220692 134557849 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3041 1614 566 18 0 3023 0
vsize: 12164
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1644 0 0 0 37847 156 0 0 25 0 1 0 704472452 12455936 1621 4294967295 134512640 134581331 3221221808 3221220672 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3041 1621 566 18 0 3023 0
vsize: 12164
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1645 0 0 0 38844 159 0 0 25 0 1 0 704472452 12455936 1622 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3041 1622 566 18 0 3023 0
vsize: 12164
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1645 0 0 0 39840 163 0 0 25 0 1 0 704472452 12455936 1622 4294967295 134512640 134581331 3221221808 3221220672 134528516 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3041 1622 566 18 0 3023 0
vsize: 12164
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1645 0 0 0 40837 166 0 0 25 0 1 0 704472452 12455936 1622 4294967295 134512640 134581331 3221221808 3221220692 134557861 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3041 1622 566 18 0 3023 0
vsize: 12164
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1645 0 0 0 41834 170 0 0 25 0 1 0 704472452 12455936 1622 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3041 1622 566 18 0 3023 0
vsize: 12164
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1645 0 0 0 42830 174 0 0 25 0 1 0 704472452 12455936 1622 4294967295 134512640 134581331 3221221808 3221220672 134528254 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3041 1622 566 18 0 3023 0
vsize: 12164
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1645 0 0 0 43827 177 0 0 25 0 1 0 704472452 12455936 1622 4294967295 134512640 134581331 3221221808 3221220768 134516751 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3041 1622 566 18 0 3023 0
vsize: 12164
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1674 0 0 0 44823 181 0 0 25 0 1 0 704472452 12587008 1651 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3073 1651 566 18 0 3055 0
vsize: 12292
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1674 0 0 0 45820 184 0 0 25 0 1 0 704472452 12500992 1651 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3052 1651 566 18 0 3034 0
vsize: 12208
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1674 0 0 0 46817 187 0 0 25 0 1 0 704472452 12500992 1651 4294967295 134512640 134581331 3221221808 3221220736 134520043 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3052 1651 566 18 0 3034 0
vsize: 12208
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1684 0 0 0 47813 191 0 0 25 0 1 0 704472452 12632064 1661 4294967295 134512640 134581331 3221221808 3221220736 134519956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3084 1661 566 18 0 3066 0
vsize: 12336
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1684 0 0 0 48811 194 0 0 25 0 1 0 704472452 12619776 1661 4294967295 134512640 134581331 3221221808 3221220704 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3081 1661 566 18 0 3063 0
vsize: 12324
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1684 0 0 0 49807 198 0 0 25 0 1 0 704472452 12574720 1661 4294967295 134512640 134581331 3221221808 3221220752 134559379 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3070 1661 566 18 0 3052 0
vsize: 12280
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1684 0 0 0 50803 202 0 0 25 0 1 0 704472452 12574720 1661 4294967295 134512640 134581331 3221221808 3221220692 134557901 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3070 1661 566 18 0 3052 0
vsize: 12280
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1719 0 0 0 51799 206 0 0 25 0 1 0 704472452 12705792 1696 4294967295 134512640 134581331 3221221808 3221220736 134519955 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3102 1696 566 18 0 3084 0
vsize: 12408
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1742 0 0 0 52793 212 0 0 25 0 1 0 704472452 12836864 1719 4294967295 134512640 134581331 3221221808 3221220672 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3134 1719 566 18 0 3116 0
vsize: 12536
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1775 0 0 0 53789 216 0 0 25 0 1 0 704472452 12967936 1752 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3166 1752 566 18 0 3148 0
vsize: 12664
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1868 0 0 0 54785 221 0 0 25 0 1 0 704472452 13352960 1845 4294967295 134512640 134581331 3221221808 3221220652 134528557 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3260 1845 566 18 0 3242 0
vsize: 13040
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1868 0 0 0 55781 224 0 0 25 0 1 0 704472452 13352960 1845 4294967295 134512640 134581331 3221221808 3221220672 134527093 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3260 1845 566 18 0 3242 0
vsize: 13040
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1869 0 0 0 56777 229 0 0 25 0 1 0 704472452 13352960 1846 4294967295 134512640 134581331 3221221808 3221220752 134559087 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3260 1846 566 18 0 3242 0
vsize: 13040
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1872 0 0 0 57774 232 0 0 25 0 1 0 704472452 13352960 1849 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3260 1849 566 18 0 3242 0
vsize: 13040
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1872 0 0 0 58771 236 0 0 25 0 1 0 704472452 13352960 1849 4294967295 134512640 134581331 3221221808 3221220672 134528437 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3260 1849 566 18 0 3242 0
vsize: 13040
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1872 0 0 0 59767 240 0 0 25 0 1 0 704472452 13352960 1849 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3260 1849 566 18 0 3242 0
vsize: 13040
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1872 0 0 0 60764 243 0 0 25 0 1 0 704472452 13352960 1849 4294967295 134512640 134581331 3221221808 3221220692 134557819 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3260 1849 566 18 0 3242 0
vsize: 13040
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1872 0 0 0 61761 246 0 0 25 0 1 0 704472452 13352960 1849 4294967295 134512640 134581331 3221221808 3221220720 134527457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3260 1849 566 18 0 3242 0
vsize: 13040
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1872 0 0 0 62758 249 0 0 25 0 1 0 704472452 13352960 1849 4294967295 134512640 134581331 3221221808 3221220720 134527539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3260 1849 566 18 0 3242 0
vsize: 13040
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1872 0 0 0 63755 252 0 0 25 0 1 0 704472452 13352960 1849 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3260 1849 566 18 0 3242 0
vsize: 13040
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1872 0 0 0 64751 257 0 0 25 0 1 0 704472452 13352960 1849 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3260 1849 566 18 0 3242 0
vsize: 13040
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1872 0 0 0 65747 261 0 0 25 0 1 0 704472452 13352960 1849 4294967295 134512640 134581331 3221221808 3221220592 134528824 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3260 1849 566 18 0 3242 0
vsize: 13040
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1872 0 0 0 66743 265 0 0 25 0 1 0 704472452 13352960 1849 4294967295 134512640 134581331 3221221808 3221220752 134558835 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3260 1849 566 18 0 3242 0
vsize: 13040
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1872 0 0 0 67739 269 0 0 25 0 1 0 704472452 13352960 1849 4294967295 134512640 134581331 3221221808 3221220712 134527743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3260 1849 566 18 0 3242 0
vsize: 13040
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1872 0 0 0 68736 272 0 0 25 0 1 0 704472452 13352960 1849 4294967295 134512640 134581331 3221221808 3221220752 134559067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3260 1849 566 18 0 3242 0
vsize: 13040
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1872 0 0 0 69733 275 0 0 25 0 1 0 704472452 13352960 1849 4294967295 134512640 134581331 3221221808 3221220800 134561059 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3260 1849 566 18 0 3242 0
vsize: 13040
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1872 0 0 0 70729 279 0 0 25 0 1 0 704472452 13352960 1849 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3260 1849 566 18 0 3242 0
vsize: 13040
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1872 0 0 0 71725 283 0 0 25 0 1 0 704472452 13352960 1849 4294967295 134512640 134581331 3221221808 3221220504 1075291632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3260 1849 566 18 0 3242 0
vsize: 13040
[startup+730.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1872 0 0 0 72722 286 0 0 25 0 1 0 704472452 13352960 1849 4294967295 134512640 134581331 3221221808 3221220720 134527457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3260 1849 566 18 0 3242 0
vsize: 13040
[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1872 0 0 0 73719 290 0 0 25 0 1 0 704472452 13352960 1849 4294967295 134512640 134581331 3221221808 3221220720 134527639 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3260 1849 566 18 0 3242 0
vsize: 13040
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1872 0 0 0 74715 294 0 0 25 0 1 0 704472452 13352960 1849 4294967295 134512640 134581331 3221221808 3221220672 134528384 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3260 1849 566 18 0 3242 0
vsize: 13040
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1872 0 0 0 75710 299 0 0 25 0 1 0 704472452 13352960 1849 4294967295 134512640 134581331 3221221808 3221220704 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3260 1849 566 18 0 3242 0
vsize: 13040
[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1872 0 0 0 76707 303 0 0 25 0 1 0 704472452 13352960 1849 4294967295 134512640 134581331 3221221808 3221220592 134528824 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3260 1849 566 18 0 3242 0
vsize: 13040
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1874 0 0 0 77703 306 0 0 25 0 1 0 704472452 13352960 1851 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3260 1851 566 18 0 3242 0
vsize: 13040
[startup+790.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1884 0 0 0 78698 312 0 0 25 0 1 0 704472452 13352960 1861 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3260 1861 566 18 0 3242 0
vsize: 13040
[startup+800.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1921 0 0 0 79694 316 0 0 25 0 1 0 704472452 13615104 1898 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3324 1898 566 18 0 3306 0
vsize: 13296
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1924 0 0 0 80690 320 0 0 25 0 1 0 704472452 13615104 1901 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3324 1901 566 18 0 3306 0
vsize: 13296
[startup+820.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1925 0 0 0 81686 324 0 0 25 0 1 0 704472452 13615104 1902 4294967295 134512640 134581331 3221221808 3221220692 134557928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3324 1902 566 18 0 3306 0
vsize: 13296
[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1933 0 0 0 82681 330 0 0 25 0 1 0 704472452 13615104 1910 4294967295 134512640 134581331 3221221808 3221220864 134556039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3324 1910 566 18 0 3306 0
vsize: 13296
[startup+840.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1939 0 0 0 83677 334 0 0 25 0 1 0 704472452 13615104 1916 4294967295 134512640 134581331 3221221808 3221220672 134528258 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3324 1916 566 18 0 3306 0
vsize: 13296
[startup+850.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1939 0 0 0 84673 338 0 0 25 0 1 0 704472452 13615104 1916 4294967295 134512640 134581331 3221221808 3221220672 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3324 1916 566 18 0 3306 0
vsize: 13296
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1939 0 0 0 85669 342 0 0 25 0 1 0 704472452 13615104 1916 4294967295 134512640 134581331 3221221808 3221220592 134528824 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3324 1916 566 18 0 3306 0
vsize: 13296
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1939 0 0 0 86667 344 0 0 25 0 1 0 704472452 13615104 1916 4294967295 134512640 134581331 3221221808 3221220692 134557928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3324 1916 566 18 0 3306 0
vsize: 13296
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1939 0 0 0 87663 348 0 0 25 0 1 0 704472452 13615104 1916 4294967295 134512640 134581331 3221221808 3221220720 134527772 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3324 1916 566 18 0 3306 0
vsize: 13296
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1939 0 0 0 88658 353 0 0 25 0 1 0 704472452 13615104 1916 4294967295 134512640 134581331 3221221808 3221220720 134527718 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3324 1916 566 18 0 3306 0
vsize: 13296
[startup+900.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1939 0 0 0 89654 357 0 0 25 0 1 0 704472452 13615104 1916 4294967295 134512640 134581331 3221221808 3221220652 134528557 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3324 1916 566 18 0 3306 0
vsize: 13296
[startup+910.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1939 0 0 0 90652 360 0 0 25 0 1 0 704472452 13615104 1916 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3324 1916 566 18 0 3306 0
vsize: 13296
[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1939 0 0 0 91648 364 0 0 25 0 1 0 704472452 13615104 1916 4294967295 134512640 134581331 3221221808 3221220752 134559312 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3324 1916 566 18 0 3306 0
vsize: 13296
[startup+930.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1987 0 0 0 92646 366 0 0 25 0 1 0 704472452 13873152 1964 4294967295 134512640 134581331 3221221808 3221220720 134527778 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3387 1964 566 18 0 3369 0
vsize: 13548
[startup+940.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1987 0 0 0 93643 370 0 0 25 0 1 0 704472452 13873152 1964 4294967295 134512640 134581331 3221221808 3221220672 134528254 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3387 1964 566 18 0 3369 0
vsize: 13548
[startup+950.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1987 0 0 0 94639 373 0 0 25 0 1 0 704472452 13787136 1962 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3366 1962 566 18 0 3348 0
vsize: 13464
[startup+960.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1987 0 0 0 95634 379 0 0 25 0 1 0 704472452 13729792 1948 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3352 1948 566 18 0 3334 0
vsize: 13408
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1987 0 0 0 96629 384 0 0 25 0 1 0 704472452 13729792 1948 4294967295 134512640 134581331 3221221808 3221220636 134528696 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3352 1948 566 18 0 3334 0
vsize: 13408
[startup+980.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1987 0 0 0 97624 389 0 0 25 0 1 0 704472452 13729792 1948 4294967295 134512640 134581331 3221221808 3221220672 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3352 1948 566 18 0 3334 0
vsize: 13408
[startup+990.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1987 0 0 0 98619 395 0 0 25 0 1 0 704472452 13729792 1948 4294967295 134512640 134581331 3221221808 3221220672 134528316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3352 1948 566 18 0 3334 0
vsize: 13408
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1987 0 0 0 99613 401 0 0 25 0 1 0 704472452 13729792 1948 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3352 1948 566 18 0 3334 0
vsize: 13408
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1994 0 0 0 100608 405 0 0 25 0 1 0 704472452 13856768 1955 4294967295 134512640 134581331 3221221808 3221220768 134516723 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3383 1955 566 18 0 3365 0
vsize: 13532
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 1998 0 0 0 101604 410 0 0 25 0 1 0 704472452 13856768 1959 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3383 1959 566 18 0 3365 0
vsize: 13532
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 2000 0 0 0 102598 416 0 0 25 0 1 0 704472452 13856768 1961 4294967295 134512640 134581331 3221221808 3221220592 134528769 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3383 1961 566 18 0 3365 0
vsize: 13532
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 2000 0 0 0 103593 421 0 0 25 0 1 0 704472452 13856768 1961 4294967295 134512640 134581331 3221221808 3221220672 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3383 1961 566 18 0 3365 0
vsize: 13532
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 2003 0 0 0 104588 427 0 0 25 0 1 0 704472452 13856768 1964 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3383 1964 566 18 0 3365 0
vsize: 13532
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 2003 0 0 0 105582 432 0 0 25 0 1 0 704472452 13856768 1964 4294967295 134512640 134581331 3221221808 3221220704 134527747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3383 1964 566 18 0 3365 0
vsize: 13532
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 2004 0 0 0 106577 438 0 0 25 0 1 0 704472452 13856768 1965 4294967295 134512640 134581331 3221221808 3221220688 134520233 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3383 1965 566 18 0 3365 0
vsize: 13532
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 2004 0 0 0 107570 445 0 0 25 0 1 0 704472452 13856768 1965 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3383 1965 566 18 0 3365 0
vsize: 13532
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 2004 0 0 0 108564 451 0 0 25 0 1 0 704472452 13856768 1965 4294967295 134512640 134581331 3221221808 3221220704 134517859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3383 1965 566 18 0 3365 0
vsize: 13532
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 2004 0 0 0 109558 457 0 0 25 0 1 0 704472452 13856768 1965 4294967295 134512640 134581331 3221221808 3221220580 1074910621 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3383 1965 566 18 0 3365 0
vsize: 13532
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 2004 0 0 0 110552 463 0 0 25 0 1 0 704472452 13856768 1965 4294967295 134512640 134581331 3221221808 3221220672 134528356 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3383 1965 566 18 0 3365 0
vsize: 13532
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 2004 0 0 0 111548 468 0 0 25 0 1 0 704472452 13856768 1965 4294967295 134512640 134581331 3221221808 3221220692 134557784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3383 1965 566 18 0 3365 0
vsize: 13532
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 2004 0 0 0 112544 472 0 0 25 0 1 0 704472452 13856768 1965 4294967295 134512640 134581331 3221221808 3221220592 134528826 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3383 1965 566 18 0 3365 0
vsize: 13532
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 2005 0 0 0 113538 478 0 0 25 0 1 0 704472452 13856768 1966 4294967295 134512640 134581331 3221221808 3221220652 134528557 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3383 1966 566 18 0 3365 0
vsize: 13532
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 2005 0 0 0 114532 484 0 0 25 0 1 0 704472452 13856768 1966 4294967295 134512640 134581331 3221221808 3221220704 134517900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3383 1966 566 18 0 3365 0
vsize: 13532
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 2005 0 0 0 115526 490 0 0 25 0 1 0 704472452 13856768 1966 4294967295 134512640 134581331 3221221808 3221220672 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3383 1966 566 18 0 3365 0
vsize: 13532
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 2005 0 0 0 116521 495 0 0 25 0 1 0 704472452 13856768 1966 4294967295 134512640 134581331 3221221808 3221220672 134528347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3383 1966 566 18 0 3365 0
vsize: 13532
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 2005 0 0 0 117515 502 0 0 25 0 1 0 704472452 13856768 1966 4294967295 134512640 134581331 3221221808 3221220720 134527539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3383 1966 566 18 0 3365 0
vsize: 13532
[startup+1188.88 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 4367
Raw data (stat): 4367 (Pueblo) R 4366 7876 7672 0 -1 0 2005 0 0 0 117515 502 0 0 25 0 1 0 704472452 13856768 1966 4294967295 134512640 134581331 3221221808 3221220720 134527539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3383 1966 566 18 0 3365 0
vsize: 0

Child status: 10
Real time (s): 1188.88
CPU time (s): 1189.02
CPU user time (s): 1183.96
CPU system time (s): 5.06023
CPU usage (%): 100.012
Max. virtual memory (Kb): 13548
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	5610
#### END VERIFIER DATA ####