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 39146

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        669960 kB
Buffers:         28320 kB
Cached:         313152 kB
SwapCached:        568 kB
Active:          21548 kB
Inactive:       321992 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        669708 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5148 kB
Slab:            15496 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 21:53:12 (client local time) WITH STATUS 10 IN 1189.04 SECONDS
stats: 27209 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/wulflinc5/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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.94 0.90 2/54 14033
Raw data (stat): 14033 (runsolver) R 14032 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 853058513 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 1532 0 0 0 993 5 0 0 25 0 1 0 853058513 11907072 1506 4294967295 134512640 134581267 3221224576 3221223472 134517902 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.0008 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 1647 0 0 0 1990 7 0 0 25 0 1 0 853058513 12292096 1621 4294967295 134512640 134581267 3221224576 3221223504 134519928 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.001 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 1814 0 0 0 2988 9 0 0 25 0 1 0 853058513 13033472 1788 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3182 1788 566 18 0 3164 0
vsize: 12728
[startup+40.001 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 1814 0 0 0 3986 11 0 0 25 0 1 0 853058513 13033472 1788 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3182 1788 566 18 0 3164 0
vsize: 12728
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 2166 0 0 0 4986 12 0 0 25 0 1 0 853058513 14512128 2140 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3543 2140 566 18 0 3525 0
vsize: 14172
[startup+60.0012 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 2166 0 0 0 5985 13 0 0 25 0 1 0 853058513 14512128 2140 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3543 2140 566 18 0 3525 0
vsize: 14172
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 2269 0 0 0 6984 14 0 0 25 0 1 0 853058513 14884864 2243 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3634 2243 566 18 0 3616 0
vsize: 14536
[startup+80.0031 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 2534 0 0 0 7980 18 0 0 25 0 1 0 853058513 15507456 2407 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3786 2407 566 18 0 3768 0
vsize: 15144
[startup+90.0035 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 2534 0 0 0 8975 23 0 0 25 0 1 0 853058513 14336000 2121 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3500 2121 566 18 0 3482 0
vsize: 14000
[startup+100.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 2534 0 0 0 9973 26 0 0 25 0 1 0 853058513 14336000 2121 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3500 2121 566 18 0 3482 0
vsize: 14000
[startup+110.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 2534 0 0 0 10970 29 0 0 25 0 1 0 853058513 14336000 2121 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3500 2121 566 18 0 3482 0
vsize: 14000
[startup+120.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 2534 0 0 0 11966 33 0 0 25 0 1 0 853058513 14336000 2121 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3500 2121 566 18 0 3482 0
vsize: 14000
[startup+130.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 2534 0 0 0 12963 36 0 0 25 0 1 0 853058513 14336000 2121 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3500 2121 566 18 0 3482 0
vsize: 14000
[startup+140.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 2534 0 0 0 13960 40 0 0 25 0 1 0 853058513 14336000 2121 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3500 2121 566 18 0 3482 0
vsize: 14000
[startup+150.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 2534 0 0 0 14952 47 0 0 25 0 1 0 853058513 14336000 2121 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3500 2121 566 18 0 3482 0
vsize: 14000
[startup+160.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 2534 0 0 0 15950 50 0 0 25 0 1 0 853058513 14336000 2121 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3500 2121 566 18 0 3482 0
vsize: 14000
[startup+170.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 2845 0 0 0 16949 51 0 0 25 0 1 0 853058513 15695872 2432 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3832 2432 566 18 0 3814 0
vsize: 15328
[startup+180.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 3202 0 0 0 17948 52 0 0 25 0 1 0 853058513 17186816 2789 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4196 2789 566 18 0 4178 0
vsize: 16784
[startup+190.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 3367 0 0 0 18948 53 0 0 25 0 1 0 853058513 17817600 2954 4294967295 134512640 134581267 3221224576 3221223568 134561098 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4350 2954 566 18 0 4332 0
vsize: 17400
[startup+200.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 3442 0 0 0 19948 53 0 0 25 0 1 0 853058513 18063360 3029 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4410 3029 566 18 0 4392 0
vsize: 17640
[startup+210.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 3759 0 0 0 20947 54 0 0 25 0 1 0 853058513 19439616 3346 4294967295 134512640 134581267 3221224576 3221223440 134528291 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4746 3346 566 18 0 4728 0
vsize: 18984
[startup+220.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 3759 0 0 0 21938 63 0 0 25 0 1 0 853058513 18513920 3141 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4520 3141 566 18 0 4502 0
vsize: 18080
[startup+230.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 3759 0 0 0 22937 64 0 0 25 0 1 0 853058513 18317312 3093 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4472 3093 566 18 0 4454 0
vsize: 17888
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 3759 0 0 0 23936 66 0 0 25 0 1 0 853058513 17637376 2927 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4306 2927 566 18 0 4288 0
vsize: 17224
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 3759 0 0 0 24935 67 0 0 25 0 1 0 853058513 17633280 2926 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4305 2926 566 18 0 4287 0
vsize: 17220
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 3759 0 0 0 25934 67 0 0 25 0 1 0 853058513 17629184 2925 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 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 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 3759 0 0 0 26934 68 0 0 25 0 1 0 853058513 17629184 2925 4294967295 134512640 134581267 3221224576 3221223472 134517865 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 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 3993 0 0 0 27933 69 0 0 25 0 1 0 853058513 18624512 3159 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4547 3159 566 18 0 4529 0
vsize: 18188
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 3993 0 0 0 28933 70 0 0 25 0 1 0 853058513 18599936 3159 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 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 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 3993 0 0 0 29933 70 0 0 25 0 1 0 853058513 18599936 3159 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4541 3159 566 18 0 4523 0
vsize: 18164
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 3993 0 0 0 30933 70 0 0 25 0 1 0 853058513 18599936 3159 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4541 3159 566 18 0 4523 0
vsize: 18164
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 3993 0 0 0 31932 70 0 0 25 0 1 0 853058513 18599936 3159 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4541 3159 566 18 0 4523 0
vsize: 18164
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 3993 0 0 0 32932 71 0 0 25 0 1 0 853058513 18599936 3159 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4541 3159 566 18 0 4523 0
vsize: 18164
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 3993 0 0 0 33932 71 0 0 25 0 1 0 853058513 18599936 3159 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 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 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 3993 0 0 0 34932 72 0 0 25 0 1 0 853058513 18599936 3159 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4541 3159 566 18 0 4523 0
vsize: 18164
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4004 0 0 0 35932 72 0 0 25 0 1 0 853058513 18731008 3170 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4573 3170 566 18 0 4555 0
vsize: 18292
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4368 0 0 0 36930 74 0 0 25 0 1 0 853058513 20217856 3534 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4936 3534 566 18 0 4918 0
vsize: 19744
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4368 0 0 0 37930 74 0 0 25 0 1 0 853058513 20217856 3534 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4936 3534 566 18 0 4918 0
vsize: 19744
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4368 0 0 0 38930 75 0 0 25 0 1 0 853058513 20217856 3534 4294967295 134512640 134581267 3221224576 3221223472 134517912 0 0 7 0 0 0 0 17 0 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 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4368 0 0 0 39929 76 0 0 25 0 1 0 853058513 20217856 3534 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4936 3534 566 18 0 4918 0
vsize: 19744
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4368 0 0 0 40928 76 0 0 25 0 1 0 853058513 20217856 3534 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 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 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4439 0 0 0 41928 76 0 0 25 0 1 0 853058513 20467712 3605 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4997 3605 566 18 0 4979 0
vsize: 19988
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4439 0 0 0 42928 77 0 0 25 0 1 0 853058513 20467712 3605 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 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 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4667 0 0 0 43928 77 0 0 25 0 1 0 853058513 21479424 3833 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5244 3833 566 18 0 5226 0
vsize: 20976
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4711 0 0 0 44927 78 0 0 25 0 1 0 853058513 21590016 3877 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5271 3877 566 18 0 5253 0
vsize: 21084
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4711 0 0 0 45927 78 0 0 25 0 1 0 853058513 21401600 3846 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 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 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4711 0 0 0 46927 78 0 0 25 0 1 0 853058513 21401600 3846 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5225 3846 566 18 0 5207 0
vsize: 20900
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4711 0 0 0 47927 79 0 0 25 0 1 0 853058513 21393408 3844 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5223 3844 566 18 0 5205 0
vsize: 20892
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4711 0 0 0 48922 84 0 0 25 0 1 0 853058513 21344256 3832 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5211 3832 566 18 0 5193 0
vsize: 20844
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4711 0 0 0 49912 94 0 0 25 0 1 0 853058513 21209088 3799 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 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 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4711 0 0 0 50908 98 0 0 25 0 1 0 853058513 20574208 3644 4294967295 134512640 134581267 3221224576 3221223456 134520302 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5023 3644 566 18 0 5005 0
vsize: 20092
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4711 0 0 0 51907 100 0 0 25 0 1 0 853058513 20574208 3644 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5023 3644 566 18 0 5005 0
vsize: 20092
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4711 0 0 0 52907 100 0 0 25 0 1 0 853058513 20574208 3644 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5023 3644 566 18 0 5005 0
vsize: 20092
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4711 0 0 0 53906 101 0 0 25 0 1 0 853058513 20574208 3644 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5023 3644 566 18 0 5005 0
vsize: 20092
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4711 0 0 0 54905 102 0 0 25 0 1 0 853058513 20574208 3644 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5023 3644 566 18 0 5005 0
vsize: 20092
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4711 0 0 0 55903 104 0 0 25 0 1 0 853058513 20574208 3644 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5023 3644 566 18 0 5005 0
vsize: 20092
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4711 0 0 0 56900 107 0 0 25 0 1 0 853058513 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+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4711 0 0 0 57898 109 0 0 25 0 1 0 853058513 20574208 3644 4294967295 134512640 134581267 3221224576 3221223520 134558791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5023 3644 566 18 0 5005 0
vsize: 20092
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4711 0 0 0 58898 110 0 0 25 0 1 0 853058513 20574208 3644 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5023 3644 566 18 0 5005 0
vsize: 20092
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4711 0 0 0 59896 112 0 0 25 0 1 0 853058513 20574208 3644 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5023 3644 566 18 0 5005 0
vsize: 20092
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4711 0 0 0 60891 117 0 0 25 0 1 0 853058513 20574208 3644 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5023 3644 566 18 0 5005 0
vsize: 20092
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4711 0 0 0 61890 118 0 0 25 0 1 0 853058513 20574208 3644 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5023 3644 566 18 0 5005 0
vsize: 20092
[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4711 0 0 0 62890 119 0 0 25 0 1 0 853058513 20574208 3644 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5023 3644 566 18 0 5005 0
vsize: 20092
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4711 0 0 0 63889 119 0 0 25 0 1 0 853058513 20574208 3644 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5023 3644 566 18 0 5005 0
vsize: 20092
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4711 0 0 0 64889 120 0 0 25 0 1 0 853058513 20574208 3644 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5023 3644 566 18 0 5005 0
vsize: 20092
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4711 0 0 0 65889 120 0 0 25 0 1 0 853058513 20574208 3644 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5023 3644 566 18 0 5005 0
vsize: 20092
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 4729 0 0 0 66889 120 0 0 25 0 1 0 853058513 20697088 3662 4294967295 134512640 134581267 3221224576 3221223292 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5053 3662 566 18 0 5035 0
vsize: 20212
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5171 0 0 0 67888 122 0 0 25 0 1 0 853058513 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5171 0 0 0 68887 123 0 0 25 0 1 0 853058513 22564864 4104 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5171 0 0 0 69887 123 0 0 25 0 1 0 853058513 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5171 0 0 0 70887 123 0 0 25 0 1 0 853058513 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5171 0 0 0 71887 123 0 0 25 0 1 0 853058513 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5171 0 0 0 72885 125 0 0 25 0 1 0 853058513 22564864 4104 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5171 0 0 0 73884 126 0 0 25 0 1 0 853058513 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5171 0 0 0 74884 127 0 0 25 0 1 0 853058513 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+760.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5171 0 0 0 75883 128 0 0 25 0 1 0 853058513 22564864 4104 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5171 0 0 0 76883 128 0 0 25 0 1 0 853058513 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5171 0 0 0 77883 128 0 0 25 0 1 0 853058513 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5171 0 0 0 78882 129 0 0 25 0 1 0 853058513 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5171 0 0 0 79882 130 0 0 25 0 1 0 853058513 22564864 4104 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+810.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5171 0 0 0 80882 130 0 0 25 0 1 0 853058513 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+820.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5171 0 0 0 81881 131 0 0 25 0 1 0 853058513 22564864 4104 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5171 0 0 0 82880 132 0 0 25 0 1 0 853058513 22564864 4104 4294967295 134512640 134581267 3221224576 3221223456 134520266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5171 0 0 0 83873 140 0 0 25 0 1 0 853058513 22564864 4104 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5171 0 0 0 84866 146 0 0 25 0 1 0 853058513 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5171 0 0 0 85865 148 0 0 25 0 1 0 853058513 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+870.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5171 0 0 0 86864 149 0 0 25 0 1 0 853058513 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+880.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5171 0 0 0 87863 150 0 0 25 0 1 0 853058513 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+890.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5171 0 0 0 88863 150 0 0 25 0 1 0 853058513 22564864 4104 4294967295 134512640 134581267 3221224576 3221223456 134520258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+900.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5171 0 0 0 89862 152 0 0 25 0 1 0 853058513 22564864 4104 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5171 0 0 0 90861 153 0 0 25 0 1 0 853058513 22564864 4104 4294967295 134512640 134581267 3221224576 3221223568 134561104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5171 0 0 0 91861 154 0 0 25 0 1 0 853058513 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5171 0 0 0 92860 154 0 0 25 0 1 0 853058513 22564864 4104 4294967295 134512640 134581267 3221224576 3221223520 134558821 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+940.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5171 0 0 0 93861 154 0 0 25 0 1 0 853058513 22564864 4104 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+950.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5171 0 0 0 94860 155 0 0 25 0 1 0 853058513 22564864 4104 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4104 566 18 0 5491 0
vsize: 22036
[startup+960.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5401 0 0 0 95859 156 0 0 25 0 1 0 853058513 23433216 4334 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5721 4334 566 18 0 5703 0
vsize: 22884
[startup+970.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5401 0 0 0 96858 157 0 0 25 0 1 0 853058513 23433216 4334 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5721 4334 566 18 0 5703 0
vsize: 22884
[startup+980.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5401 0 0 0 97858 158 0 0 25 0 1 0 853058513 23216128 4289 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5668 4289 566 18 0 5650 0
vsize: 22672
[startup+990.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5401 0 0 0 98858 158 0 0 25 0 1 0 853058513 23216128 4289 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5668 4289 566 18 0 5650 0
vsize: 22672
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5640 0 0 0 99857 159 0 0 25 0 1 0 853058513 24215552 4528 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5912 4528 566 18 0 5894 0
vsize: 23648
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5640 0 0 0 100857 159 0 0 25 0 1 0 853058513 24215552 4528 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5912 4528 566 18 0 5894 0
vsize: 23648
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5797 0 0 0 101856 160 0 0 25 0 1 0 853058513 24838144 4685 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6064 4685 566 18 0 6046 0
vsize: 24256
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5797 0 0 0 102856 161 0 0 25 0 1 0 853058513 24838144 4685 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6064 4685 566 18 0 6046 0
vsize: 24256
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5797 0 0 0 103856 161 0 0 25 0 1 0 853058513 24838144 4685 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 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 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5797 0 0 0 104855 162 0 0 25 0 1 0 853058513 24838144 4685 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 0 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 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5797 0 0 0 105855 162 0 0 25 0 1 0 853058513 24838144 4685 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 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 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5797 0 0 0 106854 163 0 0 25 0 1 0 853058513 24838144 4685 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 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 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5797 0 0 0 107854 163 0 0 25 0 1 0 853058513 24838144 4685 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 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 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5797 0 0 0 108854 164 0 0 25 0 1 0 853058513 24838144 4685 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 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 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5797 0 0 0 109854 164 0 0 25 0 1 0 853058513 24838144 4685 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6064 4685 566 18 0 6046 0
vsize: 24256
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5881 0 0 0 110853 165 0 0 25 0 1 0 853058513 25206784 4769 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 0 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 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 5881 0 0 0 111854 165 0 0 25 0 1 0 853058513 25206784 4769 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 0 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 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 6008 0 0 0 112853 165 0 0 25 0 1 0 853058513 25702400 4896 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6275 4896 566 18 0 6257 0
vsize: 25100
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 6202 0 0 0 113853 166 0 0 25 0 1 0 853058513 26566656 5090 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6486 5090 566 18 0 6468 0
vsize: 25944
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 6202 0 0 0 114852 167 0 0 25 0 1 0 853058513 26554368 5090 4294967295 134512640 134581267 3221224576 3221223504 134519797 0 0 7 0 0 0 0 17 0 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 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 6202 0 0 0 115851 168 0 0 25 0 1 0 853058513 25010176 4727 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6106 4727 566 18 0 6088 0
vsize: 24424
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 6202 0 0 0 116851 169 0 0 25 0 1 0 853058513 25010176 4727 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6106 4727 566 18 0 6088 0
vsize: 24424
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 6202 0 0 0 117851 169 0 0 25 0 1 0 853058513 25010176 4727 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 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 1/53 14033
Raw data (stat): 14033 (Pueblo-v2) R 14032 7266 7265 0 -1 0 6202 0 0 0 117851 169 0 0 25 0 1 0 853058513 25010176 4727 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 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.33
CPU system time (s): 1.70774
CPU usage (%): 100.014
Max. virtual memory (Kb): 25944
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	946
#### END VERIFIER DATA ####