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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. 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.
  4. 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

Namemps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-air05.opb
MD5SUMa0fff131fa124ee4d61d9b3bf266a4ba
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 38469
Optimality of the best value was proved NO
Number of terms in the objective function 7195
Biggest coefficient in the objective function 2679
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 3908448
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 2679
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 3908448
Number of bits of the biggest sum of numbers22
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.17
Number of variables7195
Total number of constraints7621
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)7621
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint404

Trace number 8772

Launcher Data

LAUNCH ON wulflinc25 THE 2005-09-20 18:29:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6802 boxname=wulflinc25 idbench=942 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  a0fff131fa124ee4d61d9b3bf266a4ba  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-air05.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-air05.opb
IDLAUNCH: 6802
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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:        819488 kB
Buffers:         34144 kB
Cached:         153056 kB
SwapCached:        888 kB
Active:          80676 kB
Inactive:       109188 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        819236 kB
SwapTotal:     2097892 kB
SwapFree:      2096524 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5732 kB
Slab:            19540 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 18:50:45 (client local time) WITH STATUS 143 IN 1246.92 SECONDS
stats: 6802 0 1246.92 143

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 JAVA5.1.1.31
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@a20892
c org.sat4j.minisat.constraints.PBMinDataStructure@1e0bc08
c org.sat4j.minisat.learning.MiniSATLearning@158b649
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c VSIDS like heuristics from MiniSAT using a sorted array
c No reason simplification
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-air05.opb
c reading problem ... done. Time 6.875 ms.
c #vars     7195
c #constraints  852
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=               44460 		Current CPU time: 35.72 ms
c CURRENT OPTIMUM=               43940 		Current CPU time: 170.95 ms
c starts		: 7
c conflicts		: 571
c decisions		: 75056
c propagations		: 502279
c inspects		: 211047
c learnt literals	: 0
c learnt binary clauses	: 2
c learnt ternary clauses	: 1
c learnt clauses	: 570
c root simplifications	: 47
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 5223
c speed (decisions/second)	: 69.671507234861
c non guided choices	40099
c random choices	0
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 -x2947_bit0 -x2948_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 -x5326_bit0 -x5327_bit0 -x5328_bit0 -x5329_bit0 -x5330_bit0 -x5331_bit0 -x5332_bit0 -x5333_bit0 -x5334_bit0 -x5335_bit0 -x5336_bit0 -x5337_bit0 -x5338_bit0 -x5339_bit0 -x5340_bit0 -x5341_bit0 -x5342_bit0 -x5343_bit0 -x5344_bit0 -x5345_bit0 -x5346_bit0 -x5347_bit0 -x5348_bit0 -x5349_bit0 -x5350_bit0 -x5351_bit0 -x5352_bit0 -x5353_bit0 -x5354_bit0 -x5355_bit0 -x5356_bit0 -x5357_bit0 -x5358_bit0 -x5359_bit0 -x5360_bit0 -x5361_bit0 -x5362_bit0 -x5363_bit0 -x5364_bit0 -x5365_bit0 -x5366_bit0 -x5367_bit0 -x5368_bit0 -x5369_bit0 -x5370_bit0 -x5371_bit0 -x5372_bit0 -x5373_bit0 -x5374_bit0 -x5375_bit0 -x5376_bit0 -x5377_bit0 -x5378_bit0 -x5379_bit0 -x5380_bit0 -x5381_bit0 -x5382_bit0 -x5383_bit0 -x5384_bit0 -x5385_bit0 -x5386_bit0 -x5387_bit0 -x5388_bit0 -x5389_bit0 -x5390_bit0 -x5391_bit0 -x5392_bit0 -x5393_bit0 -x5394_bit0 -x5395_bit0 -x5396_bit0 -x5397_bit0 -x5398_bit0 -x5399_bit0 -x5400_bit0 -x5401_bit0 -x5402_bit0 -x5403_bit0 -x5404_bit0 -x5405_bit0 -x5406_bit0 -x5407_bit0 -x5408_bit0 -x5409_bit0 -x5410_bit0 -x5411_bit0 -x5412_bit0 -x5413_bit0 -x5414_bit0 -x5415_bit0 -x5416_bit0 -x5417_bit0 -x5418_bit0 -x5419_bit0 -x5420_bit0 -x5421_bit0 -x5422_bit0 -x5423_bit0 -x5424_bit0 -x5425_bit0 -x5426_bit0 -x5427_bit0 -x5428_bit0 -x5429_bit0 -x5430_bit0 -x5431_bit0 -x5432_bit0 -x5433_bit0 -x5434_bit0 -x5435_bit0 -x5436_bit0 -x5437_bit0 -x5438_bit0 -x5439_bit0 -x5440_bit0 -x5441_bit0 -x5442_bit0 -x5443_bit0 -x5444_bit0 -x5445_bit0 -x5446_bit0 -x5447_bit0 -x5448_bit0 -x5449_bit0 -x5450_bit0 -x5451_bit0 -x5452_bit0 -x5453_bit0 -x5454_bit0 -x5455_bit0 -x5456_bit0 -x5457_bit0 -x5458_bit0 -x5459_bit0 -x5460_bit0 -x5461_bit0 -x5462_bit0 -x5463_bit0 -x5464_bit0 -x5465_bit0 -x5466_bit0 -x5467_bit0 -x5468_bit0 -x5469_bit0 -x5470_bit0 -x5471_bit0 -x5472_bit0 -x5473_bit0 -x5474_bit0 -x5475_bit0 -x5476_bit0 -x5477_bit0 -x5478_bit0 -x5479_bit0 -x5480_bit0 -x5481_bit0 -x5482_bit0 -x5483_bit0 -x5484_bit0 -x5485_bit0 -x5486_bit0 x5487_bit0 -x5488_bit0 -x5489_bit0 -x5490_bit0 -x5491_bit0 -x5492_bit0 -x5493_bit0 -x5494_bit0 -x5495_bit0 -x5496_bit0 -x5497_bit0 -x5498_bit0 -x5499_bit0 -x5500_bit0 -x5501_bit0 -x5502_bit0 -x5503_bit0 -x5504_bit0 -x5505_bit0 -x5506_bit0 -x5507_bit0 -x5508_bit0 -x5509_bit0 -x5510_bit0 -x5511_bit0 -x5512_bit0 -x5513_bit0 -x5514_bit0 -x5515_bit0 -x5516_bit0 -x5517_bit0 -x5518_bit0 -x5519_bit0 -x5520_bit0 -x5521_bit0 -x5522_bit0 -x5523_bit0 -x5524_bit0 -x5525_bit0 -x5526_bit0 -x5527_bit0 -x5528_bit0 -x5529_bit0 -x5530_bit0 -x5531_bit0 -x5532_bit0 -x5533_bit0 -x5534_bit0 -x5535_bit0 -x5536_bit0 -x5537_bit0 -x5538_bit0 -x5539_bit0 -x5540_bit0 -x5541_bit0 -x5542_bit0 -x5543_bit0 -x5544_bit0 -x5545_bit0 -x5546_bit0 -x5547_bit0 -x5548_bit0 -x5549_bit0 -x5550_bit0 -x5551_bit0 -x5552_bit0 -x5553_bit0 -x5554_bit0 -x5555_bit0 -x5556_bit0 -x5557_bit0 -x5558_bit0 -x5559_bit0 -x5560_bit0 -x5561_bit0 -x5562_bit0 -x5563_bit0 -x5564_bit0 -x5565_bit0 -x5566_bit0 -x5567_bit0 -x5568_bit0 -x5569_bit0 -x5570_bit0 -x5571_bit0 -x5572_bit0 x5573_bit0 -x5574_bit0 -x5575_bit0 -x5576_bit0 -x5577_bit0 -x5578_bit0 -x5579_bit0 -x5580_bit0 -x5581_bit0 -x5582_bit0 -x5583_bit0 -x5584_bit0 -x5585_bit0 -x5586_bit0 -x5587_bit0 -x5588_bit0 -x5589_bit0 -x5590_bit0 -x5591_bit0 -x5592_bit0 -x5593_bit0 -x5594_bit0 -x5595_bit0 -x5596_bit0 -x5597_bit0 -x5598_bit0 -x5599_bit0 -x5600_bit0 -x5601_bit0 -x5602_bit0 -x5603_bit0 -x5604_bit0 -x5605_bit0 -x5606_bit0 -x5607_bit0 -x5608_bit0 -x5609_bit0 -x5610_bit0 -x5611_bit0 -x5612_bit0 -x5613_bit0 -x5614_bit0 -x5615_bit0 -x5616_bit0 -x5617_bit0 -x5618_bit0 -x5619_bit0 -x5620_bit0 -x5621_bit0 -x5622_bit0 -x5623_bit0 -x5624_bit0 -x5625_bit0 -x5626_bit0 -x5627_bit0 -x5628_bit0 -x5629_bit0 -x5630_bit0 -x5631_bit0 -x5632_bit0 -x5633_bit0 -x5634_bit0 -x5635_bit0 -x5636_bit0 -x5637_bit0 -x5638_bit0 -x5639_bit0 -x5640_bit0 -x5641_bit0 -x5642_bit0 -x5643_bit0 -x5644_bit0 -x5645_bit0 -x5646_bit0 -x5647_bit0 -x5648_bit0 -x5649_bit0 -x5650_bit0 -x5651_bit0 -x5652_bit0 -x5653_bit0 -x5654_bit0 -x5655_bit0 -x5656_bit0 -x5657_bit0 -x5658_bit0 -x5659_bit0 -x5660_bit0 -x5661_bit0 -x5662_bit0 -x5663_bit0 -x5664_bit0 -x5665_bit0 -x5666_bit0 -x5667_bit0 -x5668_bit0 -x5669_bit0 -x5670_bit0 -x5671_bit0 -x5672_bit0 -x5673_bit0 -x5674_bit0 -x5675_bit0 -x5676_bit0 -x5677_bit0 -x5678_bit0 -x5679_bit0 -x5680_bit0 -x5681_bit0 -x5682_bit0 -x5683_bit0 -x5684_bit0 -x5685_bit0 -x5686_bit0 -x5687_bit0 -x5688_bit0 -x5689_bit0 -x5690_bit0 -x5691_bit0 -x5692_bit0 -x5693_bit0 -x5694_bit0 -x5695_bit0 -x5696_bit0 -x5697_bit0 -x5698_bit0 -x5699_bit0 -x5700_bit0 -x5701_bit0 -x5702_bit0 -x5703_bit0 -x5704_bit0 -x5705_bit0 -x5706_bit0 -x5707_bit0 -x5708_bit0 -x5709_bit0 -x5710_bit0 -x5711_bit0 -x5712_bit0 -x5713_bit0 -x5714_bit0 -x5715_bit0 -x5716_bit0 -x5717_bit0 -x5718_bit0 -x5719_bit0 -x5720_bit0 -x5721_bit0 -x5722_bit0 -x5723_bit0 -x5724_bit0 -x5725_bit0 -x5726_bit0 -x5727_bit0 -x5728_bit0 -x5729_bit0 -x5730_bit0 -x5731_bit0 -x5732_bit0 -x5733_bit0 -x5734_bit0 -x5735_bit0 -x5736_bit0 -x5737_bit0 -x5738_bit0 -x5739_bit0 -x5740_bit0 -x5741_bit0 -x5742_bit0 -x5743_bit0 -x5744_bit0 -x5745_bit0 -x5746_bit0 -x5747_bit0 -x5748_bit0 -x5749_bit0 -x5750_bit0 -x5751_bit0 -x5752_bit0 -x5753_bit0 -x5754_bit0 -x5755_bit0 -x5756_bit0 -x5757_bit0 -x5758_bit0 -x5759_bit0 -x5760_bit0 -x5761_bit0 -x5762_bit0 -x5763_bit0 -x5764_bit0 -x5765_bit0 -x5766_bit0 -x5767_bit0 -x5768_bit0 -x5769_bit0 -x5770_bit0 -x5771_bit0 -x5772_bit0 -x5773_bit0 -x5774_bit0 -x5775_bit0 -x5776_bit0 -x5777_bit0 -x5778_bit0 -x5779_bit0 -x5780_bit0 -x5781_bit0 -x5782_bit0 -x5783_bit0 -x5784_bit0 x5785_bit0 -x5786_bit0 -x5787_bit0 -x5788_bit0 -x5789_bit0 -x5790_bit0 -x5791_bit0 -x5792_bit0 -x5793_bit0 -x5794_bit0 -x5795_bit0 -x5796_bit0 -x5797_bit0 -x5798_bit0 -x5799_bit0 -x5800_bit0 -x5801_bit0 -x5802_bit0 -x5803_bit0 -x5804_bit0 -x5805_bit0 -x5806_bit0 -x5807_bit0 -x5808_bit0 -x5809_bit0 -x5810_bit0 -x5811_bit0 -x5812_bit0 -x5813_bit0 -x5814_bit0 -x5815_bit0 -x5816_bit0 -x5817_bit0 -x5818_bit0 -x5819_bit0 -x5820_bit0 -x5821_bit0 -x5822_bit0 -x5823_bit0 -x5824_bit0 -x5825_bit0 -x5826_bit0 -x5827_bit0 -x5828_bit0 -x5829_bit0 -x5830_bit0 -x5831_bit0 -x5832_bit0 -x5833_bit0 -x5834_bit0 -x5835_bit0 -x5836_bit0 -x5837_bit0 -x5838_bit0 -x5839_bit0 -x5840_bit0 -x5841_bit0 -x5842_bit0 -x5843_bit0 -x5844_bit0 -x5845_bit0 -x5846_bit0 -x5847_bit0 -x5848_bit0 -x5849_bit0 -x5850_bit0 -x5851_bit0 -x5852_bit0 -x5853_bit0 -x5854_bit0 -x5855_bit0 -x5856_bit0 -x5857_bit0 -x5858_bit0 -x5859_bit0 -x5860_bit0 -x5861_bit0 -x5862_bit0 -x5863_bit0 -x5864_bit0 -x5865_bit0 -x5866_bit0 -x5867_bit0 -x5868_bit0 -x5869_bit0 -x5870_bit0 -x5871_bit0 -x5872_bit0 -x5873_bit0 -x5874_bit0 -x5875_bit0 -x5876_bit0 -x5877_bit0 -x5878_bit0 -x5879_bit0 -x5880_bit0 -x5881_bit0 -x5882_bit0 -x5883_bit0 -x5884_bit0 -x5885_bit0 -x5886_bit0 -x5887_bit0 -x5888_bit0 -x5889_bit0 -x5890_bit0 -x5891_bit0 -x5892_bit0 -x5893_bit0 -x5894_bit0 -x5895_bit0 -x5896_bit0 -x5897_bit0 -x5898_bit0 -x5899_bit0 -x5900_bit0 -x5901_bit0 -x5902_bit0 -x5903_bit0 -x5904_bit0 -x5905_bit0 -x5906_bit0 -x5907_bit0 -x5908_bit0 -x5909_bit0 -x5910_bit0 -x5911_bit0 -x5912_bit0 -x5913_bit0 -x5914_bit0 -x5915_bit0 -x5916_bit0 -x5917_bit0 -x5918_bit0 -x5919_bit0 -x5920_bit0 -x5921_bit0 -x5922_bit0 -x5923_bit0 -x5924_bit0 -x5925_bit0 -x5926_bit0 -x5927_bit0 -x5928_bit0 -x5929_bit0 -x5930_bit0 -x5931_bit0 -x5932_bit0 -x5933_bit0 -x5934_bit0 -x5935_bit0 -x5936_bit0 -x5937_bit0 -x5938_bit0 -x5939_bit0 -x5940_bit0 -x5941_bit0 -x5942_bit0 -x5943_bit0 -x5944_bit0 -x5945_bit0 -x5946_bit0 -x5947_bit0 -x5948_bit0 -x5949_bit0 -x5950_bit0 -x5951_bit0 -x5952_bit0 -x5953_bit0 -x5954_bit0 -x5955_bit0 -x5956_bit0 -x5957_bit0 -x5958_bit0 -x5959_bit0 -x5960_bit0 -x5961_bit0 -x5962_bit0 -x5963_bit0 -x5964_bit0 -x5965_bit0 -x5966_bit0 -x5967_bit0 -x5968_bit0 -x5969_bit0 -x5970_bit0 -x5971_bit0 -x5972_bit0 -x5973_bit0 -x5974_bit0 -x5975_bit0 -x5976_bit0 -x5977_bit0 -x5978_bit0 -x5979_bit0 -x5980_bit0 -x5981_bit0 -x5982_bit0 -x5983_bit0 -x5984_bit0 -x5985_bit0 -x5986_bit0 -x5987_bit0 -x5988_bit0 -x5989_bit0 -x5990_bit0 -x5991_bit0 -x5992_bit0 -x5993_bit0 -x5994_bit0 -x5995_bit0 -x5996_bit0 -x5997_bit0 -x5998_bit0 -x5999_bit0 -x6000_bit0 -x6001_bit0 -x6002_bit0 -x6003_bit0 -x6004_bit0 -x6005_bit0 -x6006_bit0 -x6007_bit0 -x6008_bit0 -x6009_bit0 -x6010_bit0 -x6011_bit0 -x6012_bit0 -x6013_bit0 -x6014_bit0 -x6015_bit0 -x6016_bit0 -x6017_bit0 -x6018_bit0 -x6019_bit0 -x6020_bit0 -x6021_bit0 -x6022_bit0 -x6023_bit0 -x6024_bit0 -x6025_bit0 -x6026_bit0 -x6027_bit0 -x6028_bit0 -x6029_bit0 -x6030_bit0 -x6031_bit0 -x6032_bit0 -x6033_bit0 -x6034_bit0 -x6035_bit0 -x6036_bit0 -x6037_bit0 -x6038_bit0 -x6039_bit0 -x6040_bit0 -x6041_bit0 -x6042_bit0 -x6043_bit0 -x6044_bit0 -x6045_bit0 -x6046_bit0 -x6047_bit0 -x6048_bit0 -x6049_bit0 -x6050_bit0 -x6051_bit0 -x6052_bit0 -x6053_bit0 -x6054_bit0 -x6055_bit0 -x6056_bit0 -x6057_bit0 -x6058_bit0 -x6059_bit0 -x6060_bit0 -x6061_bit0 -x6062_bit0 -x6063_bit0 -x6064_bit0 -x6065_bit0 -x6066_bit0 -x6067_bit0 -x6068_bit0 -x6069_bit0 -x6070_bit0 -x6071_bit0 -x6072_bit0 -x6073_bit0 -x6074_bit0 -x6075_bit0 -x6076_bit0 -x6077_bit0 -x6078_bit0 -x6079_bit0 -x6080_bit0 -x6081_bit0 -x6082_bit0 -x6083_bit0 -x6084_bit0 -x6085_bit0 -x6086_bit0 -x6087_bit0 -x6088_bit0 -x6089_bit0 -x6090_bit0 -x6091_bit0 -x6092_bit0 -x6093_bit0 -x6094_bit0 -x6095_bit0 -x6096_bit0 -x6097_bit0 -x6098_bit0 -x6099_bit0 -x6100_bit0 -x6101_bit0 -x6102_bit0 -x6103_bit0 -x6104_bit0 -x6105_bit0 -x6106_bit0 -x6107_bit0 -x6108_bit0 -x6109_bit0 -x6110_bit0 -x6111_bit0 -x6112_bit0 -x6113_bit0 -x6114_bit0 -x6115_bit0 -x6116_bit0 -x6117_bit0 -x6118_bit0 -x6119_bit0 -x6120_bit0 -x6121_bit0 -x6122_bit0 -x6123_bit0 -x6124_bit0 -x6125_bit0 -x6126_bit0 -x6127_bit0 -x6128_bit0 -x6129_bit0 -x6130_bit0 -x6131_bit0 -x6132_bit0 -x6133_bit0 -x6134_bit0 -x6135_bit0 -x6136_bit0 -x6137_bit0 -x6138_bit0 -x6139_bit0 -x6140_bit0 -x6141_bit0 -x6142_bit0 -x6143_bit0 -x6144_bit0 -x6145_bit0 -x6146_bit0 -x6147_bit0 -x6148_bit0 -x6149_bit0 -x6150_bit0 -x6151_bit0 -x6152_bit0 -x6153_bit0 -x6154_bit0 -x6155_bit0 -x6156_bit0 -x6157_bit0 -x6158_bit0 -x6159_bit0 -x6160_bit0 -x6161_bit0 -x6162_bit0 -x6163_bit0 -x6164_bit0 -x6165_bit0 -x6166_bit0 -x6167_bit0 -x6168_bit0 -x6169_bit0 -x6170_bit0 -x6171_bit0 x6172_bit0 -x6173_bit0 -x6174_bit0 -x6175_bit0 -x6176_bit0 -x6177_bit0 -x6178_bit0 -x6179_bit0 -x6180_bit0 -x6181_bit0 -x6182_bit0 -x6183_bit0 -x6184_bit0 -x6185_bit0 -x6186_bit0 -x6187_bit0 -x6188_bit0 -x6189_bit0 -x6190_bit0 -x6191_bit0 -x6192_bit0 -x6193_bit0 -x6194_bit0 -x6195_bit0 -x6196_bit0 -x6197_bit0 -x6198_bit0 -x6199_bit0 -x6200_bit0 -x6201_bit0 -x6202_bit0 -x6203_bit0 -x6204_bit0 -x6205_bit0 -x6206_bit0 -x6207_bit0 -x6208_bit0 -x6209_bit0 -x6210_bit0 -x6211_bit0 -x6212_bit0 -x6213_bit0 -x6214_bit0 -x6215_bit0 -x6216_bit0 -x6217_bit0 x6218_bit0 -x6219_bit0 -x6220_bit0 -x6221_bit0 -x6222_bit0 -x6223_bit0 -x6224_bit0 -x6225_bit0 -x6226_bit0 -x6227_bit0 -x6228_bit0 -x6229_bit0 -x6230_bit0 -x6231_bit0 -x6232_bit0 -x6233_bit0 -x6234_bit0 -x6235_bit0 -x6236_bit0 -x6237_bit0 -x6238_bit0 -x6239_bit0 -x6240_bit0 -x6241_bit0 -x6242_bit0 -x6243_bit0 -x6244_bit0 -x6245_bit0 -x6246_bit0 -x6247_bit0 -x6248_bit0 -x6249_bit0 -x6250_bit0 -x6251_bit0 x6252_bit0 -x6253_bit0 -x6254_bit0 -x6255_bit0 -x6256_bit0 -x6257_bit0 -x6258_bit0 -x6259_bit0 -x6260_bit0 -x6261_bit0 -x6262_bit0 -x6263_bit0 -x6264_bit0 -x6265_bit0 -x6266_bit0 -x6267_bit0 -x6268_bit0 -x6269_bit0 -x6270_bit0 -x6271_bit0 -x6272_bit0 -x6273_bit0 -x6274_bit0 -x6275_bit0 -x6276_bit0 -x6277_bit0 -x6278_bit0 -x6279_bit0 -x6280_bit0 -x6281_bit0 -x6282_bit0 -x6283_bit0 -x6284_bit0 -x6285_bit0 -x6286_bit0 -x6287_bit0 -x6288_bit0 -x6289_bit0 -x6290_bit0 -x6291_bit0 -x6292_bit0 -x6293_bit0 -x6294_bit0 -x6295_bit0 -x6296_bit0 -x6297_bit0 -x6298_bit0 -x6299_bit0 -x6300_bit0 -x6301_bit0 -x6302_bit0 -x6303_bit0 -x6304_bit0 -x6305_bit0 -x6306_bit0 -x6307_bit0 -x6308_bit0 -x6309_bit0 -x6310_bit0 -x6311_bit0 -x6312_bit0 -x6313_bit0 -x6314_bit0 -x6315_bit0 -x6316_bit0 -x6317_bit0 -x6318_bit0 -x6319_bit0 -x6320_bit0 -x6321_bit0 -x6322_bit0 -x6323_bit0 -x6324_bit0 -x6325_bit0 -x6326_bit0 -x6327_bit0 -x6328_bit0 -x6329_bit0 -x6330_bit0 -x6331_bit0 -x6332_bit0 -x6333_bit0 -x6334_bit0 -x6335_bit0 -x6336_bit0 -x6337_bit0 -x6338_bit0 -x6339_bit0 -x6340_bit0 -x6341_bit0 -x6342_bit0 -x6343_bit0 -x6344_bit0 -x6345_bit0 -x6346_bit0 -x6347_bit0 -x6348_bit0 -x6349_bit0 -x6350_bit0 -x6351_bit0 -x6352_bit0 -x6353_bit0 -x6354_bit0 -x6355_bit0 -x6356_bit0 -x6357_bit0 -x6358_bit0 -x6359_bit0 -x6360_bit0 -x6361_bit0 -x6362_bit0 -x6363_bit0 -x6364_bit0 -x6365_bit0 -x6366_bit0 x6367_bit0 -x6368_bit0 -x6369_bit0 -x6370_bit0 -x6371_bit0 -x6372_bit0 -x6373_bit0 -x6374_bit0 -x6375_bit0 -x6376_bit0 -x6377_bit0 -x6378_bit0 -x6379_bit0 -x6380_bit0 -x6381_bit0 -x6382_bit0 -x6383_bit0 -x6384_bit0 -x6385_bit0 -x6386_bit0 -x6387_bit0 -x6388_bit0 -x6389_bit0 -x6390_bit0 -x6391_bit0 -x6392_bit0 -x6393_bit0 -x6394_bit0 -x6395_bit0 -x6396_bit0 -x6397_bit0 -x6398_bit0 -x6399_bit0 -x6400_bit0 -x6401_bit0 -x6402_bit0 -x6403_bit0 -x6404_bit0 -x6405_bit0 -x6406_bit0 -x6407_bit0 -x6408_bit0 -x6409_bit0 -x6410_bit0 -x6411_bit0 -x6412_bit0 -x6413_bit0 -x6414_bit0 -x6415_bit0 -x6416_bit0 -x6417_bit0 -x6418_bit0 -x6419_bit0 -x6420_bit0 -x6421_bit0 -x6422_bit0 -x6423_bit0 -x6424_bit0 -x6425_bit0 -x6426_bit0 -x6427_bit0 -x6428_bit0 -x6429_bit0 -x6430_bit0 -x6431_bit0 -x6432_bit0 -x6433_bit0 -x6434_bit0 -x6435_bit0 -x6436_bit0 -x6437_bit0 -x6438_bit0 -x6439_bit0 -x6440_bit0 -x6441_bit0 -x6442_bit0 -x6443_bit0 -x6444_bit0 -x6445_bit0 -x6446_bit0 -x6447_bit0 -x6448_bit0 -x6449_bit0 -x6450_bit0 -x6451_bit0 -x6452_bit0 -x6453_bit0 -x6454_bit0 -x6455_bit0 -x6456_bit0 -x6457_bit0 -x6458_bit0 -x6459_bit0 -x6460_bit0 -x6461_bit0 -x6462_bit0 -x6463_bit0 -x6464_bit0 -x6465_bit0 -x6466_bit0 -x6467_bit0 -x6468_bit0 -x6469_bit0 -x6470_bit0 -x6471_bit0 -x6472_bit0 -x6473_bit0 -x6474_bit0 -x6475_bit0 -x6476_bit0 -x6477_bit0 -x6478_bit0 -x6479_bit0 -x6480_bit0 -x6481_bit0 -x6482_bit0 -x6483_bit0 -x6484_bit0 -x6485_bit0 -x6486_bit0 -x6487_bit0 -x6488_bit0 -x6489_bit0 -x6490_bit0 -x6491_bit0 -x6492_bit0 -x6493_bit0 -x6494_bit0 -x6495_bit0 -x6496_bit0 -x6497_bit0 -x6498_bit0 -x6499_bit0 -x6500_bit0 -x6501_bit0 -x6502_bit0 -x6503_bit0 -x6504_bit0 -x6505_bit0 -x6506_bit0 -x6507_bit0 -x6508_bit0 -x6509_bit0 -x6510_bit0 -x6511_bit0 -x6512_bit0 -x6513_bit0 -x6514_bit0 -x6515_bit0 -x6516_bit0 -x6517_bit0 -x6518_bit0 -x6519_bit0 -x6520_bit0 -x6521_bit0 -x6522_bit0 -x6523_bit0 -x6524_bit0 -x6525_bit0 -x6526_bit0 -x6527_bit0 -x6528_bit0 -x6529_bit0 -x6530_bit0 -x6531_bit0 -x6532_bit0 -x6533_bit0 -x6534_bit0 -x6535_bit0 -x6536_bit0 -x6537_bit0 -x6538_bit0 -x6539_bit0 -x6540_bit0 -x6541_bit0 -x6542_bit0 -x6543_bit0 -x6544_bit0 -x6545_bit0 -x6546_bit0 -x6547_bit0 -x6548_bit0 -x6549_bit0 -x6550_bit0 -x6551_bit0 -x6552_bit0 -x6553_bit0 -x6554_bit0 -x6555_bit0 -x6556_bit0 -x6557_bit0 -x6558_bit0 -x6559_bit0 -x6560_bit0 -x6561_bit0 -x6562_bit0 -x6563_bit0 -x6564_bit0 -x6565_bit0 -x6566_bit0 -x6567_bit0 -x6568_bit0 -x6569_bit0 -x6570_bit0 -x6571_bit0 -x6572_bit0 -x6573_bit0 -x6574_bit0 -x6575_bit0 -x6576_bit0 -x6577_bit0 -x6578_bit0 -x6579_bit0 -x6580_bit0 -x6581_bit0 -x6582_bit0 -x6583_bit0 -x6584_bit0 -x6585_bit0 -x6586_bit0 -x6587_bit0 -x6588_bit0 -x6589_bit0 -x6590_bit0 -x6591_bit0 -x6592_bit0 -x6593_bit0 -x6594_bit0 -x6595_bit0 -x6596_bit0 -x6597_bit0 -x6598_bit0 -x6599_bit0 -x6600_bit0 -x6601_bit0 -x6602_bit0 -x6603_bit0 -x6604_bit0 -x6605_bit0 -x6606_bit0 -x6607_bit0 -x6608_bit0 -x6609_bit0 -x6610_bit0 -x6611_bit0 -x6612_bit0 -x6613_bit0 -x6614_bit0 -x6615_bit0 -x6616_bit0 -x6617_bit0 -x6618_bit0 -x6619_bit0 -x6620_bit0 -x6621_bit0 -x6622_bit0 -x6623_bit0 -x6624_bit0 -x6625_bit0 -x6626_bit0 -x6627_bit0 -x6628_bit0 -x6629_bit0 -x6630_bit0 -x6631_bit0 -x6632_bit0 -x6633_bit0 -x6634_bit0 -x6635_bit0 -x6636_bit0 -x6637_bit0 -x6638_bit0 -x6639_bit0 -x6640_bit0 -x6641_bit0 -x6642_bit0 -x6643_bit0 -x6644_bit0 -x6645_bit0 -x6646_bit0 -x6647_bit0 -x6648_bit0 -x6649_bit0 -x6650_bit0 -x6651_bit0 -x6652_bit0 -x6653_bit0 -x6654_bit0 -x6655_bit0 -x6656_bit0 -x6657_bit0 -x6658_bit0 -x6659_bit0 -x6660_bit0 -x6661_bit0 -x6662_bit0 -x6663_bit0 -x6664_bit0 -x6665_bit0 -x6666_bit0 -x6667_bit0 -x6668_bit0 -x6669_bit0 -x6670_bit0 -x6671_bit0 x6672_bit0 -x6673_bit0 -x6674_bit0 -x6675_bit0 -x6676_bit0 -x6677_bit0 -x6678_bit0 -x6679_bit0 -x6680_bit0 -x6681_bit0 -x6682_bit0 -x6683_bit0 -x6684_bit0 -x6685_bit0 -x6686_bit0 -x6687_bit0 -x6688_bit0 -x6689_bit0 -x6690_bit0 -x6691_bit0 -x6692_bit0 -x6693_bit0 -x6694_bit0 -x6695_bit0 -x6696_bit0 -x6697_bit0 -x6698_bit0 -x6699_bit0 -x6700_bit0 -x6701_bit0 -x6702_bit0 -x6703_bit0 -x6704_bit0 -x6705_bit0 -x6706_bit0 -x6707_bit0 -x6708_bit0 -x6709_bit0 -x6710_bit0 -x6711_bit0 -x6712_bit0 -x6713_bit0 -x6714_bit0 -x6715_bit0 -x6716_bit0 -x6717_bit0 -x6718_bit0 -x6719_bit0 -x6720_bit0 -x6721_bit0 -x6722_bit0 -x6723_bit0 -x6724_bit0 -x6725_bit0 -x6726_bit0 -x6727_bit0 -x6728_bit0 -x6729_bit0 -x6730_bit0 -x6731_bit0 -x6732_bit0 -x6733_bit0 -x6734_bit0 -x6735_bit0 -x6736_bit0 -x6737_bit0 -x6738_bit0 -x6739_bit0 -x6740_bit0 -x6741_bit0 -x6742_bit0 -x6743_bit0 -x6744_bit0 -x6745_bit0 -x6746_bit0 -x6747_bit0 -x6748_bit0 -x6749_bit0 -x6750_bit0 -x6751_bit0 -x6752_bit0 -x6753_bit0 -x6754_bit0 -x6755_bit0 -x6756_bit0 -x6757_bit0 -x6758_bit0 -x6759_bit0 -x6760_bit0 -x6761_bit0 -x6762_bit0 -x6763_bit0 -x6764_bit0 x6765_bit0 -x6766_bit0 -x6767_bit0 -x6768_bit0 -x6769_bit0 -x6770_bit0 -x6771_bit0 -x6772_bit0 -x6773_bit0 -x6774_bit0 -x6775_bit0 -x6776_bit0 -x6777_bit0 -x6778_bit0 -x6779_bit0 -x6780_bit0 -x6781_bit0 -x6782_bit0 -x6783_bit0 -x6784_bit0 -x6785_bit0 -x6786_bit0 -x6787_bit0 -x6788_bit0 -x6789_bit0 -x6790_bit0 -x6791_bit0 -x6792_bit0 -x6793_bit0 -x6794_bit0 -x6795_bit0 -x6796_bit0 -x6797_bit0 -x6798_bit0 -x6799_bit0 -x6800_bit0 -x6801_bit0 -x6802_bit0 -x6803_bit0 -x6804_bit0 -x6805_bit0 -x6806_bit0 -x6807_bit0 -x6808_bit0 -x6809_bit0 -x6810_bit0 -x6811_bit0 -x6812_bit0 -x6813_bit0 -x6814_bit0 -x6815_bit0 -x6816_bit0 -x6817_bit0 -x6818_bit0 -x6819_bit0 -x6820_bit0 -x6821_bit0 -x6822_bit0 -x6823_bit0 -x6824_bit0 -x6825_bit0 -x6826_bit0 -x6827_bit0 -x6828_bit0 -x6829_bit0 -x6830_bit0 -x6831_bit0 -x6832_bit0 -x6833_bit0 -x6834_bit0 -x6835_bit0 -x6836_bit0 -x6837_bit0 -x6838_bit0 -x6839_bit0 -x6840_bit0 -x6841_bit0 -x6842_bit0 -x6843_bit0 -x6844_bit0 -x6845_bit0 -x6846_bit0 -x6847_bit0 -x6848_bit0 -x6849_bit0 -x6850_bit0 -x6851_bit0 -x6852_bit0 -x6853_bit0 -x6854_bit0 -x6855_bit0 -x6856_bit0 -x6857_bit0 -x6858_bit0 -x6859_bit0 -x6860_bit0 -x6861_bit0 -x6862_bit0 -x6863_bit0 -x6864_bit0 -x6865_bit0 -x6866_bit0 -x6867_bit0 -x6868_bit0 -x6869_bit0 -x6870_bit0 -x6871_bit0 -x6872_bit0 -x6873_bit0 -x6874_bit0 -x6875_bit0 -x6876_bit0 -x6877_bit0 -x6878_bit0 -x6879_bit0 -x6880_bit0 -x6881_bit0 -x6882_bit0 -x6883_bit0 -x6884_bit0 -x6885_bit0 -x6886_bit0 -x6887_bit0 -x6888_bit0 -x6889_bit0 -x6890_bit0 -x6891_bit0 -x6892_bit0 -x6893_bit0 -x6894_bit0 -x6895_bit0 -x6896_bit0 -x6897_bit0 -x6898_bit0 -x6899_bit0 -x6900_bit0 -x6901_bit0 -x6902_bit0 -x6903_bit0 -x6904_bit0 -x6905_bit0 -x6906_bit0 -x6907_bit0 -x6908_bit0 -x6909_bit0 -x6910_bit0 -x6911_bit0 -x6912_bit0 -x6913_bit0 -x6914_bit0 -x6915_bit0 -x6916_bit0 -x6917_bit0 -x6918_bit0 -x6919_bit0 -x6920_bit0 -x6921_bit0 -x6922_bit0 -x6923_bit0 -x6924_bit0 -x6925_bit0 -x6926_bit0 -x6927_bit0 -x6928_bit0 -x6929_bit0 -x6930_bit0 -x6931_bit0 -x6932_bit0 -x6933_bit0 -x6934_bit0 -x6935_bit0 -x6936_bit0 -x6937_bit0 -x6938_bit0 -x6939_bit0 -x6940_bit0 -x6941_bit0 -x6942_bit0 -x6943_bit0 -x6944_bit0 -x6945_bit0 -x6946_bit0 -x6947_bit0 -x6948_bit0 -x6949_bit0 -x6950_bit0 -x6951_bit0 -x6952_bit0 -x6953_bit0 -x6954_bit0 -x6955_bit0 -x6956_bit0 -x6957_bit0 -x6958_bit0 -x6959_bit0 -x6960_bit0 -x6961_bit0 -x6962_bit0 -x6963_bit0 -x6964_bit0 -x6965_bit0 -x6966_bit0 -x6967_bit0 -x6968_bit0 -x6969_bit0 -x6970_bit0 -x6971_bit0 -x6972_bit0 -x6973_bit0 -x6974_bit0 -x6975_bit0 -x6976_bit0 -x6977_bit0 -x6978_bit0 -x6979_bit0 -x6980_bit0 -x6981_bit0 -x6982_bit0 -x6983_bit0 -x6984_bit0 -x6985_bit0 -x6986_bit0 -x6987_bit0 -x6988_bit0 -x6989_bit0 -x6990_bit0 -x6991_bit0 -x6992_bit0 -x6993_bit0 -x6994_bit0 -x6995_bit0 -x6996_bit0 -x6997_bit0 -x6998_bit0 -x6999_bit0 -x7000_bit0 -x7001_bit0 -x7002_bit0 -x7003_bit0 -x7004_bit0 -x7005_bit0 -x7006_bit0 -x7007_bit0 -x7008_bit0 -x7009_bit0 -x7010_bit0 -x7011_bit0 -x7012_bit0 -x7013_bit0 -x7014_bit0 -x7015_bit0 -x7016_bit0 -x7017_bit0 -x7018_bit0 -x7019_bit0 -x7020_bit0 -x7021_bit0 -x7022_bit0 -x7023_bit0 -x7024_bit0 -x7025_bit0 -x7026_bit0 -x7027_bit0 -x7028_bit0 -x7029_bit0 -x7030_bit0 -x7031_bit0 -x7032_bit0 -x7033_bit0 -x7034_bit0 -x7035_bit0 -x7036_bit0 -x7037_bit0 -x7038_bit0 -x7039_bit0 -x7040_bit0 -x7041_bit0 -x7042_bit0 -x7043_bit0 -x7044_bit0 -x7045_bit0 -x7046_bit0 -x7047_bit0 -x7048_bit0 -x7049_bit0 -x7050_bit0 -x7051_bit0 -x7052_bit0 -x7053_bit0 -x7054_bit0 -x7055_bit0 -x7056_bit0 -x7057_bit0 -x7058_bit0 -x7059_bit0 -x7060_bit0 -x7061_bit0 -x7062_bit0 -x7063_bit0 -x7064_bit0 -x7065_bit0 -x7066_bit0 -x7067_bit0 -x7068_bit0 -x7069_bit0 -x7070_bit0 -x7071_bit0 -x7072_bit0 -x7073_bit0 -x7074_bit0 -x7075_bit0 -x7076_bit0 -x7077_bit0 -x7078_bit0 -x7079_bit0 -x7080_bit0 -x7081_bit0 -x7082_bit0 -x7083_bit0 -x7084_bit0 -x7085_bit0 -x7086_bit0 -x7087_bit0 -x7088_bit0 -x7089_bit0 -x7090_bit0 -x7091_bit0 -x7092_bit0 -x7093_bit0 -x7094_bit0 -x7095_bit0 -x7096_bit0 -x7097_bit0 -x7098_bit0 -x7099_bit0 -x7100_bit0 -x7101_bit0 -x7102_bit0 -x7103_bit0 -x7104_bit0 -x7105_bit0 -x7106_bit0 -x7107_bit0 -x7108_bit0 -x7109_bit0 -x7110_bit0 -x7111_bit0 -x7112_bit0 -x7113_bit0 -x7114_bit0 -x7115_bit0 -x7116_bit0 -x7117_bit0 -x7118_bit0 -x7119_bit0 -x7120_bit0 -x7121_bit0 -x7122_bit0 -x7123_bit0 -x7124_bit0 -x7125_bit0 -x7126_bit0 -x7127_bit0 -x7128_bit0 -x7129_bit0 -x7130_bit0 -x7131_bit0 -x7132_bit0 -x7133_bit0 -x7134_bit0 -x7135_bit0 -x7136_bit0 -x7137_bit0 -x7138_bit0 -x7139_bit0 -x7140_bit0 -x7141_bit0 -x7142_bit0 -x7143_bit0 -x7144_bit0 -x7145_bit0 -x7146_bit0 -x7147_bit0 -x7148_bit0 -x7149_bit0 -x7150_bit0 -x7151_bit0 -x7152_bit0 -x7153_bit0 -x7154_bit0 -x7155_bit0 -x7156_bit0 -x7157_bit0 -x7158_bit0 -x7159_bit0 -x7160_bit0 -x7161_bit0 -x7162_bit0 -x7163_bit0 -x7164_bit0 -x7165_bit0 -x7166_bit0 -x7167_bit0 -x7168_bit0 -x7169_bit0 -x7170_bit0 -x7171_bit0 -x7172_bit0 -x7173_bit0 -x7174_bit0 -x7175_bit0 -x7176_bit0 -x7177_bit0 -x7178_bit0 -x7179_bit0 -x7180_bit0 -x7181_bit0 -x7182_bit0 -x7183_bit0 -x7184_bit0 -x7185_bit0 -x7186_bit0 -x7187_bit0 -x7188_bit0 -x7189_bit0 -x7190_bit0 -x7191_bit0 -x7192_bit0 -x7193_bit0 -x7194_bit0 -x7195_bit0 
c objective function=43940
c Total CPU time (ms) : 1249.675

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1860734813 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 39 3 38 16 0 23 0
[pid=7971] vsize: 156
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libpthread.so.0
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg
execve syscall for /oldhome/oroussel/jre1.5.0_05/bin/java executable
open syscall for file /etc/ld.so.preload
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/libpthread.so.0
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libdl.so.2
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libdl.so.2
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libc.so.6
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libc.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libjvm.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libm.so.6
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libm.so.6
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file /etc/mtab
open syscall for file /proc/stat
open syscall for file /etc/mtab
open syscall for file /proc/meminfo
open syscall for file .hotspotrc
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/endorsed
open syscall for file /etc/mtab
open syscall for file /proc/stat
open syscall for file /proc/self/maps
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/native_threads/libhpi.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libnsl.so.1
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libnsl.so.1
open syscall for file tls/i686/mmx/libnsl.so.1
open syscall for file tls/i686/libnsl.so.1
open syscall for file tls/mmx/libnsl.so.1
open syscall for file tls/libnsl.so.1
open syscall for file i686/mmx/libnsl.so.1
open syscall for file i686/libnsl.so.1
open syscall for file mmx/libnsl.so.1
open syscall for file libnsl.so.1
open syscall for file /oldhome/oroussel/lib/libnsl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libnsl.so.1
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4
socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /tmp/hsperfdata_oroussel
open syscall for file /tmp/hsperfdata_oroussel/7971
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libverify.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libjava.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libzip.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/rt.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jsse.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jce.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/charsets.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/classes.jsa
open syscall for file .hotspot_compiler
New thread pid=7972
New thread pid=7973
New thread pid=7974
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4
socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /etc/localtime
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext
New thread pid=7975
New thread pid=7976
New thread pid=7977
New thread pid=7978
New thread pid=7979
New thread pid=7980
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunjce_provider.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunpkcs11.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/dnsns.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/localedata.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/security/java.security
open syscall for file /dev/random
open syscall for file /dev/urandom
open syscall for file /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-air05.opb
New thread pid=7981

