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-mkc.opb
MD5SUM44934b498b6e9897bcf8e950d9d30136
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of terms in the objective function 2946
Biggest coefficient in the objective function 20000
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 31442101
Number of bits of the sum of numbers in the objective function 25
Biggest number in a constraint 65536000
Number of bits of the biggest number in a constraint 26
Biggest sum of numbers in a constraint 629010691
Number of bits of the biggest sum of numbers30
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.32
Number of variables5363
Total number of constraints8734
Number of constraints which are clauses2977
Number of constraints which are cardinality constraints (but not clauses)5731
Number of constraints which are nor clauses,nor cardinality constraints26
Minimum length of a constraint1
Maximum length of a constraint2942

Trace number 8790

Launcher Data

LAUNCH ON wulflinc8 THE 2005-09-20 18:43:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6821 boxname=wulflinc8 idbench=961 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  44934b498b6e9897bcf8e950d9d30136  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-mkc.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-mkc.opb
IDLAUNCH: 6821
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        740864 kB
Buffers:         34420 kB
Cached:         232624 kB
SwapCached:        876 kB
Active:          89072 kB
Inactive:       180724 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        740612 kB
SwapTotal:     2097136 kB
SwapFree:      2095848 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5768 kB
Slab:            18284 kB
Committed_AS:    64136 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 19:04:19 (client local time) WITH STATUS 143 IN 1232.49 SECONDS
stats: 6821 0 1232.49 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/wulflinc8/normalized-mps-v2-13-7-mkc.opb
c reading problem ... done. Time 6.624 ms.
c #vars     5363
c #constraints  3281
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                   0 		Current CPU time: 11.57 ms
c starts		: 2
c conflicts		: 32
c decisions		: 8302
c propagations		: 21675
c inspects		: 54940
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 31
c root simplifications	: 6
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 0
c speed (decisions/second)	: 6.878033787036125
c non guided choices	8119
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 -x2949_bit0 -x2950_bit0 -x2951_bit0 -x2952_bit0 -x2953_bit0 -x2954_bit0 -x2955_bit0 -x2956_bit0 -x2957_bit0 -x2958_bit0 -x2959_bit0 -x2960_bit0 -x2961_bit0 -x2962_bit0 -x2963_bit0 -x2964_bit0 -x2965_bit0 -x2966_bit0 -x2967_bit0 -x2968_bit0 -x2969_bit0 -x2970_bit0 -x2971_bit0 -x2972_bit0 -x2973_bit0 -x2974_bit0 -x2975_bit0 -x2976_bit0 -x2977_bit0 -x2978_bit0 -x2979_bit0 -x2980_bit0 -x2981_bit0 -x2982_bit0 -x2983_bit0 -x2984_bit0 -x2985_bit0 -x2986_bit0 -x2987_bit0 -x2988_bit0 -x2989_bit0 -x2990_bit0 -x2991_bit0 -x2992_bit0 -x2993_bit0 -x2994_bit0 -x2995_bit0 -x2996_bit0 -x2997_bit0 -x2998_bit0 -x2999_bit0 -x3000_bit0 -x3001_bit0 -x3002_bit0 -x3003_bit0 -x3004_bit0 -x3005_bit0 -x3006_bit0 -x3007_bit0 -x3008_bit0 -x3009_bit0 -x3010_bit0 -x3011_bit0 -x3012_bit0 -x3013_bit0 -x3014_bit0 -x3015_bit0 -x3016_bit0 -x3017_bit0 -x3018_bit0 -x3019_bit0 -x3020_bit0 -x3021_bit0 -x3022_bit0 -x3023_bit0 -x3024_bit0 -x3025_bit0 -x3026_bit0 -x3027_bit0 -x3028_bit0 -x3029_bit0 -x3030_bit0 -x3031_bit0 -x3032_bit0 -x3033_bit0 -x3034_bit0 -x3035_bit0 -x3036_bit0 -x3037_bit0 -x3038_bit0 -x3039_bit0 -x3040_bit0 -x3041_bit0 -x3042_bit0 -x3043_bit0 -x3044_bit0 -x3045_bit0 -x3046_bit0 -x3047_bit0 -x3048_bit0 -x3049_bit0 -x3050_bit0 -x3051_bit0 -x3052_bit0 -x3053_bit0 -x3054_bit0 -x3055_bit0 -x3056_bit0 -x3057_bit0 -x3058_bit0 -x3059_bit0 -x3060_bit0 -x3061_bit0 -x3062_bit0 -x3063_bit0 -x3064_bit0 -x3065_bit0 -x3066_bit0 -x3067_bit0 -x3068_bit0 -x3069_bit0 -x3070_bit0 -x3071_bit0 -x3072_bit0 -x3073_bit0 -x3074_bit0 -x3075_bit0 -x3076_bit0 -x3077_bit0 -x3078_bit0 -x3079_bit0 -x3080_bit0 -x3081_bit0 -x3082_bit0 -x3083_bit0 -x3084_bit0 -x3085_bit0 -x3086_bit0 -x3087_bit0 -x3088_bit0 -x3089_bit0 -x3090_bit0 -x3091_bit0 -x3092_bit0 -x3093_bit0 -x3094_bit0 -x3095_bit0 -x3096_bit0 -x3097_bit0 -x3098_bit0 -x3099_bit0 -x3100_bit0 -x3101_bit0 -x3102_bit0 -x3103_bit0 -x3104_bit0 -x3105_bit0 -x3106_bit0 -x3107_bit0 -x3108_bit0 -x3109_bit0 -x3110_bit0 -x3111_bit0 -x3112_bit0 -x3113_bit0 -x3114_bit0 -x3115_bit0 -x3116_bit0 -x3117_bit0 -x3118_bit0 -x3119_bit0 -x3120_bit0 -x3121_bit0 -x3122_bit0 -x3123_bit0 -x3124_bit0 -x3125_bit0 -x3126_bit0 -x3127_bit0 -x3128_bit0 -x3129_bit0 -x3130_bit0 -x3131_bit0 -x3132_bit0 -x3133_bit0 -x3134_bit0 -x3135_bit0 -x3136_bit0 -x3137_bit0 -x3138_bit0 -x3139_bit0 -x3140_bit0 -x3141_bit0 -x3142_bit0 -x3143_bit0 -x3144_bit0 -x3145_bit0 -x3146_bit0 -x3147_bit0 -x3148_bit0 -x3149_bit0 -x3150_bit0 -x3151_bit0 -x3152_bit0 -x3153_bit0 -x3154_bit0 -x3155_bit0 -x3156_bit0 -x3157_bit0 -x3158_bit0 -x3159_bit0 -x3160_bit0 -x3161_bit0 -x3162_bit0 -x3163_bit0 -x3164_bit0 -x3165_bit0 -x3166_bit0 -x3167_bit0 -x3168_bit0 -x3169_bit0 -x3170_bit0 -x3171_bit0 -x3172_bit0 -x3173_bit0 -x3174_bit0 -x3175_bit0 -x3176_bit0 -x3177_bit0 -x3178_bit0 -x3179_bit0 -x3180_bit0 -x3181_bit0 -x3182_bit0 -x3183_bit0 -x3184_bit0 -x3185_bit0 -x3186_bit0 -x3187_bit0 -x3188_bit0 -x3189_bit0 -x3190_bit0 -x3191_bit0 -x3192_bit0 -x3193_bit0 -x3194_bit0 -x3195_bit0 -x3196_bit0 -x3197_bit0 -x3198_bit0 -x3199_bit0 -x3200_bit0 -x3201_bit0 -x3202_bit0 -x3203_bit0 -x3204_bit0 -x3205_bit0 -x3206_bit0 -x3207_bit0 -x3208_bit0 -x3209_bit0 -x3210_bit0 -x3211_bit0 -x3212_bit0 -x3213_bit0 -x3214_bit0 -x3215_bit0 -x3216_bit0 -x3217_bit0 -x3218_bit0 -x3219_bit0 -x3220_bit0 -x3221_bit0 -x3222_bit0 -x3223_bit0 -x3224_bit0 -x3225_bit0 -x3226_bit0 -x3227_bit0 -x3228_bit0 -x3229_bit0 -x3230_bit0 -x3231_bit0 -x3232_bit0 -x3233_bit0 -x3234_bit0 -x3235_bit0 -x3236_bit0 -x3237_bit0 -x3238_bit0 -x3239_bit0 -x3240_bit0 -x3241_bit0 -x3242_bit0 -x3243_bit0 -x3244_bit0 -x3245_bit0 -x3246_bit0 -x3247_bit0 -x3248_bit0 -x3249_bit0 -x3250_bit0 -x3251_bit0 -x3252_bit0 -x3253_bit0 -x3254_bit0 -x3255_bit0 -x3256_bit0 -x3257_bit0 -x3258_bit0 -x3259_bit0 -x3260_bit0 -x3261_bit0 -x3262_bit0 -x3263_bit0 -x3264_bit0 -x3265_bit0 -x3266_bit0 -x3267_bit0 -x3268_bit0 -x3269_bit0 -x3270_bit0 -x3271_bit0 -x3272_bit0 -x3273_bit0 -x3274_bit0 -x3275_bit0 -x3276_bit0 -x3277_bit0 -x3278_bit0 -x3279_bit0 -x3280_bit0 -x3281_bit0 -x3282_bit0 -x3283_bit0 -x3284_bit0 -x3285_bit0 -x3286_bit0 -x3287_bit0 -x3288_bit0 -x3289_bit0 -x3290_bit0 -x3291_bit0 -x3292_bit0 -x3293_bit0 -x3294_bit0 -x3295_bit0 -x3296_bit0 -x3297_bit0 -x3298_bit0 -x3299_bit0 -x3300_bit0 -x3301_bit0 -x3302_bit0 -x3303_bit0 -x3304_bit0 -x3305_bit0 -x3306_bit0 -x3307_bit0 -x3308_bit0 -x3309_bit0 -x3310_bit0 -x3311_bit0 -x3312_bit0 -x3313_bit0 -x3314_bit0 -x3315_bit0 -x3316_bit0 -x3317_bit0 -x3318_bit0 -x3319_bit0 -x3320_bit0 -x3321_bit0 -x3322_bit0 -x3323_bit0 -x3324_bit0 -x3325_bit0 -x3326_bit0 -x3327_bit0 -x3328_bit0 -x3329_bit0 -x3330_bit0 -x3331_bit0 -x3332_bit0 -x3333_bit0 -x3334_bit0 -x3335_bit0 -x3336_bit0 -x3337_bit0 -x3338_bit0 -x3339_bit0 -x3340_bit0 -x3341_bit0 -x3342_bit0 -x3343_bit0 -x3344_bit0 -x3345_bit0 -x3346_bit0 -x3347_bit0 -x3348_bit0 -x3349_bit0 -x3350_bit0 -x3351_bit0 -x3352_bit0 -x3353_bit0 -x3354_bit0 -x3355_bit0 -x3356_bit0 -x3357_bit0 -x3358_bit0 -x3359_bit0 -x3360_bit0 -x3361_bit0 -x3362_bit0 -x3363_bit0 -x3364_bit0 -x3365_bit0 -x3366_bit0 -x3367_bit0 -x3368_bit0 -x3369_bit0 -x3370_bit0 -x3371_bit0 -x3372_bit0 -x3373_bit0 -x3374_bit0 -x3375_bit0 -x3376_bit0 -x3377_bit0 -x3378_bit0 -x3379_bit0 -x3380_bit0 -x3381_bit0 -x3382_bit0 -x3383_bit0 -x3384_bit0 -x3385_bit0 -x3386_bit0 -x3387_bit0 -x3388_bit0 -x3389_bit0 -x3390_bit0 -x3391_bit0 -x3392_bit0 -x3393_bit0 -x3394_bit0 -x3395_bit0 -x3396_bit0 -x3397_bit0 -x3398_bit0 -x3399_bit0 -x3400_bit0 -x3401_bit0 -x3402_bit0 -x3403_bit0 -x3404_bit0 -x3405_bit0 -x3406_bit0 -x3407_bit0 -x3408_bit0 -x3409_bit0 -x3410_bit0 -x3411_bit0 -x3412_bit0 -x3413_bit0 -x3414_bit0 -x3415_bit0 -x3416_bit0 -x3417_bit0 -x3418_bit0 -x3419_bit0 -x3420_bit0 -x3421_bit0 -x3422_bit0 -x3423_bit0 -x3424_bit0 -x3425_bit0 -x3426_bit0 -x3427_bit0 -x3428_bit0 -x3429_bit0 -x3430_bit0 -x3431_bit0 -x3432_bit0 -x3433_bit0 -x3434_bit0 -x3435_bit0 -x3436_bit0 -x3437_bit0 -x3438_bit0 -x3439_bit0 -x3440_bit0 -x3441_bit0 -x3442_bit0 -x3443_bit0 -x3444_bit0 -x3445_bit0 -x3446_bit0 -x3447_bit0 -x3448_bit0 -x3449_bit0 -x3450_bit0 -x3451_bit0 -x3452_bit0 -x3453_bit0 -x3454_bit0 -x3455_bit0 -x3456_bit0 -x3457_bit0 -x3458_bit0 -x3459_bit0 -x3460_bit0 -x3461_bit0 -x3462_bit0 -x3463_bit0 -x3464_bit0 -x3465_bit0 -x3466_bit0 -x3467_bit0 -x3468_bit0 -x3469_bit0 -x3470_bit0 -x3471_bit0 -x3472_bit0 -x3473_bit0 -x3474_bit0 -x3475_bit0 -x3476_bit0 -x3477_bit0 -x3478_bit0 -x3479_bit0 -x3480_bit0 -x3481_bit0 -x3482_bit0 -x3483_bit0 -x3484_bit0 -x3485_bit0 -x3486_bit0 -x3487_bit0 -x3488_bit0 -x3489_bit0 -x3490_bit0 -x3491_bit0 -x3492_bit0 -x3493_bit0 -x3494_bit0 -x3495_bit0 -x3496_bit0 -x3497_bit0 -x3498_bit0 -x3499_bit0 -x3500_bit0 -x3501_bit0 -x3502_bit0 -x3503_bit0 -x3504_bit0 -x3505_bit0 -x3506_bit0 -x3507_bit0 -x3508_bit0 -x3509_bit0 -x3510_bit0 -x3511_bit0 -x3512_bit0 -x3513_bit0 -x3514_bit0 -x3515_bit0 -x3516_bit0 -x3517_bit0 -x3518_bit0 -x3519_bit0 -x3520_bit0 -x3521_bit0 -x3522_bit0 -x3523_bit0 -x3524_bit0 -x3525_bit0 -x3526_bit0 -x3527_bit0 -x3528_bit0 -x3529_bit0 -x3530_bit0 -x3531_bit0 -x3532_bit0 -x3533_bit0 -x3534_bit0 -x3535_bit0 -x3536_bit0 -x3537_bit0 -x3538_bit0 -x3539_bit0 -x3540_bit0 -x3541_bit0 -x3542_bit0 -x3543_bit0 -x3544_bit0 -x3545_bit0 -x3546_bit0 -x3547_bit0 -x3548_bit0 -x3549_bit0 -x3550_bit0 -x3551_bit0 -x3552_bit0 -x3553_bit0 -x3554_bit0 -x3555_bit0 -x3556_bit0 -x3557_bit0 -x3558_bit0 -x3559_bit0 -x3560_bit0 -x3561_bit0 -x3562_bit0 -x3563_bit0 -x3564_bit0 -x3565_bit0 -x3566_bit0 -x3567_bit0 -x3568_bit0 -x3569_bit0 -x3570_bit0 -x3571_bit0 -x3572_bit0 -x3573_bit0 -x3574_bit0 -x3575_bit0 -x3576_bit0 -x3577_bit0 -x3578_bit0 -x3579_bit0 -x3580_bit0 -x3581_bit0 -x3582_bit0 -x3583_bit0 -x3584_bit0 -x3585_bit0 -x3586_bit0 -x3587_bit0 -x3588_bit0 -x3589_bit0 -x3590_bit0 -x3591_bit0 -x3592_bit0 -x3593_bit0 -x3594_bit0 -x3595_bit0 -x3596_bit0 -x3597_bit0 -x3598_bit0 -x3599_bit0 -x3600_bit0 -x3601_bit0 -x3602_bit0 -x3603_bit0 -x3604_bit0 -x3605_bit0 -x3606_bit0 -x3607_bit0 -x3608_bit0 -x3609_bit0 -x3610_bit0 -x3611_bit0 -x3612_bit0 -x3613_bit0 -x3614_bit0 -x3615_bit0 -x3616_bit0 -x3617_bit0 -x3618_bit0 -x3619_bit0 -x3620_bit0 -x3621_bit0 -x3622_bit0 -x3623_bit0 -x3624_bit0 -x3625_bit0 -x3626_bit0 -x3627_bit0 -x3628_bit0 -x3629_bit0 -x3630_bit0 -x3631_bit0 -x3632_bit0 -x3633_bit0 -x3634_bit0 -x3635_bit0 -x3636_bit0 -x3637_bit0 -x3638_bit0 -x3639_bit0 -x3640_bit0 -x3641_bit0 -x3642_bit0 -x3643_bit0 -x3644_bit0 -x3645_bit0 -x3646_bit0 -x3647_bit0 -x3648_bit0 -x3649_bit0 -x3650_bit0 -x3651_bit0 -x3652_bit0 -x3653_bit0 -x3654_bit0 -x3655_bit0 -x3656_bit0 -x3657_bit0 -x3658_bit0 -x3659_bit0 -x3660_bit0 -x3661_bit0 -x3662_bit0 -x3663_bit0 -x3664_bit0 -x3665_bit0 -x3666_bit0 -x3667_bit0 -x3668_bit0 -x3669_bit0 -x3670_bit0 -x3671_bit0 -x3672_bit0 -x3673_bit0 -x3674_bit0 -x3675_bit0 -x3676_bit0 -x3677_bit0 -x3678_bit0 -x3679_bit0 -x3680_bit0 -x3681_bit0 -x3682_bit0 -x3683_bit0 -x3684_bit0 -x3685_bit0 -x3686_bit0 -x3687_bit0 -x3688_bit0 -x3689_bit0 -x3690_bit0 -x3691_bit0 -x3692_bit0 -x3693_bit0 -x3694_bit0 -x3695_bit0 -x3696_bit0 -x3697_bit0 -x3698_bit0 -x3699_bit0 -x3700_bit0 -x3701_bit0 -x3702_bit0 -x3703_bit0 -x3704_bit0 -x3705_bit0 -x3706_bit0 -x3707_bit0 -x3708_bit0 -x3709_bit0 -x3710_bit0 -x3711_bit0 -x3712_bit0 -x3713_bit0 -x3714_bit0 -x3715_bit0 -x3716_bit0 -x3717_bit0 -x3718_bit0 -x3719_bit0 -x3720_bit0 -x3721_bit0 -x3722_bit0 -x3723_bit0 -x3724_bit0 -x3725_bit0 -x3726_bit0 -x3727_bit0 -x3728_bit0 -x3729_bit0 -x3730_bit0 -x3731_bit0 -x3732_bit0 -x3733_bit0 -x3734_bit0 -x3735_bit0 -x3736_bit0 -x3737_bit0 -x3738_bit0 -x3739_bit0 -x3740_bit0 -x3741_bit0 -x3742_bit0 -x3743_bit0 -x3744_bit0 -x3745_bit0 -x3746_bit0 -x3747_bit0 -x3748_bit0 -x3749_bit0 -x3750_bit0 -x3751_bit0 -x3752_bit0 -x3753_bit0 -x3754_bit0 -x3755_bit0 -x3756_bit0 -x3757_bit0 -x3758_bit0 -x3759_bit0 -x3760_bit0 -x3761_bit0 -x3762_bit0 -x3763_bit0 -x3764_bit0 -x3765_bit0 -x3766_bit0 -x3767_bit0 -x3768_bit0 -x3769_bit0 -x3770_bit0 -x3771_bit0 -x3772_bit0 -x3773_bit0 -x3774_bit0 -x3775_bit0 -x3776_bit0 -x3777_bit0 -x3778_bit0 -x3779_bit0 -x3780_bit0 -x3781_bit0 -x3782_bit0 -x3783_bit0 -x3784_bit0 -x3785_bit0 -x3786_bit0 -x3787_bit0 -x3788_bit0 -x3789_bit0 -x3790_bit0 -x3791_bit0 -x3792_bit0 -x3793_bit0 -x3794_bit0 -x3795_bit0 -x3796_bit0 -x3797_bit0 -x3798_bit0 -x3799_bit0 -x3800_bit0 -x3801_bit0 -x3802_bit0 -x3803_bit0 -x3804_bit0 -x3805_bit0 -x3806_bit0 -x3807_bit0 -x3808_bit0 -x3809_bit0 -x3810_bit0 -x3811_bit0 -x3812_bit0 -x3813_bit0 -x3814_bit0 -x3815_bit0 -x3816_bit0 -x3817_bit0 -x3818_bit0 -x3819_bit0 -x3820_bit0 -x3821_bit0 -x3822_bit0 -x3823_bit0 -x3824_bit0 -x3825_bit0 -x3826_bit0 -x3827_bit0 -x3828_bit0 -x3829_bit0 -x3830_bit0 -x3831_bit0 -x3832_bit0 -x3833_bit0 -x3834_bit0 -x3835_bit0 -x3836_bit0 -x3837_bit0 -x3838_bit0 -x3839_bit0 -x3840_bit0 -x3841_bit0 -x3842_bit0 -x3843_bit0 -x3844_bit0 -x3845_bit0 -x3846_bit0 -x3847_bit0 -x3848_bit0 -x3849_bit0 -x3850_bit0 -x3851_bit0 -x3852_bit0 -x3853_bit0 -x3854_bit0 -x3855_bit0 -x3856_bit0 -x3857_bit0 -x3858_bit0 -x3859_bit0 -x3860_bit0 -x3861_bit0 -x3862_bit0 -x3863_bit0 -x3864_bit0 -x3865_bit0 -x3866_bit0 -x3867_bit0 -x3868_bit0 -x3869_bit0 -x3870_bit0 -x3871_bit0 -x3872_bit0 -x3873_bit0 -x3874_bit0 -x3875_bit0 -x3876_bit0 -x3877_bit0 -x3878_bit0 -x3879_bit0 -x3880_bit0 -x3881_bit0 -x3882_bit0 -x3883_bit0 -x3884_bit0 -x3885_bit0 -x3886_bit0 -x3887_bit0 -x3888_bit0 -x3889_bit0 -x3890_bit0 -x3891_bit0 -x3892_bit0 -x3893_bit0 -x3894_bit0 -x3895_bit0 -x3896_bit0 -x3897_bit0 -x3898_bit0 -x3899_bit0 -x3900_bit0 -x3901_bit0 -x3902_bit0 -x3903_bit0 -x3904_bit0 -x3905_bit0 -x3906_bit0 -x3907_bit0 -x3908_bit0 -x3909_bit0 -x3910_bit0 -x3911_bit0 -x3912_bit0 -x3913_bit0 -x3914_bit0 -x3915_bit0 -x3916_bit0 -x3917_bit0 -x3918_bit0 -x3919_bit0 -x3920_bit0 -x3921_bit0 -x3922_bit0 -x3923_bit0 -x3924_bit0 -x3925_bit0 -x3926_bit0 -x3927_bit0 -x3928_bit0 -x3929_bit0 -x3930_bit0 -x3931_bit0 -x3932_bit0 -x3933_bit0 -x3934_bit0 -x3935_bit0 -x3936_bit0 -x3937_bit0 -x3938_bit0 -x3939_bit0 -x3940_bit0 -x3941_bit0 -x3942_bit0 -x3943_bit0 -x3944_bit0 -x3945_bit0 -x3946_bit0 -x3947_bit0 -x3948_bit0 -x3949_bit0 -x3950_bit0 -x3951_bit0 -x3952_bit0 -x3953_bit0 -x3954_bit0 -x3955_bit0 -x3956_bit0 -x3957_bit0 -x3958_bit0 -x3959_bit0 -x3960_bit0 -x3961_bit0 -x3962_bit0 -x3963_bit0 -x3964_bit0 -x3965_bit0 -x3966_bit0 -x3967_bit0 -x3968_bit0 -x3969_bit0 -x3970_bit0 -x3971_bit0 -x3972_bit0 -x3973_bit0 -x3974_bit0 -x3975_bit0 -x3976_bit0 -x3977_bit0 -x3978_bit0 -x3979_bit0 -x3980_bit0 -x3981_bit0 -x3982_bit0 -x3983_bit0 -x3984_bit0 -x3985_bit0 -x3986_bit0 -x3987_bit0 -x3988_bit0 -x3989_bit0 -x3990_bit0 -x3991_bit0 -x3992_bit0 -x3993_bit0 -x3994_bit0 -x3995_bit0 -x3996_bit0 -x3997_bit0 -x3998_bit0 -x3999_bit0 -x4000_bit0 -x4001_bit0 -x4002_bit0 -x4003_bit0 -x4004_bit0 -x4005_bit0 -x4006_bit0 -x4007_bit0 -x4008_bit0 -x4009_bit0 -x4010_bit0 -x4011_bit0 -x4012_bit0 -x4013_bit0 -x4014_bit0 -x4015_bit0 -x4016_bit0 -x4017_bit0 -x4018_bit0 -x4019_bit0 -x4020_bit0 -x4021_bit0 -x4022_bit0 -x4023_bit0 -x4024_bit0 -x4025_bit0 -x4026_bit0 -x4027_bit0 -x4028_bit0 -x4029_bit0 -x4030_bit0 -x4031_bit0 -x4032_bit0 -x4033_bit0 -x4034_bit0 -x4035_bit0 -x4036_bit0 -x4037_bit0 -x4038_bit0 -x4039_bit0 -x4040_bit0 -x4041_bit0 -x4042_bit0 -x4043_bit0 -x4044_bit0 -x4045_bit0 -x4046_bit0 -x4047_bit0 -x4048_bit0 -x4049_bit0 -x4050_bit0 -x4051_bit0 -x4052_bit0 -x4053_bit0 -x4054_bit0 -x4055_bit0 -x4056_bit0 -x4057_bit0 -x4058_bit0 -x4059_bit0 -x4060_bit0 -x4061_bit0 -x4062_bit0 -x4063_bit0 -x4064_bit0 -x4065_bit0 -x4066_bit0 -x4067_bit0 -x4068_bit0 -x4069_bit0 -x4070_bit0 -x4071_bit0 -x4072_bit0 -x4073_bit0 -x4074_bit0 -x4075_bit0 -x4076_bit0 -x4077_bit0 -x4078_bit0 -x4079_bit0 -x4080_bit0 -x4081_bit0 -x4082_bit0 -x4083_bit0 -x4084_bit0 -x4085_bit0 -x4086_bit0 -x4087_bit0 -x4088_bit0 -x4089_bit0 -x4090_bit0 -x4091_bit0 -x4092_bit0 -x4093_bit0 -x4094_bit0 -x4095_bit0 -x4096_bit0 -x4097_bit0 -x4098_bit0 -x4099_bit0 -x4100_bit0 -x4101_bit0 -x4102_bit0 -x4103_bit0 -x4104_bit0 -x4105_bit0 -x4106_bit0 -x4107_bit0 -x4108_bit0 -x4109_bit0 -x4110_bit0 -x4111_bit0 -x4112_bit0 -x4113_bit0 -x4114_bit0 -x4115_bit0 -x4116_bit0 -x4117_bit0 -x4118_bit0 -x4119_bit0 -x4120_bit0 -x4121_bit0 -x4122_bit0 -x4123_bit0 -x4124_bit0 -x4125_bit0 -x4126_bit0 -x4127_bit0 -x4128_bit0 -x4129_bit0 -x4130_bit0 -x4131_bit0 -x4132_bit0 -x4133_bit0 -x4134_bit0 -x4135_bit0 -x4136_bit0 -x4137_bit0 -x4138_bit0 -x4139_bit0 -x4140_bit0 -x4141_bit0 -x4142_bit0 -x4143_bit0 -x4144_bit0 -x4145_bit0 -x4146_bit0 -x4147_bit0 -x4148_bit0 -x4149_bit0 -x4150_bit0 -x4151_bit0 -x4152_bit0 -x4153_bit0 -x4154_bit0 -x4155_bit0 -x4156_bit0 -x4157_bit0 -x4158_bit0 -x4159_bit0 -x4160_bit0 -x4161_bit0 -x4162_bit0 -x4163_bit0 -x4164_bit0 -x4165_bit0 -x4166_bit0 -x4167_bit0 -x4168_bit0 -x4169_bit0 -x4170_bit0 -x4171_bit0 -x4172_bit0 -x4173_bit0 -x4174_bit0 -x4175_bit0 -x4176_bit0 -x4177_bit0 -x4178_bit0 -x4179_bit0 -x4180_bit0 -x4181_bit0 -x4182_bit0 -x4183_bit0 -x4184_bit0 -x4185_bit0 -x4186_bit0 -x4187_bit0 -x4188_bit0 -x4189_bit0 -x4190_bit0 -x4191_bit0 -x4192_bit0 -x4193_bit0 -x4194_bit0 -x4195_bit0 -x4196_bit0 -x4197_bit0 -x4198_bit0 -x4199_bit0 -x4200_bit0 -x4201_bit0 -x4202_bit0 -x4203_bit0 -x4204_bit0 -x4205_bit0 -x4206_bit0 -x4207_bit0 -x4208_bit0 -x4209_bit0 -x4210_bit0 -x4211_bit0 -x4212_bit0 -x4213_bit0 -x4214_bit0 -x4215_bit0 -x4216_bit0 -x4217_bit0 -x4218_bit0 -x4219_bit0 -x4220_bit0 -x4221_bit0 -x4222_bit0 -x4223_bit0 -x4224_bit0 -x4225_bit0 -x4226_bit0 -x4227_bit0 -x4228_bit0 -x4229_bit0 -x4230_bit0 -x4231_bit0 -x4232_bit0 -x4233_bit0 -x4234_bit0 -x4235_bit0 -x4236_bit0 -x4237_bit0 -x4238_bit0 -x4239_bit0 -x4240_bit0 -x4241_bit0 -x4242_bit0 -x4243_bit0 -x4244_bit0 -x4245_bit0 -x4246_bit0 -x4247_bit0 -x4248_bit0 -x4249_bit0 -x4250_bit0 -x4251_bit0 -x4252_bit0 -x4253_bit0 -x4254_bit0 -x4255_bit0 -x4256_bit0 -x4257_bit0 -x4258_bit0 -x4259_bit0 -x4260_bit0 -x4261_bit0 -x4262_bit0 -x4263_bit0 -x4264_bit0 -x4265_bit0 -x4266_bit0 -x4267_bit0 -x4268_bit0 -x4269_bit0 -x4270_bit0 -x4271_bit0 -x4272_bit0 -x4273_bit0 -x4274_bit0 -x4275_bit0 -x4276_bit0 -x4277_bit0 -x4278_bit0 -x4279_bit0 -x4280_bit0 -x4281_bit0 -x4282_bit0 -x4283_bit0 -x4284_bit0 -x4285_bit0 -x4286_bit0 -x4287_bit0 -x4288_bit0 -x4289_bit0 -x4290_bit0 -x4291_bit0 -x4292_bit0 -x4293_bit0 -x4294_bit0 -x4295_bit0 -x4296_bit0 -x4297_bit0 -x4298_bit0 -x4299_bit0 -x4300_bit0 -x4301_bit0 -x4302_bit0 -x4303_bit0 -x4304_bit0 -x4305_bit0 -x4306_bit0 -x4307_bit0 -x4308_bit0 -x4309_bit0 -x4310_bit0 -x4311_bit0 -x4312_bit0 -x4313_bit0 -x4314_bit0 -x4315_bit0 -x4316_bit0 -x4317_bit0 -x4318_bit0 -x4319_bit0 -x4320_bit0 -x4321_bit0 -x4322_bit0 -x4323_bit0 -x4324_bit0 -x4325_bit0 -x4326_bit0 -x4327_bit0 -x4328_bit0 -x4329_bit0 -x4330_bit0 -x4331_bit0 -x4332_bit0 -x4333_bit0 -x4334_bit0 -x4335_bit0 -x4336_bit0 -x4337_bit0 -x4338_bit0 -x4339_bit0 -x4340_bit0 -x4341_bit0 -x4342_bit0 -x4343_bit0 -x4344_bit0 -x4345_bit0 -x4346_bit0 -x4347_bit0 -x4348_bit0 -x4349_bit0 -x4350_bit0 -x4351_bit0 -x4352_bit0 -x4353_bit0 -x4354_bit0 -x4355_bit0 -x4356_bit0 -x4357_bit0 -x4358_bit0 -x4359_bit0 -x4360_bit0 -x4361_bit0 -x4362_bit0 -x4363_bit0 -x4364_bit0 -x4365_bit0 -x4366_bit0 -x4367_bit0 -x4368_bit0 -x4369_bit0 -x4370_bit0 -x4371_bit0 -x4372_bit0 -x4373_bit0 -x4374_bit0 -x4375_bit0 -x4376_bit0 -x4377_bit0 -x4378_bit0 -x4379_bit0 -x4380_bit0 -x4381_bit0 -x4382_bit0 -x4383_bit0 -x4384_bit0 -x4385_bit0 -x4386_bit0 -x4387_bit0 -x4388_bit0 -x4389_bit0 -x4390_bit0 -x4391_bit0 -x4392_bit0 -x4393_bit0 -x4394_bit0 -x4395_bit0 -x4396_bit0 -x4397_bit0 -x4398_bit0 -x4399_bit0 -x4400_bit0 -x4401_bit0 -x4402_bit0 -x4403_bit0 -x4404_bit0 -x4405_bit0 -x4406_bit0 -x4407_bit0 -x4408_bit0 -x4409_bit0 -x4410_bit0 -x4411_bit0 -x4412_bit0 -x4413_bit0 -x4414_bit0 -x4415_bit0 -x4416_bit0 -x4417_bit0 -x4418_bit0 -x4419_bit0 -x4420_bit0 -x4421_bit0 -x4422_bit0 -x4423_bit0 -x4424_bit0 -x4425_bit0 -x4426_bit0 -x4427_bit0 -x4428_bit0 -x4429_bit0 -x4430_bit0 -x4431_bit0 -x4432_bit0 -x4433_bit0 -x4434_bit0 -x4435_bit0 -x4436_bit0 -x4437_bit0 -x4438_bit0 -x4439_bit0 -x4440_bit0 -x4441_bit0 -x4442_bit0 -x4443_bit0 -x4444_bit0 -x4445_bit0 -x4446_bit0 -x4447_bit0 -x4448_bit0 -x4449_bit0 -x4450_bit0 -x4451_bit0 -x4452_bit0 -x4453_bit0 -x4454_bit0 -x4455_bit0 -x4456_bit0 -x4457_bit0 -x4458_bit0 -x4459_bit0 -x4460_bit0 -x4461_bit0 -x4462_bit0 -x4463_bit0 -x4464_bit0 -x4465_bit0 -x4466_bit0 -x4467_bit0 -x4468_bit0 -x4469_bit0 -x4470_bit0 -x4471_bit0 -x4472_bit0 -x4473_bit0 -x4474_bit0 -x4475_bit0 -x4476_bit0 -x4477_bit0 -x4478_bit0 -x4479_bit0 -x4480_bit0 -x4481_bit0 -x4482_bit0 -x4483_bit0 -x4484_bit0 -x4485_bit0 -x4486_bit0 -x4487_bit0 -x4488_bit0 -x4489_bit0 -x4490_bit0 -x4491_bit0 -x4492_bit0 -x4493_bit0 -x4494_bit0 -x4495_bit0 -x4496_bit0 -x4497_bit0 -x4498_bit0 -x4499_bit0 -x4500_bit0 -x4501_bit0 -x4502_bit0 -x4503_bit0 -x4504_bit0 -x4505_bit0 -x4506_bit0 -x4507_bit0 -x4508_bit0 -x4509_bit0 -x4510_bit0 -x4511_bit0 -x4512_bit0 -x4513_bit0 -x4514_bit0 -x4515_bit0 -x4516_bit0 -x4517_bit0 -x4518_bit0 -x4519_bit0 -x4520_bit0 -x4521_bit0 -x4522_bit0 -x4523_bit0 -x4524_bit0 -x4525_bit0 -x4526_bit0 -x4527_bit0 -x4528_bit0 -x4529_bit0 -x4530_bit0 -x4531_bit0 -x4532_bit0 -x4533_bit0 -x4534_bit0 -x4535_bit0 -x4536_bit0 -x4537_bit0 -x4538_bit0 -x4539_bit0 -x4540_bit0 -x4541_bit0 -x4542_bit0 -x4543_bit0 -x4544_bit0 -x4545_bit0 -x4546_bit0 -x4547_bit0 -x4548_bit0 -x4549_bit0 -x4550_bit0 -x4551_bit0 -x4552_bit0 -x4553_bit0 -x4554_bit0 -x4555_bit0 -x4556_bit0 -x4557_bit0 -x4558_bit0 -x4559_bit0 -x4560_bit0 -x4561_bit0 -x4562_bit0 -x4563_bit0 -x4564_bit0 -x4565_bit0 -x4566_bit0 -x4567_bit0 -x4568_bit0 -x4569_bit0 -x4570_bit0 -x4571_bit0 -x4572_bit0 -x4573_bit0 -x4574_bit0 -x4575_bit0 -x4576_bit0 -x4577_bit0 -x4578_bit0 -x4579_bit0 -x4580_bit0 -x4581_bit0 -x4582_bit0 -x4583_bit0 -x4584_bit0 -x4585_bit0 -x4586_bit0 -x4587_bit0 -x4588_bit0 -x4589_bit0 -x4590_bit0 -x4591_bit0 -x4592_bit0 -x4593_bit0 -x4594_bit0 -x4595_bit0 -x4596_bit0 -x4597_bit0 -x4598_bit0 -x4599_bit0 -x4600_bit0 -x4601_bit0 -x4602_bit0 -x4603_bit0 -x4604_bit0 -x4605_bit0 -x4606_bit0 -x4607_bit0 -x4608_bit0 -x4609_bit0 -x4610_bit0 -x4611_bit0 -x4612_bit0 -x4613_bit0 -x4614_bit0 -x4615_bit0 -x4616_bit0 -x4617_bit0 -x4618_bit0 -x4619_bit0 -x4620_bit0 -x4621_bit0 -x4622_bit0 -x4623_bit0 -x4624_bit0 -x4625_bit0 -x4626_bit0 -x4627_bit0 -x4628_bit0 -x4629_bit0 -x4630_bit0 -x4631_bit0 -x4632_bit0 -x4633_bit0 -x4634_bit0 -x4635_bit0 -x4636_bit0 -x4637_bit0 -x4638_bit0 -x4639_bit0 -x4640_bit0 -x4641_bit0 -x4642_bit0 -x4643_bit0 -x4644_bit0 -x4645_bit0 -x4646_bit0 -x4647_bit0 -x4648_bit0 -x4649_bit0 -x4650_bit0 -x4651_bit0 -x4652_bit0 -x4653_bit0 -x4654_bit0 -x4655_bit0 -x4656_bit0 -x4657_bit0 -x4658_bit0 -x4659_bit0 -x4660_bit0 -x4661_bit0 -x4662_bit0 -x4663_bit0 -x4664_bit0 -x4665_bit0 -x4666_bit0 -x4667_bit0 -x4668_bit0 -x4669_bit0 -x4670_bit0 -x4671_bit0 -x4672_bit0 -x4673_bit0 -x4674_bit0 -x4675_bit0 -x4676_bit0 -x4677_bit0 -x4678_bit0 -x4679_bit0 -x4680_bit0 -x4681_bit0 -x4682_bit0 -x4683_bit0 -x4684_bit0 -x4685_bit0 -x4686_bit0 -x4687_bit0 -x4688_bit0 -x4689_bit0 -x4690_bit0 -x4691_bit0 -x4692_bit0 -x4693_bit0 -x4694_bit0 -x4695_bit0 -x4696_bit0 -x4697_bit0 -x4698_bit0 -x4699_bit0 -x4700_bit0 -x4701_bit0 -x4702_bit0 -x4703_bit0 -x4704_bit0 -x4705_bit0 -x4706_bit0 -x4707_bit0 -x4708_bit0 -x4709_bit0 -x4710_bit0 -x4711_bit0 -x4712_bit0 -x4713_bit0 -x4714_bit0 -x4715_bit0 -x4716_bit0 -x4717_bit0 -x4718_bit0 -x4719_bit0 -x4720_bit0 -x4721_bit0 -x4722_bit0 -x4723_bit0 -x4724_bit0 -x4725_bit0 -x4726_bit0 -x4727_bit0 -x4728_bit0 -x4729_bit0 -x4730_bit0 -x4731_bit0 -x4732_bit0 -x4733_bit0 -x4734_bit0 -x4735_bit0 -x4736_bit0 -x4737_bit0 -x4738_bit0 -x4739_bit0 -x4740_bit0 -x4741_bit0 -x4742_bit0 -x4743_bit0 -x4744_bit0 -x4745_bit0 -x4746_bit0 -x4747_bit0 -x4748_bit0 -x4749_bit0 -x4750_bit0 -x4751_bit0 -x4752_bit0 -x4753_bit0 -x4754_bit0 -x4755_bit0 -x4756_bit0 -x4757_bit0 -x4758_bit0 -x4759_bit0 -x4760_bit0 -x4761_bit0 -x4762_bit0 -x4763_bit0 -x4764_bit0 -x4765_bit0 -x4766_bit0 -x4767_bit0 -x4768_bit0 -x4769_bit0 -x4770_bit0 -x4771_bit0 -x4772_bit0 -x4773_bit0 -x4774_bit0 -x4775_bit0 -x4776_bit0 -x4777_bit0 -x4778_bit0 -x4779_bit0 -x4780_bit0 -x4781_bit0 -x4782_bit0 -x4783_bit0 -x4784_bit0 -x4785_bit0 -x4786_bit0 -x4787_bit0 -x4788_bit0 -x4789_bit0 -x4790_bit0 -x4791_bit0 -x4792_bit0 -x4793_bit0 -x4794_bit0 -x4795_bit0 -x4796_bit0 -x4797_bit0 -x4798_bit0 -x4799_bit0 -x4800_bit0 -x4801_bit0 -x4802_bit0 -x4803_bit0 -x4804_bit0 -x4805_bit0 -x4806_bit0 -x4807_bit0 -x4808_bit0 -x4809_bit0 -x4810_bit0 -x4811_bit0 -x4812_bit0 -x4813_bit0 -x4814_bit0 -x4815_bit0 -x4816_bit0 -x4817_bit0 -x4818_bit0 -x4819_bit0 -x4820_bit0 -x4821_bit0 -x4822_bit0 -x4823_bit0 -x4824_bit0 -x4825_bit0 -x4826_bit0 -x4827_bit0 -x4828_bit0 -x4829_bit0 -x4830_bit0 -x4831_bit0 -x4832_bit0 -x4833_bit0 -x4834_bit0 -x4835_bit0 -x4836_bit0 -x4837_bit0 -x4838_bit0 -x4839_bit0 -x4840_bit0 -x4841_bit0 -x4842_bit0 -x4843_bit0 -x4844_bit0 -x4845_bit0 -x4846_bit0 -x4847_bit0 -x4848_bit0 -x4849_bit0 -x4850_bit0 -x4851_bit0 -x4852_bit0 -x4853_bit0 -x4854_bit0 -x4855_bit0 -x4856_bit0 -x4857_bit0 -x4858_bit0 -x4859_bit0 -x4860_bit0 -x4861_bit0 -x4862_bit0 -x4863_bit0 -x4864_bit0 -x4865_bit0 -x4866_bit0 -x4867_bit0 -x4868_bit0 -x4869_bit0 -x4870_bit0 -x4871_bit0 -x4872_bit0 -x4873_bit0 -x4874_bit0 -x4875_bit0 -x4876_bit0 -x4877_bit0 -x4878_bit0 -x4879_bit0 -x4880_bit0 -x4881_bit0 -x4882_bit0 -x4883_bit0 -x4884_bit0 -x4885_bit0 -x4886_bit0 -x4887_bit0 -x4888_bit0 -x4889_bit0 -x4890_bit0 -x4891_bit0 -x4892_bit0 -x4893_bit0 -x4894_bit0 -x4895_bit0 -x4896_bit0 -x4897_bit0 -x4898_bit0 -x4899_bit0 -x4900_bit0 -x4901_bit0 -x4902_bit0 -x4903_bit0 -x4904_bit0 -x4905_bit0 -x4906_bit0 -x4907_bit0 -x4908_bit0 -x4909_bit0 -x4910_bit0 -x4911_bit0 -x4912_bit0 -x4913_bit0 -x4914_bit0 -x4915_bit0 -x4916_bit0 -x4917_bit0 -x4918_bit0 -x4919_bit0 -x4920_bit0 -x4921_bit0 -x4922_bit0 -x4923_bit0 -x4924_bit0 -x4925_bit0 -x4926_bit0 -x4927_bit0 -x4928_bit0 -x4929_bit0 -x4930_bit0 -x4931_bit0 -x4932_bit0 -x4933_bit0 -x4934_bit0 -x4935_bit0 -x4936_bit0 -x4937_bit0 -x4938_bit0 -x4939_bit0 -x4940_bit0 -x4941_bit0 -x4942_bit0 -x4943_bit0 -x4944_bit0 -x4945_bit0 -x4946_bit0 -x4947_bit0 -x4948_bit0 -x4949_bit0 -x4950_bit0 -x4951_bit0 -x4952_bit0 -x4953_bit0 -x4954_bit0 -x4955_bit0 -x4956_bit0 -x4957_bit0 -x4958_bit0 -x4959_bit0 -x4960_bit0 -x4961_bit0 -x4962_bit0 -x4963_bit0 -x4964_bit0 -x4965_bit0 -x4966_bit0 -x4967_bit0 -x4968_bit0 -x4969_bit0 -x4970_bit0 -x4971_bit0 -x4972_bit0 -x4973_bit0 -x4974_bit0 -x4975_bit0 -x4976_bit0 -x4977_bit0 -x4978_bit0 -x4979_bit0 -x4980_bit0 -x4981_bit0 -x4982_bit0 -x4983_bit0 -x4984_bit0 -x4985_bit0 -x4986_bit0 -x4987_bit0 -x4988_bit0 -x4989_bit0 -x4990_bit0 -x4991_bit0 -x4992_bit0 -x4993_bit0 -x4994_bit0 -x4995_bit0 -x4996_bit0 -x4997_bit0 -x4998_bit0 -x4999_bit0 -x5000_bit0 -x5001_bit0 -x5002_bit0 -x5003_bit0 -x5004_bit0 -x5005_bit0 -x5006_bit0 -x5007_bit0 -x5008_bit0 -x5009_bit0 -x5010_bit0 -x5011_bit0 -x5012_bit0 -x5013_bit0 -x5014_bit0 -x5015_bit0 -x5016_bit0 -x5017_bit0 -x5018_bit0 -x5019_bit0 -x5020_bit0 -x5021_bit0 -x5022_bit0 -x5023_bit0 -x5024_bit0 -x5025_bit0 -x5026_bit0 -x5027_bit0 -x5028_bit0 -x5029_bit0 -x5030_bit0 -x5031_bit0 -x5032_bit0 -x5033_bit0 -x5034_bit0 -x5035_bit0 -x5036_bit0 -x5037_bit0 -x5038_bit0 -x5039_bit0 -x5040_bit0 -x5041_bit0 -x5042_bit0 -x5043_bit0 -x5044_bit0 -x5045_bit0 -x5046_bit0 -x5047_bit0 -x5048_bit0 -x5049_bit0 -x5050_bit0 -x5051_bit0 -x5052_bit0 -x5053_bit0 -x5054_bit0 -x5055_bit0 -x5056_bit0 -x5057_bit0 -x5058_bit0 -x5059_bit0 -x5060_bit0 -x5061_bit0 -x5062_bit0 -x5063_bit0 -x5064_bit0 -x5065_bit0 -x5066_bit0 -x5067_bit0 -x5068_bit0 -x5069_bit0 -x5070_bit0 -x5071_bit0 -x5072_bit0 -x5073_bit0 -x5074_bit0 -x5075_bit0 -x5076_bit0 -x5077_bit0 -x5078_bit0 -x5079_bit0 -x5080_bit0 -x5081_bit0 -x5082_bit0 -x5083_bit0 -x5084_bit0 -x5085_bit0 -x5086_bit0 -x5087_bit0 -x5088_bit0 -x5089_bit0 -x5090_bit0 -x5091_bit0 -x5092_bit0 -x5093_bit0 -x5094_bit0 -x5095_bit0 -x5096_bit0 -x5097_bit0 -x5098_bit0 -x5099_bit0 -x5100_bit0 -x5101_bit0 -x5102_bit0 -x5103_bit0 -x5104_bit0 -x5105_bit0 -x5106_bit0 -x5107_bit0 -x5108_bit0 -x5109_bit0 -x5110_bit0 -x5111_bit0 -x5112_bit0 -x5113_bit0 -x5114_bit0 -x5115_bit0 -x5116_bit0 -x5117_bit0 -x5118_bit0 -x5119_bit0 -x5120_bit0 -x5121_bit0 -x5122_bit0 -x5123_bit0 -x5124_bit0 -x5125_bit0 -x5126_bit0 -x5127_bit0 -x5128_bit0 -x5129_bit0 -x5130_bit0 -x5131_bit0 -x5132_bit0 -x5133_bit0 -x5134_bit0 -x5135_bit0 -x5136_bit0 -x5137_bit0 -x5138_bit0 -x5139_bit0 -x5140_bit0 -x5141_bit0 -x5142_bit0 -x5143_bit0 -x5144_bit0 -x5145_bit0 -x5146_bit0 -x5147_bit0 -x5148_bit0 -x5149_bit0 -x5150_bit0 -x5151_bit0 -x5152_bit0 -x5153_bit0 -x5154_bit0 -x5155_bit0 -x5156_bit0 -x5157_bit0 -x5158_bit0 -x5159_bit0 -x5160_bit0 -x5161_bit0 -x5162_bit0 -x5163_bit0 -x5164_bit0 -x5165_bit0 -x5166_bit0 -x5167_bit0 -x5168_bit0 -x5169_bit0 -x5170_bit0 -x5171_bit0 -x5172_bit0 -x5173_bit0 -x5174_bit0 -x5175_bit0 -x5176_bit0 -x5177_bit0 -x5178_bit0 -x5179_bit0 -x5180_bit0 -x5181_bit0 -x5182_bit0 -x5183_bit0 -x5184_bit0 -x5185_bit0 -x5186_bit0 -x5187_bit0 -x5188_bit0 -x5189_bit0 -x5190_bit0 -x5191_bit0 -x5192_bit0 -x5193_bit0 -x5194_bit0 -x5195_bit0 -x5196_bit0 -x5197_bit0 -x5198_bit0 -x5199_bit0 -x5200_bit0 -x5201_bit0 -x5202_bit0 -x5203_bit0 -x5204_bit0 -x5205_bit0 -x5206_bit0 -x5207_bit0 -x5208_bit0 -x5209_bit0 -x5210_bit0 -x5211_bit0 -x5212_bit0 -x5213_bit0 -x5214_bit0 -x5215_bit0 -x5216_bit0 -x5217_bit0 -x5218_bit0 -x5219_bit0 -x5220_bit0 -x5221_bit0 -x5222_bit0 -x5223_bit0 -x5224_bit0 -x5225_bit0 -x5226_bit0 -x5227_bit0 -x5228_bit0 -x5229_bit0 -x5230_bit0 -x5231_bit0 -x5232_bit0 -x5233_bit0 -x5234_bit0 -x5235_bit0 -x5236_bit0 -x5237_bit0 -x5238_bit0 -x5239_bit0 -x5240_bit0 -x5241_bit0 -x5242_bit0 -x5243_bit0 -x5244_bit0 -x5245_bit0 -x5246_bit0 -x5247_bit0 -x5248_bit0 -x5249_bit0 -x5250_bit0 -x5251_bit0 -x5252_bit0 -x5253_bit0 -x5254_bit0 -x5255_bit0 -x5256_bit0 -x5257_bit0 -x5258_bit0 -x5259_bit0 -x5260_bit0 -x5261_bit0 -x5262_bit0 -x5263_bit0 -x5264_bit0 -x5265_bit0 -x5266_bit0 -x5267_bit0 -x5268_bit0 -x5269_bit0 -x5270_bit0 -x5271_bit0 -x5272_bit0 -x5273_bit0 -x5274_bit0 -x5275_bit0 -x5276_bit0 -x5277_bit0 -x5278_bit0 -x5279_bit0 -x5280_bit0 -x5281_bit0 -x5282_bit0 -x5283_bit0 -x5284_bit0 -x5285_bit0 -x5286_bit0 -x5287_bit0 -x5288_bit0 -x5289_bit0 -x5290_bit0 -x5291_bit0 -x5292_bit0 -x5293_bit0 -x5294_bit0 -x5295_bit0 -x5296_bit0 -x5297_bit0 -x5298_bit0 -x5299_bit0 -x5300_bit0 -x5301_bit0 -x5302_bit0 -x5303_bit0 -x5304_bit0 -x5305_bit0 -x5306_bit0 -x5307_bit0 -x5308_bit0 -x5309_bit0 -x5310_bit0 -x5311_bit0 -x5312_bit0 -x5313_bit0 -x5314_bit0 -x5315_bit0 -x5316_bit0 -x5317_bit0 -x5318_bit0 -x5319_bit0 -x5320_bit0 -x5321_bit0 -x5322_bit0 -x5323_bit0 -x5324_bit0 -x5325_bit0 -x2947_bit_7 -x2947_bit_6 -x2947_bit_5 -x2947_bit_4 -x2947_bit_3 -x2947_bit_2 -x2947_bit_1 -x2947_bit0 -x2947_bit1 -x2947_bit2 -x2947_bit3 -x2947_bit4 -x2947_bit5 -x2947_bit6 -x2947_bit7 -x2947_bit8 -x2947_bit9 -x2947_bit10 -x2947_bit11 -x2947_bit12 -x2948_bit_7 -x2948_bit_6 -x2948_bit_5 -x2948_bit_4 -x2948_bit_3 -x2948_bit_2 -x2948_bit_1 -x2948_bit0 -x2948_bit1 -x2948_bit2 -x2948_bit3 -x2948_bit4 -x2948_bit5 -x2948_bit6 -x2948_bit7 -x2948_bit8 -x2948_bit9 -x2948_bit10 -x2948_bit11 -x2948_bit12 
c objective function=0
c Total CPU time (ms) : 1219.339

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/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1788999144 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 39 3 38 16 0 23 0
[pid=8882] 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/8882
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=8883
New thread pid=8884
New thread pid=8885
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=8886
New thread pid=8887
New thread pid=8888
New thread pid=8889
New thread pid=8890
New thread pid=8891
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/wulflinc8/normalized-mps-v2-13-7-mkc.opb
New thread pid=8892

