PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran13x13.opb
MD5SUM	52c9f5bb9e744e5b269906d75a40a640
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	8418073
Optimality of the best value was proved	NO
Number of terms in the objective function	5239
Biggest coefficient in the objective function	5368709120
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	968548072570
Number of bits of the sum of numbers in the objective function	40
Biggest number in a constraint	5368709120
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	968548072570
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1254.31
Number of variables	5239
Total number of constraints	195
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	195
Minimum length of a constraint	31
Maximum length of a constraint	390
Trace number 29708

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-05-25 10:37:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21112 boxname=wulflinc19 idbench=1100 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  52c9f5bb9e744e5b269906d75a40a640  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-ran13x13.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-ran13x13.opb
IDLAUNCH: 21112
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        492984 kB
Buffers:         33228 kB
Cached:         481728 kB
SwapCached:        416 kB
Active:          47200 kB
Inactive:       470004 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        492732 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            18796 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 10:58:14 (client local time) WITH STATUS 143 IN 1254.31 SECONDS
stats: 21112 0 1254.31 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/wulflinc19/normalized-mps-v2-20-10-ran13x13.opb
c reading problem ... done. Time 12.014 ms.
c #vars     5239
c #constraints  221
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=             8418073 		Current CPU time: 40.31 ms
c starts	: 2
c conflicts	: 74
c decisions	: 25754
c propagations	: 74157
c inspects	: 216617
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 74
c root simplifications	: 62
s SATISFIABLE
v -X0_bit_10 -X0_bit_9 -X0_bit_8 -X0_bit_7 -X0_bit_6 -X0_bit_5 -X0_bit_4 -X0_bit_3 -X0_bit_2 -X0_bit_1 -X0_bit0 X0_bit1 -X0_bit2 X0_bit3 -X0_bit4 -X0_bit5 -X0_bit6 -X0_bit7 -X0_bit8 -X0_bit9 -X0_bit10 -X0_bit11 -X0_bit12 -X0_bit13 -X0_bit14 -X0_bit15 -X0_bit16 -X0_bit17 -X0_bit18 -X0_bit19 -X1_bit_10 -X1_bit_9 -X1_bit_8 -X1_bit_7 -X1_bit_6 -X1_bit_5 -X1_bit_4 -X1_bit_3 -X1_bit_2 -X1_bit_1 -X1_bit0 -X1_bit1 -X1_bit2 -X1_bit3 -X1_bit4 -X1_bit5 -X1_bit6 -X1_bit7 -X1_bit8 -X1_bit9 -X1_bit10 -X1_bit11 -X1_bit12 -X1_bit13 -X1_bit14 -X1_bit15 -X1_bit16 -X1_bit17 -X1_bit18 -X1_bit19 -X2_bit_10 -X2_bit_9 -X2_bit_8 -X2_bit_7 -X2_bit_6 -X2_bit_5 -X2_bit_4 -X2_bit_3 -X2_bit_2 -X2_bit_1 -X2_bit0 -X2_bit1 -X2_bit2 -X2_bit3 -X2_bit4 -X2_bit5 -X2_bit6 -X2_bit7 -X2_bit8 -X2_bit9 -X2_bit10 -X2_bit11 -X2_bit12 -X2_bit13 -X2_bit14 -X2_bit15 -X2_bit16 -X2_bit17 -X2_bit18 -X2_bit19 -X3_bit_10 -X3_bit_9 -X3_bit_8 -X3_bit_7 -X3_bit_6 -X3_bit_5 -X3_bit_4 -X3_bit_3 -X3_bit_2 -X3_bit_1 -X3_bit0 -X3_bit1 -X3_bit2 -X3_bit3 -X3_bit4 -X3_bit5 -X3_bit6 -X3_bit7 -X3_bit8 -X3_bit9 -X3_bit10 -X3_bit11 -X3_bit12 -X3_bit13 -X3_bit14 -X3_bit15 -X3_bit16 -X3_bit17 -X3_bit18 -X3_bit19 -X4_bit_10 -X4_bit_9 -X4_bit_8 -X4_bit_7 -X4_bit_6 -X4_bit_5 -X4_bit_4 -X4_bit_3 -X4_bit_2 -X4_bit_1 -X4_bit0 -X4_bit1 -X4_bit2 -X4_bit3 -X4_bit4 -X4_bit5 -X4_bit6 -X4_bit7 -X4_bit8 -X4_bit9 -X4_bit10 -X4_bit11 -X4_bit12 -X4_bit13 -X4_bit14 -X4_bit15 -X4_bit16 -X4_bit17 -X4_bit18 -X4_bit19 -X5_bit_10 -X5_bit_9 -X5_bit_8 -X5_bit_7 -X5_bit_6 -X5_bit_5 -X5_bit_4 -X5_bit_3 -X5_bit_2 -X5_bit_1 -X5_bit0 -X5_bit1 X5_bit2 -X5_bit3 -X5_bit4 -X5_bit5 -X5_bit6 -X5_bit7 -X5_bit8 -X5_bit9 -X5_bit10 -X5_bit11 -X5_bit12 -X5_bit13 -X5_bit14 -X5_bit15 -X5_bit16 -X5_bit17 -X5_bit18 -X5_bit19 -X6_bit_10 -X6_bit_9 -X6_bit_8 -X6_bit_7 -X6_bit_6 -X6_bit_5 -X6_bit_4 -X6_bit_3 -X6_bit_2 -X6_bit_1 -X6_bit0 -X6_bit1 -X6_bit2 -X6_bit3 -X6_bit4 -X6_bit5 -X6_bit6 -X6_bit7 -X6_bit8 -X6_bit9 -X6_bit10 -X6_bit11 -X6_bit12 -X6_bit13 -X6_bit14 -X6_bit15 -X6_bit16 -X6_bit17 -X6_bit18 -X6_bit19 -X7_bit_10 -X7_bit_9 -X7_bit_8 -X7_bit_7 -X7_bit_6 -X7_bit_5 -X7_bit_4 -X7_bit_3 -X7_bit_2 -X7_bit_1 -X7_bit0 -X7_bit1 -X7_bit2 -X7_bit3 -X7_bit4 -X7_bit5 -X7_bit6 -X7_bit7 -X7_bit8 -X7_bit9 -X7_bit10 -X7_bit11 -X7_bit12 -X7_bit13 -X7_bit14 -X7_bit15 -X7_bit16 -X7_bit17 -X7_bit18 -X7_bit19 -X8_bit_10 -X8_bit_9 -X8_bit_8 -X8_bit_7 -X8_bit_6 -X8_bit_5 -X8_bit_4 -X8_bit_3 -X8_bit_2 -X8_bit_1 -X8_bit0 -X8_bit1 -X8_bit2 -X8_bit3 -X8_bit4 -X8_bit5 -X8_bit6 -X8_bit7 -X8_bit8 -X8_bit9 -X8_bit10 -X8_bit11 -X8_bit12 -X8_bit13 -X8_bit14 -X8_bit15 -X8_bit16 -X8_bit17 -X8_bit18 -X8_bit19 -X9_bit_10 -X9_bit_9 -X9_bit_8 -X9_bit_7 -X9_bit_6 -X9_bit_5 -X9_bit_4 -X9_bit_3 -X9_bit_2 -X9_bit_1 -X9_bit0 -X9_bit1 -X9_bit2 -X9_bit3 -X9_bit4 -X9_bit5 -X9_bit6 -X9_bit7 -X9_bit8 -X9_bit9 -X9_bit10 -X9_bit11 -X9_bit12 -X9_bit13 -X9_bit14 -X9_bit15 -X9_bit16 -X9_bit17 -X9_bit18 -X9_bit19 -X10_bit_10 -X10_bit_9 -X10_bit_8 -X10_bit_7 -X10_bit_6 -X10_bit_5 -X10_bit_4 -X10_bit_3 -X10_bit_2 -X10_bit_1 -X10_bit0 -X10_bit1 -X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit10 -X10_bit11 -X10_bit12 -X10_bit13 -X10_bit14 -X10_bit15 -X10_bit16 -X10_bit17 -X10_bit18 -X10_bit19 -X11_bit_10 -X11_bit_9 -X11_bit_8 -X11_bit_7 -X11_bit_6 -X11_bit_5 -X11_bit_4 -X11_bit_3 -X11_bit_2 -X11_bit_1 -X11_bit0 -X11_bit1 -X11_bit2 -X11_bit3 -X11_bit4 -X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 -X11_bit12 -X11_bit13 -X11_bit14 -X11_bit15 -X11_bit16 -X11_bit17 -X11_bit18 -X11_bit19 -X12_bit_10 -X12_bit_9 -X12_bit_8 -X12_bit_7 -X12_bit_6 -X12_bit_5 -X12_bit_4 -X12_bit_3 -X12_bit_2 -X12_bit_1 -X12_bit0 -X12_bit1 -X12_bit2 -X12_bit3 -X12_bit4 -X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit10 -X12_bit11 -X12_bit12 -X12_bit13 -X12_bit14 -X12_bit15 -X12_bit16 -X12_bit17 -X12_bit18 -X12_bit19 -X13_bit_10 -X13_bit_9 -X13_bit_8 -X13_bit_7 -X13_bit_6 -X13_bit_5 -X13_bit_4 -X13_bit_3 -X13_bit_2 -X13_bit_1 -X13_bit0 -X13_bit1 -X13_bit2 -X13_bit3 -X13_bit4 -X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit10 -X13_bit11 -X13_bit12 -X13_bit13 -X13_bit14 -X13_bit15 -X13_bit16 -X13_bit17 -X13_bit18 -X13_bit19 -X14_bit_10 -X14_bit_9 -X14_bit_8 -X14_bit_7 -X14_bit_6 -X14_bit_5 -X14_bit_4 -X14_bit_3 -X14_bit_2 -X14_bit_1 -X14_bit0 -X14_bit1 -X14_bit2 -X14_bit3 -X14_bit4 -X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 -X14_bit13 -X14_bit14 -X14_bit15 -X14_bit16 -X14_bit17 -X14_bit18 -X14_bit19 -X15_bit_10 -X15_bit_9 -X15_bit_8 -X15_bit_7 -X15_bit_6 -X15_bit_5 -X15_bit_4 -X15_bit_3 -X15_bit_2 -X15_bit_1 -X15_bit0 -X15_bit1 -X15_bit2 -X15_bit3 -X15_bit4 -X15_bit5 -X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 -X15_bit13 -X15_bit14 -X15_bit15 -X15_bit16 -X15_bit17 -X15_bit18 -X15_bit19 -X16_bit_10 -X16_bit_9 -X16_bit_8 -X16_bit_7 -X16_bit_6 -X16_bit_5 -X16_bit_4 -X16_bit_3 -X16_bit_2 -X16_bit_1 -X16_bit0 -X16_bit1 -X16_bit2 -X16_bit3 -X16_bit4 -X16_bit5 -X16_bit6 -X16_bit7 -X16_bit8 -X16_bit9 -X16_bit10 -X16_bit11 -X16_bit12 -X16_bit13 -X16_bit14 -X16_bit15 -X16_bit16 -X16_bit17 -X16_bit18 -X16_bit19 -X17_bit_10 -X17_bit_9 -X17_bit_8 -X17_bit_7 -X17_bit_6 -X17_bit_5 -X17_bit_4 -X17_bit_3 -X17_bit_2 -X17_bit_1 -X17_bit0 -X17_bit1 -X17_bit2 -X17_bit3 -X17_bit4 -X17_bit5 -X17_bit6 -X17_bit7 -X17_bit8 -X17_bit9 -X17_bit10 -X17_bit11 -X17_bit12 -X17_bit13 -X17_bit14 -X17_bit15 -X17_bit16 -X17_bit17 -X17_bit18 -X17_bit19 -X18_bit_10 -X18_bit_9 -X18_bit_8 -X18_bit_7 -X18_bit_6 -X18_bit_5 -X18_bit_4 -X18_bit_3 -X18_bit_2 -X18_bit_1 -X18_bit0 -X18_bit1 -X18_bit2 -X18_bit3 -X18_bit4 -X18_bit5 -X18_bit6 -X18_bit7 -X18_bit8 -X18_bit9 -X18_bit10 -X18_bit11 -X18_bit12 -X18_bit13 -X18_bit14 -X18_bit15 -X18_bit16 -X18_bit17 -X18_bit18 -X18_bit19 -X19_bit_10 -X19_bit_9 -X19_bit_8 -X19_bit_7 -X19_bit_6 -X19_bit_5 -X19_bit_4 -X19_bit_3 -X19_bit_2 -X19_bit_1 -X19_bit0 -X19_bit1 -X19_bit2 -X19_bit3 -X19_bit4 -X19_bit5 -X19_bit6 -X19_bit7 -X19_bit8 -X19_bit9 -X19_bit10 -X19_bit11 -X19_bit12 -X19_bit13 -X19_bit14 -X19_bit15 -X19_bit16 -X19_bit17 -X19_bit18 -X19_bit19 -X20_bit_10 -X20_bit_9 -X20_bit_8 -X20_bit_7 -X20_bit_6 -X20_bit_5 -X20_bit_4 -X20_bit_3 -X20_bit_2 -X20_bit_1 -X20_bit0 -X20_bit1 -X20_bit2 -X20_bit3 -X20_bit4 -X20_bit5 -X20_bit6 -X20_bit7 -X20_bit8 -X20_bit9 -X20_bit10 -X20_bit11 -X20_bit12 -X20_bit13 -X20_bit14 -X20_bit15 -X20_bit16 -X20_bit17 -X20_bit18 -X20_bit19 X21_bit_10 X21_bit_9 X21_bit_8 X21_bit_7 X21_bit_6 X21_bit_5 X21_bit_4 X21_bit_3 X21_bit_2 X21_bit_1 -X21_bit0 -X21_bit1 X21_bit2 -X21_bit3 X21_bit4 -X21_bit5 -X21_bit6 -X21_bit7 -X21_bit8 -X21_bit9 -X21_bit10 -X21_bit11 -X21_bit12 -X21_bit13 -X21_bit14 -X21_bit15 -X21_bit16 -X21_bit17 -X21_bit18 -X21_bit19 X22_bit_10 -X22_bit_9 -X22_bit_8 -X22_bit_7 -X22_bit_6 -X22_bit_5 -X22_bit_4 -X22_bit_3 -X22_bit_2 -X22_bit_1 -X22_bit0 -X22_bit1 -X22_bit2 -X22_bit3 -X22_bit4 -X22_bit5 -X22_bit6 -X22_bit7 -X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 -X22_bit13 -X22_bit14 -X22_bit15 -X22_bit16 -X22_bit17 -X22_bit18 -X22_bit19 -X23_bit_10 -X23_bit_9 -X23_bit_8 -X23_bit_7 -X23_bit_6 -X23_bit_5 -X23_bit_4 -X23_bit_3 -X23_bit_2 -X23_bit_1 -X23_bit0 -X23_bit1 -X23_bit2 -X23_bit3 -X23_bit4 -X23_bit5 -X23_bit6 -X23_bit7 -X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 -X23_bit13 -X23_bit14 -X23_bit15 -X23_bit16 -X23_bit17 -X23_bit18 -X23_bit19 -X24_bit_10 -X24_bit_9 -X24_bit_8 -X24_bit_7 -X24_bit_6 -X24_bit_5 -X24_bit_4 -X24_bit_3 -X24_bit_2 -X24_bit_1 -X24_bit0 -X24_bit1 -X24_bit2 -X24_bit3 -X24_bit4 -X24_bit5 -X24_bit6 -X24_bit7 -X24_bit8 -X24_bit9 -X24_bit10 -X24_bit11 -X24_bit12 -X24_bit13 -X24_bit14 -X24_bit15 -X24_bit16 -X24_bit17 -X24_bit18 -X24_bit19 -X25_bit_10 -X25_bit_9 -X25_bit_8 -X25_bit_7 -X25_bit_6 -X25_bit_5 -X25_bit_4 -X25_bit_3 -X25_bit_2 -X25_bit_1 -X25_bit0 -X25_bit1 -X25_bit2 -X25_bit3 -X25_bit4 -X25_bit5 -X25_bit6 -X25_bit7 -X25_bit8 -X25_bit9 -X25_bit10 -X25_bit11 -X25_bit12 -X25_bit13 -X25_bit14 -X25_bit15 -X25_bit16 -X25_bit17 -X25_bit18 -X25_bit19 -X26_bit_10 -X26_bit_9 -X26_bit_8 -X26_bit_7 -X26_bit_6 -X26_bit_5 -X26_bit_4 -X26_bit_3 -X26_bit_2 -X26_bit_1 -X26_bit0 -X26_bit1 -X26_bit2 -X26_bit3 -X26_bit4 -X26_bit5 -X26_bit6 -X26_bit7 -X26_bit8 -X26_bit9 -X26_bit10 -X26_bit11 -X26_bit12 -X26_bit13 -X26_bit14 -X26_bit15 -X26_bit16 -X26_bit17 -X26_bit18 -X26_bit19 -X27_bit_10 -X27_bit_9 -X27_bit_8 -X27_bit_7 -X27_bit_6 -X27_bit_5 -X27_bit_4 -X27_bit_3 -X27_bit_2 -X27_bit_1 -X27_bit0 -X27_bit1 -X27_bit2 X27_bit3 -X27_bit4 -X27_bit5 -X27_bit6 -X27_bit7 -X27_bit8 -X27_bit9 -X27_bit10 -X27_bit11 -X27_bit12 -X27_bit13 -X27_bit14 -X27_bit15 -X27_bit16 -X27_bit17 -X27_bit18 -X27_bit19 -X28_bit_10 -X28_bit_9 -X28_bit_8 -X28_bit_7 -X28_bit_6 -X28_bit_5 -X28_bit_4 -X28_bit_3 -X28_bit_2 -X28_bit_1 -X28_bit0 X28_bit1 -X28_bit2 -X28_bit3 -X28_bit4 -X28_bit5 -X28_bit6 -X28_bit7 -X28_bit8 -X28_bit9 -X28_bit10 -X28_bit11 -X28_bit12 -X28_bit13 -X28_bit14 -X28_bit15 -X28_bit16 -X28_bit17 -X28_bit18 -X28_bit19 -X29_bit_10 -X29_bit_9 -X29_bit_8 -X29_bit_7 -X29_bit_6 -X29_bit_5 -X29_bit_4 -X29_bit_3 -X29_bit_2 -X29_bit_1 -X29_bit0 -X29_bit1 -X29_bit2 -X29_bit3 -X29_bit4 -X29_bit5 -X29_bit6 -X29_bit7 -X29_bit8 -X29_bit9 -X29_bit10 -X29_bit11 -X29_bit12 -X29_bit13 -X29_bit14 -X29_bit15 -X29_bit16 -X29_bit17 -X29_bit18 -X29_bit19 -X30_bit_10 -X30_bit_9 -X30_bit_8 -X30_bit_7 -X30_bit_6 -X30_bit_5 -X30_bit_4 -X30_bit_3 -X30_bit_2 -X30_bit_1 -X30_bit0 -X30_bit1 -X30_bit2 -X30_bit3 -X30_bit4 -X30_bit5 -X30_bit6 -X30_bit7 -X30_bit8 -X30_bit9 -X30_bit10 -X30_bit11 -X30_bit12 -X30_bit13 -X30_bit14 -X30_bit15 -X30_bit16 -X30_bit17 -X30_bit18 -X30_bit19 -X31_bit_10 -X31_bit_9 -X31_bit_8 -X31_bit_7 -X31_bit_6 -X31_bit_5 -X31_bit_4 -X31_bit_3 -X31_bit_2 -X31_bit_1 X31_bit0 -X31_bit1 -X31_bit2 -X31_bit3 -X31_bit4 -X31_bit5 -X31_bit6 -X31_bit7 -X31_bit8 -X31_bit9 -X31_bit10 -X31_bit11 -X31_bit12 -X31_bit13 -X31_bit14 -X31_bit15 -X31_bit16 -X31_bit17 -X31_bit18 -X31_bit19 -X32_bit_10 -X32_bit_9 -X32_bit_8 -X32_bit_7 -X32_bit_6 -X32_bit_5 -X32_bit_4 -X32_bit_3 -X32_bit_2 -X32_bit_1 -X32_bit0 -X32_bit1 -X32_bit2 -X32_bit3 -X32_bit4 -X32_bit5 -X32_bit6 -X32_bit7 -X32_bit8 -X32_bit9 -X32_bit10 -X32_bit11 -X32_bit12 -X32_bit13 -X32_bit14 -X32_bit15 -X32_bit16 -X32_bit17 -X32_bit18 -X32_bit19 -X33_bit_10 -X33_bit_9 -X33_bit_8 -X33_bit_7 -X33_bit_6 -X33_bit_5 -X33_bit_4 -X33_bit_3 -X33_bit_2 -X33_bit_1 -X33_bit0 -X33_bit1 -X33_bit2 -X33_bit3 -X33_bit4 -X33_bit5 -X33_bit6 -X33_bit7 -X33_bit8 -X33_bit9 -X33_bit10 -X33_bit11 -X33_bit12 -X33_bit13 -X33_bit14 -X33_bit15 -X33_bit16 -X33_bit17 -X33_bit18 -X33_bit19 -X34_bit_10 -X34_bit_9 -X34_bit_8 -X34_bit_7 -X34_bit_6 -X34_bit_5 -X34_bit_4 -X34_bit_3 -X34_bit_2 -X34_bit_1 -X34_bit0 -X34_bit1 -X34_bit2 -X34_bit3 -X34_bit4 -X34_bit5 -X34_bit6 -X34_bit7 -X34_bit8 -X34_bit9 -X34_bit10 -X34_bit11 -X34_bit12 -X34_bit13 -X34_bit14 -X34_bit15 -X34_bit16 -X34_bit17 -X34_bit18 -X34_bit19 -X35_bit_10 -X35_bit_9 -X35_bit_8 -X35_bit_7 -X35_bit_6 -X35_bit_5 -X35_bit_4 -X35_bit_3 -X35_bit_2 -X35_bit_1 -X35_bit0 -X35_bit1 -X35_bit2 -X35_bit3 -X35_bit4 -X35_bit5 -X35_bit6 -X35_bit7 -X35_bit8 -X35_bit9 -X35_bit10 -X35_bit11 -X35_bit12 -X35_bit13 -X35_bit14 -X35_bit15 -X35_bit16 -X35_bit17 -X35_bit18 -X35_bit19 -X36_bit_10 -X36_bit_9 -X36_bit_8 -X36_bit_7 -X36_bit_6 -X36_bit_5 -X36_bit_4 -X36_bit_3 -X36_bit_2 -X36_bit_1 -X36_bit0 -X36_bit1 -X36_bit2 -X36_bit3 -X36_bit4 -X36_bit5 -X36_bit6 -X36_bit7 -X36_bit8 -X36_bit9 -X36_bit10 -X36_bit11 -X36_bit12 -X36_bit13 -X36_bit14 -X36_bit15 -X36_bit16 -X36_bit17 -X36_bit18 -X36_bit19 -X37_bit_10 -X37_bit_9 -X37_bit_8 -X37_bit_7 -X37_bit_6 -X37_bit_5 -X37_bit_4 -X37_bit_3 -X37_bit_2 -X37_bit_1 -X37_bit0 -X37_bit1 -X37_bit2 -X37_bit3 -X37_bit4 -X37_bit5 -X37_bit6 -X37_bit7 -X37_bit8 -X37_bit9 -X37_bit10 -X37_bit11 -X37_bit12 -X37_bit13 -X37_bit14 -X37_bit15 -X37_bit16 -X37_bit17 -X37_bit18 -X37_bit19 -X38_bit_10 -X38_bit_9 -X38_bit_8 -X38_bit_7 -X38_bit_6 -X38_bit_5 -X38_bit_4 -X38_bit_3 -X38_bit_2 -X38_bit_1 -X38_bit0 -X38_bit1 -X38_bit2 -X38_bit3 -X38_bit4 -X38_bit5 -X38_bit6 -X38_bit7 -X38_bit8 -X38_bit9 -X38_bit10 -X38_bit11 -X38_bit12 -X38_bit13 -X38_bit14 -X38_bit15 -X38_bit16 -X38_bit17 -X38_bit18 -X38_bit19 -X39_bit_10 -X39_bit_9 -X39_bit_8 -X39_bit_7 -X39_bit_6 -X39_bit_5 -X39_bit_4 -X39_bit_3 -X39_bit_2 -X39_bit_1 -X39_bit0 -X39_bit1 -X39_bit2 -X39_bit3 -X39_bit4 -X39_bit5 -X39_bit6 -X39_bit7 -X39_bit8 -X39_bit9 -X39_bit10 -X39_bit11 -X39_bit12 -X39_bit13 -X39_bit14 -X39_bit15 -X39_bit16 -X39_bit17 -X39_bit18 -X39_bit19 -X40_bit_10 -X40_bit_9 -X40_bit_8 -X40_bit_7 -X40_bit_6 -X40_bit_5 -X40_bit_4 -X40_bit_3 -X40_bit_2 -X40_bit_1 -X40_bit0 -X40_bit1 X40_bit2 -X40_bit3 X40_bit4 -X40_bit5 -X40_bit6 -X40_bit7 -X40_bit8 -X40_bit9 -X40_bit10 -X40_bit11 -X40_bit12 -X40_bit13 -X40_bit14 -X40_bit15 -X40_bit16 -X40_bit17 -X40_bit18 -X40_bit19 -X41_bit_10 -X41_bit_9 -X41_bit_8 -X41_bit_7 -X41_bit_6 -X41_bit_5 -X41_bit_4 -X41_bit_3 -X41_bit_2 -X41_bit_1 -X41_bit0 X41_bit1 -X41_bit2 -X41_bit3 -X41_bit4 -X41_bit5 -X41_bit6 -X41_bit7 -X41_bit8 -X41_bit9 -X41_bit10 -X41_bit11 -X41_bit12 -X41_bit13 -X41_bit14 -X41_bit15 -X41_bit16 -X41_bit17 -X41_bit18 -X41_bit19 -X42_bit_10 -X42_bit_9 -X42_bit_8 -X42_bit_7 -X42_bit_6 -X42_bit_5 -X42_bit_4 -X42_bit_3 -X42_bit_2 -X42_bit_1 -X42_bit0 -X42_bit1 -X42_bit2 -X42_bit3 -X42_bit4 -X42_bit5 -X42_bit6 -X42_bit7 -X42_bit8 -X42_bit9 -X42_bit10 -X42_bit11 -X42_bit12 -X42_bit13 -X42_bit14 -X42_bit15 -X42_bit16 -X42_bit17 -X42_bit18 -X42_bit19 -X43_bit_10 -X43_bit_9 -X43_bit_8 -X43_bit_7 -X43_bit_6 -X43_bit_5 -X43_bit_4 -X43_bit_3 -X43_bit_2 -X43_bit_1 -X43_bit0 -X43_bit1 -X43_bit2 -X43_bit3 -X43_bit4 -X43_bit5 -X43_bit6 -X43_bit7 -X43_bit8 -X43_bit9 -X43_bit10 -X43_bit11 -X43_bit12 -X43_bit13 -X43_bit14 -X43_bit15 -X43_bit16 -X43_bit17 -X43_bit18 -X43_bit19 -X44_bit_10 -X44_bit_9 -X44_bit_8 -X44_bit_7 -X44_bit_6 -X44_bit_5 -X44_bit_4 -X44_bit_3 -X44_bit_2 -X44_bit_1 -X44_bit0 -X44_bit1 -X44_bit2 -X44_bit3 -X44_bit4 -X44_bit5 -X44_bit6 -X44_bit7 -X44_bit8 -X44_bit9 -X44_bit10 -X44_bit11 -X44_bit12 -X44_bit13 -X44_bit14 -X44_bit15 -X44_bit16 -X44_bit17 -X44_bit18 -X44_bit19 -X45_bit_10 -X45_bit_9 -X45_bit_8 -X45_bit_7 -X45_bit_6 -X45_bit_5 -X45_bit_4 -X45_bit_3 -X45_bit_2 -X45_bit_1 -X45_bit0 -X45_bit1 -X45_bit2 -X45_bit3 -X45_bit4 -X45_bit5 -X45_bit6 -X45_bit7 -X45_bit8 -X45_bit9 -X45_bit10 -X45_bit11 -X45_bit12 -X45_bit13 -X45_bit14 -X45_bit15 -X45_bit16 -X45_bit17 -X45_bit18 -X45_bit19 -X46_bit_10 -X46_bit_9 -X46_bit_8 -X46_bit_7 -X46_bit_6 -X46_bit_5 -X46_bit_4 -X46_bit_3 -X46_bit_2 -X46_bit_1 -X46_bit0 -X46_bit1 -X46_bit2 -X46_bit3 -X46_bit4 -X46_bit5 -X46_bit6 -X46_bit7 -X46_bit8 -X46_bit9 -X46_bit10 -X46_bit11 -X46_bit12 -X46_bit13 -X46_bit14 -X46_bit15 -X46_bit16 -X46_bit17 -X46_bit18 -X46_bit19 -X47_bit_10 -X47_bit_9 -X47_bit_8 -X47_bit_7 -X47_bit_6 -X47_bit_5 -X47_bit_4 -X47_bit_3 -X47_bit_2 -X47_bit_1 -X47_bit0 -X47_bit1 -X47_bit2 -X47_bit3 -X47_bit4 -X47_bit5 -X47_bit6 -X47_bit7 -X47_bit8 -X47_bit9 -X47_bit10 -X47_bit11 -X47_bit12 -X47_bit13 -X47_bit14 -X47_bit15 -X47_bit16 -X47_bit17 -X47_bit18 -X47_bit19 -X48_bit_10 X48_bit_9 X48_bit_8 X48_bit_7 X48_bit_6 X48_bit_5 X48_bit_4 X48_bit_3 X48_bit_2 X48_bit_1 -X48_bit0 -X48_bit1 -X48_bit2 -X48_bit3 -X48_bit4 -X48_bit5 -X48_bit6 -X48_bit7 -X48_bit8 -X48_bit9 -X48_bit10 -X48_bit11 -X48_bit12 -X48_bit13 -X48_bit14 -X48_bit15 -X48_bit16 -X48_bit17 -X48_bit18 -X48_bit19 -X49_bit_10 -X49_bit_9 -X49_bit_8 -X49_bit_7 -X49_bit_6 -X49_bit_5 -X49_bit_4 -X49_bit_3 -X49_bit_2 -X49_bit_1 -X49_bit0 -X49_bit1 -X49_bit2 -X49_bit3 -X49_bit4 -X49_bit5 -X49_bit6 -X49_bit7 -X49_bit8 -X49_bit9 -X49_bit10 -X49_bit11 -X49_bit12 -X49_bit13 -X49_bit14 -X49_bit15 -X49_bit16 -X49_bit17 -X49_bit18 -X49_bit19 -X50_bit_10 -X50_bit_9 -X50_bit_8 -X50_bit_7 -X50_bit_6 -X50_bit_5 -X50_bit_4 X50_bit_3 -X50_bit_2 -X50_bit_1 -X50_bit0 -X50_bit1 -X50_bit2 -X50_bit3 -X50_bit4 -X50_bit5 -X50_bit6 -X50_bit7 -X50_bit8 -X50_bit9 -X50_bit10 -X50_bit11 -X50_bit12 -X50_bit13 -X50_bit14 -X50_bit15 -X50_bit16 -X50_bit17 -X50_bit18 -X50_bit19 -X51_bit_10 X51_bit_9 -X51_bit_8 -X51_bit_7 -X51_bit_6 -X51_bit_5 -X51_bit_4 X51_bit_3 X51_bit_2 X51_bit_1 -X51_bit0 -X51_bit1 X51_bit2 -X51_bit3 -X51_bit4 -X51_bit5 -X51_bit6 -X51_bit7 -X51_bit8 -X51_bit9 -X51_bit10 -X51_bit11 -X51_bit12 -X51_bit13 -X51_bit14 -X51_bit15 -X51_bit16 -X51_bit17 -X51_bit18 -X51_bit19 -X52_bit_10 -X52_bit_9 -X52_bit_8 -X52_bit_7 -X52_bit_6 -X52_bit_5 -X52_bit_4 -X52_bit_3 -X52_bit_2 -X52_bit_1 -X52_bit0 -X52_bit1 -X52_bit2 -X52_bit3 -X52_bit4 -X52_bit5 -X52_bit6 -X52_bit7 -X52_bit8 -X52_bit9 -X52_bit10 -X52_bit11 -X52_bit12 -X52_bit13 -X52_bit14 -X52_bit15 -X52_bit16 -X52_bit17 -X52_bit18 -X52_bit19 -X53_bit_10 -X53_bit_9 -X53_bit_8 -X53_bit_7 -X53_bit_6 -X53_bit_5 -X53_bit_4 -X53_bit_3 -X53_bit_2 -X53_bit_1 -X53_bit0 -X53_bit1 -X53_bit2 -X53_bit3 -X53_bit4 -X53_bit5 -X53_bit6 -X53_bit7 -X53_bit8 -X53_bit9 -X53_bit10 -X53_bit11 -X53_bit12 -X53_bit13 -X53_bit14 -X53_bit15 -X53_bit16 -X53_bit17 -X53_bit18 -X53_bit19 -X54_bit_10 -X54_bit_9 -X54_bit_8 -X54_bit_7 -X54_bit_6 -X54_bit_5 -X54_bit_4 -X54_bit_3 -X54_bit_2 -X54_bit_1 -X54_bit0 -X54_bit1 -X54_bit2 -X54_bit3 -X54_bit4 -X54_bit5 -X54_bit6 -X54_bit7 -X54_bit8 -X54_bit9 -X54_bit10 -X54_bit11 -X54_bit12 -X54_bit13 -X54_bit14 -X54_bit15 -X54_bit16 -X54_bit17 -X54_bit18 -X54_bit19 -X55_bit_10 -X55_bit_9 -X55_bit_8 -X55_bit_7 -X55_bit_6 -X55_bit_5 -X55_bit_4 -X55_bit_3 -X55_bit_2 -X55_bit_1 -X55_bit0 -X55_bit1 -X55_bit2 -X55_bit3 -X55_bit4 -X55_bit5 -X55_bit6 -X55_bit7 -X55_bit8 -X55_bit9 -X55_bit10 -X55_bit11 -X55_bit12 -X55_bit13 -X55_bit14 -X55_bit15 -X55_bit16 -X55_bit17 -X55_bit18 -X55_bit19 -X56_bit_10 -X56_bit_9 -X56_bit_8 -X56_bit_7 -X56_bit_6 -X56_bit_5 -X56_bit_4 -X56_bit_3 -X56_bit_2 -X56_bit_1 -X56_bit0 -X56_bit1 -X56_bit2 -X56_bit3 -X56_bit4 -X56_bit5 -X56_bit6 -X56_bit7 -X56_bit8 -X56_bit9 -X56_bit10 -X56_bit11 -X56_bit12 -X56_bit13 -X56_bit14 -X56_bit15 -X56_bit16 -X56_bit17 -X56_bit18 -X56_bit19 -X57_bit_10 -X57_bit_9 -X57_bit_8 -X57_bit_7 -X57_bit_6 -X57_bit_5 -X57_bit_4 -X57_bit_3 -X57_bit_2 -X57_bit_1 -X57_bit0 -X57_bit1 -X57_bit2 -X57_bit3 -X57_bit4 -X57_bit5 -X57_bit6 -X57_bit7 -X57_bit8 -X57_bit9 -X57_bit10 -X57_bit11 -X57_bit12 -X57_bit13 -X57_bit14 -X57_bit15 -X57_bit16 -X57_bit17 -X57_bit18 -X57_bit19 -X58_bit_10 -X58_bit_9 -X58_bit_8 -X58_bit_7 -X58_bit_6 -X58_bit_5 -X58_bit_4 -X58_bit_3 -X58_bit_2 -X58_bit_1 -X58_bit0 -X58_bit1 -X58_bit2 -X58_bit3 -X58_bit4 -X58_bit5 -X58_bit6 -X58_bit7 -X58_bit8 -X58_bit9 -X58_bit10 -X58_bit11 -X58_bit12 -X58_bit13 -X58_bit14 -X58_bit15 -X58_bit16 -X58_bit17 -X58_bit18 -X58_bit19 -X59_bit_10 -X59_bit_9 -X59_bit_8 -X59_bit_7 -X59_bit_6 -X59_bit_5 -X59_bit_4 -X59_bit_3 -X59_bit_2 -X59_bit_1 -X59_bit0 -X59_bit1 -X59_bit2 -X59_bit3 -X59_bit4 -X59_bit5 -X59_bit6 -X59_bit7 -X59_bit8 -X59_bit9 -X59_bit10 -X59_bit11 -X59_bit12 -X59_bit13 -X59_bit14 -X59_bit15 -X59_bit16 -X59_bit17 -X59_bit18 -X59_bit19 -X60_bit_10 -X60_bit_9 -X60_bit_8 -X60_bit_7 -X60_bit_6 -X60_bit_5 -X60_bit_4 -X60_bit_3 -X60_bit_2 -X60_bit_1 -X60_bit0 -X60_bit1 -X60_bit2 -X60_bit3 -X60_bit4 -X60_bit5 -X60_bit6 -X60_bit7 -X60_bit8 -X60_bit9 -X60_bit10 -X60_bit11 -X60_bit12 -X60_bit13 -X60_bit14 -X60_bit15 -X60_bit16 -X60_bit17 -X60_bit18 -X60_bit19 -X61_bit_10 X61_bit_9 -X61_bit_8 -X61_bit_7 -X61_bit_6 -X61_bit_5 -X61_bit_4 -X61_bit_3 -X61_bit_2 -X61_bit_1 -X61_bit0 -X61_bit1 X61_bit2 -X61_bit3 -X61_bit4 -X61_bit5 -X61_bit6 -X61_bit7 -X61_bit8 -X61_bit9 -X61_bit10 -X61_bit11 -X61_bit12 -X61_bit13 -X61_bit14 -X61_bit15 -X61_bit16 -X61_bit17 -X61_bit18 -X61_bit19 -X62_bit_10 -X62_bit_9 -X62_bit_8 -X62_bit_7 -X62_bit_6 -X62_bit_5 -X62_bit_4 -X62_bit_3 -X62_bit_2 -X62_bit_1 -X62_bit0 -X62_bit1 -X62_bit2 -X62_bit3 -X62_bit4 -X62_bit5 -X62_bit6 -X62_bit7 -X62_bit8 -X62_bit9 -X62_bit10 -X62_bit11 -X62_bit12 -X62_bit13 -X62_bit14 -X62_bit15 -X62_bit16 -X62_bit17 -X62_bit18 -X62_bit19 -X63_bit_10 -X63_bit_9 -X63_bit_8 -X63_bit_7 -X63_bit_6 -X63_bit_5 -X63_bit_4 X63_bit_3 X63_bit_2 X63_bit_1 -X63_bit0 -X63_bit1 -X63_bit2 X63_bit3 -X63_bit4 -X63_bit5 -X63_bit6 -X63_bit7 -X63_bit8 -X63_bit9 -X63_bit10 -X63_bit11 -X63_bit12 -X63_bit13 -X63_bit14 -X63_bit15 -X63_bit16 -X63_bit17 -X63_bit18 -X63_bit19 -X64_bit_10 X64_bit_9 X64_bit_8 X64_bit_7 X64_bit_6 X64_bit_5 X64_bit_4 -X64_bit_3 -X64_bit_2 -X64_bit_1 -X64_bit0 -X64_bit1 -X64_bit2 -X64_bit3 -X64_bit4 -X64_bit5 -X64_bit6 -X64_bit7 -X64_bit8 -X64_bit9 -X64_bit10 -X64_bit11 -X64_bit12 -X64_bit13 -X64_bit14 -X64_bit15 -X64_bit16 -X64_bit17 -X64_bit18 -X64_bit19 -X65_bit_10 -X65_bit_9 -X65_bit_8 -X65_bit_7 -X65_bit_6 -X65_bit_5 -X65_bit_4 -X65_bit_3 -X65_bit_2 -X65_bit_1 X65_bit0 -X65_bit1 -X65_bit2 -X65_bit3 -X65_bit4 -X65_bit5 -X65_bit6 -X65_bit7 -X65_bit8 -X65_bit9 -X65_bit10 -X65_bit11 -X65_bit12 -X65_bit13 -X65_bit14 -X65_bit15 -X65_bit16 -X65_bit17 -X65_bit18 -X65_bit19 -X66_bit_10 -X66_bit_9 -X66_bit_8 -X66_bit_7 -X66_bit_6 -X66_bit_5 -X66_bit_4 -X66_bit_3 -X66_bit_2 -X66_bit_1 -X66_bit0 -X66_bit1 -X66_bit2 -X66_bit3 -X66_bit4 -X66_bit5 -X66_bit6 -X66_bit7 -X66_bit8 -X66_bit9 -X66_bit10 -X66_bit11 -X66_bit12 -X66_bit13 -X66_bit14 -X66_bit15 -X66_bit16 -X66_bit17 -X66_bit18 -X66_bit19 -X67_bit_10 -X67_bit_9 -X67_bit_8 -X67_bit_7 -X67_bit_6 -X67_bit_5 -X67_bit_4 -X67_bit_3 -X67_bit_2 -X67_bit_1 -X67_bit0 X67_bit1 X67_bit2 -X67_bit3 -X67_bit4 -X67_bit5 -X67_bit6 -X67_bit7 -X67_bit8 -X67_bit9 -X67_bit10 -X67_bit11 -X67_bit12 -X67_bit13 -X67_bit14 -X67_bit15 -X67_bit16 -X67_bit17 -X67_bit18 -X67_bit19 -X68_bit_10 -X68_bit_9 -X68_bit_8 -X68_bit_7 -X68_bit_6 -X68_bit_5 -X68_bit_4 -X68_bit_3 -X68_bit_2 -X68_bit_1 -X68_bit0 -X68_bit1 -X68_bit2 -X68_bit3 -X68_bit4 -X68_bit5 -X68_bit6 -X68_bit7 -X68_bit8 -X68_bit9 -X68_bit10 -X68_bit11 -X68_bit12 -X68_bit13 -X68_bit14 -X68_bit15 -X68_bit16 -X68_bit17 -X68_bit18 -X68_bit19 -X69_bit_10 -X69_bit_9 -X69_bit_8 -X69_bit_7 -X69_bit_6 -X69_bit_5 -X69_bit_4 -X69_bit_3 -X69_bit_2 -X69_bit_1 -X69_bit0 -X69_bit1 -X69_bit2 -X69_bit3 -X69_bit4 -X69_bit5 -X69_bit6 -X69_bit7 -X69_bit8 -X69_bit9 -X69_bit10 -X69_bit11 -X69_bit12 -X69_bit13 -X69_bit14 -X69_bit15 -X69_bit16 -X69_bit17 -X69_bit18 -X69_bit19 -X70_bit_10 -X70_bit_9 -X70_bit_8 -X70_bit_7 -X70_bit_6 -X70_bit_5 -X70_bit_4 -X70_bit_3 -X70_bit_2 -X70_bit_1 -X70_bit0 -X70_bit1 -X70_bit2 -X70_bit3 -X70_bit4 -X70_bit5 -X70_bit6 -X70_bit7 -X70_bit8 -X70_bit9 -X70_bit10 -X70_bit11 -X70_bit12 -X70_bit13 -X70_bit14 -X70_bit15 -X70_bit16 -X70_bit17 -X70_bit18 -X70_bit19 -X71_bit_10 -X71_bit_9 -X71_bit_8 -X71_bit_7 -X71_bit_6 -X71_bit_5 -X71_bit_4 -X71_bit_3 -X71_bit_2 -X71_bit_1 -X71_bit0 -X71_bit1 -X71_bit2 -X71_bit3 -X71_bit4 -X71_bit5 -X71_bit6 -X71_bit7 -X71_bit8 -X71_bit9 -X71_bit10 -X71_bit11 -X71_bit12 -X71_bit13 -X71_bit14 -X71_bit15 -X71_bit16 -X71_bit17 -X71_bit18 -X71_bit19 -X72_bit_10 -X72_bit_9 -X72_bit_8 -X72_bit_7 -X72_bit_6 -X72_bit_5 -X72_bit_4 -X72_bit_3 -X72_bit_2 -X72_bit_1 -X72_bit0 -X72_bit1 -X72_bit2 -X72_bit3 -X72_bit4 -X72_bit5 -X72_bit6 -X72_bit7 -X72_bit8 -X72_bit9 -X72_bit10 -X72_bit11 -X72_bit12 -X72_bit13 -X72_bit14 -X72_bit15 -X72_bit16 -X72_bit17 -X72_bit18 -X72_bit19 -X73_bit_10 -X73_bit_9 -X73_bit_8 -X73_bit_7 -X73_bit_6 -X73_bit_5 -X73_bit_4 -X73_bit_3 -X73_bit_2 -X73_bit_1 -X73_bit0 -X73_bit1 -X73_bit2 -X73_bit3 -X73_bit4 -X73_bit5 -X73_bit6 -X73_bit7 -X73_bit8 -X73_bit9 -X73_bit10 -X73_bit11 -X73_bit12 -X73_bit13 -X73_bit14 -X73_bit15 -X73_bit16 -X73_bit17 -X73_bit18 -X73_bit19 -X74_bit_10 -X74_bit_9 -X74_bit_8 -X74_bit_7 -X74_bit_6 -X74_bit_5 -X74_bit_4 -X74_bit_3 -X74_bit_2 -X74_bit_1 -X74_bit0 -X74_bit1 -X74_bit2 -X74_bit3 -X74_bit4 -X74_bit5 -X74_bit6 -X74_bit7 -X74_bit8 -X74_bit9 -X74_bit10 -X74_bit11 -X74_bit12 -X74_bit13 -X74_bit14 -X74_bit15 -X74_bit16 -X74_bit17 -X74_bit18 -X74_bit19 -X75_bit_10 -X75_bit_9 -X75_bit_8 -X75_bit_7 -X75_bit_6 -X75_bit_5 -X75_bit_4 -X75_bit_3 -X75_bit_2 -X75_bit_1 -X75_bit0 -X75_bit1 -X75_bit2 -X75_bit3 -X75_bit4 -X75_bit5 -X75_bit6 -X75_bit7 -X75_bit8 -X75_bit9 -X75_bit10 -X75_bit11 -X75_bit12 -X75_bit13 -X75_bit14 -X75_bit15 -X75_bit16 -X75_bit17 -X75_bit18 -X75_bit19 -X76_bit_10 -X76_bit_9 -X76_bit_8 -X76_bit_7 -X76_bit_6 -X76_bit_5 -X76_bit_4 -X76_bit_3 -X76_bit_2 -X76_bit_1 -X76_bit0 -X76_bit1 -X76_bit2 -X76_bit3 -X76_bit4 -X76_bit5 -X76_bit6 -X76_bit7 -X76_bit8 -X76_bit9 -X76_bit10 -X76_bit11 -X76_bit12 -X76_bit13 -X76_bit14 -X76_bit15 -X76_bit16 -X76_bit17 -X76_bit18 -X76_bit19 -X77_bit_10 -X77_bit_9 -X77_bit_8 -X77_bit_7 -X77_bit_6 -X77_bit_5 -X77_bit_4 -X77_bit_3 -X77_bit_2 -X77_bit_1 -X77_bit0 -X77_bit1 -X77_bit2 -X77_bit3 -X77_bit4 -X77_bit5 -X77_bit6 -X77_bit7 -X77_bit8 -X77_bit9 -X77_bit10 -X77_bit11 -X77_bit12 -X77_bit13 -X77_bit14 -X77_bit15 -X77_bit16 -X77_bit17 -X77_bit18 -X77_bit19 -X78_bit_10 -X78_bit_9 -X78_bit_8 -X78_bit_7 -X78_bit_6 -X78_bit_5 -X78_bit_4 -X78_bit_3 -X78_bit_2 -X78_bit_1 -X78_bit0 -X78_bit1 -X78_bit2 -X78_bit3 -X78_bit4 -X78_bit5 -X78_bit6 -X78_bit7 -X78_bit8 -X78_bit9 -X78_bit10 -X78_bit11 -X78_bit12 -X78_bit13 -X78_bit14 -X78_bit15 -X78_bit16 -X78_bit17 -X78_bit18 -X78_bit19 -X79_bit_10 -X79_bit_9 -X79_bit_8 -X79_bit_7 -X79_bit_6 -X79_bit_5 -X79_bit_4 -X79_bit_3 -X79_bit_2 -X79_bit_1 -X79_bit0 -X79_bit1 -X79_bit2 -X79_bit3 -X79_bit4 -X79_bit5 -X79_bit6 -X79_bit7 -X79_bit8 -X79_bit9 -X79_bit10 -X79_bit11 -X79_bit12 -X79_bit13 -X79_bit14 -X79_bit15 -X79_bit16 -X79_bit17 -X79_bit18 -X79_bit19 -X80_bit_10 -X80_bit_9 -X80_bit_8 -X80_bit_7 -X80_bit_6 -X80_bit_5 -X80_bit_4 -X80_bit_3 -X80_bit_2 -X80_bit_1 -X80_bit0 -X80_bit1 -X80_bit2 -X80_bit3 -X80_bit4 -X80_bit5 -X80_bit6 -X80_bit7 -X80_bit8 -X80_bit9 -X80_bit10 -X80_bit11 -X80_bit12 -X80_bit13 -X80_bit14 -X80_bit15 -X80_bit16 -X80_bit17 -X80_bit18 -X80_bit19 -X81_bit_10 -X81_bit_9 -X81_bit_8 -X81_bit_7 -X81_bit_6 -X81_bit_5 -X81_bit_4 -X81_bit_3 -X81_bit_2 -X81_bit_1 -X81_bit0 -X81_bit1 -X81_bit2 -X81_bit3 -X81_bit4 -X81_bit5 -X81_bit6 -X81_bit7 -X81_bit8 -X81_bit9 -X81_bit10 -X81_bit11 -X81_bit12 -X81_bit13 -X81_bit14 -X81_bit15 -X81_bit16 -X81_bit17 -X81_bit18 -X81_bit19 -X82_bit_10 -X82_bit_9 -X82_bit_8 -X82_bit_7 -X82_bit_6 -X82_bit_5 -X82_bit_4 -X82_bit_3 -X82_bit_2 -X82_bit_1 -X82_bit0 -X82_bit1 -X82_bit2 -X82_bit3 -X82_bit4 -X82_bit5 -X82_bit6 -X82_bit7 -X82_bit8 -X82_bit9 -X82_bit10 -X82_bit11 -X82_bit12 -X82_bit13 -X82_bit14 -X82_bit15 -X82_bit16 -X82_bit17 -X82_bit18 -X82_bit19 -X83_bit_10 -X83_bit_9 -X83_bit_8 -X83_bit_7 -X83_bit_6 -X83_bit_5 -X83_bit_4 -X83_bit_3 -X83_bit_2 -X83_bit_1 -X83_bit0 -X83_bit1 -X83_bit2 -X83_bit3 -X83_bit4 -X83_bit5 -X83_bit6 -X83_bit7 -X83_bit8 -X83_bit9 -X83_bit10 -X83_bit11 -X83_bit12 -X83_bit13 -X83_bit14 -X83_bit15 -X83_bit16 -X83_bit17 -X83_bit18 -X83_bit19 -X84_bit_10 -X84_bit_9 -X84_bit_8 -X84_bit_7 -X84_bit_6 -X84_bit_5 -X84_bit_4 -X84_bit_3 -X84_bit_2 -X84_bit_1 -X84_bit0 -X84_bit1 -X84_bit2 -X84_bit3 -X84_bit4 -X84_bit5 -X84_bit6 -X84_bit7 -X84_bit8 -X84_bit9 -X84_bit10 -X84_bit11 -X84_bit12 -X84_bit13 -X84_bit14 -X84_bit15 -X84_bit16 -X84_bit17 -X84_bit18 -X84_bit19 -X85_bit_10 -X85_bit_9 -X85_bit_8 -X85_bit_7 -X85_bit_6 -X85_bit_5 -X85_bit_4 -X85_bit_3 -X85_bit_2 -X85_bit_1 -X85_bit0 -X85_bit1 -X85_bit2 -X85_bit3 -X85_bit4 -X85_bit5 -X85_bit6 -X85_bit7 -X85_bit8 -X85_bit9 -X85_bit10 -X85_bit11 -X85_bit12 -X85_bit13 -X85_bit14 -X85_bit15 -X85_bit16 -X85_bit17 -X85_bit18 -X85_bit19 X86_bit_10 -X86_bit_9 -X86_bit_8 -X86_bit_7 -X86_bit_6 -X86_bit_5 -X86_bit_4 -X86_bit_3 -X86_bit_2 -X86_bit_1 X86_bit0 -X86_bit1 -X86_bit2 -X86_bit3 -X86_bit4 -X86_bit5 -X86_bit6 -X86_bit7 -X86_bit8 -X86_bit9 -X86_bit10 -X86_bit11 -X86_bit12 -X86_bit13 -X86_bit14 -X86_bit15 -X86_bit16 -X86_bit17 -X86_bit18 -X86_bit19 X87_bit_10 X87_bit_9 X87_bit_8 X87_bit_7 X87_bit_6 X87_bit_5 X87_bit_4 X87_bit_3 X87_bit_2 X87_bit_1 X87_bit0 X87_bit1 -X87_bit2 -X87_bit3 X87_bit4 -X87_bit5 -X87_bit6 -X87_bit7 -X87_bit8 -X87_bit9 -X87_bit10 -X87_bit11 -X87_bit12 -X87_bit13 -X87_bit14 -X87_bit15 -X87_bit16 -X87_bit17 -X87_bit18 -X87_bit19 -X88_bit_10 -X88_bit_9 -X88_bit_8 -X88_bit_7 -X88_bit_6 -X88_bit_5 -X88_bit_4 -X88_bit_3 -X88_bit_2 -X88_bit_1 -X88_bit0 -X88_bit1 -X88_bit2 -X88_bit3 -X88_bit4 -X88_bit5 -X88_bit6 -X88_bit7 -X88_bit8 -X88_bit9 -X88_bit10 -X88_bit11 -X88_bit12 -X88_bit13 -X88_bit14 -X88_bit15 -X88_bit16 -X88_bit17 -X88_bit18 -X88_bit19 -X89_bit_10 -X89_bit_9 -X89_bit_8 -X89_bit_7 -X89_bit_6 -X89_bit_5 -X89_bit_4 -X89_bit_3 -X89_bit_2 -X89_bit_1 -X89_bit0 -X89_bit1 -X89_bit2 -X89_bit3 -X89_bit4 -X89_bit5 -X89_bit6 -X89_bit7 -X89_bit8 -X89_bit9 -X89_bit10 -X89_bit11 -X89_bit12 -X89_bit13 -X89_bit14 -X89_bit15 -X89_bit16 -X89_bit17 -X89_bit18 -X89_bit19 -X90_bit_10 -X90_bit_9 -X90_bit_8 -X90_bit_7 -X90_bit_6 -X90_bit_5 -X90_bit_4 -X90_bit_3 -X90_bit_2 -X90_bit_1 -X90_bit0 -X90_bit1 -X90_bit2 -X90_bit3 -X90_bit4 -X90_bit5 -X90_bit6 -X90_bit7 -X90_bit8 -X90_bit9 -X90_bit10 -X90_bit11 -X90_bit12 -X90_bit13 -X90_bit14 -X90_bit15 -X90_bit16 -X90_bit17 -X90_bit18 -X90_bit19 -X91_bit_10 -X91_bit_9 -X91_bit_8 -X91_bit_7 -X91_bit_6 -X91_bit_5 -X91_bit_4 -X91_bit_3 -X91_bit_2 -X91_bit_1 -X91_bit0 -X91_bit1 -X91_bit2 -X91_bit3 -X91_bit4 -X91_bit5 -X91_bit6 -X91_bit7 -X91_bit8 -X91_bit9 -X91_bit10 -X91_bit11 -X91_bit12 -X91_bit13 -X91_bit14 -X91_bit15 -X91_bit16 -X91_bit17 -X91_bit18 -X91_bit19 -X92_bit_10 -X92_bit_9 -X92_bit_8 -X92_bit_7 -X92_bit_6 -X92_bit_5 -X92_bit_4 -X92_bit_3 -X92_bit_2 -X92_bit_1 -X92_bit0 -X92_bit1 -X92_bit2 -X92_bit3 -X92_bit4 -X92_bit5 -X92_bit6 -X92_bit7 -X92_bit8 -X92_bit9 -X92_bit10 -X92_bit11 -X92_bit12 -X92_bit13 -X92_bit14 -X92_bit15 -X92_bit16 -X92_bit17 -X92_bit18 -X92_bit19 -X93_bit_10 -X93_bit_9 -X93_bit_8 -X93_bit_7 -X93_bit_6 -X93_bit_5 -X93_bit_4 -X93_bit_3 -X93_bit_2 -X93_bit_1 -X93_bit0 -X93_bit1 -X93_bit2 -X93_bit3 -X93_bit4 -X93_bit5 -X93_bit6 -X93_bit7 -X93_bit8 -X93_bit9 -X93_bit10 -X93_bit11 -X93_bit12 -X93_bit13 -X93_bit14 -X93_bit15 -X93_bit16 -X93_bit17 -X93_bit18 -X93_bit19 -X94_bit_10 -X94_bit_9 -X94_bit_8 -X94_bit_7 -X94_bit_6 -X94_bit_5 -X94_bit_4 -X94_bit_3 -X94_bit_2 -X94_bit_1 -X94_bit0 -X94_bit1 -X94_bit2 -X94_bit3 -X94_bit4 -X94_bit5 -X94_bit6 -X94_bit7 -X94_bit8 -X94_bit9 -X94_bit10 -X94_bit11 -X94_bit12 -X94_bit13 -X94_bit14 -X94_bit15 -X94_bit16 -X94_bit17 -X94_bit18 -X94_bit19 -X95_bit_10 -X95_bit_9 -X95_bit_8 -X95_bit_7 -X95_bit_6 -X95_bit_5 -X95_bit_4 -X95_bit_3 -X95_bit_2 -X95_bit_1 -X95_bit0 -X95_bit1 -X95_bit2 -X95_bit3 -X95_bit4 -X95_bit5 -X95_bit6 -X95_bit7 -X95_bit8 -X95_bit9 -X95_bit10 -X95_bit11 -X95_bit12 -X95_bit13 -X95_bit14 -X95_bit15 -X95_bit16 -X95_bit17 -X95_bit18 -X95_bit19 -X96_bit_10 -X96_bit_9 -X96_bit_8 -X96_bit_7 -X96_bit_6 -X96_bit_5 -X96_bit_4 -X96_bit_3 -X96_bit_2 -X96_bit_1 -X96_bit0 -X96_bit1 -X96_bit2 -X96_bit3 -X96_bit4 -X96_bit5 -X96_bit6 -X96_bit7 -X96_bit8 -X96_bit9 -X96_bit10 -X96_bit11 -X96_bit12 -X96_bit13 -X96_bit14 -X96_bit15 -X96_bit16 -X96_bit17 -X96_bit18 -X96_bit19 -X97_bit_10 -X97_bit_9 -X97_bit_8 -X97_bit_7 -X97_bit_6 -X97_bit_5 -X97_bit_4 -X97_bit_3 -X97_bit_2 -X97_bit_1 -X97_bit0 -X97_bit1 -X97_bit2 -X97_bit3 -X97_bit4 -X97_bit5 -X97_bit6 -X97_bit7 -X97_bit8 -X97_bit9 -X97_bit10 -X97_bit11 -X97_bit12 -X97_bit13 -X97_bit14 -X97_bit15 -X97_bit16 -X97_bit17 -X97_bit18 -X97_bit19 -X98_bit_10 -X98_bit_9 -X98_bit_8 -X98_bit_7 -X98_bit_6 -X98_bit_5 -X98_bit_4 -X98_bit_3 -X98_bit_2 -X98_bit_1 -X98_bit0 -X98_bit1 -X98_bit2 -X98_bit3 -X98_bit4 -X98_bit5 -X98_bit6 -X98_bit7 -X98_bit8 -X98_bit9 -X98_bit10 -X98_bit11 -X98_bit12 -X98_bit13 -X98_bit14 -X98_bit15 -X98_bit16 -X98_bit17 -X98_bit18 -X98_bit19 -X99_bit_10 -X99_bit_9 -X99_bit_8 -X99_bit_7 -X99_bit_6 -X99_bit_5 -X99_bit_4 -X99_bit_3 -X99_bit_2 -X99_bit_1 -X99_bit0 -X99_bit1 -X99_bit2 -X99_bit3 -X99_bit4 -X99_bit5 -X99_bit6 -X99_bit7 -X99_bit8 -X99_bit9 -X99_bit10 -X99_bit11 -X99_bit12 -X99_bit13 -X99_bit14 -X99_bit15 -X99_bit16 -X99_bit17 -X99_bit18 -X99_bit19 -X100_bit_10 -X100_bit_9 -X100_bit_8 -X100_bit_7 -X100_bit_6 -X100_bit_5 -X100_bit_4 -X100_bit_3 -X100_bit_2 -X100_bit_1 X100_bit0 X100_bit1 X100_bit2 -X100_bit3 -X100_bit4 -X100_bit5 -X100_bit6 -X100_bit7 -X100_bit8 -X100_bit9 -X100_bit10 -X100_bit11 -X100_bit12 -X100_bit13 -X100_bit14 -X100_bit15 -X100_bit16 -X100_bit17 -X100_bit18 -X100_bit19 -X101_bit_10 -X101_bit_9 -X101_bit_8 -X101_bit_7 -X101_bit_6 -X101_bit_5 -X101_bit_4 -X101_bit_3 -X101_bit_2 -X101_bit_1 -X101_bit0 -X101_bit1 -X101_bit2 -X101_bit3 -X101_bit4 -X101_bit5 -X101_bit6 -X101_bit7 -X101_bit8 -X101_bit9 -X101_bit10 -X101_bit11 -X101_bit12 -X101_bit13 -X101_bit14 -X101_bit15 -X101_bit16 -X101_bit17 -X101_bit18 -X101_bit19 -X102_bit_10 -X102_bit_9 -X102_bit_8 -X102_bit_7 -X102_bit_6 -X102_bit_5 -X102_bit_4 -X102_bit_3 -X102_bit_2 -X102_bit_1 -X102_bit0 -X102_bit1 -X102_bit2 -X102_bit3 -X102_bit4 -X102_bit5 -X102_bit6 -X102_bit7 -X102_bit8 -X102_bit9 -X102_bit10 -X102_bit11 -X102_bit12 -X102_bit13 -X102_bit14 -X102_bit15 -X102_bit16 -X102_bit17 -X102_bit18 -X102_bit19 -X103_bit_10 -X103_bit_9 -X103_bit_8 -X103_bit_7 -X103_bit_6 -X103_bit_5 -X103_bit_4 -X103_bit_3 -X103_bit_2 -X103_bit_1 -X103_bit0 -X103_bit1 -X103_bit2 -X103_bit3 -X103_bit4 -X103_bit5 -X103_bit6 -X103_bit7 -X103_bit8 -X103_bit9 -X103_bit10 -X103_bit11 -X103_bit12 -X103_bit13 -X103_bit14 -X103_bit15 -X103_bit16 -X103_bit17 -X103_bit18 -X103_bit19 -X104_bit_10 -X104_bit_9 -X104_bit_8 -X104_bit_7 -X104_bit_6 -X104_bit_5 -X104_bit_4 -X104_bit_3 -X104_bit_2 -X104_bit_1 -X104_bit0 -X104_bit1 -X104_bit2 -X104_bit3 -X104_bit4 -X104_bit5 -X104_bit6 -X104_bit7 -X104_bit8 -X104_bit9 -X104_bit10 -X104_bit11 -X104_bit12 -X104_bit13 -X104_bit14 -X104_bit15 -X104_bit16 -X104_bit17 -X104_bit18 -X104_bit19 -X105_bit_10 -X105_bit_9 -X105_bit_8 -X105_bit_7 -X105_bit_6 -X105_bit_5 -X105_bit_4 -X105_bit_3 -X105_bit_2 -X105_bit_1 -X105_bit0 -X105_bit1 -X105_bit2 -X105_bit3 -X105_bit4 -X105_bit5 -X105_bit6 -X105_bit7 -X105_bit8 -X105_bit9 -X105_bit10 -X105_bit11 -X105_bit12 -X105_bit13 -X105_bit14 -X105_bit15 -X105_bit16 -X105_bit17 -X105_bit18 -X105_bit19 -X106_bit_10 -X106_bit_9 -X106_bit_8 -X106_bit_7 -X106_bit_6 -X106_bit_5 -X106_bit_4 -X106_bit_3 -X106_bit_2 -X106_bit_1 -X106_bit0 -X106_bit1 -X106_bit2 -X106_bit3 -X106_bit4 -X106_bit5 -X106_bit6 -X106_bit7 -X106_bit8 -X106_bit9 -X106_bit10 -X106_bit11 -X106_bit12 -X106_bit13 -X106_bit14 -X106_bit15 -X106_bit16 -X106_bit17 -X106_bit18 -X106_bit19 -X107_bit_10 -X107_bit_9 -X107_bit_8 -X107_bit_7 -X107_bit_6 -X107_bit_5 -X107_bit_4 -X107_bit_3 -X107_bit_2 -X107_bit_1 -X107_bit0 -X107_bit1 -X107_bit2 -X107_bit3 -X107_bit4 -X107_bit5 -X107_bit6 -X107_bit7 -X107_bit8 -X107_bit9 -X107_bit10 -X107_bit11 -X107_bit12 -X107_bit13 -X107_bit14 -X107_bit15 -X107_bit16 -X107_bit17 -X107_bit18 -X107_bit19 -X108_bit_10 -X108_bit_9 -X108_bit_8 -X108_bit_7 -X108_bit_6 -X108_bit_5 -X108_bit_4 -X108_bit_3 -X108_bit_2 -X108_bit_1 -X108_bit0 -X108_bit1 -X108_bit2 -X108_bit3 -X108_bit4 -X108_bit5 -X108_bit6 -X108_bit7 -X108_bit8 -X108_bit9 -X108_bit10 -X108_bit11 -X108_bit12 -X108_bit13 -X108_bit14 -X108_bit15 -X108_bit16 -X108_bit17 -X108_bit18 -X108_bit19 -X109_bit_10 -X109_bit_9 -X109_bit_8 -X109_bit_7 -X109_bit_6 -X109_bit_5 -X109_bit_4 -X109_bit_3 -X109_bit_2 -X109_bit_1 -X109_bit0 -X109_bit1 -X109_bit2 -X109_bit3 -X109_bit4 -X109_bit5 -X109_bit6 -X109_bit7 -X109_bit8 -X109_bit9 -X109_bit10 -X109_bit11 -X109_bit12 -X109_bit13 -X109_bit14 -X109_bit15 -X109_bit16 -X109_bit17 -X109_bit18 -X109_bit19 -X110_bit_10 -X110_bit_9 -X110_bit_8 -X110_bit_7 -X110_bit_6 -X110_bit_5 -X110_bit_4 -X110_bit_3 -X110_bit_2 -X110_bit_1 -X110_bit0 -X110_bit1 X110_bit2 -X110_bit3 -X110_bit4 -X110_bit5 -X110_bit6 -X110_bit7 -X110_bit8 -X110_bit9 -X110_bit10 -X110_bit11 -X110_bit12 -X110_bit13 -X110_bit14 -X110_bit15 -X110_bit16 -X110_bit17 -X110_bit18 -X110_bit19 -X111_bit_10 -X111_bit_9 -X111_bit_8 -X111_bit_7 -X111_bit_6 -X111_bit_5 -X111_bit_4 -X111_bit_3 -X111_bit_2 -X111_bit_1 -X111_bit0 -X111_bit1 -X111_bit2 -X111_bit3 -X111_bit4 -X111_bit5 -X111_bit6 -X111_bit7 -X111_bit8 -X111_bit9 -X111_bit10 -X111_bit11 -X111_bit12 -X111_bit13 -X111_bit14 -X111_bit15 -X111_bit16 -X111_bit17 -X111_bit18 -X111_bit19 -X112_bit_10 -X112_bit_9 -X112_bit_8 -X112_bit_7 -X112_bit_6 -X112_bit_5 -X112_bit_4 -X112_bit_3 -X112_bit_2 -X112_bit_1 -X112_bit0 -X112_bit1 X112_bit2 X112_bit3 -X112_bit4 -X112_bit5 -X112_bit6 -X112_bit7 -X112_bit8 -X112_bit9 -X112_bit10 -X112_bit11 -X112_bit12 -X112_bit13 -X112_bit14 -X112_bit15 -X112_bit16 -X112_bit17 -X112_bit18 -X112_bit19 -X113_bit_10 -X113_bit_9 -X113_bit_8 -X113_bit_7 -X113_bit_6 -X113_bit_5 -X113_bit_4 -X113_bit_3 -X113_bit_2 -X113_bit_1 -X113_bit0 -X113_bit1 -X113_bit2 -X113_bit3 -X113_bit4 -X113_bit5 -X113_bit6 -X113_bit7 -X113_bit8 -X113_bit9 -X113_bit10 -X113_bit11 -X113_bit12 -X113_bit13 -X113_bit14 -X113_bit15 -X113_bit16 -X113_bit17 -X113_bit18 -X113_bit19 -X114_bit_10 -X114_bit_9 -X114_bit_8 -X114_bit_7 -X114_bit_6 -X114_bit_5 -X114_bit_4 -X114_bit_3 -X114_bit_2 -X114_bit_1 -X114_bit0 X114_bit1 -X114_bit2 -X114_bit3 -X114_bit4 -X114_bit5 -X114_bit6 -X114_bit7 -X114_bit8 -X114_bit9 -X114_bit10 -X114_bit11 -X114_bit12 -X114_bit13 -X114_bit14 -X114_bit15 -X114_bit16 -X114_bit17 -X114_bit18 -X114_bit19 -X115_bit_10 -X115_bit_9 -X115_bit_8 -X115_bit_7 -X115_bit_6 -X115_bit_5 -X115_bit_4 -X115_bit_3 -X115_bit_2 -X115_bit_1 -X115_bit0 -X115_bit1 -X115_bit2 -X115_bit3 -X115_bit4 -X115_bit5 -X115_bit6 -X115_bit7 -X115_bit8 -X115_bit9 -X115_bit10 -X115_bit11 -X115_bit12 -X115_bit13 -X115_bit14 -X115_bit15 -X115_bit16 -X115_bit17 -X115_bit18 -X115_bit19 -X116_bit_10 -X116_bit_9 -X116_bit_8 -X116_bit_7 -X116_bit_6 -X116_bit_5 -X116_bit_4 -X116_bit_3 -X116_bit_2 -X116_bit_1 -X116_bit0 -X116_bit1 -X116_bit2 -X116_bit3 -X116_bit4 -X116_bit5 -X116_bit6 -X116_bit7 -X116_bit8 -X116_bit9 -X116_bit10 -X116_bit11 -X116_bit12 -X116_bit13 -X116_bit14 -X116_bit15 -X116_bit16 -X116_bit17 -X116_bit18 -X116_bit19 -X117_bit_10 -X117_bit_9 -X117_bit_8 -X117_bit_7 -X117_bit_6 -X117_bit_5 -X117_bit_4 -X117_bit_3 -X117_bit_2 -X117_bit_1 -X117_bit0 -X117_bit1 -X117_bit2 -X117_bit3 -X117_bit4 -X117_bit5 -X117_bit6 -X117_bit7 -X117_bit8 -X117_bit9 -X117_bit10 -X117_bit11 -X117_bit12 -X117_bit13 -X117_bit14 -X117_bit15 -X117_bit16 -X117_bit17 -X117_bit18 -X117_bit19 -X118_bit_10 -X118_bit_9 -X118_bit_8 -X118_bit_7 -X118_bit_6 -X118_bit_5 -X118_bit_4 -X118_bit_3 -X118_bit_2 -X118_bit_1 -X118_bit0 -X118_bit1 -X118_bit2 -X118_bit3 -X118_bit4 -X118_bit5 -X118_bit6 -X118_bit7 -X118_bit8 -X118_bit9 -X118_bit10 -X118_bit11 -X118_bit12 -X118_bit13 -X118_bit14 -X118_bit15 -X118_bit16 -X118_bit17 -X118_bit18 -X118_bit19 -X119_bit_10 -X119_bit_9 -X119_bit_8 -X119_bit_7 -X119_bit_6 -X119_bit_5 -X119_bit_4 -X119_bit_3 -X119_bit_2 -X119_bit_1 -X119_bit0 -X119_bit1 -X119_bit2 -X119_bit3 -X119_bit4 -X119_bit5 -X119_bit6 -X119_bit7 -X119_bit8 -X119_bit9 -X119_bit10 -X119_bit11 -X119_bit12 -X119_bit13 -X119_bit14 -X119_bit15 -X119_bit16 -X119_bit17 -X119_bit18 -X119_bit19 -X120_bit_10 -X120_bit_9 -X120_bit_8 -X120_bit_7 -X120_bit_6 -X120_bit_5 -X120_bit_4 -X120_bit_3 -X120_bit_2 -X120_bit_1 -X120_bit0 -X120_bit1 -X120_bit2 -X120_bit3 -X120_bit4 -X120_bit5 -X120_bit6 -X120_bit7 -X120_bit8 -X120_bit9 -X120_bit10 -X120_bit11 -X120_bit12 -X120_bit13 -X120_bit14 -X120_bit15 -X120_bit16 -X120_bit17 -X120_bit18 -X120_bit19 -X121_bit_10 -X121_bit_9 -X121_bit_8 -X121_bit_7 -X121_bit_6 -X121_bit_5 -X121_bit_4 -X121_bit_3 -X121_bit_2 -X121_bit_1 -X121_bit0 -X121_bit1 -X121_bit2 -X121_bit3 -X121_bit4 -X121_bit5 -X121_bit6 -X121_bit7 -X121_bit8 -X121_bit9 -X121_bit10 -X121_bit11 -X121_bit12 -X121_bit13 -X121_bit14 -X121_bit15 -X121_bit16 -X121_bit17 -X121_bit18 -X121_bit19 X122_bit_10 -X122_bit_9 -X122_bit_8 -X122_bit_7 -X122_bit_6 -X122_bit_5 -X122_bit_4 -X122_bit_3 X122_bit_2 X122_bit_1 X122_bit0 X122_bit1 -X122_bit2 X122_bit3 -X122_bit4 -X122_bit5 -X122_bit6 -X122_bit7 -X122_bit8 -X122_bit9 -X122_bit10 -X122_bit11 -X122_bit12 -X122_bit13 -X122_bit14 -X122_bit15 -X122_bit16 -X122_bit17 -X122_bit18 -X122_bit19 -X123_bit_10 -X123_bit_9 -X123_bit_8 -X123_bit_7 -X123_bit_6 -X123_bit_5 -X123_bit_4 -X123_bit_3 -X123_bit_2 -X123_bit_1 -X123_bit0 -X123_bit1 -X123_bit2 -X123_bit3 -X123_bit4 -X123_bit5 -X123_bit6 -X123_bit7 -X123_bit8 -X123_bit9 -X123_bit10 -X123_bit11 -X123_bit12 -X123_bit13 -X123_bit14 -X123_bit15 -X123_bit16 -X123_bit17 -X123_bit18 -X123_bit19 X124_bit_10 X124_bit_9 X124_bit_8 X124_bit_7 X124_bit_6 X124_bit_5 X124_bit_4 X124_bit_3 -X124_bit_2 -X124_bit_1 -X124_bit0 -X124_bit1 -X124_bit2 -X124_bit3 -X124_bit4 -X124_bit5 -X124_bit6 -X124_bit7 -X124_bit8 -X124_bit9 -X124_bit10 -X124_bit11 -X124_bit12 -X124_bit13 -X124_bit14 -X124_bit15 -X124_bit16 -X124_bit17 -X124_bit18 -X124_bit19 -X125_bit_10 -X125_bit_9 -X125_bit_8 -X125_bit_7 -X125_bit_6 -X125_bit_5 -X125_bit_4 -X125_bit_3 -X125_bit_2 -X125_bit_1 -X125_bit0 -X125_bit1 -X125_bit2 -X125_bit3 -X125_bit4 -X125_bit5 -X125_bit6 -X125_bit7 -X125_bit8 -X125_bit9 -X125_bit10 -X125_bit11 -X125_bit12 -X125_bit13 -X125_bit14 -X125_bit15 -X125_bit16 -X125_bit17 -X125_bit18 -X125_bit19 -X126_bit_10 -X126_bit_9 -X126_bit_8 -X126_bit_7 -X126_bit_6 -X126_bit_5 -X126_bit_4 -X126_bit_3 -X126_bit_2 -X126_bit_1 -X126_bit0 -X126_bit1 -X126_bit2 -X126_bit3 -X126_bit4 -X126_bit5 -X126_bit6 -X126_bit7 -X126_bit8 -X126_bit9 -X126_bit10 -X126_bit11 -X126_bit12 -X126_bit13 -X126_bit14 -X126_bit15 -X126_bit16 -X126_bit17 -X126_bit18 -X126_bit19 -X127_bit_10 -X127_bit_9 -X127_bit_8 -X127_bit_7 -X127_bit_6 -X127_bit_5 -X127_bit_4 -X127_bit_3 -X127_bit_2 -X127_bit_1 -X127_bit0 -X127_bit1 -X127_bit2 -X127_bit3 -X127_bit4 -X127_bit5 -X127_bit6 -X127_bit7 -X127_bit8 -X127_bit9 -X127_bit10 -X127_bit11 -X127_bit12 -X127_bit13 -X127_bit14 -X127_bit15 -X127_bit16 -X127_bit17 -X127_bit18 -X127_bit19 -X128_bit_10 -X128_bit_9 -X128_bit_8 -X128_bit_7 -X128_bit_6 -X128_bit_5 -X128_bit_4 -X128_bit_3 -X128_bit_2 -X128_bit_1 -X128_bit0 -X128_bit1 -X128_bit2 -X128_bit3 -X128_bit4 -X128_bit5 -X128_bit6 -X128_bit7 -X128_bit8 -X128_bit9 -X128_bit10 -X128_bit11 -X128_bit12 -X128_bit13 -X128_bit14 -X128_bit15 -X128_bit16 -X128_bit17 -X128_bit18 -X128_bit19 -X129_bit_10 -X129_bit_9 -X129_bit_8 -X129_bit_7 -X129_bit_6 -X129_bit_5 -X129_bit_4 -X129_bit_3 -X129_bit_2 -X129_bit_1 -X129_bit0 -X129_bit1 -X129_bit2 -X129_bit3 -X129_bit4 -X129_bit5 -X129_bit6 -X129_bit7 -X129_bit8 -X129_bit9 -X129_bit10 -X129_bit11 -X129_bit12 -X129_bit13 -X129_bit14 -X129_bit15 -X129_bit16 -X129_bit17 -X129_bit18 -X129_bit19 -X130_bit_10 -X130_bit_9 -X130_bit_8 -X130_bit_7 -X130_bit_6 -X130_bit_5 -X130_bit_4 -X130_bit_3 -X130_bit_2 -X130_bit_1 -X130_bit0 -X130_bit1 -X130_bit2 -X130_bit3 -X130_bit4 -X130_bit5 -X130_bit6 -X130_bit7 -X130_bit8 -X130_bit9 -X130_bit10 -X130_bit11 -X130_bit12 -X130_bit13 -X130_bit14 -X130_bit15 -X130_bit16 -X130_bit17 -X130_bit18 -X130_bit19 -X131_bit_10 -X131_bit_9 -X131_bit_8 -X131_bit_7 -X131_bit_6 -X131_bit_5 -X131_bit_4 -X131_bit_3 -X131_bit_2 -X131_bit_1 -X131_bit0 -X131_bit1 -X131_bit2 -X131_bit3 -X131_bit4 -X131_bit5 -X131_bit6 -X131_bit7 -X131_bit8 -X131_bit9 -X131_bit10 -X131_bit11 -X131_bit12 -X131_bit13 -X131_bit14 -X131_bit15 -X131_bit16 -X131_bit17 -X131_bit18 -X131_bit19 -X132_bit_10 -X132_bit_9 -X132_bit_8 -X132_bit_7 -X132_bit_6 -X132_bit_5 -X132_bit_4 -X132_bit_3 -X132_bit_2 -X132_bit_1 -X132_bit0 -X132_bit1 -X132_bit2 -X132_bit3 -X132_bit4 -X132_bit5 -X132_bit6 -X132_bit7 -X132_bit8 -X132_bit9 -X132_bit10 -X132_bit11 -X132_bit12 -X132_bit13 -X132_bit14 -X132_bit15 -X132_bit16 -X132_bit17 -X132_bit18 -X132_bit19 -X133_bit_10 -X133_bit_9 -X133_bit_8 -X133_bit_7 -X133_bit_6 -X133_bit_5 -X133_bit_4 -X133_bit_3 -X133_bit_2 -X133_bit_1 -X133_bit0 -X133_bit1 -X133_bit2 -X133_bit3 -X133_bit4 -X133_bit5 -X133_bit6 -X133_bit7 -X133_bit8 -X133_bit9 -X133_bit10 -X133_bit11 -X133_bit12 -X133_bit13 -X133_bit14 -X133_bit15 -X133_bit16 -X133_bit17 -X133_bit18 -X133_bit19 -X134_bit_10 -X134_bit_9 -X134_bit_8 -X134_bit_7 -X134_bit_6 -X134_bit_5 -X134_bit_4 -X134_bit_3 -X134_bit_2 -X134_bit_1 -X134_bit0 -X134_bit1 -X134_bit2 -X134_bit3 -X134_bit4 -X134_bit5 -X134_bit6 -X134_bit7 -X134_bit8 -X134_bit9 -X134_bit10 -X134_bit11 -X134_bit12 -X134_bit13 -X134_bit14 -X134_bit15 -X134_bit16 -X134_bit17 -X134_bit18 -X134_bit19 X135_bit_10 -X135_bit_9 -X135_bit_8 -X135_bit_7 -X135_bit_6 -X135_bit_5 -X135_bit_4 X135_bit_3 X135_bit_2 X135_bit_1 X135_bit0 X135_bit1 X135_bit2 X135_bit3 -X135_bit4 -X135_bit5 -X135_bit6 -X135_bit7 -X135_bit8 -X135_bit9 -X135_bit10 -X135_bit11 -X135_bit12 -X135_bit13 -X135_bit14 -X135_bit15 -X135_bit16 -X135_bit17 -X135_bit18 -X135_bit19 -X136_bit_10 -X136_bit_9 -X136_bit_8 -X136_bit_7 -X136_bit_6 -X136_bit_5 -X136_bit_4 -X136_bit_3 -X136_bit_2 -X136_bit_1 -X136_bit0 -X136_bit1 -X136_bit2 -X136_bit3 -X136_bit4 -X136_bit5 -X136_bit6 -X136_bit7 -X136_bit8 -X136_bit9 -X136_bit10 -X136_bit11 -X136_bit12 -X136_bit13 -X136_bit14 -X136_bit15 -X136_bit16 -X136_bit17 -X136_bit18 -X136_bit19 X137_bit_10 X137_bit_9 X137_bit_8 X137_bit_7 X137_bit_6 X137_bit_5 X137_bit_4 -X137_bit_3 -X137_bit_2 -X137_bit_1 -X137_bit0 -X137_bit1 -X137_bit2 -X137_bit3 -X137_bit4 -X137_bit5 -X137_bit6 -X137_bit7 -X137_bit8 -X137_bit9 -X137_bit10 -X137_bit11 -X137_bit12 -X137_bit13 -X137_bit14 -X137_bit15 -X137_bit16 -X137_bit17 -X137_bit18 -X137_bit19 -X138_bit_10 -X138_bit_9 -X138_bit_8 -X138_bit_7 -X138_bit_6 -X138_bit_5 -X138_bit_4 -X138_bit_3 -X138_bit_2 -X138_bit_1 -X138_bit0 -X138_bit1 -X138_bit2 -X138_bit3 -X138_bit4 -X138_bit5 -X138_bit6 -X138_bit7 -X138_bit8 -X138_bit9 -X138_bit10 -X138_bit11 -X138_bit12 -X138_bit13 -X138_bit14 -X138_bit15 -X138_bit16 -X138_bit17 -X138_bit18 -X138_bit19 -X139_bit_10 -X139_bit_9 -X139_bit_8 -X139_bit_7 -X139_bit_6 -X139_bit_5 -X139_bit_4 -X139_bit_3 -X139_bit_2 -X139_bit_1 -X139_bit0 -X139_bit1 -X139_bit2 -X139_bit3 -X139_bit4 -X139_bit5 -X139_bit6 -X139_bit7 -X139_bit8 -X139_bit9 -X139_bit10 -X139_bit11 -X139_bit12 -X139_bit13 -X139_bit14 -X139_bit15 -X139_bit16 -X139_bit17 -X139_bit18 -X139_bit19 -X140_bit_10 -X140_bit_9 -X140_bit_8 -X140_bit_7 -X140_bit_6 -X140_bit_5 -X140_bit_4 -X140_bit_3 -X140_bit_2 -X140_bit_1 -X140_bit0 -X140_bit1 -X140_bit2 -X140_bit3 -X140_bit4 -X140_bit5 -X140_bit6 -X140_bit7 -X140_bit8 -X140_bit9 -X140_bit10 -X140_bit11 -X140_bit12 -X140_bit13 -X140_bit14 -X140_bit15 -X140_bit16 -X140_bit17 -X140_bit18 -X140_bit19 -X141_bit_10 -X141_bit_9 -X141_bit_8 -X141_bit_7 -X141_bit_6 -X141_bit_5 -X141_bit_4 -X141_bit_3 -X141_bit_2 -X141_bit_1 -X141_bit0 -X141_bit1 -X141_bit2 -X141_bit3 -X141_bit4 -X141_bit5 -X141_bit6 -X141_bit7 -X141_bit8 -X141_bit9 -X141_bit10 -X141_bit11 -X141_bit12 -X141_bit13 -X141_bit14 -X141_bit15 -X141_bit16 -X141_bit17 -X141_bit18 -X141_bit19 -X142_bit_10 -X142_bit_9 -X142_bit_8 -X142_bit_7 -X142_bit_6 -X142_bit_5 -X142_bit_4 -X142_bit_3 -X142_bit_2 -X142_bit_1 -X142_bit0 -X142_bit1 -X142_bit2 -X142_bit3 -X142_bit4 -X142_bit5 -X142_bit6 -X142_bit7 -X142_bit8 -X142_bit9 -X142_bit10 -X142_bit11 -X142_bit12 -X142_bit13 -X142_bit14 -X142_bit15 -X142_bit16 -X142_bit17 -X142_bit18 -X142_bit19 -X143_bit_10 -X143_bit_9 -X143_bit_8 -X143_bit_7 -X143_bit_6 -X143_bit_5 -X143_bit_4 -X143_bit_3 -X143_bit_2 -X143_bit_1 -X143_bit0 -X143_bit1 -X143_bit2 -X143_bit3 -X143_bit4 -X143_bit5 -X143_bit6 -X143_bit7 -X143_bit8 -X143_bit9 -X143_bit10 -X143_bit11 -X143_bit12 -X143_bit13 -X143_bit14 -X143_bit15 -X143_bit16 -X143_bit17 -X143_bit18 -X143_bit19 -X144_bit_10 -X144_bit_9 -X144_bit_8 -X144_bit_7 -X144_bit_6 -X144_bit_5 -X144_bit_4 -X144_bit_3 -X144_bit_2 -X144_bit_1 -X144_bit0 -X144_bit1 -X144_bit2 -X144_bit3 -X144_bit4 -X144_bit5 -X144_bit6 -X144_bit7 -X144_bit8 -X144_bit9 -X144_bit10 -X144_bit11 -X144_bit12 -X144_bit13 -X144_bit14 -X144_bit15 -X144_bit16 -X144_bit17 -X144_bit18 -X144_bit19 -X145_bit_10 -X145_bit_9 -X145_bit_8 -X145_bit_7 -X145_bit_6 -X145_bit_5 -X145_bit_4 -X145_bit_3 -X145_bit_2 -X145_bit_1 -X145_bit0 -X145_bit1 -X145_bit2 -X145_bit3 -X145_bit4 -X145_bit5 -X145_bit6 -X145_bit7 -X145_bit8 -X145_bit9 -X145_bit10 -X145_bit11 -X145_bit12 -X145_bit13 -X145_bit14 -X145_bit15 -X145_bit16 -X145_bit17 -X145_bit18 -X145_bit19 -X146_bit_10 -X146_bit_9 -X146_bit_8 -X146_bit_7 -X146_bit_6 -X146_bit_5 -X146_bit_4 -X146_bit_3 -X146_bit_2 -X146_bit_1 -X146_bit0 -X146_bit1 -X146_bit2 -X146_bit3 -X146_bit4 -X146_bit5 -X146_bit6 -X146_bit7 -X146_bit8 -X146_bit9 -X146_bit10 -X146_bit11 -X146_bit12 -X146_bit13 -X146_bit14 -X146_bit15 -X146_bit16 -X146_bit17 -X146_bit18 -X146_bit19 -X147_bit_10 -X147_bit_9 -X147_bit_8 -X147_bit_7 -X147_bit_6 -X147_bit_5 -X147_bit_4 -X147_bit_3 -X147_bit_2 -X147_bit_1 -X147_bit0 X147_bit1 -X147_bit2 -X147_bit3 -X147_bit4 -X147_bit5 -X147_bit6 -X147_bit7 -X147_bit8 -X147_bit9 -X147_bit10 -X147_bit11 -X147_bit12 -X147_bit13 -X147_bit14 -X147_bit15 -X147_bit16 -X147_bit17 -X147_bit18 -X147_bit19 X148_bit_10 -X148_bit_9 -X148_bit_8 -X148_bit_7 -X148_bit_6 X148_bit_5 -X148_bit_4 -X148_bit_3 -X148_bit_2 X148_bit_1 X148_bit0 -X148_bit1 -X148_bit2 X148_bit3 -X148_bit4 -X148_bit5 -X148_bit6 -X148_bit7 -X148_bit8 -X148_bit9 -X148_bit10 -X148_bit11 -X148_bit12 -X148_bit13 -X148_bit14 -X148_bit15 -X148_bit16 -X148_bit17 -X148_bit18 -X148_bit19 -X149_bit_10 -X149_bit_9 -X149_bit_8 -X149_bit_7 -X149_bit_6 -X149_bit_5 -X149_bit_4 -X149_bit_3 -X149_bit_2 -X149_bit_1 -X149_bit0 -X149_bit1 -X149_bit2 -X149_bit3 -X149_bit4 -X149_bit5 -X149_bit6 -X149_bit7 -X149_bit8 -X149_bit9 -X149_bit10 -X149_bit11 -X149_bit12 -X149_bit13 -X149_bit14 -X149_bit15 -X149_bit16 -X149_bit17 -X149_bit18 -X149_bit19 X150_bit_10 X150_bit_9 X150_bit_8 X150_bit_7 X150_bit_6 -X150_bit_5 X150_bit_4 X150_bit_3 X150_bit_2 -X150_bit_1 -X150_bit0 -X150_bit1 -X150_bit2 -X150_bit3 -X150_bit4 -X150_bit5 -X150_bit6 -X150_bit7 -X150_bit8 -X150_bit9 -X150_bit10 -X150_bit11 -X150_bit12 -X150_bit13 -X150_bit14 -X150_bit15 -X150_bit16 -X150_bit17 -X150_bit18 -X150_bit19 -X151_bit_10 -X151_bit_9 -X151_bit_8 -X151_bit_7 -X151_bit_6 -X151_bit_5 -X151_bit_4 -X151_bit_3 -X151_bit_2 -X151_bit_1 -X151_bit0 -X151_bit1 -X151_bit2 -X151_bit3 -X151_bit4 -X151_bit5 -X151_bit6 -X151_bit7 -X151_bit8 -X151_bit9 -X151_bit10 -X151_bit11 -X151_bit12 -X151_bit13 -X151_bit14 -X151_bit15 -X151_bit16 -X151_bit17 -X151_bit18 -X151_bit19 -X152_bit_10 -X152_bit_9 -X152_bit_8 -X152_bit_7 -X152_bit_6 -X152_bit_5 -X152_bit_4 -X152_bit_3 -X152_bit_2 -X152_bit_1 -X152_bit0 -X152_bit1 -X152_bit2 -X152_bit3 -X152_bit4 -X152_bit5 -X152_bit6 -X152_bit7 -X152_bit8 -X152_bit9 -X152_bit10 -X152_bit11 -X152_bit12 -X152_bit13 -X152_bit14 -X152_bit15 -X152_bit16 -X152_bit17 -X152_bit18 -X152_bit19 -X153_bit_10 -X153_bit_9 -X153_bit_8 -X153_bit_7 -X153_bit_6 -X153_bit_5 -X153_bit_4 -X153_bit_3 -X153_bit_2 -X153_bit_1 -X153_bit0 -X153_bit1 -X153_bit2 -X153_bit3 -X153_bit4 -X153_bit5 -X153_bit6 -X153_bit7 -X153_bit8 -X153_bit9 -X153_bit10 -X153_bit11 -X153_bit12 -X153_bit13 -X153_bit14 -X153_bit15 -X153_bit16 -X153_bit17 -X153_bit18 -X153_bit19 -X154_bit_10 -X154_bit_9 -X154_bit_8 -X154_bit_7 -X154_bit_6 -X154_bit_5 -X154_bit_4 -X154_bit_3 -X154_bit_2 -X154_bit_1 -X154_bit0 -X154_bit1 -X154_bit2 -X154_bit3 -X154_bit4 -X154_bit5 -X154_bit6 -X154_bit7 -X154_bit8 -X154_bit9 -X154_bit10 -X154_bit11 -X154_bit12 -X154_bit13 -X154_bit14 -X154_bit15 -X154_bit16 -X154_bit17 -X154_bit18 -X154_bit19 -X155_bit_10 -X155_bit_9 -X155_bit_8 -X155_bit_7 -X155_bit_6 -X155_bit_5 -X155_bit_4 -X155_bit_3 -X155_bit_2 -X155_bit_1 -X155_bit0 -X155_bit1 -X155_bit2 -X155_bit3 -X155_bit4 -X155_bit5 -X155_bit6 -X155_bit7 -X155_bit8 -X155_bit9 -X155_bit10 -X155_bit11 -X155_bit12 -X155_bit13 -X155_bit14 -X155_bit15 -X155_bit16 -X155_bit17 -X155_bit18 -X155_bit19 -X156_bit_10 -X156_bit_9 -X156_bit_8 -X156_bit_7 -X156_bit_6 -X156_bit_5 -X156_bit_4 -X156_bit_3 -X156_bit_2 -X156_bit_1 X156_bit0 -X156_bit1 -X156_bit2 X156_bit3 -X156_bit4 -X156_bit5 -X156_bit6 -X156_bit7 -X156_bit8 -X156_bit9 -X156_bit10 -X156_bit11 -X156_bit12 -X156_bit13 -X156_bit14 -X156_bit15 -X156_bit16 -X156_bit17 -X156_bit18 -X156_bit19 -X157_bit_10 -X157_bit_9 -X157_bit_8 -X157_bit_7 -X157_bit_6 -X157_bit_5 -X157_bit_4 -X157_bit_3 -X157_bit_2 -X157_bit_1 -X157_bit0 -X157_bit1 -X157_bit2 -X157_bit3 -X157_bit4 -X157_bit5 -X157_bit6 -X157_bit7 -X157_bit8 -X157_bit9 -X157_bit10 -X157_bit11 -X157_bit12 -X157_bit13 -X157_bit14 -X157_bit15 -X157_bit16 -X157_bit17 -X157_bit18 -X157_bit19 -X158_bit_10 -X158_bit_9 -X158_bit_8 -X158_bit_7 -X158_bit_6 -X158_bit_5 -X158_bit_4 -X158_bit_3 -X158_bit_2 -X158_bit_1 X158_bit0 X158_bit1 -X158_bit2 -X158_bit3 -X158_bit4 -X158_bit5 -X158_bit6 -X158_bit7 -X158_bit8 -X158_bit9 -X158_bit10 -X158_bit11 -X158_bit12 -X158_bit13 -X158_bit14 -X158_bit15 -X158_bit16 -X158_bit17 -X158_bit18 -X158_bit19 -X159_bit_10 -X159_bit_9 -X159_bit_8 -X159_bit_7 -X159_bit_6 -X159_bit_5 -X159_bit_4 -X159_bit_3 -X159_bit_2 -X159_bit_1 -X159_bit0 X159_bit1 X159_bit2 -X159_bit3 -X159_bit4 -X159_bit5 -X159_bit6 -X159_bit7 -X159_bit8 -X159_bit9 -X159_bit10 -X159_bit11 -X159_bit12 -X159_bit13 -X159_bit14 -X159_bit15 -X159_bit16 -X159_bit17 -X159_bit18 -X159_bit19 -X160_bit_10 -X160_bit_9 -X160_bit_8 -X160_bit_7 -X160_bit_6 -X160_bit_5 -X160_bit_4 -X160_bit_3 -X160_bit_2 -X160_bit_1 X160_bit0 -X160_bit1 -X160_bit2 -X160_bit3 -X160_bit4 -X160_bit5 -X160_bit6 -X160_bit7 -X160_bit8 -X160_bit9 -X160_bit10 -X160_bit11 -X160_bit12 -X160_bit13 -X160_bit14 -X160_bit15 -X160_bit16 -X160_bit17 -X160_bit18 -X160_bit19 X161_bit_10 -X161_bit_9 X161_bit_8 X161_bit_7 X161_bit_6 -X161_bit_5 X161_bit_4 -X161_bit_3 X161_bit_2 X161_bit_1 -X161_bit0 -X161_bit1 -X161_bit2 -X161_bit3 -X161_bit4 -X161_bit5 -X161_bit6 -X161_bit7 -X161_bit8 -X161_bit9 -X161_bit10 -X161_bit11 -X161_bit12 -X161_bit13 -X161_bit14 -X161_bit15 -X161_bit16 -X161_bit17 -X161_bit18 -X161_bit19 -X162_bit_10 -X162_bit_9 -X162_bit_8 -X162_bit_7 -X162_bit_6 -X162_bit_5 -X162_bit_4 -X162_bit_3 -X162_bit_2 -X162_bit_1 -X162_bit0 -X162_bit1 -X162_bit2 -X162_bit3 -X162_bit4 -X162_bit5 -X162_bit6 -X162_bit7 -X162_bit8 -X162_bit9 -X162_bit10 -X162_bit11 -X162_bit12 -X162_bit13 -X162_bit14 -X162_bit15 -X162_bit16 -X162_bit17 -X162_bit18 -X162_bit19 X163_bit_10 X163_bit_9 -X163_bit_8 -X163_bit_7 -X163_bit_6 X163_bit_5 -X163_bit_4 X163_bit_3 -X163_bit_2 -X163_bit_1 -X163_bit0 -X163_bit1 -X163_bit2 -X163_bit3 -X163_bit4 -X163_bit5 -X163_bit6 -X163_bit7 -X163_bit8 -X163_bit9 -X163_bit10 -X163_bit11 -X163_bit12 -X163_bit13 -X163_bit14 -X163_bit15 -X163_bit16 -X163_bit17 -X163_bit18 -X163_bit19 -X164_bit_10 -X164_bit_9 -X164_bit_8 -X164_bit_7 -X164_bit_6 -X164_bit_5 -X164_bit_4 -X164_bit_3 -X164_bit_2 -X164_bit_1 -X164_bit0 -X164_bit1 -X164_bit2 -X164_bit3 -X164_bit4 -X164_bit5 -X164_bit6 -X164_bit7 -X164_bit8 -X164_bit9 -X164_bit10 -X164_bit11 -X164_bit12 -X164_bit13 -X164_bit14 -X164_bit15 -X164_bit16 -X164_bit17 -X164_bit18 -X164_bit19 -X165_bit_10 -X165_bit_9 -X165_bit_8 -X165_bit_7 -X165_bit_6 -X165_bit_5 -X165_bit_4 -X165_bit_3 -X165_bit_2 -X165_bit_1 -X165_bit0 -X165_bit1 -X165_bit2 -X165_bit3 -X165_bit4 -X165_bit5 -X165_bit6 -X165_bit7 -X165_bit8 -X165_bit9 -X165_bit10 -X165_bit11 -X165_bit12 -X165_bit13 -X165_bit14 -X165_bit15 -X165_bit16 -X165_bit17 -X165_bit18 -X165_bit19 -X166_bit_10 -X166_bit_9 -X166_bit_8 -X166_bit_7 -X166_bit_6 -X166_bit_5 -X166_bit_4 -X166_bit_3 -X166_bit_2 -X166_bit_1 -X166_bit0 -X166_bit1 -X166_bit2 -X166_bit3 -X166_bit4 -X166_bit5 -X166_bit6 -X166_bit7 -X166_bit8 -X166_bit9 -X166_bit10 -X166_bit11 -X166_bit12 -X166_bit13 -X166_bit14 -X166_bit15 -X166_bit16 -X166_bit17 -X166_bit18 -X166_bit19 -X167_bit_10 -X167_bit_9 -X167_bit_8 -X167_bit_7 -X167_bit_6 -X167_bit_5 -X167_bit_4 -X167_bit_3 -X167_bit_2 -X167_bit_1 -X167_bit0 -X167_bit1 -X167_bit2 -X167_bit3 -X167_bit4 -X167_bit5 -X167_bit6 -X167_bit7 -X167_bit8 -X167_bit9 -X167_bit10 -X167_bit11 -X167_bit12 -X167_bit13 -X167_bit14 -X167_bit15 -X167_bit16 -X167_bit17 -X167_bit18 -X167_bit19 -X168_bit_10 -X168_bit_9 -X168_bit_8 -X168_bit_7 -X168_bit_6 -X168_bit_5 -X168_bit_4 -X168_bit_3 -X168_bit_2 -X168_bit_1 -X168_bit0 -X168_bit1 -X168_bit2 -X168_bit3 -X168_bit4 -X168_bit5 -X168_bit6 -X168_bit7 -X168_bit8 -X168_bit9 -X168_bit10 -X168_bit11 -X168_bit12 -X168_bit13 -X168_bit14 -X168_bit15 -X168_bit16 -X168_bit17 -X168_bit18 -X168_bit19 Y0_bit0 -Y1_bit0 -Y2_bit0 -Y3_bit0 -Y4_bit0 Y5_bit0 -Y6_bit0 -Y7_bit0 -Y8_bit0 -Y9_bit0 -Y10_bit0 -Y11_bit0 -Y12_bit0 -Y13_bit0 -Y14_bit0 -Y15_bit0 -Y16_bit0 -Y17_bit0 -Y18_bit0 -Y19_bit0 -Y20_bit0 Y21_bit0 Y22_bit0 -Y23_bit0 -Y24_bit0 -Y25_bit0 -Y26_bit0 Y27_bit0 Y28_bit0 -Y29_bit0 -Y30_bit0 Y31_bit0 -Y32_bit0 -Y33_bit0 -Y34_bit0 -Y35_bit0 -Y36_bit0 -Y37_bit0 -Y38_bit0 -Y39_bit0 Y40_bit0 Y41_bit0 -Y42_bit0 -Y43_bit0 -Y44_bit0 -Y45_bit0 -Y46_bit0 -Y47_bit0 Y48_bit0 -Y49_bit0 Y50_bit0 Y51_bit0 -Y52_bit0 -Y53_bit0 -Y54_bit0 -Y55_bit0 -Y56_bit0 -Y57_bit0 -Y58_bit0 -Y59_bit0 -Y60_bit0 Y61_bit0 -Y62_bit0 Y63_bit0 Y64_bit0 Y65_bit0 -Y66_bit0 Y67_bit0 -Y68_bit0 -Y69_bit0 -Y70_bit0 -Y71_bit0 -Y72_bit0 -Y73_bit0 -Y74_bit0 -Y75_bit0 -Y76_bit0 -Y77_bit0 -Y78_bit0 -Y79_bit0 -Y80_bit0 -Y81_bit0 -Y82_bit0 -Y83_bit0 -Y84_bit0 -Y85_bit0 Y86_bit0 Y87_bit0 -Y88_bit0 -Y89_bit0 -Y90_bit0 -Y91_bit0 -Y92_bit0 -Y93_bit0 -Y94_bit0 -Y95_bit0 -Y96_bit0 -Y97_bit0 -Y98_bit0 -Y99_bit0 Y100_bit0 -Y101_bit0 -Y102_bit0 -Y103_bit0 -Y104_bit0 -Y105_bit0 -Y106_bit0 -Y107_bit0 -Y108_bit0 -Y109_bit0 Y110_bit0 -Y111_bit0 Y112_bit0 -Y113_bit0 Y114_bit0 -Y115_bit0 -Y116_bit0 -Y117_bit0 -Y118_bit0 -Y119_bit0 -Y120_bit0 -Y121_bit0 Y122_bit0 -Y123_bit0 Y124_bit0 -Y125_bit0 -Y126_bit0 -Y127_bit0 -Y128_bit0 -Y129_bit0 -Y130_bit0 -Y131_bit0 -Y132_bit0 -Y133_bit0 -Y134_bit0 Y135_bit0 -Y136_bit0 Y137_bit0 -Y138_bit0 -Y139_bit0 -Y140_bit0 -Y141_bit0 -Y142_bit0 -Y143_bit0 -Y144_bit0 -Y145_bit0 -Y146_bit0 Y147_bit0 Y148_bit0 -Y149_bit0 Y150_bit0 -Y151_bit0 -Y152_bit0 -Y153_bit0 -Y154_bit0 -Y155_bit0 Y156_bit0 -Y157_bit0 Y158_bit0 Y159_bit0 Y160_bit0 Y161_bit0 -Y162_bit0 Y163_bit0 -Y164_bit0 -Y165_bit0 -Y166_bit0 -Y167_bit0 -Y168_bit0 
c objectif function=8418073
c Total CPU time (ms) : 1219.59
#### 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.86 0.97 0.99 2/54 22858
Raw data (stat): 22858 (runsolver) R 22857 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838209578 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.88 0.97 0.99 2/63 22867
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18002 0 1 0 870 41 0 0 24 0 10 0 838209578 853680128 19349 4294967295 134512640 134569956 3221224368 3221214648 1131181595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208418 19349 13086 16 0 208402 0
vsize: 833672
[startup+20.0006 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 22868
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18093 0 1 0 1610 41 0 0 25 0 11 0 838209578 861065216 22092 4294967295 134512640 134569956 3221224368 3221214576 1131225399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210221 22092 13086 16 0 210205 0
vsize: 840884
[startup+30.0019 s]
Raw data (loadavg): 1.11 1.02 1.00 2/64 22868
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18094 0 1 0 2505 41 0 0 24 0 11 0 838209578 860827648 22140 4294967295 134512640 134569956 3221224368 3221214576 1131225336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210163 22140 13086 16 0 210147 0
vsize: 840652
[startup+40.0016 s]
Raw data (loadavg): 1.09 1.02 1.00 2/64 22868
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18094 0 1 0 3410 42 0 0 25 0 11 0 838209578 859746304 21780 4294967295 134512640 134569956 3221224368 3221214576 1131225924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 21780 13086 16 0 209883 0
vsize: 839596
[startup+50.002 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18141 4 1 0 4315 42 0 0 25 0 11 0 838209578 859746304 22074 4294967295 134512640 134569956 3221224368 3221214736 1131408685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 22074 13086 16 0 209883 0
vsize: 839596
[startup+60.0025 s]
Raw data (loadavg): 1.07 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18141 4 1 0 5285 42 0 0 25 0 11 0 838209578 859746304 22577 4294967295 134512640 134569956 3221224368 3221214576 1131225015 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 22577 13086 16 0 209883 0
vsize: 839596
[startup+70.004 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18141 4 1 0 6241 42 0 0 25 0 11 0 838209578 859746304 22628 4294967295 134512640 134569956 3221224368 3221214576 1131225399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 22628 13086 16 0 209883 0
vsize: 839596
[startup+80.0044 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18141 4 1 0 7207 43 0 0 25 0 11 0 838209578 861802496 23257 4294967295 134512640 134569956 3221224368 3221214576 1131225858 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210401 23257 13086 16 0 210385 0
vsize: 841604
[startup+90.0047 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18141 4 1 0 8184 43 0 0 25 0 11 0 838209578 861802496 23382 4294967295 134512640 134569956 3221224368 3221214576 1131225544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210401 23382 13086 16 0 210385 0
vsize: 841604
[startup+100.005 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18141 4 1 0 9176 43 0 0 25 0 11 0 838209578 861802496 23396 4294967295 134512640 134569956 3221224368 3221214576 1131226223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210401 23396 13086 16 0 210385 0
vsize: 841604
[startup+110.006 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18141 4 1 0 10169 43 0 0 25 0 11 0 838209578 861802496 23423 4294967295 134512640 134569956 3221224368 3221214672 1131385328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210401 23423 13086 16 0 210385 0
vsize: 841604
[startup+120.007 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18141 4 1 0 11160 43 0 0 25 0 11 0 838209578 861802496 23424 4294967295 134512640 134569956 3221224368 3221214576 1131224929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210401 23424 13086 16 0 210385 0
vsize: 841604
[startup+130.008 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 12154 43 0 0 25 0 11 0 838209578 860573696 23163 4294967295 134512640 134569956 3221224368 3221214512 1131380633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210101 23163 13086 16 0 210085 0
vsize: 840404
[startup+140.008 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 13150 43 0 0 25 0 11 0 838209578 860573696 23164 4294967295 134512640 134569956 3221224368 3221214400 1131255436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210101 23164 13086 16 0 210085 0
vsize: 840404
[startup+150.009 s]
Raw data (loadavg): 1.17 1.04 1.01 4/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 14110 43 0 0 25 0 11 0 838209578 866074624 24395 4294967295 134512640 134569956 3221224368 3221214672 1131387917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211444 24395 13086 16 0 211428 0
vsize: 845776
[startup+160.008 s]
Raw data (loadavg): 1.15 1.04 1.01 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 15103 43 0 0 25 0 11 0 838209578 859746304 23178 4294967295 134512640 134569956 3221224368 3221214576 1131224940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23178 13086 16 0 209883 0
vsize: 839596
[startup+170.009 s]
Raw data (loadavg): 1.12 1.03 1.01 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 16094 44 0 0 25 0 11 0 838209578 859746304 23178 4294967295 134512640 134569956 3221224368 3221214576 1131224921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23178 13086 16 0 209883 0
vsize: 839596
[startup+180.009 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 17086 45 0 0 25 0 11 0 838209578 859746304 23030 4294967295 134512640 134569956 3221224368 3221214672 1131388074 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23030 13086 16 0 209883 0
vsize: 839596
[startup+190.01 s]
Raw data (loadavg): 1.09 1.03 1.01 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 18080 45 0 0 25 0 11 0 838209578 859746304 23039 4294967295 134512640 134569956 3221224368 3221214576 1131225348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23039 13086 16 0 209883 0
vsize: 839596
[startup+200.01 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 19072 46 0 0 25 0 11 0 838209578 859746304 23040 4294967295 134512640 134569956 3221224368 3221214576 1131225627 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23040 13086 16 0 209883 0
vsize: 839596
[startup+210.01 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 20065 46 0 0 24 0 11 0 838209578 859746304 23047 4294967295 134512640 134569956 3221224368 3221214576 1131225921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23047 13086 16 0 209883 0
vsize: 839596
[startup+220.011 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 21058 46 0 0 25 0 11 0 838209578 859746304 23061 4294967295 134512640 134569956 3221224368 3221214672 1131387299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23061 13086 16 0 209883 0
vsize: 839596
[startup+230.012 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 22052 47 0 0 25 0 11 0 838209578 859746304 23061 4294967295 134512640 134569956 3221224368 3221214576 1131225488 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23061 13086 16 0 209883 0
vsize: 839596
[startup+240.012 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 23045 47 0 0 25 0 11 0 838209578 859746304 23075 4294967295 134512640 134569956 3221224368 3221214576 1131225348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23075 13086 16 0 209883 0
vsize: 839596
[startup+250.013 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 24037 47 0 0 25 0 11 0 838209578 859746304 23075 4294967295 134512640 134569956 3221224368 3221214576 1131225606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23075 13086 16 0 209883 0
vsize: 839596
[startup+260.012 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 25029 48 0 0 25 0 11 0 838209578 859746304 23091 4294967295 134512640 134569956 3221224368 3221214576 1131225631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23091 13086 16 0 209883 0
vsize: 839596
[startup+270.013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 26019 49 0 0 25 0 11 0 838209578 859746304 23091 4294967295 134512640 134569956 3221224368 3221214576 1131225954 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23091 13086 16 0 209883 0
vsize: 839596
[startup+280.014 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 27012 49 0 0 25 0 11 0 838209578 859746304 23116 4294967295 134512640 134569956 3221224368 3221214580 1130885175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23116 13086 16 0 209883 0
vsize: 839596
[startup+290.013 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 28003 49 0 0 25 0 11 0 838209578 859746304 23117 4294967295 134512640 134569956 3221224368 3221214672 1131387977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23117 13086 16 0 209883 0
vsize: 839596
[startup+300.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 22869
Raw data (stat): 22858 (java) S 22857 10795 10794 0 -1 0 18142 4 1 0 28994 49 0 0 25 0 11 0 838209578 859746304 23131 4294967295 134512640 134569956 3221224368 3221213320 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23131 13086 16 0 209883 0
vsize: 839596
[startup+310.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 29987 50 0 0 25 0 11 0 838209578 859746304 23147 4294967295 134512640 134569956 3221224368 3221214576 1131225346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23147 13086 16 0 209883 0
vsize: 839596
[startup+320.016 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 30970 50 0 0 25 0 11 0 838209578 859746304 23161 4294967295 134512640 134569956 3221224368 3221214576 1131225399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23161 13086 16 0 209883 0
vsize: 839596
[startup+330.016 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 31947 51 0 0 25 0 11 0 838209578 859746304 23162 4294967295 134512640 134569956 3221224368 3221214672 1131386575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23162 13086 16 0 209883 0
vsize: 839596
[startup+340.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 32924 51 0 0 25 0 11 0 838209578 859746304 23162 4294967295 134512640 134569956 3221224368 3221214576 1131225915 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23162 13086 16 0 209883 0
vsize: 839596
[startup+350.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 33912 51 0 0 25 0 11 0 838209578 859746304 23281 4294967295 134512640 134569956 3221224368 3221214576 1131225996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23281 13086 16 0 209883 0
vsize: 839596
[startup+360.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 34904 52 0 0 25 0 11 0 838209578 859746304 23299 4294967295 134512640 134569956 3221224368 3221214576 1131226215 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23299 13086 16 0 209883 0
vsize: 839596
[startup+370.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 35898 52 0 0 25 0 11 0 838209578 859746304 23299 4294967295 134512640 134569956 3221224368 3221214576 1131225348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23299 13086 16 0 209883 0
vsize: 839596
[startup+380.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 36891 53 0 0 25 0 11 0 838209578 859746304 23316 4294967295 134512640 134569956 3221224368 3221214672 1131387139 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23316 13086 16 0 209883 0
vsize: 839596
[startup+390.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 37886 53 0 0 25 0 11 0 838209578 859746304 23316 4294967295 134512640 134569956 3221224368 3221214576 1131225015 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23316 13086 16 0 209883 0
vsize: 839596
[startup+400.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 38880 53 0 0 25 0 11 0 838209578 859746304 23331 4294967295 134512640 134569956 3221224368 3221214576 1131224940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23331 13086 16 0 209883 0
vsize: 839596
[startup+410.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 39876 53 0 0 25 0 11 0 838209578 859746304 23331 4294967295 134512640 134569956 3221224368 3221214576 1131224940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23331 13086 16 0 209883 0
vsize: 839596
[startup+420.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 40871 54 0 0 25 0 11 0 838209578 859746304 23339 4294967295 134512640 134569956 3221224368 3221214672 1131387188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23339 13086 16 0 209883 0
vsize: 839596
[startup+430.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 41867 54 0 0 25 0 11 0 838209578 859746304 23339 4294967295 134512640 134569956 3221224368 3221214512 1131430751 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23339 13086 16 0 209883 0
vsize: 839596
[startup+440.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 42864 55 0 0 25 0 11 0 838209578 859746304 23339 4294967295 134512640 134569956 3221224368 3221214504 1131255776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23339 13086 16 0 209883 0
vsize: 839596
[startup+450.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 43859 55 0 0 25 0 11 0 838209578 859746304 23341 4294967295 134512640 134569956 3221224368 3221214504 1131255436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23341 13086 16 0 209883 0
vsize: 839596
[startup+460.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 44854 55 0 0 25 0 11 0 838209578 859746304 23341 4294967295 134512640 134569956 3221224368 3221214504 1131255436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23341 13086 16 0 209883 0
vsize: 839596
[startup+470.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 45849 55 0 0 25 0 11 0 838209578 859746304 23346 4294967295 134512640 134569956 3221224368 3221214512 1131430151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23346 13086 16 0 209883 0
vsize: 839596
[startup+480.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 46846 55 0 0 25 0 11 0 838209578 859746304 23346 4294967295 134512640 134569956 3221224368 3221214504 1131255304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23346 13086 16 0 209883 0
vsize: 839596
[startup+490.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 47841 56 0 0 25 0 11 0 838209578 859746304 23359 4294967295 134512640 134569956 3221224368 3221214504 1131255237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23359 13086 16 0 209883 0
vsize: 839596
[startup+500.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 48836 56 0 0 25 0 11 0 838209578 859746304 23359 4294967295 134512640 134569956 3221224368 3221214608 1131402290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23359 13086 16 0 209883 0
vsize: 839596
[startup+510.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 49833 56 0 0 25 0 11 0 838209578 859746304 23359 4294967295 134512640 134569956 3221224368 3221214504 1131255575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23359 13086 16 0 209883 0
vsize: 839596
[startup+520.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 50829 57 0 0 25 0 11 0 838209578 859746304 23359 4294967295 134512640 134569956 3221224368 3221214580 1130885157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23359 13086 16 0 209883 0
vsize: 839596
[startup+530.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 51824 57 0 0 25 0 11 0 838209578 859746304 23359 4294967295 134512640 134569956 3221224368 3221214504 1131255358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23359 13086 16 0 209883 0
vsize: 839596
[startup+540.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 52820 57 0 0 25 0 11 0 838209578 859746304 23359 4294967295 134512640 134569956 3221224368 3221214608 1131402590 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23359 13086 16 0 209883 0
vsize: 839596
[startup+550.036 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 53816 58 0 0 25 0 11 0 838209578 860794880 23533 4294967295 134512640 134569956 3221224368 3221214784 1131538201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210155 23533 13086 16 0 210139 0
vsize: 840620
[startup+560.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 54802 58 0 0 25 0 11 0 838209578 859746304 23448 4294967295 134512640 134569956 3221224368 3221214576 1131225015 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23448 13086 16 0 209883 0
vsize: 839596
[startup+570.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 55787 59 0 0 25 0 11 0 838209578 859746304 23360 4294967295 134512640 134569956 3221224368 3221213968 1078878825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209899 23360 13086 16 0 209883 0
vsize: 839596
[startup+580.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 56768 59 0 0 25 0 11 0 838209578 859746304 23440 4294967295 134512640 134569956 3221224368 3221214672 1131385263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23440 13086 16 0 209883 0
vsize: 839596
[startup+590.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 57761 60 0 0 25 0 11 0 838209578 859746304 23440 4294967295 134512640 134569956 3221224368 3221214624 1131385263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23440 13086 16 0 209883 0
vsize: 839596
[startup+600.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 58753 60 0 0 25 0 11 0 838209578 859746304 23454 4294967295 134512640 134569956 3221224368 3221214528 1131225015 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23454 13086 16 0 209883 0
vsize: 839596
[startup+610.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 59748 60 0 0 25 0 11 0 838209578 859746304 23455 4294967295 134512640 134569956 3221224368 3221214528 1131225623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23455 13086 16 0 209883 0
vsize: 839596
[startup+620.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 60742 60 0 0 25 0 11 0 838209578 859746304 23468 4294967295 134512640 134569956 3221224368 3221214624 1131387231 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23468 13086 16 0 209883 0
vsize: 839596
[startup+630.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 61737 61 0 0 25 0 11 0 838209578 859746304 23468 4294967295 134512640 134569956 3221224368 3221214624 1131388696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23468 13086 16 0 209883 0
vsize: 839596
[startup+640.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 62731 61 0 0 25 0 11 0 838209578 859746304 23469 4294967295 134512640 134569956 3221224368 3221214528 1131225399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23469 13086 16 0 209883 0
vsize: 839596
[startup+650.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 63725 62 0 0 25 0 11 0 838209578 859746304 23479 4294967295 134512640 134569956 3221224368 3221214528 1131225890 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23479 13086 16 0 209883 0
vsize: 839596
[startup+660.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 64719 62 0 0 25 0 11 0 838209578 859746304 23494 4294967295 134512640 134569956 3221224368 3221214528 1131225128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23494 13086 16 0 209883 0
vsize: 839596
[startup+670.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 65706 62 0 0 24 0 11 0 838209578 859746304 23494 4294967295 134512640 134569956 3221224368 3221214624 1131386416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23494 13086 16 0 209883 0
vsize: 839596
[startup+680.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 66684 63 0 0 25 0 11 0 838209578 859746304 23494 4294967295 134512640 134569956 3221224368 3221214528 1131226215 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23494 13086 16 0 209883 0
vsize: 839596
[startup+690.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 67662 63 0 0 25 0 11 0 838209578 859746304 23495 4294967295 134512640 134569956 3221224368 3221214624 1131385267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23495 13086 16 0 209883 0
vsize: 839596
[startup+700.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 68648 64 0 0 25 0 11 0 838209578 859746304 23615 4294967295 134512640 134569956 3221224368 3221214624 1131388074 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23615 13086 16 0 209883 0
vsize: 839596
[startup+710.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 69641 64 0 0 25 0 11 0 838209578 860794880 24028 4294967295 134512640 134569956 3221224368 3221214528 1131224940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24028 13086 16 0 210139 0
vsize: 840620
[startup+720.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 70637 64 0 0 25 0 11 0 838209578 860794880 24029 4294967295 134512640 134569956 3221224368 3221214624 1131386596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24029 13086 16 0 210139 0
vsize: 840620
[startup+730.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 71633 65 0 0 25 0 11 0 838209578 860794880 24036 4294967295 134512640 134569956 3221224368 3221214624 1131385328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24036 13086 16 0 210139 0
vsize: 840620
[startup+740.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 72628 65 0 0 25 0 11 0 838209578 860794880 24037 4294967295 134512640 134569956 3221224368 3221214528 1131225015 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24037 13086 16 0 210139 0
vsize: 840620
[startup+750.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 73616 66 0 0 25 0 11 0 838209578 860794880 24037 4294967295 134512640 134569956 3221224368 3221214528 1131224925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24037 13086 16 0 210139 0
vsize: 840620
[startup+760.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 74596 66 0 0 25 0 11 0 838209578 859746304 23639 4294967295 134512640 134569956 3221224368 3221214528 1131225399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23639 13086 16 0 209883 0
vsize: 839596
[startup+770.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 75575 66 0 0 25 0 11 0 838209578 859746304 23639 4294967295 134512640 134569956 3221224368 3221214624 1131387244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23639 13086 16 0 209883 0
vsize: 839596
[startup+780.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 76562 67 0 0 25 0 11 0 838209578 859746304 23742 4294967295 134512640 134569956 3221224368 3221214528 1131225346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23742 13086 16 0 209883 0
vsize: 839596
[startup+790.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 77557 67 0 0 25 0 11 0 838209578 859746304 23743 4294967295 134512640 134569956 3221224368 3221214440 1131217680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23743 13086 16 0 209883 0
vsize: 839596
[startup+800.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 78554 68 0 0 25 0 11 0 838209578 859746304 23751 4294967295 134512640 134569956 3221224368 3221214528 1131225517 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23751 13086 16 0 209883 0
vsize: 839596
[startup+810.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 79548 68 0 0 25 0 11 0 838209578 859746304 23752 4294967295 134512640 134569956 3221224368 3221214528 1131225921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23752 13086 16 0 209883 0
vsize: 839596
[startup+820.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 80543 68 0 0 25 0 11 0 838209578 859746304 23752 4294967295 134512640 134569956 3221224368 3221214528 1131225399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23752 13086 16 0 209883 0
vsize: 839596
[startup+830.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 81537 69 0 0 25 0 11 0 838209578 859746304 23752 4294967295 134512640 134569956 3221224368 3221214440 1131217701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23752 13086 16 0 209883 0
vsize: 839596
[startup+840.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 82533 69 0 0 25 0 11 0 838209578 859746304 23766 4294967295 134512640 134569956 3221224368 3221214528 1131225488 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23766 13086 16 0 209883 0
vsize: 839596
[startup+850.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 83530 69 0 0 25 0 11 0 838209578 861589504 24164 4294967295 134512640 134569956 3221224368 3221214408 1131255386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 24164 13086 16 0 210333 0
vsize: 841396
[startup+860.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 84520 70 0 0 25 0 11 0 838209578 862220288 24494 4294967295 134512640 134569956 3221224368 3221214528 1131224940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210503 24494 13086 16 0 210487 0
vsize: 842012
[startup+870.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 85511 70 0 0 25 0 11 0 838209578 860794880 24181 4294967295 134512640 134569956 3221224368 3221214528 1131225279 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24181 13086 16 0 210139 0
vsize: 840620
[startup+880.058 s]
Raw data (loadavg): 1.08 1.02 1.01 3/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 86501 70 0 0 25 0 11 0 838209578 862801920 24604 4294967295 134512640 134569956 3221224368 3221214440 1131217701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210645 24604 13086 16 0 210629 0
vsize: 842580
[startup+890.058 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 87493 71 0 0 25 0 11 0 838209578 861843456 24330 4294967295 134512640 134569956 3221224368 3221214528 1131224937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210411 24330 13086 16 0 210395 0
vsize: 841644
[startup+900.058 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 88486 71 0 0 25 0 11 0 838209578 861843456 24339 4294967295 134512640 134569956 3221224368 3221214528 1131225556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210411 24339 13086 16 0 210395 0
vsize: 841644
[startup+910.059 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 89480 71 0 0 25 0 11 0 838209578 860794880 24190 4294967295 134512640 134569956 3221224368 3221214528 1131225399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24190 13086 16 0 210139 0
vsize: 840620
[startup+920.059 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 90474 72 0 0 25 0 11 0 838209578 860794880 24199 4294967295 134512640 134569956 3221224368 3221214528 1131225791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24199 13086 16 0 210139 0
vsize: 840620
[startup+930.064 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 91470 72 0 0 25 0 11 0 838209578 860794880 24200 4294967295 134512640 134569956 3221224368 3221214528 1131225576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24200 13086 16 0 210139 0
vsize: 840620
[startup+940.064 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 92464 72 0 0 25 0 11 0 838209578 860794880 24208 4294967295 134512640 134569956 3221224368 3221214528 1131225015 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24208 13086 16 0 210139 0
vsize: 840620
[startup+950.065 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 93458 73 0 0 25 0 11 0 838209578 860794880 24216 4294967295 134512640 134569956 3221224368 3221214624 1131386360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24216 13086 16 0 210139 0
vsize: 840620
[startup+960.066 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 94453 73 0 0 25 0 11 0 838209578 862605312 24613 4294967295 134512640 134569956 3221224368 3221214440 1131217645 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210597 24613 13086 16 0 210581 0
vsize: 842388
[startup+970.066 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 95448 73 0 0 25 0 11 0 838209578 861450240 24254 4294967295 134512640 134569956 3221224368 3221214624 1131386462 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210315 24254 13086 16 0 210299 0
vsize: 841260
[startup+980.067 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 96441 73 0 0 25 0 11 0 838209578 861450240 24261 4294967295 134512640 134569956 3221224368 3221214624 1131388016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210315 24261 13086 16 0 210299 0
vsize: 841260
[startup+990.066 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 97435 74 0 0 25 0 11 0 838209578 859746304 23891 4294967295 134512640 134569956 3221224368 3221214528 1131225631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23891 13086 16 0 209883 0
vsize: 839596
[startup+1000.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 98429 74 0 0 25 0 11 0 838209578 859746304 23899 4294967295 134512640 134569956 3221224368 3221214528 1131224940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23899 13086 16 0 209883 0
vsize: 839596
[startup+1010.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 99424 74 0 0 25 0 11 0 838209578 859746304 23899 4294967295 134512640 134569956 3221224368 3221214508 1131379876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23899 13086 16 0 209883 0
vsize: 839596
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 100419 75 0 0 25 0 11 0 838209578 859746304 23905 4294967295 134512640 134569956 3221224368 3221214528 1131225648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23905 13086 16 0 209883 0
vsize: 839596
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 101414 75 0 0 25 0 11 0 838209578 859746304 23913 4294967295 134512640 134569956 3221224368 3221214624 1131385263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23913 13086 16 0 209883 0
vsize: 839596
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 102411 75 0 0 25 0 11 0 838209578 859746304 23922 4294967295 134512640 134569956 3221224368 3221214528 1131225339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23922 13086 16 0 209883 0
vsize: 839596
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 103405 76 0 0 25 0 11 0 838209578 859746304 23922 4294967295 134512640 134569956 3221224368 3221214624 1131386380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23922 13086 16 0 209883 0
vsize: 839596
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 104400 77 0 0 25 0 11 0 838209578 860794880 24321 4294967295 134512640 134569956 3221224368 3221214528 1131224940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24321 13086 16 0 210139 0
vsize: 840620
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 105394 77 0 0 25 0 11 0 838209578 860794880 24321 4294967295 134512640 134569956 3221224368 3221214416 1131430751 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24321 13086 16 0 210139 0
vsize: 840620
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 106386 77 0 0 25 0 11 0 838209578 861765632 24547 4294967295 134512640 134569956 3221224368 3221214624 1131387996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210392 24547 13086 16 0 210376 0
vsize: 841568
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 107379 78 0 0 25 0 11 0 838209578 860717056 24161 4294967295 134512640 134569956 3221224368 3221214440 1131218716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210136 24161 13086 16 0 210120 0
vsize: 840544
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 108371 78 0 0 25 0 11 0 838209578 859746304 23943 4294967295 134512640 134569956 3221224368 3221214624 1131388916 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 23943 13086 16 0 209883 0
vsize: 839596
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 109365 78 0 0 25 0 11 0 838209578 860794880 24361 4294967295 134512640 134569956 3221224368 3221214624 1131386354 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24361 13086 16 0 210139 0
vsize: 840620
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 110359 79 0 0 25 0 11 0 838209578 860794880 24375 4294967295 134512640 134569956 3221224368 3221214528 1131225627 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24375 13086 16 0 210139 0
vsize: 840620
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18142 4 1 0 111354 79 0 0 25 0 11 0 838209578 860794880 24376 4294967295 134512640 134569956 3221224368 3221214528 1131225041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24376 13086 16 0 210139 0
vsize: 840620
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18143 4 1 0 112350 79 0 0 25 0 11 0 838209578 860794880 24384 4294967295 134512640 134569956 3221224368 3221214408 1131255447 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210155 24384 13086 16 0 210139 0
vsize: 840620
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18143 4 1 0 113341 79 0 0 25 0 11 0 838209578 860794880 24385 4294967295 134512640 134569956 3221224368 3221214624 1131388093 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24385 13086 16 0 210139 0
vsize: 840620
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18143 4 1 0 114335 80 0 0 25 0 11 0 838209578 859746304 24113 4294967295 134512640 134569956 3221224368 3221214528 1131225253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 24113 13086 16 0 209883 0
vsize: 839596
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18143 4 1 0 115328 80 0 0 25 0 11 0 838209578 859746304 24120 4294967295 134512640 134569956 3221224368 3221214528 1131225305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 24120 13086 16 0 209883 0
vsize: 839596
[startup+1180.08 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18143 4 1 0 116324 80 0 0 25 0 11 0 838209578 861843456 24633 4294967295 134512640 134569956 3221224368 3221214624 1131387301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210411 24633 13086 16 0 210395 0
vsize: 841644
[startup+1190.08 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18143 4 1 0 117319 80 0 0 25 0 11 0 838209578 860794880 24445 4294967295 134512640 134569956 3221224368 3221214528 1131224929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24445 13086 16 0 210139 0
vsize: 840620
[startup+1200.08 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18143 4 1 0 118315 80 0 0 25 0 11 0 838209578 860794880 24445 4294967295 134512640 134569956 3221224368 3221214528 1131225864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24445 13086 16 0 210139 0
vsize: 840620
[startup+1210.09 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18143 4 1 0 119310 80 0 0 25 0 11 0 838209578 860794880 24453 4294967295 134512640 134569956 3221224368 3221214528 1131225399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24453 13086 16 0 210139 0
vsize: 840620
[startup+1220.09 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 22869
Raw data (stat): 22858 (java) R 22857 10795 10794 0 -1 0 18143 4 1 0 120303 81 0 0 25 0 11 0 838209578 859746304 24148 4294967295 134512640 134569956 3221224368 3221214528 1131225399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209899 24148 13086 16 0 209883 0
vsize: 839596
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.64 s]
Raw data (loadavg): 1.04 1.01 1.00 1/54 22871
Raw data (stat): 22858 (java) Z 22857 10795 10794 0 -1 1036 18143 34781 1 0 120335 85 4915 94 25 0 1 0 838209578 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 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.64
CPU time (s): 1254.31
CPU user time (s): 1252.51
CPU system time (s): 1.80472
CPU usage (%): 102.759
Max. virtual memory (Kb): 845776
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	8418073
#### END VERIFIER DATA ####