[startup+10.0164 s]
Raw data (loadavg): 1.18 1.05 0.96 5/66 7981
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18146 0 1 0 661 47 0 0 18 0 11 0 1860734813 861573120 22721 4294967295 134512640 134569956 3221224336 3221213992 1073952732 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210345 22721 13129 16 0 210329 0
[pid=7971] vsize: 841380
Current children cumulated CPU time (s) 7.08
Current children cumulated vsize (Kb) 841380

[startup+20.016 s]
Raw data (loadavg): 1.15 1.05 0.96 2/66 7981
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18156 0 1 0 1588 47 0 0 24 0 11 0 1860734813 861474816 24780 4294967295 134512640 134569956 3221224336 3221214544 1131432572 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 24780 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 16.35
Current children cumulated vsize (Kb) 841284

[startup+30.0166 s]
Raw data (loadavg): 1.13 1.05 0.96 2/66 7981
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18163 0 1 0 2554 47 0 0 17 0 11 0 1860734813 861474816 25073 4294967295 134512640 134569956 3221224336 3221214624 1131667688 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 25073 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 26.01
Current children cumulated vsize (Kb) 841284
One traced child (pid=7981) exited with status: 0
New thread pid=7982

[startup+40.0172 s]
Raw data (loadavg): 1.19 1.06 0.96 2/66 7982
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18214 4 1 0 3517 48 0 0 25 0 11 0 1860734813 861474816 25572 4294967295 134512640 134569956 3221224336 3221214632 1131503171 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 25572 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 35.65
Current children cumulated vsize (Kb) 841284