[startup+10.0028 s]
Raw data (loadavg): 1.21 1.05 1.01 3/66 8892
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18158 0 1 0 582 48 0 0 25 0 11 0 1788999144 877944832 24654 4294967295 134512640 134569956 3221224336 3221214528 1131499813 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 214342 24654 13129 16 0 214326 0
[pid=8882] vsize: 857368
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (Kb) 857368
One traced child (pid=8892) exited with status: 0
New thread pid=8893

[startup+20.0035 s]
Raw data (loadavg): 1.17 1.05 1.01 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18230 4 1 0 1515 50 0 0 25 0 11 0 1788999144 872853504 25209 4294967295 134512640 134569956 3221224336 3221214312 1131439084 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 213099 25209 13129 16 0 213083 0
[pid=8882] vsize: 852396
Current children cumulated CPU time (s) 15.65
Current children cumulated vsize (Kb) 852396

[startup+30.0043 s]
Raw data (loadavg): 1.15 1.05 1.01 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18235 4 1 0 2497 50 0 0 25 0 11 0 1788999144 871825408 25074 4294967295 134512640 134569956 3221224336 3221214440 1131439121 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 25074 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (Kb) 851392

[startup+40.0051 s]
Raw data (loadavg): 1.12 1.05 1.01 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18239 4 1 0 3480 50 0 0 25 0 11 0 1788999144 871825408 25122 4294967295 134512640 134569956 3221224336 3221214512 1131416763 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 25122 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 35.3
Current children cumulated vsize (Kb) 851392

