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-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-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	920
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.75
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 27370

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        826132 kB
Buffers:         20188 kB
Cached:         167728 kB
SwapCached:        716 kB
Active:          22620 kB
Inactive:       167432 kB
HighTotal:      131008 kB
HighFree:        18088 kB
LowTotal:       903652 kB
LowFree:        808044 kB
SwapTotal:     2097892 kB
SwapFree:      2096336 kB
Dirty:              68 kB
Writeback:           0 kB
Mapped:           5064 kB
Slab:            13092 kB
Committed_AS:    63580 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 21:37:10 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 17375 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/wulflinc20/normalized-mps-v2-13-7-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.92 0.98 0.95 2/54 30040
Raw data (stat): 30040 (runsolver) R 30039 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833412944 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.0004 s]
Raw data (loadavg): 0.93 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 1129 0 0 0 996 2 0 0 25 0 1 0 833412944 10203136 1107 4294967295 134512640 134581331 3221224592 3221223504 134519027 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.0011 s]
Raw data (loadavg): 0.94 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 1556 0 0 0 1994 4 0 0 25 0 1 0 833412944 11948032 1534 4294967295 134512640 134581331 3221224592 3221223520 134519928 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.0013 s]
Raw data (loadavg): 0.95 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 1567 0 0 0 2993 6 0 0 25 0 1 0 833412944 12038144 1545 4294967295 134512640 134581331 3221224592 3221223504 134519017 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2939 1545 566 18 0 2921 0
vsize: 11756
[startup+40.0022 s]
Raw data (loadavg): 0.96 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 1709 0 0 0 3991 8 0 0 25 0 1 0 833412944 12595200 1687 4294967295 134512640 134581331 3221224592 3221223488 134517894 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.003 s]
Raw data (loadavg): 0.96 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 1738 0 0 0 4990 9 0 0 25 0 1 0 833412944 12656640 1708 4294967295 134512640 134581331 3221224592 3221223572 134560793 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.0024 s]
Raw data (loadavg): 0.97 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 2035 0 0 0 5989 11 0 0 25 0 1 0 833412944 13942784 1992 4294967295 134512640 134581331 3221224592 3221222272 134532818 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.0034 s]
Raw data (loadavg): 0.97 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 2301 0 0 0 6988 12 0 0 25 0 1 0 833412944 14962688 2258 4294967295 134512640 134581331 3221224592 3221223488 134517878 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.0041 s]
Raw data (loadavg): 0.98 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 2306 0 0 0 7987 13 0 0 25 0 1 0 833412944 14962688 2263 4294967295 134512640 134581331 3221224592 3221223312 134524447 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.0046 s]
Raw data (loadavg): 0.98 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 2306 0 0 0 8987 14 0 0 25 0 1 0 833412944 14962688 2263 4294967295 134512640 134581331 3221224592 3221223312 134524441 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.005 s]
Raw data (loadavg): 0.98 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 2595 0 0 0 9986 15 0 0 25 0 1 0 833412944 16183296 2552 4294967295 134512640 134581331 3221224592 3221223312 134524447 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.004 s]
Raw data (loadavg): 0.98 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 2613 0 0 0 10986 15 0 0 25 0 1 0 833412944 16183296 2570 4294967295 134512640 134581331 3221224592 3221223312 134524449 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.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 2613 0 0 0 11985 16 0 0 25 0 1 0 833412944 16183296 2570 4294967295 134512640 134581331 3221224592 3221223312 134522611 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.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 2613 0 0 0 12985 16 0 0 25 0 1 0 833412944 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+140.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 2613 0 0 0 13984 17 0 0 25 0 1 0 833412944 16183296 2570 4294967295 134512640 134581331 3221224592 3221223312 134522606 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.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 2721 0 0 0 14984 18 0 0 25 0 1 0 833412944 16695296 2677 4294967295 134512640 134581331 3221224592 3221223504 134527440 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.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 2759 0 0 0 15983 19 0 0 25 0 1 0 833412944 16695296 2695 4294967295 134512640 134581331 3221224592 3221223504 134527407 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.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 2805 0 0 0 16983 19 0 0 25 0 1 0 833412944 16695296 2695 4294967295 134512640 134581331 3221224592 3221223312 134522613 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.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 2905 0 0 0 17983 19 0 0 25 0 1 0 833412944 17178624 2793 4294967295 134512640 134581331 3221224592 3221223312 134522613 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.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 2905 0 0 0 18983 19 0 0 25 0 1 0 833412944 17178624 2793 4294967295 134512640 134581331 3221224592 3221223312 134522613 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.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 2905 0 0 0 19982 20 0 0 25 0 1 0 833412944 17174528 2793 4294967295 134512640 134581331 3221224592 3221223456 134526952 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.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 2914 0 0 0 20982 20 0 0 25 0 1 0 833412944 17174528 2802 4294967295 134512640 134581331 3221224592 3221223520 134520049 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.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 2914 0 0 0 21982 21 0 0 25 0 1 0 833412944 17166336 2802 4294967295 134512640 134581331 3221224592 3221223312 134524447 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.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 2914 0 0 0 22982 21 0 0 25 0 1 0 833412944 17166336 2802 4294967295 134512640 134581331 3221224592 3221223504 134527432 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.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 2914 0 0 0 23981 22 0 0 25 0 1 0 833412944 17166336 2802 4294967295 134512640 134581331 3221224592 3221223312 134524432 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.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 2914 0 0 0 24981 23 0 0 25 0 1 0 833412944 17166336 2802 4294967295 134512640 134581331 3221224592 3221223476 134557761 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.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 3048 0 0 0 25980 23 0 0 25 0 1 0 833412944 17727488 2936 4294967295 134512640 134581331 3221224592 3221223504 134527513 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.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 3140 0 0 0 26980 24 0 0 25 0 1 0 833412944 17801216 2965 4294967295 134512640 134581331 3221224592 3221223312 134522442 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): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 3235 0 0 0 27980 24 0 0 25 0 1 0 833412944 17801216 2965 4294967295 134512640 134581331 3221224592 3221223520 134519947 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.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 3492 0 0 0 28979 25 0 0 25 0 1 0 833412944 18882560 3222 4294967295 134512640 134581331 3221224592 3221223504 134519040 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.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 3492 0 0 0 29979 25 0 0 25 0 1 0 833412944 18882560 3222 4294967295 134512640 134581331 3221224592 3221223488 134517924 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.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 3492 0 0 0 30978 26 0 0 25 0 1 0 833412944 18882560 3222 4294967295 134512640 134581331 3221224592 3221223476 134557744 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.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 3492 0 0 0 31978 27 0 0 25 0 1 0 833412944 18882560 3222 4294967295 134512640 134581331 3221224592 3221223488 134517894 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.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 3492 0 0 0 32978 27 0 0 25 0 1 0 833412944 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.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 3492 0 0 0 33977 28 0 0 25 0 1 0 833412944 18882560 3222 4294967295 134512640 134581331 3221224592 3221223312 134522611 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.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 3492 0 0 0 34977 28 0 0 25 0 1 0 833412944 18857984 3222 4294967295 134512640 134581331 3221224592 3221223312 134524447 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.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 3492 0 0 0 35976 29 0 0 25 0 1 0 833412944 18857984 3222 4294967295 134512640 134581331 3221224592 3221223312 134524441 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.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 3492 0 0 0 36977 29 0 0 25 0 1 0 833412944 18857984 3222 4294967295 134512640 134581331 3221224592 3221223504 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4604 3222 566 18 0 4586 0
vsize: 18416
[startup+380.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 3980 0 0 0 37975 31 0 0 25 0 1 0 833412944 20951040 3710 4294967295 134512640 134581331 3221224592 3221223520 134520043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5115 3710 566 18 0 5097 0
vsize: 20460
[startup+390.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 3987 0 0 0 38975 31 0 0 25 0 1 0 833412944 20938752 3717 4294967295 134512640 134581331 3221224592 3221223488 134517851 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.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4014 0 0 0 39975 31 0 0 25 0 1 0 833412944 20938752 3731 4294967295 134512640 134581331 3221224592 3221223312 134524447 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.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4230 0 0 0 40974 32 0 0 25 0 1 0 833412944 21909504 3947 4294967295 134512640 134581331 3221224592 3221223584 134561087 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5349 3947 566 18 0 5331 0
vsize: 21396
[startup+420.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4553 0 0 0 41974 33 0 0 25 0 1 0 833412944 23248896 4270 4294967295 134512640 134581331 3221224592 3221223488 134517905 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.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4553 0 0 0 42973 33 0 0 25 0 1 0 833412944 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.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4553 0 0 0 43973 33 0 0 25 0 1 0 833412944 23212032 4270 4294967295 134512640 134581331 3221224592 3221223456 134528261 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.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4554 0 0 0 44973 33 0 0 25 0 1 0 833412944 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+460.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4554 0 0 0 45973 33 0 0 25 0 1 0 833412944 23212032 4271 4294967295 134512640 134581331 3221224592 3221223488 134517894 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.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4554 0 0 0 46973 34 0 0 25 0 1 0 833412944 23212032 4271 4294967295 134512640 134581331 3221224592 3221223520 134520049 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.004 s]
Raw data (loadavg): 1.07 1.00 0.96 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4554 0 0 0 47973 34 0 0 25 0 1 0 833412944 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+490.004 s]
Raw data (loadavg): 1.06 1.00 0.96 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4554 0 0 0 48973 34 0 0 25 0 1 0 833412944 23203840 4271 4294967295 134512640 134581331 3221224592 3221223488 134517894 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.004 s]
Raw data (loadavg): 1.05 1.00 0.96 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4554 0 0 0 49973 35 0 0 25 0 1 0 833412944 23203840 4271 4294967295 134512640 134581331 3221224592 3221223488 134517902 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.003 s]
Raw data (loadavg): 1.04 1.00 0.96 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4554 0 0 0 50973 35 0 0 25 0 1 0 833412944 23203840 4271 4294967295 134512640 134581331 3221224592 3221223504 134527434 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.003 s]
Raw data (loadavg): 1.04 1.00 0.96 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4559 0 0 0 51973 35 0 0 25 0 1 0 833412944 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+530.003 s]
Raw data (loadavg): 1.03 1.00 0.96 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4559 0 0 0 52972 36 0 0 25 0 1 0 833412944 23203840 4276 4294967295 134512640 134581331 3221224592 3221223312 134524441 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.002 s]
Raw data (loadavg): 1.03 1.00 0.96 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4559 0 0 0 53972 36 0 0 25 0 1 0 833412944 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+550.002 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4559 0 0 0 54972 36 0 0 25 0 1 0 833412944 23203840 4276 4294967295 134512640 134581331 3221224592 3221223488 134517865 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.002 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4559 0 0 0 55972 36 0 0 25 0 1 0 833412944 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+570.002 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4559 0 0 0 56972 37 0 0 25 0 1 0 833412944 23203840 4276 4294967295 134512640 134581331 3221224592 3221223584 134560939 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.002 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4559 0 0 0 57972 37 0 0 25 0 1 0 833412944 23203840 4276 4294967295 134512640 134581331 3221224592 3221223504 134527459 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.002 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4559 0 0 0 58971 38 0 0 25 0 1 0 833412944 23203840 4276 4294967295 134512640 134581331 3221224592 3221223504 134527539 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.003 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4559 0 0 0 59971 38 0 0 25 0 1 0 833412944 23203840 4276 4294967295 134512640 134581331 3221224592 3221223312 134524449 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.002 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4559 0 0 0 60971 39 0 0 25 0 1 0 833412944 23203840 4276 4294967295 134512640 134581331 3221224592 3221223312 134522568 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.002 s]
Raw data (loadavg): 1.08 1.02 0.96 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4559 0 0 0 61971 39 0 0 25 0 1 0 833412944 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+630.002 s]
Raw data (loadavg): 1.14 1.03 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4559 0 0 0 62971 39 0 0 25 0 1 0 833412944 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+640.001 s]
Raw data (loadavg): 1.12 1.03 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4559 0 0 0 63971 39 0 0 25 0 1 0 833412944 23203840 4276 4294967295 134512640 134581331 3221224592 3221223488 134517865 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.001 s]
Raw data (loadavg): 1.10 1.03 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4559 0 0 0 64971 39 0 0 25 0 1 0 833412944 23203840 4276 4294967295 134512640 134581331 3221224592 3221223504 134527778 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.001 s]
Raw data (loadavg): 1.09 1.03 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4638 0 0 0 65970 40 0 0 25 0 1 0 833412944 23502848 4355 4294967295 134512640 134581331 3221224592 3221223536 134559459 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.002 s]
Raw data (loadavg): 1.07 1.03 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4638 0 0 0 66971 40 0 0 25 0 1 0 833412944 23502848 4355 4294967295 134512640 134581331 3221224592 3221223504 134527519 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.001 s]
Raw data (loadavg): 1.06 1.03 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4638 0 0 0 67970 40 0 0 25 0 1 0 833412944 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+690.001 s]
Raw data (loadavg): 1.05 1.02 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4638 0 0 0 68969 41 0 0 25 0 1 0 833412944 23502848 4355 4294967295 134512640 134581331 3221224592 3221223312 134522624 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.002 s]
Raw data (loadavg): 1.04 1.02 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4638 0 0 0 69968 42 0 0 25 0 1 0 833412944 23502848 4355 4294967295 134512640 134581331 3221224592 3221223476 134557948 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.002 s]
Raw data (loadavg): 1.04 1.02 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4638 0 0 0 70969 42 0 0 25 0 1 0 833412944 23502848 4355 4294967295 134512640 134581331 3221224592 3221223488 134528064 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.003 s]
Raw data (loadavg): 1.03 1.02 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4638 0 0 0 71969 43 0 0 25 0 1 0 833412944 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+730.003 s]
Raw data (loadavg): 1.02 1.02 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4638 0 0 0 72969 43 0 0 25 0 1 0 833412944 23453696 4345 4294967295 134512640 134581331 3221224592 3221223312 134522611 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.003 s]
Raw data (loadavg): 1.02 1.02 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4638 0 0 0 73969 43 0 0 25 0 1 0 833412944 23453696 4345 4294967295 134512640 134581331 3221224592 3221223456 134528261 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.003 s]
Raw data (loadavg): 1.02 1.02 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4638 0 0 0 74969 43 0 0 25 0 1 0 833412944 23449600 4344 4294967295 134512640 134581331 3221224592 3221223488 134517862 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.002 s]
Raw data (loadavg): 1.01 1.02 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4638 0 0 0 75969 43 0 0 25 0 1 0 833412944 23449600 4344 4294967295 134512640 134581331 3221224592 3221223488 134517905 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.003 s]
Raw data (loadavg): 1.01 1.02 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4638 0 0 0 76968 44 0 0 25 0 1 0 833412944 23449600 4344 4294967295 134512640 134581331 3221224592 3221223536 134558928 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.003 s]
Raw data (loadavg): 1.01 1.02 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 4695 0 0 0 77968 44 0 0 25 0 1 0 833412944 23814144 4401 4294967295 134512640 134581331 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5814 4401 566 18 0 5796 0
vsize: 23256
[startup+790.002 s]
Raw data (loadavg): 1.01 1.01 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5103 0 0 0 78968 45 0 0 25 0 1 0 833412944 25366528 4809 4294967295 134512640 134581331 3221224592 3221223504 134518916 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.003 s]
Raw data (loadavg): 1.01 1.01 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5103 0 0 0 79968 45 0 0 25 0 1 0 833412944 25366528 4809 4294967295 134512640 134581331 3221224592 3221223476 134557830 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.003 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5103 0 0 0 80968 45 0 0 25 0 1 0 833412944 25366528 4809 4294967295 134512640 134581331 3221224592 3221223488 134517865 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.004 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5103 0 0 0 81968 45 0 0 25 0 1 0 833412944 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+830.004 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 82968 45 0 0 25 0 1 0 833412944 25743360 4884 4294967295 134512640 134581331 3221224592 3221223504 134527769 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.005 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 83968 46 0 0 25 0 1 0 833412944 25743360 4884 4294967295 134512640 134581331 3221224592 3221223504 134527676 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.005 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 84968 46 0 0 25 0 1 0 833412944 25743360 4884 4294967295 134512640 134581331 3221224592 3221223312 134522611 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.004 s]
Raw data (loadavg): 1.08 1.02 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 85968 46 0 0 25 0 1 0 833412944 25743360 4884 4294967295 134512640 134581331 3221224592 3221223504 134527404 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.005 s]
Raw data (loadavg): 1.07 1.02 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 86968 46 0 0 25 0 1 0 833412944 25726976 4884 4294967295 134512640 134581331 3221224592 3221223312 134522611 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.005 s]
Raw data (loadavg): 1.06 1.02 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 87968 46 0 0 25 0 1 0 833412944 25726976 4884 4294967295 134512640 134581331 3221224592 3221223488 134517865 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.005 s]
Raw data (loadavg): 1.05 1.02 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 88968 46 0 0 25 0 1 0 833412944 25726976 4884 4294967295 134512640 134581331 3221224592 3221223488 134517878 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.006 s]
Raw data (loadavg): 1.04 1.02 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 89968 46 0 0 25 0 1 0 833412944 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+910.005 s]
Raw data (loadavg): 1.03 1.02 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 90968 47 0 0 25 0 1 0 833412944 25563136 4860 4294967295 134512640 134581331 3221224592 3221223312 134524449 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.005 s]
Raw data (loadavg): 1.03 1.02 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 91968 47 0 0 25 0 1 0 833412944 25563136 4860 4294967295 134512640 134581331 3221224592 3221223312 134522634 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.005 s]
Raw data (loadavg): 1.02 1.02 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 92968 47 0 0 25 0 1 0 833412944 25563136 4860 4294967295 134512640 134581331 3221224592 3221223504 134527432 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.004 s]
Raw data (loadavg): 1.02 1.02 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 93968 48 0 0 25 0 1 0 833412944 25550848 4857 4294967295 134512640 134581331 3221224592 3221223488 134517865 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.004 s]
Raw data (loadavg): 1.02 1.02 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 94968 48 0 0 25 0 1 0 833412944 25550848 4857 4294967295 134512640 134581331 3221224592 3221223488 134517844 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.004 s]
Raw data (loadavg): 1.01 1.01 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 95968 48 0 0 25 0 1 0 833412944 25550848 4857 4294967295 134512640 134581331 3221224592 3221223504 134519003 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.004 s]
Raw data (loadavg): 1.01 1.01 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 96968 48 0 0 25 0 1 0 833412944 25550848 4857 4294967295 134512640 134581331 3221224592 3221223488 134517894 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.004 s]
Raw data (loadavg): 1.01 1.01 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 97968 48 0 0 25 0 1 0 833412944 25522176 4850 4294967295 134512640 134581331 3221224592 3221223504 134527695 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.004 s]
Raw data (loadavg): 1.01 1.01 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 98967 49 0 0 25 0 1 0 833412944 25522176 4850 4294967295 134512640 134581331 3221224592 3221223376 134528966 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 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 99968 49 0 0 25 0 1 0 833412944 25522176 4850 4294967295 134512640 134581331 3221224592 3221223488 134517851 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 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 100967 49 0 0 25 0 1 0 833412944 25522176 4850 4294967295 134512640 134581331 3221224592 3221223488 134517883 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 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 101967 50 0 0 25 0 1 0 833412944 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+1030 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 102967 50 0 0 25 0 1 0 833412944 25522176 4850 4294967295 134512640 134581331 3221224592 3221223520 134519928 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 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 103966 51 0 0 25 0 1 0 833412944 25522176 4850 4294967295 134512640 134581331 3221224592 3221223520 134519928 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 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 104966 51 0 0 25 0 1 0 833412944 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+1060 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 105966 51 0 0 25 0 1 0 833412944 25518080 4849 4294967295 134512640 134581331 3221224592 3221223504 134519027 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 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 106966 52 0 0 25 0 1 0 833412944 25518080 4849 4294967295 134512640 134581331 3221224592 3221223312 134524449 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 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 107965 52 0 0 25 0 1 0 833412944 25513984 4848 4294967295 134512640 134581331 3221224592 3221223456 134528272 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 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 108965 53 0 0 25 0 1 0 833412944 25513984 4848 4294967295 134512640 134581331 3221224592 3221223488 134517844 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 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 109964 54 0 0 25 0 1 0 833412944 25505792 4846 4294967295 134512640 134581331 3221224592 3221223312 134522586 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 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 110964 54 0 0 25 0 1 0 833412944 25505792 4846 4294967295 134512640 134581331 3221224592 3221223504 134527513 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 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 111964 55 0 0 25 0 1 0 833412944 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+1130 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 112963 55 0 0 25 0 1 0 833412944 25505792 4846 4294967295 134512640 134581331 3221224592 3221223488 134517897 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 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 113963 56 0 0 25 0 1 0 833412944 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+1150 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 114962 56 0 0 25 0 1 0 833412944 25505792 4846 4294967295 134512640 134581331 3221224592 3221223520 134519952 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 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 115962 57 0 0 25 0 1 0 833412944 25505792 4846 4294967295 134512640 134581331 3221224592 3221223488 134517859 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 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 116962 57 0 0 25 0 1 0 833412944 25505792 4846 4294967295 134512640 134581331 3221224592 3221223656 1075514893 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 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 117961 58 0 0 25 0 1 0 833412944 25505792 4846 4294967295 134512640 134581331 3221224592 3221223488 134517862 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.82 s]
Raw data (loadavg): 1.00 1.00 0.97 1/53 30040
Raw data (stat): 30040 (Pueblo) R 30039 25399 25398 0 -1 0 5178 0 0 0 117961 58 0 0 25 0 1 0 833412944 25505792 4846 4294967295 134512640 134581331 3221224592 3221223488 134517862 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.82
CPU time (s): 1189.02
CPU user time (s): 1188.42
CPU system time (s): 0.596909
CPU usage (%): 100.016
Max. virtual memory (Kb): 25140
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	924
#### END VERIFIER DATA ####