PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-25 10:08:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21060 boxname=wulflinc12 idbench=1048 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  087a7cd0fdb8b0bf40fe6b459b39a663  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-mkc.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-mkc.opb
IDLAUNCH: 21060
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        398452 kB
Buffers:         34352 kB
Cached:         580348 kB
SwapCached:        564 kB
Active:          33372 kB
Inactive:       583700 kB
HighTotal:      131008 kB
HighFree:        44968 kB
LowTotal:       903652 kB
LowFree:        353484 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            13508 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 10:29:22 (client local time) WITH STATUS 143 IN 1230.15 SECONDS
stats: 21060 0 1230.15 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-mkc.opb
c reading problem ... done. Time 14.096 ms.
c #vars     5383
c #constraints  3281
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                   0 		Current CPU time: 46.02 ms
c starts	: 2
c conflicts	: 14
c decisions	: 8455
c propagations	: 35244
c inspects	: 108296
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 14
c root simplifications	: 9
s SATISFIABLE
v -x0000_bit0 -x0100_bit0 -x0300_bit0 -x0400_bit0 -x0500_bit0 -x0600_bit0 -x0700_bit0 -x0800_bit0 -x0900_bit0 -x1000_bit0 -x1100_bit0 -x1300_bit0 -x1400_bit0 -x1500_bit0 -x1600_bit0 -x1700_bit0 -x1800_bit0 -x1900_bit0 -x2000_bit0 -x2200_bit0 -x2300_bit0 -x2400_bit0 -x2500_bit0 -x2600_bit0 -x2700_bit0 -x2800_bit0 -x2900_bit0 -x3000_bit0 -x3100_bit0 -x3300_bit0 -x3400_bit0 -x3500_bit0 -x3600_bit0 -x3700_bit0 -x3800_bit0 -x3900_bit0 -x4000_bit0 -x4100_bit0 -x4200_bit0 -x4300_bit0 -x4400_bit0 -x4500_bit0 -x4600_bit0 -x4700_bit0 -x4800_bit0 -x4900_bit0 -x5000_bit0 -x5100_bit0 -x5200_bit0 -x5500_bit0 -x5600_bit0 -x5700_bit0 -x5800_bit0 -x6000_bit0 -x6100_bit0 -x6200_bit0 -x6300_bit0 -x6500_bit0 -x6600_bit0 -x6700_bit0 -x6800_bit0 -x6900_bit0 -x7000_bit0 -x7100_bit0 -x7200_bit0 -x7300_bit0 -x7400_bit0 -x7500_bit0 -x7700_bit0 -x7800_bit0 -x7900_bit0 -x8000_bit0 -x8100_bit0 -x8300_bit0 -x8400_bit0 -x8500_bit0 -x8600_bit0 -x8700_bit0 -x8800_bit0 -x9000_bit0 -x9100_bit0 -x9200_bit0 -x9300_bit0 -x9400_bit0 -x9500_bit0 -x9600_bit0 -x9700_bit0 -x9800_bit0 -x10000_bit0 -x10200_bit0 -x10300_bit0 -x10500_bit0 -x10600_bit0 -x10700_bit0 -x10900_bit0 -x11000_bit0 -x11300_bit0 -x11400_bit0 -x11500_bit0 -x11600_bit0 -x11700_bit0 -x11800_bit0 -x13000_bit0 -x13100_bit0 -x13200_bit0 -x13300_bit0 -x13500_bit0 -x13600_bit0 -x13700_bit0 -x13900_bit0 -x14200_bit0 -x14300_bit0 -x14400_bit0 -x14500_bit0 -x14600_bit0 -x14700_bit0 -x14800_bit0 -x14900_bit0 -x15200_bit0 -x15300_bit0 -x15400_bit0 -x15500_bit0 -x15600_bit0 -x15700_bit0 -x15800_bit0 -x15900_bit0 -x16000_bit0 -x16100_bit0 -x16200_bit0 -x16300_bit0 -x16400_bit0 -x16500_bit0 -x16600_bit0 -x16700_bit0 -x16900_bit0 -x17000_bit0 -x17200_bit0 -x18000_bit0 -x18100_bit0 -x18200_bit0 -x18300_bit0 -x18400_bit0 -x19000_bit0 -x19100_bit0 -x19500_bit0 -x19600_bit0 -x23500_bit0 -x23600_bit0 -x23800_bit0 -x23900_bit0 -x24300_bit0 -x24800_bit0 -x24900_bit0 -x25100_bit0 -x25200_bit0 -x25300_bit0 -x25400_bit0 -x25500_bit0 -x25600_bit0 -x25700_bit0 -x25800_bit0 -x25900_bit0 -x26000_bit0 -x26100_bit0 -x26200_bit0 -x26300_bit0 -x26400_bit0 -x26500_bit0 -x26600_bit0 -x26700_bit0 -x26800_bit0 -x26900_bit0 -x27000_bit0 -x27100_bit0 -x27200_bit0 -x27300_bit0 -x27400_bit0 -x27500_bit0 -x27600_bit0 -x27700_bit0 -x27800_bit0 -x27900_bit0 -x28000_bit0 -x28200_bit0 -x28300_bit0 -x28400_bit0 -x28500_bit0 -x28600_bit0 -x28700_bit0 -x28800_bit0 -x29000_bit0 -x29100_bit0 -x29200_bit0 -x29300_bit0 -x29400_bit0 -x29500_bit0 -x29600_bit0 -x29700_bit0 -x29800_bit0 -x30000_bit0 -x30100_bit0 -x30300_bit0 -x30400_bit0 -x30600_bit0 -x30700_bit0 -x30800_bit0 -x30900_bit0 -x31000_bit0 -x31100_bit0 -x31200_bit0 -x31300_bit0 -x31400_bit0 -x31500_bit0 -x31600_bit0 -x31700_bit0 -x31800_bit0 -x31900_bit0 -x32000_bit0 -x32100_bit0 -x32200_bit0 -x32300_bit0 -x32400_bit0 -x32500_bit0 -x32600_bit0 -x32700_bit0 -x32800_bit0 -x34800_bit0 -x34900_bit0 -x35000_bit0 -x35100_bit0 -x35200_bit0 -x35300_bit0 -x35400_bit0 -x35500_bit0 -x35600_bit0 -x35700_bit0 -x35800_bit0 -x35900_bit0 -x36000_bit0 -x36100_bit0 -x36200_bit0 -x36500_bit0 -x36600_bit0 -x36700_bit0 -x36800_bit0 -x36900_bit0 -x37000_bit0 -x37100_bit0 -x37300_bit0 -x37400_bit0 -x37500_bit0 -x37600_bit0 -x39700_bit0 -x39900_bit0 -x40000_bit0 -x40100_bit0 -x40200_bit0 -x40300_bit0 -x40400_bit0 -x40500_bit0 -x40600_bit0 -x40700_bit0 -x40800_bit0 -x41100_bit0 -x41200_bit0 -x41300_bit0 -x41400_bit0 -x41500_bit0 -x41600_bit0 -x41700_bit0 -x41800_bit0 -x41900_bit0 -x42000_bit0 -x42100_bit0 -x42200_bit0 -x42400_bit0 -x42500_bit0 -x42600_bit0 -x42700_bit0 -x42800_bit0 -x42900_bit0 -x43000_bit0 -x43100_bit0 -x43200_bit0 -x43300_bit0 -x43400_bit0 -x43500_bit0 -x43600_bit0 -x43700_bit0 -x43800_bit0 -x0101_bit0 -x0301_bit0 -x0401_bit0 -x0801_bit0 -x1101_bit0 -x1501_bit0 -x1601_bit0 -x1901_bit0 -x2001_bit0 -x2201_bit0 -x2301_bit0 -x2901_bit0 -x3001_bit0 -x3401_bit0 -x3801_bit0 -x4001_bit0 -x4101_bit0 -x4401_bit0 -x4801_bit0 -x5001_bit0 -x5101_bit0 -x5201_bit0 -x5501_bit0 -x5601_bit0 -x6501_bit0 -x6601_bit0 -x7301_bit0 -x7401_bit0 -x7701_bit0 -x8301_bit0 -x8401_bit0 -x9001_bit0 -x9101_bit0 -x9201_bit0 -x9501_bit0 -x9601_bit0 -x10001_bit0 -x10201_bit0 -x10301_bit0 -x10501_bit0 -x10601_bit0 -x10701_bit0 -x10901_bit0 -x11301_bit0 -x11401_bit0 -x11601_bit0 -x11701_bit0 -x11801_bit0 -x13101_bit0 -x13301_bit0 -x13701_bit0 -x13901_bit0 -x14201_bit0 -x14301_bit0 -x14501_bit0 -x15201_bit0 -x15301_bit0 -x15601_bit0 -x16001_bit0 -x16201_bit0 -x19101_bit0 -x23601_bit0 -x25601_bit0 -x26201_bit0 -x26301_bit0 -x26401_bit0 -x26601_bit0 -x26701_bit0 -x26901_bit0 -x27001_bit0 -x27101_bit0 -x27201_bit0 -x27301_bit0 -x27401_bit0 -x27501_bit0 -x27601_bit0 -x27701_bit0 -x27801_bit0 -x27901_bit0 -x28201_bit0 -x29101_bit0 -x29201_bit0 -x29401_bit0 -x29501_bit0 -x29601_bit0 -x29701_bit0 -x29801_bit0 -x30101_bit0 -x30301_bit0 -x30401_bit0 -x30801_bit0 -x30901_bit0 -x31201_bit0 -x31301_bit0 -x31501_bit0 -x31801_bit0 -x32101_bit0 -x32201_bit0 -x32301_bit0 -x32401_bit0 -x32501_bit0 -x32601_bit0 -x32701_bit0 -x32801_bit0 -x35301_bit0 -x35501_bit0 -x35801_bit0 -x36101_bit0 -x36201_bit0 -x36901_bit0 -x37301_bit0 -x37401_bit0 -x37501_bit0 -x37601_bit0 -x40501_bit0 -x40601_bit0 -x40701_bit0 -x40801_bit0 -x41101_bit0 -x41501_bit0 -x41601_bit0 -x41701_bit0 -x41901_bit0 -x42101_bit0 -x42201_bit0 -x42501_bit0 -x42601_bit0 -x43501_bit0 -x43701_bit0 -x0102_bit0 -x0302_bit0 -x0402_bit0 -x0802_bit0 -x1102_bit0 -x1202_bit0 -x1502_bit0 -x1602_bit0 -x1902_bit0 -x2002_bit0 -x2202_bit0 -x2302_bit0 -x2902_bit0 -x3002_bit0 -x3202_bit0 -x3402_bit0 -x3802_bit0 -x4002_bit0 -x4102_bit0 -x4402_bit0 -x4802_bit0 -x5002_bit0 -x5102_bit0 -x5202_bit0 -x5302_bit0 -x5402_bit0 -x5502_bit0 -x5602_bit0 -x6502_bit0 -x6602_bit0 -x7302_bit0 -x7402_bit0 -x7602_bit0 -x7702_bit0 -x8302_bit0 -x8402_bit0 -x9002_bit0 -x9102_bit0 -x9202_bit0 -x9502_bit0 -x9602_bit0 -x10002_bit0 -x10102_bit0 -x10202_bit0 -x10302_bit0 -x10502_bit0 -x10802_bit0 -x10902_bit0 -x11202_bit0 -x11402_bit0 -x11602_bit0 -x11702_bit0 -x11802_bit0 -x12202_bit0 -x12902_bit0 -x13102_bit0 -x13902_bit0 -x14202_bit0 -x14302_bit0 -x15202_bit0 -x15302_bit0 -x16802_bit0 -x17102_bit0 -x17302_bit0 -x17402_bit0 -x17502_bit0 -x17602_bit0 -x17702_bit0 -x17802_bit0 -x17902_bit0 -x18502_bit0 -x18602_bit0 -x18702_bit0 -x18802_bit0 -x18902_bit0 -x19102_bit0 -x19202_bit0 -x19302_bit0 -x19402_bit0 -x19802_bit0 -x19902_bit0 -x20002_bit0 -x20202_bit0 -x20302_bit0 -x20502_bit0 -x20702_bit0 -x20902_bit0 -x21002_bit0 -x21302_bit0 -x21502_bit0 -x21802_bit0 -x21902_bit0 -x22002_bit0 -x22102_bit0 -x22302_bit0 -x22402_bit0 -x22502_bit0 -x22702_bit0 -x22902_bit0 -x23002_bit0 -x23602_bit0 -x24402_bit0 -x25602_bit0 -x26202_bit0 -x26302_bit0 -x26402_bit0 -x26602_bit0 -x26702_bit0 -x26902_bit0 -x27002_bit0 -x27102_bit0 -x27202_bit0 -x27302_bit0 -x27402_bit0 -x27502_bit0 -x27602_bit0 -x27702_bit0 -x27802_bit0 -x27902_bit0 -x28202_bit0 -x29102_bit0 -x29202_bit0 -x29402_bit0 -x29502_bit0 -x29602_bit0 -x29702_bit0 -x29802_bit0 -x30102_bit0 -x30202_bit0 -x30302_bit0 -x30402_bit0 -x30802_bit0 -x30902_bit0 -x31202_bit0 -x31302_bit0 -x31502_bit0 -x31802_bit0 -x32102_bit0 -x32202_bit0 -x32302_bit0 -x32402_bit0 -x32502_bit0 -x32602_bit0 -x32702_bit0 -x32802_bit0 -x33002_bit0 -x33102_bit0 -x33302_bit0 -x33402_bit0 -x33602_bit0 -x34002_bit0 -x34202_bit0 -x34502_bit0 -x35302_bit0 -x35502_bit0 -x35802_bit0 -x36102_bit0 -x36202_bit0 -x36302_bit0 -x36402_bit0 -x37302_bit0 -x37402_bit0 -x37502_bit0 -x37602_bit0 -x37702_bit0 -x37802_bit0 -x38102_bit0 -x38202_bit0 -x38402_bit0 -x38502_bit0 -x38802_bit0 -x38902_bit0 -x39202_bit0 -x40502_bit0 -x40602_bit0 -x40702_bit0 -x40802_bit0 -x41102_bit0 -x41502_bit0 -x41602_bit0 -x41702_bit0 -x41902_bit0 -x42102_bit0 -x42202_bit0 -x42302_bit0 -x42502_bit0 -x42602_bit0 -x43502_bit0 -x43702_bit0 -x0103_bit0 -x0303_bit0 -x0403_bit0 -x0803_bit0 -x1103_bit0 -x1203_bit0 -x1503_bit0 -x1603_bit0 -x1903_bit0 -x2003_bit0 -x2203_bit0 -x2303_bit0 -x2903_bit0 -x3003_bit0 -x3203_bit0 -x3403_bit0 -x3803_bit0 -x4003_bit0 -x4103_bit0 -x4403_bit0 -x4803_bit0 -x5003_bit0 -x5103_bit0 -x5203_bit0 -x5303_bit0 -x5403_bit0 -x5503_bit0 -x5603_bit0 -x6503_bit0 -x6603_bit0 -x7303_bit0 -x7403_bit0 -x7603_bit0 -x7703_bit0 -x8303_bit0 -x8403_bit0 -x9003_bit0 -x9103_bit0 -x9203_bit0 -x9503_bit0 -x9603_bit0 -x10003_bit0 -x10103_bit0 -x10203_bit0 -x10303_bit0 -x10503_bit0 -x10803_bit0 -x10903_bit0 -x11203_bit0 -x11403_bit0 -x11603_bit0 -x11703_bit0 -x11803_bit0 -x12203_bit0 -x12903_bit0 -x13103_bit0 -x13903_bit0 -x14203_bit0 -x14303_bit0 -x15203_bit0 -x15303_bit0 -x16803_bit0 -x17103_bit0 -x17303_bit0 -x17403_bit0 -x17503_bit0 -x17603_bit0 -x17703_bit0 -x17803_bit0 -x17903_bit0 -x18503_bit0 -x18603_bit0 -x18703_bit0 -x18803_bit0 -x18903_bit0 -x19103_bit0 -x19203_bit0 -x19303_bit0 -x19403_bit0 -x19803_bit0 -x19903_bit0 -x20003_bit0 -x20203_bit0 -x20303_bit0 -x20503_bit0 -x20703_bit0 -x20903_bit0 -x21003_bit0 -x21303_bit0 -x21503_bit0 -x21803_bit0 -x21903_bit0 -x22003_bit0 -x22103_bit0 -x22303_bit0 -x22403_bit0 -x22503_bit0 -x22703_bit0 -x22903_bit0 -x23003_bit0 -x23603_bit0 -x24403_bit0 -x25603_bit0 -x26203_bit0 -x26303_bit0 -x26403_bit0 -x26603_bit0 -x26703_bit0 -x26903_bit0 -x27003_bit0 -x27103_bit0 -x27203_bit0 -x27303_bit0 -x27403_bit0 -x27503_bit0 -x27603_bit0 -x27703_bit0 -x27803_bit0 -x27903_bit0 -x28203_bit0 -x29103_bit0 -x29203_bit0 -x29403_bit0 -x29503_bit0 -x29603_bit0 -x29703_bit0 -x29803_bit0 -x30103_bit0 -x30203_bit0 -x30303_bit0 -x30403_bit0 -x30803_bit0 -x30903_bit0 -x31203_bit0 -x31303_bit0 -x31503_bit0 -x31803_bit0 -x32103_bit0 -x32203_bit0 -x32303_bit0 -x32403_bit0 -x32503_bit0 -x32603_bit0 -x32703_bit0 -x32803_bit0 -x33003_bit0 -x33103_bit0 -x33303_bit0 -x33403_bit0 -x33603_bit0 -x34003_bit0 -x34203_bit0 -x34503_bit0 -x35303_bit0 -x35503_bit0 -x35803_bit0 -x36103_bit0 -x36203_bit0 -x36303_bit0 -x36403_bit0 -x37303_bit0 -x37403_bit0 -x37503_bit0 -x37603_bit0 -x37703_bit0 -x37803_bit0 -x38103_bit0 -x38203_bit0 -x38403_bit0 -x38503_bit0 -x38803_bit0 -x38903_bit0 -x39203_bit0 -x40503_bit0 -x40603_bit0 -x40703_bit0 -x40803_bit0 -x41103_bit0 -x41503_bit0 -x41603_bit0 -x41703_bit0 -x41903_bit0 -x42103_bit0 -x42203_bit0 -x42303_bit0 -x42503_bit0 -x42603_bit0 -x43503_bit0 -x43703_bit0 -x0104_bit0 -x0304_bit0 -x0404_bit0 -x0704_bit0 -x1004_bit0 -x1104_bit0 -x1204_bit0 -x1504_bit0 -x1904_bit0 -x2004_bit0 -x2204_bit0 -x2304_bit0 -x2904_bit0 -x3004_bit0 -x3404_bit0 -x3804_bit0 -x3904_bit0 -x4004_bit0 -x4104_bit0 -x4404_bit0 -x4704_bit0 -x4804_bit0 -x5004_bit0 -x5104_bit0 -x5204_bit0 -x5604_bit0 -x5804_bit0 -x6504_bit0 -x6604_bit0 -x6904_bit0 -x7304_bit0 -x7404_bit0 -x7504_bit0 -x7604_bit0 -x7704_bit0 -x8304_bit0 -x8504_bit0 -x8604_bit0 -x9004_bit0 -x9104_bit0 -x9204_bit0 -x9504_bit0 -x9604_bit0 -x9704_bit0 -x9804_bit0 -x10204_bit0 -x10304_bit0 -x10504_bit0 -x10804_bit0 -x10904_bit0 -x11204_bit0 -x11404_bit0 -x11604_bit0 -x11704_bit0 -x11804_bit0 -x12204_bit0 -x12904_bit0 -x13904_bit0 -x14204_bit0 -x14304_bit0 -x15204_bit0 -x15304_bit0 -x16604_bit0 -x16704_bit0 -x16804_bit0 -x17104_bit0 -x17304_bit0 -x17404_bit0 -x17504_bit0 -x17604_bit0 -x17704_bit0 -x17804_bit0 -x17904_bit0 -x18504_bit0 -x18604_bit0 -x18704_bit0 -x18804_bit0 -x18904_bit0 -x19104_bit0 -x19204_bit0 -x19304_bit0 -x19404_bit0 -x19804_bit0 -x19904_bit0 -x20004_bit0 -x20204_bit0 -x20304_bit0 -x20504_bit0 -x20704_bit0 -x20904_bit0 -x21004_bit0 -x21304_bit0 -x21504_bit0 -x21804_bit0 -x21904_bit0 -x22004_bit0 -x22104_bit0 -x22304_bit0 -x22404_bit0 -x22504_bit0 -x22704_bit0 -x22904_bit0 -x23004_bit0 -x23604_bit0 -x23904_bit0 -x24404_bit0 -x25304_bit0 -x25404_bit0 -x25604_bit0 -x25704_bit0 -x25804_bit0 -x25904_bit0 -x26004_bit0 -x26104_bit0 -x26204_bit0 -x26304_bit0 -x26404_bit0 -x26504_bit0 -x26604_bit0 -x26704_bit0 -x26904_bit0 -x27004_bit0 -x27104_bit0 -x27204_bit0 -x27304_bit0 -x27404_bit0 -x27504_bit0 -x27604_bit0 -x27704_bit0 -x27804_bit0 -x27904_bit0 -x28204_bit0 -x28304_bit0 -x28404_bit0 -x28504_bit0 -x28604_bit0 -x28704_bit0 -x28804_bit0 -x29004_bit0 -x29104_bit0 -x29204_bit0 -x29404_bit0 -x29504_bit0 -x29604_bit0 -x29704_bit0 -x29804_bit0 -x30104_bit0 -x30204_bit0 -x30304_bit0 -x30404_bit0 -x30804_bit0 -x30904_bit0 -x31204_bit0 -x31304_bit0 -x31404_bit0 -x31504_bit0 -x32104_bit0 -x32204_bit0 -x32304_bit0 -x32404_bit0 -x32504_bit0 -x32604_bit0 -x32704_bit0 -x32804_bit0 -x33004_bit0 -x33104_bit0 -x33304_bit0 -x33404_bit0 -x33604_bit0 -x34004_bit0 -x34204_bit0 -x34504_bit0 -x35304_bit0 -x35504_bit0 -x36104_bit0 -x36204_bit0 -x37304_bit0 -x37404_bit0 -x37504_bit0 -x37604_bit0 -x37704_bit0 -x37804_bit0 -x38104_bit0 -x38204_bit0 -x38404_bit0 -x38504_bit0 -x38804_bit0 -x38904_bit0 -x39204_bit0 -x40504_bit0 -x40604_bit0 -x40704_bit0 -x40804_bit0 -x41504_bit0 -x41604_bit0 -x41704_bit0 -x41904_bit0 -x42204_bit0 -x42304_bit0 -x42604_bit0 -x0105_bit0 -x0305_bit0 -x0405_bit0 -x0805_bit0 -x1105_bit0 -x1205_bit0 -x1505_bit0 -x1605_bit0 -x1905_bit0 -x2005_bit0 -x2205_bit0 -x2305_bit0 -x2905_bit0 -x3005_bit0 -x3205_bit0 -x3405_bit0 -x3805_bit0 -x4005_bit0 -x4105_bit0 -x4405_bit0 -x4805_bit0 -x5005_bit0 -x5105_bit0 -x5205_bit0 -x5305_bit0 -x5405_bit0 -x5505_bit0 -x5605_bit0 -x6505_bit0 -x6605_bit0 -x7305_bit0 -x7405_bit0 -x7605_bit0 -x7705_bit0 -x8305_bit0 -x8405_bit0 -x9005_bit0 -x9105_bit0 -x9205_bit0 -x9505_bit0 -x9605_bit0 -x10005_bit0 -x10105_bit0 -x10205_bit0 -x10305_bit0 -x10505_bit0 -x10805_bit0 -x10905_bit0 -x11205_bit0 -x11405_bit0 -x11605_bit0 -x11705_bit0 -x11805_bit0 -x12205_bit0 -x12905_bit0 -x13105_bit0 -x13905_bit0 -x14205_bit0 -x14305_bit0 -x15205_bit0 -x15305_bit0 -x16805_bit0 -x17105_bit0 -x17305_bit0 -x17405_bit0 -x17505_bit0 -x17605_bit0 -x17705_bit0 -x17805_bit0 -x17905_bit0 -x18505_bit0 -x18605_bit0 -x18705_bit0 -x18805_bit0 -x18905_bit0 -x19105_bit0 -x19205_bit0 -x19305_bit0 -x19405_bit0 -x19805_bit0 -x19905_bit0 -x20005_bit0 -x20205_bit0 -x20305_bit0 -x20505_bit0 -x20705_bit0 -x20905_bit0 -x21005_bit0 -x21305_bit0 -x21505_bit0 -x21805_bit0 -x21905_bit0 -x22005_bit0 -x22105_bit0 -x22305_bit0 -x22405_bit0 -x22505_bit0 -x22705_bit0 -x22905_bit0 -x23005_bit0 -x23605_bit0 -x24405_bit0 -x25605_bit0 -x26205_bit0 -x26305_bit0 -x26405_bit0 -x26605_bit0 -x26705_bit0 -x26905_bit0 -x27005_bit0 -x27105_bit0 -x27205_bit0 -x27305_bit0 -x27405_bit0 -x27505_bit0 -x27605_bit0 -x27705_bit0 -x27805_bit0 -x27905_bit0 -x28205_bit0 -x29105_bit0 -x29205_bit0 -x29405_bit0 -x29505_bit0 -x29605_bit0 -x29705_bit0 -x29805_bit0 -x30105_bit0 -x30205_bit0 -x30305_bit0 -x30405_bit0 -x30805_bit0 -x30905_bit0 -x31205_bit0 -x31305_bit0 -x31505_bit0 -x31805_bit0 -x32105_bit0 -x32205_bit0 -x32305_bit0 -x32405_bit0 -x32505_bit0 -x32605_bit0 -x32705_bit0 -x32805_bit0 -x33005_bit0 -x33105_bit0 -x33305_bit0 -x33405_bit0 -x33605_bit0 -x34005_bit0 -x34205_bit0 -x34505_bit0 -x35305_bit0 -x35505_bit0 -x35805_bit0 -x36105_bit0 -x36205_bit0 -x36305_bit0 -x36405_bit0 -x37305_bit0 -x37405_bit0 -x37505_bit0 -x37605_bit0 -x37705_bit0 -x37805_bit0 -x38105_bit0 -x38205_bit0 -x38405_bit0 -x38505_bit0 -x38805_bit0 -x38905_bit0 -x39205_bit0 -x40505_bit0 -x40605_bit0 -x40705_bit0 -x40805_bit0 -x41105_bit0 -x41505_bit0 -x41605_bit0 -x41705_bit0 -x41905_bit0 -x42105_bit0 -x42205_bit0 -x42305_bit0 -x42505_bit0 -x42605_bit0 -x43505_bit0 -x43705_bit0 -x0106_bit0 -x0306_bit0 -x0406_bit0 -x0806_bit0 -x1106_bit0 -x1206_bit0 -x1506_bit0 -x1606_bit0 -x1906_bit0 -x2006_bit0 -x2206_bit0 -x2306_bit0 -x2906_bit0 -x3006_bit0 -x3206_bit0 -x3406_bit0 -x3806_bit0 -x4006_bit0 -x4106_bit0 -x4406_bit0 -x4806_bit0 -x5006_bit0 -x5106_bit0 -x5206_bit0 -x5306_bit0 -x5406_bit0 -x5506_bit0 -x5606_bit0 -x6506_bit0 -x6606_bit0 -x7306_bit0 -x7406_bit0 -x7606_bit0 -x7706_bit0 -x8306_bit0 -x8406_bit0 -x9006_bit0 -x9106_bit0 -x9206_bit0 -x9506_bit0 -x9606_bit0 -x10006_bit0 -x10106_bit0 -x10206_bit0 -x10306_bit0 -x10506_bit0 -x10806_bit0 -x10906_bit0 -x11206_bit0 -x11406_bit0 -x11606_bit0 -x11706_bit0 -x11806_bit0 -x12206_bit0 -x12906_bit0 -x13106_bit0 -x13906_bit0 -x14206_bit0 -x14306_bit0 -x15206_bit0 -x15306_bit0 -x16806_bit0 -x17106_bit0 -x17306_bit0 -x17406_bit0 -x17506_bit0 -x17606_bit0 -x17706_bit0 -x17806_bit0 -x17906_bit0 -x18506_bit0 -x18606_bit0 -x18706_bit0 -x18806_bit0 -x18906_bit0 -x19106_bit0 -x19206_bit0 -x19306_bit0 -x19406_bit0 -x19806_bit0 -x19906_bit0 -x20006_bit0 -x20206_bit0 -x20306_bit0 -x20506_bit0 -x20706_bit0 -x20906_bit0 -x21006_bit0 -x21306_bit0 -x21506_bit0 -x21806_bit0 -x21906_bit0 -x22006_bit0 -x22106_bit0 -x22306_bit0 -x22406_bit0 -x22506_bit0 -x22706_bit0 -x22906_bit0 -x23006_bit0 -x23606_bit0 -x24406_bit0 -x25606_bit0 -x26206_bit0 -x26306_bit0 -x26406_bit0 -x26606_bit0 -x26706_bit0 -x26906_bit0 -x27006_bit0 -x27106_bit0 -x27206_bit0 -x27306_bit0 -x27406_bit0 -x27506_bit0 -x27606_bit0 -x27706_bit0 -x27806_bit0 -x27906_bit0 -x28206_bit0 -x29106_bit0 -x29206_bit0 -x29406_bit0 -x29506_bit0 -x29606_bit0 -x29706_bit0 -x29806_bit0 -x30106_bit0 -x30206_bit0 -x30306_bit0 -x30406_bit0 -x30806_bit0 -x30906_bit0 -x31206_bit0 -x31306_bit0 -x31506_bit0 -x31806_bit0 -x32106_bit0 -x32206_bit0 -x32306_bit0 -x32406_bit0 -x32506_bit0 -x32606_bit0 -x32706_bit0 -x32806_bit0 -x33006_bit0 -x33106_bit0 -x33306_bit0 -x33406_bit0 -x33606_bit0 -x34006_bit0 -x34206_bit0 -x34506_bit0 -x35306_bit0 -x35506_bit0 -x35806_bit0 -x36106_bit0 -x36206_bit0 -x36306_bit0 -x36406_bit0 -x37306_bit0 -x37406_bit0 -x37506_bit0 -x37606_bit0 -x37706_bit0 -x37806_bit0 -x38106_bit0 -x38206_bit0 -x38406_bit0 -x38506_bit0 -x38806_bit0 -x38906_bit0 -x39206_bit0 -x40506_bit0 -x40606_bit0 -x40706_bit0 -x40806_bit0 -x41106_bit0 -x41506_bit0 -x41606_bit0 -x41706_bit0 -x41906_bit0 -x42106_bit0 -x42206_bit0 -x42306_bit0 -x42506_bit0 -x42606_bit0 -x43506_bit0 -x43706_bit0 -x0107_bit0 -x0307_bit0 -x0407_bit0 -x0807_bit0 -x1107_bit0 -x1207_bit0 -x1507_bit0 -x1607_bit0 -x1907_bit0 -x2007_bit0 -x2207_bit0 -x2307_bit0 -x2907_bit0 -x3007_bit0 -x3207_bit0 -x3407_bit0 -x3807_bit0 -x4007_bit0 -x4107_bit0 -x4407_bit0 -x4807_bit0 -x5007_bit0 -x5107_bit0 -x5207_bit0 -x5307_bit0 -x5407_bit0 -x5507_bit0 -x5607_bit0 -x6507_bit0 -x6607_bit0 -x7307_bit0 -x7407_bit0 -x7607_bit0 -x7707_bit0 -x8307_bit0 -x8407_bit0 -x9007_bit0 -x9107_bit0 -x9207_bit0 -x9507_bit0 -x9607_bit0 -x10007_bit0 -x10107_bit0 -x10207_bit0 -x10307_bit0 -x10507_bit0 -x10807_bit0 -x10907_bit0 -x11207_bit0 -x11407_bit0 -x11607_bit0 -x11707_bit0 -x11807_bit0 -x12207_bit0 -x12907_bit0 -x13107_bit0 -x13907_bit0 -x14207_bit0 -x14307_bit0 -x15207_bit0 -x15307_bit0 -x16807_bit0 -x17107_bit0 -x17307_bit0 -x17407_bit0 -x17507_bit0 -x17607_bit0 -x17707_bit0 -x17807_bit0 -x17907_bit0 -x18507_bit0 -x18607_bit0 -x18707_bit0 -x18807_bit0 -x18907_bit0 -x19107_bit0 -x19207_bit0 -x19307_bit0 -x19407_bit0 -x19807_bit0 -x19907_bit0 -x20007_bit0 -x20207_bit0 -x20307_bit0 -x20507_bit0 -x20707_bit0 -x20907_bit0 -x21007_bit0 -x21307_bit0 -x21507_bit0 -x21807_bit0 -x21907_bit0 -x22007_bit0 -x22107_bit0 -x22307_bit0 -x22407_bit0 -x22507_bit0 -x22707_bit0 -x22907_bit0 -x23007_bit0 -x23607_bit0 -x24407_bit0 -x25607_bit0 -x26207_bit0 -x26307_bit0 -x26407_bit0 -x26607_bit0 -x26707_bit0 -x26907_bit0 -x27007_bit0 -x27107_bit0 -x27207_bit0 -x27307_bit0 -x27407_bit0 -x27507_bit0 -x27607_bit0 -x27707_bit0 -x27807_bit0 -x27907_bit0 -x28207_bit0 -x29107_bit0 -x29207_bit0 -x29407_bit0 -x29507_bit0 -x29607_bit0 -x29707_bit0 -x29807_bit0 -x30107_bit0 -x30207_bit0 -x30307_bit0 -x30407_bit0 -x30807_bit0 -x30907_bit0 -x31207_bit0 -x31307_bit0 -x31507_bit0 -x31807_bit0 -x32107_bit0 -x32207_bit0 -x32307_bit0 -x32407_bit0 -x32507_bit0 -x32607_bit0 -x32707_bit0 -x32807_bit0 -x33007_bit0 -x33107_bit0 -x33307_bit0 -x33407_bit0 -x33607_bit0 -x34007_bit0 -x34207_bit0 -x34507_bit0 -x35307_bit0 -x35507_bit0 -x35807_bit0 -x36107_bit0 -x36207_bit0 -x36307_bit0 -x36407_bit0 -x37307_bit0 -x37407_bit0 -x37507_bit0 -x37607_bit0 -x37707_bit0 -x37807_bit0 -x38107_bit0 -x38207_bit0 -x38407_bit0 -x38507_bit0 -x38807_bit0 -x38907_bit0 -x39207_bit0 -x40507_bit0 -x40607_bit0 -x40707_bit0 -x40807_bit0 -x41107_bit0 -x41507_bit0 -x41607_bit0 -x41707_bit0 -x41907_bit0 -x42107_bit0 -x42207_bit0 -x42307_bit0 -x42507_bit0 -x42607_bit0 -x43507_bit0 -x43707_bit0 -x0108_bit0 -x0308_bit0 -x0708_bit0 -x1008_bit0 -x1108_bit0 -x1308_bit0 -x1508_bit0 -x1908_bit0 -x2008_bit0 -x2208_bit0 -x3008_bit0 -x3408_bit0 -x3608_bit0 -x3808_bit0 -x3908_bit0 -x4008_bit0 -x4108_bit0 -x4408_bit0 -x4808_bit0 -x5008_bit0 -x5608_bit0 -x5808_bit0 -x5908_bit0 -x6208_bit0 -x6508_bit0 -x6908_bit0 -x7308_bit0 -x7408_bit0 -x7508_bit0 -x8108_bit0 -x8308_bit0 -x8508_bit0 -x8608_bit0 -x8708_bit0 -x8808_bit0 -x9308_bit0 -x9408_bit0 -x9508_bit0 -x9608_bit0 -x9708_bit0 -x9808_bit0 -x10308_bit0 -x10408_bit0 -x10508_bit0 -x10808_bit0 -x10908_bit0 -x11208_bit0 -x11408_bit0 -x11608_bit0 -x11708_bit0 -x11808_bit0 -x12108_bit0 -x12208_bit0 -x12308_bit0 -x12408_bit0 -x12508_bit0 -x12608_bit0 -x12708_bit0 -x12808_bit0 -x12908_bit0 -x13908_bit0 -x16408_bit0 -x16608_bit0 -x16708_bit0 -x16808_bit0 -x17108_bit0 -x17308_bit0 -x17408_bit0 -x17508_bit0 -x17608_bit0 -x17708_bit0 -x17808_bit0 -x17908_bit0 -x18508_bit0 -x18608_bit0 -x18708_bit0 -x18808_bit0 -x18908_bit0 -x19108_bit0 -x19208_bit0 -x19308_bit0 -x19408_bit0 -x19708_bit0 -x19808_bit0 -x19908_bit0 -x20008_bit0 -x20108_bit0 -x20208_bit0 -x20308_bit0 -x20408_bit0 -x20508_bit0 -x20708_bit0 -x20908_bit0 -x21008_bit0 -x21308_bit0 -x21508_bit0 -x21708_bit0 -x21808_bit0 -x21908_bit0 -x22008_bit0 -x22108_bit0 -x22308_bit0 -x22408_bit0 -x22508_bit0 -x22708_bit0 -x22808_bit0 -x22908_bit0 -x23008_bit0 -x23108_bit0 -x23508_bit0 -x23608_bit0 -x23908_bit0 -x24208_bit0 -x24408_bit0 -x25308_bit0 -x25408_bit0 -x25608_bit0 -x25708_bit0 -x25808_bit0 -x25908_bit0 -x26008_bit0 -x26108_bit0 -x26208_bit0 -x26308_bit0 -x26408_bit0 -x26508_bit0 -x26608_bit0 -x26708_bit0 -x26908_bit0 -x27008_bit0 -x27108_bit0 -x27208_bit0 -x27308_bit0 -x27408_bit0 -x27508_bit0 -x27608_bit0 -x27708_bit0 -x27808_bit0 -x27908_bit0 -x28108_bit0 -x28208_bit0 -x28308_bit0 -x28408_bit0 -x28508_bit0 -x28608_bit0 -x28708_bit0 -x28808_bit0 -x29008_bit0 -x29108_bit0 -x29408_bit0 -x29508_bit0 -x29608_bit0 -x29708_bit0 -x29808_bit0 -x29908_bit0 -x30108_bit0 -x30208_bit0 -x30308_bit0 -x30408_bit0 -x30808_bit0 -x30908_bit0 -x31208_bit0 -x31308_bit0 -x31408_bit0 -x31508_bit0 -x32108_bit0 -x32208_bit0 -x32308_bit0 -x32408_bit0 -x32508_bit0 -x32608_bit0 -x32708_bit0 -x32908_bit0 -x33008_bit0 -x33108_bit0 -x33308_bit0 -x33408_bit0 -x33508_bit0 -x33608_bit0 -x33708_bit0 -x33808_bit0 -x34008_bit0 -x34208_bit0 -x34508_bit0 -x35408_bit0 -x35508_bit0 -x35608_bit0 -x36108_bit0 -x37208_bit0 -x37308_bit0 -x37408_bit0 -x37508_bit0 -x37608_bit0 -x37708_bit0 -x37808_bit0 -x37908_bit0 -x38008_bit0 -x38108_bit0 -x38208_bit0 -x38408_bit0 -x38508_bit0 -x38608_bit0 -x38808_bit0 -x38908_bit0 -x39208_bit0 -x39708_bit0 -x40108_bit0 -x40608_bit0 -x40708_bit0 -x41508_bit0 -x41608_bit0 -x41708_bit0 -x42208_bit0 -x42308_bit0 -x0109_bit0 -x0309_bit0 -x0409_bit0 -x0709_bit0 -x1009_bit0 -x1109_bit0 -x1209_bit0 -x1309_bit0 -x1509_bit0 -x1909_bit0 -x2009_bit0 -x2209_bit0 -x2309_bit0 -x2909_bit0 -x3009_bit0 -x3409_bit0 -x3609_bit0 -x3809_bit0 -x3909_bit0 -x4009_bit0 -x4109_bit0 -x4409_bit0 -x4709_bit0 -x4809_bit0 -x5009_bit0 -x5109_bit0 -x5209_bit0 -x5609_bit0 -x5809_bit0 -x6209_bit0 -x6509_bit0 -x6609_bit0 -x6909_bit0 -x7309_bit0 -x7409_bit0 -x7509_bit0 -x7609_bit0 -x7709_bit0 -x8109_bit0 -x8309_bit0 -x8509_bit0 -x8609_bit0 -x8709_bit0 -x8809_bit0 -x9009_bit0 -x9109_bit0 -x9209_bit0 -x9309_bit0 -x9409_bit0 -x9509_bit0 -x9609_bit0 -x9709_bit0 -x9809_bit0 -x10209_bit0 -x10309_bit0 -x10509_bit0 -x10809_bit0 -x10909_bit0 -x11209_bit0 -x11409_bit0 -x11609_bit0 -x11709_bit0 -x11809_bit0 -x12109_bit0 -x12209_bit0 -x12309_bit0 -x12409_bit0 -x12509_bit0 -x12609_bit0 -x12709_bit0 -x12809_bit0 -x12909_bit0 -x13909_bit0 -x14209_bit0 -x14309_bit0 -x15209_bit0 -x15309_bit0 -x16409_bit0 -x16609_bit0 -x16709_bit0 -x16809_bit0 -x17109_bit0 -x17309_bit0 -x17409_bit0 -x17509_bit0 -x17609_bit0 -x17709_bit0 -x17809_bit0 -x17909_bit0 -x18509_bit0 -x18609_bit0 -x18709_bit0 -x18809_bit0 -x18909_bit0 -x19109_bit0 -x19209_bit0 -x19309_bit0 -x19409_bit0 -x19709_bit0 -x19809_bit0 -x19909_bit0 -x20009_bit0 -x20209_bit0 -x20309_bit0 -x20509_bit0 -x20709_bit0 -x20909_bit0 -x21009_bit0 -x21309_bit0 -x21509_bit0 -x21709_bit0 -x21809_bit0 -x21909_bit0 -x22009_bit0 -x22109_bit0 -x22309_bit0 -x22409_bit0 -x22509_bit0 -x22709_bit0 -x22909_bit0 -x23009_bit0 -x23509_bit0 -x23609_bit0 -x23909_bit0 -x24209_bit0 -x24409_bit0 -x25309_bit0 -x25409_bit0 -x25609_bit0 -x25709_bit0 -x25809_bit0 -x25909_bit0 -x26009_bit0 -x26109_bit0 -x26209_bit0 -x26309_bit0 -x26409_bit0 -x26509_bit0 -x26609_bit0 -x26709_bit0 -x26909_bit0 -x27009_bit0 -x27109_bit0 -x27209_bit0 -x27309_bit0 -x27409_bit0 -x27509_bit0 -x27609_bit0 -x27709_bit0 -x27809_bit0 -x27909_bit0 -x28209_bit0 -x28309_bit0 -x28409_bit0 -x28509_bit0 -x28609_bit0 -x28709_bit0 -x28809_bit0 -x29009_bit0 -x29109_bit0 -x29209_bit0 -x29409_bit0 -x29509_bit0 -x29609_bit0 -x29709_bit0 -x29809_bit0 -x30109_bit0 -x30209_bit0 -x30309_bit0 -x30409_bit0 -x30809_bit0 -x30909_bit0 -x31209_bit0 -x31309_bit0 -x31409_bit0 -x31509_bit0 -x32109_bit0 -x32209_bit0 -x32309_bit0 -x32409_bit0 -x32509_bit0 -x32609_bit0 -x32709_bit0 -x32809_bit0 -x33009_bit0 -x33109_bit0 -x33309_bit0 -x33409_bit0 -x33609_bit0 -x34009_bit0 -x34209_bit0 -x34509_bit0 -x35309_bit0 -x35409_bit0 -x35509_bit0 -x35609_bit0 -x36109_bit0 -x36209_bit0 -x37309_bit0 -x37409_bit0 -x37509_bit0 -x37609_bit0 -x37709_bit0 -x37809_bit0 -x38109_bit0 -x38209_bit0 -x38409_bit0 -x38509_bit0 -x38809_bit0 -x38909_bit0 -x39209_bit0 -x39709_bit0 -x39909_bit0 -x40009_bit0 -x40109_bit0 -x40509_bit0 -x40609_bit0 -x40709_bit0 -x40809_bit0 -x41509_bit0 -x41609_bit0 -x41709_bit0 -x41909_bit0 -x42209_bit0 -x42309_bit0 -x42609_bit0 -x0110_bit0 -x0210_bit0 -x0310_bit0 -x0710_bit0 -x1010_bit0 -x1110_bit0 -x1510_bit0 -x1910_bit0 -x2010_bit0 -x2110_bit0 -x2210_bit0 -x3010_bit0 -x3410_bit0 -x3810_bit0 -x3910_bit0 -x4010_bit0 -x4110_bit0 -x4410_bit0 -x4810_bit0 -x5010_bit0 -x5610_bit0 -x5810_bit0 -x6410_bit0 -x6510_bit0 -x6910_bit0 -x7310_bit0 -x7410_bit0 -x7510_bit0 -x8210_bit0 -x8310_bit0 -x8510_bit0 -x8610_bit0 -x9510_bit0 -x9610_bit0 -x9710_bit0 -x9810_bit0 -x9910_bit0 -x10310_bit0 -x10510_bit0 -x10810_bit0 -x10910_bit0 -x11110_bit0 -x11210_bit0 -x11410_bit0 -x11610_bit0 -x11710_bit0 -x11810_bit0 -x11910_bit0 -x12010_bit0 -x12210_bit0 -x12910_bit0 -x13410_bit0 -x13810_bit0 -x13910_bit0 -x15010_bit0 -x15210_bit0 -x16610_bit0 -x16710_bit0 -x16810_bit0 -x17110_bit0 -x17310_bit0 -x17410_bit0 -x17510_bit0 -x17610_bit0 -x17710_bit0 -x17810_bit0 -x17910_bit0 -x18510_bit0 -x18610_bit0 -x18710_bit0 -x18810_bit0 -x18910_bit0 -x19110_bit0 -x19210_bit0 -x19310_bit0 -x19410_bit0 -x19810_bit0 -x19910_bit0 -x20510_bit0 -x20610_bit0 -x20710_bit0 -x20810_bit0 -x20910_bit0 -x21010_bit0 -x21110_bit0 -x21210_bit0 -x21310_bit0 -x21410_bit0 -x21510_bit0 -x21610_bit0 -x21810_bit0 -x21910_bit0 -x22110_bit0 -x22210_bit0 -x22610_bit0 -x22710_bit0 -x22910_bit0 -x23010_bit0 -x23210_bit0 -x23310_bit0 -x23410_bit0 -x23610_bit0 -x23710_bit0 -x23910_bit0 -x24410_bit0 -x25310_bit0 -x25410_bit0 -x25610_bit0 -x25710_bit0 -x25810_bit0 -x25910_bit0 -x26010_bit0 -x26110_bit0 -x26210_bit0 -x26310_bit0 -x26410_bit0 -x26510_bit0 -x26610_bit0 -x26710_bit0 -x26910_bit0 -x27010_bit0 -x27110_bit0 -x27210_bit0 -x27310_bit0 -x27410_bit0 -x27510_bit0 -x27610_bit0 -x27710_bit0 -x27810_bit0 -x27910_bit0 -x28210_bit0 -x28310_bit0 -x28410_bit0 -x28510_bit0 -x28610_bit0 -x28710_bit0 -x28810_bit0 -x28910_bit0 -x29010_bit0 -x29110_bit0 -x29410_bit0 -x29510_bit0 -x29610_bit0 -x29710_bit0 -x29810_bit0 -x30110_bit0 -x30210_bit0 -x30310_bit0 -x30410_bit0 -x30510_bit0 -x30810_bit0 -x30910_bit0 -x31210_bit0 -x31310_bit0 -x31410_bit0 -x31510_bit0 -x32110_bit0 -x32210_bit0 -x32310_bit0 -x32410_bit0 -x32510_bit0 -x32610_bit0 -x32710_bit0 -x33010_bit0 -x33110_bit0 -x33210_bit0 -x33410_bit0 -x33610_bit0 -x33910_bit0 -x34110_bit0 -x34210_bit0 -x34310_bit0 -x34410_bit0 -x34510_bit0 -x35510_bit0 -x36110_bit0 -x37310_bit0 -x37410_bit0 -x37510_bit0 -x37610_bit0 -x37810_bit0 -x38110_bit0 -x38210_bit0 -x38310_bit0 -x38410_bit0 -x38510_bit0 -x38710_bit0 -x38810_bit0 -x39010_bit0 -x39110_bit0 -x39210_bit0 -x40610_bit0 -x40710_bit0 -x41510_bit0 -x41610_bit0 -x41710_bit0 -x42210_bit0 -x42310_bit0 -x0311_bit0 -x0411_bit0 -x1111_bit0 -x1211_bit0 -x1511_bit0 -x1911_bit0 -x2011_bit0 -x2311_bit0 -x2911_bit0 -x3011_bit0 -x3411_bit0 -x3811_bit0 -x4011_bit0 -x4411_bit0 -x4811_bit0 -x5011_bit0 -x5111_bit0 -x5211_bit0 -x5611_bit0 -x6511_bit0 -x6611_bit0 -x7311_bit0 -x7411_bit0 -x7611_bit0 -x7711_bit0 -x8311_bit0 -x9011_bit0 -x9111_bit0 -x9211_bit0 -x9511_bit0 -x9611_bit0 -x10211_bit0 -x10511_bit0 -x10811_bit0 -x11211_bit0 -x11411_bit0 -x11611_bit0 -x11711_bit0 -x11811_bit0 -x12911_bit0 -x13911_bit0 -x14211_bit0 -x14311_bit0 -x15211_bit0 -x15311_bit0 -x17111_bit0 -x17311_bit0 -x17411_bit0 -x17511_bit0 -x17611_bit0 -x17711_bit0 -x17811_bit0 -x17911_bit0 -x18511_bit0 -x18611_bit0 -x18711_bit0 -x18811_bit0 -x18911_bit0 -x19111_bit0 -x19211_bit0 -x19311_bit0 -x19411_bit0 -x20011_bit0 -x20211_bit0 -x20311_bit0 -x20511_bit0 -x20711_bit0 -x20911_bit0 -x21011_bit0 -x21511_bit0 -x21911_bit0 -x22011_bit0 -x22111_bit0 -x22311_bit0 -x22411_bit0 -x22511_bit0 -x22711_bit0 -x22911_bit0 -x24411_bit0 -x26911_bit0 -x27011_bit0 -x27111_bit0 -x27211_bit0 -x27311_bit0 -x27411_bit0 -x28211_bit0 -x29111_bit0 -x29211_bit0 -x29411_bit0 -x29711_bit0 -x29811_bit0 -x30111_bit0 -x30211_bit0 -x30311_bit0 -x30411_bit0 -x30811_bit0 -x30911_bit0 -x31211_bit0 -x31311_bit0 -x32111_bit0 -x32211_bit0 -x32311_bit0 -x32411_bit0 -x32511_bit0 -x32611_bit0 -x32711_bit0 -x32811_bit0 -x33011_bit0 -x33111_bit0 -x33311_bit0 -x33411_bit0 -x33611_bit0 -x34011_bit0 -x34211_bit0 -x34511_bit0 -x35311_bit0 -x36111_bit0 -x36211_bit0 -x37311_bit0 -x37411_bit0 -x37511_bit0 -x37611_bit0 -x37711_bit0 -x37811_bit0 -x38111_bit0 -x38211_bit0 -x38411_bit0 -x38511_bit0 -x38811_bit0 -x38911_bit0 -x40511_bit0 -x40611_bit0 -x40711_bit0 -x40811_bit0 -x41511_bit0 -x41711_bit0 -x41911_bit0 -x42211_bit0 -x42311_bit0 -x42611_bit0 -x0312_bit0 -x0412_bit0 -x0712_bit0 -x1012_bit0 -x1112_bit0 -x1212_bit0 -x1312_bit0 -x1512_bit0 -x1912_bit0 -x2012_bit0 -x2312_bit0 -x2912_bit0 -x3012_bit0 -x3412_bit0 -x3612_bit0 -x3812_bit0 -x3912_bit0 -x4012_bit0 -x4412_bit0 -x4712_bit0 -x4812_bit0 -x5012_bit0 -x5112_bit0 -x5212_bit0 -x5612_bit0 -x5812_bit0 -x6212_bit0 -x6512_bit0 -x6612_bit0 -x6712_bit0 -x6912_bit0 -x7312_bit0 -x7412_bit0 -x7512_bit0 -x7612_bit0 -x7712_bit0 -x8112_bit0 -x8312_bit0 -x8712_bit0 -x8812_bit0 -x9012_bit0 -x9112_bit0 -x9212_bit0 -x9312_bit0 -x9412_bit0 -x9512_bit0 -x9612_bit0 -x9712_bit0 -x9812_bit0 -x10212_bit0 -x10512_bit0 -x10812_bit0 -x11212_bit0 -x11412_bit0 -x11612_bit0 -x11712_bit0 -x11812_bit0 -x12112_bit0 -x12412_bit0 -x12512_bit0 -x12712_bit0 -x12812_bit0 -x12912_bit0 -x13912_bit0 -x14212_bit0 -x14312_bit0 -x15212_bit0 -x15312_bit0 -x16412_bit0 -x16612_bit0 -x17112_bit0 -x17312_bit0 -x17412_bit0 -x17712_bit0 -x17812_bit0 -x17912_bit0 -x18512_bit0 -x18712_bit0 -x18812_bit0 -x18912_bit0 -x19112_bit0 -x19212_bit0 -x19412_bit0 -x19712_bit0 -x20012_bit0 -x20212_bit0 -x20312_bit0 -x20512_bit0 -x20712_bit0 -x20912_bit0 -x21012_bit0 -x21512_bit0 -x21712_bit0 -x21912_bit0 -x22012_bit0 -x22112_bit0 -x22312_bit0 -x22412_bit0 -x22512_bit0 -x22712_bit0 -x22912_bit0 -x23912_bit0 -x24212_bit0 -x25312_bit0 -x25412_bit0 -x26912_bit0 -x27012_bit0 -x27112_bit0 -x27212_bit0 -x27312_bit0 -x27412_bit0 -x28212_bit0 -x28312_bit0 -x28712_bit0 -x28812_bit0 -x29112_bit0 -x29212_bit0 -x29412_bit0 -x29712_bit0 -x29812_bit0 -x30112_bit0 -x30212_bit0 -x30312_bit0 -x30412_bit0 -x30912_bit0 -x31312_bit0 -x31412_bit0 -x32112_bit0 -x32212_bit0 -x32312_bit0 -x32412_bit0 -x32512_bit0 -x32612_bit0 -x32712_bit0 -x32812_bit0 -x33012_bit0 -x33112_bit0 -x33312_bit0 -x33412_bit0 -x33612_bit0 -x34012_bit0 -x34212_bit0 -x34512_bit0 -x35312_bit0 -x36112_bit0 -x36212_bit0 -x37312_bit0 -x37412_bit0 -x37512_bit0 -x37612_bit0 -x37712_bit0 -x37812_bit0 -x38112_bit0 -x38212_bit0 -x38412_bit0 -x38512_bit0 -x38912_bit0 -x39912_bit0 -x40012_bit0 -x40112_bit0 -x40512_bit0 -x40612_bit0 -x40812_bit0 -x41512_bit0 -x41712_bit0 -x41912_bit0 -x42112_bit0 -x42212_bit0 -x42312_bit0 -x42612_bit0 -x0413_bit0 -x0613_bit0 -x0713_bit0 -x1013_bit0 -x1413_bit0 -x1513_bit0 -x2013_bit0 -x2313_bit0 -x2413_bit0 -x2613_bit0 -x2713_bit0 -x2813_bit0 -x3113_bit0 -x3513_bit0 -x3713_bit0 -x3813_bit0 -x3913_bit0 -x4013_bit0 -x4313_bit0 -x4513_bit0 -x4613_bit0 -x4713_bit0 -x4813_bit0 -x4913_bit0 -x5013_bit0 -x5213_bit0 -x5813_bit0 -x6013_bit0 -x6113_bit0 -x6313_bit0 -x6513_bit0 -x6613_bit0 -x6913_bit0 -x7313_bit0 -x7713_bit0 -x7813_bit0 -x8313_bit0 -x9013_bit0 -x9113_bit0 -x9213_bit0 -x9513_bit0 -x9613_bit0 -x9713_bit0 -x10213_bit0 -x11013_bit0 -x11413_bit0 -x11613_bit0 -x11713_bit0 -x11813_bit0 -x13513_bit0 -x13613_bit0 -x14213_bit0 -x14313_bit0 -x14413_bit0 -x15213_bit0 -x15313_bit0 -x15813_bit0 -x16113_bit0 -x16613_bit0 -x17213_bit0 -x19513_bit0 -x24513_bit0 -x24613_bit0 -x24713_bit0 -x25013_bit0 -x25313_bit0 -x26813_bit0 -x26913_bit0 -x27013_bit0 -x27113_bit0 -x27213_bit0 -x27313_bit0 -x28013_bit0 -x28813_bit0 -x29213_bit0 -x29413_bit0 -x29713_bit0 -x30113_bit0 -x30313_bit0 -x31013_bit0 -x31413_bit0 -x31613_bit0 -x31713_bit0 -x32013_bit0 -x32113_bit0 -x32213_bit0 -x32313_bit0 -x32413_bit0 -x32613_bit0 -x32713_bit0 -x32813_bit0 -x34613_bit0 -x34713_bit0 -x34813_bit0 -x35013_bit0 -x35313_bit0 -x36013_bit0 -x36513_bit0 -x36613_bit0 -x36713_bit0 -x36813_bit0 -x37313_bit0 -x37413_bit0 -x37513_bit0 -x37613_bit0 -x39313_bit0 -x39413_bit0 -x39513_bit0 -x39613_bit0 -x39813_bit0 -x40113_bit0 -x40513_bit0 -x40913_bit0 -x41013_bit0 -x41313_bit0 -x41713_bit0 -x42213_bit0 -x42613_bit0 -x42713_bit0 -x42913_bit0 -x43013_bit0 -x43113_bit0 -x43213_bit0 -x43313_bit0 -x43413_bit0 -x0414_bit0 -x0814_bit0 -x1214_bit0 -x1514_bit0 -x1614_bit0 -x2014_bit0 -x2314_bit0 -x2914_bit0 -x3214_bit0 -x3814_bit0 -x4014_bit0 -x4814_bit0 -x5014_bit0 -x5114_bit0 -x5214_bit0 -x5314_bit0 -x5414_bit0 -x5514_bit0 -x6514_bit0 -x6614_bit0 -x7614_bit0 -x7714_bit0 -x8314_bit0 -x8414_bit0 -x9014_bit0 -x9114_bit0 -x9214_bit0 -x9514_bit0 -x9614_bit0 -x10014_bit0 -x10114_bit0 -x10214_bit0 -x11214_bit0 -x11414_bit0 -x11614_bit0 -x11714_bit0 -x11814_bit0 -x12914_bit0 -x13114_bit0 -x14214_bit0 -x14314_bit0 -x15214_bit0 -x15314_bit0 -x20014_bit0 -x20214_bit0 -x20314_bit0 -x22014_bit0 -x22414_bit0 -x22514_bit0 -x26914_bit0 -x27014_bit0 -x27114_bit0 -x27214_bit0 -x27314_bit0 -x29214_bit0 -x29414_bit0 -x29714_bit0 -x30114_bit0 -x30314_bit0 -x31814_bit0 -x32114_bit0 -x32214_bit0 -x32314_bit0 -x32414_bit0 -x32714_bit0 -x32814_bit0 -x33314_bit0 -x35314_bit0 -x35814_bit0 -x36214_bit0 -x36314_bit0 -x36414_bit0 -x37314_bit0 -x37414_bit0 -x37514_bit0 -x37614_bit0 -x37714_bit0 -x37814_bit0 -x38914_bit0 -x40514_bit0 -x40814_bit0 -x41114_bit0 -x41714_bit0 -x41914_bit0 -x42114_bit0 -x42514_bit0 -x42614_bit0 -x43514_bit0 -x43714_bit0 -x0415_bit0 -x2015_bit0 -x2315_bit0 -x2915_bit0 -x3815_bit0 -x4015_bit0 -x4815_bit0 -x5015_bit0 -x5115_bit0 -x5215_bit0 -x5515_bit0 -x6515_bit0 -x6615_bit0 -x7715_bit0 -x8315_bit0 -x9015_bit0 -x9115_bit0 -x9215_bit0 -x9515_bit0 -x9615_bit0 -x10215_bit0 -x11315_bit0 -x11415_bit0 -x11615_bit0 -x11715_bit0 -x11815_bit0 -x13115_bit0 -x13315_bit0 -x13715_bit0 -x14215_bit0 -x14315_bit0 -x14515_bit0 -x15215_bit0 -x15315_bit0 -x15615_bit0 -x16015_bit0 -x16215_bit0 -x26915_bit0 -x27015_bit0 -x27115_bit0 -x27215_bit0 -x27315_bit0 -x29215_bit0 -x29415_bit0 -x29715_bit0 -x30115_bit0 -x30315_bit0 -x32115_bit0 -x32215_bit0 -x32315_bit0 -x32415_bit0 -x32715_bit0 -x32815_bit0 -x35315_bit0 -x35815_bit0 -x36215_bit0 -x36915_bit0 -x37315_bit0 -x37415_bit0 -x37515_bit0 -x37615_bit0 -x40515_bit0 -x40815_bit0 -x41115_bit0 -x41715_bit0 -x41915_bit0 -x42115_bit0 -x42515_bit0 -x42615_bit0 -x43515_bit0 -x43715_bit0 -x0416_bit0 -x1216_bit0 -x2316_bit0 -x2916_bit0 -x4716_bit0 -x5116_bit0 -x5216_bit0 -x6616_bit0 -x6716_bit0 -x7616_bit0 -x7716_bit0 -x9016_bit0 -x9116_bit0 -x9216_bit0 -x10216_bit0 -x14216_bit0 -x14316_bit0 -x15316_bit0 -x29216_bit0 -x32816_bit0 -x35316_bit0 -x36216_bit0 -x39916_bit0 -x40016_bit0 -x40516_bit0 -x40816_bit0 -x41916_bit0 -x42116_bit0 -x42616_bit0 -x0417_bit0 -x1217_bit0 -x2317_bit0 -x2917_bit0 -x5117_bit0 -x5217_bit0 -x7617_bit0 -x9017_bit0 -x14217_bit0 -x14317_bit0 -x15317_bit0 -x36217_bit0 -x39917_bit0 -x40017_bit0 -x40517_bit0 -x40817_bit0 -x41917_bit0 -x0818_bit0 -x1618_bit0 -x3218_bit0 -x5318_bit0 -x5418_bit0 -x5518_bit0 -x6718_bit0 -x8418_bit0 -x10018_bit0 -x10118_bit0 -x13118_bit0 -x31818_bit0 -x35818_bit0 -x36318_bit0 -x36418_bit0 -x40318_bit0 -x41118_bit0 -x42118_bit0 -x42518_bit0 -x43518_bit0 -x43718_bit0 -x0819_bit0 -x1619_bit0 -x3219_bit0 -x5319_bit0 -x5419_bit0 -x5519_bit0 -x8419_bit0 -x10019_bit0 -x10119_bit0 -x13119_bit0 -x31819_bit0 -x35819_bit0 -x36319_bit0 -x36419_bit0 -x41119_bit0 -x42519_bit0 -x43519_bit0 -x0820_bit0 -x1620_bit0 -x3220_bit0 -x5320_bit0 -x5420_bit0 -x8420_bit0 -x10020_bit0 -x10120_bit0 -x13120_bit0 -x31820_bit0 -x35820_bit0 -x36320_bit0 -x36420_bit0 -x2921_bit0 -x8921_bit0 -x14021_bit0 -x14121_bit0 -x15121_bit0 -x16921_bit0 -x17021_bit0 -x18121_bit0 -x18321_bit0 -x24021_bit0 -x24121_bit0 -x39921_bit0 -x40021_bit0 -x5522_bit0 -x10122_bit0 -x35822_bit0 -x41122_bit0 -x42122_bit0 -x42522_bit0 -x43522_bit0 -x43722_bit0 -x5523_bit0 -x10123_bit0 -x13123_bit0 -x35823_bit0 -x41123_bit0 -x42523_bit0 -x43523_bit0 -z00_bit0 -z01_bit0 -z02_bit0 -z03_bit0 -z04_bit0 -z05_bit0 -z06_bit0 -z07_bit0 -z08_bit0 -z09_bit0 -z10_bit0 -z11_bit0 -z12_bit0 -z13_bit0 -z14_bit0 -z15_bit0 -z16_bit0 -z17_bit0 -z18_bit0 -z19_bit0 -z20_bit0 -z21_bit0 -z22_bit0 -z23_bit0 -y0000_bit0 -y0100_bit0 -y0200_bit0 -y0300_bit0 -y0400_bit0 -y0500_bit0 -y0600_bit0 -y0700_bit0 -y0800_bit0 -y0900_bit0 -y1000_bit0 -y1100_bit0 -y1200_bit0 -y1300_bit0 -y1400_bit0 -y1500_bit0 -y1600_bit0 -y1700_bit0 -y1800_bit0 -y1900_bit0 -y2000_bit0 -y2100_bit0 -y2200_bit0 -y2300_bit0 -y2400_bit0 -y2500_bit0 -y2600_bit0 -y2700_bit0 -y2800_bit0 -y2900_bit0 -y3000_bit0 -y3100_bit0 -y3200_bit0 -y3300_bit0 -y3400_bit0 -y3500_bit0 -y3600_bit0 -y3700_bit0 -y3800_bit0 -y3900_bit0 -y4000_bit0 -y4100_bit0 -y4200_bit0 -y4300_bit0 -y4400_bit0 -y4500_bit0 -y4600_bit0 -y4700_bit0 -y4800_bit0 -y4900_bit0 -y5000_bit0 -y5100_bit0 -y5200_bit0 -y5300_bit0 -y5400_bit0 -y5500_bit0 -y5600_bit0 -y5700_bit0 -y5800_bit0 -y5900_bit0 -y6000_bit0 -y6100_bit0 -y6200_bit0 -y6300_bit0 -y6400_bit0 -y6500_bit0 -y6600_bit0 -y6700_bit0 -y6800_bit0 -y6900_bit0 -y7000_bit0 -y7100_bit0 -y7200_bit0 -y7300_bit0 -y7400_bit0 -y7500_bit0 -y7600_bit0 -y7700_bit0 -y7800_bit0 -y7900_bit0 -y8000_bit0 -y8100_bit0 -y8200_bit0 -y8300_bit0 -y8400_bit0 -y8500_bit0 -y8600_bit0 -y8700_bit0 -y8800_bit0 -y8900_bit0 -y9000_bit0 -y9100_bit0 -y9200_bit0 -y9300_bit0 -y9400_bit0 -y9500_bit0 -y9600_bit0 -y9700_bit0 -y9800_bit0 -y9900_bit0 -y10000_bit0 -y10100_bit0 -y10200_bit0 -y10300_bit0 -y10400_bit0 -y10500_bit0 -y10600_bit0 -y10700_bit0 -y10800_bit0 -y10900_bit0 -y11000_bit0 -y11100_bit0 -y11200_bit0 -y11300_bit0 -y11400_bit0 -y11500_bit0 -y11600_bit0 -y11700_bit0 -y11800_bit0 -y11900_bit0 -y12000_bit0 -y12100_bit0 -y12200_bit0 -y12300_bit0 -y12400_bit0 -y12500_bit0 -y12600_bit0 -y12700_bit0 -y12800_bit0 -y12900_bit0 -y13000_bit0 -y13100_bit0 -y13200_bit0 -y13300_bit0 -y13400_bit0 -y13500_bit0 -y13600_bit0 -y13700_bit0 -y13800_bit0 -y13900_bit0 -y14000_bit0 -y14100_bit0 -y14200_bit0 -y14300_bit0 -y14400_bit0 -y14500_bit0 -y14600_bit0 -y14700_bit0 -y14800_bit0 -y14900_bit0 -y15000_bit0 -y15100_bit0 -y15200_bit0 -y15300_bit0 -y15400_bit0 -y15500_bit0 -y15600_bit0 -y15700_bit0 -y15800_bit0 -y15900_bit0 -y16000_bit0 -y16100_bit0 -y16200_bit0 -y16300_bit0 -y16400_bit0 -y16500_bit0 -y16600_bit0 -y16700_bit0 -y16800_bit0 -y16900_bit0 -y17000_bit0 -y17100_bit0 -y17200_bit0 -y17300_bit0 -y17400_bit0 -y17500_bit0 -y17600_bit0 -y17700_bit0 -y17800_bit0 -y17900_bit0 -y18000_bit0 -y18100_bit0 -y18200_bit0 -y18300_bit0 -y18400_bit0 -y18500_bit0 -y18600_bit0 -y18700_bit0 -y18800_bit0 -y18900_bit0 -y19000_bit0 -y19100_bit0 -y19200_bit0 -y19300_bit0 -y19400_bit0 -y19500_bit0 -y19600_bit0 -y19700_bit0 -y19800_bit0 -y19900_bit0 -y20000_bit0 -y20100_bit0 -y20200_bit0 -y20300_bit0 -y20400_bit0 -y20500_bit0 -y20600_bit0 -y20700_bit0 -y20800_bit0 -y20900_bit0 -y21000_bit0 -y21100_bit0 -y21200_bit0 -y21300_bit0 -y21400_bit0 -y21500_bit0 -y21600_bit0 -y21700_bit0 -y21800_bit0 -y21900_bit0 -y22000_bit0 -y22100_bit0 -y0101_bit0 -y0201_bit0 -y0301_bit0 -y0701_bit0 -y1001_bit0 -y1201_bit0 -y1501_bit0 -y1601_bit0 -y1701_bit0 -y1801_bit0 -y2301_bit0 -y2401_bit0 -y2701_bit0 -y3101_bit0 -y3201_bit0 -y3801_bit0 -y3901_bit0 -y4001_bit0 -y4101_bit0 -y4201_bit0 -y4301_bit0 -y4801_bit0 -y5401_bit0 -y5601_bit0 -y6001_bit0 -y6101_bit0 -y6401_bit0 -y6501_bit0 -y6601_bit0 -y6901_bit0 -y7101_bit0 -y7201_bit0 -y7301_bit0 -y7401_bit0 -y7501_bit0 -y7701_bit0 -y7801_bit0 -y8001_bit0 -y8101_bit0 -y8301_bit0 -y8501_bit0 -y8701_bit0 -y8801_bit0 -y8901_bit0 -y9201_bit0 -y9401_bit0 -y10601_bit0 -y10801_bit0 -y11701_bit0 -y12201_bit0 -y12301_bit0 -y12501_bit0 -y12601_bit0 -y12701_bit0 -y12801_bit0 -y12901_bit0 -y13001_bit0 -y13101_bit0 -y13201_bit0 -y13301_bit0 -y14001_bit0 -y14101_bit0 -y14301_bit0 -y14401_bit0 -y14501_bit0 -y14601_bit0 -y14801_bit0 -y14901_bit0 -y15001_bit0 -y15301_bit0 -y15401_bit0 -y15701_bit0 -y15801_bit0 -y15901_bit0 -y16101_bit0 -y16301_bit0 -y16401_bit0 -y16501_bit0 -y16601_bit0 -y16701_bit0 -y16801_bit0 -y16901_bit0 -y17401_bit0 -y17601_bit0 -y17901_bit0 -y18101_bit0 -y18201_bit0 -y18601_bit0 -y18901_bit0 -y19001_bit0 -y19701_bit0 -y19801_bit0 -y19901_bit0 -y20001_bit0 -y20101_bit0 -y20501_bit0 -y20601_bit0 -y20701_bit0 -y21001_bit0 -y21101_bit0 -y21301_bit0 -y21401_bit0 -y21901_bit0 -y22101_bit0 -y0102_bit0 -y0202_bit0 -y0302_bit0 -y0702_bit0 -y1002_bit0 -y1202_bit0 -y1502_bit0 -y1602_bit0 -y1702_bit0 -y1802_bit0 -y2302_bit0 -y2402_bit0 -y2702_bit0 -y3102_bit0 -y3202_bit0 -y3802_bit0 -y3902_bit0 -y4002_bit0 -y4102_bit0 -y4202_bit0 -y4302_bit0 -y4802_bit0 -y5402_bit0 -y5602_bit0 -y6002_bit0 -y6102_bit0 -y6402_bit0 -y6502_bit0 -y6602_bit0 -y6902_bit0 -y7102_bit0 -y7202_bit0 -y7302_bit0 -y7502_bit0 -y7802_bit0 -y8002_bit0 -y8102_bit0 -y8302_bit0 -y8802_bit0 -y8902_bit0 -y9202_bit0 -y10602_bit0 -y10802_bit0 -y11702_bit0 -y12202_bit0 -y12302_bit0 -y12502_bit0 -y12602_bit0 -y12702_bit0 -y12802_bit0 -y12902_bit0 -y13002_bit0 -y13102_bit0 -y13202_bit0 -y13302_bit0 -y14002_bit0 -y14102_bit0 -y14302_bit0 -y14402_bit0 -y14502_bit0 -y14602_bit0 -y14802_bit0 -y14902_bit0 -y15002_bit0 -y15302_bit0 -y15402_bit0 -y15702_bit0 -y15802_bit0 -y15902_bit0 -y16102_bit0 -y16302_bit0 -y16402_bit0 -y16502_bit0 -y16602_bit0 -y16702_bit0 -y16802_bit0 -y16902_bit0 -y17402_bit0 -y17602_bit0 -y17902_bit0 -y18102_bit0 -y18202_bit0 -y18902_bit0 -y19002_bit0 -y19702_bit0 -y19802_bit0 -y19902_bit0 -y20002_bit0 -y20102_bit0 -y20502_bit0 -y20602_bit0 -y20702_bit0 -y21002_bit0 -y21102_bit0 -y21302_bit0 -y21402_bit0 -y21902_bit0 -y22102_bit0 -y22202_bit0 -y22302_bit0 -y22402_bit0 -y22502_bit0 -y22602_bit0 -y22702_bit0 -y22802_bit0 -y22902_bit0 -y23002_bit0 -y23102_bit0 -y23202_bit0 -y23302_bit0 -y23402_bit0 -y23502_bit0 -y23602_bit0 -y23702_bit0 -y23802_bit0 -y23902_bit0 -y24002_bit0 -y24102_bit0 -y24202_bit0 -y24302_bit0 -y24402_bit0 -y24502_bit0 -y24602_bit0 -y24702_bit0 -y24802_bit0 -y24902_bit0 -y25002_bit0 -y25102_bit0 -y25202_bit0 -y25302_bit0 -y25402_bit0 -y25502_bit0 -y25602_bit0 -y25702_bit0 -y25802_bit0 -y25902_bit0 -y26002_bit0 -y26102_bit0 -y26202_bit0 -y26302_bit0 -y26402_bit0 -y26502_bit0 -y26602_bit0 -y26702_bit0 -y26802_bit0 -y26902_bit0 -y27002_bit0 -y27102_bit0 -y27202_bit0 -y27302_bit0 -y27402_bit0 -y27502_bit0 -y27602_bit0 -y27702_bit0 -y27802_bit0 -y27902_bit0 -y0103_bit0 -y0203_bit0 -y0303_bit0 -y0703_bit0 -y1003_bit0 -y1203_bit0 -y1503_bit0 -y1603_bit0 -y1703_bit0 -y1803_bit0 -y2303_bit0 -y2403_bit0 -y2703_bit0 -y3103_bit0 -y3203_bit0 -y3803_bit0 -y3903_bit0 -y4003_bit0 -y4103_bit0 -y4203_bit0 -y4303_bit0 -y4803_bit0 -y5403_bit0 -y5603_bit0 -y6003_bit0 -y6103_bit0 -y6403_bit0 -y6503_bit0 -y6603_bit0 -y6903_bit0 -y7103_bit0 -y7203_bit0 -y7303_bit0 -y7503_bit0 -y7803_bit0 -y8003_bit0 -y8103_bit0 -y8303_bit0 -y8803_bit0 -y8903_bit0 -y9203_bit0 -y10603_bit0 -y10803_bit0 -y11703_bit0 -y12203_bit0 -y12303_bit0 -y12503_bit0 -y12603_bit0 -y12703_bit0 -y12803_bit0 -y12903_bit0 -y13003_bit0 -y13103_bit0 -y13203_bit0 -y13303_bit0 -y14003_bit0 -y14103_bit0 -y14303_bit0 -y14403_bit0 -y14503_bit0 -y14603_bit0 -y14803_bit0 -y14903_bit0 -y15003_bit0 -y15303_bit0 -y15403_bit0 -y15703_bit0 -y15803_bit0 -y15903_bit0 -y16103_bit0 -y16303_bit0 -y16403_bit0 -y16503_bit0 -y16603_bit0 -y16703_bit0 -y16803_bit0 -y16903_bit0 -y17403_bit0 -y17603_bit0 -y17903_bit0 -y18103_bit0 -y18203_bit0 -y18903_bit0 -y19003_bit0 -y19703_bit0 -y19803_bit0 -y19903_bit0 -y20003_bit0 -y20103_bit0 -y20503_bit0 -y20603_bit0 -y20703_bit0 -y21003_bit0 -y21103_bit0 -y21303_bit0 -y21403_bit0 -y21903_bit0 -y22103_bit0 -y22203_bit0 -y22303_bit0 -y22403_bit0 -y22503_bit0 -y22603_bit0 -y22703_bit0 -y22803_bit0 -y22903_bit0 -y23003_bit0 -y23103_bit0 -y23203_bit0 -y23303_bit0 -y23403_bit0 -y23503_bit0 -y23603_bit0 -y23703_bit0 -y23803_bit0 -y23903_bit0 -y24003_bit0 -y24103_bit0 -y24203_bit0 -y24303_bit0 -y24403_bit0 -y24503_bit0 -y24603_bit0 -y24703_bit0 -y24803_bit0 -y24903_bit0 -y25003_bit0 -y25103_bit0 -y25203_bit0 -y25303_bit0 -y25403_bit0 -y25503_bit0 -y25603_bit0 -y25703_bit0 -y25803_bit0 -y25903_bit0 -y26003_bit0 -y26103_bit0 -y26203_bit0 -y26303_bit0 -y26403_bit0 -y26503_bit0 -y26603_bit0 -y26703_bit0 -y26803_bit0 -y26903_bit0 -y27003_bit0 -y27103_bit0 -y27203_bit0 -y27303_bit0 -y27403_bit0 -y27503_bit0 -y27603_bit0 -y27703_bit0 -y27803_bit0 -y27903_bit0 -y0104_bit0 -y0204_bit0 -y0304_bit0 -y0604_bit0 -y0904_bit0 -y1004_bit0 -y1204_bit0 -y1504_bit0 -y1604_bit0 -y1704_bit0 -y1804_bit0 -y2304_bit0 -y2404_bit0 -y2704_bit0 -y3104_bit0 -y3204_bit0 -y3704_bit0 -y3804_bit0 -y3904_bit0 -y4004_bit0 -y4104_bit0 -y4304_bit0 -y4404_bit0 -y4804_bit0 -y5104_bit0 -y5404_bit0 -y5504_bit0 -y5604_bit0 -y6004_bit0 -y6204_bit0 -y6304_bit0 -y6404_bit0 -y6504_bit0 -y6604_bit0 -y6904_bit0 -y7004_bit0 -y7204_bit0 -y7304_bit0 -y7504_bit0 -y7804_bit0 -y8004_bit0 -y8104_bit0 -y8804_bit0 -y8904_bit0 -y9204_bit0 -y9904_bit0 -y10004_bit0 -y10604_bit0 -y10804_bit0 -y11004_bit0 -y11404_bit0 -y11504_bit0 -y11704_bit0 -y11804_bit0 -y11904_bit0 -y12004_bit0 -y12104_bit0 -y12204_bit0 -y12304_bit0 -y12404_bit0 -y12504_bit0 -y12604_bit0 -y12704_bit0 -y12804_bit0 -y12904_bit0 -y13004_bit0 -y13104_bit0 -y13204_bit0 -y13304_bit0 -y13404_bit0 -y13504_bit0 -y13604_bit0 -y13704_bit0 -y13804_bit0 -y13904_bit0 -y14004_bit0 -y14104_bit0 -y14304_bit0 -y14404_bit0 -y14504_bit0 -y14604_bit0 -y14804_bit0 -y14904_bit0 -y15004_bit0 -y15304_bit0 -y15404_bit0 -y15704_bit0 -y15804_bit0 -y15904_bit0 -y16304_bit0 -y16404_bit0 -y16504_bit0 -y16604_bit0 -y16704_bit0 -y16804_bit0 -y16904_bit0 -y17404_bit0 -y17604_bit0 -y18104_bit0 -y18204_bit0 -y18904_bit0 -y19004_bit0 -y19704_bit0 -y19804_bit0 -y19904_bit0 -y20004_bit0 -y20504_bit0 -y20604_bit0 -y20704_bit0 -y21104_bit0 -y21404_bit0 -y22204_bit0 -y22604_bit0 -y22704_bit0 -y22804_bit0 -y22904_bit0 -y23004_bit0 -y23104_bit0 -y23204_bit0 -y23304_bit0 -y23404_bit0 -y23504_bit0 -y23604_bit0 -y23704_bit0 -y23804_bit0 -y23904_bit0 -y24004_bit0 -y24104_bit0 -y24204_bit0 -y24304_bit0 -y24404_bit0 -y24504_bit0 -y24604_bit0 -y24704_bit0 -y24804_bit0 -y24904_bit0 -y25004_bit0 -y25104_bit0 -y25204_bit0 -y25304_bit0 -y25404_bit0 -y25504_bit0 -y25604_bit0 -y25704_bit0 -y25804_bit0 -y25904_bit0 -y26004_bit0 -y26104_bit0 -y26204_bit0 -y26304_bit0 -y26404_bit0 -y26504_bit0 -y26604_bit0 -y26704_bit0 -y27004_bit0 -y27104_bit0 -y27204_bit0 -y27304_bit0 -y27404_bit0 -y27504_bit0 -y27604_bit0 -y27704_bit0 -y27804_bit0 -y27904_bit0 -y0105_bit0 -y0205_bit0 -y0305_bit0 -y0705_bit0 -y1005_bit0 -y1205_bit0 -y1505_bit0 -y1605_bit0 -y1705_bit0 -y1805_bit0 -y2305_bit0 -y2405_bit0 -y2705_bit0 -y3105_bit0 -y3205_bit0 -y3805_bit0 -y3905_bit0 -y4005_bit0 -y4105_bit0 -y4205_bit0 -y4305_bit0 -y4805_bit0 -y5405_bit0 -y5605_bit0 -y6005_bit0 -y6105_bit0 -y6405_bit0 -y6505_bit0 -y6605_bit0 -y6905_bit0 -y7105_bit0 -y7205_bit0 -y7305_bit0 -y7505_bit0 -y7805_bit0 -y8005_bit0 -y8105_bit0 -y8305_bit0 -y8805_bit0 -y8905_bit0 -y9205_bit0 -y10605_bit0 -y10805_bit0 -y11705_bit0 -y12205_bit0 -y12305_bit0 -y12505_bit0 -y12605_bit0 -y12705_bit0 -y12805_bit0 -y12905_bit0 -y13005_bit0 -y13105_bit0 -y13205_bit0 -y13305_bit0 -y14005_bit0 -y14105_bit0 -y14305_bit0 -y14405_bit0 -y14505_bit0 -y14605_bit0 -y14805_bit0 -y14905_bit0 -y15005_bit0 -y15305_bit0 -y15405_bit0 -y15705_bit0 -y15805_bit0 -y15905_bit0 -y16105_bit0 -y16305_bit0 -y16405_bit0 -y16505_bit0 -y16605_bit0 -y16705_bit0 -y16805_bit0 -y16905_bit0 -y17405_bit0 -y17605_bit0 -y17905_bit0 -y18105_bit0 -y18205_bit0 -y18905_bit0 -y19005_bit0 -y19705_bit0 -y19805_bit0 -y19905_bit0 -y20005_bit0 -y20105_bit0 -y20505_bit0 -y20605_bit0 -y20705_bit0 -y21005_bit0 -y21105_bit0 -y21305_bit0 -y21405_bit0 -y21905_bit0 -y22105_bit0 -y22205_bit0 -y22305_bit0 -y22405_bit0 -y22505_bit0 -y22605_bit0 -y22705_bit0 -y22805_bit0 -y22905_bit0 -y23005_bit0 -y23105_bit0 -y23205_bit0 -y23305_bit0 -y23405_bit0 -y23505_bit0 -y23605_bit0 -y23705_bit0 -y23805_bit0 -y23905_bit0 -y24005_bit0 -y24105_bit0 -y24205_bit0 -y24305_bit0 -y24405_bit0 -y24505_bit0 -y24605_bit0 -y24705_bit0 -y24805_bit0 -y24905_bit0 -y25005_bit0 -y25105_bit0 -y25205_bit0 -y25305_bit0 -y25405_bit0 -y25505_bit0 -y25605_bit0 -y25705_bit0 -y25805_bit0 -y25905_bit0 -y26005_bit0 -y26105_bit0 -y26205_bit0 -y26305_bit0 -y26405_bit0 -y26505_bit0 -y26605_bit0 -y26705_bit0 -y26805_bit0 -y26905_bit0 -y27005_bit0 -y27105_bit0 -y27205_bit0 -y27305_bit0 -y27405_bit0 -y27505_bit0 -y27605_bit0 -y27705_bit0 -y27805_bit0 -y27905_bit0 -y0106_bit0 -y0206_bit0 -y0306_bit0 -y0706_bit0 -y1006_bit0 -y1206_bit0 -y1506_bit0 -y1606_bit0 -y1706_bit0 -y1806_bit0 -y2306_bit0 -y2406_bit0 -y2706_bit0 -y3106_bit0 -y3206_bit0 -y3806_bit0 -y3906_bit0 -y4006_bit0 -y4106_bit0 -y4206_bit0 -y4306_bit0 -y4806_bit0 -y5406_bit0 -y5606_bit0 -y6006_bit0 -y6106_bit0 -y6406_bit0 -y6506_bit0 -y6606_bit0 -y6906_bit0 -y7106_bit0 -y7206_bit0 -y7306_bit0 -y7506_bit0 -y7806_bit0 -y8006_bit0 -y8106_bit0 -y8306_bit0 -y8806_bit0 -y8906_bit0 -y9206_bit0 -y10606_bit0 -y10806_bit0 -y11706_bit0 -y12206_bit0 -y12306_bit0 -y12506_bit0 -y12606_bit0 -y12706_bit0 -y12806_bit0 -y12906_bit0 -y13006_bit0 -y13106_bit0 -y13206_bit0 -y13306_bit0 -y14006_bit0 -y14106_bit0 -y14306_bit0 -y14406_bit0 -y14506_bit0 -y14606_bit0 -y14806_bit0 -y14906_bit0 -y15006_bit0 -y15306_bit0 -y15406_bit0 -y15706_bit0 -y15806_bit0 -y15906_bit0 -y16106_bit0 -y16306_bit0 -y16406_bit0 -y16506_bit0 -y16606_bit0 -y16706_bit0 -y16806_bit0 -y16906_bit0 -y17406_bit0 -y17606_bit0 -y17906_bit0 -y18106_bit0 -y18206_bit0 -y18906_bit0 -y19006_bit0 -y19706_bit0 -y19806_bit0 -y19906_bit0 -y20006_bit0 -y20106_bit0 -y20506_bit0 -y20606_bit0 -y20706_bit0 -y21006_bit0 -y21106_bit0 -y21306_bit0 -y21406_bit0 -y21906_bit0 -y22106_bit0 -y22206_bit0 -y22306_bit0 -y22406_bit0 -y22506_bit0 -y22606_bit0 -y22706_bit0 -y22806_bit0 -y22906_bit0 -y23006_bit0 -y23106_bit0 -y23206_bit0 -y23306_bit0 -y23406_bit0 -y23506_bit0 -y23606_bit0 -y23706_bit0 -y23806_bit0 -y23906_bit0 -y24006_bit0 -y24106_bit0 -y24206_bit0 -y24306_bit0 -y24406_bit0 -y24506_bit0 -y24606_bit0 -y24706_bit0 -y24806_bit0 -y24906_bit0 -y25006_bit0 -y25106_bit0 -y25206_bit0 -y25306_bit0 -y25406_bit0 -y25506_bit0 -y25606_bit0 -y25706_bit0 -y25806_bit0 -y25906_bit0 -y26006_bit0 -y26106_bit0 -y26206_bit0 -y26306_bit0 -y26406_bit0 -y26506_bit0 -y26606_bit0 -y26706_bit0 -y26806_bit0 -y26906_bit0 -y27006_bit0 -y27106_bit0 -y27206_bit0 -y27306_bit0 -y27406_bit0 -y27506_bit0 -y27606_bit0 -y27706_bit0 -y27806_bit0 -y27906_bit0 -y0107_bit0 -y0207_bit0 -y0307_bit0 -y0707_bit0 -y1007_bit0 -y1207_bit0 -y1507_bit0 -y1607_bit0 -y1707_bit0 -y1807_bit0 -y2307_bit0 -y2407_bit0 -y2707_bit0 -y3107_bit0 -y3207_bit0 -y3807_bit0 -y3907_bit0 -y4007_bit0 -y4107_bit0 -y4207_bit0 -y4307_bit0 -y4807_bit0 -y5407_bit0 -y5607_bit0 -y6007_bit0 -y6107_bit0 -y6407_bit0 -y6507_bit0 -y6607_bit0 -y6907_bit0 -y7107_bit0 -y7207_bit0 -y7307_bit0 -y7507_bit0 -y7807_bit0 -y8007_bit0 -y8107_bit0 -y8307_bit0 -y8807_bit0 -y8907_bit0 -y9207_bit0 -y10607_bit0 -y10807_bit0 -y11707_bit0 -y12207_bit0 -y12307_bit0 -y12507_bit0 -y12607_bit0 -y12707_bit0 -y12807_bit0 -y12907_bit0 -y13007_bit0 -y13107_bit0 -y13207_bit0 -y13307_bit0 -y14007_bit0 -y14107_bit0 -y14307_bit0 -y14407_bit0 -y14507_bit0 -y14607_bit0 -y14807_bit0 -y14907_bit0 -y15007_bit0 -y15307_bit0 -y15407_bit0 -y15707_bit0 -y15807_bit0 -y15907_bit0 -y16107_bit0 -y16307_bit0 -y16407_bit0 -y16507_bit0 -y16607_bit0 -y16707_bit0 -y16807_bit0 -y16907_bit0 -y17407_bit0 -y17607_bit0 -y17907_bit0 -y18107_bit0 -y18207_bit0 -y18907_bit0 -y19007_bit0 -y19707_bit0 -y19807_bit0 -y19907_bit0 -y20007_bit0 -y20107_bit0 -y20507_bit0 -y20607_bit0 -y20707_bit0 -y21007_bit0 -y21107_bit0 -y21307_bit0 -y21407_bit0 -y21907_bit0 -y22107_bit0 -y22207_bit0 -y22307_bit0 -y22407_bit0 -y22507_bit0 -y22607_bit0 -y22707_bit0 -y22807_bit0 -y22907_bit0 -y23007_bit0 -y23107_bit0 -y23207_bit0 -y23307_bit0 -y23407_bit0 -y23507_bit0 -y23607_bit0 -y23707_bit0 -y23807_bit0 -y23907_bit0 -y24007_bit0 -y24107_bit0 -y24207_bit0 -y24307_bit0 -y24407_bit0 -y24507_bit0 -y24607_bit0 -y24707_bit0 -y24807_bit0 -y24907_bit0 -y25007_bit0 -y25107_bit0 -y25207_bit0 -y25307_bit0 -y25407_bit0 -y25507_bit0 -y25607_bit0 -y25707_bit0 -y25807_bit0 -y25907_bit0 -y26007_bit0 -y26107_bit0 -y26207_bit0 -y26307_bit0 -y26407_bit0 -y26507_bit0 -y26607_bit0 -y26707_bit0 -y26807_bit0 -y26907_bit0 -y27007_bit0 -y27107_bit0 -y27207_bit0 -y27307_bit0 -y27407_bit0 -y27507_bit0 -y27607_bit0 -y27707_bit0 -y27807_bit0 -y27907_bit0 -y0108_bit0 -y0208_bit0 -y0608_bit0 -y0908_bit0 -y1008_bit0 -y1108_bit0 -y1208_bit0 -y1508_bit0 -y1608_bit0 -y1708_bit0 -y2408_bit0 -y2708_bit0 -y2908_bit0 -y3108_bit0 -y3208_bit0 -y3808_bit0 -y3908_bit0 -y4308_bit0 -y4408_bit0 -y4608_bit0 -y5108_bit0 -y5408_bit0 -y5508_bit0 -y5908_bit0 -y6008_bit0 -y6208_bit0 -y6308_bit0 -y6708_bit0 -y6808_bit0 -y6908_bit0 -y7008_bit0 -y7208_bit0 -y7308_bit0 -y7508_bit0 -y7808_bit0 -y8008_bit0 -y8108_bit0 -y8808_bit0 -y9808_bit0 -y9908_bit0 -y10008_bit0 -y10608_bit0 -y10708_bit0 -y10808_bit0 -y11008_bit0 -y11408_bit0 -y11508_bit0 -y11708_bit0 -y11808_bit0 -y11908_bit0 -y12008_bit0 -y12108_bit0 -y12208_bit0 -y12308_bit0 -y12408_bit0 -y12508_bit0 -y12608_bit0 -y12708_bit0 -y12808_bit0 -y12908_bit0 -y13008_bit0 -y13108_bit0 -y13208_bit0 -y13308_bit0 -y13408_bit0 -y13508_bit0 -y13608_bit0 -y13708_bit0 -y13808_bit0 -y13908_bit0 -y14008_bit0 -y14308_bit0 -y14408_bit0 -y14508_bit0 -y14608_bit0 -y14808_bit0 -y14908_bit0 -y15008_bit0 -y15308_bit0 -y15408_bit0 -y15708_bit0 -y15808_bit0 -y15908_bit0 -y16308_bit0 -y16408_bit0 -y16508_bit0 -y16608_bit0 -y16708_bit0 -y16808_bit0 -y17508_bit0 -y17608_bit0 -y17708_bit0 -y18108_bit0 -y18908_bit0 -y19008_bit0 -y19308_bit0 -y19808_bit0 -y19908_bit0 -y20508_bit0 -y20608_bit0 -y20708_bit0 -y21108_bit0 -y22608_bit0 -y22708_bit0 -y22808_bit0 -y22908_bit0 -y23008_bit0 -y23108_bit0 -y23208_bit0 -y23308_bit0 -y23408_bit0 -y23508_bit0 -y23608_bit0 -y23708_bit0 -y23808_bit0 -y23908_bit0 -y24008_bit0 -y24108_bit0 -y24208_bit0 -y24308_bit0 -y24408_bit0 -y24508_bit0 -y24608_bit0 -y24708_bit0 -y24808_bit0 -y24908_bit0 -y25008_bit0 -y25108_bit0 -y25208_bit0 -y25308_bit0 -y25408_bit0 -y25508_bit0 -y25608_bit0 -y25708_bit0 -y25808_bit0 -y25908_bit0 -y26008_bit0 -y26108_bit0 -y26208_bit0 -y26308_bit0 -y26408_bit0 -y26508_bit0 -y26608_bit0 -y26708_bit0 -y27008_bit0 -y27108_bit0 -y27208_bit0 -y27308_bit0 -y27408_bit0 -y27508_bit0 -y27608_bit0 -y27708_bit0 -y27808_bit0 -y27908_bit0 -y28008_bit0 -y28108_bit0 -y28208_bit0 -y28308_bit0 -y28408_bit0 -y28508_bit0 -y28608_bit0 -y28708_bit0 -y28808_bit0 -y28908_bit0 -y29008_bit0 -y29108_bit0 -y29208_bit0 -y29308_bit0 -y29408_bit0 -y29508_bit0 -y29608_bit0 -y29708_bit0 -y29808_bit0 -y29908_bit0 -y30008_bit0 -y30108_bit0 -y30208_bit0 -y30308_bit0 -y0109_bit0 -y0209_bit0 -y0309_bit0 -y0609_bit0 -y0909_bit0 -y1009_bit0 -y1109_bit0 -y1209_bit0 -y1509_bit0 -y1609_bit0 -y1709_bit0 -y1809_bit0 -y2309_bit0 -y2409_bit0 -y2709_bit0 -y2909_bit0 -y3109_bit0 -y3209_bit0 -y3709_bit0 -y3809_bit0 -y3909_bit0 -y4009_bit0 -y4109_bit0 -y4309_bit0 -y4409_bit0 -y4609_bit0 -y4809_bit0 -y5109_bit0 -y5409_bit0 -y5509_bit0 -y5609_bit0 -y5909_bit0 -y6009_bit0 -y6209_bit0 -y6309_bit0 -y6409_bit0 -y6509_bit0 -y6609_bit0 -y6709_bit0 -y6809_bit0 -y6909_bit0 -y7009_bit0 -y7209_bit0 -y7309_bit0 -y7509_bit0 -y7809_bit0 -y8009_bit0 -y8109_bit0 -y8809_bit0 -y8909_bit0 -y9209_bit0 -y9809_bit0 -y9909_bit0 -y10009_bit0 -y10609_bit0 -y10709_bit0 -y10809_bit0 -y11009_bit0 -y11409_bit0 -y11509_bit0 -y11709_bit0 -y11809_bit0 -y11909_bit0 -y12009_bit0 -y12109_bit0 -y12209_bit0 -y12309_bit0 -y12409_bit0 -y12509_bit0 -y12609_bit0 -y12709_bit0 -y12809_bit0 -y12909_bit0 -y13009_bit0 -y13109_bit0 -y13209_bit0 -y13309_bit0 -y13409_bit0 -y13509_bit0 -y13609_bit0 -y13709_bit0 -y13809_bit0 -y13909_bit0 -y14009_bit0 -y14109_bit0 -y14309_bit0 -y14409_bit0 -y14509_bit0 -y14609_bit0 -y14809_bit0 -y14909_bit0 -y15009_bit0 -y15309_bit0 -y15409_bit0 -y15709_bit0 -y15809_bit0 -y15909_bit0 -y16309_bit0 -y16409_bit0 -y16509_bit0 -y16609_bit0 -y16709_bit0 -y16809_bit0 -y16909_bit0 -y17409_bit0 -y17509_bit0 -y17609_bit0 -y17709_bit0 -y18109_bit0 -y18209_bit0 -y18909_bit0 -y19009_bit0 -y19109_bit0 -y19209_bit0 -y19309_bit0 -y19709_bit0 -y19809_bit0 -y19909_bit0 -y20009_bit0 -y20509_bit0 -y20609_bit0 -y20709_bit0 -y21109_bit0 -y21409_bit0 -y22209_bit0 -y22609_bit0 -y22709_bit0 -y22809_bit0 -y22909_bit0 -y23009_bit0 -y23109_bit0 -y23209_bit0 -y23309_bit0 -y23409_bit0 -y23509_bit0 -y23609_bit0 -y23709_bit0 -y23809_bit0 -y23909_bit0 -y24009_bit0 -y24109_bit0 -y24209_bit0 -y24309_bit0 -y24409_bit0 -y24509_bit0 -y24609_bit0 -y24709_bit0 -y24809_bit0 -y24909_bit0 -y25009_bit0 -y25109_bit0 -y25209_bit0 -y25309_bit0 -y25409_bit0 -y25509_bit0 -y25609_bit0 -y25709_bit0 -y25809_bit0 -y25909_bit0 -y26009_bit0 -y26109_bit0 -y26209_bit0 -y26309_bit0 -y26409_bit0 -y26509_bit0 -y26609_bit0 -y26709_bit0 -y27009_bit0 -y27109_bit0 -y27209_bit0 -y27309_bit0 -y27409_bit0 -y27509_bit0 -y27609_bit0 -y27709_bit0 -y27809_bit0 -y27909_bit0 -y28209_bit0 -y28309_bit0 -y28409_bit0 -y28509_bit0 -y28609_bit0 -y28709_bit0 -y28809_bit0 -y29009_bit0 -y29309_bit0 -y0110_bit0 -y0210_bit0 -y0610_bit0 -y0910_bit0 -y1010_bit0 -y1210_bit0 -y1510_bit0 -y1610_bit0 -y1710_bit0 -y2410_bit0 -y2710_bit0 -y3110_bit0 -y3210_bit0 -y3810_bit0 -y3910_bit0 -y4310_bit0 -y4410_bit0 -y5110_bit0 -y5410_bit0 -y5510_bit0 -y6010_bit0 -y6210_bit0 -y6310_bit0 -y6910_bit0 -y7010_bit0 -y7210_bit0 -y7310_bit0 -y7510_bit0 -y7810_bit0 -y8010_bit0 -y8110_bit0 -y8810_bit0 -y9210_bit0 -y9910_bit0 -y10010_bit0 -y10610_bit0 -y10810_bit0 -y11010_bit0 -y11410_bit0 -y11510_bit0 -y11710_bit0 -y11810_bit0 -y11910_bit0 -y12010_bit0 -y12110_bit0 -y12210_bit0 -y12310_bit0 -y12410_bit0 -y12510_bit0 -y12610_bit0 -y12710_bit0 -y12810_bit0 -y12910_bit0 -y13010_bit0 -y13110_bit0 -y13210_bit0 -y13310_bit0 -y13410_bit0 -y13510_bit0 -y13610_bit0 -y13710_bit0 -y13810_bit0 -y13910_bit0 -y14010_bit0 -y14310_bit0 -y14410_bit0 -y14510_bit0 -y14610_bit0 -y14810_bit0 -y14910_bit0 -y15010_bit0 -y15310_bit0 -y15410_bit0 -y15710_bit0 -y15810_bit0 -y15910_bit0 -y16310_bit0 -y16410_bit0 -y16510_bit0 -y16610_bit0 -y16710_bit0 -y16810_bit0 -y17610_bit0 -y18110_bit0 -y18910_bit0 -y19010_bit0 -y19810_bit0 -y19910_bit0 -y20510_bit0 -y20610_bit0 -y20710_bit0 -y21110_bit0 -y22610_bit0 -y22710_bit0 -y22810_bit0 -y22910_bit0 -y23010_bit0 -y23110_bit0 -y23210_bit0 -y23310_bit0 -y23410_bit0 -y23510_bit0 -y23610_bit0 -y23710_bit0 -y23810_bit0 -y23910_bit0 -y24210_bit0 -y24310_bit0 -y24410_bit0 -y24510_bit0 -y24610_bit0 -y24710_bit0 -y24810_bit0 -y24910_bit0 -y25110_bit0 -y25510_bit0 -y25610_bit0 -y25710_bit0 -y25810_bit0 -y25910_bit0 -y26010_bit0 -y26110_bit0 -y26310_bit0 -y26410_bit0 -y26610_bit0 -y26710_bit0 -y27110_bit0 -y27210_bit0 -y27310_bit0 -y27410_bit0 -y27510_bit0 -y27610_bit0 -y27810_bit0 -y27910_bit0 -y30410_bit0 -y30510_bit0 -y30610_bit0 -y30710_bit0 -y30810_bit0 -y30910_bit0 -y31010_bit0 -y31110_bit0 -y31210_bit0 -y31310_bit0 -y31410_bit0 -y31510_bit0 -y31610_bit0 -y31710_bit0 -y31810_bit0 -y31910_bit0 -y32010_bit0 -y32110_bit0 -y32210_bit0 -y32310_bit0 -y32410_bit0 -y32510_bit0 -y32610_bit0 -y32710_bit0 -y32810_bit0 -y32910_bit0 -y33010_bit0 -y33110_bit0 -y33210_bit0 -y33310_bit0 -y33410_bit0 -y0211_bit0 -y0311_bit0 -y1011_bit0 -y1211_bit0 -y1511_bit0 -y1611_bit0 -y1811_bit0 -y2311_bit0 -y2411_bit0 -y2711_bit0 -y3111_bit0 -y3211_bit0 -y3811_bit0 -y3911_bit0 -y4011_bit0 -y4111_bit0 -y4311_bit0 -y4811_bit0 -y5411_bit0 -y5611_bit0 -y6011_bit0 -y6411_bit0 -y6511_bit0 -y6611_bit0 -y6911_bit0 -y7311_bit0 -y7811_bit0 -y8011_bit0 -y8111_bit0 -y8811_bit0 -y8911_bit0 -y9211_bit0 -y10611_bit0 -y12611_bit0 -y12711_bit0 -y12811_bit0 -y13311_bit0 -y14011_bit0 -y14111_bit0 -y14311_bit0 -y14511_bit0 -y14611_bit0 -y14811_bit0 -y14911_bit0 -y15011_bit0 -y15311_bit0 -y15411_bit0 -y15711_bit0 -y15811_bit0 -y16311_bit0 -y16411_bit0 -y16511_bit0 -y16611_bit0 -y16711_bit0 -y16811_bit0 -y16911_bit0 -y17411_bit0 -y18111_bit0 -y18211_bit0 -y18911_bit0 -y19011_bit0 -y19711_bit0 -y19811_bit0 -y19911_bit0 -y20011_bit0 -y20511_bit0 -y20711_bit0 -y21111_bit0 -y21411_bit0 -y22211_bit0 -y22611_bit0 -y22711_bit0 -y22911_bit0 -y23111_bit0 -y23211_bit0 -y23311_bit0 -y23411_bit0 -y23511_bit0 -y23611_bit0 -y23711_bit0 -y24011_bit0 -y24111_bit0 -y24211_bit0 -y24311_bit0 -y24411_bit0 -y24511_bit0 -y24711_bit0 -y24911_bit0 -y25011_bit0 -y25111_bit0 -y25211_bit0 -y25311_bit0 -y25411_bit0 -y25511_bit0 -y25611_bit0 -y25811_bit0 -y25911_bit0 -y26011_bit0 -y26111_bit0 -y26211_bit0 -y26311_bit0 -y26411_bit0 -y26511_bit0 -y26611_bit0 -y26711_bit0 -y27011_bit0 -y27111_bit0 -y27211_bit0 -y27311_bit0 -y27411_bit0 -y27511_bit0 -y27611_bit0 -y27711_bit0 -y27911_bit0 -y0212_bit0 -y0312_bit0 -y0612_bit0 -y0912_bit0 -y1012_bit0 -y1112_bit0 -y1212_bit0 -y1512_bit0 -y1612_bit0 -y1812_bit0 -y2312_bit0 -y2412_bit0 -y2712_bit0 -y2912_bit0 -y3112_bit0 -y3212_bit0 -y3712_bit0 -y3812_bit0 -y3912_bit0 -y4012_bit0 -y4112_bit0 -y4312_bit0 -y4412_bit0 -y4612_bit0 -y4812_bit0 -y4912_bit0 -y5112_bit0 -y5412_bit0 -y5512_bit0 -y5612_bit0 -y5912_bit0 -y6012_bit0 -y6412_bit0 -y6512_bit0 -y6612_bit0 -y6712_bit0 -y6812_bit0 -y6912_bit0 -y7012_bit0 -y7312_bit0 -y7812_bit0 -y8012_bit0 -y8112_bit0 -y8812_bit0 -y8912_bit0 -y9212_bit0 -y9812_bit0 -y9912_bit0 -y10612_bit0 -y11012_bit0 -y11412_bit0 -y11512_bit0 -y12612_bit0 -y12712_bit0 -y12812_bit0 -y13312_bit0 -y13412_bit0 -y13812_bit0 -y13912_bit0 -y14012_bit0 -y14112_bit0 -y14312_bit0 -y14512_bit0 -y14612_bit0 -y14812_bit0 -y14912_bit0 -y15012_bit0 -y15412_bit0 -y15812_bit0 -y16312_bit0 -y16412_bit0 -y16512_bit0 -y16612_bit0 -y16712_bit0 -y16812_bit0 -y16912_bit0 -y17412_bit0 -y18112_bit0 -y18212_bit0 -y18912_bit0 -y19012_bit0 -y19112_bit0 -y19212_bit0 -y19312_bit0 -y19712_bit0 -y19812_bit0 -y20012_bit0 -y20512_bit0 -y20712_bit0 -y21012_bit0 -y21112_bit0 -y21412_bit0 -y22212_bit0 -y22612_bit0 -y22712_bit0 -y22912_bit0 -y23112_bit0 -y23212_bit0 -y23412_bit0 -y23512_bit0 -y23612_bit0 -y23712_bit0 -y24012_bit0 -y24112_bit0 -y24212_bit0 -y24312_bit0 -y24412_bit0 -y24512_bit0 -y24712_bit0 -y24912_bit0 -y25012_bit0 -y25112_bit0 -y25212_bit0 -y25312_bit0 -y25412_bit0 -y25512_bit0 -y25612_bit0 -y25912_bit0 -y26012_bit0 -y26112_bit0 -y26212_bit0 -y26312_bit0 -y26412_bit0 -y26512_bit0 -y26612_bit0 -y26712_bit0 -y27012_bit0 -y27112_bit0 -y27212_bit0 -y27312_bit0 -y27412_bit0 -y27512_bit0 -y27712_bit0 -y27912_bit0 -y28212_bit0 -y28412_bit0 -y28612_bit0 -y28712_bit0 -y28812_bit0 -y29012_bit0 -y29312_bit0 -y0313_bit0 -y0513_bit0 -y0613_bit0 -y0913_bit0 -y1213_bit0 -y1613_bit0 -y1813_bit0 -y1913_bit0 -y2113_bit0 -y2213_bit0 -y2513_bit0 -y2813_bit0 -y3013_bit0 -y3113_bit0 -y3213_bit0 -y3413_bit0 -y3513_bit0 -y3613_bit0 -y3713_bit0 -y3813_bit0 -y3913_bit0 -y4113_bit0 -y4413_bit0 -y4513_bit0 -y4713_bit0 -y4813_bit0 -y5113_bit0 -y5413_bit0 -y5613_bit0 -y6013_bit0 -y6413_bit0 -y6513_bit0 -y6613_bit0 -y6913_bit0 -y7013_bit0 -y7613_bit0 -y7813_bit0 -y8013_bit0 -y8113_bit0 -y8613_bit0 -y8913_bit0 -y9213_bit0 -y9613_bit0 -y9913_bit0 -y10313_bit0 -y11413_bit0 -y12613_bit0 -y12713_bit0 -y13913_bit0 -y14113_bit0 -y14313_bit0 -y14513_bit0 -y14813_bit0 -y14913_bit0 -y15513_bit0 -y16013_bit0 -y16313_bit0 -y16413_bit0 -y16513_bit0 -y16613_bit0 -y16713_bit0 -y16813_bit0 -y16913_bit0 -y17013_bit0 -y17413_bit0 -y18013_bit0 -y18313_bit0 -y18413_bit0 -y18513_bit0 -y18913_bit0 -y19013_bit0 -y19313_bit0 -y19713_bit0 -y20313_bit0 -y20713_bit0 -y21113_bit0 -y21413_bit0 -y21513_bit0 -y21713_bit0 -y21813_bit0 -y33513_bit0 -y33613_bit0 -y33713_bit0 -y33813_bit0 -y33913_bit0 -y34013_bit0 -y34113_bit0 -y34213_bit0 -y34313_bit0 -y0314_bit0 -y0714_bit0 -y1214_bit0 -y1614_bit0 -y1814_bit0 -y2314_bit0 -y3114_bit0 -y3214_bit0 -y3814_bit0 -y3914_bit0 -y4014_bit0 -y4114_bit0 -y4214_bit0 -y4814_bit0 -y5614_bit0 -y6014_bit0 -y6114_bit0 -y6414_bit0 -y6514_bit0 -y6614_bit0 -y6914_bit0 -y7114_bit0 -y7814_bit0 -y8014_bit0 -y8114_bit0 -y8314_bit0 -y8914_bit0 -y9214_bit0 -y12614_bit0 -y12714_bit0 -y14114_bit0 -y14314_bit0 -y14514_bit0 -y14814_bit0 -y14914_bit0 -y16114_bit0 -y16314_bit0 -y16414_bit0 -y16514_bit0 -y16614_bit0 -y16814_bit0 -y16914_bit0 -y17414_bit0 -y17914_bit0 -y18214_bit0 -y18914_bit0 -y19014_bit0 -y19714_bit0 -y20014_bit0 -y20114_bit0 -y20714_bit0 -y21014_bit0 -y21314_bit0 -y21414_bit0 -y21914_bit0 -y22114_bit0 -y22214_bit0 -y22314_bit0 -y22414_bit0 -y22514_bit0 -y22714_bit0 -y22914_bit0 -y24014_bit0 -y24114_bit0 -y25014_bit0 -y25314_bit0 -y25414_bit0 -y26214_bit0 -y26814_bit0 -y26914_bit0 -y27014_bit0 -y27114_bit0 -y27714_bit0 -y0315_bit0 -y1615_bit0 -y1815_bit0 -y2315_bit0 -y3115_bit0 -y3215_bit0 -y3815_bit0 -y3915_bit0 -y4015_bit0 -y4115_bit0 -y4215_bit0 -y4815_bit0 -y5615_bit0 -y6015_bit0 -y6415_bit0 -y6515_bit0 -y6615_bit0 -y6915_bit0 -y7715_bit0 -y7815_bit0 -y8015_bit0 -y8115_bit0 -y8315_bit0 -y8515_bit0 -y8715_bit0 -y8915_bit0 -y9215_bit0 -y9415_bit0 -y12615_bit0 -y12715_bit0 -y14115_bit0 -y14315_bit0 -y14515_bit0 -y14815_bit0 -y14915_bit0 -y16315_bit0 -y16415_bit0 -y16515_bit0 -y16615_bit0 -y16815_bit0 -y16915_bit0 -y17415_bit0 -y17915_bit0 -y18215_bit0 -y18615_bit0 -y18915_bit0 -y19015_bit0 -y19715_bit0 -y20015_bit0 -y20115_bit0 -y20715_bit0 -y21015_bit0 -y21315_bit0 -y21415_bit0 -y21915_bit0 -y22115_bit0 -y0316_bit0 -y1816_bit0 -y2316_bit0 -y3716_bit0 -y4016_bit0 -y4116_bit0 -y4816_bit0 -y4916_bit0 -y5616_bit0 -y6416_bit0 -y6516_bit0 -y6616_bit0 -y8916_bit0 -y14116_bit0 -y16916_bit0 -y17416_bit0 -y18216_bit0 -y19116_bit0 -y19216_bit0 -y19716_bit0 -y20016_bit0 -y21016_bit0 -y21416_bit0 -y22216_bit0 -y0317_bit0 -y1817_bit0 -y2317_bit0 -y4017_bit0 -y4117_bit0 -y6417_bit0 -y8917_bit0 -y18217_bit0 -y19117_bit0 -y19217_bit0 -y19717_bit0 -y20017_bit0 -y22217_bit0 -y0718_bit0 -y4218_bit0 -y4918_bit0 -y6118_bit0 -y7118_bit0 -y8318_bit0 -y16118_bit0 -y17918_bit0 -y19518_bit0 -y20118_bit0 -y21018_bit0 -y21318_bit0 -y21918_bit0 -y22118_bit0 -y22318_bit0 -y22418_bit0 -y22518_bit0 -y26818_bit0 -y26918_bit0 -y0719_bit0 -y4219_bit0 -y6119_bit0 -y7119_bit0 -y8319_bit0 -y16119_bit0 -y17919_bit0 -y20119_bit0 -y21319_bit0 -y21919_bit0 -y22319_bit0 -y22419_bit0 -y22519_bit0 -y26819_bit0 -y26919_bit0 -y0720_bit0 -y6120_bit0 -y7120_bit0 -y8320_bit0 -y16120_bit0 -y17920_bit0 -y22320_bit0 -y22420_bit0 -y22520_bit0 -y26820_bit0 -y26920_bit0 -y2321_bit0 -y10121_bit0 -y10221_bit0 -y19121_bit0 -y19221_bit0 -y34421_bit0 -y34521_bit0 -y34621_bit0 -y4222_bit0 -y17922_bit0 -y20122_bit0 -y21022_bit0 -y21322_bit0 -y21922_bit0 -y22122_bit0 -y22522_bit0 -y4223_bit0 -y8323_bit0 -y17923_bit0 -y20123_bit0 -y21323_bit0 -y21923_bit0 -y22523_bit0 -a_bit_10 -a_bit_9 -a_bit_8 -a_bit_7 -a_bit_6 -a_bit_5 -a_bit_4 -a_bit_3 -a_bit_2 -a_bit_1 -a_bit0 -a_bit1 -a_bit2 -a_bit3 -a_bit4 -a_bit5 -a_bit6 -a_bit7 -a_bit8 -a_bit9 -a_bit10 -a_bit11 -a_bit12 -a_bit13 -a_bit14 -a_bit15 -a_bit16 -a_bit17 -a_bit18 -a_bit19 -p_bit_10 -p_bit_9 -p_bit_8 -p_bit_7 -p_bit_6 -p_bit_5 -p_bit_4 -p_bit_3 -p_bit_2 -p_bit_1 -p_bit0 -p_bit1 -p_bit2 -p_bit3 -p_bit4 -p_bit5 -p_bit6 -p_bit7 -p_bit8 -p_bit9 -p_bit10 -p_bit11 -p_bit12 -p_bit13 -p_bit14 -p_bit15 -p_bit16 -p_bit17 -p_bit18 -p_bit19 
c objectif function=0
c Total CPU time (ms) : 1219.655
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/54 10887
Raw data (stat): 10887 (runsolver) R 10886 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779815549 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 10896
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18014 0 1 0 876 43 0 0 25 0 10 0 779815549 854130688 19398 4294967295 134512640 134569956 3221224368 3221214336 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208528 19398 13086 16 0 208512 0
vsize: 834112
[startup+20.0023 s]
Raw data (loadavg): 1.26 1.05 1.02 4/63 10896
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18124 0 1 0 1801 44 0 0 25 0 10 0 779815549 872075264 23748 4294967295 134512640 134569956 3221224368 3221214868 1130895202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 23748 13086 16 0 212893 0
vsize: 851636
[startup+30.0027 s]
Raw data (loadavg): 1.22 1.05 1.01 2/64 10897
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18140 0 1 0 2700 44 0 0 25 0 11 0 779815549 871165952 24618 4294967295 134512640 134569956 3221224368 3221214560 1131363565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212687 24618 13086 16 0 212671 0
vsize: 850748
[startup+40.0034 s]
Raw data (loadavg): 1.18 1.05 1.01 2/64 10897
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18140 0 1 0 3588 45 0 0 25 0 11 0 779815549 861143040 22201 4294967295 134512640 134569956 3221224368 3221214560 1131362973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210240 22201 13086 16 0 210224 0
vsize: 840960
[startup+50.0042 s]
Raw data (loadavg): 1.24 1.06 1.02 3/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18186 4 1 0 4469 45 0 0 25 0 11 0 779815549 868839424 24314 4294967295 134512640 134569956 3221224368 3221214560 1131363171 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 24314 13086 16 0 212103 0
vsize: 848476
[startup+60.0053 s]
Raw data (loadavg): 1.20 1.06 1.02 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18186 4 1 0 5438 45 0 0 25 0 11 0 779815549 859602944 22777 4294967295 134512640 134569956 3221224368 3221214560 1131363217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209864 22777 13086 16 0 209848 0
vsize: 839456
[startup+70.0059 s]
Raw data (loadavg): 1.17 1.06 1.02 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18195 4 1 0 6422 45 0 0 25 0 11 0 779815549 859602944 22787 4294967295 134512640 134569956 3221224368 3221211840 1077065810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209864 22787 13086 16 0 209848 0
vsize: 839456
[startup+80.0065 s]
Raw data (loadavg): 1.22 1.07 1.02 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18207 4 1 0 7264 45 0 0 25 0 11 0 779815549 868544512 25100 4294967295 134512640 134569956 3221224368 3221214560 1131363467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212047 25100 13086 16 0 212031 0
vsize: 848188
[startup+90.0068 s]
Raw data (loadavg): 1.18 1.07 1.02 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18207 4 1 0 8242 45 0 0 25 0 11 0 779815549 861134848 23353 4294967295 134512640 134569956 3221224368 3221214664 1131417938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23353 13086 16 0 210222 0
vsize: 840952
[startup+100.006 s]
Raw data (loadavg): 1.15 1.06 1.02 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18207 4 1 0 9220 46 0 0 25 0 11 0 779815549 861134848 23353 4294967295 134512640 134569956 3221224368 3221214560 1131363096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23353 13086 16 0 210222 0
vsize: 840952
[startup+110.013 s]
Raw data (loadavg): 1.13 1.06 1.02 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18207 4 1 0 10212 46 0 0 25 0 11 0 779815549 861134848 23509 4294967295 134512640 134569956 3221224368 3221214664 1131420507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23509 13086 16 0 210222 0
vsize: 840952
[startup+120.013 s]
Raw data (loadavg): 1.11 1.06 1.02 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18207 4 1 0 11210 46 0 0 25 0 11 0 779815549 861134848 23510 4294967295 134512640 134569956 3221224368 3221214560 1131363467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23510 13086 16 0 210222 0
vsize: 840952
[startup+130.013 s]
Raw data (loadavg): 1.09 1.06 1.02 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18208 4 1 0 12199 46 0 0 25 0 11 0 779815549 861134848 23513 4294967295 134512640 134569956 3221224368 3221214624 1131573264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23513 13086 16 0 210222 0
vsize: 840952
[startup+140.013 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 13181 46 0 0 25 0 11 0 779815549 861134848 23514 4294967295 134512640 134569956 3221224368 3221214504 1131471075 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210238 23514 13086 16 0 210222 0
vsize: 840952
[startup+150.014 s]
Raw data (loadavg): 1.06 1.05 1.01 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 14168 46 0 0 25 0 11 0 779815549 861134848 23514 4294967295 134512640 134569956 3221224368 3221214528 1131276977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23514 13086 16 0 210222 0
vsize: 840952
[startup+160.015 s]
Raw data (loadavg): 1.05 1.05 1.01 3/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 15152 47 0 0 25 0 11 0 779815549 861134848 23514 4294967295 134512640 134569956 3221224368 3221214640 1131568896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23514 13086 16 0 210222 0
vsize: 840952
[startup+170.015 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 16139 47 0 0 25 0 11 0 779815549 861134848 23514 4294967295 134512640 134569956 3221224368 3221214640 1131568899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23514 13086 16 0 210222 0
vsize: 840952
[startup+180.015 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 17117 47 0 0 25 0 11 0 779815549 861134848 23516 4294967295 134512640 134569956 3221224368 3221214560 1131363001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23516 13086 16 0 210222 0
vsize: 840952
[startup+190.016 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 18083 47 0 0 25 0 11 0 779815549 861134848 23597 4294967295 134512640 134569956 3221224368 3221214664 1131421556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23597 13086 16 0 210222 0
vsize: 840952
[startup+200.017 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 19065 47 0 0 25 0 11 0 779815549 861134848 23710 4294967295 134512640 134569956 3221224368 3221214560 1131363894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23710 13086 16 0 210222 0
vsize: 840952
[startup+210.017 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 20055 48 0 0 25 0 11 0 779815549 861134848 23796 4294967295 134512640 134569956 3221224368 3221214560 1131362533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23796 13086 16 0 210222 0
vsize: 840952
[startup+220.018 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 21053 48 0 0 25 0 11 0 779815549 861134848 23797 4294967295 134512640 134569956 3221224368 3221214664 1131416958 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23797 13086 16 0 210222 0
vsize: 840952
[startup+230.018 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 22051 48 0 0 25 0 11 0 779815549 861134848 23797 4294967295 134512640 134569956 3221224368 3221214664 1131418011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23797 13086 16 0 210222 0
vsize: 840952
[startup+240.018 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 23048 48 0 0 25 0 11 0 779815549 861134848 23797 4294967295 134512640 134569956 3221224368 3221214560 1131362533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23797 13086 16 0 210222 0
vsize: 840952
[startup+250.018 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 24043 48 0 0 25 0 11 0 779815549 861134848 23799 4294967295 134512640 134569956 3221224368 3221214560 1131362540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23799 13086 16 0 210222 0
vsize: 840952
[startup+260.019 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 25039 48 0 0 25 0 11 0 779815549 861134848 23799 4294967295 134512640 134569956 3221224368 3221214608 1131567622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23799 13086 16 0 210222 0
vsize: 840952
[startup+270.02 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 26034 48 0 0 25 0 11 0 779815549 861134848 23801 4294967295 134512640 134569956 3221224368 3221214528 1131276031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23801 13086 16 0 210222 0
vsize: 840952
[startup+280.02 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 27021 48 0 0 25 0 11 0 779815549 861134848 23801 4294967295 134512640 134569956 3221224368 3221214664 1131418127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23801 13086 16 0 210222 0
vsize: 840952
[startup+290.021 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 28006 49 0 0 25 0 11 0 779815549 861134848 23801 4294967295 134512640 134569956 3221224368 3221214560 1131363001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23801 13086 16 0 210222 0
vsize: 840952
[startup+300.024 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 10898
Raw data (stat): 10887 (java) S 10886 32284 32283 0 -1 0 18209 4 1 0 28992 49 0 0 25 0 11 0 779815549 861134848 23801 4294967295 134512640 134569956 3221224368 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23801 13086 16 0 210222 0
vsize: 840952
[startup+310.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 29986 49 0 0 25 0 11 0 779815549 861134848 23886 4294967295 134512640 134569956 3221224368 3221214560 1131363001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23886 13086 16 0 210222 0
vsize: 840952
[startup+320.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 30985 49 0 0 25 0 11 0 779815549 861134848 23886 4294967295 134512640 134569956 3221224368 3221214560 1131362586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23886 13086 16 0 210222 0
vsize: 840952
[startup+330.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 31983 49 0 0 25 0 11 0 779815549 861134848 23886 4294967295 134512640 134569956 3221224368 3221214664 1131418058 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23886 13086 16 0 210222 0
vsize: 840952
[startup+340.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 32981 49 0 0 25 0 11 0 779815549 861134848 23886 4294967295 134512640 134569956 3221224368 3221214664 1131416705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23886 13086 16 0 210222 0
vsize: 840952
[startup+350.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 33980 49 0 0 25 0 11 0 779815549 861134848 23886 4294967295 134512640 134569956 3221224368 3221214560 1131362973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23886 13086 16 0 210222 0
vsize: 840952
[startup+360.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 34978 49 0 0 25 0 11 0 779815549 861134848 23887 4294967295 134512640 134569956 3221224368 3221214560 1131363001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23887 13086 16 0 210222 0
vsize: 840952
[startup+370.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 35976 49 0 0 25 0 11 0 779815549 861134848 23887 4294967295 134512640 134569956 3221224368 3221214560 1131363096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23887 13086 16 0 210222 0
vsize: 840952
[startup+380.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 36968 49 0 0 25 0 11 0 779815549 861134848 23887 4294967295 134512640 134569956 3221224368 3221214640 1131568931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23887 13086 16 0 210222 0
vsize: 840952
[startup+390.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 37963 49 0 0 25 0 11 0 779815549 861134848 23887 4294967295 134512640 134569956 3221224368 3221214608 1131567603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23887 13086 16 0 210222 0
vsize: 840952
[startup+400.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 38956 50 0 0 25 0 11 0 779815549 861134848 23887 4294967295 134512640 134569956 3221224368 3221214528 1131276329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23887 13086 16 0 210222 0
vsize: 840952
[startup+410.032 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 39951 50 0 0 25 0 11 0 779815549 861134848 23887 4294967295 134512640 134569956 3221224368 3221214528 1131275967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23887 13086 16 0 210222 0
vsize: 840952
[startup+420.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 40944 50 0 0 25 0 11 0 779815549 861134848 23888 4294967295 134512640 134569956 3221224368 3221214528 1131622895 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23888 13086 16 0 210222 0
vsize: 840952
[startup+430.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 41938 50 0 0 25 0 11 0 779815549 861134848 23888 4294967295 134512640 134569956 3221224368 3221214640 1131568972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23888 13086 16 0 210222 0
vsize: 840952
[startup+440.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 42917 50 0 0 25 0 11 0 779815549 861134848 23888 4294967295 134512640 134569956 3221224368 3221214560 1131363119 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23888 13086 16 0 210222 0
vsize: 840952
[startup+450.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 43897 50 0 0 25 0 11 0 779815549 861134848 23939 4294967295 134512640 134569956 3221224368 3221214560 1131363001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23939 13086 16 0 210222 0
vsize: 840952
[startup+460.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 44879 50 0 0 25 0 11 0 779815549 861134848 23939 4294967295 134512640 134569956 3221224368 3221214664 1131418029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23939 13086 16 0 210222 0
vsize: 840952
[startup+470.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 45875 50 0 0 25 0 11 0 779815549 861134848 24046 4294967295 134512640 134569956 3221224368 3221214664 1131420858 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24046 13086 16 0 210222 0
vsize: 840952
[startup+480.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 46872 50 0 0 25 0 11 0 779815549 861134848 24049 4294967295 134512640 134569956 3221224368 3221214560 1131362521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210238 24049 13086 16 0 210222 0
vsize: 840952
[startup+490.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 47870 50 0 0 25 0 11 0 779815549 861134848 24051 4294967295 134512640 134569956 3221224368 3221214556 1131259943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24051 13086 16 0 210222 0
vsize: 840952
[startup+500.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 48867 50 0 0 25 0 11 0 779815549 861134848 24053 4294967295 134512640 134569956 3221224368 3221214560 1131362615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24053 13086 16 0 210222 0
vsize: 840952
[startup+510.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 49864 50 0 0 25 0 11 0 779815549 861134848 24056 4294967295 134512640 134569956 3221224368 3221214664 1131416914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24056 13086 16 0 210222 0
vsize: 840952
[startup+520.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 50861 50 0 0 25 0 11 0 779815549 861134848 24058 4294967295 134512640 134569956 3221224368 3221214560 1131363129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24058 13086 16 0 210222 0
vsize: 840952
[startup+530.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 51858 50 0 0 25 0 11 0 779815549 861134848 24061 4294967295 134512640 134569956 3221224368 3221214472 1131259924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24061 13086 16 0 210222 0
vsize: 840952
[startup+540.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 52855 50 0 0 25 0 11 0 779815549 861134848 24064 4294967295 134512640 134569956 3221224368 3221214560 1131363155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24064 13086 16 0 210222 0
vsize: 840952
[startup+550.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 53851 50 0 0 25 0 11 0 779815549 861134848 24067 4294967295 134512640 134569956 3221224368 3221214560 1131362850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24067 13086 16 0 210222 0
vsize: 840952
[startup+560.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 54843 50 0 0 25 0 11 0 779815549 861134848 24069 4294967295 134512640 134569956 3221224368 3221214632 1131471075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24069 13086 16 0 210222 0
vsize: 840952
[startup+570.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 55835 51 0 0 25 0 11 0 779815549 861134848 24071 4294967295 134512640 134569956 3221224368 3221214528 1131623787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24071 13086 16 0 210222 0
vsize: 840952
[startup+580.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 56826 51 0 0 25 0 11 0 779815549 861134848 24072 4294967295 134512640 134569956 3221224368 3221214636 1131217952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24072 13086 16 0 210222 0
vsize: 840952
[startup+590.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 57819 51 0 0 25 0 11 0 779815549 861134848 24073 4294967295 134512640 134569956 3221224368 3221214640 1131568931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24073 13086 16 0 210222 0
vsize: 840952
[startup+600.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 58810 51 0 0 25 0 11 0 779815549 861134848 24075 4294967295 134512640 134569956 3221224368 3221214528 1131621953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24075 13086 16 0 210222 0
vsize: 840952
[startup+610.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 59802 51 0 0 25 0 11 0 779815549 861134848 24076 4294967295 134512640 134569956 3221224368 3221214592 1131201744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24076 13086 16 0 210222 0
vsize: 840952
[startup+620.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 60793 51 0 0 25 0 11 0 779815549 861134848 24079 4294967295 134512640 134569956 3221224368 3221214528 1131623787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24079 13086 16 0 210222 0
vsize: 840952
[startup+630.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 61775 51 0 0 25 0 11 0 779815549 861134848 24166 4294967295 134512640 134569956 3221224368 3221214664 1131417974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24166 13086 16 0 210222 0
vsize: 840952
[startup+640.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 62762 51 0 0 25 0 11 0 779815549 861134848 24166 4294967295 134512640 134569956 3221224368 3221214560 1131362593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24166 13086 16 0 210222 0
vsize: 840952
[startup+650.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 63749 51 0 0 25 0 11 0 779815549 861134848 24166 4294967295 134512640 134569956 3221224368 3221214560 1131362533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24166 13086 16 0 210222 0
vsize: 840952
[startup+660.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 64745 51 0 0 25 0 11 0 779815549 861134848 24239 4294967295 134512640 134569956 3221224368 3221214560 1131363027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24239 13086 16 0 210222 0
vsize: 840952
[startup+670.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 65743 51 0 0 25 0 11 0 779815549 861134848 24239 4294967295 134512640 134569956 3221224368 3221214560 1131362529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24239 13086 16 0 210222 0
vsize: 840952
[startup+680.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 66742 51 0 0 25 0 11 0 779815549 861134848 24239 4294967295 134512640 134569956 3221224368 3221214664 1131420846 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24239 13086 16 0 210222 0
vsize: 840952
[startup+690.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 67739 52 0 0 25 0 11 0 779815549 861134848 24239 4294967295 134512640 134569956 3221224368 3221214832 1131201753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24239 13086 16 0 210222 0
vsize: 840952
[startup+700.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 68738 52 0 0 25 0 11 0 779815549 861134848 24239 4294967295 134512640 134569956 3221224368 3221214664 1131416907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24239 13086 16 0 210222 0
vsize: 840952
[startup+710.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 69736 52 0 0 25 0 11 0 779815549 861134848 24239 4294967295 134512640 134569956 3221224368 3221214664 1131416887 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24239 13086 16 0 210222 0
vsize: 840952
[startup+720.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 70734 52 0 0 25 0 11 0 779815549 861134848 24239 4294967295 134512640 134569956 3221224368 3221214560 1131363557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24239 13086 16 0 210222 0
vsize: 840952
[startup+730.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 71731 52 0 0 25 0 11 0 779815549 861134848 24239 4294967295 134512640 134569956 3221224368 3221214664 1131418014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24239 13086 16 0 210222 0
vsize: 840952
[startup+740.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 72729 52 0 0 17 0 11 0 779815549 861134848 24240 4294967295 134512640 134569956 3221224368 3221214560 1131363001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24240 13086 16 0 210222 0
vsize: 840952
[startup+750.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 73727 52 0 0 25 0 11 0 779815549 861134848 24240 4294967295 134512640 134569956 3221224368 3221214560 1131363001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24240 13086 16 0 210222 0
vsize: 840952
[startup+760.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 74725 53 0 0 25 0 11 0 779815549 861134848 24240 4294967295 134512640 134569956 3221224368 3221214664 1131418014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24240 13086 16 0 210222 0
vsize: 840952
[startup+770.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 75722 53 0 0 25 0 11 0 779815549 861134848 24240 4294967295 134512640 134569956 3221224368 3221214528 1131276291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24240 13086 16 0 210222 0
vsize: 840952
[startup+780.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 76716 53 0 0 25 0 11 0 779815549 861134848 24240 4294967295 134512640 134569956 3221224368 3221214528 1131621592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24240 13086 16 0 210222 0
vsize: 840952
[startup+790.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 77710 53 0 0 25 0 11 0 779815549 861134848 24240 4294967295 134512640 134569956 3221224368 3221214560 1131363001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24240 13086 16 0 210222 0
vsize: 840952
[startup+800.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 78696 53 0 0 25 0 11 0 779815549 861134848 24240 4294967295 134512640 134569956 3221224368 3221214560 1131363424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24240 13086 16 0 210222 0
vsize: 840952
[startup+810.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 79682 53 0 0 25 0 11 0 779815549 861134848 24241 4294967295 134512640 134569956 3221224368 3221214560 1131363096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24241 13086 16 0 210222 0
vsize: 840952
[startup+820.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 80671 53 0 0 25 0 11 0 779815549 861134848 24322 4294967295 134512640 134569956 3221224368 3221214560 1131363293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24322 13086 16 0 210222 0
vsize: 840952
[startup+830.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 81670 53 0 0 25 0 11 0 779815549 861134848 24322 4294967295 134512640 134569956 3221224368 3221214560 1131363048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24322 13086 16 0 210222 0
vsize: 840952
[startup+840.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 82668 53 0 0 25 0 11 0 779815549 861134848 24322 4294967295 134512640 134569956 3221224368 3221214472 1131258874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24322 13086 16 0 210222 0
vsize: 840952
[startup+850.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 83667 54 0 0 25 0 11 0 779815549 861134848 24322 4294967295 134512640 134569956 3221224368 3221214560 1131362934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24322 13086 16 0 210222 0
vsize: 840952
[startup+860.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 84665 54 0 0 25 0 11 0 779815549 861134848 24322 4294967295 134512640 134569956 3221224368 3221214560 1131362604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24322 13086 16 0 210222 0
vsize: 840952
[startup+870.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 85664 54 0 0 25 0 11 0 779815549 861134848 24322 4294967295 134512640 134569956 3221224368 3221214560 1131363001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24322 13086 16 0 210222 0
vsize: 840952
[startup+880.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 86662 54 0 0 25 0 11 0 779815549 861134848 24322 4294967295 134512640 134569956 3221224368 3221214560 1131363115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24322 13086 16 0 210222 0
vsize: 840952
[startup+890.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 87660 54 0 0 25 0 11 0 779815549 861134848 24322 4294967295 134512640 134569956 3221224368 3221214560 1131362593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210238 24322 13086 16 0 210222 0
vsize: 840952
[startup+900.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 88658 54 0 0 25 0 11 0 779815549 861134848 24322 4294967295 134512640 134569956 3221224368 3221214560 1131363488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24322 13086 16 0 210222 0
vsize: 840952
[startup+910.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 89656 54 0 0 25 0 11 0 779815549 861134848 24322 4294967295 134512640 134569956 3221224368 3221214520 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24322 13086 16 0 210222 0
vsize: 840952
[startup+920.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 90655 54 0 0 25 0 11 0 779815549 861134848 24323 4294967295 134512640 134569956 3221224368 3221214560 1131363167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24323 13086 16 0 210222 0
vsize: 840952
[startup+930.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 91653 54 0 0 25 0 11 0 779815549 861134848 24323 4294967295 134512640 134569956 3221224368 3221214664 1131420737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24323 13086 16 0 210222 0
vsize: 840952
[startup+940.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 92651 55 0 0 25 0 11 0 779815549 861134848 24323 4294967295 134512640 134569956 3221224368 3221214560 1131363052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24323 13086 16 0 210222 0
vsize: 840952
[startup+950.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 93649 55 0 0 25 0 11 0 779815549 861134848 24323 4294967295 134512640 134569956 3221224368 3221214560 1131362529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24323 13086 16 0 210222 0
vsize: 840952
[startup+960.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 94646 55 0 0 25 0 11 0 779815549 861134848 24323 4294967295 134512640 134569956 3221224368 3221214640 1131568899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24323 13086 16 0 210222 0
vsize: 840952
[startup+970.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 95642 55 0 0 25 0 11 0 779815549 861134848 24323 4294967295 134512640 134569956 3221224368 3221214528 1131276291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24323 13086 16 0 210222 0
vsize: 840952
[startup+980.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 96638 55 0 0 25 0 11 0 779815549 861134848 24323 4294967295 134512640 134569956 3221224368 3221214528 1131621559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24323 13086 16 0 210222 0
vsize: 840952
[startup+990.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 97636 55 0 0 25 0 11 0 779815549 861134848 24324 4294967295 134512640 134569956 3221224368 3221214640 1131568957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24324 13086 16 0 210222 0
vsize: 840952
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 98632 55 0 0 25 0 11 0 779815549 861134848 24324 4294967295 134512640 134569956 3221224368 3221214608 1131567568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24324 13086 16 0 210222 0
vsize: 840952
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 99629 55 0 0 25 0 11 0 779815549 861134848 24324 4294967295 134512640 134569956 3221224368 3221214640 1131568918 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24324 13086 16 0 210222 0
vsize: 840952
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 100625 55 0 0 25 0 11 0 779815549 861134848 24326 4294967295 134512640 134569956 3221224368 3221214640 1131568896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24326 13086 16 0 210222 0
vsize: 840952
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 101622 55 0 0 25 0 11 0 779815549 861134848 24331 4294967295 134512640 134569956 3221224368 3221214528 1131276450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24331 13086 16 0 210222 0
vsize: 840952
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 102619 55 0 0 25 0 11 0 779815549 861134848 24342 4294967295 134512640 134569956 3221224368 3221214528 1131276329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24342 13086 16 0 210222 0
vsize: 840952
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 103618 55 0 0 25 0 11 0 779815549 861134848 24374 4294967295 134512640 134569956 3221224368 3221214636 1131643635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24374 13086 16 0 210222 0
vsize: 840952
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 104617 56 0 0 25 0 11 0 779815549 861134848 24374 4294967295 134512640 134569956 3221224368 3221214608 1131567568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24374 13086 16 0 210222 0
vsize: 840952
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 105616 56 0 0 25 0 11 0 779815549 861134848 24374 4294967295 134512640 134569956 3221224368 3221214640 1131568937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24374 13086 16 0 210222 0
vsize: 840952
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 106613 56 0 0 25 0 11 0 779815549 861134848 24374 4294967295 134512640 134569956 3221224368 3221214528 1131276014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24374 13086 16 0 210222 0
vsize: 840952
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 107610 56 0 0 25 0 11 0 779815549 861134848 24374 4294967295 134512640 134569956 3221224368 3221214612 1131198748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24374 13086 16 0 210222 0
vsize: 840952
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 108607 56 0 0 25 0 11 0 779815549 861134848 24374 4294967295 134512640 134569956 3221224368 3221214528 1131621687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24374 13086 16 0 210222 0
vsize: 840952
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 109605 56 0 0 25 0 11 0 779815549 861134848 24374 4294967295 134512640 134569956 3221224368 3221214528 1131276291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24374 13086 16 0 210222 0
vsize: 840952
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 110592 56 0 0 25 0 11 0 779815549 861134848 24374 4294967295 134512640 134569956 3221224368 3221214664 1131416914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24374 13086 16 0 210222 0
vsize: 840952
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 111566 56 0 0 25 0 11 0 779815549 861134848 24375 4294967295 134512640 134569956 3221224368 3221214560 1131363470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24375 13086 16 0 210222 0
vsize: 840952
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 112541 56 0 0 25 0 11 0 779815549 861134848 24420 4294967295 134512640 134569956 3221224368 3221214560 1131362866 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24420 13086 16 0 210222 0
vsize: 840952
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 113531 56 0 0 25 0 11 0 779815549 861134848 24543 4294967295 134512640 134569956 3221224368 3221214560 1131362593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24543 13086 16 0 210222 0
vsize: 840952
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 114528 57 0 0 25 0 11 0 779815549 861134848 24545 4294967295 134512640 134569956 3221224368 3221214560 1131363001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24545 13086 16 0 210222 0
vsize: 840952
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 115526 57 0 0 25 0 11 0 779815549 861134848 24547 4294967295 134512640 134569956 3221224368 3221214472 1131258874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24547 13086 16 0 210222 0
vsize: 840952
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 116523 57 0 0 25 0 11 0 779815549 861134848 24549 4294967295 134512640 134569956 3221224368 3221214560 1131362917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24549 13086 16 0 210222 0
vsize: 840952
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 117521 57 0 0 25 0 11 0 779815549 861134848 24551 4294967295 134512640 134569956 3221224368 3221214664 1131416914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24551 13086 16 0 210222 0
vsize: 840952
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 118518 57 0 0 25 0 11 0 779815549 861134848 24553 4294967295 134512640 134569956 3221224368 3221214560 1131362945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24553 13086 16 0 210222 0
vsize: 840952
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 119517 57 0 0 25 0 11 0 779815549 861134848 24556 4294967295 134512640 134569956 3221224368 3221214560 1131363565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24556 13086 16 0 210222 0
vsize: 840952
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10898
Raw data (stat): 10887 (java) R 10886 32284 32283 0 -1 0 18209 4 1 0 120514 57 0 0 25 0 11 0 779815549 861134848 24558 4294967295 134512640 134569956 3221224368 3221214560 1131363071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24558 13086 16 0 210222 0
vsize: 840952
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.7 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 10900
Raw data (stat): 10887 (java) Z 10886 32284 32283 0 -1 1036 18209 14929 1 0 120570 57 2332 53 25 0 1 0 779815549 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.69
CPU time (s): 1230.15
CPU user time (s): 1229.03
CPU system time (s): 1.11583
CPU usage (%): 100.774
Max. virtual memory (Kb): 851636
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####