[startup+50.0059 s]
Raw data (loadavg): 1.10 1.05 1.01 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18244 4 1 0 4460 50 0 0 25 0 11 0 1788999144 871825408 25135 4294967295 134512640 134569956 3221224336 3221214528 1131731264 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 25135 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 45.1
Current children cumulated vsize (Kb) 851392

[startup+60.0057 s]
Raw data (loadavg): 1.09 1.04 1.01 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18248 4 1 0 5441 50 0 0 21 0 11 0 1788999144 871825408 25181 4294967295 134512640 134569956 3221224336 3221214528 1131730954 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 25181 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 54.91
Current children cumulated vsize (Kb) 851392

[startup+70.0065 s]
Raw data (loadavg): 1.07 1.04 1.01 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18252 4 1 0 6426 51 0 0 25 0 11 0 1788999144 871825408 25194 4294967295 134512640 134569956 3221224336 3221214528 1131730857 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 25194 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 64.77
Current children cumulated vsize (Kb) 851392

[startup+80.0083 s]
Raw data (loadavg): 1.06 1.04 1.01 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18256 4 1 0 7405 51 0 0 24 0 11 0 1788999144 871825408 25239 4294967295 134512640 134569956 3221224336 3221214440 1131439121 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 25239 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 74.56
Current children cumulated vsize (Kb) 851392

