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-ii8e1.opb
MD5SUM	979ebd144bbd2b562b23479b90a02c66
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	343
Optimality of the best value was proved	NO
Number of terms in the objective function	1040
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	1040
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1040
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03484
Number of variables	1040
Total number of constraints	3656
Number of constraints which are clauses	3656
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 38405

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-02 08:51:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26445 boxname=wulflinc6 idbench=175 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  979ebd144bbd2b562b23479b90a02c66  /oldhome/oroussel/tmp/wulflinc6/normalized-ii8e1.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-ii8e1.opb
IDLAUNCH: 26445
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        776020 kB
Buffers:         33184 kB
Cached:         204536 kB
SwapCached:        552 kB
Active:          55852 kB
Inactive:       183984 kB
HighTotal:      131008 kB
HighFree:        45976 kB
LowTotal:       903652 kB
LowFree:        730044 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            13020 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 09:11:38 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 26445 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/wulflinc6/normalized-ii8e1.opb
c #variables read: 1040 - #constraints read: 3657
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 -x1021 x1022 -x1023 x1024 -x1025 x1026 x1027 -x1028 -x1029 x1030 -x1031 x1032 -x1033 x1034 -x1035 x1036 -x1037 x1038 -x1039 x1040 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.97 0.97 2/54 13699
Raw data (stat): 13699 (runsolver) R 13698 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 848487689 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.0006 s]
Raw data (loadavg): 0.93 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 1640 0 0 0 993 6 0 0 25 0 1 0 848487689 12378112 1614 4294967295 134512640 134581267 3221224592 3221223456 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3022 1614 566 18 0 3004 0
vsize: 12088
[startup+20.002 s]
Raw data (loadavg): 0.94 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 1926 0 0 0 1989 10 0 0 25 0 1 0 848487689 13557760 1900 4294967295 134512640 134581267 3221224592 3221223536 134558834 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3310 1900 566 18 0 3292 0
vsize: 13240
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 2235 0 0 0 2987 13 0 0 25 0 1 0 848487689 14868480 2209 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3630 2209 566 18 0 3612 0
vsize: 14520
[startup+40.001 s]
Raw data (loadavg): 0.96 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 2377 0 0 0 3984 16 0 0 25 0 1 0 848487689 15392768 2351 4294967295 134512640 134581267 3221224592 3221223504 134531369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3758 2351 566 18 0 3740 0
vsize: 15032
[startup+50.0015 s]
Raw data (loadavg): 0.96 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 2413 0 0 0 4982 19 0 0 25 0 1 0 848487689 15523840 2387 4294967295 134512640 134581267 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3790 2387 566 18 0 3772 0
vsize: 15160
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 2625 0 0 0 5980 20 0 0 25 0 1 0 848487689 16441344 2599 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4014 2599 566 18 0 3996 0
vsize: 16056
[startup+70.0014 s]
Raw data (loadavg): 0.97 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 2654 0 0 0 6978 23 0 0 25 0 1 0 848487689 16572416 2628 4294967295 134512640 134581267 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4046 2628 566 18 0 4028 0
vsize: 16184
[startup+80.0019 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 2798 0 0 0 7975 26 0 0 25 0 1 0 848487689 17096704 2772 4294967295 134512640 134581267 3221224592 3221223456 134528302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4174 2772 566 18 0 4156 0
vsize: 16696
[startup+90.002 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 2812 0 0 0 8972 30 0 0 25 0 1 0 848487689 17227776 2786 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4206 2786 566 18 0 4188 0
vsize: 16824
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 2828 0 0 0 9968 34 0 0 25 0 1 0 848487689 17227776 2802 4294967295 134512640 134581267 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4206 2802 566 18 0 4188 0
vsize: 16824
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 3093 0 0 0 10964 38 0 0 25 0 1 0 848487689 18276352 3067 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4462 3067 566 18 0 4444 0
vsize: 17848
[startup+120.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 3110 0 0 0 11961 41 0 0 25 0 1 0 848487689 18407424 3084 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4494 3084 566 18 0 4476 0
vsize: 17976
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 3122 0 0 0 12957 46 0 0 25 0 1 0 848487689 18407424 3096 4294967295 134512640 134581267 3221224592 3221223456 134528291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4494 3096 566 18 0 4476 0
vsize: 17976
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 3139 0 0 0 13954 49 0 0 25 0 1 0 848487689 18538496 3113 4294967295 134512640 134581267 3221224592 3221223456 134528235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4526 3113 566 18 0 4508 0
vsize: 18104
[startup+150.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 3300 0 0 0 14949 54 0 0 25 0 1 0 848487689 19202048 3274 4294967295 134512640 134581267 3221224592 3221223472 134520278 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4688 3274 566 18 0 4670 0
vsize: 18752
[startup+160.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 3308 0 0 0 15944 60 0 0 25 0 1 0 848487689 19202048 3282 4294967295 134512640 134581267 3221224592 3221223456 134528240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4688 3282 566 18 0 4670 0
vsize: 18752
[startup+170 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 3317 0 0 0 16939 65 0 0 25 0 1 0 848487689 19202048 3291 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4688 3291 566 18 0 4670 0
vsize: 18752
[startup+180 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 3362 0 0 0 17934 70 0 0 25 0 1 0 848487689 19464192 3336 4294967295 134512640 134581267 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4752 3336 566 18 0 4734 0
vsize: 19008
[startup+190 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 3381 0 0 0 18931 74 0 0 25 0 1 0 848487689 19464192 3355 4294967295 134512640 134581267 3221224592 3221223504 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4752 3355 566 18 0 4734 0
vsize: 19008
[startup+200 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 3381 0 0 0 19927 78 0 0 25 0 1 0 848487689 19464192 3355 4294967295 134512640 134581267 3221224592 3221223456 134528310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4752 3355 566 18 0 4734 0
vsize: 19008
[startup+210 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 3658 0 0 0 20924 82 0 0 25 0 1 0 848487689 20643840 3632 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5040 3632 566 18 0 5022 0
vsize: 20160
[startup+220 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 3661 0 0 0 21921 84 0 0 25 0 1 0 848487689 20643840 3635 4294967295 134512640 134581267 3221224592 3221223456 134528240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5040 3635 566 18 0 5022 0
vsize: 20160
[startup+230 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 3697 0 0 0 22918 88 0 0 25 0 1 0 848487689 20774912 3671 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5072 3671 566 18 0 5054 0
vsize: 20288
[startup+240 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 3709 0 0 0 23915 91 0 0 25 0 1 0 848487689 20877312 3683 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5097 3683 566 18 0 5079 0
vsize: 20388
[startup+250 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 3709 0 0 0 24912 95 0 0 25 0 1 0 848487689 20877312 3683 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5097 3683 566 18 0 5079 0
vsize: 20388
[startup+260.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 3716 0 0 0 25909 98 0 0 25 0 1 0 848487689 20840448 3690 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5088 3690 566 18 0 5070 0
vsize: 20352
[startup+270.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 3730 0 0 0 26905 102 0 0 25 0 1 0 848487689 20971520 3704 4294967295 134512640 134581267 3221224592 3221223456 134528291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5120 3704 566 18 0 5102 0
vsize: 20480
[startup+280.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 3730 0 0 0 27901 106 0 0 25 0 1 0 848487689 20955136 3704 4294967295 134512640 134581267 3221224592 3221223536 134558784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5116 3704 566 18 0 5098 0
vsize: 20464
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 3756 0 0 0 28898 110 0 0 25 0 1 0 848487689 21086208 3730 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5148 3730 566 18 0 5130 0
vsize: 20592
[startup+300.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 3756 0 0 0 29896 113 0 0 25 0 1 0 848487689 21045248 3730 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5138 3730 566 18 0 5120 0
vsize: 20552
[startup+310.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 3941 0 0 0 30893 116 0 0 25 0 1 0 848487689 21831680 3915 4294967295 134512640 134581267 3221224592 3221223552 134519781 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5330 3915 566 18 0 5312 0
vsize: 21320
[startup+320 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 3944 0 0 0 31889 120 0 0 25 0 1 0 848487689 21831680 3918 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5330 3918 566 18 0 5312 0
vsize: 21320
[startup+330.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 3944 0 0 0 32887 122 0 0 25 0 1 0 848487689 21831680 3918 4294967295 134512640 134581267 3221224592 3221223504 134527683 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5330 3918 566 18 0 5312 0
vsize: 21320
[startup+340.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 3955 0 0 0 33884 126 0 0 25 0 1 0 848487689 21831680 3929 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5330 3929 566 18 0 5312 0
vsize: 21320
[startup+350.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 3976 0 0 0 34881 129 0 0 25 0 1 0 848487689 21962752 3950 4294967295 134512640 134581267 3221224592 3221223456 134528315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5362 3950 566 18 0 5344 0
vsize: 21448
[startup+360.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4000 0 0 0 35878 133 0 0 25 0 1 0 848487689 22093824 3974 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5394 3974 566 18 0 5376 0
vsize: 21576
[startup+370.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4001 0 0 0 36875 136 0 0 25 0 1 0 848487689 22093824 3975 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5394 3975 566 18 0 5376 0
vsize: 21576
[startup+380.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4001 0 0 0 37871 140 0 0 25 0 1 0 848487689 22093824 3975 4294967295 134512640 134581267 3221224592 3221223456 134528315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5394 3975 566 18 0 5376 0
vsize: 21576
[startup+390 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4001 0 0 0 38869 143 0 0 25 0 1 0 848487689 22093824 3975 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5394 3975 566 18 0 5376 0
vsize: 21576
[startup+400.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4034 0 0 0 39867 145 0 0 25 0 1 0 848487689 22224896 4008 4294967295 134512640 134581267 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5426 4008 566 18 0 5408 0
vsize: 21704
[startup+410 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4034 0 0 0 40864 148 0 0 25 0 1 0 848487689 22224896 4008 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5426 4008 566 18 0 5408 0
vsize: 21704
[startup+420 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4034 0 0 0 41862 151 0 0 25 0 1 0 848487689 22212608 4008 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5423 4008 566 18 0 5405 0
vsize: 21692
[startup+430 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4043 0 0 0 42859 154 0 0 25 0 1 0 848487689 22212608 4017 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5423 4017 566 18 0 5405 0
vsize: 21692
[startup+440 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4069 0 0 0 43856 157 0 0 25 0 1 0 848487689 22343680 4043 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5455 4043 566 18 0 5437 0
vsize: 21820
[startup+449.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4079 0 0 0 44853 160 0 0 25 0 1 0 848487689 22343680 4053 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5455 4053 566 18 0 5437 0
vsize: 21820
[startup+460 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4087 0 0 0 45850 164 0 0 25 0 1 0 848487689 22474752 4061 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5487 4061 566 18 0 5469 0
vsize: 21948
[startup+469.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4411 0 0 0 46848 166 0 0 25 0 1 0 848487689 23797760 4385 4294967295 134512640 134581267 3221224592 3221223504 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5810 4385 566 18 0 5792 0
vsize: 23240
[startup+479.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4411 0 0 0 47845 169 0 0 25 0 1 0 848487689 23797760 4385 4294967295 134512640 134581267 3221224592 3221223536 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5810 4385 566 18 0 5792 0
vsize: 23240
[startup+489.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 13699
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4456 0 0 0 48842 172 0 0 25 0 1 0 848487689 23928832 4430 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5842 4430 566 18 0 5824 0
vsize: 23368
[startup+500.01 s]
Raw data (loadavg): 1.07 0.99 0.97 3/57 13738
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4471 0 0 0 49839 177 0 0 25 0 1 0 848487689 24059904 4445 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5874 4445 566 18 0 5856 0
vsize: 23496
[startup+510.01 s]
Raw data (loadavg): 1.22 1.02 0.98 2/54 13752
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4471 0 0 0 50836 181 0 0 25 0 1 0 848487689 24059904 4445 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5874 4445 566 18 0 5856 0
vsize: 23496
[startup+520.035 s]
Raw data (loadavg): 1.18 1.02 0.98 2/54 13752
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4487 0 0 0 51836 183 0 0 25 0 1 0 848487689 24059904 4461 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5874 4461 566 18 0 5856 0
vsize: 23496
[startup+530.034 s]
Raw data (loadavg): 1.15 1.02 0.98 2/54 13752
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4488 0 0 0 52834 186 0 0 25 0 1 0 848487689 24059904 4462 4294967295 134512640 134581267 3221224592 3221223456 134528284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5874 4462 566 18 0 5856 0
vsize: 23496
[startup+540.034 s]
Raw data (loadavg): 1.13 1.02 0.98 2/54 13752
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4488 0 0 0 53832 188 0 0 25 0 1 0 848487689 24059904 4462 4294967295 134512640 134581267 3221224592 3221223536 134559270 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5874 4462 566 18 0 5856 0
vsize: 23496
[startup+550.034 s]
Raw data (loadavg): 1.11 1.02 0.98 2/54 13752
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4521 0 0 0 54829 191 0 0 25 0 1 0 848487689 24190976 4495 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5906 4495 566 18 0 5888 0
vsize: 23624
[startup+560.049 s]
Raw data (loadavg): 1.09 1.02 0.98 2/54 13752
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4542 0 0 0 55829 193 0 0 25 0 1 0 848487689 24322048 4516 4294967295 134512640 134581267 3221224592 3221223536 134558756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5938 4516 566 18 0 5920 0
vsize: 23752
[startup+570.059 s]
Raw data (loadavg): 1.08 1.01 0.98 2/54 13752
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4552 0 0 0 56827 196 0 0 25 0 1 0 848487689 24322048 4526 4294967295 134512640 134581267 3221224592 3221223552 134516754 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5938 4526 566 18 0 5920 0
vsize: 23752
[startup+580.058 s]
Raw data (loadavg): 1.06 1.01 0.98 2/54 13754
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4552 0 0 0 57824 199 0 0 25 0 1 0 848487689 24322048 4526 4294967295 134512640 134581267 3221224592 3221223520 134520095 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5938 4526 566 18 0 5920 0
vsize: 23752
[startup+590.058 s]
Raw data (loadavg): 1.05 1.01 0.98 2/54 13754
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4559 0 0 0 58822 202 0 0 25 0 1 0 848487689 24322048 4533 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5938 4533 566 18 0 5920 0
vsize: 23752
[startup+600.058 s]
Raw data (loadavg): 1.05 1.01 0.98 2/54 13754
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4579 0 0 0 59819 205 0 0 25 0 1 0 848487689 24453120 4553 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5970 4553 566 18 0 5952 0
vsize: 23880
[startup+610.057 s]
Raw data (loadavg): 1.04 1.01 0.98 2/54 13754
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4599 0 0 0 60817 208 0 0 25 0 1 0 848487689 24584192 4573 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6002 4573 566 18 0 5984 0
vsize: 24008
[startup+620.057 s]
Raw data (loadavg): 1.03 1.01 0.98 2/54 13754
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4599 0 0 0 61813 211 0 0 25 0 1 0 848487689 24584192 4573 4294967295 134512640 134581267 3221224592 3221223488 134517792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6002 4573 566 18 0 5984 0
vsize: 24008
[startup+630.057 s]
Raw data (loadavg): 1.03 1.01 0.98 2/54 13754
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4599 0 0 0 62811 214 0 0 25 0 1 0 848487689 24584192 4573 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6002 4573 566 18 0 5984 0
vsize: 24008
[startup+640.056 s]
Raw data (loadavg): 1.02 1.01 0.98 2/54 13754
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4618 0 0 0 63808 217 0 0 25 0 1 0 848487689 24584192 4592 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6002 4592 566 18 0 5984 0
vsize: 24008
[startup+650.056 s]
Raw data (loadavg): 1.02 1.01 0.98 2/54 13754
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4618 0 0 0 64805 220 0 0 25 0 1 0 848487689 24584192 4592 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6002 4592 566 18 0 5984 0
vsize: 24008
[startup+660.056 s]
Raw data (loadavg): 1.02 1.01 0.98 2/54 13754
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4618 0 0 0 65803 223 0 0 25 0 1 0 848487689 24584192 4592 4294967295 134512640 134581267 3221224592 3221223456 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6002 4592 566 18 0 5984 0
vsize: 24008
[startup+670.056 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 13754
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4618 0 0 0 66802 225 0 0 25 0 1 0 848487689 24584192 4592 4294967295 134512640 134581267 3221224592 3221223552 134519892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6002 4592 566 18 0 5984 0
vsize: 24008
[startup+680.056 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 13754
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4618 0 0 0 67800 226 0 0 25 0 1 0 848487689 24584192 4592 4294967295 134512640 134581267 3221224592 3221223456 134528338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6002 4592 566 18 0 5984 0
vsize: 24008
[startup+690.056 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 13754
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4618 0 0 0 68798 229 0 0 25 0 1 0 848487689 24567808 4592 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5998 4592 566 18 0 5980 0
vsize: 23992
[startup+700.056 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 13754
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4641 0 0 0 69795 232 0 0 25 0 1 0 848487689 24698880 4615 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6030 4615 566 18 0 6012 0
vsize: 24120
[startup+710.056 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13754
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4829 0 0 0 70793 235 0 0 25 0 1 0 848487689 25485312 4803 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6222 4803 566 18 0 6204 0
vsize: 24888
[startup+720.056 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13754
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4836 0 0 0 71790 238 0 0 25 0 1 0 848487689 25485312 4810 4294967295 134512640 134581267 3221224592 3221223536 134559432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6222 4810 566 18 0 6204 0
vsize: 24888
[startup+730.055 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13754
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4859 0 0 0 72785 243 0 0 25 0 1 0 848487689 25616384 4833 4294967295 134512640 134581267 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6254 4833 566 18 0 6236 0
vsize: 25016
[startup+740.056 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13754
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4887 0 0 0 73780 248 0 0 25 0 1 0 848487689 25747456 4861 4294967295 134512640 134581267 3221224592 3221223456 134528302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6286 4861 566 18 0 6268 0
vsize: 25144
[startup+750.055 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13754
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4892 0 0 0 74776 253 0 0 25 0 1 0 848487689 25747456 4866 4294967295 134512640 134581267 3221224592 3221223584 134561081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6286 4866 566 18 0 6268 0
vsize: 25144
[startup+760.055 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13754
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4892 0 0 0 75771 258 0 0 25 0 1 0 848487689 25747456 4866 4294967295 134512640 134581267 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6286 4866 566 18 0 6268 0
vsize: 25144
[startup+770.055 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13754
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4892 0 0 0 76768 262 0 0 25 0 1 0 848487689 25747456 4866 4294967295 134512640 134581267 3221224592 3221223584 134561096 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6286 4866 566 18 0 6268 0
vsize: 25144
[startup+780.055 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13754
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4892 0 0 0 77765 265 0 0 25 0 1 0 848487689 25747456 4866 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6286 4866 566 18 0 6268 0
vsize: 25144
[startup+790.054 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13754
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4914 0 0 0 78761 269 0 0 25 0 1 0 848487689 25878528 4888 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6318 4888 566 18 0 6300 0
vsize: 25272
[startup+800.053 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13754
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4914 0 0 0 79757 274 0 0 25 0 1 0 848487689 25878528 4888 4294967295 134512640 134581267 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6318 4888 566 18 0 6300 0
vsize: 25272
[startup+810.053 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13754
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4917 0 0 0 80753 278 0 0 25 0 1 0 848487689 25878528 4891 4294967295 134512640 134581267 3221224592 3221223584 134561090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6318 4891 566 18 0 6300 0
vsize: 25272
[startup+820.053 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13754
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4937 0 0 0 81749 282 0 0 25 0 1 0 848487689 25878528 4911 4294967295 134512640 134581267 3221224592 3221223488 134517512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6318 4911 566 18 0 6300 0
vsize: 25272
[startup+830.053 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13754
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4941 0 0 0 82745 286 0 0 25 0 1 0 848487689 26009600 4915 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6350 4915 566 18 0 6332 0
vsize: 25400
[startup+840.053 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13754
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4941 0 0 0 83740 291 0 0 25 0 1 0 848487689 25980928 4915 4294967295 134512640 134581267 3221224592 3221223228 1075289306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6343 4915 566 18 0 6325 0
vsize: 25372
[startup+850.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13754
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 4978 0 0 0 84735 297 0 0 25 0 1 0 848487689 26071040 4952 4294967295 134512640 134581267 3221224592 3221223228 1075289104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6365 4952 566 18 0 6347 0
vsize: 25460
[startup+860.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13754
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5009 0 0 0 85731 301 0 0 25 0 1 0 848487689 26107904 4969 4294967295 134512640 134581267 3221224592 3221223536 134559071 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6374 4969 566 18 0 6356 0
vsize: 25496
[startup+870.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13754
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5009 0 0 0 86728 305 0 0 25 0 1 0 848487689 25980928 4939 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6343 4939 566 18 0 6325 0
vsize: 25372
[startup+880.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13754
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5009 0 0 0 87724 309 0 0 25 0 1 0 848487689 25980928 4939 4294967295 134512640 134581267 3221224592 3221223504 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6343 4939 566 18 0 6325 0
vsize: 25372
[startup+890.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13756
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5009 0 0 0 88721 313 0 0 25 0 1 0 848487689 25980928 4939 4294967295 134512640 134581267 3221224592 3221223504 134527720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6343 4939 566 18 0 6325 0
vsize: 25372
[startup+900.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13756
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5016 0 0 0 89715 318 0 0 25 0 1 0 848487689 26099712 4946 4294967295 134512640 134581267 3221224592 3221223456 134560433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6372 4946 566 18 0 6354 0
vsize: 25488
[startup+910.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13756
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5023 0 0 0 90712 322 0 0 25 0 1 0 848487689 26099712 4953 4294967295 134512640 134581267 3221224592 3221223456 134528284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6372 4953 566 18 0 6354 0
vsize: 25488
[startup+920.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13756
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5029 0 0 0 91707 327 0 0 25 0 1 0 848487689 26099712 4959 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6372 4959 566 18 0 6354 0
vsize: 25488
[startup+930.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13756
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5029 0 0 0 92702 332 0 0 25 0 1 0 848487689 26099712 4959 4294967295 134512640 134581267 3221224592 3221223456 134528238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6372 4959 566 18 0 6354 0
vsize: 25488
[startup+940.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13756
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5046 0 0 0 93698 337 0 0 25 0 1 0 848487689 26230784 4976 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6404 4976 566 18 0 6386 0
vsize: 25616
[startup+950.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13756
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5064 0 0 0 94695 340 0 0 25 0 1 0 848487689 26230784 4994 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6404 4994 566 18 0 6386 0
vsize: 25616
[startup+960.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13756
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5077 0 0 0 95692 343 0 0 25 0 1 0 848487689 26361856 5007 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6436 5007 566 18 0 6418 0
vsize: 25744
[startup+970.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13756
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5077 0 0 0 96690 346 0 0 25 0 1 0 848487689 26361856 5007 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6436 5007 566 18 0 6418 0
vsize: 25744
[startup+980.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13756
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5077 0 0 0 97685 351 0 0 25 0 1 0 848487689 26353664 5007 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6434 5007 566 18 0 6416 0
vsize: 25736
[startup+990.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13756
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5077 0 0 0 98682 355 0 0 25 0 1 0 848487689 26284032 5007 4294967295 134512640 134581267 3221224592 3221223472 134560153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6417 5007 566 18 0 6399 0
vsize: 25668
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13756
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5077 0 0 0 99678 359 0 0 25 0 1 0 848487689 26284032 5007 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6417 5007 566 18 0 6399 0
vsize: 25668
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13756
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5077 0 0 0 100676 361 0 0 25 0 1 0 848487689 26284032 5007 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6417 5007 566 18 0 6399 0
vsize: 25668
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13756
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5126 0 0 0 101673 364 0 0 25 0 1 0 848487689 26546176 5056 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6481 5056 566 18 0 6463 0
vsize: 25924
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13756
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5126 0 0 0 102671 367 0 0 25 0 1 0 848487689 26533888 5056 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6478 5056 566 18 0 6460 0
vsize: 25912
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13756
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5141 0 0 0 103668 369 0 0 25 0 1 0 848487689 26562560 5064 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6485 5064 566 18 0 6467 0
vsize: 25940
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13756
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5465 0 0 0 104665 373 0 0 25 0 1 0 848487689 27873280 5388 4294967295 134512640 134581267 3221224592 3221223504 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6805 5388 566 18 0 6787 0
vsize: 27220
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13756
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5477 0 0 0 105662 377 0 0 25 0 1 0 848487689 27873280 5400 4294967295 134512640 134581267 3221224592 3221223504 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6805 5400 566 18 0 6787 0
vsize: 27220
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13756
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5510 0 0 0 106659 380 0 0 25 0 1 0 848487689 28004352 5433 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6837 5433 566 18 0 6819 0
vsize: 27348
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13756
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5514 0 0 0 107657 382 0 0 25 0 1 0 848487689 28135424 5437 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6869 5437 566 18 0 6851 0
vsize: 27476
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13756
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5535 0 0 0 108655 385 0 0 25 0 1 0 848487689 28135424 5458 4294967295 134512640 134581267 3221224592 3221223536 134559425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6869 5458 566 18 0 6851 0
vsize: 27476
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13756
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5538 0 0 0 109652 387 0 0 25 0 1 0 848487689 28135424 5461 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6869 5461 566 18 0 6851 0
vsize: 27476
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13756
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5545 0 0 0 110650 390 0 0 25 0 1 0 848487689 28266496 5468 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6901 5468 566 18 0 6883 0
vsize: 27604
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13756
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5550 0 0 0 111648 393 0 0 25 0 1 0 848487689 28266496 5473 4294967295 134512640 134581267 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6901 5473 566 18 0 6883 0
vsize: 27604
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13756
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5559 0 0 0 112645 395 0 0 25 0 1 0 848487689 28266496 5482 4294967295 134512640 134581267 3221224592 3221223536 134558830 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6901 5482 566 18 0 6883 0
vsize: 27604
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13756
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5559 0 0 0 113643 398 0 0 25 0 1 0 848487689 28266496 5482 4294967295 134512640 134581267 3221224592 3221223584 134560902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6901 5482 566 18 0 6883 0
vsize: 27604
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13756
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5559 0 0 0 114641 401 0 0 25 0 1 0 848487689 28266496 5482 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6901 5482 566 18 0 6883 0
vsize: 27604
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13756
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5559 0 0 0 115639 403 0 0 25 0 1 0 848487689 28266496 5482 4294967295 134512640 134581267 3221224592 3221223488 134517729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6901 5482 566 18 0 6883 0
vsize: 27604
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13756
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5559 0 0 0 116637 405 0 0 25 0 1 0 848487689 28266496 5482 4294967295 134512640 134581267 3221224592 3221223536 134558778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6901 5482 566 18 0 6883 0
vsize: 27604
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 13756
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5559 0 0 0 117635 408 0 0 25 0 1 0 848487689 28266496 5482 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6901 5482 566 18 0 6883 0
vsize: 27604
[startup+1188.64 s]
Raw data (loadavg): 1.00 1.00 0.98 1/53 13756
Raw data (stat): 13699 (Pueblo-v2) R 13698 25568 25567 0 -1 0 5559 0 0 0 117635 408 0 0 25 0 1 0 848487689 28266496 5482 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6901 5482 566 18 0 6883 0
vsize: 0

Child status: 10
Real time (s): 1188.64
CPU time (s): 1189.02
CPU user time (s): 1184.9
CPU system time (s): 4.11937
CPU usage (%): 100.032
Max. virtual memory (Kb): 27604
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	367
#### END VERIFIER DATA ####