[startup+50.0178 s]
Raw data (loadavg): 1.16 1.06 0.96 2/66 7982
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18222 4 1 0 4455 48 0 0 18 0 11 0 1860734813 861474816 25980 4294967295 134512640 134569956 3221224336 3221214632 1131502252 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 25980 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 45.03
Current children cumulated vsize (Kb) 841284

[startup+60.0184 s]
Raw data (loadavg): 1.13 1.06 0.96 2/66 7982
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18226 4 1 0 5399 49 0 0 25 0 11 0 1860734813 861474816 26661 4294967295 134512640 134569956 3221224336 3221214400 1131432572 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 26661 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 54.48
Current children cumulated vsize (Kb) 841284

[startup+70.018 s]
Raw data (loadavg): 1.11 1.05 0.96 2/66 7982
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18230 4 1 0 6352 49 0 0 25 0 11 0 1860734813 861474816 26726 4294967295 134512640 134569956 3221224336 3221214736 1131578881 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 26726 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 64.01
Current children cumulated vsize (Kb) 841284

[startup+80.0185 s]
Raw data (loadavg): 1.10 1.05 0.96 2/66 7982
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18235 4 1 0 7294 49 0 0 25 0 11 0 1860734813 861474816 26862 4294967295 134512640 134569956 3221224336 3221214724 1131299996 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 26862 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 73.43
Current children cumulated vsize (Kb) 841284