[startup+90.008 s]
Raw data (loadavg): 1.05 1.04 1.01 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) S 8881 8882 27660 0 -1 0 18259 4 1 0 8388 51 0 0 17 0 11 0 1788999144 871825408 25248 4294967295 134512640 134569956 3221224336 3221213184 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 25248 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 84.39
Current children cumulated vsize (Kb) 851392

[startup+100.01 s]
Raw data (loadavg): 1.04 1.04 1.01 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18263 4 1 0 9369 52 0 0 25 0 11 0 1788999144 871825408 25378 4294967295 134512640 134569956 3221224336 3221214528 1131730697 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 25378 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 94.21
Current children cumulated vsize (Kb) 851392

[startup+110.011 s]
Raw data (loadavg): 1.04 1.04 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18267 4 1 0 10353 52 0 0 25 0 11 0 1788999144 871825408 25535 4294967295 134512640 134569956 3221224336 3221214528 1131730691 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 25535 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 104.05
Current children cumulated vsize (Kb) 851392

[startup+120.01 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18270 4 1 0 11345 52 0 0 25 0 11 0 1788999144 871825408 25535 4294967295 134512640 134569956 3221224336 3221214528 1131731294 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 25535 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 113.97
Current children cumulated vsize (Kb) 851392

[startup+130.011 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18274 4 1 0 12331 52 0 0 25 0 11 0 1788999144 871825408 25589 4294967295 134512640 134569956 3221224336 3221214528 1131730628 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 25589 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 123.83
Current children cumulated vsize (Kb) 851392

[startup+140.012 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18279 4 1 0 13317 53 0 0 25 0 11 0 1788999144 871825408 25589 4294967295 134512640 134569956 3221224336 3221214432 1131740142 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 25589 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 133.7
Current children cumulated vsize (Kb) 851392

[startup+150.013 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18283 4 1 0 14302 53 0 0 25 0 11 0 1788999144 871825408 25645 4294967295 134512640 134569956 3221224336 3221214528 1131731065 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 25645 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 143.55
Current children cumulated vsize (Kb) 851392

[startup+160.013 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18286 4 1 0 15291 53 0 0 25 0 11 0 1788999144 871825408 25645 4294967295 134512640 134569956 3221224336 3221214432 1131739980 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 25645 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 153.44
Current children cumulated vsize (Kb) 851392

[startup+170.014 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18290 4 1 0 16274 53 0 0 25 0 11 0 1788999144 871825408 25645 4294967295 134512640 134569956 3221224336 3221214484 1131057176 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 25645 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 163.27
Current children cumulated vsize (Kb) 851392

[startup+180.015 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18294 4 1 0 17260 53 0 0 18 0 11 0 1788999144 871825408 25700 4294967295 134512640 134569956 3221224336 3221214528 1131731065 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 25700 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 173.13
Current children cumulated vsize (Kb) 851392

[startup+190.016 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18303 4 1 0 18191 54 0 0 19 0 11 0 1788999144 871825408 25999 4294967295 134512640 134569956 3221224336 3221214528 1131499884 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 25999 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 182.45
Current children cumulated vsize (Kb) 851392

[startup+200.018 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18314 4 1 0 19114 54 0 0 21 0 11 0 1788999144 871825408 26104 4294967295 134512640 134569956 3221224336 3221214616 1131536822 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26104 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 191.68
Current children cumulated vsize (Kb) 851392

[startup+210.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18326 4 1 0 20045 55 0 0 17 0 11 0 1788999144 871825408 26583 4294967295 134512640 134569956 3221224336 3221214528 1131500239 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 26583 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 201
Current children cumulated vsize (Kb) 851392

[startup+220.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18338 4 1 0 21035 56 0 0 20 0 11 0 1788999144 871825408 26691 4294967295 134512640 134569956 3221224336 3221214528 1131500239 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 26691 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 210.91
Current children cumulated vsize (Kb) 851392

[startup+230.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18351 4 1 0 22027 57 0 0 25 0 11 0 1788999144 871825408 26699 4294967295 134512640 134569956 3221224336 3221214616 1131537812 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26699 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 220.84
Current children cumulated vsize (Kb) 851392

[startup+240.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18364 4 1 0 23020 57 0 0 17 0 11 0 1788999144 871825408 26702 4294967295 134512640 134569956 3221224336 3221214528 1131500239 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 26702 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 230.77
Current children cumulated vsize (Kb) 851392

[startup+250.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18376 4 1 0 24013 58 0 0 18 0 11 0 1788999144 871825408 26705 4294967295 134512640 134569956 3221224336 3221214528 1131500467 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 26705 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 240.71
Current children cumulated vsize (Kb) 851392

[startup+260.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18387 4 1 0 25006 59 0 0 21 0 11 0 1788999144 871825408 26708 4294967295 134512640 134569956 3221224336 3221214528 1131500737 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26708 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 250.65
Current children cumulated vsize (Kb) 851392

[startup+270.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18400 4 1 0 25997 59 0 0 16 0 11 0 1788999144 871825408 26712 4294967295 134512640 134569956 3221224336 3221214528 1131499809 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 26712 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 260.56
Current children cumulated vsize (Kb) 851392

[startup+280.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18412 4 1 0 26989 59 0 0 25 0 11 0 1788999144 871825408 26717 4294967295 134512640 134569956 3221224336 3221214528 1131500183 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26717 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 270.48
Current children cumulated vsize (Kb) 851392

[startup+290.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18425 4 1 0 27983 60 0 0 18 0 11 0 1788999144 871825408 26731 4294967295 134512640 134569956 3221224336 3221214528 1131500727 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 26731 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 280.43
Current children cumulated vsize (Kb) 851392

[startup+300.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18437 4 1 0 28979 60 0 0 20 0 11 0 1788999144 871825408 26732 4294967295 134512640 134569956 3221224336 3221214616 1131536880 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 26732 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 290.39
Current children cumulated vsize (Kb) 851392

[startup+310.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18450 4 1 0 29974 60 0 0 25 0 11 0 1788999144 871825408 26732 4294967295 134512640 134569956 3221224336 3221214616 1131536868 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26732 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 300.34
Current children cumulated vsize (Kb) 851392

[startup+320.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18462 4 1 0 30968 60 0 0 25 0 11 0 1788999144 871825408 26732 4294967295 134512640 134569956 3221224336 3221214528 1131500429 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26732 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 310.28
Current children cumulated vsize (Kb) 851392

[startup+330.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18475 4 1 0 31963 61 0 0 21 0 11 0 1788999144 871825408 26734 4294967295 134512640 134569956 3221224336 3221214528 1131499830 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 26734 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 320.24
Current children cumulated vsize (Kb) 851392

[startup+340.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18486 4 1 0 32957 61 0 0 25 0 11 0 1788999144 871825408 26735 4294967295 134512640 134569956 3221224336 3221214528 1131500679 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26735 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 330.18
Current children cumulated vsize (Kb) 851392

[startup+350.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18497 4 1 0 33948 62 0 0 24 0 11 0 1788999144 871825408 26735 4294967295 134512640 134569956 3221224336 3221214616 1131536880 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26735 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 340.1
Current children cumulated vsize (Kb) 851392

[startup+360.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18510 4 1 0 34937 63 0 0 18 0 11 0 1788999144 871825408 26735 4294967295 134512640 134569956 3221224336 3221214616 1131536895 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 26735 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 350
Current children cumulated vsize (Kb) 851392

[startup+370.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18522 4 1 0 35928 63 0 0 25 0 11 0 1788999144 871825408 26753 4294967295 134512640 134569956 3221224336 3221214528 1131500004 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26753 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 359.91
Current children cumulated vsize (Kb) 851392

[startup+380.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18533 4 1 0 36921 64 0 0 24 0 11 0 1788999144 871825408 26759 4294967295 134512640 134569956 3221224336 3221214432 1131740012 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 26759 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 369.85
Current children cumulated vsize (Kb) 851392

[startup+390.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18536 4 1 0 37919 64 0 0 25 0 11 0 1788999144 871825408 26759 4294967295 134512640 134569956 3221224336 3221214536 1131726567 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 26759 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 379.83
Current children cumulated vsize (Kb) 851392

[startup+400.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18540 4 1 0 38914 64 0 0 25 0 11 0 1788999144 871825408 26760 4294967295 134512640 134569956 3221224336 3221214484 1131057173 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26760 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 389.78
Current children cumulated vsize (Kb) 851392

[startup+410.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18544 4 1 0 39908 65 0 0 25 0 11 0 1788999144 871825408 26761 4294967295 134512640 134569956 3221224336 3221214432 1131740505 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26761 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 399.73
Current children cumulated vsize (Kb) 851392

[startup+420.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18548 4 1 0 40903 65 0 0 17 0 11 0 1788999144 871825408 26762 4294967295 134512640 134569956 3221224336 3221214528 1131730977 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 26762 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 409.68
Current children cumulated vsize (Kb) 851392

[startup+430.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18551 4 1 0 41899 65 0 0 25 0 11 0 1788999144 871825408 26763 4294967295 134512640 134569956 3221224336 3221214488 1131371097 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26763 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 419.64
Current children cumulated vsize (Kb) 851392

[startup+440.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18555 4 1 0 42893 65 0 0 25 0 11 0 1788999144 871825408 26764 4294967295 134512640 134569956 3221224336 3221214484 1131057275 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26764 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 429.58
Current children cumulated vsize (Kb) 851392

[startup+450.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18559 4 1 0 43888 65 0 0 18 0 11 0 1788999144 871825408 26764 4294967295 134512640 134569956 3221224336 3221214432 1131742103 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26764 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 439.53
Current children cumulated vsize (Kb) 851392

[startup+460.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18562 4 1 0 44884 66 0 0 25 0 11 0 1788999144 871825408 26765 4294967295 134512640 134569956 3221224336 3221214488 1131371097 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 26765 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 449.5
Current children cumulated vsize (Kb) 851392

[startup+470.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18566 4 1 0 45878 66 0 0 23 0 11 0 1788999144 871825408 26798 4294967295 134512640 134569956 3221224336 3221214528 1131730691 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26798 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 459.44
Current children cumulated vsize (Kb) 851392

[startup+480.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18570 4 1 0 46874 66 0 0 25 0 11 0 1788999144 871825408 26798 4294967295 134512640 134569956 3221224336 3221214440 1131438892 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 26798 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 469.4
Current children cumulated vsize (Kb) 851392

[startup+490.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18573 4 1 0 47871 66 0 0 25 0 11 0 1788999144 871825408 26798 4294967295 134512640 134569956 3221224336 3221214432 1131740483 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26798 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 479.37
Current children cumulated vsize (Kb) 851392

[startup+500.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18577 4 1 0 48867 66 0 0 23 0 11 0 1788999144 871825408 26798 4294967295 134512640 134569956 3221224336 3221214528 1131730786 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 26798 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 489.33
Current children cumulated vsize (Kb) 851392

[startup+510.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18581 4 1 0 49862 67 0 0 17 0 11 0 1788999144 871825408 26798 4294967295 134512640 134569956 3221224336 3221214440 1131439084 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 26798 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 499.29
Current children cumulated vsize (Kb) 851392

[startup+520.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18584 4 1 0 50859 67 0 0 25 0 11 0 1788999144 871825408 26798 4294967295 134512640 134569956 3221224336 3221214432 1131741328 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 26798 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 509.26
Current children cumulated vsize (Kb) 851392

[startup+530.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18588 4 1 0 51855 67 0 0 25 0 11 0 1788999144 871825408 26798 4294967295 134512640 134569956 3221224336 3221214528 1131730822 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 26798 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 519.22
Current children cumulated vsize (Kb) 851392

[startup+540.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18592 4 1 0 52851 67 0 0 25 0 11 0 1788999144 871825408 26798 4294967295 134512640 134569956 3221224336 3221214528 1131730969 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26798 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 529.18
Current children cumulated vsize (Kb) 851392

[startup+550.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18596 4 1 0 53847 67 0 0 25 0 11 0 1788999144 871825408 26843 4294967295 134512640 134569956 3221224336 3221214440 1131439170 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26843 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 539.14
Current children cumulated vsize (Kb) 851392

[startup+560.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18600 4 1 0 54846 67 0 0 25 0 11 0 1788999144 871825408 26843 4294967295 134512640 134569956 3221224336 3221214536 1131726570 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26843 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 549.13
Current children cumulated vsize (Kb) 851392

[startup+570.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18603 4 1 0 55844 67 0 0 25 0 11 0 1788999144 871825408 26843 4294967295 134512640 134569956 3221224336 3221214528 1131730822 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26843 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 559.11
Current children cumulated vsize (Kb) 851392

[startup+580.042 s]
Raw data (loadavg): 1.08 1.02 1.01 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18607 4 1 0 56842 68 0 0 25 0 11 0 1788999144 871825408 26843 4294967295 134512640 134569956 3221224336 3221214512 1131729676 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26843 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 569.1
Current children cumulated vsize (Kb) 851392

[startup+590.043 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18612 4 1 0 57837 68 0 0 25 0 11 0 1788999144 871825408 26843 4294967295 134512640 134569956 3221224336 3221214528 1131730813 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 26843 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 579.05
Current children cumulated vsize (Kb) 851392

[startup+600.044 s]
Raw data (loadavg): 1.06 1.01 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18616 4 1 0 58830 68 0 0 25 0 11 0 1788999144 871825408 26843 4294967295 134512640 134569956 3221224336 3221214488 1131371097 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 26843 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 588.98
Current children cumulated vsize (Kb) 851392

[startup+610.045 s]
Raw data (loadavg): 1.12 1.03 1.01 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18619 4 1 0 59825 68 0 0 25 0 11 0 1788999144 871825408 26843 4294967295 134512640 134569956 3221224336 3221214440 1131439084 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 26843 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 598.93
Current children cumulated vsize (Kb) 851392

[startup+620.046 s]
Raw data (loadavg): 1.10 1.03 1.01 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18623 4 1 0 60818 68 0 0 25 0 11 0 1788999144 871825408 26843 4294967295 134512640 134569956 3221224336 3221214440 1131439391 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26843 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 608.86
Current children cumulated vsize (Kb) 851392

[startup+630.047 s]
Raw data (loadavg): 1.09 1.03 1.01 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18626 4 1 0 61813 68 0 0 25 0 11 0 1788999144 871825408 26843 4294967295 134512640 134569956 3221224336 3221214528 1131730697 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26843 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 618.81
Current children cumulated vsize (Kb) 851392

[startup+640.047 s]
Raw data (loadavg): 1.07 1.03 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18630 4 1 0 62805 69 0 0 25 0 11 0 1788999144 871825408 26843 4294967295 134512640 134569956 3221224336 3221214484 1131057275 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26843 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 628.74
Current children cumulated vsize (Kb) 851392

[startup+650.048 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18633 4 1 0 63800 69 0 0 25 0 11 0 1788999144 871825408 26843 4294967295 134512640 134569956 3221224336 3221214432 1131740421 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26843 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 638.69
Current children cumulated vsize (Kb) 851392

[startup+660.049 s]
Raw data (loadavg): 1.05 1.02 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18637 4 1 0 64793 69 0 0 25 0 11 0 1788999144 871825408 26843 4294967295 134512640 134569956 3221224336 3221214484 1131057173 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26843 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 648.62
Current children cumulated vsize (Kb) 851392

[startup+670.048 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18641 4 1 0 65785 70 0 0 25 0 11 0 1788999144 871825408 26931 4294967295 134512640 134569956 3221224336 3221214528 1131730885 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26931 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 658.55
Current children cumulated vsize (Kb) 851392

[startup+680.049 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18645 4 1 0 66782 70 0 0 25 0 11 0 1788999144 871825408 26931 4294967295 134512640 134569956 3221224336 3221214528 1131730691 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26931 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 668.52
Current children cumulated vsize (Kb) 851392

[startup+690.05 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18648 4 1 0 67778 70 0 0 25 0 11 0 1788999144 871825408 26931 4294967295 134512640 134569956 3221224336 3221214484 1131057186 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26931 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 678.48
Current children cumulated vsize (Kb) 851392

[startup+700.051 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18652 4 1 0 68774 70 0 0 25 0 11 0 1788999144 871825408 26931 4294967295 134512640 134569956 3221224336 3221214432 1131740015 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 26931 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 688.44
Current children cumulated vsize (Kb) 851392

[startup+710.052 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18656 4 1 0 69769 71 0 0 25 0 11 0 1788999144 871825408 26931 4294967295 134512640 134569956 3221224336 3221214432 1131740015 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 26931 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 698.4
Current children cumulated vsize (Kb) 851392

[startup+720.052 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18660 4 1 0 70765 71 0 0 20 0 11 0 1788999144 871825408 26931 4294967295 134512640 134569956 3221224336 3221214528 1131730954 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 26931 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 708.36
Current children cumulated vsize (Kb) 851392

[startup+730.053 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18663 4 1 0 71763 71 0 0 25 0 11 0 1788999144 871825408 26931 4294967295 134512640 134569956 3221224336 3221214432 1131740015 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26931 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 718.34
Current children cumulated vsize (Kb) 851392

[startup+740.054 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18667 4 1 0 72759 71 0 0 25 0 11 0 1788999144 871825408 26931 4294967295 134512640 134569956 3221224336 3221214440 1131439084 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 26931 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 728.3
Current children cumulated vsize (Kb) 851392

[startup+750.055 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18671 4 1 0 73755 71 0 0 25 0 11 0 1788999144 871825408 26932 4294967295 134512640 134569956 3221224336 3221214440 1131439121 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 26932 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 738.26
Current children cumulated vsize (Kb) 851392

[startup+760.056 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18675 4 1 0 74751 72 0 0 25 0 11 0 1788999144 871825408 26977 4294967295 134512640 134569956 3221224336 3221214432 1131740421 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26977 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 748.23
Current children cumulated vsize (Kb) 851392

[startup+770.055 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18678 4 1 0 75749 72 0 0 25 0 11 0 1788999144 871825408 26977 4294967295 134512640 134569956 3221224336 3221214432 1131740015 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26977 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 758.21
Current children cumulated vsize (Kb) 851392

[startup+780.056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18682 4 1 0 76747 72 0 0 25 0 11 0 1788999144 871825408 26977 4294967295 134512640 134569956 3221224336 3221214432 1131740421 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26977 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 768.19
Current children cumulated vsize (Kb) 851392

[startup+790.059 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18685 4 1 0 77745 73 0 0 25 0 11 0 1788999144 871825408 26977 4294967295 134512640 134569956 3221224336 3221214528 1131731300 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 26977 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 778.18
Current children cumulated vsize (Kb) 851392

[startup+800.061 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18691 4 1 0 78738 73 0 0 25 0 11 0 1788999144 871825408 26977 4294967295 134512640 134569956 3221224336 3221214432 1131740012 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26977 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 788.11
Current children cumulated vsize (Kb) 851392

[startup+810.061 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18694 4 1 0 79732 73 0 0 25 0 11 0 1788999144 871825408 26977 4294967295 134512640 134569956 3221224336 3221214484 1131057275 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26977 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 798.05
Current children cumulated vsize (Kb) 851392

[startup+820.061 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18698 4 1 0 80725 73 0 0 21 0 11 0 1788999144 871825408 26977 4294967295 134512640 134569956 3221224336 3221214528 1131730822 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 26977 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 807.98
Current children cumulated vsize (Kb) 851392

[startup+830.063 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18701 4 1 0 81718 74 0 0 25 0 11 0 1788999144 871825408 26977 4294967295 134512640 134569956 3221224336 3221214536 1131726567 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26977 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 817.92
Current children cumulated vsize (Kb) 851392

[startup+840.064 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18705 4 1 0 82710 74 0 0 25 0 11 0 1788999144 871825408 26977 4294967295 134512640 134569956 3221224336 3221214528 1131730691 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26977 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 827.84
Current children cumulated vsize (Kb) 851392

[startup+850.064 s]
Raw data (loadavg): 1.08 1.02 1.01 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18708 4 1 0 83705 74 0 0 25 0 11 0 1788999144 871825408 26977 4294967295 134512640 134569956 3221224336 3221214440 1131439121 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26977 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 837.79
Current children cumulated vsize (Kb) 851392

[startup+860.065 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18712 4 1 0 84697 75 0 0 25 0 11 0 1788999144 871825408 26977 4294967295 134512640 134569956 3221224336 3221214528 1131730822 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 26977 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 847.72
Current children cumulated vsize (Kb) 851392

[startup+870.066 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18715 4 1 0 85692 75 0 0 25 0 11 0 1788999144 871825408 26977 4294967295 134512640 134569956 3221224336 3221214528 1131730905 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 26977 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 857.67
Current children cumulated vsize (Kb) 851392

[startup+880.067 s]
Raw data (loadavg): 1.05 1.02 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18719 4 1 0 86685 75 0 0 25 0 11 0 1788999144 871825408 27066 4294967295 134512640 134569956 3221224336 3221214528 1131730969 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 27066 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 867.6
Current children cumulated vsize (Kb) 851392

[startup+890.068 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18723 4 1 0 87681 76 0 0 25 0 11 0 1788999144 871825408 27066 4294967295 134512640 134569956 3221224336 3221214496 1131458758 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 27066 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 877.57
Current children cumulated vsize (Kb) 851392

[startup+900.069 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18727 4 1 0 88677 76 0 0 20 0 11 0 1788999144 871825408 27066 4294967295 134512640 134569956 3221224336 3221214440 1131439311 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 27066 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 887.53
Current children cumulated vsize (Kb) 851392

[startup+910.07 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18730 4 1 0 89673 76 0 0 25 0 11 0 1788999144 871825408 27066 4294967295 134512640 134569956 3221224336 3221214528 1131730881 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 27066 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 897.49
Current children cumulated vsize (Kb) 851392

[startup+920.071 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18734 4 1 0 90670 76 0 0 25 0 11 0 1788999144 871825408 27066 4294967295 134512640 134569956 3221224336 3221214440 1131438870 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 27066 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 907.46
Current children cumulated vsize (Kb) 851392

[startup+930.073 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18738 4 1 0 91666 76 0 0 22 0 11 0 1788999144 871825408 27066 4294967295 134512640 134569956 3221224336 3221214528 1131730954 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 27066 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 917.42
Current children cumulated vsize (Kb) 851392

[startup+940.073 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18741 4 1 0 92663 77 0 0 25 0 11 0 1788999144 871825408 27066 4294967295 134512640 134569956 3221224336 3221214440 1131439121 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 27066 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 927.4
Current children cumulated vsize (Kb) 851392

[startup+950.073 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18745 4 1 0 93659 77 0 0 25 0 11 0 1788999144 871825408 27066 4294967295 134512640 134569956 3221224336 3221214428 1131561120 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 27066 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 937.36
Current children cumulated vsize (Kb) 851392

[startup+960.074 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 8893
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18749 4 1 0 94655 77 0 0 23 0 11 0 1788999144 871825408 27066 4294967295 134512640 134569956 3221224336 3221214440 1131439121 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 27066 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 947.32
Current children cumulated vsize (Kb) 851392

[startup+970.075 s]
Raw data (loadavg): 1.09 1.03 1.01 2/70 8948
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18752 4 1 0 95623 101 0 0 25 0 11 0 1788999144 871825408 27112 4294967295 134512640 134569956 3221224336 3221214528 1131499958 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 27112 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 957.24
Current children cumulated vsize (Kb) 851392

[startup+980.078 s]
Raw data (loadavg): 1.07 1.03 1.00 2/66 8948
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18757 4 1 0 96616 101 0 0 24 0 11 0 1788999144 871825408 27112 4294967295 134512640 134569956 3221224336 3221214528 1131730919 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 27112 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 967.17
Current children cumulated vsize (Kb) 851392

[startup+990.077 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 8948
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18761 4 1 0 97609 101 0 0 24 0 11 0 1788999144 871825408 27112 4294967295 134512640 134569956 3221224336 3221214432 1131740015 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 27112 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 977.1
Current children cumulated vsize (Kb) 851392

[startup+1000.08 s]
Raw data (loadavg): 1.05 1.02 1.00 2/66 8948
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18764 4 1 0 98604 101 0 0 25 0 11 0 1788999144 871825408 27112 4294967295 134512640 134569956 3221224336 3221214528 1131730954 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 27112 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 987.05
Current children cumulated vsize (Kb) 851392

[startup+1010.09 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 8948
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18768 4 1 0 99596 101 0 0 25 0 11 0 1788999144 871825408 27112 4294967295 134512640 134569956 3221224336 3221214432 1131740012 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 27112 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 996.97
Current children cumulated vsize (Kb) 851392

[startup+1020.09 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 8948
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18771 4 1 0 100590 102 0 0 25 0 11 0 1788999144 871825408 27112 4294967295 134512640 134569956 3221224336 3221214432 1131740490 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 27112 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 1006.92
Current children cumulated vsize (Kb) 851392

[startup+1030.09 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 8948
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18775 4 1 0 101583 102 0 0 25 0 11 0 1788999144 871825408 27112 4294967295 134512640 134569956 3221224336 3221214440 1131439084 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 27112 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 1016.85
Current children cumulated vsize (Kb) 851392

[startup+1040.09 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 8950
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18778 4 1 0 102578 102 0 0 25 0 11 0 1788999144 871825408 27112 4294967295 134512640 134569956 3221224336 3221214528 1131730905 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 27112 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 1026.8
Current children cumulated vsize (Kb) 851392

[startup+1050.09 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 8952
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18781 4 1 0 103572 102 0 0 25 0 11 0 1788999144 871825408 27112 4294967295 134512640 134569956 3221224336 3221214528 1131730691 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 27112 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 1036.74
Current children cumulated vsize (Kb) 851392

[startup+1060.09 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 8952
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18785 4 1 0 104566 102 0 0 25 0 11 0 1788999144 871825408 27200 4294967295 134512640 134569956 3221224336 3221214528 1131730822 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 27200 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 1046.68
Current children cumulated vsize (Kb) 851392

[startup+1070.09 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 8952
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18789 4 1 0 105562 103 0 0 25 0 11 0 1788999144 871825408 27200 4294967295 134512640 134569956 3221224336 3221214432 1131439121 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 27200 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 1056.65
Current children cumulated vsize (Kb) 851392

[startup+1080.09 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 8952
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18793 4 1 0 106557 103 0 0 25 0 11 0 1788999144 871825408 27200 4294967295 134512640 134569956 3221224336 3221214536 1131726560 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 27200 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 1066.6
Current children cumulated vsize (Kb) 851392

[startup+1090.09 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 8952
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18797 4 1 0 107552 103 0 0 20 0 11 0 1788999144 871825408 27200 4294967295 134512640 134569956 3221224336 3221214512 1131371097 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 27200 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 1076.55
Current children cumulated vsize (Kb) 851392

[startup+1100.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 8952
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18800 4 1 0 108549 103 0 0 25 0 11 0 1788999144 871825408 27200 4294967295 134512640 134569956 3221224336 3221214512 1131416744 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 27200 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 1086.52
Current children cumulated vsize (Kb) 851392

[startup+1110.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 8952
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18804 4 1 0 109545 103 0 0 25 0 11 0 1788999144 871825408 27200 4294967295 134512640 134569956 3221224336 3221214536 1131726567 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 27200 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 1096.48
Current children cumulated vsize (Kb) 851392

[startup+1120.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8952
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18808 4 1 0 110541 104 0 0 25 0 11 0 1788999144 871825408 27200 4294967295 134512640 134569956 3221224336 3221214432 1131741434 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 27200 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 1106.45
Current children cumulated vsize (Kb) 851392

[startup+1130.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8952
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18811 4 1 0 111538 104 0 0 25 0 11 0 1788999144 871825408 27200 4294967295 134512640 134569956 3221224336 3221214440 1131439084 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 27200 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 1116.42
Current children cumulated vsize (Kb) 851392

[startup+1140.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8952
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18815 4 1 0 112533 104 0 0 25 0 11 0 1788999144 871825408 27200 4294967295 134512640 134569956 3221224336 3221214528 1131730881 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 27200 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 1126.37
Current children cumulated vsize (Kb) 851392

[startup+1150.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8952
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18819 4 1 0 113528 105 0 0 22 0 11 0 1788999144 871825408 27245 4294967295 134512640 134569956 3221224336 3221214676 1131567401 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 27245 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 1136.33
Current children cumulated vsize (Kb) 851392

[startup+1160.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8952
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18823 4 1 0 114523 105 0 0 25 0 11 0 1788999144 871825408 27245 4294967295 134512640 134569956 3221224336 3221214512 1131416744 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 27245 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 1146.28
Current children cumulated vsize (Kb) 851392

[startup+1170.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8952
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18827 4 1 0 115515 105 0 0 18 0 11 0 1788999144 871825408 27245 4294967295 134512640 134569956 3221224336 3221214440 1131439121 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 27245 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 1156.2
Current children cumulated vsize (Kb) 851392

[startup+1180.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8952
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18830 4 1 0 116510 105 0 0 25 0 11 0 1788999144 871825408 27245 4294967295 134512640 134569956 3221224336 3221214432 1131740436 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 27245 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 1166.15
Current children cumulated vsize (Kb) 851392

[startup+1190.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8952
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18834 4 1 0 117502 105 0 0 25 0 11 0 1788999144 871825408 27245 4294967295 134512640 134569956 3221224336 3221214432 1131740015 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 27245 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 1176.07
Current children cumulated vsize (Kb) 851392

[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8952
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18837 4 1 0 118497 106 0 0 25 0 11 0 1788999144 871825408 27245 4294967295 134512640 134569956 3221224336 3221214528 1131730792 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 27245 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 1186.03
Current children cumulated vsize (Kb) 851392

[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8952
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18841 4 1 0 119489 106 0 0 25 0 11 0 1788999144 871825408 27245 4294967295 134512640 134569956 3221224336 3221214528 1131730912 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8882/statm): 212848 27245 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 1195.95
Current children cumulated vsize (Kb) 851392

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8952
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18844 4 1 0 120484 106 0 0 25 0 11 0 1788999144 871825408 27245 4294967295 134512640 134569956 3221224336 3221214528 1131730822 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 27245 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 1205.9
Current children cumulated vsize (Kb) 851392



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8952
Raw data (/proc/8882/stat): 8882 (java) R 8881 8882 27660 0 -1 0 18844 4 1 0 120484 106 0 0 25 0 11 0 1788999144 871825408 27245 4294967295 134512640 134569956 3221224336 3221214528 1131730822 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8882/statm): 212848 27245 13129 16 0 212832 0
[pid=8882] vsize: 851392
Current children cumulated CPU time (s) 1205.9
Current children cumulated vsize (Kb) 851392

Sending SIGTERM to -8882
Sleeping 2 seconds
New thread pid=8954
New thread pid=8955
One traced child (pid=8955) exited with status: 0
One traced child (pid=8891) exited with status: 0
One traced child (pid=8886) exited with status: 0
One traced child (pid=8883) exited with status: 143
One traced child (pid=8884) exited with status: 143
One traced child (pid=8885) exited with status: 143
One traced child (pid=8890) exited with status: 143
One traced child (pid=8887) exited with status: 143
One traced child (pid=8893) exited with status: 143
One traced child (pid=8888) exited with status: 143
One traced child (pid=8889) exited with status: 143
One traced child (pid=8954) exited with status: 143
One traced child (pid=8882) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1220.73
CPU time (s): 1232.49
CPU user time (s): 1230.62
CPU system time (s): 1.86472
CPU usage (%): 100.963
Max. virtual memory (cumulated for all children) (Kb): 857368

Verifier Data

Verifier:	OK	0