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-p2756.opb
MD5SUM	f2badf1ad4c3213045697b74fa812a03
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4605
Optimality of the best value was proved	NO
Number of terms in the objective function	2166
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	321831
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	321831
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.07284
Number of variables	2756
Total number of constraints	3511
Number of constraints which are clauses	132
Number of constraints which are cardinality constraints (but not clauses)	2976
Number of constraints which are nor clauses,nor cardinality constraints	403
Minimum length of a constraint	1
Maximum length of a constraint	546
Trace number 27232

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-05-24 20:18:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17882 boxname=wulflinc15 idbench=1376 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  f2badf1ad4c3213045697b74fa812a03  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-p2756.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-p2756.opb
IDLAUNCH: 17882
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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		: 450.999
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:        468156 kB
Buffers:         20916 kB
Cached:         525100 kB
SwapCached:        568 kB
Active:          87372 kB
Inactive:       461108 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        467904 kB
SwapTotal:     2097136 kB
SwapFree:      2096108 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5708 kB
Slab:            12336 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 20:38:27 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 17882 0 1189.02 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-p2756.opb
c #variables read: 2756 - #constraints read: 3512
s SATISFIABLE
v -x1_bit0 -x2_bit0 -x3_bit0 -x4_bit0 -x5_bit0 -x6_bit0 -x9_bit0 -x10_bit0 -x11_bit0 -x14_bit0 -x17_bit0 -x19_bit0 -x20_bit0 -x21_bit0 -x22_bit0 -x23_bit0 -x24_bit0 -x27_bit0 -x29_bit0 -x30_bit0 -x31_bit0 -x32_bit0 -x33_bit0 x34_bit0 -x35_bit0 -x36_bit0 -x37_bit0 -x38_bit0 -x39_bit0 -x42_bit0 -x44_bit0 -x45_bit0 -x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 -x50_bit0 -x51_bit0 -x54_bit0 -x56_bit0 -x57_bit0 -x58_bit0 -x59_bit0 -x60_bit0 -x61_bit0 -x62_bit0 -x65_bit0 -x66_bit0 -x67_bit0 -x68_bit0 -x70_bit0 -x73_bit0 -x74_bit0 -x75_bit0 -x76_bit0 -x77_bit0 -x78_bit0 -x79_bit0 -x80_bit0 -x83_bit0 -x85_bit0 -x86_bit0 -x87_bit0 -x88_bit0 -x89_bit0 -x90_bit0 -x91_bit0 -x92_bit0 -x93_bit0 -x94_bit0 -x95_bit0 -x98_bit0 -x100_bit0 -x101_bit0 -x102_bit0 -x103_bit0 -x104_bit0 -x105_bit0 -x106_bit0 -x107_bit0 -x110_bit0 -x112_bit0 -x113_bit0 -x114_bit0 -x115_bit0 -x116_bit0 -x117_bit0 -x119_bit0 -x120_bit0 -x121_bit0 -x122_bit0 -x123_bit0 -x124_bit0 x126_bit0 -x127_bit0 -x128_bit0 -x129_bit0 -x131_bit0 -x132_bit0 -x133_bit0 -x134_bit0 -x135_bit0 -x136_bit0 -x137_bit0 -x139_bit0 -x140_bit0 -x141_bit0 -x142_bit0 -x143_bit0 -x144_bit0 -x145_bit0 -x148_bit0 -x149_bit0 -x150_bit0 -x153_bit0 -x156_bit0 -x158_bit0 -x159_bit0 -x160_bit0 -x161_bit0 -x162_bit0 -x163_bit0 -x166_bit0 -x168_bit0 -x169_bit0 -x170_bit0 -x171_bit0 -x172_bit0 -x173_bit0 -x174_bit0 -x175_bit0 -x176_bit0 -x177_bit0 -x178_bit0 -x181_bit0 -x183_bit0 -x184_bit0 -x185_bit0 -x186_bit0 -x187_bit0 -x188_bit0 -x189_bit0 -x190_bit0 -x193_bit0 -x195_bit0 -x196_bit0 -x197_bit0 -x198_bit0 -x199_bit0 -x200_bit0 -x201_bit0 -x204_bit0 -x205_bit0 -x206_bit0 -x207_bit0 -x209_bit0 -x212_bit0 -x213_bit0 -x214_bit0 -x215_bit0 -x216_bit0 -x217_bit0 -x218_bit0 -x219_bit0 -x222_bit0 -x224_bit0 -x225_bit0 -x226_bit0 -x227_bit0 -x228_bit0 -x229_bit0 -x230_bit0 -x231_bit0 -x232_bit0 -x233_bit0 -x234_bit0 -x237_bit0 -x239_bit0 -x240_bit0 -x241_bit0 -x242_bit0 -x243_bit0 -x244_bit0 -x245_bit0 -x246_bit0 -x249_bit0 -x251_bit0 -x252_bit0 -x253_bit0 -x254_bit0 -x255_bit0 -x256_bit0 -x258_bit0 -x259_bit0 -x260_bit0 -x261_bit0 -x262_bit0 -x263_bit0 -x265_bit0 -x266_bit0 -x267_bit0 -x268_bit0 -x270_bit0 -x271_bit0 -x272_bit0 -x273_bit0 -x274_bit0 -x275_bit0 -x276_bit0 -x278_bit0 -x279_bit0 -x280_bit0 -x281_bit0 -x283_bit0 -x284_bit0 -x285_bit0 -x286_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 -x303_bit0 -x304_bit0 -x305_bit0 -x306_bit0 -x307_bit0 -x308_bit0 x309_bit0 x310_bit0 x313_bit0 -x314_bit0 -x315_bit0 -x316_bit0 -x317_bit0 -x318_bit0 -x319_bit0 -x320_bit0 -x321_bit0 -x322_bit0 -x323_bit0 -x326_bit0 -x327_bit0 -x328_bit0 -x329_bit0 -x330_bit0 -x331_bit0 -x332_bit0 -x333_bit0 -x335_bit0 -x338_bit0 -x339_bit0 -x340_bit0 -x341_bit0 -x343_bit0 -x344_bit0 -x345_bit0 -x347_bit0 -x348_bit0 -x349_bit0 -x351_bit0 -x352_bit0 -x353_bit0 -x354_bit0 -x356_bit0 -x357_bit0 -x358_bit0 x359_bit0 -x360_bit0 -x361_bit0 -x362_bit0 -x363_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 -x380_bit0 -x381_bit0 -x382_bit0 -x383_bit0 -x384_bit0 -x385_bit0 -x386_bit0 -x387_bit0 -x390_bit0 -x391_bit0 -x392_bit0 -x393_bit0 -x394_bit0 -x395_bit0 -x396_bit0 -x397_bit0 -x398_bit0 -x399_bit0 -x400_bit0 -x403_bit0 -x404_bit0 -x405_bit0 -x406_bit0 -x407_bit0 -x408_bit0 -x409_bit0 -x410_bit0 -x411_bit0 -x412_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 -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 -x456_bit0 -x457_bit0 -x458_bit0 -x459_bit0 -x460_bit0 -x461_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 -x479_bit0 -x480_bit0 -x481_bit0 -x482_bit0 -x483_bit0 -x484_bit0 -x485_bit0 -x486_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 -x506_bit0 -x507_bit0 -x508_bit0 -x509_bit0 -x510_bit0 -x511_bit0 -x512_bit0 -x513_bit0 -x514_bit0 -x515_bit0 -x516_bit0 -x517_bit0 -x519_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 -x535_bit0 -x536_bit0 -x537_bit0 -x538_bit0 -x539_bit0 -x540_bit0 -x541_bit0 -x542_bit0 -x543_bit0 -x544_bit0 -x545_bit0 -x546_bit0 -x549_bit0 -x550_bit0 -x551_bit0 -x552_bit0 -x553_bit0 -x554_bit0 -x555_bit0 -x556_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 -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 -x592_bit0 -x593_bit0 -x594_bit0 -x595_bit0 -x596_bit0 -x597_bit0 -x598_bit0 -x599_bit0 -x600_bit0 -x601_bit0 -x602_bit0 -x603_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 -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 -x650_bit0 -x651_bit0 -x652_bit0 -x653_bit0 -x656_bit0 -x657_bit0 -x658_bit0 -x659_bit0 -x660_bit0 -x661_bit0 -x662_bit0 -x663_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 -x683_bit0 -x684_bit0 -x685_bit0 -x686_bit0 -x687_bit0 -x688_bit0 -x689_bit0 -x690_bit0 -x691_bit0 -x692_bit0 -x693_bit0 -x694_bit0 -x696_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 -x712_bit0 -x713_bit0 -x714_bit0 -x715_bit0 -x716_bit0 -x717_bit0 -x718_bit0 -x719_bit0 -x720_bit0 -x721_bit0 -x722_bit0 -x723_bit0 -x726_bit0 -x727_bit0 -x728_bit0 -x729_bit0 -x730_bit0 -x731_bit0 -x732_bit0 -x733_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 -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 -x769_bit0 -x770_bit0 -x771_bit0 -x772_bit0 -x773_bit0 -x774_bit0 -x775_bit0 -x776_bit0 -x777_bit0 -x778_bit0 -x779_bit0 -x780_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 -x796_bit0 -x797_bit0 -x798_bit0 -x799_bit0 -x800_bit0 -x812_bit0 -x813_bit0 -x814_bit0 -x815_bit0 -x816_bit0 -x817_bit0 -x818_bit0 -x821_bit0 -x822_bit0 -x823_bit0 -x824_bit0 -x825_bit0 -x829_bit0 -x833_bit0 -x837_bit0 -x838_bit0 -x839_bit0 -x840_bit0 -x841_bit0 -x842_bit0 -x843_bit0 -x846_bit0 -x847_bit0 -x848_bit0 -x849_bit0 x850_bit0 -x851_bit0 -x854_bit0 -x856_bit0 -x860_bit0 -x864_bit0 -x865_bit0 -x867_bit0 -x870_bit0 -x871_bit0 -x872_bit0 -x873_bit0 -x875_bit0 -x876_bit0 -x877_bit0 -x878_bit0 -x879_bit0 -x880_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 -x896_bit0 -x897_bit0 -x898_bit0 -x899_bit0 x900_bit0 -x904_bit0 -x908_bit0 -x912_bit0 -x913_bit0 x914_bit0 -x915_bit0 -x916_bit0 -x917_bit0 -x918_bit0 -x921_bit0 -x922_bit0 -x923_bit0 -x924_bit0 -x925_bit0 -x926_bit0 -x929_bit0 -x933_bit0 -x937_bit0 -x938_bit0 -x939_bit0 -x940_bit0 -x941_bit0 -x942_bit0 -x943_bit0 -x946_bit0 -x947_bit0 -x948_bit0 -x949_bit0 -x950_bit0 -x951_bit0 -x952_bit0 -x954_bit0 -x955_bit0 -x956_bit0 -x959_bit0 -x960_bit0 -x961_bit0 -x962_bit0 -x964_bit0 -x965_bit0 -x967_bit0 -x970_bit0 -x971_bit0 -x972_bit0 -x973_bit0 -x974_bit0 -x975_bit0 -x976_bit0 -x977_bit0 -x978_bit0 -x979_bit0 -x980_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 -x1000_bit0 -x1001_bit0 -x1002_bit0 -x1003_bit0 x1004_bit0 -x1005_bit0 -x1008_bit0 -x1011_bit0 -x1012_bit0 -x1013_bit0 -x1014_bit0 -x1016_bit0 -x1017_bit0 -x1018_bit0 -x1019_bit0 -x1020_bit0 -x1021_bit0 x1022_bit0 -x1023_bit0 -x1024_bit0 -x1025_bit0 -x1026_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 -x1045_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 -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 -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 -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 -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 -x1144_bit0 -x1145_bit0 -x1146_bit0 -x1147_bit0 -x1148_bit0 -x1149_bit0 -x1152_bit0 -x1155_bit0 -x1156_bit0 -x1157_bit0 -x1158_bit0 -x1160_bit0 -x1161_bit0 -x1162_bit0 -x1163_bit0 x1164_bit0 -x1165_bit0 -x1166_bit0 -x1167_bit0 -x1168_bit0 -x1169_bit0 -x1170_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 -x1189_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 -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 -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 -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 -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 -x1348_bit0 -x1349_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 -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 -x1384_bit0 -x1386_bit0 -x1387_bit0 -x1391_bit0 -x1392_bit0 -x1393_bit0 -x1394_bit0 -x1395_bit0 -x1396_bit0 -x1397_bit0 -x1398_bit0 -x1399_bit0 -x1401_bit0 -x1402_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 -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 -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 -x1455_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 -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 -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 -x1511_bit0 -x1512_bit0 -x1513_bit0 -x1514_bit0 -x1515_bit0 -x1516_bit0 -x1517_bit0 -x1518_bit0 -x1519_bit0 -x1520_bit0 -x1521_bit0 -x1522_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 -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 -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 -x1578_bit0 -x1579_bit0 -x1580_bit0 -x1581_bit0 -x1582_bit0 -x1583_bit0 -x1584_bit0 -x1585_bit0 -x1586_bit0 -x1587_bit0 -x1588_bit0 -x1589_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 -x1609_bit0 -x1610_bit0 -x1611_bit0 -x1612_bit0 -x1613_bit0 -x1614_bit0 -x1615_bit0 -x1616_bit0 -x1617_bit0 -x1618_bit0 -x1619_bit0 -x1620_bit0 -x1623_bit0 -x1624_bit0 -x1625_bit0 -x1626_bit0 -x1627_bit0 -x1628_bit0 -x1631_bit0 -x1634_bit0 -x1635_bit0 -x1636_bit0 -x1637_bit0 -x1639_bit0 -x1640_bit0 -x1641_bit0 -x1642_bit0 -x1643_bit0 -x1644_bit0 -x1647_bit0 -x1648_bit0 -x1649_bit0 -x1650_bit0 -x1651_bit0 -x1652_bit0 -x1653_bit0 -x1654_bit0 -x1655_bit0 -x1656_bit0 -x1658_bit0 -x1659_bit0 -x1660_bit0 -x1663_bit0 -x1664_bit0 -x1665_bit0 -x1666_bit0 -x1667_bit0 -x1668_bit0 -x1669_bit0 -x1670_bit0 -x1671_bit0 -x1672_bit0 -x1673_bit0 -x1675_bit0 -x1678_bit0 -x1679_bit0 -x1680_bit0 -x1683_bit0 -x1684_bit0 -x1685_bit0 -x1686_bit0 -x1687_bit0 -x1688_bit0 -x1690_bit0 -x1692_bit0 -x1694_bit0 -x1695_bit0 -x1696_bit0 -x1699_bit0 -x1700_bit0 -x1701_bit0 -x1702_bit0 -x1703_bit0 -x1704_bit0 -x1705_bit0 -x1708_bit0 -x1709_bit0 -x1710_bit0 -x1711_bit0 -x1712_bit0 -x1713_bit0 -x1714_bit0 -x1716_bit0 -x1719_bit0 -x1720_bit0 -x1721_bit0 -x1722_bit0 -x1723_bit0 -x1724_bit0 -x1725_bit0 -x1726_bit0 -x1727_bit0 -x1728_bit0 -x1729_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 -x1748_bit0 -x1749_bit0 -x1750_bit0 -x1751_bit0 -x1752_bit0 -x1753_bit0 -x1754_bit0 -x1755_bit0 -x1756_bit0 -x1757_bit0 -x1758_bit0 -x1760_bit0 -x1763_bit0 -x1764_bit0 -x1765_bit0 -x1766_bit0 -x1768_bit0 -x1769_bit0 -x1770_bit0 -x1771_bit0 -x1772_bit0 -x1773_bit0 -x1775_bit0 -x1776_bit0 -x1777_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 -x1793_bit0 -x1794_bit0 -x1795_bit0 -x1796_bit0 -x1797_bit0 -x1798_bit0 -x1799_bit0 -x1801_bit0 -x1804_bit0 -x1805_bit0 -x1806_bit0 -x1807_bit0 -x1808_bit0 -x1809_bit0 -x1810_bit0 -x1811_bit0 -x1812_bit0 -x1813_bit0 -x1814_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 -x1833_bit0 -x1834_bit0 -x1835_bit0 -x1836_bit0 -x1837_bit0 -x1838_bit0 -x1839_bit0 -x1840_bit0 -x1841_bit0 -x1842_bit0 -x1843_bit0 -x1845_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 -x1864_bit0 -x1865_bit0 -x1866_bit0 -x1867_bit0 -x1868_bit0 -x1869_bit0 -x1870_bit0 -x1871_bit0 -x1872_bit0 -x1873_bit0 -x1874_bit0 -x1875_bit0 -x1878_bit0 -x1879_bit0 -x1880_bit0 -x1881_bit0 -x1882_bit0 -x1883_bit0 -x1884_bit0 -x1885_bit0 -x1886_bit0 -x1889_bit0 -x1890_bit0 -x1891_bit0 -x1892_bit0 -x1893_bit0 -x1894_bit0 -x1895_bit0 -x1896_bit0 -x1897_bit0 -x1898_bit0 -x1899_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 -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 -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 -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 -x1966_bit0 -x1967_bit0 -x1968_bit0 -x1969_bit0 -x1970_bit0 -x1971_bit0 -x1972_bit0 -x1973_bit0 -x1974_bit0 -x1975_bit0 -x1976_bit0 -x1977_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 -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 -x2027_bit0 -x2028_bit0 -x2029_bit0 -x2030_bit0 -x2031_bit0 -x2032_bit0 -x2033_bit0 -x2034_bit0 -x2035_bit0 -x2038_bit0 -x2040_bit0 -x2041_bit0 -x2042_bit0 -x2043_bit0 -x2045_bit0 -x2046_bit0 -x2047_bit0 -x2048_bit0 -x2049_bit0 -x2050_bit0 -x2051_bit0 -x2053_bit0 -x2054_bit0 -x2055_bit0 -x2056_bit0 -x2057_bit0 -x2058_bit0 -x2059_bit0 -x2060_bit0 -x2061_bit0 -x2062_bit0 -x2064_bit0 -x2066_bit0 -x2067_bit0 -x2068_bit0 -x2071_bit0 -x2072_bit0 -x2073_bit0 -x2074_bit0 -x2075_bit0 -x2076_bit0 -x2077_bit0 -x2078_bit0 -x2080_bit0 -x2081_bit0 -x2082_bit0 -x2083_bit0 -x2084_bit0 -x2085_bit0 -x2086_bit0 -x2087_bit0 -x2088_bit0 -x2089_bit0 -x2090_bit0 -x2091_bit0 -x2092_bit0 -x2094_bit0 -x2095_bit0 -x2096_bit0 -x2097_bit0 -x2098_bit0 -x2099_bit0 -x2100_bit0 -x2101_bit0 -x2102_bit0 -x2105_bit0 -x2107_bit0 -x2108_bit0 -x2109_bit0 -x2110_bit0 -x2112_bit0 -x2113_bit0 -x2114_bit0 -x2115_bit0 -x2116_bit0 -x2117_bit0 -x2118_bit0 -x2120_bit0 -x2121_bit0 -x2122_bit0 -x2123_bit0 -x2124_bit0 -x2125_bit0 -x2126_bit0 -x2127_bit0 -x2128_bit0 -x2129_bit0 -x2131_bit0 -x2133_bit0 -x2134_bit0 -x2135_bit0 -x2138_bit0 -x2139_bit0 -x2140_bit0 -x2141_bit0 -x2142_bit0 -x2143_bit0 -x2144_bit0 -x2145_bit0 -x2147_bit0 -x2148_bit0 -x2149_bit0 -x2150_bit0 -x2151_bit0 -x2152_bit0 -x2153_bit0 -x2154_bit0 -x2155_bit0 -x2156_bit0 -x2157_bit0 -x2158_bit0 -x2159_bit0 -x2161_bit0 -x2162_bit0 -x2163_bit0 -x2164_bit0 -x2165_bit0 -x2166_bit0 -x2167_bit0 -x2168_bit0 -x2169_bit0 -x2170_bit0 -x2172_bit0 -x2174_bit0 -x2175_bit0 -x2176_bit0 -x2177_bit0 -x2178_bit0 -x2179_bit0 -x2180_bit0 -x2181_bit0 -x2182_bit0 -x2183_bit0 -x2184_bit0 -x2185_bit0 -x2187_bit0 -x2188_bit0 -x2189_bit0 -x2190_bit0 -x2191_bit0 -x2192_bit0 -x2193_bit0 -x2194_bit0 -x2195_bit0 -x2196_bit0 -x2198_bit0 -x2200_bit0 -x2201_bit0 -x2202_bit0 -x2203_bit0 -x2204_bit0 -x2205_bit0 -x2206_bit0 -x2207_bit0 -x2208_bit0 -x2209_bit0 -x2210_bit0 -x2211_bit0 -x2212_bit0 -x2214_bit0 -x2215_bit0 -x2216_bit0 -x2217_bit0 -x2218_bit0 -x2219_bit0 -x2220_bit0 -x2221_bit0 -x2222_bit0 -x2223_bit0 -x2224_bit0 -x2225_bit0 -x2226_bit0 -x2228_bit0 -x2229_bit0 -x2230_bit0 -x2231_bit0 -x2232_bit0 -x2233_bit0 -x2234_bit0 -x2235_bit0 -x2236_bit0 -x2237_bit0 -x2239_bit0 -x2241_bit0 -x2242_bit0 -x2243_bit0 -x2244_bit0 -x2245_bit0 -x2246_bit0 -x2247_bit0 -x2248_bit0 -x2249_bit0 -x2250_bit0 -x2251_bit0 -x2252_bit0 -x2254_bit0 -x2255_bit0 -x2256_bit0 -x2257_bit0 -x2258_bit0 -x2259_bit0 -x2260_bit0 -x2261_bit0 -x2262_bit0 -x2263_bit0 -x2265_bit0 -x2267_bit0 -x2268_bit0 -x2269_bit0 -x2270_bit0 -x2271_bit0 -x2272_bit0 -x2273_bit0 -x2274_bit0 -x2275_bit0 -x2276_bit0 -x2277_bit0 -x2278_bit0 -x2279_bit0 -x2281_bit0 -x2282_bit0 -x2283_bit0 -x2284_bit0 -x2285_bit0 -x2286_bit0 -x2287_bit0 -x2288_bit0 -x2289_bit0 -x2290_bit0 -x2291_bit0 -x2292_bit0 -x2293_bit0 -x2295_bit0 -x2296_bit0 -x2297_bit0 -x2298_bit0 -x2299_bit0 -x2300_bit0 -x2301_bit0 -x2302_bit0 -x2303_bit0 -x2306_bit0 -x2308_bit0 -x2309_bit0 -x2310_bit0 -x2311_bit0 -x2313_bit0 -x2314_bit0 -x2315_bit0 -x2316_bit0 -x2317_bit0 -x2318_bit0 -x2319_bit0 -x2321_bit0 -x2322_bit0 -x2323_bit0 -x2324_bit0 -x2325_bit0 -x2326_bit0 -x2327_bit0 -x2328_bit0 -x2329_bit0 -x2330_bit0 -x2332_bit0 -x2334_bit0 -x2335_bit0 -x2336_bit0 -x2337_bit0 -x2339_bit0 -x2340_bit0 -x2341_bit0 -x2342_bit0 -x2343_bit0 -x2345_bit0 -x2346_bit0 -x2348_bit0 -x2349_bit0 -x2350_bit0 -x2351_bit0 -x2352_bit0 -x2353_bit0 -x2354_bit0 -x2355_bit0 -x2356_bit0 -x2357_bit0 -x2358_bit0 -x2359_bit0 -x2360_bit0 -x2362_bit0 -x2363_bit0 -x2364_bit0 -x2365_bit0 -x2366_bit0 -x2367_bit0 -x2368_bit0 -x2369_bit0 -x2370_bit0 -x2373_bit0 -x2375_bit0 -x2376_bit0 -x2377_bit0 -x2378_bit0 -x2380_bit0 -x2381_bit0 -x2382_bit0 -x2383_bit0 -x2384_bit0 -x2385_bit0 -x2386_bit0 -x2388_bit0 -x2389_bit0 -x2390_bit0 -x2391_bit0 -x2392_bit0 -x2393_bit0 -x2394_bit0 -x2395_bit0 -x2396_bit0 -x2397_bit0 -x2399_bit0 -x2401_bit0 -x2402_bit0 -x2403_bit0 -x2404_bit0 -x2406_bit0 -x2407_bit0 -x2408_bit0 -x2409_bit0 -x2410_bit0 -x2411_bit0 -x2412_bit0 -x2413_bit0 -x2415_bit0 -x2416_bit0 -x2417_bit0 -x2418_bit0 -x2419_bit0 -x2420_bit0 -x2421_bit0 -x2422_bit0 -x2423_bit0 -x2424_bit0 -x2425_bit0 -x2426_bit0 -x2427_bit0 -x2428_bit0 -x2429_bit0 -x2430_bit0 -x2432_bit0 -x2433_bit0 -x2434_bit0 -x2435_bit0 -x2436_bit0 -x2437_bit0 -x2438_bit0 -x2439_bit0 -x2440_bit0 -x2441_bit0 -x2442_bit0 -x2443_bit0 -x2444_bit0 -x2445_bit0 -x2446_bit0 -x2448_bit0 -x2449_bit0 -x2450_bit0 -x2451_bit0 -x2452_bit0 -x2453_bit0 -x2454_bit0 -x2455_bit0 -x2456_bit0 -x2457_bit0 -x2458_bit0 -x2459_bit0 -x2460_bit0 -x2461_bit0 -x2462_bit0 -x2463_bit0 -x2464_bit0 -x2466_bit0 -x2467_bit0 -x2468_bit0 -x2469_bit0 -x2470_bit0 -x2471_bit0 -x2472_bit0 -x2473_bit0 -x2474_bit0 -x2475_bit0 -x2476_bit0 -x2477_bit0 -x2478_bit0 -x2479_bit0 -x2480_bit0 x2481_bit0 -x2483_bit0 -x2484_bit0 -x2485_bit0 -x2486_bit0 -x2487_bit0 -x2488_bit0 -x2489_bit0 -x2490_bit0 -x2491_bit0 -x2492_bit0 -x2493_bit0 -x2494_bit0 -x2495_bit0 -x2496_bit0 x2497_bit0 -x2499_bit0 -x2500_bit0 -x2501_bit0 -x2502_bit0 -x2503_bit0 -x2504_bit0 -x2505_bit0 -x2506_bit0 -x2507_bit0 -x2508_bit0 -x2509_bit0 -x2510_bit0 -x2511_bit0 -x2512_bit0 -x2513_bit0 -x2514_bit0 x2515_bit0 x2517_bit0 x2518_bit0 x2519_bit0 x2520_bit0 x2521_bit0 -x2522_bit0 -x2523_bit0 x2524_bit0 -x2526_bit0 -x2527_bit0 -x2528_bit0 x2529_bit0 x2530_bit0 -x2531_bit0 x2532_bit0 -x2534_bit0 -x2535_bit0 -x2536_bit0 x2537_bit0 x2538_bit0 -x2539_bit0 -x2540_bit0 -x2541_bit0 x2542_bit0 -x2544_bit0 -x2545_bit0 -x2546_bit0 -x2547_bit0 -x2548_bit0 x2549_bit0 -x2550_bit0 -x2551_bit0 -x2552_bit0 -x2553_bit0 -x2554_bit0 -x2555_bit0 -x2556_bit0 -x2557_bit0 -x2558_bit0 -x2559_bit0 -x2560_bit0 -x2561_bit0 -x2562_bit0 -x2563_bit0 x2564_bit0 -x2565_bit0 x2566_bit0 -x2567_bit0 -x7_bit0 x8_bit0 -x12_bit0 -x13_bit0 -x15_bit0 -x16_bit0 -x18_bit0 -x25_bit0 -x26_bit0 x28_bit0 -x40_bit0 x41_bit0 x43_bit0 -x52_bit0 -x53_bit0 -x55_bit0 -x63_bit0 x64_bit0 -x69_bit0 -x71_bit0 -x72_bit0 -x81_bit0 x82_bit0 -x84_bit0 -x96_bit0 -x97_bit0 -x99_bit0 -x108_bit0 -x109_bit0 -x111_bit0 -x118_bit0 -x125_bit0 -x130_bit0 -x138_bit0 -x146_bit0 -x147_bit0 -x151_bit0 -x152_bit0 -x154_bit0 -x155_bit0 -x157_bit0 -x164_bit0 x165_bit0 -x167_bit0 -x179_bit0 -x180_bit0 -x182_bit0 -x191_bit0 -x192_bit0 -x194_bit0 -x202_bit0 -x203_bit0 -x208_bit0 -x210_bit0 -x211_bit0 -x220_bit0 -x221_bit0 -x223_bit0 -x235_bit0 -x236_bit0 -x238_bit0 -x247_bit0 -x248_bit0 -x250_bit0 -x257_bit0 -x264_bit0 x269_bit0 -x277_bit0 -x282_bit0 -x287_bit0 -x288_bit0 -x301_bit0 x302_bit0 -x311_bit0 x312_bit0 -x324_bit0 -x325_bit0 -x334_bit0 -x336_bit0 -x337_bit0 -x342_bit0 -x346_bit0 -x350_bit0 -x355_bit0 -x364_bit0 x365_bit0 -x378_bit0 -x379_bit0 -x388_bit0 -x389_bit0 -x401_bit0 -x402_bit0 -x413_bit0 -x414_bit0 -x427_bit0 -x455_bit0 -x462_bit0 -x477_bit0 -x478_bit0 -x487_bit0 -x488_bit0 -x504_bit0 -x505_bit0 -x518_bit0 -x520_bit0 -x521_bit0 -x534_bit0 -x547_bit0 -x548_bit0 -x557_bit0 -x558_bit0 -x574_bit0 x575_bit0 -x590_bit0 x591_bit0 -x604_bit0 -x632_bit0 -x649_bit0 -x654_bit0 -x655_bit0 -x664_bit0 -x665_bit0 -x681_bit0 -x682_bit0 -x695_bit0 -x697_bit0 -x698_bit0 -x711_bit0 -x724_bit0 -x725_bit0 -x734_bit0 -x735_bit0 -x751_bit0 x752_bit0 -x767_bit0 x768_bit0 -x781_bit0 -x794_bit0 x795_bit0 -x801_bit0 -x802_bit0 -x803_bit0 -x804_bit0 -x805_bit0 -x806_bit0 -x807_bit0 -x808_bit0 -x809_bit0 -x810_bit0 -x811_bit0 -x819_bit0 x820_bit0 -x826_bit0 -x827_bit0 -x828_bit0 -x830_bit0 -x831_bit0 -x832_bit0 -x834_bit0 -x835_bit0 -x836_bit0 -x844_bit0 x845_bit0 -x852_bit0 -x853_bit0 -x855_bit0 -x857_bit0 -x858_bit0 -x859_bit0 -x861_bit0 -x862_bit0 -x863_bit0 -x866_bit0 -x868_bit0 -x869_bit0 -x874_bit0 -x881_bit0 -x894_bit0 x895_bit0 -x901_bit0 -x902_bit0 -x903_bit0 -x905_bit0 -x906_bit0 -x907_bit0 -x909_bit0 -x910_bit0 -x911_bit0 -x919_bit0 x920_bit0 -x927_bit0 -x928_bit0 -x930_bit0 -x931_bit0 -x932_bit0 -x934_bit0 -x935_bit0 -x936_bit0 -x944_bit0 -x945_bit0 -x953_bit0 -x957_bit0 -x958_bit0 -x963_bit0 -x966_bit0 -x968_bit0 -x969_bit0 -x981_bit0 -x998_bit0 x999_bit0 -x1006_bit0 -x1007_bit0 -x1009_bit0 -x1010_bit0 -x1015_bit0 -x1027_bit0 x1028_bit0 -x1044_bit0 -x1046_bit0 -x1047_bit0 -x1068_bit0 -x1069_bit0 -x1089_bit0 -x1090_bit0 -x1104_bit0 -x1105_bit0 -x1125_bit0 -x1142_bit0 -x1143_bit0 -x1150_bit0 -x1151_bit0 -x1153_bit0 -x1154_bit0 -x1159_bit0 -x1171_bit0 x1172_bit0 -x1188_bit0 -x1190_bit0 -x1191_bit0 -x1212_bit0 -x1213_bit0 -x1233_bit0 -x1234_bit0 -x1248_bit0 x1249_bit0 -x1269_bit0 -x1347_bit0 -x1350_bit0 -x1368_bit0 -x1383_bit0 -x1385_bit0 -x1388_bit0 -x1389_bit0 -x1390_bit0 -x1400_bit0 -x1403_bit0 x1421_bit0 -x1439_bit0 -x1454_bit0 -x1456_bit0 x1474_bit0 -x1492_bit0 x1510_bit0 -x1523_bit0 -x1541_bit0 -x1559_bit0 -x1577_bit0 -x1590_bit0 x1608_bit0 -x1621_bit0 -x1622_bit0 -x1629_bit0 -x1630_bit0 -x1632_bit0 -x1633_bit0 -x1638_bit0 -x1645_bit0 -x1646_bit0 -x1657_bit0 -x1661_bit0 -x1662_bit0 -x1674_bit0 -x1676_bit0 -x1677_bit0 -x1681_bit0 -x1682_bit0 -x1689_bit0 -x1691_bit0 -x1693_bit0 -x1697_bit0 -x1698_bit0 -x1706_bit0 -x1707_bit0 -x1715_bit0 -x1717_bit0 -x1718_bit0 -x1730_bit0 -x1731_bit0 -x1746_bit0 x1747_bit0 -x1759_bit0 -x1761_bit0 -x1762_bit0 x1767_bit0 -x1774_bit0 -x1778_bit0 -x1791_bit0 -x1792_bit0 -x1800_bit0 -x1802_bit0 -x1803_bit0 -x1815_bit0 -x1816_bit0 -x1831_bit0 -x1832_bit0 -x1844_bit0 -x1846_bit0 -x1847_bit0 -x1863_bit0 -x1876_bit0 -x1877_bit0 -x1887_bit0 -x1888_bit0 -x1900_bit0 -x1901_bit0 -x1916_bit0 x1917_bit0 -x1931_bit0 x1932_bit0 -x1948_bit0 -x1964_bit0 -x1965_bit0 -x1978_bit0 -x1979_bit0 -x2002_bit0 -x2026_bit0 -x2036_bit0 -x2037_bit0 -x2039_bit0 -x2044_bit0 -x2052_bit0 -x2063_bit0 -x2065_bit0 -x2069_bit0 -x2070_bit0 -x2079_bit0 -x2093_bit0 -x2103_bit0 -x2104_bit0 -x2106_bit0 -x2111_bit0 -x2119_bit0 -x2130_bit0 -x2132_bit0 -x2136_bit0 -x2137_bit0 -x2146_bit0 -x2160_bit0 -x2171_bit0 -x2173_bit0 -x2186_bit0 -x2197_bit0 -x2199_bit0 -x2213_bit0 -x2227_bit0 -x2238_bit0 -x2240_bit0 -x2253_bit0 -x2264_bit0 -x2266_bit0 -x2280_bit0 -x2294_bit0 -x2304_bit0 -x2305_bit0 -x2307_bit0 -x2312_bit0 -x2320_bit0 -x2331_bit0 -x2333_bit0 -x2338_bit0 -x2344_bit0 -x2347_bit0 -x2361_bit0 -x2371_bit0 -x2372_bit0 -x2374_bit0 -x2379_bit0 -x2387_bit0 -x2398_bit0 -x2400_bit0 -x2405_bit0 -x2414_bit0 -x2431_bit0 -x2447_bit0 -x2465_bit0 x2482_bit0 x2498_bit0 x2516_bit0 x2525_bit0 x2533_bit0 -x2543_bit0 -x2568_bit0 -x2569_bit0 -x2570_bit0 x2571_bit0 -x2572_bit0 -x2573_bit0 -x2574_bit0 -x2575_bit0 -x2576_bit0 -x2577_bit0 -x2578_bit0 -x2579_bit0 -x2580_bit0 -x2581_bit0 -x2582_bit0 -x2583_bit0 x2584_bit0 -x2585_bit0 -x2586_bit0 -x2587_bit0 -x2588_bit0 -x2589_bit0 -x2590_bit0 -x2591_bit0 -x2592_bit0 -x2593_bit0 -x2594_bit0 -x2595_bit0 -x2596_bit0 x2597_bit0 x2598_bit0 -x2599_bit0 -x2600_bit0 -x2601_bit0 x2602_bit0 -x2603_bit0 -x2604_bit0 -x2605_bit0 -x2606_bit0 -x2607_bit0 -x2608_bit0 -x2609_bit0 -x2610_bit0 -x2611_bit0 -x2612_bit0 -x2613_bit0 -x2614_bit0 -x2615_bit0 -x2616_bit0 -x2617_bit0 -x2618_bit0 -x2619_bit0 -x2620_bit0 -x2621_bit0 -x2622_bit0 -x2623_bit0 -x2624_bit0 -x2625_bit0 -x2626_bit0 -x2627_bit0 -x2628_bit0 -x2629_bit0 -x2630_bit0 -x2631_bit0 -x2632_bit0 -x2633_bit0 -x2634_bit0 -x2635_bit0 x2636_bit0 -x2637_bit0 x2638_bit0 -x2639_bit0 x2640_bit0 -x2641_bit0 -x2642_bit0 -x2643_bit0 x2644_bit0 -x2645_bit0 x2646_bit0 -x2647_bit0 -x2648_bit0 -x2649_bit0 -x2650_bit0 -x2651_bit0 x2652_bit0 -x2653_bit0 x2654_bit0 -x2655_bit0 -x2656_bit0 -x2657_bit0 -x2658_bit0 -x2659_bit0 -x2660_bit0 -x2661_bit0 x2662_bit0 -x2663_bit0 -x2664_bit0 -x2665_bit0 -x2666_bit0 -x2667_bit0 -x2668_bit0 -x2669_bit0 -x2670_bit0 -x2671_bit0 -x2672_bit0 -x2673_bit0 -x2674_bit0 -x2675_bit0 x2676_bit0 -x2677_bit0 -x2678_bit0 -x2679_bit0 -x2680_bit0 x2681_bit0 -x2682_bit0 -x2683_bit0 -x2684_bit0 -x2685_bit0 -x2686_bit0 -x2687_bit0 -x2688_bit0 -x2689_bit0 -x2690_bit0 -x2691_bit0 -x2692_bit0 -x2693_bit0 -x2694_bit0 -x2695_bit0 -x2696_bit0 -x2697_bit0 -x2698_bit0 -x2699_bit0 -x2700_bit0 -x2701_bit0 -x2702_bit0 -x2703_bit0 -x2704_bit0 -x2705_bit0 -x2706_bit0 -x2707_bit0 -x2708_bit0 x2709_bit0 -x2710_bit0 -x2711_bit0 -x2712_bit0 -x2713_bit0 -x2714_bit0 -x2715_bit0 -x2716_bit0 -x2717_bit0 -x2718_bit0 -x2719_bit0 -x2720_bit0 -x2721_bit0 -x2722_bit0 -x2723_bit0 -x2724_bit0 -x2725_bit0 -x2726_bit0 -x2727_bit0 -x2728_bit0 -x2729_bit0 -x2730_bit0 -x2731_bit0 -x2732_bit0 -x2733_bit0 -x2734_bit0 -x2735_bit0 -x2736_bit0 -x2737_bit0 -x2738_bit0 -x2739_bit0 -x2740_bit0 -x2741_bit0 -x2742_bit0 -x2743_bit0 -x2744_bit0 -x2745_bit0 -x2746_bit0 -x2747_bit0 -x2748_bit0 -x2749_bit0 -x2750_bit0 -x2751_bit0 x2752_bit0 x2753_bit0 x2754_bit0 x2755_bit0 -x2756_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.94 0.90 2/54 27468
Raw data (stat): 27468 (runsolver) R 27467 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774833482 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0013 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 1090 0 0 0 994 4 0 0 25 0 1 0 774833482 10166272 1068 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2482 1068 566 18 0 2464 0
vsize: 9928
[startup+20.0017 s]
Raw data (loadavg): 0.89 0.94 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 1349 0 0 0 1993 5 0 0 25 0 1 0 774833482 11218944 1327 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2739 1327 566 18 0 2721 0
vsize: 10956
[startup+30.0019 s]
Raw data (loadavg): 0.91 0.94 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 1631 0 0 0 2993 6 0 0 25 0 1 0 774833482 12365824 1609 4294967295 134512640 134581331 3221224608 3221223568 134527588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3019 1609 566 18 0 3001 0
vsize: 12076
[startup+40.0027 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 1700 0 0 0 3992 7 0 0 25 0 1 0 774833482 12611584 1678 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3079 1678 566 18 0 3061 0
vsize: 12316
[startup+50.0032 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 1812 0 0 0 4991 8 0 0 25 0 1 0 774833482 13099008 1790 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3198 1790 566 18 0 3180 0
vsize: 12792
[startup+60.0034 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 1938 0 0 0 5990 9 0 0 25 0 1 0 774833482 13627392 1916 4294967295 134512640 134581331 3221224608 3221223504 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3327 1916 566 18 0 3309 0
vsize: 13308
[startup+70.0042 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 1957 0 0 0 6990 9 0 0 25 0 1 0 774833482 13758464 1935 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3359 1935 566 18 0 3341 0
vsize: 13436
[startup+80.0037 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 1957 0 0 0 7989 10 0 0 25 0 1 0 774833482 13754368 1935 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3358 1935 566 18 0 3340 0
vsize: 13432
[startup+90.0039 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 1957 0 0 0 8989 10 0 0 25 0 1 0 774833482 13754368 1935 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3358 1935 566 18 0 3340 0
vsize: 13432
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 1957 0 0 0 9989 11 0 0 25 0 1 0 774833482 13754368 1935 4294967295 134512640 134581331 3221224608 3221223392 134528824 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3358 1935 566 18 0 3340 0
vsize: 13432
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 2000 0 0 0 10989 11 0 0 25 0 1 0 774833482 13864960 1978 4294967295 134512640 134581331 3221224608 3221223520 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3385 1978 566 18 0 3367 0
vsize: 13540
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 2026 0 0 0 11988 12 0 0 25 0 1 0 774833482 13975552 2004 4294967295 134512640 134581331 3221224608 3221223520 134527964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3412 2004 566 18 0 3394 0
vsize: 13648
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 2088 0 0 0 12988 13 0 0 25 0 1 0 774833482 14200832 2066 4294967295 134512640 134581331 3221224608 3221223520 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3467 2066 566 18 0 3449 0
vsize: 13868
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 2124 0 0 0 13987 14 0 0 25 0 1 0 774833482 14442496 2102 4294967295 134512640 134581331 3221224608 3221223392 134528765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3526 2102 566 18 0 3508 0
vsize: 14104
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 2483 0 0 0 14986 15 0 0 25 0 1 0 774833482 15798272 2461 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3857 2461 566 18 0 3839 0
vsize: 15428
[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 2561 0 0 0 15985 16 0 0 25 0 1 0 774833482 16171008 2539 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3948 2539 566 18 0 3930 0
vsize: 15792
[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 2706 0 0 0 16984 17 0 0 25 0 1 0 774833482 16781312 2684 4294967295 134512640 134581331 3221224608 3221223520 134527667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4097 2684 566 18 0 4079 0
vsize: 16388
[startup+180.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 2706 0 0 0 17983 18 0 0 25 0 1 0 774833482 16781312 2684 4294967295 134512640 134581331 3221224608 3221223552 134559274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4097 2684 566 18 0 4079 0
vsize: 16388
[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 2706 0 0 0 18983 18 0 0 25 0 1 0 774833482 16781312 2684 4294967295 134512640 134581331 3221224608 3221223552 134559087 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4097 2684 566 18 0 4079 0
vsize: 16388
[startup+200.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 2706 0 0 0 19983 19 0 0 25 0 1 0 774833482 16781312 2684 4294967295 134512640 134581331 3221224608 3221223520 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4097 2684 566 18 0 4079 0
vsize: 16388
[startup+210.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 2706 0 0 0 20983 19 0 0 25 0 1 0 774833482 16781312 2684 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4097 2684 566 18 0 4079 0
vsize: 16388
[startup+220.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 2706 0 0 0 21983 19 0 0 25 0 1 0 774833482 16781312 2684 4294967295 134512640 134581331 3221224608 3221223576 134527292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4097 2684 566 18 0 4079 0
vsize: 16388
[startup+230.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 2706 0 0 0 22983 20 0 0 25 0 1 0 774833482 16781312 2684 4294967295 134512640 134581331 3221224608 3221223488 134520297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4097 2684 566 18 0 4079 0
vsize: 16388
[startup+240.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 2998 0 0 0 23982 21 0 0 25 0 1 0 774833482 17928192 2976 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4377 2976 566 18 0 4359 0
vsize: 17508
[startup+250.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3008 0 0 0 24982 22 0 0 25 0 1 0 774833482 18042880 2986 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4405 2986 566 18 0 4387 0
vsize: 17620
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3008 0 0 0 25982 22 0 0 25 0 1 0 774833482 18042880 2986 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4405 2986 566 18 0 4387 0
vsize: 17620
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3008 0 0 0 26981 22 0 0 25 0 1 0 774833482 18042880 2986 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4405 2986 566 18 0 4387 0
vsize: 17620
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3008 0 0 0 27981 23 0 0 25 0 1 0 774833482 18042880 2986 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4405 2986 566 18 0 4387 0
vsize: 17620
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3008 0 0 0 28981 23 0 0 25 0 1 0 774833482 18042880 2986 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4405 2986 566 18 0 4387 0
vsize: 17620
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3008 0 0 0 29981 23 0 0 25 0 1 0 774833482 18042880 2986 4294967295 134512640 134581331 3221224608 3221223392 134528824 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4405 2986 566 18 0 4387 0
vsize: 17620
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3008 0 0 0 30981 24 0 0 25 0 1 0 774833482 18042880 2986 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4405 2986 566 18 0 4387 0
vsize: 17620
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3008 0 0 0 31981 24 0 0 25 0 1 0 774833482 18042880 2986 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4405 2986 566 18 0 4387 0
vsize: 17620
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3008 0 0 0 32981 24 0 0 25 0 1 0 774833482 18042880 2986 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4405 2986 566 18 0 4387 0
vsize: 17620
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3008 0 0 0 33981 24 0 0 25 0 1 0 774833482 18042880 2986 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4405 2986 566 18 0 4387 0
vsize: 17620
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3008 0 0 0 34981 25 0 0 25 0 1 0 774833482 18042880 2986 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4405 2986 566 18 0 4387 0
vsize: 17620
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3008 0 0 0 35981 25 0 0 25 0 1 0 774833482 18038784 2986 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4404 2986 566 18 0 4386 0
vsize: 17616
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3008 0 0 0 36981 25 0 0 25 0 1 0 774833482 18038784 2986 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4404 2986 566 18 0 4386 0
vsize: 17616
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3008 0 0 0 37980 25 0 0 25 0 1 0 774833482 18038784 2986 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4404 2986 566 18 0 4386 0
vsize: 17616
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3009 0 0 0 38980 26 0 0 25 0 1 0 774833482 18038784 2987 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4404 2987 566 18 0 4386 0
vsize: 17616
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3009 0 0 0 39980 26 0 0 25 0 1 0 774833482 18038784 2987 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4404 2987 566 18 0 4386 0
vsize: 17616
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3082 0 0 0 40980 26 0 0 25 0 1 0 774833482 18288640 3060 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4465 3060 566 18 0 4447 0
vsize: 17860
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3435 0 0 0 41979 27 0 0 25 0 1 0 774833482 19787776 3413 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4831 3413 566 18 0 4813 0
vsize: 19324
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3485 0 0 0 42979 27 0 0 25 0 1 0 774833482 19906560 3463 4294967295 134512640 134581331 3221224608 3221223392 134528765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4860 3463 566 18 0 4842 0
vsize: 19440
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3485 0 0 0 43979 28 0 0 25 0 1 0 774833482 19906560 3463 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4860 3463 566 18 0 4842 0
vsize: 19440
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3612 0 0 0 44979 28 0 0 25 0 1 0 774833482 20426752 3590 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4987 3590 566 18 0 4969 0
vsize: 19948
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3731 0 0 0 45978 29 0 0 25 0 1 0 774833482 20946944 3709 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5114 3709 566 18 0 5096 0
vsize: 20456
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3731 0 0 0 46978 29 0 0 25 0 1 0 774833482 20946944 3709 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5114 3709 566 18 0 5096 0
vsize: 20456
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3731 0 0 0 47978 29 0 0 25 0 1 0 774833482 20946944 3709 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5114 3709 566 18 0 5096 0
vsize: 20456
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3731 0 0 0 48978 30 0 0 25 0 1 0 774833482 20946944 3709 4294967295 134512640 134581331 3221224608 3221223520 134528085 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5114 3709 566 18 0 5096 0
vsize: 20456
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3731 0 0 0 49978 30 0 0 25 0 1 0 774833482 20946944 3709 4294967295 134512640 134581331 3221224608 3221223472 134528344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5114 3709 566 18 0 5096 0
vsize: 20456
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3731 0 0 0 50978 30 0 0 25 0 1 0 774833482 20946944 3709 4294967295 134512640 134581331 3221224608 3221223504 134517912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5114 3709 566 18 0 5096 0
vsize: 20456
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3731 0 0 0 51978 30 0 0 25 0 1 0 774833482 20946944 3709 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5114 3709 566 18 0 5096 0
vsize: 20456
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3731 0 0 0 52978 31 0 0 25 0 1 0 774833482 20946944 3709 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5114 3709 566 18 0 5096 0
vsize: 20456
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3731 0 0 0 53978 31 0 0 25 0 1 0 774833482 20946944 3709 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5114 3709 566 18 0 5096 0
vsize: 20456
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3731 0 0 0 54978 31 0 0 25 0 1 0 774833482 20946944 3709 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5114 3709 566 18 0 5096 0
vsize: 20456
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3731 0 0 0 55978 31 0 0 25 0 1 0 774833482 20946944 3709 4294967295 134512640 134581331 3221224608 3221223520 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5114 3709 566 18 0 5096 0
vsize: 20456
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3731 0 0 0 56978 31 0 0 25 0 1 0 774833482 20946944 3709 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5114 3709 566 18 0 5096 0
vsize: 20456
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3731 0 0 0 57978 31 0 0 25 0 1 0 774833482 20946944 3709 4294967295 134512640 134581331 3221224608 3221223520 134527645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5114 3709 566 18 0 5096 0
vsize: 20456
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3731 0 0 0 58978 32 0 0 25 0 1 0 774833482 20946944 3709 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5114 3709 566 18 0 5096 0
vsize: 20456
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3731 0 0 0 59977 32 0 0 25 0 1 0 774833482 20946944 3709 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5114 3709 566 18 0 5096 0
vsize: 20456
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3731 0 0 0 60977 33 0 0 25 0 1 0 774833482 20946944 3709 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5114 3709 566 18 0 5096 0
vsize: 20456
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3731 0 0 0 61977 33 0 0 25 0 1 0 774833482 20946944 3709 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5114 3709 566 18 0 5096 0
vsize: 20456
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3731 0 0 0 62977 33 0 0 25 0 1 0 774833482 20946944 3709 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5114 3709 566 18 0 5096 0
vsize: 20456
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3731 0 0 0 63977 33 0 0 25 0 1 0 774833482 20946944 3709 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5114 3709 566 18 0 5096 0
vsize: 20456
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3731 0 0 0 64977 33 0 0 25 0 1 0 774833482 20946944 3709 4294967295 134512640 134581331 3221224608 3221223392 134528723 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5114 3709 566 18 0 5096 0
vsize: 20456
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3731 0 0 0 65977 34 0 0 25 0 1 0 774833482 20946944 3709 4294967295 134512640 134581331 3221224608 3221223520 134527772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5114 3709 566 18 0 5096 0
vsize: 20456
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3731 0 0 0 66977 34 0 0 25 0 1 0 774833482 20946944 3709 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5114 3709 566 18 0 5096 0
vsize: 20456
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3769 0 0 0 67976 34 0 0 25 0 1 0 774833482 21078016 3747 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5146 3747 566 18 0 5128 0
vsize: 20584
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3769 0 0 0 68976 35 0 0 25 0 1 0 774833482 21078016 3747 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5146 3747 566 18 0 5128 0
vsize: 20584
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3769 0 0 0 69976 35 0 0 25 0 1 0 774833482 21078016 3747 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5146 3747 566 18 0 5128 0
vsize: 20584
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3769 0 0 0 70977 35 0 0 25 0 1 0 774833482 21078016 3747 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5146 3747 566 18 0 5128 0
vsize: 20584
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3875 0 0 0 71976 36 0 0 25 0 1 0 774833482 21602304 3853 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5274 3853 566 18 0 5256 0
vsize: 21096
[startup+730.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3970 0 0 0 72976 36 0 0 25 0 1 0 774833482 22007808 3948 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5373 3948 566 18 0 5355 0
vsize: 21492
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3970 0 0 0 73976 36 0 0 25 0 1 0 774833482 22007808 3948 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5373 3948 566 18 0 5355 0
vsize: 21492
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3970 0 0 0 74976 36 0 0 25 0 1 0 774833482 22007808 3948 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5373 3948 566 18 0 5355 0
vsize: 21492
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3970 0 0 0 75976 36 0 0 25 0 1 0 774833482 22007808 3948 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5373 3948 566 18 0 5355 0
vsize: 21492
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 3970 0 0 0 76976 37 0 0 25 0 1 0 774833482 22007808 3948 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5373 3948 566 18 0 5355 0
vsize: 21492
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4062 0 0 0 77976 37 0 0 25 0 1 0 774833482 22401024 4040 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5469 4040 566 18 0 5451 0
vsize: 21876
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4062 0 0 0 78976 37 0 0 25 0 1 0 774833482 22401024 4040 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5469 4040 566 18 0 5451 0
vsize: 21876
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4062 0 0 0 79976 37 0 0 25 0 1 0 774833482 22401024 4040 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5469 4040 566 18 0 5451 0
vsize: 21876
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4062 0 0 0 80976 38 0 0 25 0 1 0 774833482 22401024 4040 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5469 4040 566 18 0 5451 0
vsize: 21876
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4062 0 0 0 81976 38 0 0 25 0 1 0 774833482 22401024 4040 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5469 4040 566 18 0 5451 0
vsize: 21876
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4062 0 0 0 82976 38 0 0 25 0 1 0 774833482 22401024 4040 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5469 4040 566 18 0 5451 0
vsize: 21876
[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4062 0 0 0 83975 38 0 0 25 0 1 0 774833482 22401024 4040 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5469 4040 566 18 0 5451 0
vsize: 21876
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4062 0 0 0 84976 38 0 0 25 0 1 0 774833482 22401024 4040 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5469 4040 566 18 0 5451 0
vsize: 21876
[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4062 0 0 0 85976 39 0 0 25 0 1 0 774833482 22401024 4040 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5469 4040 566 18 0 5451 0
vsize: 21876
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4068 0 0 0 86976 39 0 0 25 0 1 0 774833482 22401024 4046 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5469 4046 566 18 0 5451 0
vsize: 21876
[startup+880.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4068 0 0 0 87976 39 0 0 25 0 1 0 774833482 22401024 4046 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5469 4046 566 18 0 5451 0
vsize: 21876
[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4068 0 0 0 88976 39 0 0 25 0 1 0 774833482 22401024 4046 4294967295 134512640 134581331 3221224608 3221223520 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5469 4046 566 18 0 5451 0
vsize: 21876
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4068 0 0 0 89976 39 0 0 25 0 1 0 774833482 22401024 4046 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5469 4046 566 18 0 5451 0
vsize: 21876
[startup+910.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4068 0 0 0 90976 40 0 0 25 0 1 0 774833482 22401024 4046 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5469 4046 566 18 0 5451 0
vsize: 21876
[startup+920.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4102 0 0 0 91976 40 0 0 25 0 1 0 774833482 22523904 4080 4294967295 134512640 134581331 3221224608 3221223392 134528824 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5499 4080 566 18 0 5481 0
vsize: 21996
[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4102 0 0 0 92976 40 0 0 25 0 1 0 774833482 22523904 4080 4294967295 134512640 134581331 3221224608 3221223492 134557844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5499 4080 566 18 0 5481 0
vsize: 21996
[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4102 0 0 0 93976 40 0 0 25 0 1 0 774833482 22523904 4080 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5499 4080 566 18 0 5481 0
vsize: 21996
[startup+950.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4102 0 0 0 94976 40 0 0 25 0 1 0 774833482 22523904 4080 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5499 4080 566 18 0 5481 0
vsize: 21996
[startup+960.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4155 0 0 0 95976 40 0 0 25 0 1 0 774833482 22769664 4133 4294967295 134512640 134581331 3221224608 3221223576 134527301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5559 4133 566 18 0 5541 0
vsize: 22236
[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4155 0 0 0 96976 41 0 0 25 0 1 0 774833482 22769664 4133 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5559 4133 566 18 0 5541 0
vsize: 22236
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4155 0 0 0 97976 41 0 0 25 0 1 0 774833482 22769664 4133 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5559 4133 566 18 0 5541 0
vsize: 22236
[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4155 0 0 0 98976 41 0 0 25 0 1 0 774833482 22769664 4133 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5559 4133 566 18 0 5541 0
vsize: 22236
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4186 0 0 0 99976 41 0 0 25 0 1 0 774833482 22900736 4164 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5591 4164 566 18 0 5573 0
vsize: 22364
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4186 0 0 0 100976 41 0 0 25 0 1 0 774833482 22900736 4164 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5591 4164 566 18 0 5573 0
vsize: 22364
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4186 0 0 0 101976 41 0 0 25 0 1 0 774833482 22900736 4164 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5591 4164 566 18 0 5573 0
vsize: 22364
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4187 0 0 0 102976 41 0 0 25 0 1 0 774833482 22900736 4165 4294967295 134512640 134581331 3221224608 3221223472 134528316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5591 4165 566 18 0 5573 0
vsize: 22364
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4187 0 0 0 103976 42 0 0 25 0 1 0 774833482 22900736 4165 4294967295 134512640 134581331 3221224608 3221223472 134528275 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5591 4165 566 18 0 5573 0
vsize: 22364
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4187 0 0 0 104976 42 0 0 25 0 1 0 774833482 22896640 4165 4294967295 134512640 134581331 3221224608 3221223392 134528763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5590 4165 566 18 0 5572 0
vsize: 22360
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4187 0 0 0 105976 42 0 0 25 0 1 0 774833482 22896640 4165 4294967295 134512640 134581331 3221224608 3221223472 134560477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5590 4165 566 18 0 5572 0
vsize: 22360
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4187 0 0 0 106977 42 0 0 25 0 1 0 774833482 22896640 4165 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5590 4165 566 18 0 5572 0
vsize: 22360
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4187 0 0 0 107977 42 0 0 25 0 1 0 774833482 22896640 4165 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5590 4165 566 18 0 5572 0
vsize: 22360
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4187 0 0 0 108977 42 0 0 25 0 1 0 774833482 22896640 4165 4294967295 134512640 134581331 3221224608 3221223584 134560718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5590 4165 566 18 0 5572 0
vsize: 22360
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4188 0 0 0 109977 42 0 0 25 0 1 0 774833482 22892544 4166 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5589 4166 566 18 0 5571 0
vsize: 22356
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4188 0 0 0 110977 42 0 0 25 0 1 0 774833482 22892544 4166 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5589 4166 566 18 0 5571 0
vsize: 22356
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4188 0 0 0 111977 42 0 0 25 0 1 0 774833482 22892544 4166 4294967295 134512640 134581331 3221224608 3221223520 134528085 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5589 4166 566 18 0 5571 0
vsize: 22356
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4188 0 0 0 112977 42 0 0 25 0 1 0 774833482 22892544 4166 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5589 4166 566 18 0 5571 0
vsize: 22356
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4188 0 0 0 113977 42 0 0 25 0 1 0 774833482 22888448 4166 4294967295 134512640 134581331 3221224608 3221223428 1075289714 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5588 4166 566 18 0 5570 0
vsize: 22352
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4188 0 0 0 114978 42 0 0 25 0 1 0 774833482 22888448 4166 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5588 4166 566 18 0 5570 0
vsize: 22352
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4188 0 0 0 115978 43 0 0 25 0 1 0 774833482 22888448 4166 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5588 4166 566 18 0 5570 0
vsize: 22352
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4188 0 0 0 116978 43 0 0 25 0 1 0 774833482 22888448 4166 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5588 4166 566 18 0 5570 0
vsize: 22352
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4188 0 0 0 117978 43 0 0 25 0 1 0 774833482 22888448 4166 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5588 4166 566 18 0 5570 0
vsize: 22352
[startup+1188.95 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 27468
Raw data (stat): 27468 (Pueblo) R 27467 23514 23513 0 -1 0 4188 0 0 0 117978 43 0 0 25 0 1 0 774833482 22888448 4166 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5588 4166 566 18 0 5570 0
vsize: 0

Child status: 10
Real time (s): 1188.95
CPU time (s): 1189.02
CPU user time (s): 1188.57
CPU system time (s): 0.444932
CPU usage (%): 100.006
Max. virtual memory (Kb): 22364
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	7615
#### END VERIFIER DATA ####