[startup+90.0191 s]
Raw data (loadavg): 1.08 1.05 0.96 2/66 7982
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18241 4 1 0 8224 50 0 0 25 0 11 0 1860734813 861474816 27004 4294967295 134512640 134569956 3221224336 3221214688 1131427153 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 27004 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 82.74
Current children cumulated vsize (Kb) 841284

[startup+100.021 s]
Raw data (loadavg): 1.07 1.05 0.96 2/66 7982
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18247 4 1 0 9155 50 0 0 20 0 11 0 1860734813 861474816 27188 4294967295 134512640 134569956 3221224336 3221214688 1131427153 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 27188 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 92.05
Current children cumulated vsize (Kb) 841284

[startup+110.021 s]
Raw data (loadavg): 1.13 1.06 0.97 2/66 7982
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18252 4 1 0 10094 50 0 0 25 0 11 0 1860734813 861474816 27485 4294967295 134512640 134569956 3221224336 3221214704 1131559081 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 27485 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (Kb) 841284

[startup+120.022 s]
Raw data (loadavg): 1.11 1.06 0.97 2/66 7982
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18258 4 1 0 11019 50 0 0 20 0 11 0 1860734813 861474816 27665 4294967295 134512640 134569956 3221224336 3221214688 1131427186 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 27665 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 110.69
Current children cumulated vsize (Kb) 841284

