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/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb
MD5SUM	1ff3cc3253012886aa21be4feac6111e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	924
Optimality of the best value was proved	NO
Number of terms in the objective function	1800
Biggest coefficient in the objective function	86
Number of bits for the biggest coefficient in the objective function	7
Sum of the numbers in the objective function	41700
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	86
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	41700
Number of bits of the biggest sum of numbers	16
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.71
Number of variables	1800
Total number of constraints	2015
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2015
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	72
Trace number 28547

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-25 02:59:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12383 boxname=wulflinc29 idbench=953 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  1ff3cc3253012886aa21be4feac6111e  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-10teams.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-10teams.opb
IDLAUNCH: 12383
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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:        774068 kB
Buffers:         19092 kB
Cached:         215616 kB
SwapCached:        572 kB
Active:          14384 kB
Inactive:       225808 kB
HighTotal:      131008 kB
HighFree:       102312 kB
LowTotal:       903652 kB
LowFree:        671756 kB
SwapTotal:     2097892 kB
SwapFree:      2096728 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            14712 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 03:19:07 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 12383 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/wulflinc29/normalized-mps-v2-20-10-10teams.opb
c #variables read: 1800 - #constraints read: 2141
s SATISFIABLE
v -x226_bit0 -x227_bit0 -x228_bit0 -x229_bit0 -x230_bit0 -x231_bit0 -x232_bit0 -x233_bit0 -x234_bit0 -x235_bit0 -x236_bit0 -x237_bit0 -x238_bit0 -x239_bit0 -x240_bit0 -x241_bit0 -x242_bit0 -x243_bit0 -x244_bit0 -x245_bit0 -x246_bit0 -x247_bit0 -x248_bit0 -x249_bit0 x250_bit0 -x251_bit0 -x252_bit0 -x253_bit0 -x254_bit0 -x255_bit0 -x256_bit0 -x257_bit0 -x258_bit0 -x259_bit0 -x260_bit0 -x261_bit0 -x262_bit0 -x263_bit0 -x264_bit0 -x265_bit0 -x266_bit0 -x267_bit0 -x268_bit0 -x269_bit0 -x270_bit0 -x271_bit0 -x272_bit0 -x273_bit0 -x274_bit0 -x275_bit0 -x276_bit0 -x277_bit0 -x278_bit0 -x279_bit0 -x280_bit0 -x281_bit0 -x282_bit0 -x283_bit0 -x284_bit0 -x285_bit0 -x286_bit0 -x287_bit0 -x288_bit0 -x289_bit0 x290_bit0 -x291_bit0 -x292_bit0 -x293_bit0 -x294_bit0 -x295_bit0 -x296_bit0 -x297_bit0 -x298_bit0 -x299_bit0 -x300_bit0 -x301_bit0 -x302_bit0 -x303_bit0 -x304_bit0 -x305_bit0 -x306_bit0 -x307_bit0 -x308_bit0 -x309_bit0 -x310_bit0 -x311_bit0 -x312_bit0 -x313_bit0 -x314_bit0 -x315_bit0 -x316_bit0 -x317_bit0 -x318_bit0 -x319_bit0 -x320_bit0 -x321_bit0 -x322_bit0 -x323_bit0 -x324_bit0 -x325_bit0 -x326_bit0 x327_bit0 -x328_bit0 -x329_bit0 -x330_bit0 -x331_bit0 -x332_bit0 -x333_bit0 -x334_bit0 -x335_bit0 -x336_bit0 -x337_bit0 -x338_bit0 -x339_bit0 -x340_bit0 -x341_bit0 -x342_bit0 -x343_bit0 -x344_bit0 -x345_bit0 -x346_bit0 -x347_bit0 -x348_bit0 -x349_bit0 -x350_bit0 -x351_bit0 -x352_bit0 -x353_bit0 -x354_bit0 -x355_bit0 -x356_bit0 -x357_bit0 -x358_bit0 -x359_bit0 -x360_bit0 -x361_bit0 -x362_bit0 -x363_bit0 -x364_bit0 -x365_bit0 -x366_bit0 -x367_bit0 -x368_bit0 -x369_bit0 -x370_bit0 -x371_bit0 -x372_bit0 -x373_bit0 -x374_bit0 -x375_bit0 -x376_bit0 -x377_bit0 -x378_bit0 -x379_bit0 -x380_bit0 -x381_bit0 -x382_bit0 -x383_bit0 -x384_bit0 -x385_bit0 -x386_bit0 -x387_bit0 -x388_bit0 -x389_bit0 -x390_bit0 x391_bit0 -x392_bit0 -x393_bit0 -x394_bit0 -x395_bit0 -x396_bit0 -x397_bit0 -x398_bit0 -x399_bit0 -x400_bit0 -x401_bit0 -x402_bit0 -x403_bit0 -x404_bit0 -x405_bit0 -x406_bit0 -x407_bit0 -x408_bit0 -x409_bit0 -x410_bit0 -x411_bit0 -x412_bit0 -x413_bit0 -x414_bit0 -x415_bit0 -x416_bit0 -x417_bit0 -x418_bit0 -x419_bit0 -x420_bit0 -x421_bit0 -x422_bit0 -x423_bit0 -x424_bit0 -x425_bit0 -x426_bit0 -x427_bit0 -x428_bit0 -x429_bit0 -x430_bit0 -x431_bit0 -x432_bit0 -x433_bit0 -x434_bit0 -x435_bit0 -x436_bit0 -x437_bit0 -x438_bit0 -x439_bit0 -x440_bit0 -x441_bit0 x442_bit0 -x443_bit0 -x444_bit0 -x445_bit0 -x446_bit0 -x447_bit0 -x448_bit0 -x449_bit0 -x450_bit0 -x451_bit0 -x452_bit0 -x453_bit0 -x454_bit0 -x455_bit0 -x456_bit0 -x457_bit0 -x458_bit0 -x459_bit0 -x460_bit0 -x461_bit0 -x462_bit0 -x463_bit0 -x464_bit0 -x465_bit0 -x466_bit0 -x467_bit0 -x468_bit0 -x469_bit0 -x470_bit0 -x471_bit0 -x472_bit0 -x473_bit0 -x474_bit0 -x475_bit0 -x476_bit0 -x477_bit0 -x478_bit0 -x479_bit0 -x480_bit0 -x481_bit0 -x482_bit0 -x483_bit0 -x484_bit0 -x485_bit0 -x486_bit0 -x487_bit0 -x488_bit0 -x489_bit0 -x490_bit0 x491_bit0 -x492_bit0 -x493_bit0 -x494_bit0 -x495_bit0 -x496_bit0 -x497_bit0 -x498_bit0 -x499_bit0 -x500_bit0 -x501_bit0 -x502_bit0 -x503_bit0 -x504_bit0 -x505_bit0 -x506_bit0 -x507_bit0 x508_bit0 -x509_bit0 -x510_bit0 -x511_bit0 -x512_bit0 -x513_bit0 -x514_bit0 -x515_bit0 -x516_bit0 -x517_bit0 -x518_bit0 -x519_bit0 -x520_bit0 -x521_bit0 -x522_bit0 -x523_bit0 -x524_bit0 -x525_bit0 -x526_bit0 -x527_bit0 -x528_bit0 -x529_bit0 -x530_bit0 -x531_bit0 -x532_bit0 -x533_bit0 -x534_bit0 -x535_bit0 -x536_bit0 -x537_bit0 -x538_bit0 -x539_bit0 -x540_bit0 -x541_bit0 -x542_bit0 -x543_bit0 -x544_bit0 -x545_bit0 -x546_bit0 -x547_bit0 -x548_bit0 -x549_bit0 -x550_bit0 -x551_bit0 -x552_bit0 -x553_bit0 -x554_bit0 -x555_bit0 -x556_bit0 -x557_bit0 -x558_bit0 -x559_bit0 -x560_bit0 -x561_bit0 x562_bit0 -x563_bit0 -x564_bit0 -x565_bit0 -x566_bit0 -x567_bit0 -x568_bit0 -x569_bit0 -x570_bit0 -x571_bit0 -x572_bit0 -x573_bit0 -x574_bit0 -x575_bit0 -x576_bit0 -x577_bit0 -x578_bit0 -x579_bit0 -x580_bit0 -x581_bit0 -x582_bit0 -x583_bit0 -x584_bit0 -x585_bit0 -x586_bit0 -x587_bit0 -x588_bit0 -x589_bit0 -x590_bit0 -x591_bit0 -x592_bit0 -x593_bit0 -x594_bit0 -x595_bit0 -x596_bit0 -x597_bit0 -x598_bit0 -x599_bit0 -x600_bit0 -x601_bit0 -x602_bit0 -x603_bit0 -x604_bit0 -x605_bit0 -x606_bit0 -x607_bit0 -x608_bit0 -x609_bit0 -x610_bit0 -x611_bit0 -x612_bit0 -x613_bit0 -x614_bit0 -x615_bit0 -x616_bit0 x617_bit0 -x618_bit0 -x619_bit0 -x620_bit0 -x621_bit0 -x622_bit0 -x623_bit0 -x624_bit0 -x625_bit0 -x626_bit0 -x627_bit0 -x628_bit0 -x629_bit0 -x630_bit0 -x631_bit0 -x632_bit0 -x633_bit0 -x634_bit0 -x635_bit0 -x636_bit0 -x637_bit0 -x638_bit0 -x639_bit0 -x640_bit0 -x641_bit0 -x642_bit0 -x643_bit0 -x644_bit0 -x645_bit0 -x646_bit0 x647_bit0 -x648_bit0 -x649_bit0 -x650_bit0 -x651_bit0 -x652_bit0 -x653_bit0 -x654_bit0 -x655_bit0 -x656_bit0 -x657_bit0 -x658_bit0 -x659_bit0 -x660_bit0 -x661_bit0 -x662_bit0 -x663_bit0 -x664_bit0 -x665_bit0 -x666_bit0 -x667_bit0 -x668_bit0 -x669_bit0 -x670_bit0 -x671_bit0 -x672_bit0 -x673_bit0 -x674_bit0 -x675_bit0 -x676_bit0 -x677_bit0 -x678_bit0 -x679_bit0 -x680_bit0 -x681_bit0 -x682_bit0 -x683_bit0 -x684_bit0 -x685_bit0 -x686_bit0 -x687_bit0 -x688_bit0 -x689_bit0 -x690_bit0 -x691_bit0 -x692_bit0 -x693_bit0 -x694_bit0 -x695_bit0 -x696_bit0 -x697_bit0 -x698_bit0 -x699_bit0 -x700_bit0 -x701_bit0 -x702_bit0 -x703_bit0 -x704_bit0 -x705_bit0 -x706_bit0 -x707_bit0 -x708_bit0 -x709_bit0 -x710_bit0 -x711_bit0 -x712_bit0 -x713_bit0 -x714_bit0 -x715_bit0 -x716_bit0 -x717_bit0 -x718_bit0 x719_bit0 -x720_bit0 -x721_bit0 -x722_bit0 -x723_bit0 -x724_bit0 -x725_bit0 -x726_bit0 -x727_bit0 -x728_bit0 -x729_bit0 -x730_bit0 -x731_bit0 -x732_bit0 -x733_bit0 -x734_bit0 -x735_bit0 -x736_bit0 -x737_bit0 -x738_bit0 -x739_bit0 -x740_bit0 -x741_bit0 -x742_bit0 -x743_bit0 -x744_bit0 -x745_bit0 -x746_bit0 -x747_bit0 -x748_bit0 -x749_bit0 x750_bit0 -x751_bit0 -x752_bit0 -x753_bit0 -x754_bit0 -x755_bit0 -x756_bit0 -x757_bit0 -x758_bit0 -x759_bit0 -x760_bit0 -x761_bit0 -x762_bit0 -x763_bit0 -x764_bit0 -x765_bit0 -x766_bit0 -x767_bit0 -x768_bit0 -x769_bit0 -x770_bit0 -x771_bit0 -x772_bit0 -x773_bit0 -x774_bit0 -x775_bit0 -x776_bit0 -x777_bit0 -x778_bit0 -x779_bit0 -x780_bit0 -x781_bit0 -x782_bit0 -x783_bit0 x784_bit0 -x785_bit0 -x786_bit0 -x787_bit0 -x788_bit0 -x789_bit0 -x790_bit0 -x791_bit0 -x792_bit0 -x793_bit0 -x794_bit0 -x795_bit0 -x796_bit0 -x797_bit0 -x798_bit0 -x799_bit0 -x800_bit0 -x801_bit0 -x802_bit0 -x803_bit0 -x804_bit0 -x805_bit0 -x806_bit0 -x807_bit0 -x808_bit0 -x809_bit0 -x810_bit0 -x811_bit0 -x812_bit0 -x813_bit0 -x814_bit0 -x815_bit0 -x816_bit0 -x817_bit0 -x818_bit0 -x819_bit0 -x820_bit0 x821_bit0 -x822_bit0 -x823_bit0 -x824_bit0 -x825_bit0 -x826_bit0 -x827_bit0 -x828_bit0 -x829_bit0 -x830_bit0 -x831_bit0 -x832_bit0 -x833_bit0 -x834_bit0 -x835_bit0 -x836_bit0 -x837_bit0 -x838_bit0 -x839_bit0 -x840_bit0 -x841_bit0 -x842_bit0 -x843_bit0 -x844_bit0 -x845_bit0 -x846_bit0 -x847_bit0 -x848_bit0 -x849_bit0 -x850_bit0 -x851_bit0 -x852_bit0 -x853_bit0 -x854_bit0 -x855_bit0 -x856_bit0 -x857_bit0 -x858_bit0 -x859_bit0 -x860_bit0 -x861_bit0 -x862_bit0 -x863_bit0 x864_bit0 -x865_bit0 -x866_bit0 -x867_bit0 -x868_bit0 -x869_bit0 -x870_bit0 -x871_bit0 -x872_bit0 -x873_bit0 -x874_bit0 -x875_bit0 -x876_bit0 -x877_bit0 -x878_bit0 -x879_bit0 -x880_bit0 -x881_bit0 -x882_bit0 -x883_bit0 -x884_bit0 -x885_bit0 -x886_bit0 -x887_bit0 -x888_bit0 -x889_bit0 -x890_bit0 -x891_bit0 -x892_bit0 -x893_bit0 -x894_bit0 -x895_bit0 -x896_bit0 -x897_bit0 -x898_bit0 -x899_bit0 -x900_bit0 -x901_bit0 -x902_bit0 -x903_bit0 -x904_bit0 -x905_bit0 -x906_bit0 -x907_bit0 -x908_bit0 -x909_bit0 -x910_bit0 -x911_bit0 -x912_bit0 -x913_bit0 -x914_bit0 -x915_bit0 -x916_bit0 -x917_bit0 -x918_bit0 -x919_bit0 -x920_bit0 -x921_bit0 -x922_bit0 -x923_bit0 -x924_bit0 -x925_bit0 -x926_bit0 -x927_bit0 -x928_bit0 -x929_bit0 -x930_bit0 -x931_bit0 -x932_bit0 x933_bit0 -x934_bit0 -x935_bit0 -x936_bit0 -x937_bit0 -x938_bit0 -x939_bit0 -x940_bit0 -x941_bit0 -x942_bit0 -x943_bit0 -x944_bit0 -x945_bit0 -x946_bit0 -x947_bit0 -x948_bit0 -x949_bit0 -x950_bit0 -x951_bit0 -x952_bit0 -x953_bit0 -x954_bit0 -x955_bit0 -x956_bit0 -x957_bit0 -x958_bit0 -x959_bit0 -x960_bit0 x961_bit0 -x962_bit0 -x963_bit0 -x964_bit0 -x965_bit0 -x966_bit0 -x967_bit0 -x968_bit0 -x969_bit0 -x970_bit0 -x971_bit0 -x972_bit0 -x973_bit0 -x974_bit0 -x975_bit0 -x976_bit0 -x977_bit0 -x978_bit0 -x979_bit0 -x980_bit0 -x981_bit0 -x982_bit0 -x983_bit0 -x984_bit0 -x985_bit0 -x986_bit0 -x987_bit0 -x988_bit0 -x989_bit0 -x990_bit0 -x991_bit0 -x992_bit0 -x993_bit0 -x994_bit0 -x995_bit0 -x996_bit0 -x997_bit0 -x998_bit0 -x999_bit0 -x1000_bit0 -x1001_bit0 -x1002_bit0 -x1003_bit0 -x1004_bit0 -x1005_bit0 -x1006_bit0 -x1007_bit0 -x1008_bit0 -x1009_bit0 -x1010_bit0 -x1011_bit0 -x1012_bit0 -x1013_bit0 -x1014_bit0 -x1015_bit0 -x1016_bit0 -x1017_bit0 -x1018_bit0 -x1019_bit0 -x1020_bit0 -x1021_bit0 -x1022_bit0 -x1023_bit0 -x1024_bit0 -x1025_bit0 -x1026_bit0 -x1027_bit0 -x1028_bit0 x1029_bit0 -x1030_bit0 -x1031_bit0 -x1032_bit0 -x1033_bit0 -x1034_bit0 -x1035_bit0 -x1036_bit0 -x1037_bit0 -x1038_bit0 -x1039_bit0 -x1040_bit0 -x1041_bit0 -x1042_bit0 -x1043_bit0 -x1044_bit0 -x1045_bit0 -x1046_bit0 -x1047_bit0 -x1048_bit0 -x1049_bit0 -x1050_bit0 -x1051_bit0 -x1052_bit0 -x1053_bit0 -x1054_bit0 -x1055_bit0 -x1056_bit0 -x1057_bit0 x1058_bit0 -x1059_bit0 -x1060_bit0 -x1061_bit0 -x1062_bit0 -x1063_bit0 -x1064_bit0 -x1065_bit0 -x1066_bit0 -x1067_bit0 -x1068_bit0 -x1069_bit0 -x1070_bit0 -x1071_bit0 -x1072_bit0 -x1073_bit0 -x1074_bit0 -x1075_bit0 -x1076_bit0 -x1077_bit0 -x1078_bit0 -x1079_bit0 -x1080_bit0 -x1081_bit0 -x1082_bit0 -x1083_bit0 -x1084_bit0 -x1085_bit0 -x1086_bit0 -x1087_bit0 -x1088_bit0 -x1089_bit0 -x1090_bit0 -x1091_bit0 -x1092_bit0 -x1093_bit0 x1094_bit0 -x1095_bit0 -x1096_bit0 -x1097_bit0 -x1098_bit0 -x1099_bit0 -x1100_bit0 -x1101_bit0 -x1102_bit0 -x1103_bit0 -x1104_bit0 -x1105_bit0 -x1106_bit0 -x1107_bit0 -x1108_bit0 -x1109_bit0 -x1110_bit0 -x1111_bit0 -x1112_bit0 -x1113_bit0 -x1114_bit0 -x1115_bit0 -x1116_bit0 -x1117_bit0 -x1118_bit0 -x1119_bit0 -x1120_bit0 -x1121_bit0 -x1122_bit0 -x1123_bit0 -x1124_bit0 -x1125_bit0 -x1126_bit0 -x1127_bit0 -x1128_bit0 -x1129_bit0 -x1130_bit0 -x1131_bit0 -x1132_bit0 -x1133_bit0 -x1134_bit0 -x1135_bit0 -x1136_bit0 -x1137_bit0 -x1138_bit0 -x1139_bit0 -x1140_bit0 -x1141_bit0 -x1142_bit0 x1143_bit0 -x1144_bit0 -x1145_bit0 -x1146_bit0 -x1147_bit0 -x1148_bit0 -x1149_bit0 -x1150_bit0 -x1151_bit0 -x1152_bit0 -x1153_bit0 -x1154_bit0 -x1155_bit0 -x1156_bit0 -x1157_bit0 -x1158_bit0 -x1159_bit0 -x1160_bit0 -x1161_bit0 -x1162_bit0 -x1163_bit0 -x1164_bit0 -x1165_bit0 -x1166_bit0 -x1167_bit0 -x1168_bit0 -x1169_bit0 -x1170_bit0 -x1171_bit0 -x1172_bit0 -x1173_bit0 -x1174_bit0 -x1175_bit0 -x1176_bit0 -x1177_bit0 -x1178_bit0 -x1179_bit0 -x1180_bit0 -x1181_bit0 -x1182_bit0 -x1183_bit0 -x1184_bit0 -x1185_bit0 -x1186_bit0 -x1187_bit0 -x1188_bit0 -x1189_bit0 -x1190_bit0 -x1191_bit0 -x1192_bit0 -x1193_bit0 -x1194_bit0 -x1195_bit0 -x1196_bit0 -x1197_bit0 -x1198_bit0 -x1199_bit0 -x1200_bit0 -x1201_bit0 -x1202_bit0 -x1203_bit0 -x1204_bit0 -x1205_bit0 -x1206_bit0 -x1207_bit0 x1208_bit0 -x1209_bit0 -x1210_bit0 -x1211_bit0 -x1212_bit0 -x1213_bit0 -x1214_bit0 -x1215_bit0 -x1216_bit0 -x1217_bit0 -x1218_bit0 -x1219_bit0 -x1220_bit0 -x1221_bit0 -x1222_bit0 -x1223_bit0 -x1224_bit0 -x1225_bit0 -x1226_bit0 -x1227_bit0 -x1228_bit0 -x1229_bit0 -x1230_bit0 -x1231_bit0 -x1232_bit0 -x1233_bit0 -x1234_bit0 -x1235_bit0 -x1236_bit0 -x1237_bit0 -x1238_bit0 -x1239_bit0 -x1240_bit0 -x1241_bit0 -x1242_bit0 -x1243_bit0 x1244_bit0 -x1245_bit0 -x1246_bit0 -x1247_bit0 -x1248_bit0 -x1249_bit0 -x1250_bit0 -x1251_bit0 -x1252_bit0 -x1253_bit0 -x1254_bit0 -x1255_bit0 -x1256_bit0 -x1257_bit0 -x1258_bit0 -x1259_bit0 -x1260_bit0 -x1261_bit0 -x1262_bit0 -x1263_bit0 -x1264_bit0 -x1265_bit0 -x1266_bit0 -x1267_bit0 -x1268_bit0 -x1269_bit0 x1270_bit0 -x1271_bit0 -x1272_bit0 -x1273_bit0 -x1274_bit0 -x1275_bit0 -x1276_bit0 -x1277_bit0 -x1278_bit0 -x1279_bit0 -x1280_bit0 -x1281_bit0 -x1282_bit0 -x1283_bit0 -x1284_bit0 -x1285_bit0 -x1286_bit0 -x1287_bit0 -x1288_bit0 -x1289_bit0 -x1290_bit0 -x1291_bit0 -x1292_bit0 -x1293_bit0 -x1294_bit0 -x1295_bit0 -x1296_bit0 -x1297_bit0 -x1298_bit0 -x1299_bit0 -x1300_bit0 -x1301_bit0 -x1302_bit0 -x1303_bit0 -x1304_bit0 -x1305_bit0 -x1306_bit0 -x1307_bit0 -x1308_bit0 -x1309_bit0 -x1310_bit0 -x1311_bit0 -x1312_bit0 -x1313_bit0 -x1314_bit0 -x1315_bit0 -x1316_bit0 -x1317_bit0 -x1318_bit0 -x1319_bit0 -x1320_bit0 -x1321_bit0 -x1322_bit0 -x1323_bit0 -x1324_bit0 -x1325_bit0 -x1326_bit0 -x1327_bit0 -x1328_bit0 -x1329_bit0 -x1330_bit0 -x1331_bit0 x1332_bit0 -x1333_bit0 -x1334_bit0 -x1335_bit0 -x1336_bit0 -x1337_bit0 -x1338_bit0 -x1339_bit0 -x1340_bit0 -x1341_bit0 -x1342_bit0 -x1343_bit0 -x1344_bit0 -x1345_bit0 -x1346_bit0 -x1347_bit0 -x1348_bit0 -x1349_bit0 -x1350_bit0 -x1351_bit0 -x1352_bit0 -x1353_bit0 -x1354_bit0 -x1355_bit0 -x1356_bit0 -x1357_bit0 -x1358_bit0 -x1359_bit0 -x1360_bit0 -x1361_bit0 -x1362_bit0 -x1363_bit0 -x1364_bit0 -x1365_bit0 -x1366_bit0 -x1367_bit0 -x1368_bit0 -x1369_bit0 -x1370_bit0 -x1371_bit0 -x1372_bit0 -x1373_bit0 -x1374_bit0 -x1375_bit0 -x1376_bit0 -x1377_bit0 -x1378_bit0 -x1379_bit0 -x1380_bit0 -x1381_bit0 -x1382_bit0 -x1383_bit0 x1384_bit0 -x1385_bit0 -x1386_bit0 -x1387_bit0 -x1388_bit0 -x1389_bit0 -x1390_bit0 -x1391_bit0 -x1392_bit0 -x1393_bit0 -x1394_bit0 -x1395_bit0 -x1396_bit0 -x1397_bit0 -x1398_bit0 x1399_bit0 -x1400_bit0 -x1401_bit0 -x1402_bit0 -x1403_bit0 -x1404_bit0 -x1405_bit0 -x1406_bit0 -x1407_bit0 -x1408_bit0 -x1409_bit0 -x1410_bit0 -x1411_bit0 -x1412_bit0 -x1413_bit0 -x1414_bit0 -x1415_bit0 -x1416_bit0 -x1417_bit0 -x1418_bit0 -x1419_bit0 -x1420_bit0 -x1421_bit0 -x1422_bit0 -x1423_bit0 -x1424_bit0 -x1425_bit0 -x1426_bit0 -x1427_bit0 -x1428_bit0 -x1429_bit0 -x1430_bit0 -x1431_bit0 -x1432_bit0 -x1433_bit0 -x1434_bit0 -x1435_bit0 -x1436_bit0 -x1437_bit0 -x1438_bit0 -x1439_bit0 -x1440_bit0 -x1441_bit0 -x1442_bit0 -x1443_bit0 -x1444_bit0 -x1445_bit0 -x1446_bit0 -x1447_bit0 x1448_bit0 -x1449_bit0 -x1450_bit0 -x1451_bit0 -x1452_bit0 -x1453_bit0 -x1454_bit0 -x1455_bit0 -x1456_bit0 -x1457_bit0 -x1458_bit0 -x1459_bit0 -x1460_bit0 -x1461_bit0 -x1462_bit0 -x1463_bit0 -x1464_bit0 -x1465_bit0 -x1466_bit0 -x1467_bit0 -x1468_bit0 -x1469_bit0 -x1470_bit0 -x1471_bit0 -x1472_bit0 -x1473_bit0 -x1474_bit0 -x1475_bit0 -x1476_bit0 -x1477_bit0 -x1478_bit0 -x1479_bit0 -x1480_bit0 -x1481_bit0 -x1482_bit0 -x1483_bit0 -x1484_bit0 -x1485_bit0 -x1486_bit0 -x1487_bit0 -x1488_bit0 -x1489_bit0 -x1490_bit0 -x1491_bit0 -x1492_bit0 -x1493_bit0 -x1494_bit0 -x1495_bit0 -x1496_bit0 -x1497_bit0 -x1498_bit0 -x1499_bit0 -x1500_bit0 -x1501_bit0 -x1502_bit0 -x1503_bit0 -x1504_bit0 -x1505_bit0 -x1506_bit0 -x1507_bit0 -x1508_bit0 -x1509_bit0 -x1510_bit0 -x1511_bit0 -x1512_bit0 -x1513_bit0 -x1514_bit0 -x1515_bit0 -x1516_bit0 -x1517_bit0 -x1518_bit0 -x1519_bit0 -x1520_bit0 -x1521_bit0 -x1522_bit0 -x1523_bit0 -x1524_bit0 -x1525_bit0 -x1526_bit0 -x1527_bit0 x1528_bit0 -x1529_bit0 -x1530_bit0 -x1531_bit0 -x1532_bit0 -x1533_bit0 -x1534_bit0 -x1535_bit0 -x1536_bit0 -x1537_bit0 -x1538_bit0 -x1539_bit0 -x1540_bit0 -x1541_bit0 -x1542_bit0 -x1543_bit0 -x1544_bit0 -x1545_bit0 -x1546_bit0 -x1547_bit0 -x1548_bit0 -x1549_bit0 -x1550_bit0 -x1551_bit0 -x1552_bit0 -x1553_bit0 x1554_bit0 -x1555_bit0 -x1556_bit0 -x1557_bit0 -x1558_bit0 -x1559_bit0 -x1560_bit0 -x1561_bit0 -x1562_bit0 -x1563_bit0 -x1564_bit0 -x1565_bit0 -x1566_bit0 -x1567_bit0 -x1568_bit0 -x1569_bit0 -x1570_bit0 -x1571_bit0 -x1572_bit0 -x1573_bit0 -x1574_bit0 -x1575_bit0 -x1576_bit0 x1577_bit0 -x1578_bit0 -x1579_bit0 -x1580_bit0 -x1581_bit0 -x1582_bit0 -x1583_bit0 -x1584_bit0 -x1585_bit0 -x1586_bit0 -x1587_bit0 -x1588_bit0 -x1589_bit0 -x1590_bit0 -x1591_bit0 -x1592_bit0 -x1593_bit0 -x1594_bit0 -x1595_bit0 -x1596_bit0 -x1597_bit0 -x1598_bit0 -x1599_bit0 -x1600_bit0 -x1601_bit0 -x1602_bit0 -x1603_bit0 -x1604_bit0 -x1605_bit0 -x1606_bit0 -x1607_bit0 -x1608_bit0 -x1609_bit0 -x1610_bit0 -x1611_bit0 -x1612_bit0 -x1613_bit0 -x1614_bit0 -x1615_bit0 -x1616_bit0 -x1617_bit0 -x1618_bit0 -x1619_bit0 -x1620_bit0 -x1621_bit0 -x1622_bit0 -x1623_bit0 -x1624_bit0 -x1625_bit0 -x1626_bit0 -x1627_bit0 -x1628_bit0 -x1629_bit0 -x1630_bit0 -x1631_bit0 -x1632_bit0 -x1633_bit0 -x1634_bit0 -x1635_bit0 -x1636_bit0 -x1637_bit0 -x1638_bit0 -x1639_bit0 -x1640_bit0 -x1641_bit0 -x1642_bit0 -x1643_bit0 -x1644_bit0 -x1645_bit0 x1646_bit0 -x1647_bit0 -x1648_bit0 -x1649_bit0 -x1650_bit0 -x1651_bit0 -x1652_bit0 -x1653_bit0 -x1654_bit0 -x1655_bit0 -x1656_bit0 -x1657_bit0 -x1658_bit0 -x1659_bit0 -x1660_bit0 -x1661_bit0 -x1662_bit0 -x1663_bit0 -x1664_bit0 -x1665_bit0 -x1666_bit0 -x1667_bit0 -x1668_bit0 -x1669_bit0 -x1670_bit0 -x1671_bit0 -x1672_bit0 -x1673_bit0 -x1674_bit0 -x1675_bit0 -x1676_bit0 -x1677_bit0 -x1678_bit0 -x1679_bit0 -x1680_bit0 -x1681_bit0 -x1682_bit0 -x1683_bit0 -x1684_bit0 -x1685_bit0 -x1686_bit0 -x1687_bit0 -x1688_bit0 -x1689_bit0 -x1690_bit0 -x1691_bit0 -x1692_bit0 -x1693_bit0 -x1694_bit0 -x1695_bit0 -x1696_bit0 -x1697_bit0 -x1698_bit0 -x1699_bit0 x1700_bit0 -x1701_bit0 -x1702_bit0 -x1703_bit0 -x1704_bit0 -x1705_bit0 -x1706_bit0 -x1707_bit0 -x1708_bit0 -x1709_bit0 -x1710_bit0 -x1711_bit0 -x1712_bit0 -x1713_bit0 -x1714_bit0 -x1715_bit0 -x1716_bit0 -x1717_bit0 -x1718_bit0 -x1719_bit0 -x1720_bit0 -x1721_bit0 -x1722_bit0 -x1723_bit0 -x1724_bit0 -x1725_bit0 -x1726_bit0 -x1727_bit0 -x1728_bit0 -x1729_bit0 -x1730_bit0 -x1731_bit0 -x1732_bit0 -x1733_bit0 -x1734_bit0 -x1735_bit0 -x1736_bit0 -x1737_bit0 -x1738_bit0 -x1739_bit0 -x1740_bit0 -x1741_bit0 -x1742_bit0 -x1743_bit0 -x1744_bit0 -x1745_bit0 -x1746_bit0 -x1747_bit0 -x1748_bit0 -x1749_bit0 -x1750_bit0 -x1751_bit0 x1752_bit0 -x1753_bit0 -x1754_bit0 -x1755_bit0 -x1756_bit0 -x1757_bit0 -x1758_bit0 -x1759_bit0 x1760_bit0 -x1761_bit0 -x1762_bit0 -x1763_bit0 -x1764_bit0 -x1765_bit0 -x1766_bit0 -x1767_bit0 -x1768_bit0 -x1769_bit0 -x1770_bit0 -x1771_bit0 -x1772_bit0 -x1773_bit0 -x1774_bit0 -x1775_bit0 -x1776_bit0 -x1777_bit0 -x1778_bit0 -x1779_bit0 -x1780_bit0 -x1781_bit0 -x1782_bit0 -x1783_bit0 -x1784_bit0 -x1785_bit0 -x1786_bit0 -x1787_bit0 -x1788_bit0 -x1789_bit0 -x1790_bit0 -x1791_bit0 -x1792_bit0 -x1793_bit0 -x1794_bit0 -x1795_bit0 -x1796_bit0 -x1797_bit0 -x1798_bit0 -x1799_bit0 -x1800_bit0 -x1801_bit0 -x1802_bit0 -x1803_bit0 -x1804_bit0 -x1805_bit0 -x1806_bit0 -x1807_bit0 -x1808_bit0 -x1809_bit0 -x1810_bit0 -x1811_bit0 -x1812_bit0 -x1813_bit0 -x1814_bit0 -x1815_bit0 -x1816_bit0 -x1817_bit0 -x1818_bit0 -x1819_bit0 -x1820_bit0 x1821_bit0 -x1822_bit0 -x1823_bit0 -x1824_bit0 -x1825_bit0 -x1826_bit0 -x1827_bit0 -x1828_bit0 -x1829_bit0 -x1830_bit0 -x1831_bit0 -x1832_bit0 -x1833_bit0 -x1834_bit0 -x1835_bit0 -x1836_bit0 -x1837_bit0 -x1838_bit0 -x1839_bit0 -x1840_bit0 -x1841_bit0 -x1842_bit0 -x1843_bit0 -x1844_bit0 -x1845_bit0 -x1846_bit0 -x1847_bit0 -x1848_bit0 -x1849_bit0 -x1850_bit0 -x1851_bit0 -x1852_bit0 -x1853_bit0 -x1854_bit0 -x1855_bit0 -x1856_bit0 -x1857_bit0 -x1858_bit0 -x1859_bit0 -x1860_bit0 -x1861_bit0 -x1862_bit0 -x1863_bit0 -x1864_bit0 -x1865_bit0 -x1866_bit0 -x1867_bit0 -x1868_bit0 -x1869_bit0 -x1870_bit0 -x1871_bit0 -x1872_bit0 -x1873_bit0 -x1874_bit0 -x1875_bit0 -x1876_bit0 -x1877_bit0 -x1878_bit0 -x1879_bit0 -x1880_bit0 x1881_bit0 -x1882_bit0 -x1883_bit0 -x1884_bit0 -x1885_bit0 -x1886_bit0 -x1887_bit0 -x1888_bit0 -x1889_bit0 -x1890_bit0 -x1891_bit0 -x1892_bit0 -x1893_bit0 -x1894_bit0 -x1895_bit0 -x1896_bit0 -x1897_bit0 -x1898_bit0 -x1899_bit0 -x1900_bit0 -x1901_bit0 -x1902_bit0 -x1903_bit0 -x1904_bit0 -x1905_bit0 -x1906_bit0 -x1907_bit0 -x1908_bit0 -x1909_bit0 -x1910_bit0 -x1911_bit0 -x1912_bit0 -x1913_bit0 -x1914_bit0 -x1915_bit0 -x1916_bit0 -x1917_bit0 -x1918_bit0 -x1919_bit0 -x1920_bit0 -x1921_bit0 -x1922_bit0 -x1923_bit0 -x1924_bit0 -x1925_bit0 -x1926_bit0 -x1927_bit0 -x1928_bit0 -x1929_bit0 x1930_bit0 -x1931_bit0 -x1932_bit0 -x1933_bit0 -x1934_bit0 -x1935_bit0 -x1936_bit0 -x1937_bit0 x1938_bit0 -x1939_bit0 -x1940_bit0 -x1941_bit0 -x1942_bit0 -x1943_bit0 -x1944_bit0 -x1945_bit0 -x1946_bit0 -x1947_bit0 -x1948_bit0 -x1949_bit0 -x1950_bit0 -x1951_bit0 -x1952_bit0 -x1953_bit0 -x1954_bit0 -x1955_bit0 -x1956_bit0 -x1957_bit0 -x1958_bit0 -x1959_bit0 -x1960_bit0 -x1961_bit0 -x1962_bit0 -x1963_bit0 -x1964_bit0 -x1965_bit0 -x1966_bit0 -x1967_bit0 -x1968_bit0 -x1969_bit0 -x1970_bit0 -x1971_bit0 -x1972_bit0 -x1973_bit0 -x1974_bit0 -x1975_bit0 -x1976_bit0 -x1977_bit0 -x1978_bit0 -x1979_bit0 -x1980_bit0 -x1981_bit0 -x1982_bit0 -x1983_bit0 -x1984_bit0 -x1985_bit0 -x1986_bit0 x1987_bit0 -x1988_bit0 -x1989_bit0 -x1990_bit0 -x1991_bit0 -x1992_bit0 -x1993_bit0 -x1994_bit0 -x1995_bit0 -x1996_bit0 -x1997_bit0 -x1998_bit0 -x1999_bit0 -x2000_bit0 -x2001_bit0 -x2002_bit0 -x2003_bit0 -x2004_bit0 -x2005_bit0 -x2006_bit0 -x2007_bit0 -x2008_bit0 -x2009_bit0 -x2010_bit0 -x2011_bit0 -x2012_bit0 -x2013_bit0 -x2014_bit0 -x2015_bit0 -x2016_bit0 -x2017_bit0 -x2018_bit0 -x2019_bit0 -x2020_bit0 -x2021_bit0 -x2022_bit0 -x2023_bit0 -x2024_bit0 -x2025_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.92 2/54 27017
Raw data (stat): 27017 (runsolver) R 27016 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835460724 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.93 0.95 0.92 2/54 27017
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 1129 0 0 0 996 3 0 0 25 0 1 0 835460724 10203136 1107 4294967295 134512640 134581331 3221224592 3221223312 134523349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2491 1107 566 18 0 2473 0
vsize: 9964
[startup+20.0004 s]
Raw data (loadavg): 0.94 0.96 0.92 2/54 27017
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 1556 0 0 0 1995 4 0 0 25 0 1 0 835460724 11948032 1534 4294967295 134512640 134581331 3221224592 3221223504 134519032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2917 1534 566 18 0 2899 0
vsize: 11668
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.96 0.92 2/54 27017
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 1567 0 0 0 2993 6 0 0 25 0 1 0 835460724 12038144 1545 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2939 1545 566 18 0 2921 0
vsize: 11756
[startup+40.0015 s]
Raw data (loadavg): 0.95 0.96 0.92 2/54 27017
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 1709 0 0 0 3991 7 0 0 25 0 1 0 835460724 12595200 1687 4294967295 134512640 134581331 3221224592 3221223312 134524449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3075 1687 566 18 0 3057 0
vsize: 12300
[startup+50.0019 s]
Raw data (loadavg): 1.04 0.98 0.93 3/57 27058
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 1738 0 0 0 4988 10 0 0 25 0 1 0 835460724 12656640 1708 4294967295 134512640 134581331 3221224592 3221223488 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3090 1708 566 18 0 3072 0
vsize: 12360
[startup+60.002 s]
Raw data (loadavg): 1.03 0.98 0.93 2/54 27070
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 2035 0 0 0 5987 12 0 0 25 0 1 0 835460724 13942784 1992 4294967295 134512640 134581331 3221224592 3221223312 134524447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3404 1992 566 18 0 3386 0
vsize: 13616
[startup+70.0021 s]
Raw data (loadavg): 1.03 0.98 0.93 2/54 27070
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 2301 0 0 0 6986 13 0 0 25 0 1 0 835460724 14962688 2258 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3653 2258 566 18 0 3635 0
vsize: 14612
[startup+80.0026 s]
Raw data (loadavg): 1.02 0.98 0.93 2/54 27070
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 2306 0 0 0 7985 13 0 0 25 0 1 0 835460724 14962688 2263 4294967295 134512640 134581331 3221224592 3221223504 134527987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3653 2263 566 18 0 3635 0
vsize: 14612
[startup+90.0024 s]
Raw data (loadavg): 1.02 0.98 0.93 2/54 27070
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 2306 0 0 0 8985 14 0 0 25 0 1 0 835460724 14962688 2263 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3653 2263 566 18 0 3635 0
vsize: 14612
[startup+100.002 s]
Raw data (loadavg): 1.02 0.98 0.93 2/54 27070
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 2595 0 0 0 9984 15 0 0 25 0 1 0 835460724 16183296 2552 4294967295 134512640 134581331 3221224592 3221223456 134528437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3951 2552 566 18 0 3933 0
vsize: 15804
[startup+110.003 s]
Raw data (loadavg): 1.01 0.98 0.93 2/54 27070
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 2613 0 0 0 10984 15 0 0 25 0 1 0 835460724 16183296 2570 4294967295 134512640 134581331 3221224592 3221223456 134528261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3951 2570 566 18 0 3933 0
vsize: 15804
[startup+120.003 s]
Raw data (loadavg): 1.01 0.98 0.93 2/54 27070
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 2613 0 0 0 11983 16 0 0 25 0 1 0 835460724 16183296 2570 4294967295 134512640 134581331 3221224592 3221223312 134524447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3951 2570 566 18 0 3933 0
vsize: 15804
[startup+130.004 s]
Raw data (loadavg): 1.01 0.98 0.93 2/54 27072
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 2613 0 0 0 12983 17 0 0 25 0 1 0 835460724 16183296 2570 4294967295 134512640 134581331 3221224592 3221223504 134519040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3951 2570 566 18 0 3933 0
vsize: 15804
[startup+140.004 s]
Raw data (loadavg): 1.01 0.98 0.93 2/54 27072
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 2613 0 0 0 13982 18 0 0 25 0 1 0 835460724 16183296 2570 4294967295 134512640 134581331 3221224592 3221223504 134527763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3951 2570 566 18 0 3933 0
vsize: 15804
[startup+150.004 s]
Raw data (loadavg): 1.01 0.98 0.93 2/54 27072
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 2721 0 0 0 14982 18 0 0 25 0 1 0 835460724 16695296 2677 4294967295 134512640 134581331 3221224592 3221223312 134522613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4076 2677 566 18 0 4058 0
vsize: 16304
[startup+160.004 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27072
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 2759 0 0 0 15981 19 0 0 25 0 1 0 835460724 16695296 2695 4294967295 134512640 134581331 3221224592 3221223312 134523484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4076 2695 566 18 0 4058 0
vsize: 16304
[startup+170.004 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27072
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 2805 0 0 0 16981 19 0 0 25 0 1 0 835460724 16695296 2695 4294967295 134512640 134581331 3221224592 3221223312 134522611 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4076 2695 566 18 0 4058 0
vsize: 16304
[startup+180.004 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27072
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 2905 0 0 0 17981 20 0 0 25 0 1 0 835460724 17178624 2793 4294967295 134512640 134581331 3221224592 3221223312 134522263 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4194 2793 566 18 0 4176 0
vsize: 16776
[startup+190.005 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27072
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 2905 0 0 0 18981 20 0 0 25 0 1 0 835460724 17178624 2793 4294967295 134512640 134581331 3221224592 3221223376 134528842 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4194 2793 566 18 0 4176 0
vsize: 16776
[startup+200.004 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27072
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 2905 0 0 0 19980 21 0 0 25 0 1 0 835460724 17174528 2793 4294967295 134512640 134581331 3221224592 3221223312 134524449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4193 2793 566 18 0 4175 0
vsize: 16772
[startup+210.004 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27072
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 2914 0 0 0 20980 21 0 0 25 0 1 0 835460724 17174528 2802 4294967295 134512640 134581331 3221224592 3221223312 134524449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4193 2802 566 18 0 4175 0
vsize: 16772
[startup+220.004 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27072
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 2914 0 0 0 21979 22 0 0 25 0 1 0 835460724 17166336 2802 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4191 2802 566 18 0 4173 0
vsize: 16764
[startup+230.003 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27072
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 2914 0 0 0 22978 23 0 0 25 0 1 0 835460724 17166336 2802 4294967295 134512640 134581331 3221224592 3221223312 134522921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4191 2802 566 18 0 4173 0
vsize: 16764
[startup+240.003 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27072
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 2914 0 0 0 23978 24 0 0 25 0 1 0 835460724 17166336 2802 4294967295 134512640 134581331 3221224592 3221223312 134522624 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4191 2802 566 18 0 4173 0
vsize: 16764
[startup+250.006 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27072
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 2914 0 0 0 24978 24 0 0 25 0 1 0 835460724 17166336 2802 4294967295 134512640 134581331 3221224592 3221223312 134524456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4191 2802 566 18 0 4173 0
vsize: 16764
[startup+260.006 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27072
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 3048 0 0 0 25977 25 0 0 25 0 1 0 835460724 17727488 2936 4294967295 134512640 134581331 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4328 2936 566 18 0 4310 0
vsize: 17312
[startup+270.005 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27072
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 3140 0 0 0 26976 26 0 0 25 0 1 0 835460724 17801216 2965 4294967295 134512640 134581331 3221224592 3221223312 134522613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4346 2965 566 18 0 4328 0
vsize: 17384
[startup+280.006 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27072
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 3235 0 0 0 27976 26 0 0 25 0 1 0 835460724 17801216 2965 4294967295 134512640 134581331 3221224592 3221223312 134522624 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4346 2965 566 18 0 4328 0
vsize: 17384
[startup+290.011 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27072
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 3492 0 0 0 28976 27 0 0 25 0 1 0 835460724 18882560 3222 4294967295 134512640 134581331 3221224592 3221223228 1075289104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4610 3222 566 18 0 4592 0
vsize: 18440
[startup+300.01 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27072
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 3492 0 0 0 29975 28 0 0 25 0 1 0 835460724 18882560 3222 4294967295 134512640 134581331 3221224592 3221223312 134522581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4610 3222 566 18 0 4592 0
vsize: 18440
[startup+310.011 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27072
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 3492 0 0 0 30975 28 0 0 25 0 1 0 835460724 18882560 3222 4294967295 134512640 134581331 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4610 3222 566 18 0 4592 0
vsize: 18440
[startup+320.013 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27072
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 3492 0 0 0 31975 29 0 0 25 0 1 0 835460724 18882560 3222 4294967295 134512640 134581331 3221224592 3221223504 134527794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4610 3222 566 18 0 4592 0
vsize: 18440
[startup+330.019 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27072
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 3492 0 0 0 32975 29 0 0 25 0 1 0 835460724 18882560 3222 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4610 3222 566 18 0 4592 0
vsize: 18440
[startup+340.019 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27072
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 3492 0 0 0 33975 29 0 0 25 0 1 0 835460724 18882560 3222 4294967295 134512640 134581331 3221224592 3221223504 134519042 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4610 3222 566 18 0 4592 0
vsize: 18440
[startup+350.019 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27072
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 3492 0 0 0 34975 30 0 0 25 0 1 0 835460724 18857984 3222 4294967295 134512640 134581331 3221224592 3221223312 134524456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4604 3222 566 18 0 4586 0
vsize: 18416
[startup+360.019 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27072
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 3492 0 0 0 35974 31 0 0 25 0 1 0 835460724 18857984 3222 4294967295 134512640 134581331 3221224592 3221223584 134526643 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4604 3222 566 18 0 4586 0
vsize: 18416
[startup+370.019 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27072
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 3520 0 0 0 36973 32 0 0 25 0 1 0 835460724 18989056 3250 4294967295 134512640 134581331 3221224592 3221223312 134522588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4636 3250 566 18 0 4618 0
vsize: 18544
[startup+380.019 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 3980 0 0 0 37972 33 0 0 25 0 1 0 835460724 20938752 3710 4294967295 134512640 134581331 3221224592 3221223476 134557744 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5112 3710 566 18 0 5094 0
vsize: 20448
[startup+390.019 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 3987 0 0 0 38972 33 0 0 25 0 1 0 835460724 20938752 3717 4294967295 134512640 134581331 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5112 3717 566 18 0 5094 0
vsize: 20448
[startup+400.019 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4014 0 0 0 39972 34 0 0 25 0 1 0 835460724 20938752 3731 4294967295 134512640 134581331 3221224592 3221223504 134519017 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5112 3731 566 18 0 5094 0
vsize: 20448
[startup+410.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4246 0 0 0 40972 34 0 0 25 0 1 0 835460724 21909504 3963 4294967295 134512640 134581331 3221224592 3221223244 1075288811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5349 3963 566 18 0 5331 0
vsize: 21396
[startup+420.019 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4553 0 0 0 41970 36 0 0 25 0 1 0 835460724 23248896 4270 4294967295 134512640 134581331 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5676 4270 566 18 0 5658 0
vsize: 22704
[startup+430.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4553 0 0 0 42970 36 0 0 25 0 1 0 835460724 23212032 4270 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5667 4270 566 18 0 5649 0
vsize: 22668
[startup+440.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4553 0 0 0 43970 37 0 0 25 0 1 0 835460724 23212032 4270 4294967295 134512640 134581331 3221224592 3221223312 134524449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5667 4270 566 18 0 5649 0
vsize: 22668
[startup+450.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4554 0 0 0 44970 37 0 0 25 0 1 0 835460724 23212032 4271 4294967295 134512640 134581331 3221224592 3221223504 134519025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5667 4271 566 18 0 5649 0
vsize: 22668
[startup+460.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4554 0 0 0 45970 37 0 0 25 0 1 0 835460724 23212032 4271 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5667 4271 566 18 0 5649 0
vsize: 22668
[startup+470.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4554 0 0 0 46969 38 0 0 25 0 1 0 835460724 23212032 4271 4294967295 134512640 134581331 3221224592 3221223520 134520030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5667 4271 566 18 0 5649 0
vsize: 22668
[startup+480.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4554 0 0 0 47970 38 0 0 25 0 1 0 835460724 23212032 4271 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5667 4271 566 18 0 5649 0
vsize: 22668
[startup+490.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4554 0 0 0 48969 38 0 0 25 0 1 0 835460724 23203840 4271 4294967295 134512640 134581331 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5665 4271 566 18 0 5647 0
vsize: 22660
[startup+500.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4554 0 0 0 49969 38 0 0 25 0 1 0 835460724 23203840 4271 4294967295 134512640 134581331 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5665 4271 566 18 0 5647 0
vsize: 22660
[startup+510.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4554 0 0 0 50969 39 0 0 25 0 1 0 835460724 23203840 4271 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5665 4271 566 18 0 5647 0
vsize: 22660
[startup+520.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4559 0 0 0 51969 39 0 0 25 0 1 0 835460724 23203840 4276 4294967295 134512640 134581331 3221224592 3221223312 134524438 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5665 4276 566 18 0 5647 0
vsize: 22660
[startup+530.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4559 0 0 0 52969 39 0 0 25 0 1 0 835460724 23203840 4276 4294967295 134512640 134581331 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5665 4276 566 18 0 5647 0
vsize: 22660
[startup+540.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4559 0 0 0 53969 39 0 0 25 0 1 0 835460724 23203840 4276 4294967295 134512640 134581331 3221224592 3221223312 134524447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5665 4276 566 18 0 5647 0
vsize: 22660
[startup+550.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4559 0 0 0 54969 39 0 0 25 0 1 0 835460724 23203840 4276 4294967295 134512640 134581331 3221224592 3221223520 134519817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5665 4276 566 18 0 5647 0
vsize: 22660
[startup+560.022 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4559 0 0 0 55969 39 0 0 25 0 1 0 835460724 23203840 4276 4294967295 134512640 134581331 3221224592 3221223476 134557922 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5665 4276 566 18 0 5647 0
vsize: 22660
[startup+570.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4559 0 0 0 56969 39 0 0 25 0 1 0 835460724 23203840 4276 4294967295 134512640 134581331 3221224592 3221223504 134519040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5665 4276 566 18 0 5647 0
vsize: 22660
[startup+580.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4559 0 0 0 57969 40 0 0 25 0 1 0 835460724 23203840 4276 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5665 4276 566 18 0 5647 0
vsize: 22660
[startup+590.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4559 0 0 0 58969 40 0 0 25 0 1 0 835460724 23203840 4276 4294967295 134512640 134581331 3221224592 3221223312 134522606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5665 4276 566 18 0 5647 0
vsize: 22660
[startup+600.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4559 0 0 0 59969 40 0 0 25 0 1 0 835460724 23203840 4276 4294967295 134512640 134581331 3221224592 3221223504 134519040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5665 4276 566 18 0 5647 0
vsize: 22660
[startup+610.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4559 0 0 0 60969 40 0 0 25 0 1 0 835460724 23203840 4276 4294967295 134512640 134581331 3221224592 3221223312 134524447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5665 4276 566 18 0 5647 0
vsize: 22660
[startup+620.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4559 0 0 0 61969 40 0 0 25 0 1 0 835460724 23203840 4276 4294967295 134512640 134581331 3221224592 3221223312 134522634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5665 4276 566 18 0 5647 0
vsize: 22660
[startup+630.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4559 0 0 0 62969 41 0 0 25 0 1 0 835460724 23203840 4276 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5665 4276 566 18 0 5647 0
vsize: 22660
[startup+640.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4559 0 0 0 63969 41 0 0 25 0 1 0 835460724 23203840 4276 4294967295 134512640 134581331 3221224592 3221223312 134522586 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5665 4276 566 18 0 5647 0
vsize: 22660
[startup+650.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4559 0 0 0 64969 41 0 0 25 0 1 0 835460724 23203840 4276 4294967295 134512640 134581331 3221224592 3221223472 134520219 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5665 4276 566 18 0 5647 0
vsize: 22660
[startup+660.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4638 0 0 0 65968 42 0 0 25 0 1 0 835460724 23502848 4355 4294967295 134512640 134581331 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5738 4355 566 18 0 5720 0
vsize: 22952
[startup+670.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4638 0 0 0 66968 42 0 0 25 0 1 0 835460724 23502848 4355 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5738 4355 566 18 0 5720 0
vsize: 22952
[startup+680.022 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4638 0 0 0 67968 42 0 0 25 0 1 0 835460724 23502848 4355 4294967295 134512640 134581331 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5738 4355 566 18 0 5720 0
vsize: 22952
[startup+690.023 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4638 0 0 0 68967 44 0 0 25 0 1 0 835460724 23502848 4355 4294967295 134512640 134581331 3221224592 3221223312 134522568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5738 4355 566 18 0 5720 0
vsize: 22952
[startup+700.022 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4638 0 0 0 69967 44 0 0 25 0 1 0 835460724 23502848 4355 4294967295 134512640 134581331 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5738 4355 566 18 0 5720 0
vsize: 22952
[startup+710.022 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4638 0 0 0 70967 44 0 0 25 0 1 0 835460724 23502848 4355 4294967295 134512640 134581331 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5738 4355 566 18 0 5720 0
vsize: 22952
[startup+720.023 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4638 0 0 0 71966 45 0 0 25 0 1 0 835460724 23453696 4345 4294967295 134512640 134581331 3221224592 3221223312 134522634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5726 4345 566 18 0 5708 0
vsize: 22904
[startup+730.023 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4638 0 0 0 72966 45 0 0 25 0 1 0 835460724 23453696 4345 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5726 4345 566 18 0 5708 0
vsize: 22904
[startup+740.023 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4638 0 0 0 73966 46 0 0 25 0 1 0 835460724 23453696 4345 4294967295 134512640 134581331 3221224592 3221223312 134524449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5726 4345 566 18 0 5708 0
vsize: 22904
[startup+750.022 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4638 0 0 0 74966 46 0 0 25 0 1 0 835460724 23449600 4344 4294967295 134512640 134581331 3221224592 3221223536 134516839 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5725 4344 566 18 0 5707 0
vsize: 22900
[startup+760.023 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4638 0 0 0 75966 46 0 0 25 0 1 0 835460724 23449600 4344 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5725 4344 566 18 0 5707 0
vsize: 22900
[startup+770.023 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4638 0 0 0 76966 46 0 0 25 0 1 0 835460724 23449600 4344 4294967295 134512640 134581331 3221224592 3221223456 134528278 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5725 4344 566 18 0 5707 0
vsize: 22900
[startup+780.024 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 4716 0 0 0 77966 47 0 0 25 0 1 0 835460724 23814144 4422 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5814 4422 566 18 0 5796 0
vsize: 23256
[startup+790.024 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5103 0 0 0 78965 48 0 0 25 0 1 0 835460724 25366528 4809 4294967295 134512640 134581331 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6193 4809 566 18 0 6175 0
vsize: 24772
[startup+800.023 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5103 0 0 0 79965 48 0 0 25 0 1 0 835460724 25366528 4809 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6193 4809 566 18 0 6175 0
vsize: 24772
[startup+810.024 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5103 0 0 0 80965 48 0 0 25 0 1 0 835460724 25366528 4809 4294967295 134512640 134581331 3221224592 3221223312 134524432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6193 4809 566 18 0 6175 0
vsize: 24772
[startup+820.024 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5103 0 0 0 81965 48 0 0 25 0 1 0 835460724 25366528 4809 4294967295 134512640 134581331 3221224592 3221223312 134524447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6193 4809 566 18 0 6175 0
vsize: 24772
[startup+830.025 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 82965 49 0 0 25 0 1 0 835460724 25743360 4884 4294967295 134512640 134581331 3221224592 3221223476 134557930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6285 4884 566 18 0 6267 0
vsize: 25140
[startup+840.024 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 83965 49 0 0 25 0 1 0 835460724 25743360 4884 4294967295 134512640 134581331 3221224592 3221223472 134520282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6285 4884 566 18 0 6267 0
vsize: 25140
[startup+850.024 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 84965 49 0 0 25 0 1 0 835460724 25743360 4884 4294967295 134512640 134581331 3221224592 3221223504 134519025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6285 4884 566 18 0 6267 0
vsize: 25140
[startup+860.025 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 85965 49 0 0 25 0 1 0 835460724 25743360 4884 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6285 4884 566 18 0 6267 0
vsize: 25140
[startup+870.025 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 86964 50 0 0 25 0 1 0 835460724 25726976 4884 4294967295 134512640 134581331 3221224592 3221223312 134524447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6281 4884 566 18 0 6263 0
vsize: 25124
[startup+880.024 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 87964 50 0 0 25 0 1 0 835460724 25726976 4884 4294967295 134512640 134581331 3221224592 3221223312 134524432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6281 4884 566 18 0 6263 0
vsize: 25124
[startup+890.024 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 88964 50 0 0 25 0 1 0 835460724 25726976 4884 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6281 4884 566 18 0 6263 0
vsize: 25124
[startup+900.024 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 89964 51 0 0 25 0 1 0 835460724 25726976 4884 4294967295 134512640 134581331 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6281 4884 566 18 0 6263 0
vsize: 25124
[startup+910.024 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 90964 51 0 0 25 0 1 0 835460724 25563136 4860 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6241 4860 566 18 0 6223 0
vsize: 24964
[startup+920.024 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 91964 51 0 0 25 0 1 0 835460724 25563136 4860 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6241 4860 566 18 0 6223 0
vsize: 24964
[startup+930.024 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 92964 51 0 0 25 0 1 0 835460724 25563136 4860 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6241 4860 566 18 0 6223 0
vsize: 24964
[startup+940.024 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 93964 51 0 0 25 0 1 0 835460724 25550848 4857 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6238 4857 566 18 0 6220 0
vsize: 24952
[startup+950.024 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 94964 52 0 0 25 0 1 0 835460724 25550848 4857 4294967295 134512640 134581331 3221224592 3221223312 134522613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6238 4857 566 18 0 6220 0
vsize: 24952
[startup+960.025 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 95964 52 0 0 25 0 1 0 835460724 25550848 4857 4294967295 134512640 134581331 3221224592 3221223312 134524441 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6238 4857 566 18 0 6220 0
vsize: 24952
[startup+970.025 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 96964 52 0 0 25 0 1 0 835460724 25550848 4857 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6238 4857 566 18 0 6220 0
vsize: 24952
[startup+980.026 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 97964 53 0 0 25 0 1 0 835460724 25522176 4850 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6231 4850 566 18 0 6213 0
vsize: 24924
[startup+990.025 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 98964 53 0 0 25 0 1 0 835460724 25522176 4850 4294967295 134512640 134581331 3221224592 3221223504 134519017 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6231 4850 566 18 0 6213 0
vsize: 24924
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 99964 53 0 0 25 0 1 0 835460724 25522176 4850 4294967295 134512640 134581331 3221224592 3221223504 134518996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6231 4850 566 18 0 6213 0
vsize: 24924
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 100964 53 0 0 25 0 1 0 835460724 25522176 4850 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6231 4850 566 18 0 6213 0
vsize: 24924
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 101963 54 0 0 25 0 1 0 835460724 25522176 4850 4294967295 134512640 134581331 3221224592 3221223312 134524447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6231 4850 566 18 0 6213 0
vsize: 24924
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 102963 54 0 0 25 0 1 0 835460724 25522176 4850 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6231 4850 566 18 0 6213 0
vsize: 24924
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 103963 54 0 0 25 0 1 0 835460724 25522176 4850 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6231 4850 566 18 0 6213 0
vsize: 24924
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 104963 55 0 0 25 0 1 0 835460724 25522176 4850 4294967295 134512640 134581331 3221224592 3221223312 134524449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6231 4850 566 18 0 6213 0
vsize: 24924
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 105963 55 0 0 25 0 1 0 835460724 25518080 4849 4294967295 134512640 134581331 3221224592 3221223312 134522581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6230 4849 566 18 0 6212 0
vsize: 24920
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 106962 55 0 0 25 0 1 0 835460724 25518080 4849 4294967295 134512640 134581331 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6230 4849 566 18 0 6212 0
vsize: 24920
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 107962 56 0 0 25 0 1 0 835460724 25513984 4848 4294967295 134512640 134581331 3221224592 3221223476 134557928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6229 4848 566 18 0 6211 0
vsize: 24916
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 108961 57 0 0 25 0 1 0 835460724 25513984 4848 4294967295 134512640 134581331 3221224592 3221223312 134522634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6229 4848 566 18 0 6211 0
vsize: 24916
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 109961 58 0 0 25 0 1 0 835460724 25505792 4846 4294967295 134512640 134581331 3221224592 3221221648 134532867 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6227 4846 566 18 0 6209 0
vsize: 24908
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 110960 58 0 0 25 0 1 0 835460724 25505792 4846 4294967295 134512640 134581331 3221224592 3221223312 134524432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6227 4846 566 18 0 6209 0
vsize: 24908
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 111960 59 0 0 25 0 1 0 835460724 25505792 4846 4294967295 134512640 134581331 3221224592 3221223504 134528072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6227 4846 566 18 0 6209 0
vsize: 24908
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 112960 59 0 0 25 0 1 0 835460724 25505792 4846 4294967295 134512640 134581331 3221224592 3221223312 134522634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6227 4846 566 18 0 6209 0
vsize: 24908
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 113959 60 0 0 25 0 1 0 835460724 25505792 4846 4294967295 134512640 134581331 3221224592 3221223504 134519020 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6227 4846 566 18 0 6209 0
vsize: 24908
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 114959 60 0 0 25 0 1 0 835460724 25505792 4846 4294967295 134512640 134581331 3221224592 3221223312 134524447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6227 4846 566 18 0 6209 0
vsize: 24908
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 115959 60 0 0 25 0 1 0 835460724 25505792 4846 4294967295 134512640 134581331 3221224592 3221223312 134524447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6227 4846 566 18 0 6209 0
vsize: 24908
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 116959 60 0 0 25 0 1 0 835460724 25505792 4846 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6227 4846 566 18 0 6209 0
vsize: 24908
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 117959 61 0 0 25 0 1 0 835460724 25505792 4846 4294967295 134512640 134581331 3221224592 3221223504 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6227 4846 566 18 0 6209 0
vsize: 24908
[startup+1188.84 s]
Raw data (loadavg): 1.00 0.98 0.93 1/53 27074
Raw data (stat): 27017 (Pueblo) R 27016 20001 20000 0 -1 0 5178 0 0 0 117959 61 0 0 25 0 1 0 835460724 25505792 4846 4294967295 134512640 134581331 3221224592 3221223504 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6227 4846 566 18 0 6209 0
vsize: 0

Child status: 10
Real time (s): 1188.84
CPU time (s): 1189.02
CPU user time (s): 1188.39
CPU system time (s): 0.626904
CPU usage (%): 100.015
Max. virtual memory (Kb): 25140
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	924
#### END VERIFIER DATA ####