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 38762

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-02 16:40:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26825 boxname=wulflinc4 idbench=953 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  1ff3cc3253012886aa21be4feac6111e  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-10teams.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-10teams.opb
IDLAUNCH: 26825
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        480464 kB
Buffers:         34736 kB
Cached:         497612 kB
SwapCached:        568 kB
Active:          36844 kB
Inactive:       497620 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        480212 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5316 kB
Slab:            14028 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 17:00:06 (client local time) WITH STATUS 10 IN 1189.04 SECONDS
stats: 26825 0 1189.04 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/wulflinc4/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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.95 0.90 2/54 14138
Raw data (stat): 14138 (runsolver) R 14137 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 851290626 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 1532 0 0 0 994 4 0 0 25 0 1 0 851290626 11907072 1506 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2907 1506 566 18 0 2889 0
vsize: 11628
[startup+20.002 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 1647 0 0 0 1991 7 0 0 25 0 1 0 851290626 12292096 1621 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3001 1621 566 18 0 2983 0
vsize: 12004
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 1814 0 0 0 2990 9 0 0 25 0 1 0 851290626 13033472 1788 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3182 1788 566 18 0 3164 0
vsize: 12728
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 1814 0 0 0 3988 11 0 0 25 0 1 0 851290626 13033472 1788 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3182 1788 566 18 0 3164 0
vsize: 12728
[startup+50.0016 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 2166 0 0 0 4987 12 0 0 25 0 1 0 851290626 14512128 2140 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3543 2140 566 18 0 3525 0
vsize: 14172
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 2166 0 0 0 5986 13 0 0 25 0 1 0 851290626 14512128 2140 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3543 2140 566 18 0 3525 0
vsize: 14172
[startup+70.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 2303 0 0 0 6985 14 0 0 25 0 1 0 851290626 15011840 2277 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3665 2277 566 18 0 3647 0
vsize: 14660
[startup+80.0022 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 2534 0 0 0 7979 20 0 0 25 0 1 0 851290626 15507456 2407 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3786 2407 566 18 0 3768 0
vsize: 15144
[startup+90.0027 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 2534 0 0 0 8974 26 0 0 25 0 1 0 851290626 14336000 2121 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3500 2121 566 18 0 3482 0
vsize: 14000
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 2534 0 0 0 9970 30 0 0 25 0 1 0 851290626 14336000 2121 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3500 2121 566 18 0 3482 0
vsize: 14000
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 2534 0 0 0 10964 37 0 0 25 0 1 0 851290626 14336000 2121 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3500 2121 566 18 0 3482 0
vsize: 14000
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 2534 0 0 0 11959 41 0 0 25 0 1 0 851290626 14336000 2121 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3500 2121 566 18 0 3482 0
vsize: 14000
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 2534 0 0 0 12955 45 0 0 25 0 1 0 851290626 14336000 2121 4294967295 134512640 134581267 3221224576 3221223520 134559425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3500 2121 566 18 0 3482 0
vsize: 14000
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 2534 0 0 0 13949 52 0 0 25 0 1 0 851290626 14336000 2121 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3500 2121 566 18 0 3482 0
vsize: 14000
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 2534 0 0 0 14944 57 0 0 25 0 1 0 851290626 14336000 2121 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3500 2121 566 18 0 3482 0
vsize: 14000
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 2566 0 0 0 15940 61 0 0 25 0 1 0 851290626 14581760 2153 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3560 2153 566 18 0 3542 0
vsize: 14240
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 2906 0 0 0 16938 63 0 0 25 0 1 0 851290626 15945728 2493 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3893 2493 566 18 0 3875 0
vsize: 15572
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 3202 0 0 0 17938 64 0 0 25 0 1 0 851290626 17186816 2789 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4196 2789 566 18 0 4178 0
vsize: 16784
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 3431 0 0 0 18937 65 0 0 25 0 1 0 851290626 18063360 3018 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4410 3018 566 18 0 4392 0
vsize: 17640
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 3442 0 0 0 19936 66 0 0 25 0 1 0 851290626 18063360 3029 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4410 3029 566 18 0 4392 0
vsize: 17640
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 3759 0 0 0 20935 67 0 0 25 0 1 0 851290626 19439616 3346 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4746 3346 566 18 0 4728 0
vsize: 18984
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 3759 0 0 0 21926 76 0 0 25 0 1 0 851290626 18513920 3141 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4520 3141 566 18 0 4502 0
vsize: 18080
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 3759 0 0 0 22926 77 0 0 25 0 1 0 851290626 17649664 2930 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4309 2930 566 18 0 4291 0
vsize: 17236
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 3759 0 0 0 23925 78 0 0 25 0 1 0 851290626 17637376 2927 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2927 566 18 0 4288 0
vsize: 17224
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 3759 0 0 0 24923 80 0 0 25 0 1 0 851290626 17633280 2926 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4305 2926 566 18 0 4287 0
vsize: 17220
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 3759 0 0 0 25923 80 0 0 25 0 1 0 851290626 17629184 2925 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4304 2925 566 18 0 4286 0
vsize: 17216
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 3759 0 0 0 26922 81 0 0 25 0 1 0 851290626 17629184 2925 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4304 2925 566 18 0 4286 0
vsize: 17216
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 3993 0 0 0 27920 83 0 0 25 0 1 0 851290626 18624512 3159 4294967295 134512640 134581267 3221224576 3221223472 134517779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4547 3159 566 18 0 4529 0
vsize: 18188
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 3993 0 0 0 28920 84 0 0 25 0 1 0 851290626 18599936 3159 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4541 3159 566 18 0 4523 0
vsize: 18164
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 3993 0 0 0 29920 84 0 0 25 0 1 0 851290626 18599936 3159 4294967295 134512640 134581267 3221224576 3221223504 134520039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4541 3159 566 18 0 4523 0
vsize: 18164
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 3993 0 0 0 30919 84 0 0 25 0 1 0 851290626 18599936 3159 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4541 3159 566 18 0 4523 0
vsize: 18164
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 3993 0 0 0 31918 86 0 0 25 0 1 0 851290626 18599936 3159 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4541 3159 566 18 0 4523 0
vsize: 18164
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 3993 0 0 0 32918 87 0 0 25 0 1 0 851290626 18599936 3159 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4541 3159 566 18 0 4523 0
vsize: 18164
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 3993 0 0 0 33917 87 0 0 25 0 1 0 851290626 18599936 3159 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4541 3159 566 18 0 4523 0
vsize: 18164
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 3993 0 0 0 34917 88 0 0 25 0 1 0 851290626 18599936 3159 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4541 3159 566 18 0 4523 0
vsize: 18164
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4109 0 0 0 35916 89 0 0 25 0 1 0 851290626 19099648 3275 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4663 3275 566 18 0 4645 0
vsize: 18652
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4368 0 0 0 36915 90 0 0 25 0 1 0 851290626 20217856 3534 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4936 3534 566 18 0 4918 0
vsize: 19744
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4368 0 0 0 37915 90 0 0 25 0 1 0 851290626 20217856 3534 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4936 3534 566 18 0 4918 0
vsize: 19744
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4368 0 0 0 38915 91 0 0 25 0 1 0 851290626 20217856 3534 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4936 3534 566 18 0 4918 0
vsize: 19744
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4368 0 0 0 39915 91 0 0 25 0 1 0 851290626 20217856 3534 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4936 3534 566 18 0 4918 0
vsize: 19744
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4368 0 0 0 40915 91 0 0 25 0 1 0 851290626 20217856 3534 4294967295 134512640 134581267 3221224576 3221223472 134517931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4936 3534 566 18 0 4918 0
vsize: 19744
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4439 0 0 0 41915 91 0 0 25 0 1 0 851290626 20467712 3605 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4997 3605 566 18 0 4979 0
vsize: 19988
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4439 0 0 0 42915 91 0 0 25 0 1 0 851290626 20467712 3605 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4997 3605 566 18 0 4979 0
vsize: 19988
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4711 0 0 0 43914 93 0 0 25 0 1 0 851290626 21590016 3877 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5271 3877 566 18 0 5253 0
vsize: 21084
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4711 0 0 0 44913 93 0 0 25 0 1 0 851290626 21590016 3877 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5271 3877 566 18 0 5253 0
vsize: 21084
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4711 0 0 0 45913 93 0 0 25 0 1 0 851290626 21401600 3846 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5225 3846 566 18 0 5207 0
vsize: 20900
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4711 0 0 0 46913 94 0 0 25 0 1 0 851290626 21401600 3846 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5225 3846 566 18 0 5207 0
vsize: 20900
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4711 0 0 0 47913 94 0 0 25 0 1 0 851290626 21393408 3844 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5223 3844 566 18 0 5205 0
vsize: 20892
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4711 0 0 0 48906 101 0 0 25 0 1 0 851290626 21344256 3832 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5211 3832 566 18 0 5193 0
vsize: 20844
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4711 0 0 0 49895 112 0 0 25 0 1 0 851290626 21209088 3799 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5178 3799 566 18 0 5160 0
vsize: 20712
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4711 0 0 0 50892 115 0 0 25 0 1 0 851290626 20574208 3644 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5023 3644 566 18 0 5005 0
vsize: 20092
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4711 0 0 0 51891 116 0 0 25 0 1 0 851290626 20574208 3644 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5023 3644 566 18 0 5005 0
vsize: 20092
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4711 0 0 0 52890 118 0 0 25 0 1 0 851290626 20574208 3644 4294967295 134512640 134581267 3221224576 3221223264 1074910624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5023 3644 566 18 0 5005 0
vsize: 20092
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4711 0 0 0 53890 119 0 0 25 0 1 0 851290626 20574208 3644 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5023 3644 566 18 0 5005 0
vsize: 20092
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4711 0 0 0 54888 121 0 0 25 0 1 0 851290626 20574208 3644 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5023 3644 566 18 0 5005 0
vsize: 20092
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4711 0 0 0 55884 124 0 0 25 0 1 0 851290626 20574208 3644 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5023 3644 566 18 0 5005 0
vsize: 20092
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4711 0 0 0 56881 127 0 0 25 0 1 0 851290626 20574208 3644 4294967295 134512640 134581267 3221224576 3221223568 134561104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5023 3644 566 18 0 5005 0
vsize: 20092
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4711 0 0 0 57880 129 0 0 25 0 1 0 851290626 20574208 3644 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5023 3644 566 18 0 5005 0
vsize: 20092
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4711 0 0 0 58879 130 0 0 25 0 1 0 851290626 20574208 3644 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5023 3644 566 18 0 5005 0
vsize: 20092
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4711 0 0 0 59878 131 0 0 25 0 1 0 851290626 20574208 3644 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5023 3644 566 18 0 5005 0
vsize: 20092
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4711 0 0 0 60873 136 0 0 25 0 1 0 851290626 20574208 3644 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5023 3644 566 18 0 5005 0
vsize: 20092
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4711 0 0 0 61872 137 0 0 25 0 1 0 851290626 20574208 3644 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5023 3644 566 18 0 5005 0
vsize: 20092
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4711 0 0 0 62872 138 0 0 25 0 1 0 851290626 20574208 3644 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5023 3644 566 18 0 5005 0
vsize: 20092
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4711 0 0 0 63872 138 0 0 25 0 1 0 851290626 20574208 3644 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5023 3644 566 18 0 5005 0
vsize: 20092
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4711 0 0 0 64871 139 0 0 25 0 1 0 851290626 20574208 3644 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5023 3644 566 18 0 5005 0
vsize: 20092
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4711 0 0 0 65871 139 0 0 25 0 1 0 851290626 20574208 3644 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5023 3644 566 18 0 5005 0
vsize: 20092
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 4843 0 0 0 66871 139 0 0 25 0 1 0 851290626 21188608 3776 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5173 3776 566 18 0 5155 0
vsize: 20692
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5171 0 0 0 67869 141 0 0 25 0 1 0 851290626 22564864 4104 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5171 0 0 0 68868 143 0 0 25 0 1 0 851290626 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5171 0 0 0 69868 143 0 0 25 0 1 0 851290626 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5171 0 0 0 70867 144 0 0 25 0 1 0 851290626 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517762 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5171 0 0 0 71867 145 0 0 25 0 1 0 851290626 22564864 4104 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5171 0 0 0 72865 146 0 0 25 0 1 0 851290626 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5171 0 0 0 73864 147 0 0 25 0 1 0 851290626 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5171 0 0 0 74863 149 0 0 25 0 1 0 851290626 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5171 0 0 0 75862 150 0 0 25 0 1 0 851290626 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5171 0 0 0 76862 150 0 0 25 0 1 0 851290626 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+780.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5171 0 0 0 77862 151 0 0 25 0 1 0 851290626 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5171 0 0 0 78862 151 0 0 25 0 1 0 851290626 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5171 0 0 0 79861 151 0 0 25 0 1 0 851290626 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5171 0 0 0 80861 152 0 0 25 0 1 0 851290626 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5171 0 0 0 81860 154 0 0 25 0 1 0 851290626 22564864 4104 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5171 0 0 0 82859 154 0 0 25 0 1 0 851290626 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5171 0 0 0 83851 162 0 0 25 0 1 0 851290626 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5171 0 0 0 84845 169 0 0 25 0 1 0 851290626 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5171 0 0 0 85844 170 0 0 25 0 1 0 851290626 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5171 0 0 0 86843 171 0 0 25 0 1 0 851290626 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5171 0 0 0 87843 171 0 0 25 0 1 0 851290626 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5171 0 0 0 88842 172 0 0 25 0 1 0 851290626 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5171 0 0 0 89842 173 0 0 25 0 1 0 851290626 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5171 0 0 0 90840 175 0 0 25 0 1 0 851290626 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+920.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5171 0 0 0 91839 176 0 0 25 0 1 0 851290626 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5171 0 0 0 92839 177 0 0 25 0 1 0 851290626 22564864 4104 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5171 0 0 0 93839 177 0 0 25 0 1 0 851290626 22564864 4104 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+950.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5171 0 0 0 94838 177 0 0 25 0 1 0 851290626 22564864 4104 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5401 0 0 0 95837 179 0 0 25 0 1 0 851290626 23433216 4334 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5721 4334 566 18 0 5703 0
vsize: 22884
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5401 0 0 0 96837 179 0 0 25 0 1 0 851290626 23216128 4289 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5668 4289 566 18 0 5650 0
vsize: 22672
[startup+980.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5401 0 0 0 97837 180 0 0 25 0 1 0 851290626 23216128 4289 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5668 4289 566 18 0 5650 0
vsize: 22672
[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5421 0 0 0 98837 180 0 0 25 0 1 0 851290626 23343104 4309 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5699 4309 566 18 0 5681 0
vsize: 22796
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5640 0 0 0 99836 181 0 0 25 0 1 0 851290626 24215552 4528 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5912 4528 566 18 0 5894 0
vsize: 23648
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5640 0 0 0 100836 181 0 0 25 0 1 0 851290626 24215552 4528 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5912 4528 566 18 0 5894 0
vsize: 23648
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5797 0 0 0 101835 182 0 0 25 0 1 0 851290626 24838144 4685 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6064 4685 566 18 0 6046 0
vsize: 24256
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5797 0 0 0 102835 182 0 0 25 0 1 0 851290626 24838144 4685 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6064 4685 566 18 0 6046 0
vsize: 24256
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5797 0 0 0 103835 182 0 0 25 0 1 0 851290626 24838144 4685 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6064 4685 566 18 0 6046 0
vsize: 24256
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5797 0 0 0 104835 183 0 0 25 0 1 0 851290626 24838144 4685 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6064 4685 566 18 0 6046 0
vsize: 24256
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5797 0 0 0 105834 183 0 0 25 0 1 0 851290626 24838144 4685 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6064 4685 566 18 0 6046 0
vsize: 24256
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5797 0 0 0 106834 184 0 0 25 0 1 0 851290626 24838144 4685 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6064 4685 566 18 0 6046 0
vsize: 24256
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5797 0 0 0 107833 185 0 0 25 0 1 0 851290626 24838144 4685 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6064 4685 566 18 0 6046 0
vsize: 24256
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5797 0 0 0 108833 185 0 0 25 0 1 0 851290626 24838144 4685 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6064 4685 566 18 0 6046 0
vsize: 24256
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5881 0 0 0 109833 185 0 0 25 0 1 0 851290626 25206784 4769 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6154 4769 566 18 0 6136 0
vsize: 24616
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5881 0 0 0 110833 186 0 0 25 0 1 0 851290626 25206784 4769 4294967295 134512640 134581267 3221224576 3221223456 134520432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6154 4769 566 18 0 6136 0
vsize: 24616
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 5881 0 0 0 111833 186 0 0 25 0 1 0 851290626 25206784 4769 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6154 4769 566 18 0 6136 0
vsize: 24616
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 6200 0 0 0 112831 188 0 0 25 0 1 0 851290626 26566656 5088 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6486 5088 566 18 0 6468 0
vsize: 25944
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 6202 0 0 0 113831 188 0 0 25 0 1 0 851290626 26566656 5090 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6486 5090 566 18 0 6468 0
vsize: 25944
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 6202 0 0 0 114831 189 0 0 25 0 1 0 851290626 26554368 5090 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6483 5090 566 18 0 6465 0
vsize: 25932
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 6202 0 0 0 115829 190 0 0 25 0 1 0 851290626 25010176 4727 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6106 4727 566 18 0 6088 0
vsize: 24424
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 6202 0 0 0 116829 191 0 0 25 0 1 0 851290626 25010176 4727 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6106 4727 566 18 0 6088 0
vsize: 24424
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14138
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 6202 0 0 0 117829 191 0 0 25 0 1 0 851290626 25010176 4727 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6106 4727 566 18 0 6088 0
vsize: 24424
[startup+1188.87 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14161
Raw data (stat): 14138 (Pueblo-v2) R 14137 21152 21151 0 -1 0 6202 0 0 0 117829 191 0 0 25 0 1 0 851290626 25010176 4727 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6106 4727 566 18 0 6088 0
vsize: 0

Child status: 10
Real time (s): 1188.87
CPU time (s): 1189.04
CPU user time (s): 1187.1
CPU system time (s): 1.9357
CPU usage (%): 100.014
Max. virtual memory (Kb): 25944
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	946
#### END VERIFIER DATA ####