[startup+130.023 s]
Raw data (loadavg): 1.09 1.06 0.97 2/66 7982
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18263 4 1 0 11955 51 0 0 25 0 11 0 1860734813 861474816 27944 4294967295 134512640 134569956 3221224336 3221214632 1131502241 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 27944 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 120.06
Current children cumulated vsize (Kb) 841284

[startup+140.022 s]
Raw data (loadavg): 1.08 1.06 0.97 2/66 7982
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18268 4 1 0 12894 51 0 0 19 0 11 0 1860734813 861474816 28074 4294967295 134512640 134569956 3221224336 3221214632 1131502808 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 28074 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 129.45
Current children cumulated vsize (Kb) 841284

[startup+150.024 s]
Raw data (loadavg): 1.07 1.05 0.97 2/66 7982
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18273 4 1 0 13828 51 0 0 23 0 11 0 1860734813 861474816 28355 4294967295 134512640 134569956 3221224336 3221214720 1131579398 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 28355 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 138.79
Current children cumulated vsize (Kb) 841284

[startup+160.024 s]
Raw data (loadavg): 1.06 1.05 0.97 2/66 7982
Raw data (/proc/7971/stat): 7971 (java) S 7970 7971 4419 0 -1 0 18279 4 1 0 14756 51 0 0 25 0 11 0 1860734813 861474816 28558 4294967295 134512640 134569956 3221224336 3221213272 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 28558 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 148.07
Current children cumulated vsize (Kb) 841284

[startup+170.024 s]
Raw data (loadavg): 1.05 1.05 0.97 2/66 7982
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18285 4 1 0 15676 51 0 0 19 0 11 0 1860734813 861474816 28776 4294967295 134512640 134569956 3221224336 3221214724 1131559020 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 28776 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 157.27
Current children cumulated vsize (Kb) 841284
One traced child (pid=7982) exited with status: 0
New thread pid=7983

[startup+180.025 s]
Raw data (loadavg): 1.04 1.05 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18291 4 1 0 16609 52 0 0 18 0 11 0 1860734813 861474816 29135 4294967295 134512640 134569956 3221224336 3221214728 1131545157 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 29135 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 166.61
Current children cumulated vsize (Kb) 841284

[startup+190.025 s]
Raw data (loadavg): 1.03 1.05 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18296 4 1 0 17542 52 0 0 23 0 11 0 1860734813 861474816 29363 4294967295 134512640 134569956 3221224336 3221214624 1131667674 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 29363 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 175.94
Current children cumulated vsize (Kb) 841284

[startup+200.026 s]
Raw data (loadavg): 1.03 1.04 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18301 4 1 0 18479 52 0 0 25 0 11 0 1860734813 861474816 29462 4294967295 134512640 134569956 3221224336 3221214632 1131502266 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 29462 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 185.31
Current children cumulated vsize (Kb) 841284

[startup+210.026 s]
Raw data (loadavg): 1.02 1.04 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18307 4 1 0 19406 52 0 0 22 0 11 0 1860734813 861474816 29650 4294967295 134512640 134569956 3221224336 3221214720 1131579376 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 29650 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 194.58
Current children cumulated vsize (Kb) 841284

[startup+220.027 s]
Raw data (loadavg): 1.02 1.04 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18311 4 1 0 20359 53 0 0 25 0 11 0 1860734813 861474816 29877 4294967295 134512640 134569956 3221224336 3221214520 1131661349 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 29877 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (Kb) 841284

