PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8c1.opb
MD5SUM	5573ac468e70af6b65c69997b62e5033
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	302
Optimality of the best value was proved	NO
Number of terms in the objective function	1020
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	1020
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	1020
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.02984
Number of variables	1020
Total number of constraints	3575
Number of constraints which are clauses	3575
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	10
Trace number 38375

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        673476 kB
Buffers:         33948 kB
Cached:         303372 kB
SwapCached:        640 kB
Active:          67844 kB
Inactive:       271640 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        673224 kB
SwapTotal:     2097136 kB
SwapFree:      2095412 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5824 kB
Slab:            16016 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 08:59:11 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 26441 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/wulflinc1/normalized-ii8c1.opb
c #variables read: 1020 - #constraints read: 3576
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 -x809 x810 -x811 x812 -x813 -x814 -x815 x816 -x817 -x818 -x819 x820 x821 -x822 -x823 x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 x838 -x839 -x840 -x841 x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 x850 -x851 x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 x860 -x861 x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 x872 -x873 -x874 -x875 x876 -x877 -x878 -x879 x880 -x881 x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 x890 -x891 x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 x900 -x901 -x902 -x903 x904 -x905 x906 -x907 x908 -x909 -x910 x911 -x912 -x913 x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 x930 -x931 x932 x933 -x934 -x935 x936 -x937 -x938 -x939 x940 -x941 x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950 -x951 x952 x953 -x954 -x955 x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 x964 x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 x976 -x977 x978 -x979 -x980 -x981 x982 -x983 -x984 x985 -x986 -x987 -x988 -x989 x990 -x991 x992 -x993 -x994 -x995 x996 -x997 -x998 -x999 x1000 -x1001 -x1002 -x1003 x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 x1016 -x1017 x1018 -x1019 -x1020 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 1.08 1.00 0.93 2/55 31790
Raw data (stat): 31790 (runsolver) R 31789 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 791557168 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 1.07 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 1623 0 0 0 994 5 0 0 25 0 1 0 791557168 12378112 1597 4294967295 134512640 134581267 3221224592 3221223504 134527709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3022 1597 566 18 0 3004 0
vsize: 12088
[startup+20.0012 s]
Raw data (loadavg): 1.06 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 1962 0 0 0 1991 7 0 0 25 0 1 0 791557168 13688832 1936 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3342 1936 566 18 0 3324 0
vsize: 13368
[startup+30.0009 s]
Raw data (loadavg): 1.05 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 2149 0 0 0 2987 11 0 0 25 0 1 0 791557168 14475264 2123 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3534 2123 566 18 0 3516 0
vsize: 14136
[startup+40.0008 s]
Raw data (loadavg): 1.04 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 2311 0 0 0 3984 14 0 0 25 0 1 0 791557168 15130624 2285 4294967295 134512640 134581267 3221224592 3221223456 134528343 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3694 2285 566 18 0 3676 0
vsize: 14776
[startup+50.0015 s]
Raw data (loadavg): 1.03 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 2479 0 0 0 4982 17 0 0 25 0 1 0 791557168 15785984 2453 4294967295 134512640 134581267 3221224592 3221223456 134528240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3854 2453 566 18 0 3836 0
vsize: 15416
[startup+60.0016 s]
Raw data (loadavg): 1.03 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 2509 0 0 0 5979 20 0 0 25 0 1 0 791557168 15917056 2483 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3886 2483 566 18 0 3868 0
vsize: 15544
[startup+70.0021 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 2710 0 0 0 6976 23 0 0 25 0 1 0 791557168 16834560 2684 4294967295 134512640 134581267 3221224592 3221223584 134561067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4110 2684 566 18 0 4092 0
vsize: 16440
[startup+80.0019 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 2739 0 0 0 7974 25 0 0 25 0 1 0 791557168 16834560 2713 4294967295 134512640 134581267 3221224592 3221223456 134528299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4110 2713 566 18 0 4092 0
vsize: 16440
[startup+90.0017 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 2756 0 0 0 8971 28 0 0 25 0 1 0 791557168 16965632 2730 4294967295 134512640 134581267 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4142 2730 566 18 0 4124 0
vsize: 16568
[startup+100.001 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 2929 0 0 0 9968 32 0 0 25 0 1 0 791557168 17620992 2903 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4302 2903 566 18 0 4284 0
vsize: 17208
[startup+110.001 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 2943 0 0 0 10966 34 0 0 25 0 1 0 791557168 17752064 2917 4294967295 134512640 134581267 3221224592 3221223456 134528310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4334 2917 566 18 0 4316 0
vsize: 17336
[startup+120.002 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 2952 0 0 0 11965 35 0 0 25 0 1 0 791557168 17752064 2926 4294967295 134512640 134581267 3221224592 3221223536 134558756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4334 2926 566 18 0 4316 0
vsize: 17336
[startup+130.002 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 2964 0 0 0 12963 37 0 0 25 0 1 0 791557168 17752064 2938 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4334 2938 566 18 0 4316 0
vsize: 17336
[startup+140.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 3179 0 0 0 13961 40 0 0 25 0 1 0 791557168 18669568 3153 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4558 3153 566 18 0 4540 0
vsize: 18232
[startup+150.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 3221 0 0 0 14958 42 0 0 25 0 1 0 791557168 18931712 3195 4294967295 134512640 134581267 3221224592 3221223536 134558812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4622 3195 566 18 0 4604 0
vsize: 18488
[startup+160.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 3221 0 0 0 15955 46 0 0 25 0 1 0 791557168 18919424 3195 4294967295 134512640 134581267 3221224592 3221223572 134561056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4619 3195 566 18 0 4601 0
vsize: 18476
[startup+170.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 3226 0 0 0 16952 50 0 0 25 0 1 0 791557168 18919424 3200 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4619 3200 566 18 0 4601 0
vsize: 18476
[startup+180.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 3258 0 0 0 17948 53 0 0 25 0 1 0 791557168 19050496 3232 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4651 3232 566 18 0 4633 0
vsize: 18604
[startup+190.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 3258 0 0 0 18945 56 0 0 25 0 1 0 791557168 19005440 3232 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4640 3232 566 18 0 4622 0
vsize: 18560
[startup+200.001 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 3452 0 0 0 19942 59 0 0 25 0 1 0 791557168 19791872 3426 4294967295 134512640 134581267 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4832 3426 566 18 0 4814 0
vsize: 19328
[startup+210.001 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 3465 0 0 0 20940 61 0 0 25 0 1 0 791557168 19922944 3439 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4864 3439 566 18 0 4846 0
vsize: 19456
[startup+220.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 3483 0 0 0 21937 65 0 0 25 0 1 0 791557168 19922944 3457 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4864 3457 566 18 0 4846 0
vsize: 19456
[startup+230.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 3492 0 0 0 22935 67 0 0 25 0 1 0 791557168 19922944 3466 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4864 3466 566 18 0 4846 0
vsize: 19456
[startup+240.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 3503 0 0 0 23932 71 0 0 25 0 1 0 791557168 20054016 3477 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4896 3477 566 18 0 4878 0
vsize: 19584
[startup+250.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 3519 0 0 0 24929 74 0 0 25 0 1 0 791557168 20054016 3493 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4896 3493 566 18 0 4878 0
vsize: 19584
[startup+260.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 3533 0 0 0 25926 76 0 0 25 0 1 0 791557168 20185088 3507 4294967295 134512640 134581267 3221224592 3221223456 134560354 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4928 3507 566 18 0 4910 0
vsize: 19712
[startup+270.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 3533 0 0 0 26924 79 0 0 25 0 1 0 791557168 20185088 3507 4294967295 134512640 134581267 3221224592 3221223504 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4928 3507 566 18 0 4910 0
vsize: 19712
[startup+280.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 3534 0 0 0 27922 81 0 0 25 0 1 0 791557168 20185088 3508 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4928 3508 566 18 0 4910 0
vsize: 19712
[startup+290.001 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 3534 0 0 0 28920 83 0 0 25 0 1 0 791557168 20185088 3508 4294967295 134512640 134581267 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4928 3508 566 18 0 4910 0
vsize: 19712
[startup+300.001 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 3769 0 0 0 29917 86 0 0 25 0 1 0 791557168 21086208 3743 4294967295 134512640 134581267 3221224592 3221223456 134528284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5148 3743 566 18 0 5130 0
vsize: 20592
[startup+310.001 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 3804 0 0 0 30915 89 0 0 25 0 1 0 791557168 21217280 3778 4294967295 134512640 134581267 3221224592 3221223288 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5180 3778 566 18 0 5162 0
vsize: 20720
[startup+320.001 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 3823 0 0 0 31912 91 0 0 25 0 1 0 791557168 21348352 3797 4294967295 134512640 134581267 3221224592 3221223384 1075288541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5212 3797 566 18 0 5194 0
vsize: 20848
[startup+330 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 3833 0 0 0 32910 94 0 0 25 0 1 0 791557168 21348352 3807 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5212 3807 566 18 0 5194 0
vsize: 20848
[startup+340 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 3846 0 0 0 33907 97 0 0 25 0 1 0 791557168 21479424 3820 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5244 3820 566 18 0 5226 0
vsize: 20976
[startup+350 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 3848 0 0 0 34904 100 0 0 25 0 1 0 791557168 21479424 3822 4294967295 134512640 134581267 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5244 3822 566 18 0 5226 0
vsize: 20976
[startup+360 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 3850 0 0 0 35902 102 0 0 25 0 1 0 791557168 21479424 3824 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5244 3824 566 18 0 5226 0
vsize: 20976
[startup+370.001 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 3850 0 0 0 36899 105 0 0 25 0 1 0 791557168 21479424 3824 4294967295 134512640 134581267 3221224592 3221223456 134528304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5244 3824 566 18 0 5226 0
vsize: 20976
[startup+380 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 3865 0 0 0 37897 108 0 0 25 0 1 0 791557168 21479424 3839 4294967295 134512640 134581267 3221224592 3221223456 134528334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5244 3839 566 18 0 5226 0
vsize: 20976
[startup+390 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 3884 0 0 0 38895 110 0 0 25 0 1 0 791557168 21610496 3858 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5276 3858 566 18 0 5258 0
vsize: 21104
[startup+400.001 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 3890 0 0 0 39893 112 0 0 25 0 1 0 791557168 21610496 3864 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5276 3864 566 18 0 5258 0
vsize: 21104
[startup+410.001 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 3904 0 0 0 40891 114 0 0 25 0 1 0 791557168 21610496 3878 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5276 3878 566 18 0 5258 0
vsize: 21104
[startup+420.001 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 3907 0 0 0 41888 117 0 0 25 0 1 0 791557168 21610496 3881 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5276 3881 566 18 0 5258 0
vsize: 21104
[startup+430.001 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 3917 0 0 0 42885 120 0 0 25 0 1 0 791557168 21741568 3891 4294967295 134512640 134581267 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5308 3891 566 18 0 5290 0
vsize: 21232
[startup+440.001 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4098 0 0 0 43883 123 0 0 25 0 1 0 791557168 22396928 4072 4294967295 134512640 134581267 3221224592 3221223600 134560198 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5468 4072 566 18 0 5450 0
vsize: 21872
[startup+450.001 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4116 0 0 0 44880 126 0 0 25 0 1 0 791557168 22528000 4090 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5500 4090 566 18 0 5482 0
vsize: 22000
[startup+460.001 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4129 0 0 0 45878 128 0 0 25 0 1 0 791557168 22528000 4103 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5500 4103 566 18 0 5482 0
vsize: 22000
[startup+470.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4150 0 0 0 46874 132 0 0 25 0 1 0 791557168 22659072 4124 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5532 4124 566 18 0 5514 0
vsize: 22128
[startup+480.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4183 0 0 0 47872 134 0 0 25 0 1 0 791557168 22790144 4157 4294967295 134512640 134581267 3221224592 3221223504 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5564 4157 566 18 0 5546 0
vsize: 22256
[startup+490.001 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4199 0 0 0 48869 137 0 0 25 0 1 0 791557168 22921216 4173 4294967295 134512640 134581267 3221224592 3221223456 134528235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5596 4173 566 18 0 5578 0
vsize: 22384
[startup+500.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4206 0 0 0 49867 140 0 0 25 0 1 0 791557168 22921216 4180 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5596 4180 566 18 0 5578 0
vsize: 22384
[startup+510.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4217 0 0 0 50864 143 0 0 25 0 1 0 791557168 22921216 4191 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5596 4191 566 18 0 5578 0
vsize: 22384
[startup+520.001 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4222 0 0 0 51862 145 0 0 25 0 1 0 791557168 22921216 4196 4294967295 134512640 134581267 3221224592 3221223552 134516723 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5596 4196 566 18 0 5578 0
vsize: 22384
[startup+530.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4225 0 0 0 52860 148 0 0 25 0 1 0 791557168 22921216 4199 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5596 4199 566 18 0 5578 0
vsize: 22384
[startup+540.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4228 0 0 0 53857 150 0 0 25 0 1 0 791557168 23052288 4202 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5628 4202 566 18 0 5610 0
vsize: 22512
[startup+550.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4266 0 0 0 54855 152 0 0 25 0 1 0 791557168 23183360 4240 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5660 4240 566 18 0 5642 0
vsize: 22640
[startup+560.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4304 0 0 0 55853 155 0 0 25 0 1 0 791557168 23314432 4278 4294967295 134512640 134581267 3221224592 3221223456 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5692 4278 566 18 0 5674 0
vsize: 22768
[startup+570.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4318 0 0 0 56852 156 0 0 25 0 1 0 791557168 23445504 4292 4294967295 134512640 134581267 3221224592 3221223456 134528336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5724 4292 566 18 0 5706 0
vsize: 22896
[startup+580.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4333 0 0 0 57850 158 0 0 25 0 1 0 791557168 23445504 4307 4294967295 134512640 134581267 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5724 4307 566 18 0 5706 0
vsize: 22896
[startup+590.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4340 0 0 0 58847 161 0 0 25 0 1 0 791557168 23445504 4314 4294967295 134512640 134581267 3221224592 3221223536 134559033 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5724 4314 566 18 0 5706 0
vsize: 22896
[startup+600.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4340 0 0 0 59845 164 0 0 25 0 1 0 791557168 23445504 4314 4294967295 134512640 134581267 3221224592 3221223584 134561104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5724 4314 566 18 0 5706 0
vsize: 22896
[startup+610.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4363 0 0 0 60841 168 0 0 25 0 1 0 791557168 23576576 4337 4294967295 134512640 134581267 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5756 4337 566 18 0 5738 0
vsize: 23024
[startup+620.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4374 0 0 0 61838 171 0 0 25 0 1 0 791557168 23576576 4348 4294967295 134512640 134581267 3221224592 3221223456 134528249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5756 4348 566 18 0 5738 0
vsize: 23024
[startup+630.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4384 0 0 0 62836 173 0 0 25 0 1 0 791557168 23707648 4358 4294967295 134512640 134581267 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5788 4358 566 18 0 5770 0
vsize: 23152
[startup+640.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4395 0 0 0 63834 176 0 0 25 0 1 0 791557168 23707648 4369 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5788 4369 566 18 0 5770 0
vsize: 23152
[startup+650.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4428 0 0 0 64832 178 0 0 25 0 1 0 791557168 23838720 4402 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5820 4402 566 18 0 5802 0
vsize: 23280
[startup+660.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4428 0 0 0 65829 180 0 0 25 0 1 0 791557168 23838720 4402 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5820 4402 566 18 0 5802 0
vsize: 23280
[startup+670.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4428 0 0 0 66827 183 0 0 25 0 1 0 791557168 23838720 4402 4294967295 134512640 134581267 3221224592 3221223520 134519850 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5820 4402 566 18 0 5802 0
vsize: 23280
[startup+680.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4701 0 0 0 67824 186 0 0 25 0 1 0 791557168 24887296 4675 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6076 4675 566 18 0 6058 0
vsize: 24304
[startup+690.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4713 0 0 0 68821 190 0 0 25 0 1 0 791557168 25018368 4687 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6108 4687 566 18 0 6090 0
vsize: 24432
[startup+700.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4753 0 0 0 69817 194 0 0 25 0 1 0 791557168 25149440 4727 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6140 4727 566 18 0 6122 0
vsize: 24560
[startup+710.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4776 0 0 0 70813 197 0 0 25 0 1 0 791557168 25280512 4750 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6172 4750 566 18 0 6154 0
vsize: 24688
[startup+720.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4800 0 0 0 71810 201 0 0 25 0 1 0 791557168 25411584 4774 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6204 4774 566 18 0 6186 0
vsize: 24816
[startup+730.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4801 0 0 0 72807 204 0 0 25 0 1 0 791557168 25411584 4775 4294967295 134512640 134581267 3221224592 3221223456 134560377 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6204 4775 566 18 0 6186 0
vsize: 24816
[startup+740.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4801 0 0 0 73805 206 0 0 25 0 1 0 791557168 25411584 4775 4294967295 134512640 134581267 3221224592 3221223504 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6204 4775 566 18 0 6186 0
vsize: 24816
[startup+750.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4801 0 0 0 74803 209 0 0 25 0 1 0 791557168 25411584 4775 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6204 4775 566 18 0 6186 0
vsize: 24816
[startup+760.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4822 0 0 0 75801 210 0 0 25 0 1 0 791557168 25411584 4796 4294967295 134512640 134581267 3221224592 3221223384 1075289350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6204 4796 566 18 0 6186 0
vsize: 24816
[startup+770.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4831 0 0 0 76799 213 0 0 25 0 1 0 791557168 25542656 4805 4294967295 134512640 134581267 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6236 4805 566 18 0 6218 0
vsize: 24944
[startup+780.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4834 0 0 0 77796 216 0 0 25 0 1 0 791557168 25542656 4808 4294967295 134512640 134581267 3221224592 3221223472 134520219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6236 4808 566 18 0 6218 0
vsize: 24944
[startup+790.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4834 0 0 0 78793 219 0 0 25 0 1 0 791557168 25542656 4808 4294967295 134512640 134581267 3221224592 3221223488 134517800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6236 4808 566 18 0 6218 0
vsize: 24944
[startup+800.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4919 0 0 0 79790 222 0 0 25 0 1 0 791557168 25812992 4893 4294967295 134512640 134581267 3221224592 3221223272 134566410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6302 4893 566 18 0 6284 0
vsize: 25208
[startup+810.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4919 0 0 0 80787 226 0 0 25 0 1 0 791557168 25812992 4893 4294967295 134512640 134581267 3221224592 3221223456 134528334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6302 4893 566 18 0 6284 0
vsize: 25208
[startup+820.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4919 0 0 0 81785 228 0 0 25 0 1 0 791557168 25812992 4893 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6302 4893 566 18 0 6284 0
vsize: 25208
[startup+830.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4919 0 0 0 82783 229 0 0 25 0 1 0 791557168 25812992 4893 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6302 4893 566 18 0 6284 0
vsize: 25208
[startup+840.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4919 0 0 0 83782 231 0 0 25 0 1 0 791557168 25812992 4893 4294967295 134512640 134581267 3221224592 3221223456 134528302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6302 4893 566 18 0 6284 0
vsize: 25208
[startup+850.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4919 0 0 0 84779 234 0 0 25 0 1 0 791557168 25812992 4893 4294967295 134512640 134581267 3221224592 3221223456 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6302 4893 566 18 0 6284 0
vsize: 25208
[startup+860.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4919 0 0 0 85776 238 0 0 25 0 1 0 791557168 25812992 4893 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6302 4893 566 18 0 6284 0
vsize: 25208
[startup+870.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4919 0 0 0 86773 240 0 0 25 0 1 0 791557168 25812992 4893 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6302 4893 566 18 0 6284 0
vsize: 25208
[startup+880.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4919 0 0 0 87771 243 0 0 25 0 1 0 791557168 25812992 4893 4294967295 134512640 134581267 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6302 4893 566 18 0 6284 0
vsize: 25208
[startup+890.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4919 0 0 0 88767 247 0 0 25 0 1 0 791557168 25812992 4893 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6302 4893 566 18 0 6284 0
vsize: 25208
[startup+900.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4919 0 0 0 89765 250 0 0 25 0 1 0 791557168 25812992 4893 4294967295 134512640 134581267 3221224592 3221223536 134558756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6302 4893 566 18 0 6284 0
vsize: 25208
[startup+910.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4919 0 0 0 90762 253 0 0 25 0 1 0 791557168 25812992 4893 4294967295 134512640 134581267 3221224592 3221223368 1075285936 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6302 4893 566 18 0 6284 0
vsize: 25208
[startup+920.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4919 0 0 0 91759 255 0 0 25 0 1 0 791557168 25812992 4893 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6302 4893 566 18 0 6284 0
vsize: 25208
[startup+930.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4919 0 0 0 92757 258 0 0 25 0 1 0 791557168 25812992 4893 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6302 4893 566 18 0 6284 0
vsize: 25208
[startup+940.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4919 0 0 0 93754 261 0 0 25 0 1 0 791557168 25812992 4893 4294967295 134512640 134581267 3221224592 3221223456 134528289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6302 4893 566 18 0 6284 0
vsize: 25208
[startup+950.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4928 0 0 0 94752 263 0 0 25 0 1 0 791557168 25944064 4902 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6334 4902 566 18 0 6316 0
vsize: 25336
[startup+960.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4928 0 0 0 95749 266 0 0 25 0 1 0 791557168 25931776 4902 4294967295 134512640 134581267 3221224592 3221223456 134528238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6331 4902 566 18 0 6313 0
vsize: 25324
[startup+970.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4958 0 0 0 96746 270 0 0 25 0 1 0 791557168 26062848 4932 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6363 4932 566 18 0 6345 0
vsize: 25452
[startup+980.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4959 0 0 0 97743 273 0 0 25 0 1 0 791557168 26042368 4933 4294967295 134512640 134581267 3221224592 3221223456 134528304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6358 4933 566 18 0 6340 0
vsize: 25432
[startup+990.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4963 0 0 0 98740 275 0 0 25 0 1 0 791557168 26042368 4937 4294967295 134512640 134581267 3221224592 3221223308 1075288371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6358 4937 566 18 0 6340 0
vsize: 25432
[startup+1000.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4975 0 0 0 99738 278 0 0 25 0 1 0 791557168 26042368 4949 4294967295 134512640 134581267 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6358 4949 566 18 0 6340 0
vsize: 25432
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4975 0 0 0 100736 281 0 0 25 0 1 0 791557168 26042368 4949 4294967295 134512640 134581267 3221224592 3221223504 134527765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6358 4949 566 18 0 6340 0
vsize: 25432
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 4975 0 0 0 101733 284 0 0 25 0 1 0 791557168 26042368 4949 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6358 4949 566 18 0 6340 0
vsize: 25432
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 5259 0 0 0 102730 287 0 0 25 0 1 0 791557168 27222016 5233 4294967295 134512640 134581267 3221224592 3221223536 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6646 5233 566 18 0 6628 0
vsize: 26584
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 5263 0 0 0 103727 290 0 0 25 0 1 0 791557168 27222016 5237 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6646 5237 566 18 0 6628 0
vsize: 26584
[startup+1050.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 5284 0 0 0 104725 292 0 0 25 0 1 0 791557168 27353088 5258 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6678 5258 566 18 0 6660 0
vsize: 26712
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 5284 0 0 0 105722 296 0 0 25 0 1 0 791557168 27353088 5258 4294967295 134512640 134581267 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6678 5258 566 18 0 6660 0
vsize: 26712
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 5284 0 0 0 106719 299 0 0 25 0 1 0 791557168 27353088 5258 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6678 5258 566 18 0 6660 0
vsize: 26712
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 5294 0 0 0 107716 302 0 0 25 0 1 0 791557168 27353088 5268 4294967295 134512640 134581267 3221224592 3221223536 134558909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6678 5268 566 18 0 6660 0
vsize: 26712
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 5313 0 0 0 108713 304 0 0 25 0 1 0 791557168 27484160 5287 4294967295 134512640 134581267 3221224592 3221223456 134528340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6710 5287 566 18 0 6692 0
vsize: 26840
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 5313 0 0 0 109711 307 0 0 25 0 1 0 791557168 27471872 5287 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6707 5287 566 18 0 6689 0
vsize: 26828
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 5313 0 0 0 110708 310 0 0 25 0 1 0 791557168 27471872 5287 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6707 5287 566 18 0 6689 0
vsize: 26828
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 5314 0 0 0 111705 314 0 0 25 0 1 0 791557168 27471872 5288 4294967295 134512640 134581267 3221224592 3221223504 134527737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6707 5288 566 18 0 6689 0
vsize: 26828
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 5318 0 0 0 112702 316 0 0 25 0 1 0 791557168 27471872 5292 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6707 5292 566 18 0 6689 0
vsize: 26828
[startup+1140.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 5323 0 0 0 113697 321 0 0 25 0 1 0 791557168 27471872 5297 4294967295 134512640 134581267 3221224592 3221223288 1075291552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6707 5297 566 18 0 6689 0
vsize: 26828
[startup+1150.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 5335 0 0 0 114694 325 0 0 25 0 1 0 791557168 27643904 5309 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6749 5309 566 18 0 6731 0
vsize: 26996
[startup+1160.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 5345 0 0 0 115691 328 0 0 25 0 1 0 791557168 27643904 5319 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6749 5319 566 18 0 6731 0
vsize: 26996
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 5345 0 0 0 116686 333 0 0 25 0 1 0 791557168 27643904 5319 4294967295 134512640 134581267 3221224592 3221223552 134516723 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6749 5319 566 18 0 6731 0
vsize: 26996
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 5345 0 0 0 117683 337 0 0 25 0 1 0 791557168 27643904 5319 4294967295 134512640 134581267 3221224592 3221223536 134554673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6749 5319 566 18 0 6731 0
vsize: 26996
[startup+1188.83 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 31790
Raw data (stat): 31790 (Pueblo-v2) R 31789 8378 8377 0 -1 0 5345 0 0 0 117683 337 0 0 25 0 1 0 791557168 27643904 5319 4294967295 134512640 134581267 3221224592 3221223536 134554673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6749 5319 566 18 0 6731 0
vsize: 0

Child status: 10
Real time (s): 1188.83
CPU time (s): 1189.02
CPU user time (s): 1185.61
CPU system time (s): 3.40448
CPU usage (%): 100.016
Max. virtual memory (Kb): 26996
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	358
#### END VERIFIER DATA ####