PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mkc.opb
MD5SUM	6ef3eff2fef1e9f71734c5cb8b6e12e4
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	2946
Biggest coefficient in the objective function	20000
Number of bits for the biggest coefficient in the objective function	15
Sum of the numbers in the objective function	31442101
Number of bits of the sum of numbers in the objective function	25
Biggest number in a constraint	67108864000
Number of bits of the biggest number in a constraint	36
Biggest sum of numbers in a constraint	138201238403
Number of bits of the biggest sum of numbers	38
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1231.25
Number of variables	5383
Total number of constraints	8734
Number of constraints which are clauses	2977
Number of constraints which are cardinality constraints (but not clauses)	5731
Number of constraints which are nor clauses,nor cardinality constraints	26
Minimum length of a constraint	1
Maximum length of a constraint	2952
Trace number 29588

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-25 09:17:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20990 boxname=wulflinc26 idbench=978 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  6ef3eff2fef1e9f71734c5cb8b6e12e4  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-mkc.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-mkc.opb
IDLAUNCH: 20990
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        376420 kB
Buffers:         36504 kB
Cached:         598164 kB
SwapCached:        656 kB
Active:         143732 kB
Inactive:       493584 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        376168 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6032 kB
Slab:            15260 kB
Committed_AS:    63720 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 09:38:01 (client local time) WITH STATUS 143 IN 1231.25 SECONDS
stats: 20990 0 1231.25 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-mkc.opb
c reading problem ... done. Time 14.003 ms.
c #vars     5383
c #constraints  3281
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                   0 		Current CPU time: 44.48 ms
c starts	: 2
c conflicts	: 14
c decisions	: 8454
c propagations	: 35127
c inspects	: 107377
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 14
c root simplifications	: 9
s SATISFIABLE
v -x1_bit0 -x2_bit0 -x3_bit0 -x4_bit0 -x5_bit0 -x6_bit0 -x7_bit0 -x8_bit0 -x9_bit0 -x10_bit0 -x11_bit0 -x12_bit0 -x13_bit0 -x14_bit0 -x15_bit0 -x16_bit0 -x17_bit0 -x18_bit0 -x19_bit0 -x20_bit0 -x21_bit0 -x22_bit0 -x23_bit0 -x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 -x30_bit0 -x31_bit0 -x32_bit0 -x33_bit0 -x34_bit0 -x35_bit0 -x36_bit0 -x37_bit0 -x38_bit0 -x39_bit0 -x40_bit0 -x41_bit0 -x42_bit0 -x43_bit0 -x44_bit0 -x45_bit0 -x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 -x50_bit0 -x51_bit0 -x52_bit0 -x53_bit0 -x54_bit0 -x55_bit0 -x56_bit0 -x57_bit0 -x58_bit0 -x59_bit0 -x60_bit0 -x61_bit0 -x62_bit0 -x63_bit0 -x64_bit0 -x65_bit0 -x66_bit0 -x67_bit0 -x68_bit0 -x69_bit0 -x70_bit0 -x71_bit0 -x72_bit0 -x73_bit0 -x74_bit0 -x75_bit0 -x76_bit0 -x77_bit0 -x78_bit0 -x79_bit0 -x80_bit0 -x81_bit0 -x82_bit0 -x83_bit0 -x84_bit0 -x85_bit0 -x86_bit0 -x87_bit0 -x88_bit0 -x89_bit0 -x90_bit0 -x91_bit0 -x92_bit0 -x93_bit0 -x94_bit0 -x95_bit0 -x96_bit0 -x97_bit0 -x98_bit0 -x99_bit0 -x100_bit0 -x101_bit0 -x102_bit0 -x103_bit0 -x104_bit0 -x105_bit0 -x106_bit0 -x107_bit0 -x108_bit0 -x109_bit0 -x110_bit0 -x111_bit0 -x112_bit0 -x113_bit0 -x114_bit0 -x115_bit0 -x116_bit0 -x117_bit0 -x118_bit0 -x119_bit0 -x120_bit0 -x121_bit0 -x122_bit0 -x123_bit0 -x124_bit0 -x125_bit0 -x126_bit0 -x127_bit0 -x128_bit0 -x129_bit0 -x130_bit0 -x131_bit0 -x132_bit0 -x133_bit0 -x134_bit0 -x135_bit0 -x136_bit0 -x137_bit0 -x138_bit0 -x139_bit0 -x140_bit0 -x141_bit0 -x142_bit0 -x143_bit0 -x144_bit0 -x145_bit0 -x146_bit0 -x147_bit0 -x148_bit0 -x149_bit0 -x150_bit0 -x151_bit0 -x152_bit0 -x153_bit0 -x154_bit0 -x155_bit0 -x156_bit0 -x157_bit0 -x158_bit0 -x159_bit0 -x160_bit0 -x161_bit0 -x162_bit0 -x163_bit0 -x164_bit0 -x165_bit0 -x166_bit0 -x167_bit0 -x168_bit0 -x169_bit0 -x170_bit0 -x171_bit0 -x172_bit0 -x173_bit0 -x174_bit0 -x175_bit0 -x176_bit0 -x177_bit0 -x178_bit0 -x179_bit0 -x180_bit0 -x181_bit0 -x182_bit0 -x183_bit0 -x184_bit0 -x185_bit0 -x186_bit0 -x187_bit0 -x188_bit0 -x189_bit0 -x190_bit0 -x191_bit0 -x192_bit0 -x193_bit0 -x194_bit0 -x195_bit0 -x196_bit0 -x197_bit0 -x198_bit0 -x199_bit0 -x200_bit0 -x201_bit0 -x202_bit0 -x203_bit0 -x204_bit0 -x205_bit0 -x206_bit0 -x207_bit0 -x208_bit0 -x209_bit0 -x210_bit0 -x211_bit0 -x212_bit0 -x213_bit0 -x214_bit0 -x215_bit0 -x216_bit0 -x217_bit0 -x218_bit0 -x219_bit0 -x220_bit0 -x221_bit0 -x222_bit0 -x223_bit0 -x224_bit0 -x225_bit0 -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 -x2026_bit0 -x2027_bit0 -x2028_bit0 -x2029_bit0 -x2030_bit0 -x2031_bit0 -x2032_bit0 -x2033_bit0 -x2034_bit0 -x2035_bit0 -x2036_bit0 -x2037_bit0 -x2038_bit0 -x2039_bit0 -x2040_bit0 -x2041_bit0 -x2042_bit0 -x2043_bit0 -x2044_bit0 -x2045_bit0 -x2046_bit0 -x2047_bit0 -x2048_bit0 -x2049_bit0 -x2050_bit0 -x2051_bit0 -x2052_bit0 -x2053_bit0 -x2054_bit0 -x2055_bit0 -x2056_bit0 -x2057_bit0 -x2058_bit0 -x2059_bit0 -x2060_bit0 -x2061_bit0 -x2062_bit0 -x2063_bit0 -x2064_bit0 -x2065_bit0 -x2066_bit0 -x2067_bit0 -x2068_bit0 -x2069_bit0 -x2070_bit0 -x2071_bit0 -x2072_bit0 -x2073_bit0 -x2074_bit0 -x2075_bit0 -x2076_bit0 -x2077_bit0 -x2078_bit0 -x2079_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 -x2093_bit0 -x2094_bit0 -x2095_bit0 -x2096_bit0 -x2097_bit0 -x2098_bit0 -x2099_bit0 -x2100_bit0 -x2101_bit0 -x2102_bit0 -x2103_bit0 -x2104_bit0 -x2105_bit0 -x2106_bit0 -x2107_bit0 -x2108_bit0 -x2109_bit0 -x2110_bit0 -x2111_bit0 -x2112_bit0 -x2113_bit0 -x2114_bit0 -x2115_bit0 -x2116_bit0 -x2117_bit0 -x2118_bit0 -x2119_bit0 -x2120_bit0 -x2121_bit0 -x2122_bit0 -x2123_bit0 -x2124_bit0 -x2125_bit0 -x2126_bit0 -x2127_bit0 -x2128_bit0 -x2129_bit0 -x2130_bit0 -x2131_bit0 -x2132_bit0 -x2133_bit0 -x2134_bit0 -x2135_bit0 -x2136_bit0 -x2137_bit0 -x2138_bit0 -x2139_bit0 -x2140_bit0 -x2141_bit0 -x2142_bit0 -x2143_bit0 -x2144_bit0 -x2145_bit0 -x2146_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 -x2160_bit0 -x2161_bit0 -x2162_bit0 -x2163_bit0 -x2164_bit0 -x2165_bit0 -x2166_bit0 -x2167_bit0 -x2168_bit0 -x2169_bit0 -x2170_bit0 -x2171_bit0 -x2172_bit0 -x2173_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 -x2186_bit0 -x2187_bit0 -x2188_bit0 -x2189_bit0 -x2190_bit0 -x2191_bit0 -x2192_bit0 -x2193_bit0 -x2194_bit0 -x2195_bit0 -x2196_bit0 -x2197_bit0 -x2198_bit0 -x2199_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 -x2213_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 -x2227_bit0 -x2228_bit0 -x2229_bit0 -x2230_bit0 -x2231_bit0 -x2232_bit0 -x2233_bit0 -x2234_bit0 -x2235_bit0 -x2236_bit0 -x2237_bit0 -x2238_bit0 -x2239_bit0 -x2240_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 -x2253_bit0 -x2254_bit0 -x2255_bit0 -x2256_bit0 -x2257_bit0 -x2258_bit0 -x2259_bit0 -x2260_bit0 -x2261_bit0 -x2262_bit0 -x2263_bit0 -x2264_bit0 -x2265_bit0 -x2266_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 -x2280_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 -x2294_bit0 -x2295_bit0 -x2296_bit0 -x2297_bit0 -x2298_bit0 -x2299_bit0 -x2300_bit0 -x2301_bit0 -x2302_bit0 -x2303_bit0 -x2304_bit0 -x2305_bit0 -x2306_bit0 -x2307_bit0 -x2308_bit0 -x2309_bit0 -x2310_bit0 -x2311_bit0 -x2312_bit0 -x2313_bit0 -x2314_bit0 -x2315_bit0 -x2316_bit0 -x2317_bit0 -x2318_bit0 -x2319_bit0 -x2320_bit0 -x2321_bit0 -x2322_bit0 -x2323_bit0 -x2324_bit0 -x2325_bit0 -x2326_bit0 -x2327_bit0 -x2328_bit0 -x2329_bit0 -x2330_bit0 -x2331_bit0 -x2332_bit0 -x2333_bit0 -x2334_bit0 -x2335_bit0 -x2336_bit0 -x2337_bit0 -x2338_bit0 -x2339_bit0 -x2340_bit0 -x2341_bit0 -x2342_bit0 -x2343_bit0 -x2344_bit0 -x2345_bit0 -x2346_bit0 -x2347_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 -x2361_bit0 -x2362_bit0 -x2363_bit0 -x2364_bit0 -x2365_bit0 -x2366_bit0 -x2367_bit0 -x2368_bit0 -x2369_bit0 -x2370_bit0 -x2371_bit0 -x2372_bit0 -x2373_bit0 -x2374_bit0 -x2375_bit0 -x2376_bit0 -x2377_bit0 -x2378_bit0 -x2379_bit0 -x2380_bit0 -x2381_bit0 -x2382_bit0 -x2383_bit0 -x2384_bit0 -x2385_bit0 -x2386_bit0 -x2387_bit0 -x2388_bit0 -x2389_bit0 -x2390_bit0 -x2391_bit0 -x2392_bit0 -x2393_bit0 -x2394_bit0 -x2395_bit0 -x2396_bit0 -x2397_bit0 -x2398_bit0 -x2399_bit0 -x2400_bit0 -x2401_bit0 -x2402_bit0 -x2403_bit0 -x2404_bit0 -x2405_bit0 -x2406_bit0 -x2407_bit0 -x2408_bit0 -x2409_bit0 -x2410_bit0 -x2411_bit0 -x2412_bit0 -x2413_bit0 -x2414_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 -x2431_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 -x2447_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 -x2465_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 -x2482_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 -x2498_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 -x2516_bit0 -x2517_bit0 -x2518_bit0 -x2519_bit0 -x2520_bit0 -x2521_bit0 -x2522_bit0 -x2523_bit0 -x2524_bit0 -x2525_bit0 -x2526_bit0 -x2527_bit0 -x2528_bit0 -x2529_bit0 -x2530_bit0 -x2531_bit0 -x2532_bit0 -x2533_bit0 -x2534_bit0 -x2535_bit0 -x2536_bit0 -x2537_bit0 -x2538_bit0 -x2539_bit0 -x2540_bit0 -x2541_bit0 -x2542_bit0 -x2543_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 -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 -x2757_bit0 -x2758_bit0 -x2759_bit0 -x2760_bit0 -x2761_bit0 -x2762_bit0 -x2763_bit0 -x2764_bit0 -x2765_bit0 -x2766_bit0 -x2767_bit0 -x2768_bit0 -x2769_bit0 -x2770_bit0 -x2771_bit0 -x2772_bit0 -x2773_bit0 -x2774_bit0 -x2775_bit0 -x2776_bit0 -x2777_bit0 -x2778_bit0 -x2779_bit0 -x2780_bit0 -x2781_bit0 -x2782_bit0 -x2783_bit0 -x2784_bit0 -x2785_bit0 -x2786_bit0 -x2787_bit0 -x2788_bit0 -x2789_bit0 -x2790_bit0 -x2791_bit0 -x2792_bit0 -x2793_bit0 -x2794_bit0 -x2795_bit0 -x2796_bit0 -x2797_bit0 -x2798_bit0 -x2799_bit0 -x2800_bit0 -x2801_bit0 -x2802_bit0 -x2803_bit0 -x2804_bit0 -x2805_bit0 -x2806_bit0 -x2807_bit0 -x2808_bit0 -x2809_bit0 -x2810_bit0 -x2811_bit0 -x2812_bit0 -x2813_bit0 -x2814_bit0 -x2815_bit0 -x2816_bit0 -x2817_bit0 -x2818_bit0 -x2819_bit0 -x2820_bit0 -x2821_bit0 -x2822_bit0 -x2823_bit0 -x2824_bit0 -x2825_bit0 -x2826_bit0 -x2827_bit0 -x2828_bit0 -x2829_bit0 -x2830_bit0 -x2831_bit0 -x2832_bit0 -x2833_bit0 -x2834_bit0 -x2835_bit0 -x2836_bit0 -x2837_bit0 -x2838_bit0 -x2839_bit0 -x2840_bit0 -x2841_bit0 -x2842_bit0 -x2843_bit0 -x2844_bit0 -x2845_bit0 -x2846_bit0 -x2847_bit0 -x2848_bit0 -x2849_bit0 -x2850_bit0 -x2851_bit0 -x2852_bit0 -x2853_bit0 -x2854_bit0 -x2855_bit0 -x2856_bit0 -x2857_bit0 -x2858_bit0 -x2859_bit0 -x2860_bit0 -x2861_bit0 -x2862_bit0 -x2863_bit0 -x2864_bit0 -x2865_bit0 -x2866_bit0 -x2867_bit0 -x2868_bit0 -x2869_bit0 -x2870_bit0 -x2871_bit0 -x2872_bit0 -x2873_bit0 -x2874_bit0 -x2875_bit0 -x2876_bit0 -x2877_bit0 -x2878_bit0 -x2879_bit0 -x2880_bit0 -x2881_bit0 -x2882_bit0 -x2883_bit0 -x2884_bit0 -x2885_bit0 -x2886_bit0 -x2887_bit0 -x2888_bit0 -x2889_bit0 -x2890_bit0 -x2891_bit0 -x2892_bit0 -x2893_bit0 -x2894_bit0 -x2895_bit0 -x2896_bit0 -x2897_bit0 -x2898_bit0 -x2899_bit0 -x2900_bit0 -x2901_bit0 -x2902_bit0 -x2903_bit0 -x2904_bit0 -x2905_bit0 -x2906_bit0 -x2907_bit0 -x2908_bit0 -x2909_bit0 -x2910_bit0 -x2911_bit0 -x2912_bit0 -x2913_bit0 -x2914_bit0 -x2915_bit0 -x2916_bit0 -x2917_bit0 -x2918_bit0 -x2919_bit0 -x2920_bit0 -x2921_bit0 -x2922_bit0 -x2923_bit0 -x2924_bit0 -x2925_bit0 -x2926_bit0 -x2927_bit0 -x2928_bit0 -x2929_bit0 -x2930_bit0 -x2931_bit0 -x2932_bit0 -x2933_bit0 -x2934_bit0 -x2935_bit0 -x2936_bit0 -x2937_bit0 -x2938_bit0 -x2939_bit0 -x2940_bit0 -x2941_bit0 -x2942_bit0 -x2943_bit0 -x2944_bit0 -x2945_bit0 -x2946_bit0 -x2949_bit0 -x2950_bit0 -x2951_bit0 -x2952_bit0 -x2953_bit0 -x2954_bit0 -x2955_bit0 -x2956_bit0 -x2957_bit0 -x2958_bit0 -x2959_bit0 -x2960_bit0 -x2961_bit0 -x2962_bit0 -x2963_bit0 -x2964_bit0 -x2965_bit0 -x2966_bit0 -x2967_bit0 -x2968_bit0 -x2969_bit0 -x2970_bit0 -x2971_bit0 -x2972_bit0 -x2973_bit0 -x2974_bit0 -x2975_bit0 -x2976_bit0 -x2977_bit0 -x2978_bit0 -x2979_bit0 -x2980_bit0 -x2981_bit0 -x2982_bit0 -x2983_bit0 -x2984_bit0 -x2985_bit0 -x2986_bit0 -x2987_bit0 -x2988_bit0 -x2989_bit0 -x2990_bit0 -x2991_bit0 -x2992_bit0 -x2993_bit0 -x2994_bit0 -x2995_bit0 -x2996_bit0 -x2997_bit0 -x2998_bit0 -x2999_bit0 -x3000_bit0 -x3001_bit0 -x3002_bit0 -x3003_bit0 -x3004_bit0 -x3005_bit0 -x3006_bit0 -x3007_bit0 -x3008_bit0 -x3009_bit0 -x3010_bit0 -x3011_bit0 -x3012_bit0 -x3013_bit0 -x3014_bit0 -x3015_bit0 -x3016_bit0 -x3017_bit0 -x3018_bit0 -x3019_bit0 -x3020_bit0 -x3021_bit0 -x3022_bit0 -x3023_bit0 -x3024_bit0 -x3025_bit0 -x3026_bit0 -x3027_bit0 -x3028_bit0 -x3029_bit0 -x3030_bit0 -x3031_bit0 -x3032_bit0 -x3033_bit0 -x3034_bit0 -x3035_bit0 -x3036_bit0 -x3037_bit0 -x3038_bit0 -x3039_bit0 -x3040_bit0 -x3041_bit0 -x3042_bit0 -x3043_bit0 -x3044_bit0 -x3045_bit0 -x3046_bit0 -x3047_bit0 -x3048_bit0 -x3049_bit0 -x3050_bit0 -x3051_bit0 -x3052_bit0 -x3053_bit0 -x3054_bit0 -x3055_bit0 -x3056_bit0 -x3057_bit0 -x3058_bit0 -x3059_bit0 -x3060_bit0 -x3061_bit0 -x3062_bit0 -x3063_bit0 -x3064_bit0 -x3065_bit0 -x3066_bit0 -x3067_bit0 -x3068_bit0 -x3069_bit0 -x3070_bit0 -x3071_bit0 -x3072_bit0 -x3073_bit0 -x3074_bit0 -x3075_bit0 -x3076_bit0 -x3077_bit0 -x3078_bit0 -x3079_bit0 -x3080_bit0 -x3081_bit0 -x3082_bit0 -x3083_bit0 -x3084_bit0 -x3085_bit0 -x3086_bit0 -x3087_bit0 -x3088_bit0 -x3089_bit0 -x3090_bit0 -x3091_bit0 -x3092_bit0 -x3093_bit0 -x3094_bit0 -x3095_bit0 -x3096_bit0 -x3097_bit0 -x3098_bit0 -x3099_bit0 -x3100_bit0 -x3101_bit0 -x3102_bit0 -x3103_bit0 -x3104_bit0 -x3105_bit0 -x3106_bit0 -x3107_bit0 -x3108_bit0 -x3109_bit0 -x3110_bit0 -x3111_bit0 -x3112_bit0 -x3113_bit0 -x3114_bit0 -x3115_bit0 -x3116_bit0 -x3117_bit0 -x3118_bit0 -x3119_bit0 -x3120_bit0 -x3121_bit0 -x3122_bit0 -x3123_bit0 -x3124_bit0 -x3125_bit0 -x3126_bit0 -x3127_bit0 -x3128_bit0 -x3129_bit0 -x3130_bit0 -x3131_bit0 -x3132_bit0 -x3133_bit0 -x3134_bit0 -x3135_bit0 -x3136_bit0 -x3137_bit0 -x3138_bit0 -x3139_bit0 -x3140_bit0 -x3141_bit0 -x3142_bit0 -x3143_bit0 -x3144_bit0 -x3145_bit0 -x3146_bit0 -x3147_bit0 -x3148_bit0 -x3149_bit0 -x3150_bit0 -x3151_bit0 -x3152_bit0 -x3153_bit0 -x3154_bit0 -x3155_bit0 -x3156_bit0 -x3157_bit0 -x3158_bit0 -x3159_bit0 -x3160_bit0 -x3161_bit0 -x3162_bit0 -x3163_bit0 -x3164_bit0 -x3165_bit0 -x3166_bit0 -x3167_bit0 -x3168_bit0 -x3169_bit0 -x3170_bit0 -x3171_bit0 -x3172_bit0 -x3173_bit0 -x3174_bit0 -x3175_bit0 -x3176_bit0 -x3177_bit0 -x3178_bit0 -x3179_bit0 -x3180_bit0 -x3181_bit0 -x3182_bit0 -x3183_bit0 -x3184_bit0 -x3185_bit0 -x3186_bit0 -x3187_bit0 -x3188_bit0 -x3189_bit0 -x3190_bit0 -x3191_bit0 -x3192_bit0 -x3193_bit0 -x3194_bit0 -x3195_bit0 -x3196_bit0 -x3197_bit0 -x3198_bit0 -x3199_bit0 -x3200_bit0 -x3201_bit0 -x3202_bit0 -x3203_bit0 -x3204_bit0 -x3205_bit0 -x3206_bit0 -x3207_bit0 -x3208_bit0 -x3209_bit0 -x3210_bit0 -x3211_bit0 -x3212_bit0 -x3213_bit0 -x3214_bit0 -x3215_bit0 -x3216_bit0 -x3217_bit0 -x3218_bit0 -x3219_bit0 -x3220_bit0 -x3221_bit0 -x3222_bit0 -x3223_bit0 -x3224_bit0 -x3225_bit0 -x3226_bit0 -x3227_bit0 -x3228_bit0 -x3229_bit0 -x3230_bit0 -x3231_bit0 -x3232_bit0 -x3233_bit0 -x3234_bit0 -x3235_bit0 -x3236_bit0 -x3237_bit0 -x3238_bit0 -x3239_bit0 -x3240_bit0 -x3241_bit0 -x3242_bit0 -x3243_bit0 -x3244_bit0 -x3245_bit0 -x3246_bit0 -x3247_bit0 -x3248_bit0 -x3249_bit0 -x3250_bit0 -x3251_bit0 -x3252_bit0 -x3253_bit0 -x3254_bit0 -x3255_bit0 -x3256_bit0 -x3257_bit0 -x3258_bit0 -x3259_bit0 -x3260_bit0 -x3261_bit0 -x3262_bit0 -x3263_bit0 -x3264_bit0 -x3265_bit0 -x3266_bit0 -x3267_bit0 -x3268_bit0 -x3269_bit0 -x3270_bit0 -x3271_bit0 -x3272_bit0 -x3273_bit0 -x3274_bit0 -x3275_bit0 -x3276_bit0 -x3277_bit0 -x3278_bit0 -x3279_bit0 -x3280_bit0 -x3281_bit0 -x3282_bit0 -x3283_bit0 -x3284_bit0 -x3285_bit0 -x3286_bit0 -x3287_bit0 -x3288_bit0 -x3289_bit0 -x3290_bit0 -x3291_bit0 -x3292_bit0 -x3293_bit0 -x3294_bit0 -x3295_bit0 -x3296_bit0 -x3297_bit0 -x3298_bit0 -x3299_bit0 -x3300_bit0 -x3301_bit0 -x3302_bit0 -x3303_bit0 -x3304_bit0 -x3305_bit0 -x3306_bit0 -x3307_bit0 -x3308_bit0 -x3309_bit0 -x3310_bit0 -x3311_bit0 -x3312_bit0 -x3313_bit0 -x3314_bit0 -x3315_bit0 -x3316_bit0 -x3317_bit0 -x3318_bit0 -x3319_bit0 -x3320_bit0 -x3321_bit0 -x3322_bit0 -x3323_bit0 -x3324_bit0 -x3325_bit0 -x3326_bit0 -x3327_bit0 -x3328_bit0 -x3329_bit0 -x3330_bit0 -x3331_bit0 -x3332_bit0 -x3333_bit0 -x3334_bit0 -x3335_bit0 -x3336_bit0 -x3337_bit0 -x3338_bit0 -x3339_bit0 -x3340_bit0 -x3341_bit0 -x3342_bit0 -x3343_bit0 -x3344_bit0 -x3345_bit0 -x3346_bit0 -x3347_bit0 -x3348_bit0 -x3349_bit0 -x3350_bit0 -x3351_bit0 -x3352_bit0 -x3353_bit0 -x3354_bit0 -x3355_bit0 -x3356_bit0 -x3357_bit0 -x3358_bit0 -x3359_bit0 -x3360_bit0 -x3361_bit0 -x3362_bit0 -x3363_bit0 -x3364_bit0 -x3365_bit0 -x3366_bit0 -x3367_bit0 -x3368_bit0 -x3369_bit0 -x3370_bit0 -x3371_bit0 -x3372_bit0 -x3373_bit0 -x3374_bit0 -x3375_bit0 -x3376_bit0 -x3377_bit0 -x3378_bit0 -x3379_bit0 -x3380_bit0 -x3381_bit0 -x3382_bit0 -x3383_bit0 -x3384_bit0 -x3385_bit0 -x3386_bit0 -x3387_bit0 -x3388_bit0 -x3389_bit0 -x3390_bit0 -x3391_bit0 -x3392_bit0 -x3393_bit0 -x3394_bit0 -x3395_bit0 -x3396_bit0 -x3397_bit0 -x3398_bit0 -x3399_bit0 -x3400_bit0 -x3401_bit0 -x3402_bit0 -x3403_bit0 -x3404_bit0 -x3405_bit0 -x3406_bit0 -x3407_bit0 -x3408_bit0 -x3409_bit0 -x3410_bit0 -x3411_bit0 -x3412_bit0 -x3413_bit0 -x3414_bit0 -x3415_bit0 -x3416_bit0 -x3417_bit0 -x3418_bit0 -x3419_bit0 -x3420_bit0 -x3421_bit0 -x3422_bit0 -x3423_bit0 -x3424_bit0 -x3425_bit0 -x3426_bit0 -x3427_bit0 -x3428_bit0 -x3429_bit0 -x3430_bit0 -x3431_bit0 -x3432_bit0 -x3433_bit0 -x3434_bit0 -x3435_bit0 -x3436_bit0 -x3437_bit0 -x3438_bit0 -x3439_bit0 -x3440_bit0 -x3441_bit0 -x3442_bit0 -x3443_bit0 -x3444_bit0 -x3445_bit0 -x3446_bit0 -x3447_bit0 -x3448_bit0 -x3449_bit0 -x3450_bit0 -x3451_bit0 -x3452_bit0 -x3453_bit0 -x3454_bit0 -x3455_bit0 -x3456_bit0 -x3457_bit0 -x3458_bit0 -x3459_bit0 -x3460_bit0 -x3461_bit0 -x3462_bit0 -x3463_bit0 -x3464_bit0 -x3465_bit0 -x3466_bit0 -x3467_bit0 -x3468_bit0 -x3469_bit0 -x3470_bit0 -x3471_bit0 -x3472_bit0 -x3473_bit0 -x3474_bit0 -x3475_bit0 -x3476_bit0 -x3477_bit0 -x3478_bit0 -x3479_bit0 -x3480_bit0 -x3481_bit0 -x3482_bit0 -x3483_bit0 -x3484_bit0 -x3485_bit0 -x3486_bit0 -x3487_bit0 -x3488_bit0 -x3489_bit0 -x3490_bit0 -x3491_bit0 -x3492_bit0 -x3493_bit0 -x3494_bit0 -x3495_bit0 -x3496_bit0 -x3497_bit0 -x3498_bit0 -x3499_bit0 -x3500_bit0 -x3501_bit0 -x3502_bit0 -x3503_bit0 -x3504_bit0 -x3505_bit0 -x3506_bit0 -x3507_bit0 -x3508_bit0 -x3509_bit0 -x3510_bit0 -x3511_bit0 -x3512_bit0 -x3513_bit0 -x3514_bit0 -x3515_bit0 -x3516_bit0 -x3517_bit0 -x3518_bit0 -x3519_bit0 -x3520_bit0 -x3521_bit0 -x3522_bit0 -x3523_bit0 -x3524_bit0 -x3525_bit0 -x3526_bit0 -x3527_bit0 -x3528_bit0 -x3529_bit0 -x3530_bit0 -x3531_bit0 -x3532_bit0 -x3533_bit0 -x3534_bit0 -x3535_bit0 -x3536_bit0 -x3537_bit0 -x3538_bit0 -x3539_bit0 -x3540_bit0 -x3541_bit0 -x3542_bit0 -x3543_bit0 -x3544_bit0 -x3545_bit0 -x3546_bit0 -x3547_bit0 -x3548_bit0 -x3549_bit0 -x3550_bit0 -x3551_bit0 -x3552_bit0 -x3553_bit0 -x3554_bit0 -x3555_bit0 -x3556_bit0 -x3557_bit0 -x3558_bit0 -x3559_bit0 -x3560_bit0 -x3561_bit0 -x3562_bit0 -x3563_bit0 -x3564_bit0 -x3565_bit0 -x3566_bit0 -x3567_bit0 -x3568_bit0 -x3569_bit0 -x3570_bit0 -x3571_bit0 -x3572_bit0 -x3573_bit0 -x3574_bit0 -x3575_bit0 -x3576_bit0 -x3577_bit0 -x3578_bit0 -x3579_bit0 -x3580_bit0 -x3581_bit0 -x3582_bit0 -x3583_bit0 -x3584_bit0 -x3585_bit0 -x3586_bit0 -x3587_bit0 -x3588_bit0 -x3589_bit0 -x3590_bit0 -x3591_bit0 -x3592_bit0 -x3593_bit0 -x3594_bit0 -x3595_bit0 -x3596_bit0 -x3597_bit0 -x3598_bit0 -x3599_bit0 -x3600_bit0 -x3601_bit0 -x3602_bit0 -x3603_bit0 -x3604_bit0 -x3605_bit0 -x3606_bit0 -x3607_bit0 -x3608_bit0 -x3609_bit0 -x3610_bit0 -x3611_bit0 -x3612_bit0 -x3613_bit0 -x3614_bit0 -x3615_bit0 -x3616_bit0 -x3617_bit0 -x3618_bit0 -x3619_bit0 -x3620_bit0 -x3621_bit0 -x3622_bit0 -x3623_bit0 -x3624_bit0 -x3625_bit0 -x3626_bit0 -x3627_bit0 -x3628_bit0 -x3629_bit0 -x3630_bit0 -x3631_bit0 -x3632_bit0 -x3633_bit0 -x3634_bit0 -x3635_bit0 -x3636_bit0 -x3637_bit0 -x3638_bit0 -x3639_bit0 -x3640_bit0 -x3641_bit0 -x3642_bit0 -x3643_bit0 -x3644_bit0 -x3645_bit0 -x3646_bit0 -x3647_bit0 -x3648_bit0 -x3649_bit0 -x3650_bit0 -x3651_bit0 -x3652_bit0 -x3653_bit0 -x3654_bit0 -x3655_bit0 -x3656_bit0 -x3657_bit0 -x3658_bit0 -x3659_bit0 -x3660_bit0 -x3661_bit0 -x3662_bit0 -x3663_bit0 -x3664_bit0 -x3665_bit0 -x3666_bit0 -x3667_bit0 -x3668_bit0 -x3669_bit0 -x3670_bit0 -x3671_bit0 -x3672_bit0 -x3673_bit0 -x3674_bit0 -x3675_bit0 -x3676_bit0 -x3677_bit0 -x3678_bit0 -x3679_bit0 -x3680_bit0 -x3681_bit0 -x3682_bit0 -x3683_bit0 -x3684_bit0 -x3685_bit0 -x3686_bit0 -x3687_bit0 -x3688_bit0 -x3689_bit0 -x3690_bit0 -x3691_bit0 -x3692_bit0 -x3693_bit0 -x3694_bit0 -x3695_bit0 -x3696_bit0 -x3697_bit0 -x3698_bit0 -x3699_bit0 -x3700_bit0 -x3701_bit0 -x3702_bit0 -x3703_bit0 -x3704_bit0 -x3705_bit0 -x3706_bit0 -x3707_bit0 -x3708_bit0 -x3709_bit0 -x3710_bit0 -x3711_bit0 -x3712_bit0 -x3713_bit0 -x3714_bit0 -x3715_bit0 -x3716_bit0 -x3717_bit0 -x3718_bit0 -x3719_bit0 -x3720_bit0 -x3721_bit0 -x3722_bit0 -x3723_bit0 -x3724_bit0 -x3725_bit0 -x3726_bit0 -x3727_bit0 -x3728_bit0 -x3729_bit0 -x3730_bit0 -x3731_bit0 -x3732_bit0 -x3733_bit0 -x3734_bit0 -x3735_bit0 -x3736_bit0 -x3737_bit0 -x3738_bit0 -x3739_bit0 -x3740_bit0 -x3741_bit0 -x3742_bit0 -x3743_bit0 -x3744_bit0 -x3745_bit0 -x3746_bit0 -x3747_bit0 -x3748_bit0 -x3749_bit0 -x3750_bit0 -x3751_bit0 -x3752_bit0 -x3753_bit0 -x3754_bit0 -x3755_bit0 -x3756_bit0 -x3757_bit0 -x3758_bit0 -x3759_bit0 -x3760_bit0 -x3761_bit0 -x3762_bit0 -x3763_bit0 -x3764_bit0 -x3765_bit0 -x3766_bit0 -x3767_bit0 -x3768_bit0 -x3769_bit0 -x3770_bit0 -x3771_bit0 -x3772_bit0 -x3773_bit0 -x3774_bit0 -x3775_bit0 -x3776_bit0 -x3777_bit0 -x3778_bit0 -x3779_bit0 -x3780_bit0 -x3781_bit0 -x3782_bit0 -x3783_bit0 -x3784_bit0 -x3785_bit0 -x3786_bit0 -x3787_bit0 -x3788_bit0 -x3789_bit0 -x3790_bit0 -x3791_bit0 -x3792_bit0 -x3793_bit0 -x3794_bit0 -x3795_bit0 -x3796_bit0 -x3797_bit0 -x3798_bit0 -x3799_bit0 -x3800_bit0 -x3801_bit0 -x3802_bit0 -x3803_bit0 -x3804_bit0 -x3805_bit0 -x3806_bit0 -x3807_bit0 -x3808_bit0 -x3809_bit0 -x3810_bit0 -x3811_bit0 -x3812_bit0 -x3813_bit0 -x3814_bit0 -x3815_bit0 -x3816_bit0 -x3817_bit0 -x3818_bit0 -x3819_bit0 -x3820_bit0 -x3821_bit0 -x3822_bit0 -x3823_bit0 -x3824_bit0 -x3825_bit0 -x3826_bit0 -x3827_bit0 -x3828_bit0 -x3829_bit0 -x3830_bit0 -x3831_bit0 -x3832_bit0 -x3833_bit0 -x3834_bit0 -x3835_bit0 -x3836_bit0 -x3837_bit0 -x3838_bit0 -x3839_bit0 -x3840_bit0 -x3841_bit0 -x3842_bit0 -x3843_bit0 -x3844_bit0 -x3845_bit0 -x3846_bit0 -x3847_bit0 -x3848_bit0 -x3849_bit0 -x3850_bit0 -x3851_bit0 -x3852_bit0 -x3853_bit0 -x3854_bit0 -x3855_bit0 -x3856_bit0 -x3857_bit0 -x3858_bit0 -x3859_bit0 -x3860_bit0 -x3861_bit0 -x3862_bit0 -x3863_bit0 -x3864_bit0 -x3865_bit0 -x3866_bit0 -x3867_bit0 -x3868_bit0 -x3869_bit0 -x3870_bit0 -x3871_bit0 -x3872_bit0 -x3873_bit0 -x3874_bit0 -x3875_bit0 -x3876_bit0 -x3877_bit0 -x3878_bit0 -x3879_bit0 -x3880_bit0 -x3881_bit0 -x3882_bit0 -x3883_bit0 -x3884_bit0 -x3885_bit0 -x3886_bit0 -x3887_bit0 -x3888_bit0 -x3889_bit0 -x3890_bit0 -x3891_bit0 -x3892_bit0 -x3893_bit0 -x3894_bit0 -x3895_bit0 -x3896_bit0 -x3897_bit0 -x3898_bit0 -x3899_bit0 -x3900_bit0 -x3901_bit0 -x3902_bit0 -x3903_bit0 -x3904_bit0 -x3905_bit0 -x3906_bit0 -x3907_bit0 -x3908_bit0 -x3909_bit0 -x3910_bit0 -x3911_bit0 -x3912_bit0 -x3913_bit0 -x3914_bit0 -x3915_bit0 -x3916_bit0 -x3917_bit0 -x3918_bit0 -x3919_bit0 -x3920_bit0 -x3921_bit0 -x3922_bit0 -x3923_bit0 -x3924_bit0 -x3925_bit0 -x3926_bit0 -x3927_bit0 -x3928_bit0 -x3929_bit0 -x3930_bit0 -x3931_bit0 -x3932_bit0 -x3933_bit0 -x3934_bit0 -x3935_bit0 -x3936_bit0 -x3937_bit0 -x3938_bit0 -x3939_bit0 -x3940_bit0 -x3941_bit0 -x3942_bit0 -x3943_bit0 -x3944_bit0 -x3945_bit0 -x3946_bit0 -x3947_bit0 -x3948_bit0 -x3949_bit0 -x3950_bit0 -x3951_bit0 -x3952_bit0 -x3953_bit0 -x3954_bit0 -x3955_bit0 -x3956_bit0 -x3957_bit0 -x3958_bit0 -x3959_bit0 -x3960_bit0 -x3961_bit0 -x3962_bit0 -x3963_bit0 -x3964_bit0 -x3965_bit0 -x3966_bit0 -x3967_bit0 -x3968_bit0 -x3969_bit0 -x3970_bit0 -x3971_bit0 -x3972_bit0 -x3973_bit0 -x3974_bit0 -x3975_bit0 -x3976_bit0 -x3977_bit0 -x3978_bit0 -x3979_bit0 -x3980_bit0 -x3981_bit0 -x3982_bit0 -x3983_bit0 -x3984_bit0 -x3985_bit0 -x3986_bit0 -x3987_bit0 -x3988_bit0 -x3989_bit0 -x3990_bit0 -x3991_bit0 -x3992_bit0 -x3993_bit0 -x3994_bit0 -x3995_bit0 -x3996_bit0 -x3997_bit0 -x3998_bit0 -x3999_bit0 -x4000_bit0 -x4001_bit0 -x4002_bit0 -x4003_bit0 -x4004_bit0 -x4005_bit0 -x4006_bit0 -x4007_bit0 -x4008_bit0 -x4009_bit0 -x4010_bit0 -x4011_bit0 -x4012_bit0 -x4013_bit0 -x4014_bit0 -x4015_bit0 -x4016_bit0 -x4017_bit0 -x4018_bit0 -x4019_bit0 -x4020_bit0 -x4021_bit0 -x4022_bit0 -x4023_bit0 -x4024_bit0 -x4025_bit0 -x4026_bit0 -x4027_bit0 -x4028_bit0 -x4029_bit0 -x4030_bit0 -x4031_bit0 -x4032_bit0 -x4033_bit0 -x4034_bit0 -x4035_bit0 -x4036_bit0 -x4037_bit0 -x4038_bit0 -x4039_bit0 -x4040_bit0 -x4041_bit0 -x4042_bit0 -x4043_bit0 -x4044_bit0 -x4045_bit0 -x4046_bit0 -x4047_bit0 -x4048_bit0 -x4049_bit0 -x4050_bit0 -x4051_bit0 -x4052_bit0 -x4053_bit0 -x4054_bit0 -x4055_bit0 -x4056_bit0 -x4057_bit0 -x4058_bit0 -x4059_bit0 -x4060_bit0 -x4061_bit0 -x4062_bit0 -x4063_bit0 -x4064_bit0 -x4065_bit0 -x4066_bit0 -x4067_bit0 -x4068_bit0 -x4069_bit0 -x4070_bit0 -x4071_bit0 -x4072_bit0 -x4073_bit0 -x4074_bit0 -x4075_bit0 -x4076_bit0 -x4077_bit0 -x4078_bit0 -x4079_bit0 -x4080_bit0 -x4081_bit0 -x4082_bit0 -x4083_bit0 -x4084_bit0 -x4085_bit0 -x4086_bit0 -x4087_bit0 -x4088_bit0 -x4089_bit0 -x4090_bit0 -x4091_bit0 -x4092_bit0 -x4093_bit0 -x4094_bit0 -x4095_bit0 -x4096_bit0 -x4097_bit0 -x4098_bit0 -x4099_bit0 -x4100_bit0 -x4101_bit0 -x4102_bit0 -x4103_bit0 -x4104_bit0 -x4105_bit0 -x4106_bit0 -x4107_bit0 -x4108_bit0 -x4109_bit0 -x4110_bit0 -x4111_bit0 -x4112_bit0 -x4113_bit0 -x4114_bit0 -x4115_bit0 -x4116_bit0 -x4117_bit0 -x4118_bit0 -x4119_bit0 -x4120_bit0 -x4121_bit0 -x4122_bit0 -x4123_bit0 -x4124_bit0 -x4125_bit0 -x4126_bit0 -x4127_bit0 -x4128_bit0 -x4129_bit0 -x4130_bit0 -x4131_bit0 -x4132_bit0 -x4133_bit0 -x4134_bit0 -x4135_bit0 -x4136_bit0 -x4137_bit0 -x4138_bit0 -x4139_bit0 -x4140_bit0 -x4141_bit0 -x4142_bit0 -x4143_bit0 -x4144_bit0 -x4145_bit0 -x4146_bit0 -x4147_bit0 -x4148_bit0 -x4149_bit0 -x4150_bit0 -x4151_bit0 -x4152_bit0 -x4153_bit0 -x4154_bit0 -x4155_bit0 -x4156_bit0 -x4157_bit0 -x4158_bit0 -x4159_bit0 -x4160_bit0 -x4161_bit0 -x4162_bit0 -x4163_bit0 -x4164_bit0 -x4165_bit0 -x4166_bit0 -x4167_bit0 -x4168_bit0 -x4169_bit0 -x4170_bit0 -x4171_bit0 -x4172_bit0 -x4173_bit0 -x4174_bit0 -x4175_bit0 -x4176_bit0 -x4177_bit0 -x4178_bit0 -x4179_bit0 -x4180_bit0 -x4181_bit0 -x4182_bit0 -x4183_bit0 -x4184_bit0 -x4185_bit0 -x4186_bit0 -x4187_bit0 -x4188_bit0 -x4189_bit0 -x4190_bit0 -x4191_bit0 -x4192_bit0 -x4193_bit0 -x4194_bit0 -x4195_bit0 -x4196_bit0 -x4197_bit0 -x4198_bit0 -x4199_bit0 -x4200_bit0 -x4201_bit0 -x4202_bit0 -x4203_bit0 -x4204_bit0 -x4205_bit0 -x4206_bit0 -x4207_bit0 -x4208_bit0 -x4209_bit0 -x4210_bit0 -x4211_bit0 -x4212_bit0 -x4213_bit0 -x4214_bit0 -x4215_bit0 -x4216_bit0 -x4217_bit0 -x4218_bit0 -x4219_bit0 -x4220_bit0 -x4221_bit0 -x4222_bit0 -x4223_bit0 -x4224_bit0 -x4225_bit0 -x4226_bit0 -x4227_bit0 -x4228_bit0 -x4229_bit0 -x4230_bit0 -x4231_bit0 -x4232_bit0 -x4233_bit0 -x4234_bit0 -x4235_bit0 -x4236_bit0 -x4237_bit0 -x4238_bit0 -x4239_bit0 -x4240_bit0 -x4241_bit0 -x4242_bit0 -x4243_bit0 -x4244_bit0 -x4245_bit0 -x4246_bit0 -x4247_bit0 -x4248_bit0 -x4249_bit0 -x4250_bit0 -x4251_bit0 -x4252_bit0 -x4253_bit0 -x4254_bit0 -x4255_bit0 -x4256_bit0 -x4257_bit0 -x4258_bit0 -x4259_bit0 -x4260_bit0 -x4261_bit0 -x4262_bit0 -x4263_bit0 -x4264_bit0 -x4265_bit0 -x4266_bit0 -x4267_bit0 -x4268_bit0 -x4269_bit0 -x4270_bit0 -x4271_bit0 -x4272_bit0 -x4273_bit0 -x4274_bit0 -x4275_bit0 -x4276_bit0 -x4277_bit0 -x4278_bit0 -x4279_bit0 -x4280_bit0 -x4281_bit0 -x4282_bit0 -x4283_bit0 -x4284_bit0 -x4285_bit0 -x4286_bit0 -x4287_bit0 -x4288_bit0 -x4289_bit0 -x4290_bit0 -x4291_bit0 -x4292_bit0 -x4293_bit0 -x4294_bit0 -x4295_bit0 -x4296_bit0 -x4297_bit0 -x4298_bit0 -x4299_bit0 -x4300_bit0 -x4301_bit0 -x4302_bit0 -x4303_bit0 -x4304_bit0 -x4305_bit0 -x4306_bit0 -x4307_bit0 -x4308_bit0 -x4309_bit0 -x4310_bit0 -x4311_bit0 -x4312_bit0 -x4313_bit0 -x4314_bit0 -x4315_bit0 -x4316_bit0 -x4317_bit0 -x4318_bit0 -x4319_bit0 -x4320_bit0 -x4321_bit0 -x4322_bit0 -x4323_bit0 -x4324_bit0 -x4325_bit0 -x4326_bit0 -x4327_bit0 -x4328_bit0 -x4329_bit0 -x4330_bit0 -x4331_bit0 -x4332_bit0 -x4333_bit0 -x4334_bit0 -x4335_bit0 -x4336_bit0 -x4337_bit0 -x4338_bit0 -x4339_bit0 -x4340_bit0 -x4341_bit0 -x4342_bit0 -x4343_bit0 -x4344_bit0 -x4345_bit0 -x4346_bit0 -x4347_bit0 -x4348_bit0 -x4349_bit0 -x4350_bit0 -x4351_bit0 -x4352_bit0 -x4353_bit0 -x4354_bit0 -x4355_bit0 -x4356_bit0 -x4357_bit0 -x4358_bit0 -x4359_bit0 -x4360_bit0 -x4361_bit0 -x4362_bit0 -x4363_bit0 -x4364_bit0 -x4365_bit0 -x4366_bit0 -x4367_bit0 -x4368_bit0 -x4369_bit0 -x4370_bit0 -x4371_bit0 -x4372_bit0 -x4373_bit0 -x4374_bit0 -x4375_bit0 -x4376_bit0 -x4377_bit0 -x4378_bit0 -x4379_bit0 -x4380_bit0 -x4381_bit0 -x4382_bit0 -x4383_bit0 -x4384_bit0 -x4385_bit0 -x4386_bit0 -x4387_bit0 -x4388_bit0 -x4389_bit0 -x4390_bit0 -x4391_bit0 -x4392_bit0 -x4393_bit0 -x4394_bit0 -x4395_bit0 -x4396_bit0 -x4397_bit0 -x4398_bit0 -x4399_bit0 -x4400_bit0 -x4401_bit0 -x4402_bit0 -x4403_bit0 -x4404_bit0 -x4405_bit0 -x4406_bit0 -x4407_bit0 -x4408_bit0 -x4409_bit0 -x4410_bit0 -x4411_bit0 -x4412_bit0 -x4413_bit0 -x4414_bit0 -x4415_bit0 -x4416_bit0 -x4417_bit0 -x4418_bit0 -x4419_bit0 -x4420_bit0 -x4421_bit0 -x4422_bit0 -x4423_bit0 -x4424_bit0 -x4425_bit0 -x4426_bit0 -x4427_bit0 -x4428_bit0 -x4429_bit0 -x4430_bit0 -x4431_bit0 -x4432_bit0 -x4433_bit0 -x4434_bit0 -x4435_bit0 -x4436_bit0 -x4437_bit0 -x4438_bit0 -x4439_bit0 -x4440_bit0 -x4441_bit0 -x4442_bit0 -x4443_bit0 -x4444_bit0 -x4445_bit0 -x4446_bit0 -x4447_bit0 -x4448_bit0 -x4449_bit0 -x4450_bit0 -x4451_bit0 -x4452_bit0 -x4453_bit0 -x4454_bit0 -x4455_bit0 -x4456_bit0 -x4457_bit0 -x4458_bit0 -x4459_bit0 -x4460_bit0 -x4461_bit0 -x4462_bit0 -x4463_bit0 -x4464_bit0 -x4465_bit0 -x4466_bit0 -x4467_bit0 -x4468_bit0 -x4469_bit0 -x4470_bit0 -x4471_bit0 -x4472_bit0 -x4473_bit0 -x4474_bit0 -x4475_bit0 -x4476_bit0 -x4477_bit0 -x4478_bit0 -x4479_bit0 -x4480_bit0 -x4481_bit0 -x4482_bit0 -x4483_bit0 -x4484_bit0 -x4485_bit0 -x4486_bit0 -x4487_bit0 -x4488_bit0 -x4489_bit0 -x4490_bit0 -x4491_bit0 -x4492_bit0 -x4493_bit0 -x4494_bit0 -x4495_bit0 -x4496_bit0 -x4497_bit0 -x4498_bit0 -x4499_bit0 -x4500_bit0 -x4501_bit0 -x4502_bit0 -x4503_bit0 -x4504_bit0 -x4505_bit0 -x4506_bit0 -x4507_bit0 -x4508_bit0 -x4509_bit0 -x4510_bit0 -x4511_bit0 -x4512_bit0 -x4513_bit0 -x4514_bit0 -x4515_bit0 -x4516_bit0 -x4517_bit0 -x4518_bit0 -x4519_bit0 -x4520_bit0 -x4521_bit0 -x4522_bit0 -x4523_bit0 -x4524_bit0 -x4525_bit0 -x4526_bit0 -x4527_bit0 -x4528_bit0 -x4529_bit0 -x4530_bit0 -x4531_bit0 -x4532_bit0 -x4533_bit0 -x4534_bit0 -x4535_bit0 -x4536_bit0 -x4537_bit0 -x4538_bit0 -x4539_bit0 -x4540_bit0 -x4541_bit0 -x4542_bit0 -x4543_bit0 -x4544_bit0 -x4545_bit0 -x4546_bit0 -x4547_bit0 -x4548_bit0 -x4549_bit0 -x4550_bit0 -x4551_bit0 -x4552_bit0 -x4553_bit0 -x4554_bit0 -x4555_bit0 -x4556_bit0 -x4557_bit0 -x4558_bit0 -x4559_bit0 -x4560_bit0 -x4561_bit0 -x4562_bit0 -x4563_bit0 -x4564_bit0 -x4565_bit0 -x4566_bit0 -x4567_bit0 -x4568_bit0 -x4569_bit0 -x4570_bit0 -x4571_bit0 -x4572_bit0 -x4573_bit0 -x4574_bit0 -x4575_bit0 -x4576_bit0 -x4577_bit0 -x4578_bit0 -x4579_bit0 -x4580_bit0 -x4581_bit0 -x4582_bit0 -x4583_bit0 -x4584_bit0 -x4585_bit0 -x4586_bit0 -x4587_bit0 -x4588_bit0 -x4589_bit0 -x4590_bit0 -x4591_bit0 -x4592_bit0 -x4593_bit0 -x4594_bit0 -x4595_bit0 -x4596_bit0 -x4597_bit0 -x4598_bit0 -x4599_bit0 -x4600_bit0 -x4601_bit0 -x4602_bit0 -x4603_bit0 -x4604_bit0 -x4605_bit0 -x4606_bit0 -x4607_bit0 -x4608_bit0 -x4609_bit0 -x4610_bit0 -x4611_bit0 -x4612_bit0 -x4613_bit0 -x4614_bit0 -x4615_bit0 -x4616_bit0 -x4617_bit0 -x4618_bit0 -x4619_bit0 -x4620_bit0 -x4621_bit0 -x4622_bit0 -x4623_bit0 -x4624_bit0 -x4625_bit0 -x4626_bit0 -x4627_bit0 -x4628_bit0 -x4629_bit0 -x4630_bit0 -x4631_bit0 -x4632_bit0 -x4633_bit0 -x4634_bit0 -x4635_bit0 -x4636_bit0 -x4637_bit0 -x4638_bit0 -x4639_bit0 -x4640_bit0 -x4641_bit0 -x4642_bit0 -x4643_bit0 -x4644_bit0 -x4645_bit0 -x4646_bit0 -x4647_bit0 -x4648_bit0 -x4649_bit0 -x4650_bit0 -x4651_bit0 -x4652_bit0 -x4653_bit0 -x4654_bit0 -x4655_bit0 -x4656_bit0 -x4657_bit0 -x4658_bit0 -x4659_bit0 -x4660_bit0 -x4661_bit0 -x4662_bit0 -x4663_bit0 -x4664_bit0 -x4665_bit0 -x4666_bit0 -x4667_bit0 -x4668_bit0 -x4669_bit0 -x4670_bit0 -x4671_bit0 -x4672_bit0 -x4673_bit0 -x4674_bit0 -x4675_bit0 -x4676_bit0 -x4677_bit0 -x4678_bit0 -x4679_bit0 -x4680_bit0 -x4681_bit0 -x4682_bit0 -x4683_bit0 -x4684_bit0 -x4685_bit0 -x4686_bit0 -x4687_bit0 -x4688_bit0 -x4689_bit0 -x4690_bit0 -x4691_bit0 -x4692_bit0 -x4693_bit0 -x4694_bit0 -x4695_bit0 -x4696_bit0 -x4697_bit0 -x4698_bit0 -x4699_bit0 -x4700_bit0 -x4701_bit0 -x4702_bit0 -x4703_bit0 -x4704_bit0 -x4705_bit0 -x4706_bit0 -x4707_bit0 -x4708_bit0 -x4709_bit0 -x4710_bit0 -x4711_bit0 -x4712_bit0 -x4713_bit0 -x4714_bit0 -x4715_bit0 -x4716_bit0 -x4717_bit0 -x4718_bit0 -x4719_bit0 -x4720_bit0 -x4721_bit0 -x4722_bit0 -x4723_bit0 -x4724_bit0 -x4725_bit0 -x4726_bit0 -x4727_bit0 -x4728_bit0 -x4729_bit0 -x4730_bit0 -x4731_bit0 -x4732_bit0 -x4733_bit0 -x4734_bit0 -x4735_bit0 -x4736_bit0 -x4737_bit0 -x4738_bit0 -x4739_bit0 -x4740_bit0 -x4741_bit0 -x4742_bit0 -x4743_bit0 -x4744_bit0 -x4745_bit0 -x4746_bit0 -x4747_bit0 -x4748_bit0 -x4749_bit0 -x4750_bit0 -x4751_bit0 -x4752_bit0 -x4753_bit0 -x4754_bit0 -x4755_bit0 -x4756_bit0 -x4757_bit0 -x4758_bit0 -x4759_bit0 -x4760_bit0 -x4761_bit0 -x4762_bit0 -x4763_bit0 -x4764_bit0 -x4765_bit0 -x4766_bit0 -x4767_bit0 -x4768_bit0 -x4769_bit0 -x4770_bit0 -x4771_bit0 -x4772_bit0 -x4773_bit0 -x4774_bit0 -x4775_bit0 -x4776_bit0 -x4777_bit0 -x4778_bit0 -x4779_bit0 -x4780_bit0 -x4781_bit0 -x4782_bit0 -x4783_bit0 -x4784_bit0 -x4785_bit0 -x4786_bit0 -x4787_bit0 -x4788_bit0 -x4789_bit0 -x4790_bit0 -x4791_bit0 -x4792_bit0 -x4793_bit0 -x4794_bit0 -x4795_bit0 -x4796_bit0 -x4797_bit0 -x4798_bit0 -x4799_bit0 -x4800_bit0 -x4801_bit0 -x4802_bit0 -x4803_bit0 -x4804_bit0 -x4805_bit0 -x4806_bit0 -x4807_bit0 -x4808_bit0 -x4809_bit0 -x4810_bit0 -x4811_bit0 -x4812_bit0 -x4813_bit0 -x4814_bit0 -x4815_bit0 -x4816_bit0 -x4817_bit0 -x4818_bit0 -x4819_bit0 -x4820_bit0 -x4821_bit0 -x4822_bit0 -x4823_bit0 -x4824_bit0 -x4825_bit0 -x4826_bit0 -x4827_bit0 -x4828_bit0 -x4829_bit0 -x4830_bit0 -x4831_bit0 -x4832_bit0 -x4833_bit0 -x4834_bit0 -x4835_bit0 -x4836_bit0 -x4837_bit0 -x4838_bit0 -x4839_bit0 -x4840_bit0 -x4841_bit0 -x4842_bit0 -x4843_bit0 -x4844_bit0 -x4845_bit0 -x4846_bit0 -x4847_bit0 -x4848_bit0 -x4849_bit0 -x4850_bit0 -x4851_bit0 -x4852_bit0 -x4853_bit0 -x4854_bit0 -x4855_bit0 -x4856_bit0 -x4857_bit0 -x4858_bit0 -x4859_bit0 -x4860_bit0 -x4861_bit0 -x4862_bit0 -x4863_bit0 -x4864_bit0 -x4865_bit0 -x4866_bit0 -x4867_bit0 -x4868_bit0 -x4869_bit0 -x4870_bit0 -x4871_bit0 -x4872_bit0 -x4873_bit0 -x4874_bit0 -x4875_bit0 -x4876_bit0 -x4877_bit0 -x4878_bit0 -x4879_bit0 -x4880_bit0 -x4881_bit0 -x4882_bit0 -x4883_bit0 -x4884_bit0 -x4885_bit0 -x4886_bit0 -x4887_bit0 -x4888_bit0 -x4889_bit0 -x4890_bit0 -x4891_bit0 -x4892_bit0 -x4893_bit0 -x4894_bit0 -x4895_bit0 -x4896_bit0 -x4897_bit0 -x4898_bit0 -x4899_bit0 -x4900_bit0 -x4901_bit0 -x4902_bit0 -x4903_bit0 -x4904_bit0 -x4905_bit0 -x4906_bit0 -x4907_bit0 -x4908_bit0 -x4909_bit0 -x4910_bit0 -x4911_bit0 -x4912_bit0 -x4913_bit0 -x4914_bit0 -x4915_bit0 -x4916_bit0 -x4917_bit0 -x4918_bit0 -x4919_bit0 -x4920_bit0 -x4921_bit0 -x4922_bit0 -x4923_bit0 -x4924_bit0 -x4925_bit0 -x4926_bit0 -x4927_bit0 -x4928_bit0 -x4929_bit0 -x4930_bit0 -x4931_bit0 -x4932_bit0 -x4933_bit0 -x4934_bit0 -x4935_bit0 -x4936_bit0 -x4937_bit0 -x4938_bit0 -x4939_bit0 -x4940_bit0 -x4941_bit0 -x4942_bit0 -x4943_bit0 -x4944_bit0 -x4945_bit0 -x4946_bit0 -x4947_bit0 -x4948_bit0 -x4949_bit0 -x4950_bit0 -x4951_bit0 -x4952_bit0 -x4953_bit0 -x4954_bit0 -x4955_bit0 -x4956_bit0 -x4957_bit0 -x4958_bit0 -x4959_bit0 -x4960_bit0 -x4961_bit0 -x4962_bit0 -x4963_bit0 -x4964_bit0 -x4965_bit0 -x4966_bit0 -x4967_bit0 -x4968_bit0 -x4969_bit0 -x4970_bit0 -x4971_bit0 -x4972_bit0 -x4973_bit0 -x4974_bit0 -x4975_bit0 -x4976_bit0 -x4977_bit0 -x4978_bit0 -x4979_bit0 -x4980_bit0 -x4981_bit0 -x4982_bit0 -x4983_bit0 -x4984_bit0 -x4985_bit0 -x4986_bit0 -x4987_bit0 -x4988_bit0 -x4989_bit0 -x4990_bit0 -x4991_bit0 -x4992_bit0 -x4993_bit0 -x4994_bit0 -x4995_bit0 -x4996_bit0 -x4997_bit0 -x4998_bit0 -x4999_bit0 -x5000_bit0 -x5001_bit0 -x5002_bit0 -x5003_bit0 -x5004_bit0 -x5005_bit0 -x5006_bit0 -x5007_bit0 -x5008_bit0 -x5009_bit0 -x5010_bit0 -x5011_bit0 -x5012_bit0 -x5013_bit0 -x5014_bit0 -x5015_bit0 -x5016_bit0 -x5017_bit0 -x5018_bit0 -x5019_bit0 -x5020_bit0 -x5021_bit0 -x5022_bit0 -x5023_bit0 -x5024_bit0 -x5025_bit0 -x5026_bit0 -x5027_bit0 -x5028_bit0 -x5029_bit0 -x5030_bit0 -x5031_bit0 -x5032_bit0 -x5033_bit0 -x5034_bit0 -x5035_bit0 -x5036_bit0 -x5037_bit0 -x5038_bit0 -x5039_bit0 -x5040_bit0 -x5041_bit0 -x5042_bit0 -x5043_bit0 -x5044_bit0 -x5045_bit0 -x5046_bit0 -x5047_bit0 -x5048_bit0 -x5049_bit0 -x5050_bit0 -x5051_bit0 -x5052_bit0 -x5053_bit0 -x5054_bit0 -x5055_bit0 -x5056_bit0 -x5057_bit0 -x5058_bit0 -x5059_bit0 -x5060_bit0 -x5061_bit0 -x5062_bit0 -x5063_bit0 -x5064_bit0 -x5065_bit0 -x5066_bit0 -x5067_bit0 -x5068_bit0 -x5069_bit0 -x5070_bit0 -x5071_bit0 -x5072_bit0 -x5073_bit0 -x5074_bit0 -x5075_bit0 -x5076_bit0 -x5077_bit0 -x5078_bit0 -x5079_bit0 -x5080_bit0 -x5081_bit0 -x5082_bit0 -x5083_bit0 -x5084_bit0 -x5085_bit0 -x5086_bit0 -x5087_bit0 -x5088_bit0 -x5089_bit0 -x5090_bit0 -x5091_bit0 -x5092_bit0 -x5093_bit0 -x5094_bit0 -x5095_bit0 -x5096_bit0 -x5097_bit0 -x5098_bit0 -x5099_bit0 -x5100_bit0 -x5101_bit0 -x5102_bit0 -x5103_bit0 -x5104_bit0 -x5105_bit0 -x5106_bit0 -x5107_bit0 -x5108_bit0 -x5109_bit0 -x5110_bit0 -x5111_bit0 -x5112_bit0 -x5113_bit0 -x5114_bit0 -x5115_bit0 -x5116_bit0 -x5117_bit0 -x5118_bit0 -x5119_bit0 -x5120_bit0 -x5121_bit0 -x5122_bit0 -x5123_bit0 -x5124_bit0 -x5125_bit0 -x5126_bit0 -x5127_bit0 -x5128_bit0 -x5129_bit0 -x5130_bit0 -x5131_bit0 -x5132_bit0 -x5133_bit0 -x5134_bit0 -x5135_bit0 -x5136_bit0 -x5137_bit0 -x5138_bit0 -x5139_bit0 -x5140_bit0 -x5141_bit0 -x5142_bit0 -x5143_bit0 -x5144_bit0 -x5145_bit0 -x5146_bit0 -x5147_bit0 -x5148_bit0 -x5149_bit0 -x5150_bit0 -x5151_bit0 -x5152_bit0 -x5153_bit0 -x5154_bit0 -x5155_bit0 -x5156_bit0 -x5157_bit0 -x5158_bit0 -x5159_bit0 -x5160_bit0 -x5161_bit0 -x5162_bit0 -x5163_bit0 -x5164_bit0 -x5165_bit0 -x5166_bit0 -x5167_bit0 -x5168_bit0 -x5169_bit0 -x5170_bit0 -x5171_bit0 -x5172_bit0 -x5173_bit0 -x5174_bit0 -x5175_bit0 -x5176_bit0 -x5177_bit0 -x5178_bit0 -x5179_bit0 -x5180_bit0 -x5181_bit0 -x5182_bit0 -x5183_bit0 -x5184_bit0 -x5185_bit0 -x5186_bit0 -x5187_bit0 -x5188_bit0 -x5189_bit0 -x5190_bit0 -x5191_bit0 -x5192_bit0 -x5193_bit0 -x5194_bit0 -x5195_bit0 -x5196_bit0 -x5197_bit0 -x5198_bit0 -x5199_bit0 -x5200_bit0 -x5201_bit0 -x5202_bit0 -x5203_bit0 -x5204_bit0 -x5205_bit0 -x5206_bit0 -x5207_bit0 -x5208_bit0 -x5209_bit0 -x5210_bit0 -x5211_bit0 -x5212_bit0 -x5213_bit0 -x5214_bit0 -x5215_bit0 -x5216_bit0 -x5217_bit0 -x5218_bit0 -x5219_bit0 -x5220_bit0 -x5221_bit0 -x5222_bit0 -x5223_bit0 -x5224_bit0 -x5225_bit0 -x5226_bit0 -x5227_bit0 -x5228_bit0 -x5229_bit0 -x5230_bit0 -x5231_bit0 -x5232_bit0 -x5233_bit0 -x5234_bit0 -x5235_bit0 -x5236_bit0 -x5237_bit0 -x5238_bit0 -x5239_bit0 -x5240_bit0 -x5241_bit0 -x5242_bit0 -x5243_bit0 -x5244_bit0 -x5245_bit0 -x5246_bit0 -x5247_bit0 -x5248_bit0 -x5249_bit0 -x5250_bit0 -x5251_bit0 -x5252_bit0 -x5253_bit0 -x5254_bit0 -x5255_bit0 -x5256_bit0 -x5257_bit0 -x5258_bit0 -x5259_bit0 -x5260_bit0 -x5261_bit0 -x5262_bit0 -x5263_bit0 -x5264_bit0 -x5265_bit0 -x5266_bit0 -x5267_bit0 -x5268_bit0 -x5269_bit0 -x5270_bit0 -x5271_bit0 -x5272_bit0 -x5273_bit0 -x5274_bit0 -x5275_bit0 -x5276_bit0 -x5277_bit0 -x5278_bit0 -x5279_bit0 -x5280_bit0 -x5281_bit0 -x5282_bit0 -x5283_bit0 -x5284_bit0 -x5285_bit0 -x5286_bit0 -x5287_bit0 -x5288_bit0 -x5289_bit0 -x5290_bit0 -x5291_bit0 -x5292_bit0 -x5293_bit0 -x5294_bit0 -x5295_bit0 -x5296_bit0 -x5297_bit0 -x5298_bit0 -x5299_bit0 -x5300_bit0 -x5301_bit0 -x5302_bit0 -x5303_bit0 -x5304_bit0 -x5305_bit0 -x5306_bit0 -x5307_bit0 -x5308_bit0 -x5309_bit0 -x5310_bit0 -x5311_bit0 -x5312_bit0 -x5313_bit0 -x5314_bit0 -x5315_bit0 -x5316_bit0 -x5317_bit0 -x5318_bit0 -x5319_bit0 -x5320_bit0 -x5321_bit0 -x5322_bit0 -x5323_bit0 -x5324_bit0 -x5325_bit0 -x2947_bit_10 -x2947_bit_9 -x2947_bit_8 -x2947_bit_7 -x2947_bit_6 -x2947_bit_5 -x2947_bit_4 -x2947_bit_3 -x2947_bit_2 -x2947_bit_1 -x2947_bit0 -x2947_bit1 -x2947_bit2 -x2947_bit3 -x2947_bit4 -x2947_bit5 -x2947_bit6 -x2947_bit7 -x2947_bit8 -x2947_bit9 -x2947_bit10 -x2947_bit11 -x2947_bit12 -x2947_bit13 -x2947_bit14 -x2947_bit15 -x2947_bit16 -x2947_bit17 -x2947_bit18 -x2947_bit19 -x2948_bit_10 -x2948_bit_9 -x2948_bit_8 -x2948_bit_7 -x2948_bit_6 -x2948_bit_5 -x2948_bit_4 -x2948_bit_3 -x2948_bit_2 -x2948_bit_1 -x2948_bit0 -x2948_bit1 -x2948_bit2 -x2948_bit3 -x2948_bit4 -x2948_bit5 -x2948_bit6 -x2948_bit7 -x2948_bit8 -x2948_bit9 -x2948_bit10 -x2948_bit11 -x2948_bit12 -x2948_bit13 -x2948_bit14 -x2948_bit15 -x2948_bit16 -x2948_bit17 -x2948_bit18 -x2948_bit19 
c objectif function=0
c Total CPU time (ms) : 1219.495
#### 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.97 0.99 2/54 2254
Raw data (stat): 2254 (runsolver) R 2253 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837742087 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.87 0.97 0.99 2/63 2263
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18019 0 1 0 872 38 0 0 24 0 10 0 837742087 853471232 19301 4294967295 134512640 134569956 3221224368 3221214424 1130910776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208367 19301 13086 16 0 208351 0
vsize: 833468
[startup+20.0009 s]
Raw data (loadavg): 1.05 1.00 1.00 3/64 2264
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18116 0 1 0 1679 39 0 0 25 0 11 0 837742087 868409344 23415 4294967295 134512640 134569956 3221224368 3221214768 1131200067 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212014 23415 13086 16 0 211998 0
vsize: 848056
[startup+30.0011 s]
Raw data (loadavg): 1.12 1.02 1.00 2/64 2264
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18117 0 1 0 2572 39 0 0 25 0 11 0 837742087 865828864 23539 4294967295 134512640 134569956 3221224368 3221214568 1131340827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211384 23539 13086 16 0 211368 0
vsize: 845536
[startup+40.0013 s]
Raw data (loadavg): 1.10 1.02 1.00 2/64 2264
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18117 0 1 0 3460 39 0 0 25 0 11 0 837742087 865828864 23437 4294967295 134512640 134569956 3221224368 3221214568 1131339933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211384 23437 13086 16 0 211368 0
vsize: 845536
[startup+50.002 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18163 5 1 0 4334 40 0 0 25 0 11 0 837742087 869498880 25165 4294967295 134512640 134569956 3221224368 3221214568 1131340647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212280 25165 13086 16 0 212264 0
vsize: 849120
[startup+60.0032 s]
Raw data (loadavg): 1.07 1.01 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18163 5 1 0 5318 40 0 0 25 0 11 0 837742087 865828864 24298 4294967295 134512640 134569956 3221224368 3221214564 1131260071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211384 24298 13086 16 0 211368 0
vsize: 845536
[startup+70.0033 s]
Raw data (loadavg): 1.06 1.01 1.00 4/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18173 5 1 0 6224 40 0 0 25 0 11 0 837742087 866512896 24488 4294967295 134512640 134569956 3221224368 3221214596 1130909217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211551 24488 13086 16 0 211535 0
vsize: 846204
[startup+80.003 s]
Raw data (loadavg): 1.20 1.05 1.01 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18174 5 1 0 7105 40 0 0 25 0 11 0 837742087 867926016 25118 4294967295 134512640 134569956 3221224368 3221214568 1131340841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211896 25118 13086 16 0 211880 0
vsize: 847584
[startup+90.0043 s]
Raw data (loadavg): 1.17 1.04 1.01 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18174 5 1 0 8081 40 0 0 25 0 11 0 837742087 867926016 25118 4294967295 134512640 134569956 3221224368 3221214568 1131340380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211896 25118 13086 16 0 211880 0
vsize: 847584
[startup+100.004 s]
Raw data (loadavg): 1.14 1.04 1.01 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18174 5 1 0 9061 40 0 0 25 0 11 0 837742087 867926016 25118 4294967295 134512640 134569956 3221224368 3221214568 1131340350 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211896 25118 13086 16 0 211880 0
vsize: 847584
[startup+110.005 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18174 5 1 0 10053 40 0 0 25 0 11 0 837742087 867926016 25275 4294967295 134512640 134569956 3221224368 3221214568 1131339950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211896 25275 13086 16 0 211880 0
vsize: 847584
[startup+120.005 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18174 5 1 0 11051 40 0 0 25 0 11 0 837742087 867926016 25275 4294967295 134512640 134569956 3221224368 3221214672 1131456293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211896 25275 13086 16 0 211880 0
vsize: 847584
[startup+130.005 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 12041 40 0 0 25 0 11 0 837742087 866877440 24905 4294967295 134512640 134569956 3221224368 3221214464 1131265077 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 24905 13086 16 0 211624 0
vsize: 846560
[startup+140.006 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 13027 41 0 0 25 0 11 0 837742087 866877440 24906 4294967295 134512640 134569956 3221224368 3221214408 1131647347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 24906 13086 16 0 211624 0
vsize: 846560
[startup+150.007 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 14010 41 0 0 25 0 11 0 837742087 866877440 24906 4294967295 134512640 134569956 3221224368 3221214520 1131647827 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 24906 13086 16 0 211624 0
vsize: 846560
[startup+160.007 s]
Raw data (loadavg): 1.13 1.05 1.01 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 14994 41 0 0 25 0 11 0 837742087 866877440 24908 4294967295 134512640 134569956 3221224368 3221214536 1131264845 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 24908 13086 16 0 211624 0
vsize: 846560
[startup+170.007 s]
Raw data (loadavg): 1.11 1.04 1.01 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 15980 41 0 0 25 0 11 0 837742087 866877440 24912 4294967295 134512640 134569956 3221224368 3221214636 1131304352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 24912 13086 16 0 211624 0
vsize: 846560
[startup+180.008 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 16962 41 0 0 25 0 11 0 837742087 866877440 24914 4294967295 134512640 134569956 3221224368 3221214672 1131455443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 24914 13086 16 0 211624 0
vsize: 846560
[startup+190.008 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 17923 41 0 0 25 0 11 0 837742087 866877440 24996 4294967295 134512640 134569956 3221224368 3221214568 1131340023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 24996 13086 16 0 211624 0
vsize: 846560
[startup+200.007 s]
Raw data (loadavg): 1.07 1.04 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 18906 41 0 0 25 0 11 0 837742087 866877440 25108 4294967295 134512640 134569956 3221224368 3221214672 1131454347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25108 13086 16 0 211624 0
vsize: 846560
[startup+210.008 s]
Raw data (loadavg): 1.06 1.04 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 19897 41 0 0 25 0 11 0 837742087 866877440 25195 4294967295 134512640 134569956 3221224368 3221214568 1131340871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25195 13086 16 0 211624 0
vsize: 846560
[startup+220.009 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 20896 41 0 0 25 0 11 0 837742087 866877440 25195 4294967295 134512640 134569956 3221224368 3221214672 1131455418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25195 13086 16 0 211624 0
vsize: 846560
[startup+230.008 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 21893 41 0 0 25 0 11 0 837742087 866877440 25195 4294967295 134512640 134569956 3221224368 3221214832 1131199577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25195 13086 16 0 211624 0
vsize: 846560
[startup+240.009 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 22890 42 0 0 25 0 11 0 837742087 866877440 25196 4294967295 134512640 134569956 3221224368 3221214672 1131454340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25196 13086 16 0 211624 0
vsize: 846560
[startup+250.009 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 23886 42 0 0 25 0 11 0 837742087 866877440 25198 4294967295 134512640 134569956 3221224368 3221214568 1131340405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25198 13086 16 0 211624 0
vsize: 846560
[startup+260.009 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 24881 42 0 0 25 0 11 0 837742087 866877440 25198 4294967295 134512640 134569956 3221224368 3221214608 1131613626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25198 13086 16 0 211624 0
vsize: 846560
[startup+270.009 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 25876 42 0 0 25 0 11 0 837742087 866877440 25200 4294967295 134512640 134569956 3221224368 3221214536 1131265510 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25200 13086 16 0 211624 0
vsize: 846560
[startup+280.009 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 26865 42 0 0 25 0 11 0 837742087 866877440 25200 4294967295 134512640 134569956 3221224368 3221214568 1131340431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25200 13086 16 0 211624 0
vsize: 846560
[startup+290.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 27850 42 0 0 25 0 11 0 837742087 866877440 25200 4294967295 134512640 134569956 3221224368 3221214568 1131340471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25200 13086 16 0 211624 0
vsize: 846560
[startup+300.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 28835 42 0 0 25 0 11 0 837742087 866877440 25200 4294967295 134512640 134569956 3221224368 3221214568 1131340711 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25200 13086 16 0 211624 0
vsize: 846560
[startup+310.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 29829 42 0 0 25 0 11 0 837742087 866877440 25285 4294967295 134512640 134569956 3221224368 3221214568 1131340095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25285 13086 16 0 211624 0
vsize: 846560
[startup+320.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 30827 42 0 0 25 0 11 0 837742087 866877440 25285 4294967295 134512640 134569956 3221224368 3221214568 1131339948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25285 13086 16 0 211624 0
vsize: 846560
[startup+330.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 31825 42 0 0 25 0 11 0 837742087 866877440 25285 4294967295 134512640 134569956 3221224368 3221214568 1131339948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25285 13086 16 0 211624 0
vsize: 846560
[startup+340.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 32824 42 0 0 25 0 11 0 837742087 866877440 25285 4294967295 134512640 134569956 3221224368 3221214568 1131340380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25285 13086 16 0 211624 0
vsize: 846560
[startup+350.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 33822 42 0 0 25 0 11 0 837742087 866877440 25285 4294967295 134512640 134569956 3221224368 3221214672 1131455443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25285 13086 16 0 211624 0
vsize: 846560
[startup+360.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 34819 43 0 0 25 0 11 0 837742087 866877440 25285 4294967295 134512640 134569956 3221224368 3221214672 1131455407 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25285 13086 16 0 211624 0
vsize: 846560
[startup+370.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 35815 43 0 0 25 0 11 0 837742087 866877440 25285 4294967295 134512640 134569956 3221224368 3221214568 1131340515 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25285 13086 16 0 211624 0
vsize: 846560
[startup+380.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 36808 43 0 0 25 0 11 0 837742087 866877440 25285 4294967295 134512640 134569956 3221224368 3221214520 1131647388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25285 13086 16 0 211624 0
vsize: 846560
[startup+390.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 37801 44 0 0 25 0 11 0 837742087 866877440 25286 4294967295 134512640 134569956 3221224368 3221214640 1131607747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25286 13086 16 0 211624 0
vsize: 846560
[startup+400.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 38795 44 0 0 25 0 11 0 837742087 866877440 25286 4294967295 134512640 134569956 3221224368 3221214640 1131607747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25286 13086 16 0 211624 0
vsize: 846560
[startup+410.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 39788 44 0 0 25 0 11 0 837742087 866877440 25286 4294967295 134512640 134569956 3221224368 3221214640 1131607779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25286 13086 16 0 211624 0
vsize: 846560
[startup+420.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 40781 44 0 0 25 0 11 0 837742087 866877440 25286 4294967295 134512640 134569956 3221224368 3221214640 1131607747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25286 13086 16 0 211624 0
vsize: 846560
[startup+430.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 41776 44 0 0 25 0 11 0 837742087 866877440 25286 4294967295 134512640 134569956 3221224368 3221214536 1131264995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25286 13086 16 0 211624 0
vsize: 846560
[startup+440.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 42756 45 0 0 25 0 11 0 837742087 866877440 25287 4294967295 134512640 134569956 3221224368 3221214568 1131340259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25287 13086 16 0 211624 0
vsize: 846560
[startup+450.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 43736 45 0 0 24 0 11 0 837742087 866877440 25337 4294967295 134512640 134569956 3221224368 3221214672 1131454387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25337 13086 16 0 211624 0
vsize: 846560
[startup+460.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 44719 45 0 0 25 0 11 0 837742087 866877440 25337 4294967295 134512640 134569956 3221224368 3221214568 1131340405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25337 13086 16 0 211624 0
vsize: 846560
[startup+470.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 45712 45 0 0 25 0 11 0 837742087 866877440 25445 4294967295 134512640 134569956 3221224368 3221214568 1131341290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25445 13086 16 0 211624 0
vsize: 846560
[startup+480.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 46709 45 0 0 25 0 11 0 837742087 866877440 25447 4294967295 134512640 134569956 3221224368 3221214568 1131340405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25447 13086 16 0 211624 0
vsize: 846560
[startup+490.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 47706 46 0 0 25 0 11 0 837742087 866877440 25449 4294967295 134512640 134569956 3221224368 3221214568 1131340547 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25449 13086 16 0 211624 0
vsize: 846560
[startup+500.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 48703 46 0 0 25 0 11 0 837742087 866877440 25451 4294967295 134512640 134569956 3221224368 3221214568 1131341302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25451 13086 16 0 211624 0
vsize: 846560
[startup+510.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 49701 46 0 0 25 0 11 0 837742087 866877440 25454 4294967295 134512640 134569956 3221224368 3221214672 1131454340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25454 13086 16 0 211624 0
vsize: 846560
[startup+520.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 50698 46 0 0 25 0 11 0 837742087 866877440 25456 4294967295 134512640 134569956 3221224368 3221214672 1131454340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25456 13086 16 0 211624 0
vsize: 846560
[startup+530.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 51695 47 0 0 25 0 11 0 837742087 866877440 25459 4294967295 134512640 134569956 3221224368 3221214568 1131340896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25459 13086 16 0 211624 0
vsize: 846560
[startup+540.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 52692 47 0 0 25 0 11 0 837742087 866877440 25462 4294967295 134512640 134569956 3221224368 3221214568 1131339937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25462 13086 16 0 211624 0
vsize: 846560
[startup+550.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 53688 47 0 0 25 0 11 0 837742087 866877440 25465 4294967295 134512640 134569956 3221224368 3221214568 1131340405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25465 13086 16 0 211624 0
vsize: 846560
[startup+560.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 54681 48 0 0 25 0 11 0 837742087 866877440 25468 4294967295 134512640 134569956 3221224368 3221214520 1131647347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25468 13086 16 0 211624 0
vsize: 846560
[startup+570.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 55674 48 0 0 25 0 11 0 837742087 866877440 25469 4294967295 134512640 134569956 3221224368 3221214640 1131607747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25469 13086 16 0 211624 0
vsize: 846560
[startup+580.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 56665 48 0 0 25 0 11 0 837742087 866877440 25470 4294967295 134512640 134569956 3221224368 3221214580 1130885243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25470 13086 16 0 211624 0
vsize: 846560
[startup+590.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 57656 49 0 0 25 0 11 0 837742087 866877440 25471 4294967295 134512640 134569956 3221224368 3221214612 1131500068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25471 13086 16 0 211624 0
vsize: 846560
[startup+600.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 58647 49 0 0 25 0 11 0 837742087 866877440 25473 4294967295 134512640 134569956 3221224368 3221214520 1131647574 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25473 13086 16 0 211624 0
vsize: 846560
[startup+610.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 59640 49 0 0 25 0 11 0 837742087 866877440 25474 4294967295 134512640 134569956 3221224368 3221214584 1131500035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25474 13086 16 0 211624 0
vsize: 846560
[startup+620.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 60631 50 0 0 25 0 11 0 837742087 866877440 25476 4294967295 134512640 134569956 3221224368 3221214636 1131518052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25476 13086 16 0 211624 0
vsize: 846560
[startup+630.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 61622 50 0 0 25 0 11 0 837742087 866877440 25478 4294967295 134512640 134569956 3221224368 3221214672 1131459057 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25478 13086 16 0 211624 0
vsize: 846560
[startup+640.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 62602 50 0 0 25 0 11 0 837742087 866877440 25565 4294967295 134512640 134569956 3221224368 3221214568 1131340259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25565 13086 16 0 211624 0
vsize: 846560
[startup+650.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 63589 50 0 0 25 0 11 0 837742087 866877440 25565 4294967295 134512640 134569956 3221224368 3221214568 1131340598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25565 13086 16 0 211624 0
vsize: 846560
[startup+660.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 64579 51 0 0 25 0 11 0 837742087 866877440 25637 4294967295 134512640 134569956 3221224368 3221214568 1131340634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25637 13086 16 0 211624 0
vsize: 846560
[startup+670.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 65577 51 0 0 25 0 11 0 837742087 866877440 25637 4294967295 134512640 134569956 3221224368 3221214568 1131340666 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25637 13086 16 0 211624 0
vsize: 846560
[startup+680.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 66576 52 0 0 25 0 11 0 837742087 866877440 25637 4294967295 134512640 134569956 3221224368 3221214672 1131455432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25637 13086 16 0 211624 0
vsize: 846560
[startup+690.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 67574 52 0 0 25 0 11 0 837742087 866877440 25637 4294967295 134512640 134569956 3221224368 3221214568 1131340012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25637 13086 16 0 211624 0
vsize: 846560
[startup+700.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 68571 52 0 0 25 0 11 0 837742087 866877440 25637 4294967295 134512640 134569956 3221224368 3221214480 1131259024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25637 13086 16 0 211624 0
vsize: 846560
[startup+710.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 69568 52 0 0 25 0 11 0 837742087 866877440 25638 4294967295 134512640 134569956 3221224368 3221214568 1131340012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25638 13086 16 0 211624 0
vsize: 846560
[startup+720.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 70566 53 0 0 25 0 11 0 837742087 866877440 25638 4294967295 134512640 134569956 3221224368 3221214672 1131456386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25638 13086 16 0 211624 0
vsize: 846560
[startup+730.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 71563 53 0 0 25 0 11 0 837742087 866877440 25638 4294967295 134512640 134569956 3221224368 3221214568 1131339970 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25638 13086 16 0 211624 0
vsize: 846560
[startup+740.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 72560 53 0 0 25 0 11 0 837742087 866877440 25638 4294967295 134512640 134569956 3221224368 3221214672 1131455443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25638 13086 16 0 211624 0
vsize: 846560
[startup+750.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 73559 53 0 0 25 0 11 0 837742087 866877440 25638 4294967295 134512640 134569956 3221224368 3221214568 1131340970 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25638 13086 16 0 211624 0
vsize: 846560
[startup+760.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 74556 54 0 0 25 0 11 0 837742087 866877440 25638 4294967295 134512640 134569956 3221224368 3221214568 1131340287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25638 13086 16 0 211624 0
vsize: 846560
[startup+770.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 75553 54 0 0 25 0 11 0 837742087 866877440 25639 4294967295 134512640 134569956 3221224368 3221214480 1131258997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25639 13086 16 0 211624 0
vsize: 846560
[startup+780.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 76547 54 0 0 25 0 11 0 837742087 866877440 25639 4294967295 134512640 134569956 3221224368 3221214636 1131518377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25639 13086 16 0 211624 0
vsize: 846560
[startup+790.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 77542 54 0 0 25 0 11 0 837742087 866877440 25639 4294967295 134512640 134569956 3221224368 3221214632 1131610467 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25639 13086 16 0 211624 0
vsize: 846560
[startup+800.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 78531 54 0 0 25 0 11 0 837742087 866877440 25639 4294967295 134512640 134569956 3221224368 3221214568 1131340965 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25639 13086 16 0 211624 0
vsize: 846560
[startup+810.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 79517 55 0 0 25 0 11 0 837742087 866877440 25639 4294967295 134512640 134569956 3221224368 3221214568 1131340772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25639 13086 16 0 211624 0
vsize: 846560
[startup+820.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 80504 55 0 0 25 0 11 0 837742087 866877440 25639 4294967295 134512640 134569956 3221224368 3221214480 1131259002 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25639 13086 16 0 211624 0
vsize: 846560
[startup+830.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 81494 55 0 0 25 0 11 0 837742087 866877440 25721 4294967295 134512640 134569956 3221224368 3221214672 1131455281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25721 13086 16 0 211624 0
vsize: 846560
[startup+840.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 82491 56 0 0 25 0 11 0 837742087 866877440 25721 4294967295 134512640 134569956 3221224368 3221214672 1131455229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25721 13086 16 0 211624 0
vsize: 846560
[startup+850.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 83489 56 0 0 25 0 11 0 837742087 866877440 25721 4294967295 134512640 134569956 3221224368 3221214568 1131341302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25721 13086 16 0 211624 0
vsize: 846560
[startup+860.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 84487 56 0 0 25 0 11 0 837742087 866877440 25721 4294967295 134512640 134569956 3221224368 3221214672 1131454387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25721 13086 16 0 211624 0
vsize: 846560
[startup+870.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 85484 57 0 0 25 0 11 0 837742087 866877440 25721 4294967295 134512640 134569956 3221224368 3221214672 1131455490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25721 13086 16 0 211624 0
vsize: 846560
[startup+880.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 86482 57 0 0 25 0 11 0 837742087 866877440 25721 4294967295 134512640 134569956 3221224368 3221214568 1131340944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25721 13086 16 0 211624 0
vsize: 846560
[startup+890.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 87479 57 0 0 25 0 11 0 837742087 866877440 25721 4294967295 134512640 134569956 3221224368 3221214568 1131340970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25721 13086 16 0 211624 0
vsize: 846560
[startup+900.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 88477 57 0 0 25 0 11 0 837742087 866877440 25721 4294967295 134512640 134569956 3221224368 3221214568 1131340890 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25721 13086 16 0 211624 0
vsize: 846560
[startup+910.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 89475 57 0 0 25 0 11 0 837742087 866877440 25721 4294967295 134512640 134569956 3221224368 3221214568 1131339970 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25721 13086 16 0 211624 0
vsize: 846560
[startup+920.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 90472 58 0 0 25 0 11 0 837742087 866877440 25721 4294967295 134512640 134569956 3221224368 3221214568 1131340492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25721 13086 16 0 211624 0
vsize: 846560
[startup+930.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 91470 58 0 0 25 0 11 0 837742087 866877440 25721 4294967295 134512640 134569956 3221224368 3221214568 1131340442 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25721 13086 16 0 211624 0
vsize: 846560
[startup+940.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 92467 58 0 0 25 0 11 0 837742087 866877440 25721 4294967295 134512640 134569956 3221224368 3221214568 1131340628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25721 13086 16 0 211624 0
vsize: 846560
[startup+950.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 93464 59 0 0 25 0 11 0 837742087 866877440 25721 4294967295 134512640 134569956 3221224368 3221214568 1131340405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25721 13086 16 0 211624 0
vsize: 846560
[startup+960.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 94461 59 0 0 25 0 11 0 837742087 866877440 25722 4294967295 134512640 134569956 3221224368 3221214668 1131339916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25722 13086 16 0 211624 0
vsize: 846560
[startup+970.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 95456 59 0 0 25 0 11 0 837742087 866877440 25722 4294967295 134512640 134569956 3221224368 3221214520 1131647347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25722 13086 16 0 211624 0
vsize: 846560
[startup+980.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 96453 59 0 0 25 0 11 0 837742087 866877440 25722 4294967295 134512640 134569956 3221224368 3221214544 1131264808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25722 13086 16 0 211624 0
vsize: 846560
[startup+990.054 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 97449 59 0 0 25 0 11 0 837742087 866877440 25722 4294967295 134512640 134569956 3221224368 3221214616 1131304445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25722 13086 16 0 211624 0
vsize: 846560
[startup+1000.05 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 98445 60 0 0 25 0 11 0 837742087 866877440 25723 4294967295 134512640 134569956 3221224368 3221214520 1131647789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25723 13086 16 0 211624 0
vsize: 846560
[startup+1010.05 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 99441 60 0 0 25 0 11 0 837742087 866877440 25723 4294967295 134512640 134569956 3221224368 3221214616 1131518420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25723 13086 16 0 211624 0
vsize: 846560
[startup+1020.06 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 100436 60 0 0 25 0 11 0 837742087 866877440 25723 4294967295 134512640 134569956 3221224368 3221214640 1131607747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25723 13086 16 0 211624 0
vsize: 846560
[startup+1030.05 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 101431 60 0 0 25 0 11 0 837742087 866877440 25725 4294967295 134512640 134569956 3221224368 3221214580 1130885157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25725 13086 16 0 211624 0
vsize: 846560
[startup+1040.05 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 102428 61 0 0 25 0 11 0 837742087 866877440 25729 4294967295 134512640 134569956 3221224368 3221214632 1131610579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25729 13086 16 0 211624 0
vsize: 846560
[startup+1050.05 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 103423 61 0 0 25 0 11 0 837742087 866877440 25773 4294967295 134512640 134569956 3221224368 3221214608 1131613626 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25773 13086 16 0 211624 0
vsize: 846560
[startup+1060.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 104422 61 0 0 25 0 11 0 837742087 866877440 25773 4294967295 134512640 134569956 3221224368 3221214640 1131607805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25773 13086 16 0 211624 0
vsize: 846560
[startup+1070.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 105421 61 0 0 25 0 11 0 837742087 866877440 25773 4294967295 134512640 134569956 3221224368 3221214520 1131648652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25773 13086 16 0 211624 0
vsize: 846560
[startup+1080.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 106417 62 0 0 25 0 11 0 837742087 866877440 25773 4294967295 134512640 134569956 3221224368 3221214536 1131264633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25773 13086 16 0 211624 0
vsize: 846560
[startup+1090.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 107414 62 0 0 25 0 11 0 837742087 866877440 25773 4294967295 134512640 134569956 3221224368 3221214580 1130885120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25773 13086 16 0 211624 0
vsize: 846560
[startup+1100.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 108410 62 0 0 25 0 11 0 837742087 866877440 25773 4294967295 134512640 134569956 3221224368 3221214640 1131607779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25773 13086 16 0 211624 0
vsize: 846560
[startup+1110.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 109408 62 0 0 25 0 11 0 837742087 866877440 25773 4294967295 134512640 134569956 3221224368 3221214520 1131647803 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25773 13086 16 0 211624 0
vsize: 846560
[startup+1120.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 110404 63 0 0 25 0 11 0 837742087 866877440 25773 4294967295 134512640 134569956 3221224368 3221214636 1131613440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25773 13086 16 0 211624 0
vsize: 846560
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 111380 63 0 0 25 0 11 0 837742087 866877440 25773 4294967295 134512640 134569956 3221224368 3221214568 1131340864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25773 13086 16 0 211624 0
vsize: 846560
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 112356 64 0 0 25 0 11 0 837742087 866877440 25773 4294967295 134512640 134569956 3221224368 3221214568 1131340380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25773 13086 16 0 211624 0
vsize: 846560
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 113334 64 0 0 25 0 11 0 837742087 866877440 25819 4294967295 134512640 134569956 3221224368 3221214480 1131259033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25819 13086 16 0 211624 0
vsize: 846560
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 114330 64 0 0 25 0 11 0 837742087 866877440 25942 4294967295 134512640 134569956 3221224368 3221214672 1131456386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25942 13086 16 0 211624 0
vsize: 846560
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 115327 64 0 0 25 0 11 0 837742087 866877440 25944 4294967295 134512640 134569956 3221224368 3221214568 1131340899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211640 25944 13086 16 0 211624 0
vsize: 846560
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 116324 65 0 0 25 0 11 0 837742087 866877440 25946 4294967295 134512640 134569956 3221224368 3221214568 1131340405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25946 13086 16 0 211624 0
vsize: 846560
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 117321 66 0 0 25 0 11 0 837742087 866877440 25948 4294967295 134512640 134569956 3221224368 3221214568 1131340547 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25948 13086 16 0 211624 0
vsize: 846560
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 118318 66 0 0 25 0 11 0 837742087 866877440 25950 4294967295 134512640 134569956 3221224368 3221214672 1131456293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25950 13086 16 0 211624 0
vsize: 846560
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 119315 66 0 0 25 0 11 0 837742087 866877440 25953 4294967295 134512640 134569956 3221224368 3221214672 1131459090 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25953 13086 16 0 211624 0
vsize: 846560
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2265
Raw data (stat): 2254 (java) R 2253 20687 20686 0 -1 0 18175 5 1 0 120312 68 0 0 25 0 11 0 837742087 866877440 25955 4294967295 134512640 134569956 3221224368 3221214568 1131340405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211640 25955 13086 16 0 211624 0
vsize: 846560
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.57 s]
Raw data (loadavg): 1.16 1.03 1.01 1/54 2267
Raw data (stat): 2254 (java) Z 2253 20687 20686 0 -1 1036 18175 12089 1 0 120344 68 2668 43 25 0 1 0 837742087 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.57
CPU time (s): 1231.25
CPU user time (s): 1230.13
CPU system time (s): 1.11783
CPU usage (%): 100.875
Max. virtual memory (Kb): 849120
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####