[startup+230.028 s]
Raw data (loadavg): 1.02 1.04 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18316 4 1 0 21303 53 0 0 22 0 11 0 1860734813 861474816 29877 4294967295 134512640 134569956 3221224336 3221214512 1131432098 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 29877 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 213.56
Current children cumulated vsize (Kb) 841284

[startup+240.028 s]
Raw data (loadavg): 1.01 1.04 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18323 4 1 0 22245 53 0 0 16 0 11 0 1860734813 861474816 29961 4294967295 134512640 134569956 3221224336 3221214520 1131661207 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 29961 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 222.98
Current children cumulated vsize (Kb) 841284

[startup+250.029 s]
Raw data (loadavg): 1.01 1.03 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18327 4 1 0 23204 53 0 0 25 0 11 0 1860734813 861474816 30133 4294967295 134512640 134569956 3221224336 3221214608 1131650334 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 30133 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 232.57
Current children cumulated vsize (Kb) 841284

[startup+260.029 s]
Raw data (loadavg): 1.01 1.03 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18331 4 1 0 24173 53 0 0 25 0 11 0 1860734813 861474816 30287 4294967295 134512640 134569956 3221224336 3221214624 1131667787 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 30287 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 242.26
Current children cumulated vsize (Kb) 841284

[startup+270.029 s]
Raw data (loadavg): 1.01 1.03 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18337 4 1 0 25121 53 0 0 25 0 11 0 1860734813 861474816 30436 4294967295 134512640 134569956 3221224336 3221214332 1131388772 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 30436 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 251.74
Current children cumulated vsize (Kb) 841284

[startup+280.03 s]
Raw data (loadavg): 1.00 1.03 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18342 4 1 0 26067 54 0 0 18 0 11 0 1860734813 861474816 30588 4294967295 134512640 134569956 3221224336 3221214752 1131567312 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 30588 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 261.21
Current children cumulated vsize (Kb) 841284

[startup+290.03 s]
Raw data (loadavg): 1.00 1.03 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18347 4 1 0 27008 55 0 0 25 0 11 0 1860734813 861474816 30699 4294967295 134512640 134569956 3221224336 3221214608 1131650984 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 30699 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 270.63
Current children cumulated vsize (Kb) 841284

[startup+300.031 s]
Raw data (loadavg): 1.00 1.03 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) S 7970 7971 4419 0 -1 0 18352 4 1 0 27956 55 0 0 17 0 11 0 1860734813 861474816 30699 4294967295 134512640 134569956 3221224336 3221213400 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 30699 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 280.11
Current children cumulated vsize (Kb) 841284

[startup+310.031 s]
Raw data (loadavg): 1.00 1.03 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18359 4 1 0 28879 55 0 0 25 0 11 0 1860734813 861474816 30716 4294967295 134512640 134569956 3221224336 3221214624 1131667459 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 30716 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 289.34
Current children cumulated vsize (Kb) 841284

