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-ran10x12.opb
MD5SUM	503b63cdbe2445afec2ea38c5efde5e4
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4990860
Optimality of the best value was proved	NO
Number of terms in the objective function	3720
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	679702048135
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	679702048135
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	1225.37
Number of variables	3720
Total number of constraints	142
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	142
Minimum length of a constraint	31
Maximum length of a constraint	360
Trace number 29704

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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:        490924 kB
Buffers:         34292 kB
Cached:         488248 kB
SwapCached:        584 kB
Active:          49968 kB
Inactive:       474616 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        490672 kB
SwapTotal:     2097136 kB
SwapFree:      2095724 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5416 kB
Slab:            13528 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 10:57:26 (client local time) WITH STATUS 143 IN 1225.37 SECONDS
stats: 21108 0 1225.37 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/wulflinc9/normalized-mps-v2-20-10-ran10x12.opb
c reading problem ... done. Time 7.274 ms.
c #vars     3720
c #constraints  164
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=             6536963 		Current CPU time: 49.88 ms
c CURRENT OPTIMUM=             5214092 		Current CPU time: 133.82 ms
c CURRENT OPTIMUM=             4990860 		Current CPU time: 147.13 ms
c starts	: 4
c conflicts	: 85
c decisions	: 20891
c propagations	: 80579
c inspects	: 318891
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 85
c root simplifications	: 73
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 -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 
c objectif function=4990860
c Total CPU time (ms) : 1219.582
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/54 19081
Raw data (stat): 19081 (runsolver) R 19080 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779989682 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.0003 s]
Raw data (loadavg): 1.09 1.02 1.01 4/64 19091
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18081 0 1 0 792 37 0 0 25 0 11 0 779989682 859889664 20376 4294967295 134512640 134569956 3221224368 3221214720 1131187712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209934 20376 13086 16 0 209918 0
vsize: 839736
[startup+20.0011 s]
Raw data (loadavg): 1.23 1.05 1.02 3/64 19091
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18116 0 1 0 1589 37 0 0 25 0 11 0 779989682 877957120 25162 4294967295 134512640 134569956 3221224368 3221214520 1131266403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214345 25162 13086 16 0 214329 0
vsize: 857380
[startup+30.0019 s]
Raw data (loadavg): 1.20 1.05 1.01 2/64 19091
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18116 0 1 0 2501 37 0 0 24 0 11 0 779989682 862904320 21989 4294967295 134512640 134569956 3221224368 3221214520 1131267731 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 21989 13086 16 0 210654 0
vsize: 842680
[startup+40.0018 s]
Raw data (loadavg): 1.16 1.04 1.01 2/64 19091
Raw data (stat): 19081 (java) S 19080 3944 3943 0 -1 0 18116 0 1 0 3419 38 0 0 25 0 11 0 779989682 862904320 22080 4294967295 134512640 134569956 3221224368 3221213352 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 22080 13086 16 0 210654 0
vsize: 842680
[startup+50.0025 s]
Raw data (loadavg): 1.14 1.04 1.01 2/64 19091
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18116 0 1 0 4367 38 0 0 25 0 11 0 779989682 862904320 22786 4294967295 134512640 134569956 3221224368 3221214680 1131425260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 22786 13086 16 0 210654 0
vsize: 842680
[startup+60.0021 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 19092
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18163 4 1 0 5339 39 0 0 25 0 11 0 779989682 862904320 22861 4294967295 134512640 134569956 3221224368 3221214544 1131453898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210670 22861 13086 16 0 210654 0
vsize: 842680
[startup+70.003 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 19092
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18163 4 1 0 6308 39 0 0 25 0 11 0 779989682 862904320 22906 4294967295 134512640 134569956 3221224368 3221214672 1131429038 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 22906 13086 16 0 210654 0
vsize: 842680
[startup+80.0038 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 19092
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18163 4 1 0 7279 39 0 0 25 0 11 0 779989682 862904320 22930 4294967295 134512640 134569956 3221224368 3221214600 1131305200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 22930 13086 16 0 210654 0
vsize: 842680
[startup+90.0035 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 19092
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18163 4 1 0 8255 40 0 0 25 0 11 0 779989682 862904320 23035 4294967295 134512640 134569956 3221224368 3221214512 1131266359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210670 23035 13086 16 0 210654 0
vsize: 842680
[startup+100.004 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 19092
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18163 4 1 0 9242 40 0 0 25 0 11 0 779989682 862904320 23136 4294967295 134512640 134569956 3221224368 3221214512 1131267675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23136 13086 16 0 210654 0
vsize: 842680
[startup+110.005 s]
Raw data (loadavg): 1.05 1.03 1.01 2/64 19092
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18163 4 1 0 10233 40 0 0 25 0 11 0 779989682 862904320 23148 4294967295 134512640 134569956 3221224368 3221214600 1131305519 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23148 13086 16 0 210654 0
vsize: 842680
[startup+120.006 s]
Raw data (loadavg): 1.04 1.03 1.01 2/64 19092
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18163 4 1 0 11223 41 0 0 25 0 11 0 779989682 862904320 23165 4294967295 134512640 134569956 3221224368 3221214672 1131424291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23165 13086 16 0 210654 0
vsize: 842680
[startup+130.006 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 19092
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18163 4 1 0 12215 41 0 0 25 0 11 0 779989682 862904320 23183 4294967295 134512640 134569956 3221224368 3221214512 1131267659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23183 13086 16 0 210654 0
vsize: 842680
[startup+140.005 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 19093
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18163 4 1 0 13201 42 0 0 25 0 11 0 779989682 862904320 23190 4294967295 134512640 134569956 3221224368 3221214672 1131424191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23190 13086 16 0 210654 0
vsize: 842680
[startup+150.006 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18163 4 1 0 14180 42 0 0 25 0 11 0 779989682 862904320 23202 4294967295 134512640 134569956 3221224368 3221214672 1131426132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210670 23202 13086 16 0 210654 0
vsize: 842680
[startup+160.006 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18163 4 1 0 15155 42 0 0 25 0 11 0 779989682 862904320 23214 4294967295 134512640 134569956 3221224368 3221214600 1131305602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23214 13086 16 0 210654 0
vsize: 842680
[startup+170.006 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18163 4 1 0 16127 42 0 0 25 0 11 0 779989682 862904320 23305 4294967295 134512640 134569956 3221224368 3221214600 1131305189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23305 13086 16 0 210654 0
vsize: 842680
[startup+180.006 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18163 4 1 0 17102 43 0 0 25 0 11 0 779989682 862904320 23399 4294967295 134512640 134569956 3221224368 3221214672 1131424227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23399 13086 16 0 210654 0
vsize: 842680
[startup+190.006 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18163 4 1 0 18086 43 0 0 25 0 11 0 779989682 862904320 23406 4294967295 134512640 134569956 3221224368 3221214672 1131428860 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23406 13086 16 0 210654 0
vsize: 842680
[startup+200.007 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18163 4 1 0 19072 43 0 0 25 0 11 0 779989682 862904320 23478 4294967295 134512640 134569956 3221224368 3221214600 1131305411 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23478 13086 16 0 210654 0
vsize: 842680
[startup+210.007 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18163 4 1 0 20063 43 0 0 25 0 11 0 779989682 862904320 23502 4294967295 134512640 134569956 3221224368 3221214600 1131305440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210670 23502 13086 16 0 210654 0
vsize: 842680
[startup+220.007 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18163 4 1 0 21057 44 0 0 25 0 11 0 779989682 862904320 23503 4294967295 134512640 134569956 3221224368 3221214600 1131305602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23503 13086 16 0 210654 0
vsize: 842680
[startup+230.006 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18163 4 1 0 22050 44 0 0 25 0 11 0 779989682 862904320 23515 4294967295 134512640 134569956 3221224368 3221214600 1131305510 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23515 13086 16 0 210654 0
vsize: 842680
[startup+240.006 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18163 4 1 0 23042 44 0 0 25 0 11 0 779989682 862904320 23527 4294967295 134512640 134569956 3221224368 3221214512 1131266482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210670 23527 13086 16 0 210654 0
vsize: 842680
[startup+250.007 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18163 4 1 0 24036 45 0 0 25 0 11 0 779989682 862904320 23540 4294967295 134512640 134569956 3221224368 3221214512 1131266429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23540 13086 16 0 210654 0
vsize: 842680
[startup+260.008 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18163 4 1 0 25029 45 0 0 25 0 11 0 779989682 862904320 23540 4294967295 134512640 134569956 3221224368 3221214600 1131305227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23540 13086 16 0 210654 0
vsize: 842680
[startup+270.007 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 26014 46 0 0 25 0 11 0 779989682 862904320 23556 4294967295 134512640 134569956 3221224368 3221214456 1131271927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210670 23556 13086 16 0 210654 0
vsize: 842680
[startup+280.007 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 27004 46 0 0 25 0 11 0 779989682 862904320 23561 4294967295 134512640 134569956 3221224368 3221214512 1131266420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23561 13086 16 0 210654 0
vsize: 842680
[startup+290.008 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 27991 46 0 0 25 0 11 0 779989682 862904320 23573 4294967295 134512640 134569956 3221224368 3221214672 1131428884 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23573 13086 16 0 210654 0
vsize: 842680
[startup+300.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 28978 46 0 0 25 0 11 0 779989682 862904320 23573 4294967295 134512640 134569956 3221224368 3221214672 1131429027 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23573 13086 16 0 210654 0
vsize: 842680
[startup+310.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 29967 47 0 0 25 0 11 0 779989682 862904320 23663 4294967295 134512640 134569956 3221224368 3221214512 1131266538 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23663 13086 16 0 210654 0
vsize: 842680
[startup+320.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 30952 47 0 0 25 0 11 0 779989682 862904320 23666 4294967295 134512640 134569956 3221224368 3221214672 1131429019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23666 13086 16 0 210654 0
vsize: 842680
[startup+330.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 31935 47 0 0 24 0 11 0 779989682 862904320 23675 4294967295 134512640 134569956 3221224368 3221214512 1131266482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23675 13086 16 0 210654 0
vsize: 842680
[startup+340.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 32918 48 0 0 25 0 11 0 779989682 862904320 23676 4294967295 134512640 134569956 3221224368 3221214600 1131305531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23676 13086 16 0 210654 0
vsize: 842680
[startup+350.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 33911 48 0 0 25 0 11 0 779989682 862904320 23756 4294967295 134512640 134569956 3221224368 3221214600 1131305154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23756 13086 16 0 210654 0
vsize: 842680
[startup+360.011 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 34903 49 0 0 25 0 11 0 779989682 862904320 23767 4294967295 134512640 134569956 3221224368 3221214600 1131305525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23767 13086 16 0 210654 0
vsize: 842680
[startup+370.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 35887 49 0 0 25 0 11 0 779989682 862904320 23775 4294967295 134512640 134569956 3221224368 3221214512 1131221176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23775 13086 16 0 210654 0
vsize: 842680
[startup+380.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 36870 49 0 0 24 0 11 0 779989682 862904320 23776 4294967295 134512640 134569956 3221224368 3221214512 1131266414 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23776 13086 16 0 210654 0
vsize: 842680
[startup+390.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 37856 50 0 0 25 0 11 0 779989682 862904320 23854 4294967295 134512640 134569956 3221224368 3221214672 1131429808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23854 13086 16 0 210654 0
vsize: 842680
[startup+400.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 38850 50 0 0 25 0 11 0 779989682 862904320 23867 4294967295 134512640 134569956 3221224368 3221214672 1131428864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23867 13086 16 0 210654 0
vsize: 842680
[startup+410.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 39845 51 0 0 25 0 11 0 779989682 862904320 23875 4294967295 134512640 134569956 3221224368 3221214472 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210670 23875 13086 16 0 210654 0
vsize: 842680
[startup+420.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 40842 51 0 0 25 0 11 0 779989682 862904320 23875 4294967295 134512640 134569956 3221224368 3221214600 1131305916 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23875 13086 16 0 210654 0
vsize: 842680
[startup+430.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 41837 52 0 0 25 0 11 0 779989682 862904320 23882 4294967295 134512640 134569956 3221224368 3221214512 1131266403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23882 13086 16 0 210654 0
vsize: 842680
[startup+440.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 42833 52 0 0 25 0 11 0 779989682 862904320 23882 4294967295 134512640 134569956 3221224368 3221214512 1131266739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23882 13086 16 0 210654 0
vsize: 842680
[startup+450.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 43826 53 0 0 25 0 11 0 779989682 862904320 23883 4294967295 134512640 134569956 3221224368 3221214440 1131272101 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23883 13086 16 0 210654 0
vsize: 842680
[startup+460.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 44813 53 0 0 25 0 11 0 779989682 862904320 23890 4294967295 134512640 134569956 3221224368 3221214512 1131266482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23890 13086 16 0 210654 0
vsize: 842680
[startup+470.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 45797 54 0 0 25 0 11 0 779989682 862904320 23890 4294967295 134512640 134569956 3221224368 3221214672 1131423968 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23890 13086 16 0 210654 0
vsize: 842680
[startup+480.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 46779 54 0 0 25 0 11 0 779989682 862904320 23891 4294967295 134512640 134569956 3221224368 3221214672 1131424191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23891 13086 16 0 210654 0
vsize: 842680
[startup+490.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 47767 55 0 0 25 0 11 0 779989682 862904320 23994 4294967295 134512640 134569956 3221224368 3221214672 1131424191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23994 13086 16 0 210654 0
vsize: 842680
[startup+500.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 48760 55 0 0 25 0 11 0 779989682 862904320 23995 4294967295 134512640 134569956 3221224368 3221214600 1131305207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 23995 13086 16 0 210654 0
vsize: 842680
[startup+510.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 49755 55 0 0 25 0 11 0 779989682 862904320 24008 4294967295 134512640 134569956 3221224368 3221214600 1131305596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24008 13086 16 0 210654 0
vsize: 842680
[startup+520.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 50750 56 0 0 25 0 11 0 779989682 862904320 24008 4294967295 134512640 134569956 3221224368 3221214600 1131305219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24008 13086 16 0 210654 0
vsize: 842680
[startup+530.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 51744 56 0 0 25 0 11 0 779989682 862904320 24022 4294967295 134512640 134569956 3221224368 3221214616 1131420104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24022 13086 16 0 210654 0
vsize: 842680
[startup+540.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 52740 57 0 0 25 0 11 0 779989682 862904320 24023 4294967295 134512640 134569956 3221224368 3221214672 1131424191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24023 13086 16 0 210654 0
vsize: 842680
[startup+550.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 53735 57 0 0 25 0 11 0 779989682 862904320 24035 4294967295 134512640 134569956 3221224368 3221214512 1131266482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24035 13086 16 0 210654 0
vsize: 842680
[startup+560.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 54732 57 0 0 25 0 11 0 779989682 862904320 24035 4294967295 134512640 134569956 3221224368 3221214672 1131425265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24035 13086 16 0 210654 0
vsize: 842680
[startup+570.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 55728 58 0 0 25 0 11 0 779989682 862904320 24036 4294967295 134512640 134569956 3221224368 3221214512 1131266482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24036 13086 16 0 210654 0
vsize: 842680
[startup+580.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 56724 58 0 0 25 0 11 0 779989682 862904320 24046 4294967295 134512640 134569956 3221224368 3221214600 1131305558 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24046 13086 16 0 210654 0
vsize: 842680
[startup+590.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 57720 58 0 0 25 0 11 0 779989682 862904320 24046 4294967295 134512640 134569956 3221224368 3221214512 1131267707 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24046 13086 16 0 210654 0
vsize: 842680
[startup+600.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 58716 58 0 0 25 0 11 0 779989682 862904320 24047 4294967295 134512640 134569956 3221224368 3221214600 1131305596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24047 13086 16 0 210654 0
vsize: 842680
[startup+610.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 59711 59 0 0 25 0 11 0 779989682 862904320 24060 4294967295 134512640 134569956 3221224368 3221214600 1131305170 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24060 13086 16 0 210654 0
vsize: 842680
[startup+620.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 60706 59 0 0 25 0 11 0 779989682 862904320 24060 4294967295 134512640 134569956 3221224368 3221214600 1131305117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24060 13086 16 0 210654 0
vsize: 842680
[startup+630.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 61703 59 0 0 25 0 11 0 779989682 862904320 24060 4294967295 134512640 134569956 3221224368 3221214512 1131267541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24060 13086 16 0 210654 0
vsize: 842680
[startup+640.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 62698 60 0 0 25 0 11 0 779989682 862904320 24067 4294967295 134512640 134569956 3221224368 3221214600 1131305219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24067 13086 16 0 210654 0
vsize: 842680
[startup+650.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 63693 60 0 0 25 0 11 0 779989682 862904320 24067 4294967295 134512640 134569956 3221224368 3221214600 1131305602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24067 13086 16 0 210654 0
vsize: 842680
[startup+660.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 64688 60 0 0 25 0 11 0 779989682 862904320 24068 4294967295 134512640 134569956 3221224368 3221214600 1131305207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24068 13086 16 0 210654 0
vsize: 842680
[startup+670.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 65682 61 0 0 25 0 11 0 779989682 862904320 24083 4294967295 134512640 134569956 3221224368 3221214672 1131424191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24083 13086 16 0 210654 0
vsize: 842680
[startup+680.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 66664 61 0 0 25 0 11 0 779989682 862904320 24083 4294967295 134512640 134569956 3221224368 3221214672 1131428849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24083 13086 16 0 210654 0
vsize: 842680
[startup+690.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 67646 62 0 0 25 0 11 0 779989682 862904320 24084 4294967295 134512640 134569956 3221224368 3221214596 1131266304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24084 13086 16 0 210654 0
vsize: 842680
[startup+700.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 68627 62 0 0 25 0 11 0 779989682 862904320 24084 4294967295 134512640 134569956 3221224368 3221214512 1131266689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24084 13086 16 0 210654 0
vsize: 842680
[startup+710.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 69620 62 0 0 25 0 11 0 779989682 862904320 24194 4294967295 134512640 134569956 3221224368 3221214600 1131305132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24194 13086 16 0 210654 0
vsize: 842680
[startup+720.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 70615 63 0 0 25 0 11 0 779989682 862904320 24194 4294967295 134512640 134569956 3221224368 3221214600 1131305596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24194 13086 16 0 210654 0
vsize: 842680
[startup+730.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 71609 63 0 0 25 0 11 0 779989682 862904320 24209 4294967295 134512640 134569956 3221224368 3221214672 1131425291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24209 13086 16 0 210654 0
vsize: 842680
[startup+740.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 72605 64 0 0 25 0 11 0 779989682 862904320 24209 4294967295 134512640 134569956 3221224368 3221214672 1131424227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24209 13086 16 0 210654 0
vsize: 842680
[startup+750.025 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 73602 64 0 0 25 0 11 0 779989682 862904320 24218 4294967295 134512640 134569956 3221224368 3221214672 1131424191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24218 13086 16 0 210654 0
vsize: 842680
[startup+760.025 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 74596 64 0 0 24 0 11 0 779989682 862904320 24218 4294967295 134512640 134569956 3221224368 3221214440 1131272245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24218 13086 16 0 210654 0
vsize: 842680
[startup+770.024 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 75583 65 0 0 25 0 11 0 779989682 862904320 24218 4294967295 134512640 134569956 3221224368 3221214672 1131425320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24218 13086 16 0 210654 0
vsize: 842680
[startup+780.026 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 76566 65 0 0 25 0 11 0 779989682 862904320 24219 4294967295 134512640 134569956 3221224368 3221214600 1131305132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24219 13086 16 0 210654 0
vsize: 842680
[startup+790.026 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 77550 65 0 0 25 0 11 0 779989682 862904320 24220 4294967295 134512640 134569956 3221224368 3221214512 1131266726 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24220 13086 16 0 210654 0
vsize: 842680
[startup+800.027 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 78538 66 0 0 25 0 11 0 779989682 862904320 24301 4294967295 134512640 134569956 3221224368 3221214600 1131305328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24301 13086 16 0 210654 0
vsize: 842680
[startup+810.027 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 79533 66 0 0 25 0 11 0 779989682 862904320 24313 4294967295 134512640 134569956 3221224368 3221214512 1131266653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24313 13086 16 0 210654 0
vsize: 842680
[startup+820.027 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 80529 67 0 0 25 0 11 0 779989682 862904320 24313 4294967295 134512640 134569956 3221224368 3221214512 1131266460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24313 13086 16 0 210654 0
vsize: 842680
[startup+830.027 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 81524 67 0 0 25 0 11 0 779989682 862904320 24328 4294967295 134512640 134569956 3221224368 3221214672 1131424227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24328 13086 16 0 210654 0
vsize: 842680
[startup+840.029 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 82519 67 0 0 25 0 11 0 779989682 862904320 24328 4294967295 134512640 134569956 3221224368 3221214512 1131266482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24328 13086 16 0 210654 0
vsize: 842680
[startup+850.03 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 83515 68 0 0 25 0 11 0 779989682 862904320 24328 4294967295 134512640 134569956 3221224368 3221214600 1131305264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24328 13086 16 0 210654 0
vsize: 842680
[startup+860.029 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 84510 68 0 0 25 0 11 0 779989682 862904320 24340 4294967295 134512640 134569956 3221224368 3221214672 1131424191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24340 13086 16 0 210654 0
vsize: 842680
[startup+870.039 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 85508 69 0 0 25 0 11 0 779989682 862904320 24340 4294967295 134512640 134569956 3221224368 3221214668 1131305100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24340 13086 16 0 210654 0
vsize: 842680
[startup+880.039 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 86503 69 0 0 25 0 11 0 779989682 862904320 24341 4294967295 134512640 134569956 3221224368 3221214512 1131266379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24341 13086 16 0 210654 0
vsize: 842680
[startup+890.039 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 87499 69 0 0 25 0 11 0 779989682 862904320 24341 4294967295 134512640 134569956 3221224368 3221214512 1131266482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24341 13086 16 0 210654 0
vsize: 842680
[startup+900.045 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 88496 69 0 0 25 0 11 0 779989682 862904320 24353 4294967295 134512640 134569956 3221224368 3221214512 1131266482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24353 13086 16 0 210654 0
vsize: 842680
[startup+910.049 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 89493 70 0 0 25 0 11 0 779989682 862904320 24354 4294967295 134512640 134569956 3221224368 3221214600 1131305132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24354 13086 16 0 210654 0
vsize: 842680
[startup+920.049 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 90488 70 0 0 25 0 11 0 779989682 862904320 24354 4294967295 134512640 134569956 3221224368 3221214600 1131305494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24354 13086 16 0 210654 0
vsize: 842680
[startup+930.049 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 91484 70 0 0 25 0 11 0 779989682 862904320 24354 4294967295 134512640 134569956 3221224368 3221214512 1131266606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24354 13086 16 0 210654 0
vsize: 842680
[startup+940.05 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 92479 70 0 0 25 0 11 0 779989682 862904320 24355 4294967295 134512640 134569956 3221224368 3221214600 1131305211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24355 13086 16 0 210654 0
vsize: 842680
[startup+950.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 93474 71 0 0 25 0 11 0 779989682 862904320 24367 4294967295 134512640 134569956 3221224368 3221214600 1131305435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24367 13086 16 0 210654 0
vsize: 842680
[startup+960.059 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 94469 72 0 0 25 0 11 0 779989682 862904320 24367 4294967295 134512640 134569956 3221224368 3221214512 1131267671 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24367 13086 16 0 210654 0
vsize: 842680
[startup+970.063 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 95464 72 0 0 25 0 11 0 779989682 862904320 24379 4294967295 134512640 134569956 3221224368 3221214512 1131266359 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24379 13086 16 0 210654 0
vsize: 842680
[startup+980.063 s]
Raw data (loadavg): 1.09 1.03 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 96459 73 0 0 25 0 11 0 779989682 862904320 24380 4294967295 134512640 134569956 3221224368 3221214600 1131305558 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24380 13086 16 0 210654 0
vsize: 842680
[startup+990.063 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 97454 73 0 0 25 0 11 0 779989682 862904320 24380 4294967295 134512640 134569956 3221224368 3221214512 1131267227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24380 13086 16 0 210654 0
vsize: 842680
[startup+1000.06 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 98448 73 0 0 25 0 11 0 779989682 862904320 24381 4294967295 134512640 134569956 3221224368 3221214600 1131305117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24381 13086 16 0 210654 0
vsize: 842680
[startup+1010.06 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 99444 73 0 0 25 0 11 0 779989682 862904320 24398 4294967295 134512640 134569956 3221224368 3221214704 1131272245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210670 24398 13086 16 0 210654 0
vsize: 842680
[startup+1020.06 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 100440 74 0 0 25 0 11 0 779989682 862904320 24398 4294967295 134512640 134569956 3221224368 3221214512 1131221173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24398 13086 16 0 210654 0
vsize: 842680
[startup+1030.06 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 101436 74 0 0 25 0 11 0 779989682 862904320 24399 4294967295 134512640 134569956 3221224368 3221214512 1131267675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24399 13086 16 0 210654 0
vsize: 842680
[startup+1040.07 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 102432 75 0 0 25 0 11 0 779989682 862904320 24399 4294967295 134512640 134569956 3221224368 3221214820 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24399 13086 16 0 210654 0
vsize: 842680
[startup+1050.07 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 103429 75 0 0 25 0 11 0 779989682 862904320 24406 4294967295 134512640 134569956 3221224368 3221214512 1131266429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24406 13086 16 0 210654 0
vsize: 842680
[startup+1060.07 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 104425 76 0 0 25 0 11 0 779989682 862904320 24407 4294967295 134512640 134569956 3221224368 3221214600 1131305125 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24407 13086 16 0 210654 0
vsize: 842680
[startup+1070.07 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 105420 76 0 0 25 0 11 0 779989682 862904320 24407 4294967295 134512640 134569956 3221224368 3221214512 1131266429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24407 13086 16 0 210654 0
vsize: 842680
[startup+1080.07 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 106415 76 0 0 25 0 11 0 779989682 862904320 24407 4294967295 134512640 134569956 3221224368 3221214672 1131425412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24407 13086 16 0 210654 0
vsize: 842680
[startup+1090.07 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 107412 77 0 0 25 0 11 0 779989682 862904320 24420 4294967295 134512640 134569956 3221224368 3221214600 1131305125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210670 24420 13086 16 0 210654 0
vsize: 842680
[startup+1100.07 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 108406 77 0 0 24 0 11 0 779989682 862904320 24420 4294967295 134512640 134569956 3221224368 3221214440 1131272101 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24420 13086 16 0 210654 0
vsize: 842680
[startup+1110.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 109398 78 0 0 25 0 11 0 779989682 862904320 24420 4294967295 134512640 134569956 3221224368 3221214456 1131272325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210670 24420 13086 16 0 210654 0
vsize: 842680
[startup+1120.07 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 110390 78 0 0 25 0 11 0 779989682 862904320 24420 4294967295 134512640 134569956 3221224368 3221214464 1131446071 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24420 13086 16 0 210654 0
vsize: 842680
[startup+1130.07 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 111378 78 0 0 25 0 11 0 779989682 862904320 24423 4294967295 134512640 134569956 3221224368 3221214672 1131424191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24423 13086 16 0 210654 0
vsize: 842680
[startup+1140.07 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 112363 79 0 0 25 0 11 0 779989682 862904320 24423 4294967295 134512640 134569956 3221224368 3221214512 1131266482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24423 13086 16 0 210654 0
vsize: 842680
[startup+1150.07 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 113349 79 0 0 25 0 11 0 779989682 862904320 24423 4294967295 134512640 134569956 3221224368 3221214600 1131305154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24423 13086 16 0 210654 0
vsize: 842680
[startup+1160.07 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 114333 80 0 0 25 0 11 0 779989682 862904320 24492 4294967295 134512640 134569956 3221224368 3221214600 1131305132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24492 13086 16 0 210654 0
vsize: 842680
[startup+1170.07 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 115328 80 0 0 25 0 11 0 779989682 862904320 24500 4294967295 134512640 134569956 3221224368 3221214600 1131305117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24500 13086 16 0 210654 0
vsize: 842680
[startup+1180.07 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 116325 80 0 0 25 0 11 0 779989682 862904320 24500 4294967295 134512640 134569956 3221224368 3221214512 1131266486 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24500 13086 16 0 210654 0
vsize: 842680
[startup+1190.07 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 117319 81 0 0 25 0 11 0 779989682 862904320 24507 4294967295 134512640 134569956 3221224368 3221214672 1131428935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24507 13086 16 0 210654 0
vsize: 842680
[startup+1200.07 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 118315 81 0 0 25 0 11 0 779989682 862904320 24507 4294967295 134512640 134569956 3221224368 3221214672 1131428924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24507 13086 16 0 210654 0
vsize: 842680
[startup+1210.07 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 119310 82 0 0 25 0 11 0 779989682 862904320 24519 4294967295 134512640 134569956 3221224368 3221214512 1131266482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210670 24519 13086 16 0 210654 0
vsize: 842680
[startup+1220.07 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 19094
Raw data (stat): 19081 (java) R 19080 3944 3943 0 -1 0 18164 4 1 0 120306 82 0 0 25 0 11 0 779989682 862904320 24519 4294967295 134512640 134569956 3221224368 3221214596 1131266304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210670 24519 13086 16 0 210654 0
vsize: 842680
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.64 s]
Raw data (loadavg): 1.01 1.02 1.00 1/54 19096
Raw data (stat): 19081 (java) Z 19080 3944 3943 0 -1 1036 18164 8640 1 0 120358 82 2060 35 25 0 1 0 779989682 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): 1225.37
CPU user time (s): 1224.19
CPU system time (s): 1.17982
CPU usage (%): 100.387
Max. virtual memory (Kb): 857380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	4990860
#### END VERIFIER DATA ####