PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mkc.opb
MD5SUM	b9e9aa470fdb3341d7e10860fcc70cec
Bench Category	optimization, medium integers (OPTMEDINT)
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	65536000
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	629010691
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.11
Number of variables	5363
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	2942
Trace number 30041

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        628904 kB
Buffers:         31928 kB
Cached:         353692 kB
SwapCached:        756 kB
Active:          65076 kB
Inactive:       322752 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        628652 kB
SwapTotal:     2097136 kB
SwapFree:      2095584 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5140 kB
Slab:            12300 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 14:28:35 (client local time) WITH STATUS 143 IN 1232.12 SECONDS
stats: 21444 0 1232.12 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/wulflinc7/normalized-mps-v2-13-7-mkc.opb
c reading problem ... done. Time 13.634 ms.
c #vars     5363
c #constraints  3281
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                   0 		Current CPU time: 18.92 ms
c starts	: 2
c conflicts	: 32
c decisions	: 8302
c propagations	: 21675
c inspects	: 54940
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 31
c root simplifications	: 6
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_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 -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 
c objectif function=0
c Total CPU time (ms) : 1219.672
#### 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.92 0.98 0.99 2/54 10481
Raw data (stat): 10481 (runsolver) R 10480 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781265954 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 10490
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18042 0 1 0 877 41 0 0 24 0 10 0 781265954 854794240 19452 4294967295 134512640 134569956 3221224384 3221214548 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208690 19452 13086 16 0 208674 0
vsize: 834760
[startup+20.0018 s]
Raw data (loadavg): 1.16 1.03 1.01 2/63 10491
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18118 4 1 0 1680 42 0 0 25 0 10 0 781265954 856739840 21417 4294967295 134512640 134569956 3221224384 3221215032 1131443448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209165 21417 13086 16 0 209149 0
vsize: 836660
[startup+30.002 s]
Raw data (loadavg): 1.13 1.03 1.01 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18129 4 1 0 2577 42 0 0 25 0 11 0 781265954 856674304 21670 4294967295 134512640 134569956 3221224384 3221214452 1131271084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209149 21670 13086 16 0 209133 0
vsize: 836596
[startup+40.0022 s]
Raw data (loadavg): 1.11 1.03 1.01 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 3529 42 0 0 25 0 11 0 781265954 856674304 21799 4294967295 134512640 134569956 3221224384 3221214496 1131238807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209149 21799 13086 16 0 209133 0
vsize: 836596
[startup+50.0028 s]
Raw data (loadavg): 1.09 1.03 1.01 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 4498 43 0 0 25 0 11 0 781265954 856674304 21802 4294967295 134512640 134569956 3221224384 3221214376 1131502923 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209149 21802 13086 16 0 209133 0
vsize: 836596
[startup+60.0028 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 5459 43 0 0 25 0 11 0 781265954 856674304 21802 4294967295 134512640 134569956 3221224384 3221214520 1131480899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209149 21802 13086 16 0 209133 0
vsize: 836596
[startup+70.0034 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 6429 43 0 0 25 0 11 0 781265954 857722880 21988 4294967295 134512640 134569956 3221224384 3221214360 1131271145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209405 21988 13086 16 0 209389 0
vsize: 837620
[startup+80.0036 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 7388 43 0 0 25 0 11 0 781265954 856674304 21879 4294967295 134512640 134569956 3221224384 3221214600 1131558127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209149 21879 13086 16 0 209133 0
vsize: 836596
[startup+90.0038 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 8352 43 0 0 25 0 11 0 781265954 856674304 22372 4294967295 134512640 134569956 3221224384 3221214576 1131195417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209149 22372 13086 16 0 209133 0
vsize: 836596
[startup+100.004 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 9331 43 0 0 25 0 11 0 781265954 856674304 22372 4294967295 134512640 134569956 3221224384 3221214596 1131195379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209149 22372 13086 16 0 209133 0
vsize: 836596
[startup+110.005 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 10318 43 0 0 25 0 11 0 781265954 856674304 22492 4294967295 134512640 134569956 3221224384 3221214600 1131558471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209149 22492 13086 16 0 209133 0
vsize: 836596
[startup+120.005 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 11306 43 0 0 25 0 11 0 781265954 856674304 22648 4294967295 134512640 134569956 3221224384 3221214600 1131557946 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209149 22648 13086 16 0 209133 0
vsize: 836596
[startup+130.004 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 12294 43 0 0 25 0 11 0 781265954 856674304 22648 4294967295 134512640 134569956 3221224384 3221214596 1131446025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209149 22648 13086 16 0 209133 0
vsize: 836596
[startup+140.006 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 13282 43 0 0 25 0 11 0 781265954 856674304 22702 4294967295 134512640 134569956 3221224384 3221214456 1131502923 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209149 22702 13086 16 0 209133 0
vsize: 836596
[startup+150.006 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 14271 44 0 0 25 0 11 0 781265954 856674304 22702 4294967295 134512640 134569956 3221224384 3221214456 1131504981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 22702 13086 16 0 209133 0
vsize: 836596
[startup+160.007 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 15256 44 0 0 25 0 11 0 781265954 856674304 22758 4294967295 134512640 134569956 3221224384 3221214576 1131478706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 22758 13086 16 0 209133 0
vsize: 836596
[startup+170.007 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 16240 44 0 0 25 0 11 0 781265954 856674304 22758 4294967295 134512640 134569956 3221224384 3221214592 1131446039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 22758 13086 16 0 209133 0
vsize: 836596
[startup+180.007 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 17223 45 0 0 25 0 11 0 781265954 856674304 22812 4294967295 134512640 134569956 3221224384 3221214600 1131558224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 22812 13086 16 0 209133 0
vsize: 836596
[startup+190.007 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 18188 45 0 0 25 0 11 0 781265954 856674304 22812 4294967295 134512640 134569956 3221224384 3221214584 1131339709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209149 22812 13086 16 0 209133 0
vsize: 836596
[startup+200.007 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 19108 45 0 0 25 0 11 0 781265954 856674304 22968 4294967295 134512640 134569956 3221224384 3221214584 1131340299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 22968 13086 16 0 209133 0
vsize: 836596
[startup+210.007 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 20037 45 0 0 25 0 11 0 781265954 856674304 23072 4294967295 134512640 134569956 3221224384 3221214584 1131339803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23072 13086 16 0 209133 0
vsize: 836596
[startup+220.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 21006 46 0 0 25 0 11 0 781265954 856674304 23552 4294967295 134512640 134569956 3221224384 3221214584 1131339976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23552 13086 16 0 209133 0
vsize: 836596
[startup+230.008 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 22000 46 0 0 25 0 11 0 781265954 856674304 23562 4294967295 134512640 134569956 3221224384 3221214584 1131339952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23562 13086 16 0 209133 0
vsize: 836596
[startup+240.008 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 22996 46 0 0 25 0 11 0 781265954 856674304 23565 4294967295 134512640 134569956 3221224384 3221214584 1131339803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23565 13086 16 0 209133 0
vsize: 836596
[startup+250.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 23991 47 0 0 25 0 11 0 781265954 856674304 23567 4294967295 134512640 134569956 3221224384 3221214584 1131339803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23567 13086 16 0 209133 0
vsize: 836596
[startup+260.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 24987 47 0 0 25 0 11 0 781265954 856674304 23570 4294967295 134512640 134569956 3221224384 3221214584 1131339803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23570 13086 16 0 209133 0
vsize: 836596
[startup+270.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 25982 47 0 0 25 0 11 0 781265954 856674304 23572 4294967295 134512640 134569956 3221224384 3221214584 1131340372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23572 13086 16 0 209133 0
vsize: 836596
[startup+280.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 26976 48 0 0 25 0 11 0 781265954 856674304 23579 4294967295 134512640 134569956 3221224384 3221214584 1131339803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23579 13086 16 0 209133 0
vsize: 836596
[startup+290.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 27971 49 0 0 25 0 11 0 781265954 856674304 23594 4294967295 134512640 134569956 3221224384 3221214584 1131340345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23594 13086 16 0 209133 0
vsize: 836596
[startup+300.011 s]
Raw data (loadavg): 1.32 1.07 1.02 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 28968 50 0 0 25 0 11 0 781265954 856674304 23595 4294967295 134512640 134569956 3221224384 3221214584 1131339671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23595 13086 16 0 209133 0
vsize: 836596
[startup+310.012 s]
Raw data (loadavg): 1.34 1.08 1.03 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 29966 50 0 0 25 0 11 0 781265954 856674304 23595 4294967295 134512640 134569956 3221224384 3221214584 1131340004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23595 13086 16 0 209133 0
vsize: 836596
[startup+320.013 s]
Raw data (loadavg): 1.29 1.08 1.02 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 30962 51 0 0 25 0 11 0 781265954 856674304 23595 4294967295 134512640 134569956 3221224384 3221214584 1131339803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23595 13086 16 0 209133 0
vsize: 836596
[startup+330.012 s]
Raw data (loadavg): 1.25 1.08 1.02 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 31960 51 0 0 25 0 11 0 781265954 856674304 23597 4294967295 134512640 134569956 3221224384 3221214584 1131339857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23597 13086 16 0 209133 0
vsize: 836596
[startup+340.013 s]
Raw data (loadavg): 1.21 1.07 1.02 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 32957 52 0 0 25 0 11 0 781265954 856674304 23597 4294967295 134512640 134569956 3221224384 3221214584 1131339390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23597 13086 16 0 209133 0
vsize: 836596
[startup+350.014 s]
Raw data (loadavg): 1.17 1.07 1.02 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 33951 52 0 0 25 0 11 0 781265954 856674304 23598 4294967295 134512640 134569956 3221224384 3221214584 1131339718 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23598 13086 16 0 209133 0
vsize: 836596
[startup+360.014 s]
Raw data (loadavg): 1.15 1.07 1.02 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 34944 53 0 0 25 0 11 0 781265954 856674304 23598 4294967295 134512640 134569956 3221224384 3221214584 1131340324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23598 13086 16 0 209133 0
vsize: 836596
[startup+370.014 s]
Raw data (loadavg): 1.12 1.07 1.02 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 35936 53 0 0 25 0 11 0 781265954 856674304 23614 4294967295 134512640 134569956 3221224384 3221214680 1131422389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23614 13086 16 0 209133 0
vsize: 836596
[startup+380.014 s]
Raw data (loadavg): 1.10 1.06 1.02 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 36932 54 0 0 25 0 11 0 781265954 856674304 23622 4294967295 134512640 134569956 3221224384 3221214600 1131557844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23622 13086 16 0 209133 0
vsize: 836596
[startup+390.014 s]
Raw data (loadavg): 1.09 1.06 1.02 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 37928 54 0 0 25 0 11 0 781265954 856674304 23622 4294967295 134512640 134569956 3221224384 3221214600 1131558476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23622 13086 16 0 209133 0
vsize: 836596
[startup+400.014 s]
Raw data (loadavg): 1.07 1.06 1.02 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 38924 55 0 0 25 0 11 0 781265954 856674304 23623 4294967295 134512640 134569956 3221224384 3221214600 1131557079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209149 23623 13086 16 0 209133 0
vsize: 836596
[startup+410.014 s]
Raw data (loadavg): 1.06 1.06 1.02 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 39919 55 0 0 25 0 11 0 781265954 856674304 23624 4294967295 134512640 134569956 3221224384 3221214600 1131557819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23624 13086 16 0 209133 0
vsize: 836596
[startup+420.015 s]
Raw data (loadavg): 1.05 1.05 1.02 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 40914 56 0 0 24 0 11 0 781265954 856674304 23626 4294967295 134512640 134569956 3221224384 3221214456 1131504293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23626 13086 16 0 209133 0
vsize: 836596
[startup+430.014 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 41911 56 0 0 25 0 11 0 781265954 856674304 23627 4294967295 134512640 134569956 3221224384 3221214504 1131271406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23627 13086 16 0 209133 0
vsize: 836596
[startup+440.014 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 42907 56 0 0 25 0 11 0 781265954 856674304 23628 4294967295 134512640 134569956 3221224384 3221214456 1131503511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23628 13086 16 0 209133 0
vsize: 836596
[startup+450.014 s]
Raw data (loadavg): 1.03 1.05 1.01 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 43902 56 0 0 25 0 11 0 781265954 856674304 23628 4294967295 134512640 134569956 3221224384 3221214600 1131558081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23628 13086 16 0 209133 0
vsize: 836596
[startup+460.016 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 44897 57 0 0 25 0 11 0 781265954 856674304 23662 4294967295 134512640 134569956 3221224384 3221214456 1131504244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23662 13086 16 0 209133 0
vsize: 836596
[startup+470.016 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 45894 57 0 0 25 0 11 0 781265954 856674304 23662 4294967295 134512640 134569956 3221224384 3221214600 1131558066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23662 13086 16 0 209133 0
vsize: 836596
[startup+480.015 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 46890 58 0 0 25 0 11 0 781265954 856674304 23662 4294967295 134512640 134569956 3221224384 3221214504 1131271276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23662 13086 16 0 209133 0
vsize: 836596
[startup+490.016 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 47887 58 0 0 25 0 11 0 781265954 856674304 23662 4294967295 134512640 134569956 3221224384 3221214456 1131503332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23662 13086 16 0 209133 0
vsize: 836596
[startup+500.016 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 48884 58 0 0 25 0 11 0 781265954 856674304 23662 4294967295 134512640 134569956 3221224384 3221214600 1131558066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23662 13086 16 0 209133 0
vsize: 836596
[startup+510.016 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 49880 59 0 0 25 0 11 0 781265954 856674304 23662 4294967295 134512640 134569956 3221224384 3221214600 1131557659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209149 23662 13086 16 0 209133 0
vsize: 836596
[startup+520.017 s]
Raw data (loadavg): 1.01 1.03 1.01 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 50876 59 0 0 25 0 11 0 781265954 856674304 23662 4294967295 134512640 134569956 3221224384 3221214600 1131558224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209149 23662 13086 16 0 209133 0
vsize: 836596
[startup+530.017 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 51873 59 0 0 25 0 11 0 781265954 856674304 23662 4294967295 134512640 134569956 3221224384 3221214600 1131558005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23662 13086 16 0 209133 0
vsize: 836596
[startup+540.017 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 52869 59 0 0 25 0 11 0 781265954 856674304 23662 4294967295 134512640 134569956 3221224384 3221214596 1131195376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23662 13086 16 0 209133 0
vsize: 836596
[startup+550.017 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 53867 60 0 0 25 0 11 0 781265954 856674304 23707 4294967295 134512640 134569956 3221224384 3221214504 1131271445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209149 23707 13086 16 0 209133 0
vsize: 836596
[startup+560.018 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 54866 60 0 0 25 0 11 0 781265954 856674304 23707 4294967295 134512640 134569956 3221224384 3221214504 1131271461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23707 13086 16 0 209133 0
vsize: 836596
[startup+570.018 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 55865 60 0 0 25 0 11 0 781265954 856674304 23707 4294967295 134512640 134569956 3221224384 3221214456 1131503343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23707 13086 16 0 209133 0
vsize: 836596
[startup+580.018 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 56860 61 0 0 25 0 11 0 781265954 856674304 23707 4294967295 134512640 134569956 3221224384 3221214600 1131558072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23707 13086 16 0 209133 0
vsize: 836596
[startup+590.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 57854 61 0 0 25 0 11 0 781265954 856674304 23707 4294967295 134512640 134569956 3221224384 3221214600 1131557718 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23707 13086 16 0 209133 0
vsize: 836596
[startup+600.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 58849 61 0 0 25 0 11 0 781265954 856674304 23707 4294967295 134512640 134569956 3221224384 3221214600 1131557119 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209149 23707 13086 16 0 209133 0
vsize: 836596
[startup+610.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 59842 62 0 0 25 0 11 0 781265954 856674304 23707 4294967295 134512640 134569956 3221224384 3221214504 1131271165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23707 13086 16 0 209133 0
vsize: 836596
[startup+620.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 60836 62 0 0 25 0 11 0 781265954 856674304 23707 4294967295 134512640 134569956 3221224384 3221214572 1130885157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23707 13086 16 0 209133 0
vsize: 836596
[startup+630.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 61830 62 0 0 25 0 11 0 781265954 856674304 23707 4294967295 134512640 134569956 3221224384 3221214600 1131557079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23707 13086 16 0 209133 0
vsize: 836596
[startup+640.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 62823 62 0 0 25 0 11 0 781265954 856674304 23707 4294967295 134512640 134569956 3221224384 3221214600 1131558066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23707 13086 16 0 209133 0
vsize: 836596
[startup+650.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 63817 63 0 0 24 0 11 0 781265954 856674304 23707 4294967295 134512640 134569956 3221224384 3221214456 1131504267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23707 13086 16 0 209133 0
vsize: 836596
[startup+660.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 64813 63 0 0 25 0 11 0 781265954 856674304 23795 4294967295 134512640 134569956 3221224384 3221214504 1131271109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23795 13086 16 0 209133 0
vsize: 836596
[startup+670.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 65809 64 0 0 25 0 11 0 781265954 856674304 23795 4294967295 134512640 134569956 3221224384 3221214504 1131272144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209149 23795 13086 16 0 209133 0
vsize: 836596
[startup+680.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 66805 64 0 0 25 0 11 0 781265954 856674304 23795 4294967295 134512640 134569956 3221224384 3221214600 1131557978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23795 13086 16 0 209133 0
vsize: 836596
[startup+690.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 67802 64 0 0 25 0 11 0 781265954 856674304 23795 4294967295 134512640 134569956 3221224384 3221214456 1131502923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23795 13086 16 0 209133 0
vsize: 836596
[startup+700.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 68799 64 0 0 25 0 11 0 781265954 856674304 23795 4294967295 134512640 134569956 3221224384 3221214600 1131558066 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209149 23795 13086 16 0 209133 0
vsize: 836596
[startup+710.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 69796 64 0 0 25 0 11 0 781265954 856674304 23795 4294967295 134512640 134569956 3221224384 3221214504 1131271406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23795 13086 16 0 209133 0
vsize: 836596
[startup+720.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 70792 65 0 0 25 0 11 0 781265954 856674304 23795 4294967295 134512640 134569956 3221224384 3221214504 1131271276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23795 13086 16 0 209133 0
vsize: 836596
[startup+730.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 71789 65 0 0 25 0 11 0 781265954 856674304 23796 4294967295 134512640 134569956 3221224384 3221214504 1131271232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209149 23796 13086 16 0 209133 0
vsize: 836596
[startup+740.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 72785 65 0 0 25 0 11 0 781265954 856674304 23841 4294967295 134512640 134569956 3221224384 3221214456 1131504209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23841 13086 16 0 209133 0
vsize: 836596
[startup+750.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 73784 65 0 0 25 0 11 0 781265954 856674304 23841 4294967295 134512640 134569956 3221224384 3221214456 1131504333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23841 13086 16 0 209133 0
vsize: 836596
[startup+760.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 74783 65 0 0 25 0 11 0 781265954 856674304 23841 4294967295 134512640 134569956 3221224384 3221214456 1131503332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209149 23841 13086 16 0 209133 0
vsize: 836596
[startup+770.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 75781 65 0 0 25 0 11 0 781265954 856674304 23841 4294967295 134512640 134569956 3221224384 3221214704 1131488172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23841 13086 16 0 209133 0
vsize: 836596
[startup+780.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 76775 65 0 0 25 0 11 0 781265954 856674304 23841 4294967295 134512640 134569956 3221224384 3221214600 1131557844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23841 13086 16 0 209133 0
vsize: 836596
[startup+790.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 77768 66 0 0 25 0 11 0 781265954 856674304 23841 4294967295 134512640 134569956 3221224384 3221214576 1131195412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23841 13086 16 0 209133 0
vsize: 836596
[startup+800.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 78761 66 0 0 25 0 11 0 781265954 856674304 23841 4294967295 134512640 134569956 3221224384 3221214456 1131503426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23841 13086 16 0 209133 0
vsize: 836596
[startup+810.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 79754 66 0 0 25 0 11 0 781265954 856674304 23841 4294967295 134512640 134569956 3221224384 3221214456 1131502923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23841 13086 16 0 209133 0
vsize: 836596
[startup+820.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 80747 66 0 0 25 0 11 0 781265954 856674304 23841 4294967295 134512640 134569956 3221224384 3221214600 1131557844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23841 13086 16 0 209133 0
vsize: 836596
[startup+830.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 81740 66 0 0 25 0 11 0 781265954 856674304 23841 4294967295 134512640 134569956 3221224384 3221214456 1131502923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23841 13086 16 0 209133 0
vsize: 836596
[startup+840.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 82733 67 0 0 25 0 11 0 781265954 856674304 23841 4294967295 134512640 134569956 3221224384 3221214600 1131557795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23841 13086 16 0 209133 0
vsize: 836596
[startup+850.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 83728 67 0 0 25 0 11 0 781265954 856674304 23897 4294967295 134512640 134569956 3221224384 3221214504 1131272144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209149 23897 13086 16 0 209133 0
vsize: 836596
[startup+860.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 84723 67 0 0 25 0 11 0 781265954 856674304 23930 4294967295 134512640 134569956 3221224384 3221214600 1131557264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23930 13086 16 0 209133 0
vsize: 836596
[startup+870.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 85719 68 0 0 25 0 11 0 781265954 856674304 23930 4294967295 134512640 134569956 3221224384 3221214600 1131557806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23930 13086 16 0 209133 0
vsize: 836596
[startup+880.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 86714 68 0 0 25 0 11 0 781265954 856674304 23930 4294967295 134512640 134569956 3221224384 3221214456 1131503426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23930 13086 16 0 209133 0
vsize: 836596
[startup+890.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 87711 68 0 0 25 0 11 0 781265954 856674304 23930 4294967295 134512640 134569956 3221224384 3221214504 1131271406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23930 13086 16 0 209133 0
vsize: 836596
[startup+900.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 88707 68 0 0 25 0 11 0 781265954 856674304 23930 4294967295 134512640 134569956 3221224384 3221214504 1131271445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23930 13086 16 0 209133 0
vsize: 836596
[startup+910.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 89704 68 0 0 25 0 11 0 781265954 856674304 23930 4294967295 134512640 134569956 3221224384 3221214600 1131557844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23930 13086 16 0 209133 0
vsize: 836596
[startup+920.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 90701 68 0 0 25 0 11 0 781265954 856674304 23930 4294967295 134512640 134569956 3221224384 3221214600 1131557079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23930 13086 16 0 209133 0
vsize: 836596
[startup+930.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 91697 69 0 0 25 0 11 0 781265954 856674304 23930 4294967295 134512640 134569956 3221224384 3221214600 1131558224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23930 13086 16 0 209133 0
vsize: 836596
[startup+940.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 92693 69 0 0 25 0 11 0 781265954 856674304 23976 4294967295 134512640 134569956 3221224384 3221214600 1131557879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23976 13086 16 0 209133 0
vsize: 836596
[startup+950.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 93688 69 0 0 25 0 11 0 781265954 856674304 23976 4294967295 134512640 134569956 3221224384 3221214600 1131557056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23976 13086 16 0 209133 0
vsize: 836596
[startup+960.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 94682 70 0 0 25 0 11 0 781265954 856674304 23976 4294967295 134512640 134569956 3221224384 3221214572 1130885243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23976 13086 16 0 209133 0
vsize: 836596
[startup+970.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 95675 71 0 0 25 0 11 0 781265954 856674304 23976 4294967295 134512640 134569956 3221224384 3221214504 1131271556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23976 13086 16 0 209133 0
vsize: 836596
[startup+980.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 96668 71 0 0 25 0 11 0 781265954 856674304 23976 4294967295 134512640 134569956 3221224384 3221214504 1131271406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23976 13086 16 0 209133 0
vsize: 836596
[startup+990.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 97662 71 0 0 25 0 11 0 781265954 856674304 23976 4294967295 134512640 134569956 3221224384 3221214504 1131271432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23976 13086 16 0 209133 0
vsize: 836596
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 98655 71 0 0 25 0 11 0 781265954 856674304 23976 4294967295 134512640 134569956 3221224384 3221214572 1130885157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23976 13086 16 0 209133 0
vsize: 836596
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 99651 72 0 0 25 0 11 0 781265954 856674304 23976 4294967295 134512640 134569956 3221224384 3221214504 1131271556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 23976 13086 16 0 209133 0
vsize: 836596
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 100645 72 0 0 25 0 11 0 781265954 856674304 24031 4294967295 134512640 134569956 3221224384 3221214576 1131195423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 24031 13086 16 0 209133 0
vsize: 836596
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 101641 72 0 0 25 0 11 0 781265954 856674304 24064 4294967295 134512640 134569956 3221224384 3221214600 1131558224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 24064 13086 16 0 209133 0
vsize: 836596
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 102638 73 0 0 25 0 11 0 781265954 856674304 24064 4294967295 134512640 134569956 3221224384 3221214504 1131271406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 24064 13086 16 0 209133 0
vsize: 836596
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 103634 73 0 0 25 0 11 0 781265954 856674304 24064 4294967295 134512640 134569956 3221224384 3221214456 1131503358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 24064 13086 16 0 209133 0
vsize: 836596
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 104631 73 0 0 25 0 11 0 781265954 856674304 24064 4294967295 134512640 134569956 3221224384 3221214456 1131502923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 24064 13086 16 0 209133 0
vsize: 836596
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 105627 73 0 0 25 0 11 0 781265954 856674304 24064 4294967295 134512640 134569956 3221224384 3221214600 1131558224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 24064 13086 16 0 209133 0
vsize: 836596
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 106624 74 0 0 25 0 11 0 781265954 856674304 24064 4294967295 134512640 134569956 3221224384 3221214600 1131557079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 24064 13086 16 0 209133 0
vsize: 836596
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 107621 74 0 0 25 0 11 0 781265954 856674304 24064 4294967295 134512640 134569956 3221224384 3221214456 1131503332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 24064 13086 16 0 209133 0
vsize: 836596
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 108617 74 0 0 25 0 11 0 781265954 856674304 24064 4294967295 134512640 134569956 3221224384 3221214600 1131558209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 24064 13086 16 0 209133 0
vsize: 836596
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 109613 75 0 0 25 0 11 0 781265954 856674304 24109 4294967295 134512640 134569956 3221224384 3221214504 1131271445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 24109 13086 16 0 209133 0
vsize: 836596
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 110610 75 0 0 25 0 11 0 781265954 856674304 24109 4294967295 134512640 134569956 3221224384 3221214504 1131271526 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 24109 13086 16 0 209133 0
vsize: 836596
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 111603 75 0 0 25 0 11 0 781265954 856674304 24109 4294967295 134512640 134569956 3221224384 3221214504 1131271556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 24109 13086 16 0 209133 0
vsize: 836596
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 112597 76 0 0 25 0 11 0 781265954 856674304 24109 4294967295 134512640 134569956 3221224384 3221214456 1131503377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209149 24109 13086 16 0 209133 0
vsize: 836596
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 113590 76 0 0 25 0 11 0 781265954 856674304 24109 4294967295 134512640 134569956 3221224384 3221214456 1131503343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 24109 13086 16 0 209133 0
vsize: 836596
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 114584 76 0 0 25 0 11 0 781265954 856674304 24109 4294967295 134512640 134569956 3221224384 3221214600 1131557747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 24109 13086 16 0 209133 0
vsize: 836596
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 115577 77 0 0 25 0 11 0 781265954 856674304 24109 4294967295 134512640 134569956 3221224384 3221214456 1131503426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 24109 13086 16 0 209133 0
vsize: 836596
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 116571 77 0 0 25 0 11 0 781265954 856674304 24109 4294967295 134512640 134569956 3221224384 3221214600 1131557844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 24109 13086 16 0 209133 0
vsize: 836596
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 117565 78 0 0 25 0 11 0 781265954 856674304 24198 4294967295 134512640 134569956 3221224384 3221214456 1131503336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 24198 13086 16 0 209133 0
vsize: 836596
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 118562 78 0 0 25 0 11 0 781265954 856674304 24198 4294967295 134512640 134569956 3221224384 3221214600 1131558066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 24198 13086 16 0 209133 0
vsize: 836596
[startup+1210.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 119560 78 0 0 25 0 11 0 781265954 856674304 24198 4294967295 134512640 134569956 3221224384 3221214456 1131503040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 24198 13086 16 0 209133 0
vsize: 836596
[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10492
Raw data (stat): 10481 (java) R 10480 24300 24299 0 -1 0 18131 4 1 0 120556 78 0 0 25 0 11 0 781265954 856674304 24198 4294967295 134512640 134569956 3221224384 3221214456 1131502923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209149 24198 13086 16 0 209133 0
vsize: 836596
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.66 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 10494
Raw data (stat): 10481 (java) Z 10480 24300 24299 0 -1 1036 18131 10261 1 0 120613 83 2474 39 25 0 1 0 781265954 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.66
CPU time (s): 1232.12
CPU user time (s): 1230.88
CPU system time (s): 1.23381
CPU usage (%): 100.938
Max. virtual memory (Kb): 837620
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####