[startup+320.031 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18363 4 1 0 29813 55 0 0 25 0 11 0 1860734813 861474816 31529 4294967295 134512640 134569956 3221224336 3221214528 1131433219 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 31529 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 298.68
Current children cumulated vsize (Kb) 841284

[startup+330.032 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18368 4 1 0 30754 56 0 0 25 0 11 0 1860734813 861474816 31529 4294967295 134512640 134569956 3221224336 3221214512 1131432456 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 31529 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 308.1
Current children cumulated vsize (Kb) 841284

[startup+340.032 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18372 4 1 0 31703 56 0 0 25 0 11 0 1860734813 861474816 31529 4294967295 134512640 134569956 3221224336 3221214624 1131667674 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 31529 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 317.59
Current children cumulated vsize (Kb) 841284

[startup+350.033 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18375 4 1 0 32651 56 0 0 25 0 11 0 1860734813 861474816 32336 4294967295 134512640 134569956 3221224336 3221214624 1131667674 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 32336 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 327.07
Current children cumulated vsize (Kb) 841284

[startup+360.033 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18380 4 1 0 33587 57 0 0 25 0 11 0 1860734813 861474816 33050 4294967295 134512640 134569956 3221224336 3221214528 1131432863 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 33050 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 336.44
Current children cumulated vsize (Kb) 841284

[startup+370.034 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18386 4 1 0 34528 57 0 0 25 0 11 0 1860734813 861474816 33050 4294967295 134512640 134569956 3221224336 3221214580 1131057186 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 33050 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 345.85
Current children cumulated vsize (Kb) 841284

[startup+380.035 s]
Raw data (loadavg): 1.07 1.04 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18391 4 1 0 35479 57 0 0 25 0 11 0 1860734813 861474816 33050 4294967295 134512640 134569956 3221224336 3221214616 1131370457 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 33050 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 355.36
Current children cumulated vsize (Kb) 841284

[startup+390.035 s]
Raw data (loadavg): 1.06 1.03 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18396 4 1 0 36428 58 0 0 25 0 11 0 1860734813 861474816 33050 4294967295 134512640 134569956 3221224336 3221214520 1131660366 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 33050 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 364.86
Current children cumulated vsize (Kb) 841284

[startup+400.036 s]
Raw data (loadavg): 1.05 1.03 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18401 4 1 0 37378 58 0 0 25 0 11 0 1860734813 861474816 33050 4294967295 134512640 134569956 3221224336 3221214600 1131573229 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 33050 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 374.36
Current children cumulated vsize (Kb) 841284

[startup+410.035 s]
Raw data (loadavg): 1.04 1.03 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18406 4 1 0 38328 58 0 0 25 0 11 0 1860734813 861474816 33329 4294967295 134512640 134569956 3221224336 3221214608 1131650143 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 33329 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 383.86
Current children cumulated vsize (Kb) 841284

[startup+420.035 s]
Raw data (loadavg): 1.04 1.03 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18411 4 1 0 39317 59 0 0 25 0 11 0 1860734813 861474816 33707 4294967295 134512640 134569956 3221224336 3221214512 1131432456 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 33707 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 393.76
Current children cumulated vsize (Kb) 841284

[startup+430.036 s]
Raw data (loadavg): 1.03 1.03 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18416 4 1 0 40315 59 0 0 25 0 11 0 1860734813 861474816 33707 4294967295 134512640 134569956 3221224336 3221214608 1131650198 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 33707 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 403.74
Current children cumulated vsize (Kb) 841284

[startup+440.035 s]
Raw data (loadavg): 1.02 1.03 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18421 4 1 0 41312 59 0 0 25 0 11 0 1860734813 861474816 33707 4294967295 134512640 134569956 3221224336 3221214600 1131577755 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 33707 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 413.71
Current children cumulated vsize (Kb) 841284

[startup+450.036 s]
Raw data (loadavg): 1.02 1.03 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18426 4 1 0 42309 60 0 0 22 0 11 0 1860734813 861474816 33707 4294967295 134512640 134569956 3221224336 3221214512 1131432456 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 33707 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 423.69
Current children cumulated vsize (Kb) 841284

[startup+460.036 s]
Raw data (loadavg): 1.02 1.02 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18430 4 1 0 43300 60 0 0 25 0 11 0 1860734813 861474816 33707 4294967295 134512640 134569956 3221224336 3221214720 1131624387 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 33707 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 433.6
Current children cumulated vsize (Kb) 841284

[startup+470.036 s]
Raw data (loadavg): 1.01 1.02 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18435 4 1 0 44263 60 0 0 25 0 11 0 1860734813 861474816 33707 4294967295 134512640 134569956 3221224336 3221214608 1131650552 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 33707 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 443.23
Current children cumulated vsize (Kb) 841284

[startup+480.037 s]
Raw data (loadavg): 1.01 1.02 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18440 4 1 0 45227 61 0 0 25 0 11 0 1860734813 861474816 33707 4294967295 134512640 134569956 3221224336 3221214608 1131650131 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 33707 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 452.88
Current children cumulated vsize (Kb) 841284

[startup+490.037 s]
Raw data (loadavg): 1.01 1.02 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18446 4 1 0 46184 61 0 0 16 0 11 0 1860734813 861474816 33707 4294967295 134512640 134569956 3221224336 3221214608 1131650365 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 33707 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 462.45
Current children cumulated vsize (Kb) 841284

[startup+500.038 s]
Raw data (loadavg): 1.01 1.02 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18451 4 1 0 47147 61 0 0 20 0 11 0 1860734813 861474816 33707 4294967295 134512640 134569956 3221224336 3221214600 1131577753 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 33707 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 472.08
Current children cumulated vsize (Kb) 841284

[startup+510.037 s]
Raw data (loadavg): 1.01 1.02 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18456 4 1 0 48111 61 0 0 22 0 11 0 1860734813 861474816 33707 4294967295 134512640 134569956 3221224336 3221214604 1131370427 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 33707 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 481.72
Current children cumulated vsize (Kb) 841284

[startup+520.038 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18461 4 1 0 49074 61 0 0 24 0 11 0 1860734813 861474816 34005 4294967295 134512640 134569956 3221224336 3221214520 1131660105 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 34005 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 491.35
Current children cumulated vsize (Kb) 841284

[startup+530.039 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18466 4 1 0 50070 62 0 0 25 0 11 0 1860734813 861474816 34105 4294967295 134512640 134569956 3221224336 3221214520 1131660464 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 34105 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 501.32
Current children cumulated vsize (Kb) 841284

[startup+540.038 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18471 4 1 0 51066 62 0 0 25 0 11 0 1860734813 861474816 34105 4294967295 134512640 134569956 3221224336 3221214528 1131432456 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 34105 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 511.28
Current children cumulated vsize (Kb) 841284

[startup+550.039 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18476 4 1 0 52063 62 0 0 25 0 11 0 1860734813 861474816 34105 4294967295 134512640 134569956 3221224336 3221214608 1131650444 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 34105 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 521.25
Current children cumulated vsize (Kb) 841284

[startup+560.039 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18480 4 1 0 53061 63 0 0 25 0 11 0 1860734813 861474816 34105 4294967295 134512640 134569956 3221224336 3221214520 1131660105 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 34105 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 531.24
Current children cumulated vsize (Kb) 841284

[startup+570.039 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18485 4 1 0 54055 63 0 0 25 0 11 0 1860734813 861474816 34105 4294967295 134512640 134569956 3221224336 3221214608 1131650198 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 34105 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 541.18
Current children cumulated vsize (Kb) 841284

[startup+580.04 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18490 4 1 0 55048 63 0 0 25 0 11 0 1860734813 861474816 34105 4294967295 134512640 134569956 3221224336 3221214584 1131370457 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 34105 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 551.11
Current children cumulated vsize (Kb) 841284

[startup+590.04 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18496 4 1 0 56041 63 0 0 18 0 11 0 1860734813 861474816 34105 4294967295 134512640 134569956 3221224336 3221214512 1131432456 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 34105 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 561.04
Current children cumulated vsize (Kb) 841284

[startup+600.041 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18501 4 1 0 57034 64 0 0 25 0 11 0 1860734813 861474816 34105 4294967295 134512640 134569956 3221224336 3221214528 1131432757 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 34105 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 570.98
Current children cumulated vsize (Kb) 841284

[startup+610.041 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18506 4 1 0 58027 64 0 0 25 0 11 0 1860734813 861474816 34105 4294967295 134512640 134569956 3221224336 3221214512 1131432769 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 34105 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 580.91
Current children cumulated vsize (Kb) 841284

[startup+620.041 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18511 4 1 0 59021 64 0 0 25 0 11 0 1860734813 861474816 34105 4294967295 134512640 134569956 3221224336 3221214624 1131615079 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 34105 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 590.85
Current children cumulated vsize (Kb) 841284

[startup+630.042 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18516 4 1 0 60016 64 0 0 25 0 11 0 1860734813 861474816 34145 4294967295 134512640 134569956 3221224336 3221214528 1131432692 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 34145 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 600.8
Current children cumulated vsize (Kb) 841284

[startup+640.042 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18521 4 1 0 61013 64 0 0 25 0 11 0 1860734813 861474816 34145 4294967295 134512640 134569956 3221224336 3221214584 1131370457 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 34145 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 610.77
Current children cumulated vsize (Kb) 841284

[startup+650.043 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18526 4 1 0 62010 65 0 0 25 0 11 0 1860734813 861474816 34145 4294967295 134512640 134569956 3221224336 3221214608 1131650076 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 34145 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 620.75
Current children cumulated vsize (Kb) 841284

[startup+660.043 s]
Raw data (loadavg): 1.07 1.02 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18530 4 1 0 63008 65 0 0 25 0 11 0 1860734813 861474816 34145 4294967295 134512640 134569956 3221224336 3221214512 1131432456 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 34145 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 630.73
Current children cumulated vsize (Kb) 841284

[startup+670.043 s]
Raw data (loadavg): 1.06 1.02 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18534 4 1 0 64000 65 0 0 25 0 11 0 1860734813 861474816 34145 4294967295 134512640 134569956 3221224336 3221214520 1131660105 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 34145 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 640.65
Current children cumulated vsize (Kb) 841284

[startup+680.044 s]
Raw data (loadavg): 1.05 1.02 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18540 4 1 0 64953 65 0 0 25 0 11 0 1860734813 861474816 34145 4294967295 134512640 134569956 3221224336 3221214512 1131432594 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 34145 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 650.18
Current children cumulated vsize (Kb) 841284

[startup+690.043 s]
Raw data (loadavg): 1.04 1.02 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18545 4 1 0 65914 65 0 0 25 0 11 0 1860734813 861474816 34145 4294967295 134512640 134569956 3221224336 3221214608 1131650984 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 34145 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 659.79
Current children cumulated vsize (Kb) 841284

[startup+700.044 s]
Raw data (loadavg): 1.04 1.02 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18551 4 1 0 66866 66 0 0 25 0 11 0 1860734813 861474816 34145 4294967295 134512640 134569956 3221224336 3221214512 1131432793 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 34145 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 669.32
Current children cumulated vsize (Kb) 841284

[startup+710.044 s]
Raw data (loadavg): 1.03 1.02 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18556 4 1 0 67828 66 0 0 23 0 11 0 1860734813 861474816 34145 4294967295 134512640 134569956 3221224336 3221214608 1131650516 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 34145 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 678.94
Current children cumulated vsize (Kb) 841284

[startup+720.045 s]
Raw data (loadavg): 1.02 1.02 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18561 4 1 0 68789 66 0 0 25 0 11 0 1860734813 861474816 34145 4294967295 134512640 134569956 3221224336 3221214512 1131432757 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 34145 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 688.55
Current children cumulated vsize (Kb) 841284

[startup+730.046 s]
Raw data (loadavg): 1.02 1.01 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18567 4 1 0 69754 66 0 0 25 0 11 0 1860734813 861474816 34579 4294967295 134512640 134569956 3221224336 3221214520 1131660366 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 34579 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 698.2
Current children cumulated vsize (Kb) 841284

[startup+740.046 s]
Raw data (loadavg): 1.02 1.01 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18572 4 1 0 70751 67 0 0 25 0 11 0 1860734813 861474816 34579 4294967295 134512640 134569956 3221224336 3221214528 1131432422 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 34579 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 708.18
Current children cumulated vsize (Kb) 841284

[startup+750.047 s]
Raw data (loadavg): 1.01 1.01 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18577 4 1 0 71748 67 0 0 25 0 11 0 1860734813 861474816 34579 4294967295 134512640 134569956 3221224336 3221214608 1131650076 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 34579 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 718.15
Current children cumulated vsize (Kb) 841284

[startup+760.047 s]
Raw data (loadavg): 1.01 1.01 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18582 4 1 0 72746 67 0 0 25 0 11 0 1860734813 861474816 34579 4294967295 134512640 134569956 3221224336 3221214608 1131650198 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 34579 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 728.13
Current children cumulated vsize (Kb) 841284

[startup+770.047 s]
Raw data (loadavg): 1.01 1.01 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18587 4 1 0 73742 67 0 0 24 0 11 0 1860734813 861474816 34579 4294967295 134512640 134569956 3221224336 3221214512 1131432417 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 34579 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 738.09
Current children cumulated vsize (Kb) 841284

[startup+780.048 s]
Raw data (loadavg): 1.01 1.01 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18593 4 1 0 74733 67 0 0 25 0 11 0 1860734813 861474816 34579 4294967295 134512640 134569956 3221224336 3221214512 1131432397 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 34579 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 748
Current children cumulated vsize (Kb) 841284

[startup+790.048 s]
Raw data (loadavg): 1.01 1.01 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18599 4 1 0 75725 68 0 0 25 0 11 0 1860734813 861474816 34579 4294967295 134512640 134569956 3221224336 3221214608 1131650076 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 34579 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 757.93
Current children cumulated vsize (Kb) 841284

[startup+800.049 s]
Raw data (loadavg): 1.00 1.01 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18605 4 1 0 76716 68 0 0 25 0 11 0 1860734813 861474816 34579 4294967295 134512640 134569956 3221224336 3221214624 1131615079 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 34579 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 767.84
Current children cumulated vsize (Kb) 841284

[startup+810.049 s]
Raw data (loadavg): 1.00 1.01 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18611 4 1 0 77709 68 0 0 25 0 11 0 1860734813 861474816 34579 4294967295 134512640 134569956 3221224336 3221214636 1131299996 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 34579 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 777.77
Current children cumulated vsize (Kb) 841284

[startup+820.05 s]
Raw data (loadavg): 1.00 1.01 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18616 4 1 0 78702 68 0 0 25 0 11 0 1860734813 861474816 34579 4294967295 134512640 134569956 3221224336 3221214528 1131433000 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 34579 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 787.7
Current children cumulated vsize (Kb) 841284

[startup+830.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18622 4 1 0 79697 69 0 0 25 0 11 0 1860734813 861474816 34613 4294967295 134512640 134569956 3221224336 3221214608 1131650204 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 34613 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 797.66
Current children cumulated vsize (Kb) 841284

[startup+840.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18627 4 1 0 80694 69 0 0 25 0 11 0 1860734813 861474816 34613 4294967295 134512640 134569956 3221224336 3221214608 1131650076 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 34613 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 807.63
Current children cumulated vsize (Kb) 841284

[startup+850.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18632 4 1 0 81692 69 0 0 25 0 11 0 1860734813 861474816 34613 4294967295 134512640 134569956 3221224336 3221214608 1131650131 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 34613 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 817.61
Current children cumulated vsize (Kb) 841284

[startup+860.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18636 4 1 0 82690 69 0 0 25 0 11 0 1860734813 861474816 34613 4294967295 134512640 134569956 3221224336 3221214608 1131650964 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 34613 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 827.59
Current children cumulated vsize (Kb) 841284

[startup+870.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18640 4 1 0 83669 69 0 0 25 0 11 0 1860734813 861474816 34613 4294967295 134512640 134569956 3221224336 3221214512 1131432658 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 34613 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 837.38
Current children cumulated vsize (Kb) 841284

[startup+880.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) S 7970 7971 4419 0 -1 0 18646 4 1 0 84612 70 0 0 25 0 11 0 1860734813 861474816 34613 4294967295 134512640 134569956 3221224336 3221213152 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 34613 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 846.82
Current children cumulated vsize (Kb) 841284

[startup+890.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18651 4 1 0 85560 70 0 0 19 0 11 0 1860734813 861474816 34615 4294967295 134512640 134569956 3221224336 3221214512 1131433242 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 34615 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 856.3
Current children cumulated vsize (Kb) 841284

[startup+900.053 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18656 4 1 0 86510 70 0 0 25 0 11 0 1860734813 861474816 34615 4294967295 134512640 134569956 3221224336 3221214608 1131650332 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 34615 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 865.8
Current children cumulated vsize (Kb) 841284

[startup+910.053 s]
Raw data (loadavg): 1.07 1.02 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18661 4 1 0 87461 71 0 0 25 0 11 0 1860734813 861474816 34617 4294967295 134512640 134569956 3221224336 3221214520 1131660578 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 34617 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 875.32
Current children cumulated vsize (Kb) 841284

[startup+920.054 s]
Raw data (loadavg): 1.06 1.02 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18666 4 1 0 88410 72 0 0 25 0 11 0 1860734813 861474816 34617 4294967295 134512640 134569956 3221224336 3221214520 1131660541 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 34617 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 884.82
Current children cumulated vsize (Kb) 841284

[startup+930.055 s]
Raw data (loadavg): 1.05 1.01 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18671 4 1 0 89366 73 0 0 25 0 11 0 1860734813 861474816 35227 4294967295 134512640 134569956 3221224336 3221214520 1131661360 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 35227 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 894.39
Current children cumulated vsize (Kb) 841284

[startup+940.055 s]
Raw data (loadavg): 1.04 1.01 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18676 4 1 0 90363 74 0 0 25 0 11 0 1860734813 861474816 35228 4294967295 134512640 134569956 3221224336 3221214512 1131432353 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 35228 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 904.37
Current children cumulated vsize (Kb) 841284

[startup+950.057 s]
Raw data (loadavg): 1.04 1.01 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18681 4 1 0 91361 74 0 0 25 0 11 0 1860734813 861474816 35228 4294967295 134512640 134569956 3221224336 3221214520 1131660464 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 35228 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 914.35
Current children cumulated vsize (Kb) 841284

[startup+960.057 s]
Raw data (loadavg): 1.03 1.01 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18686 4 1 0 92358 74 0 0 25 0 11 0 1860734813 861474816 35228 4294967295 134512640 134569956 3221224336 3221214608 1131650444 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 35228 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 924.32
Current children cumulated vsize (Kb) 841284

[startup+970.058 s]
Raw data (loadavg): 1.02 1.01 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18690 4 1 0 93336 74 0 0 25 0 11 0 1860734813 861474816 35228 4294967295 134512640 134569956 3221224336 3221214720 1131579406 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 35228 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 934.1
Current children cumulated vsize (Kb) 841284

[startup+980.059 s]
Raw data (loadavg): 1.02 1.01 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18693 4 1 0 94312 74 0 0 25 0 11 0 1860734813 861474816 35228 4294967295 134512640 134569956 3221224336 3221214728 1131545157 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 35228 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 943.86
Current children cumulated vsize (Kb) 841284

[startup+990.059 s]
Raw data (loadavg): 1.02 1.01 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18698 4 1 0 95269 74 0 0 25 0 11 0 1860734813 861474816 35228 4294967295 134512640 134569956 3221224336 3221214752 1131567500 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 35228 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 953.43
Current children cumulated vsize (Kb) 841284

[startup+1000.06 s]
Raw data (loadavg): 1.01 1.01 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18702 4 1 0 96227 75 0 0 25 0 11 0 1860734813 861474816 35228 4294967295 134512640 134569956 3221224336 3221214728 1131377607 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 35228 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 963.02
Current children cumulated vsize (Kb) 841284

[startup+1010.06 s]
Raw data (loadavg): 1.01 1.01 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18707 4 1 0 97172 75 0 0 23 0 11 0 1860734813 861474816 35228 4294967295 134512640 134569956 3221224336 3221214664 1131581573 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 35228 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 972.47
Current children cumulated vsize (Kb) 841284

[startup+1020.06 s]
Raw data (loadavg): 1.01 1.01 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18711 4 1 0 98125 75 0 0 19 0 11 0 1860734813 861474816 35228 4294967295 134512640 134569956 3221224336 3221214632 1131502379 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 35228 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 982
Current children cumulated vsize (Kb) 841284

[startup+1030.06 s]
Raw data (loadavg): 1.01 1.00 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18716 4 1 0 99063 75 0 0 25 0 11 0 1860734813 861474816 35228 4294967295 134512640 134569956 3221224336 3221214748 1131579480 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 35228 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 991.38
Current children cumulated vsize (Kb) 841284

[startup+1040.06 s]
Raw data (loadavg): 1.01 1.00 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18723 4 1 0 99988 75 0 0 25 0 11 0 1860734813 861474816 35600 4294967295 134512640 134569956 3221224336 3221214632 1131503187 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 35600 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 1000.63
Current children cumulated vsize (Kb) 841284

[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18729 4 1 0 100938 76 0 0 25 0 11 0 1860734813 861474816 35734 4294967295 134512640 134569956 3221224336 3221214624 1131667674 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 35734 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 1010.14
Current children cumulated vsize (Kb) 841284

[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) S 7970 7971 4419 0 -1 0 18733 4 1 0 101865 76 0 0 17 0 11 0 1860734813 861474816 36159 4294967295 134512640 134569956 3221224336 3221213272 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 36159 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 1019.41
Current children cumulated vsize (Kb) 841284

[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18739 4 1 0 102799 76 0 0 25 0 11 0 1860734813 861474816 36159 4294967295 134512640 134569956 3221224336 3221214528 1131432609 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 36159 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 1028.75
Current children cumulated vsize (Kb) 841284

[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18745 4 1 0 103723 76 0 0 19 0 11 0 1860734813 861474816 36159 4294967295 134512640 134569956 3221224336 3221214584 1131370463 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 36159 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 1037.99
Current children cumulated vsize (Kb) 841284

[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18750 4 1 0 104658 76 0 0 25 0 11 0 1860734813 861474816 36159 4294967295 134512640 134569956 3221224336 3221214520 1131662620 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 36159 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 1047.34
Current children cumulated vsize (Kb) 841284

[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18756 4 1 0 105579 77 0 0 17 0 11 0 1860734813 861474816 36172 4294967295 134512640 134569956 3221224336 3221214608 1131650131 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 36172 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 1056.56
Current children cumulated vsize (Kb) 841284

[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18761 4 1 0 106517 77 0 0 23 0 11 0 1860734813 861474816 36740 4294967295 134512640 134569956 3221224336 3221214608 1131650824 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 36740 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 1065.94
Current children cumulated vsize (Kb) 841284

[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18766 4 1 0 107508 77 0 0 25 0 11 0 1860734813 861474816 37080 4294967295 134512640 134569956 3221224336 3221214580 1131057275 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 37080 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 1075.85
Current children cumulated vsize (Kb) 841284

[startup+1130.07 s]
Raw data (loadavg): 1.45 1.10 1.02 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18772 4 1 0 108504 77 0 0 25 0 11 0 1860734813 861474816 37080 4294967295 134512640 134569956 3221224336 3221214520 1131662629 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 37080 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 1085.81
Current children cumulated vsize (Kb) 841284

[startup+1140.07 s]
Raw data (loadavg): 1.38 1.09 1.01 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18777 4 1 0 109501 78 0 0 23 0 11 0 1860734813 861474816 37080 4294967295 134512640 134569956 3221224336 3221214608 1131650821 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 37080 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 1095.79
Current children cumulated vsize (Kb) 841284

[startup+1150.07 s]
Raw data (loadavg): 1.32 1.09 1.01 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18782 4 1 0 110498 78 0 0 19 0 11 0 1860734813 861474816 37080 4294967295 134512640 134569956 3221224336 3221214512 1131432456 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 37080 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 1105.76
Current children cumulated vsize (Kb) 841284

[startup+1160.07 s]
Raw data (loadavg): 1.27 1.09 1.01 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18787 4 1 0 111489 79 0 0 25 0 11 0 1860734813 861474816 37080 4294967295 134512640 134569956 3221224336 3221214528 1131432098 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 37080 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 1115.68
Current children cumulated vsize (Kb) 841284

[startup+1170.07 s]
Raw data (loadavg): 1.23 1.08 1.01 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18793 4 1 0 112474 79 0 0 25 0 11 0 1860734813 861474816 37080 4294967295 134512640 134569956 3221224336 3221214608 1131650131 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 37080 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 1125.53
Current children cumulated vsize (Kb) 841284

[startup+1180.07 s]
Raw data (loadavg): 1.19 1.08 1.01 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18799 4 1 0 113458 79 0 0 16 0 11 0 1860734813 861474816 37080 4294967295 134512640 134569956 3221224336 3221214512 1131432797 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 37080 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 1135.37
Current children cumulated vsize (Kb) 841284

[startup+1190.07 s]
Raw data (loadavg): 1.16 1.08 1.01 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18804 4 1 0 114445 79 0 0 25 0 11 0 1860734813 861474816 37080 4294967295 134512640 134569956 3221224336 3221214624 1131615079 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 37080 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 1145.24
Current children cumulated vsize (Kb) 841284

[startup+1200.07 s]
Raw data (loadavg): 1.14 1.07 1.01 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18810 4 1 0 115430 79 0 0 25 0 11 0 1860734813 861474816 37080 4294967295 134512640 134569956 3221224336 3221214608 1131650198 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 37080 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 1155.09
Current children cumulated vsize (Kb) 841284

[startup+1210.07 s]
Raw data (loadavg): 1.12 1.07 1.01 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18815 4 1 0 116416 80 0 0 25 0 11 0 1860734813 861474816 37080 4294967295 134512640 134569956 3221224336 3221214584 1131370475 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 37080 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 1164.96
Current children cumulated vsize (Kb) 841284

[startup+1220.07 s]
Raw data (loadavg): 1.10 1.07 1.01 1/66 7983
Raw data (/proc/7971/stat): 7971 (java) T 7970 7971 4419 0 -1 0 18820 4 1 0 117410 80 0 0 25 0 11 0 1860734813 861474816 37218 4294967295 134512640 134569956 3221224336 3221213232 1073943035 0 4 1 23758 3222434794 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 37218 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 1174.9
Current children cumulated vsize (Kb) 841284

[startup+1230.07 s]
Raw data (loadavg): 1.08 1.07 1.01 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18826 4 1 0 118407 80 0 0 19 0 11 0 1860734813 861474816 37218 4294967295 134512640 134569956 3221224336 3221214512 1131432456 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/7971/statm): 210321 37218 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 1184.87
Current children cumulated vsize (Kb) 841284

[startup+1240.07 s]
Raw data (loadavg): 1.07 1.06 1.00 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18831 4 1 0 119404 80 0 0 20 0 11 0 1860734813 861474816 37218 4294967295 134512640 134569956 3221224336 3221214608 1131650185 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 37218 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 1194.84
Current children cumulated vsize (Kb) 841284

[startup+1250.07 s]
Raw data (loadavg): 1.06 1.06 1.00 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18836 4 1 0 120401 81 0 0 17 0 11 0 1860734813 861474816 37218 4294967295 134512640 134569956 3221224336 3221214520 1131660464 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 37218 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 1204.82
Current children cumulated vsize (Kb) 841284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1250.07 s]
Raw data (loadavg): 1.06 1.06 1.00 2/66 7983
Raw data (/proc/7971/stat): 7971 (java) R 7970 7971 4419 0 -1 0 18836 4 1 0 120401 81 0 0 17 0 11 0 1860734813 861474816 37218 4294967295 134512640 134569956 3221224336 3221214528 1131432098 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/7971/statm): 210321 37218 13129 16 0 210305 0
[pid=7971] vsize: 841284
Current children cumulated CPU time (s) 1204.82
Current children cumulated vsize (Kb) 841284

Sending SIGTERM to -7971
Sleeping 2 seconds
New thread pid=7985
New thread pid=7986
One traced child (pid=7986) exited with status: 0
One traced child (pid=7980) exited with status: 0
One traced child (pid=7975) exited with status: 0
One traced child (pid=7972) exited with status: 143
One traced child (pid=7973) exited with status: 143
One traced child (pid=7979) exited with status: 143
One traced child (pid=7974) exited with status: 143
One traced child (pid=7976) exited with status: 143
One traced child (pid=7978) exited with status: 143
One traced child (pid=7977) exited with status: 143
One traced child (pid=7985) exited with status: 143
One traced child (pid=7983) exited with status: 143
One traced child (pid=7971) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1251.06
CPU time (s): 1246.92
CPU user time (s): 1245.42
CPU system time (s): 1.49677
CPU usage (%): 99.6688
Max. virtual memory (cumulated for all children) (Kb): 841380

Verifier Data

Verifier:	OK	43940