PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran13x13.opb
MD5SUM	688d61d0de54e028c8c4910e094a132c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	893343
Optimality of the best value was proved	NO
Number of terms in the objective function	3549
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	949933178
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	949933178
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.05
Number of variables	3549
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	21
Maximum length of a constraint	260
Trace number 30092

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        632504 kB
Buffers:         34684 kB
Cached:         347216 kB
SwapCached:        600 kB
Active:          74436 kB
Inactive:       309940 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        632252 kB
SwapTotal:     2097136 kB
SwapFree:      2096004 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5780 kB
Slab:            12176 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 15:04:35 (client local time) WITH STATUS 143 IN 1232.2 SECONDS
stats: 21496 0 1232.2 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/wulflinc4/normalized-mps-v2-13-7-ran13x13.opb
c reading problem ... done. Time 7.006 ms.
c #vars     3549
c #constraints  221
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=             1014445 		Current CPU time: 38.54 ms
c CURRENT OPTIMUM=              893343 		Current CPU time: 87.21 ms
c starts	: 3
c conflicts	: 81
c decisions	: 23866
c propagations	: 81948
c inspects	: 306958
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 81
c root simplifications	: 66
s SATISFIABLE
v 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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 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 -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 -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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 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 -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 -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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 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 -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 -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 -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 -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 -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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 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=893343
c Total CPU time (ms) : 1219.739
#### 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.99 1.00 1.00 2/54 2259
Raw data (stat): 2259 (runsolver) R 2258 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781465457 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+9.9997 s]
Raw data (loadavg): 1.15 1.03 1.01 4/64 2269
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18062 0 1 0 827 38 0 0 25 0 11 0 781465457 860229632 20602 4294967295 134512640 134569956 3221224368 3221214576 1130920740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210017 20602 13086 16 0 210001 0
vsize: 840068
[startup+20.001 s]
Raw data (loadavg): 1.28 1.06 1.02 2/64 2269
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18066 0 1 0 1652 38 0 0 25 0 11 0 781465457 859803648 21257 4294967295 134512640 134569956 3221224368 3221214680 1131438383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 21257 13086 16 0 209897 0
vsize: 839652
[startup+30.0018 s]
Raw data (loadavg): 1.23 1.06 1.02 2/64 2269
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18067 0 1 0 2560 39 0 0 25 0 11 0 781465457 859803648 21345 4294967295 134512640 134569956 3221224368 3221214576 1131294069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 21345 13086 16 0 209897 0
vsize: 839652
[startup+40.0013 s]
Raw data (loadavg): 1.20 1.06 1.02 2/64 2270
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18113 3 1 0 3471 39 0 0 25 0 11 0 781465457 859803648 21601 4294967295 134512640 134569956 3221224368 3221214568 1131294069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209913 21601 13086 16 0 209897 0
vsize: 839652
[startup+50.0026 s]
Raw data (loadavg): 1.17 1.06 1.02 2/64 2270
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18113 3 1 0 4419 39 0 0 25 0 11 0 781465457 859803648 22143 4294967295 134512640 134569956 3221224368 3221214568 1131294090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22143 13086 16 0 209897 0
vsize: 839652
[startup+60.0025 s]
Raw data (loadavg): 1.14 1.05 1.02 2/64 2270
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 5384 39 0 0 25 0 11 0 781465457 859803648 22193 4294967295 134512640 134569956 3221224368 3221214672 1131438566 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22193 13086 16 0 209897 0
vsize: 839652
[startup+70.0029 s]
Raw data (loadavg): 1.12 1.05 1.02 2/64 2270
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 6352 39 0 0 25 0 11 0 781465457 859803648 22221 4294967295 134512640 134569956 3221224368 3221214568 1131294564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22221 13086 16 0 209897 0
vsize: 839652
[startup+80.0043 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 2270
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 7335 39 0 0 25 0 11 0 781465457 859803648 22407 4294967295 134512640 134569956 3221224368 3221214672 1131441364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22407 13086 16 0 209897 0
vsize: 839652
[startup+90.0042 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 8323 39 0 0 25 0 11 0 781465457 859803648 22426 4294967295 134512640 134569956 3221224368 3221214568 1131293759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22426 13086 16 0 209897 0
vsize: 839652
[startup+100.005 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 9307 39 0 0 25 0 11 0 781465457 859803648 22435 4294967295 134512640 134569956 3221224368 3221214568 1131359824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22435 13086 16 0 209897 0
vsize: 839652
[startup+110.009 s]
Raw data (loadavg): 1.06 1.04 1.01 2/64 2271
Raw data (stat): 2259 (java) S 2258 21152 21151 0 -1 0 18114 3 1 0 10280 39 0 0 25 0 11 0 781465457 859803648 22444 4294967295 134512640 134569956 3221224368 3221213208 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22444 13086 16 0 209897 0
vsize: 839652
[startup+120.011 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 11250 40 0 0 25 0 11 0 781465457 859803648 22544 4294967295 134512640 134569956 3221224368 3221214568 1131293683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22544 13086 16 0 209897 0
vsize: 839652
[startup+130.011 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 12230 40 0 0 24 0 11 0 781465457 859803648 22545 4294967295 134512640 134569956 3221224368 3221214568 1131294558 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22545 13086 16 0 209897 0
vsize: 839652
[startup+140.015 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 2271
Raw data (stat): 2259 (java) S 2258 21152 21151 0 -1 0 18114 3 1 0 13209 40 0 0 25 0 11 0 781465457 859803648 22644 4294967295 134512640 134569956 3221224368 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22644 13086 16 0 209897 0
vsize: 839652
[startup+150.017 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 14191 40 0 0 25 0 11 0 781465457 859803648 22680 4294967295 134512640 134569956 3221224368 3221214568 1131294069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22680 13086 16 0 209897 0
vsize: 839652
[startup+160.017 s]
Raw data (loadavg): 1.02 1.03 1.01 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 15174 40 0 0 25 0 11 0 781465457 859803648 22752 4294967295 134512640 134569956 3221224368 3221214672 1131442149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22752 13086 16 0 209897 0
vsize: 839652
[startup+170.018 s]
Raw data (loadavg): 1.02 1.03 1.01 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 16169 40 0 0 25 0 11 0 781465457 859803648 22772 4294967295 134512640 134569956 3221224368 3221214568 1131293601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22772 13086 16 0 209897 0
vsize: 839652
[startup+180.019 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 17164 40 0 0 25 0 11 0 781465457 859803648 22779 4294967295 134512640 134569956 3221224368 3221214568 1131293691 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22779 13086 16 0 209897 0
vsize: 839652
[startup+190.019 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 18159 41 0 0 25 0 11 0 781465457 859803648 22779 4294967295 134512640 134569956 3221224368 3221214568 1131293683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22779 13086 16 0 209897 0
vsize: 839652
[startup+200.023 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 2271
Raw data (stat): 2259 (java) S 2258 21152 21151 0 -1 0 18114 3 1 0 19144 41 0 0 25 0 11 0 781465457 859803648 22784 4294967295 134512640 134569956 3221224368 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22784 13086 16 0 209897 0
vsize: 839652
[startup+210.023 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 20128 41 0 0 25 0 11 0 781465457 859803648 22784 4294967295 134512640 134569956 3221224368 3221214568 1131294266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22784 13086 16 0 209897 0
vsize: 839652
[startup+220.024 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 21114 41 0 0 25 0 11 0 781465457 859803648 22848 4294967295 134512640 134569956 3221224368 3221214568 1131294069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22848 13086 16 0 209897 0
vsize: 839652
[startup+230.024 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 22107 42 0 0 25 0 11 0 781465457 859803648 22862 4294967295 134512640 134569956 3221224368 3221214568 1131293966 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22862 13086 16 0 209897 0
vsize: 839652
[startup+240.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 23101 42 0 0 25 0 11 0 781465457 859803648 22873 4294967295 134512640 134569956 3221224368 3221214568 1131294192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22873 13086 16 0 209897 0
vsize: 839652
[startup+250.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 24095 42 0 0 25 0 11 0 781465457 859803648 22873 4294967295 134512640 134569956 3221224368 3221214672 1131438175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22873 13086 16 0 209897 0
vsize: 839652
[startup+260.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 25090 42 0 0 25 0 11 0 781465457 859803648 22881 4294967295 134512640 134569956 3221224368 3221214672 1131439508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22881 13086 16 0 209897 0
vsize: 839652
[startup+270.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 26086 42 0 0 25 0 11 0 781465457 859803648 22892 4294967295 134512640 134569956 3221224368 3221214776 1131480112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22892 13086 16 0 209897 0
vsize: 839652
[startup+280.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 27081 42 0 0 25 0 11 0 781465457 859803648 22897 4294967295 134512640 134569956 3221224368 3221214568 1131294069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22897 13086 16 0 209897 0
vsize: 839652
[startup+290.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 28077 42 0 0 25 0 11 0 781465457 859803648 22897 4294967295 134512640 134569956 3221224368 3221214568 1131293612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22897 13086 16 0 209897 0
vsize: 839652
[startup+300.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 29072 42 0 0 25 0 11 0 781465457 859803648 22902 4294967295 134512640 134569956 3221224368 3221214568 1131293597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22902 13086 16 0 209897 0
vsize: 839652
[startup+310.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 30068 43 0 0 25 0 11 0 781465457 859803648 22902 4294967295 134512640 134569956 3221224368 3221214568 1131293964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22902 13086 16 0 209897 0
vsize: 839652
[startup+320.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 31054 43 0 0 25 0 11 0 781465457 859803648 22911 4294967295 134512640 134569956 3221224368 3221214568 1131293646 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22911 13086 16 0 209897 0
vsize: 839652
[startup+330.029 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 32038 43 0 0 25 0 11 0 781465457 859803648 22912 4294967295 134512640 134569956 3221224368 3221214672 1131441228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22912 13086 16 0 209897 0
vsize: 839652
[startup+340.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 33022 43 0 0 25 0 11 0 781465457 859803648 22980 4294967295 134512640 134569956 3221224368 3221214672 1131440512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22980 13086 16 0 209897 0
vsize: 839652
[startup+350.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 34016 43 0 0 25 0 11 0 781465457 859803648 22991 4294967295 134512640 134569956 3221224368 3221214672 1131441172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22991 13086 16 0 209897 0
vsize: 839652
[startup+360.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 35010 43 0 0 24 0 11 0 781465457 859803648 22992 4294967295 134512640 134569956 3221224368 3221214464 1131242709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 22992 13086 16 0 209897 0
vsize: 839652
[startup+370.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 36002 43 0 0 25 0 11 0 781465457 859803648 23007 4294967295 134512640 134569956 3221224368 3221214568 1131360152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23007 13086 16 0 209897 0
vsize: 839652
[startup+380.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 36994 43 0 0 25 0 11 0 781465457 859803648 23008 4294967295 134512640 134569956 3221224368 3221214568 1131359507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23008 13086 16 0 209897 0
vsize: 839652
[startup+390.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 37983 44 0 0 25 0 11 0 781465457 859803648 23012 4294967295 134512640 134569956 3221224368 3221214452 1131518771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23012 13086 16 0 209897 0
vsize: 839652
[startup+400.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 38975 44 0 0 25 0 11 0 781465457 859803648 23016 4294967295 134512640 134569956 3221224368 3221214568 1131359574 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23016 13086 16 0 209897 0
vsize: 839652
[startup+410.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 39967 44 0 0 25 0 11 0 781465457 859803648 23061 4294967295 134512640 134569956 3221224368 3221214464 1131242800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23061 13086 16 0 209897 0
vsize: 839652
[startup+420.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 40960 44 0 0 25 0 11 0 781465457 859803648 23063 4294967295 134512640 134569956 3221224368 3221214480 1131389147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23063 13086 16 0 209897 0
vsize: 839652
[startup+430.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 41954 44 0 0 25 0 11 0 781465457 859803648 23065 4294967295 134512640 134569956 3221224368 3221214464 1131242819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23065 13086 16 0 209897 0
vsize: 839652
[startup+440.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 42949 44 0 0 25 0 11 0 781465457 859803648 23065 4294967295 134512640 134569956 3221224368 3221214464 1131242760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23065 13086 16 0 209897 0
vsize: 839652
[startup+450.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 43931 44 0 0 25 0 11 0 781465457 859803648 23065 4294967295 134512640 134569956 3221224368 3221214568 1131293683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23065 13086 16 0 209897 0
vsize: 839652
[startup+460.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 44906 44 0 0 25 0 11 0 781465457 859803648 23065 4294967295 134512640 134569956 3221224368 3221214776 1131480120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23065 13086 16 0 209897 0
vsize: 839652
[startup+470.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 45878 44 0 0 25 0 11 0 781465457 859803648 23065 4294967295 134512640 134569956 3221224368 3221214568 1131293601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23065 13086 16 0 209897 0
vsize: 839652
[startup+480.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 46865 44 0 0 25 0 11 0 781465457 859803648 23214 4294967295 134512640 134569956 3221224368 3221214672 1131439389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23214 13086 16 0 209897 0
vsize: 839652
[startup+490.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 47858 44 0 0 25 0 11 0 781465457 859803648 23233 4294967295 134512640 134569956 3221224368 3221214672 1131439508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23233 13086 16 0 209897 0
vsize: 839652
[startup+500.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 48853 44 0 0 25 0 11 0 781465457 859803648 23233 4294967295 134512640 134569956 3221224368 3221214520 1131218925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23233 13086 16 0 209897 0
vsize: 839652
[startup+510.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 49847 44 0 0 25 0 11 0 781465457 859803648 23234 4294967295 134512640 134569956 3221224368 3221214568 1131294069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23234 13086 16 0 209897 0
vsize: 839652
[startup+520.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 50843 45 0 0 25 0 11 0 781465457 859803648 23256 4294967295 134512640 134569956 3221224368 3221214568 1131294031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23256 13086 16 0 209897 0
vsize: 839652
[startup+530.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 51838 45 0 0 25 0 11 0 781465457 859803648 23256 4294967295 134512640 134569956 3221224368 3221214672 1131441199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23256 13086 16 0 209897 0
vsize: 839652
[startup+540.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 52834 45 0 0 25 0 11 0 781465457 859803648 23257 4294967295 134512640 134569956 3221224368 3221214568 1131294549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23257 13086 16 0 209897 0
vsize: 839652
[startup+550.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 53830 45 0 0 25 0 11 0 781465457 859803648 23268 4294967295 134512640 134569956 3221224368 3221214672 1131441209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23268 13086 16 0 209897 0
vsize: 839652
[startup+560.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 54827 45 0 0 25 0 11 0 781465457 859803648 23268 4294967295 134512640 134569956 3221224368 3221214568 1131294335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23268 13086 16 0 209897 0
vsize: 839652
[startup+570.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 55822 45 0 0 25 0 11 0 781465457 859803648 23268 4294967295 134512640 134569956 3221224368 3221214568 1131294558 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23268 13086 16 0 209897 0
vsize: 839652
[startup+580.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 56817 45 0 0 25 0 11 0 781465457 859803648 23269 4294967295 134512640 134569956 3221224368 3221214672 1131441300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23269 13086 16 0 209897 0
vsize: 839652
[startup+590.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 57810 45 0 0 25 0 11 0 781465457 859803648 23281 4294967295 134512640 134569956 3221224368 3221214568 1131294054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23281 13086 16 0 209897 0
vsize: 839652
[startup+600.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 58805 45 0 0 25 0 11 0 781465457 859803648 23282 4294967295 134512640 134569956 3221224368 3221214568 1131294198 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23282 13086 16 0 209897 0
vsize: 839652
[startup+610.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 59799 45 0 0 25 0 11 0 781465457 859803648 23282 4294967295 134512640 134569956 3221224368 3221214672 1131439484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23282 13086 16 0 209897 0
vsize: 839652
[startup+620.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 60794 45 0 0 25 0 11 0 781465457 859803648 23294 4294967295 134512640 134569956 3221224368 3221214672 1131441172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23294 13086 16 0 209897 0
vsize: 839652
[startup+630.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 61788 45 0 0 25 0 11 0 781465457 859803648 23295 4294967295 134512640 134569956 3221224368 3221214568 1131294601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23295 13086 16 0 209897 0
vsize: 839652
[startup+640.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 62769 45 0 0 25 0 11 0 781465457 859803648 23306 4294967295 134512640 134569956 3221224368 3221214672 1131439513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23306 13086 16 0 209897 0
vsize: 839652
[startup+650.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 63753 45 0 0 25 0 11 0 781465457 859803648 23308 4294967295 134512640 134569956 3221224368 3221214568 1131293987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23308 13086 16 0 209897 0
vsize: 839652
[startup+660.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 64736 45 0 0 25 0 11 0 781465457 859803648 23401 4294967295 134512640 134569956 3221224368 3221214568 1131293630 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23401 13086 16 0 209897 0
vsize: 839652
[startup+670.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 65730 45 0 0 25 0 11 0 781465457 859803648 23407 4294967295 134512640 134569956 3221224368 3221214568 1131294638 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23407 13086 16 0 209897 0
vsize: 839652
[startup+680.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 66724 46 0 0 25 0 11 0 781465457 859803648 23408 4294967295 134512640 134569956 3221224368 3221214568 1131293612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23408 13086 16 0 209897 0
vsize: 839652
[startup+690.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 67718 46 0 0 25 0 11 0 781465457 859803648 23408 4294967295 134512640 134569956 3221224368 3221214672 1131440512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23408 13086 16 0 209897 0
vsize: 839652
[startup+700.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 68713 46 0 0 25 0 11 0 781465457 859803648 23429 4294967295 134512640 134569956 3221224368 3221214568 1131294019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23429 13086 16 0 209897 0
vsize: 839652
[startup+710.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 69709 46 0 0 25 0 11 0 781465457 859803648 23430 4294967295 134512640 134569956 3221224368 3221214568 1131294242 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23430 13086 16 0 209897 0
vsize: 839652
[startup+720.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 70706 46 0 0 25 0 11 0 781465457 859803648 23431 4294967295 134512640 134569956 3221224368 3221214568 1131293612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23431 13086 16 0 209897 0
vsize: 839652
[startup+730.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 71702 46 0 0 25 0 11 0 781465457 859803648 23436 4294967295 134512640 134569956 3221224368 3221214568 1131294069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23436 13086 16 0 209897 0
vsize: 839652
[startup+740.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 72689 46 0 0 25 0 11 0 781465457 859803648 23436 4294967295 134512640 134569956 3221224368 3221214672 1131440493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23436 13086 16 0 209897 0
vsize: 839652
[startup+750.06 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 73672 46 0 0 25 0 11 0 781465457 859803648 23437 4294967295 134512640 134569956 3221224368 3221214536 1131044207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23437 13086 16 0 209897 0
vsize: 839652
[startup+760.061 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 74654 46 0 0 25 0 11 0 781465457 859803648 23438 4294967295 134512640 134569956 3221224368 3221214672 1131439637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23438 13086 16 0 209897 0
vsize: 839652
[startup+770.061 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 75647 46 0 0 25 0 11 0 781465457 859803648 23526 4294967295 134512640 134569956 3221224368 3221214520 1131218969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23526 13086 16 0 209897 0
vsize: 839652
[startup+780.062 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 76643 46 0 0 25 0 11 0 781465457 859803648 23527 4294967295 134512640 134569956 3221224368 3221214568 1131294601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23527 13086 16 0 209897 0
vsize: 839652
[startup+790.062 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 77638 46 0 0 25 0 11 0 781465457 859803648 23537 4294967295 134512640 134569956 3221224368 3221214672 1131439508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23537 13086 16 0 209897 0
vsize: 839652
[startup+800.062 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 78635 46 0 0 25 0 11 0 781465457 859803648 23537 4294967295 134512640 134569956 3221224368 3221214568 1131294069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23537 13086 16 0 209897 0
vsize: 839652
[startup+810.063 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 79631 46 0 0 25 0 11 0 781465457 859803648 23542 4294967295 134512640 134569956 3221224368 3221214568 1131294122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23542 13086 16 0 209897 0
vsize: 839652
[startup+820.063 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 80628 46 0 0 25 0 11 0 781465457 859803648 23542 4294967295 134512640 134569956 3221224368 3221214568 1131293612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23542 13086 16 0 209897 0
vsize: 839652
[startup+830.064 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 81623 47 0 0 25 0 11 0 781465457 859803648 23543 4294967295 134512640 134569956 3221224368 3221214568 1131293676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23543 13086 16 0 209897 0
vsize: 839652
[startup+840.064 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 82618 47 0 0 25 0 11 0 781465457 859803648 23543 4294967295 134512640 134569956 3221224368 3221214568 1131293990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23543 13086 16 0 209897 0
vsize: 839652
[startup+850.064 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 83614 47 0 0 25 0 11 0 781465457 859803648 23557 4294967295 134512640 134569956 3221224368 3221214568 1131293825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23557 13086 16 0 209897 0
vsize: 839652
[startup+860.064 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 84611 47 0 0 25 0 11 0 781465457 859803648 23558 4294967295 134512640 134569956 3221224368 3221214480 1131242821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23558 13086 16 0 209897 0
vsize: 839652
[startup+870.065 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 85606 47 0 0 25 0 11 0 781465457 859803648 23559 4294967295 134512640 134569956 3221224368 3221214568 1131294632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23559 13086 16 0 209897 0
vsize: 839652
[startup+880.066 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 86601 47 0 0 25 0 11 0 781465457 859803648 23559 4294967295 134512640 134569956 3221224368 3221214568 1131294019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23559 13086 16 0 209897 0
vsize: 839652
[startup+890.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 87596 47 0 0 25 0 11 0 781465457 859803648 23559 4294967295 134512640 134569956 3221224368 3221214672 1131440512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23559 13086 16 0 209897 0
vsize: 839652
[startup+900.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 88591 47 0 0 25 0 11 0 781465457 859803648 23569 4294967295 134512640 134569956 3221224368 3221214568 1131294069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23569 13086 16 0 209897 0
vsize: 839652
[startup+910.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18114 3 1 0 89587 47 0 0 25 0 11 0 781465457 859803648 23569 4294967295 134512640 134569956 3221224368 3221214568 1131294122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23569 13086 16 0 209897 0
vsize: 839652
[startup+920.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18115 3 1 0 90584 47 0 0 25 0 11 0 781465457 859803648 23576 4294967295 134512640 134569956 3221224368 3221214592 1131499412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23576 13086 16 0 209897 0
vsize: 839652
[startup+930.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18115 3 1 0 91569 47 0 0 25 0 11 0 781465457 859803648 23576 4294967295 134512640 134569956 3221224368 3221214672 1131439432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23576 13086 16 0 209897 0
vsize: 839652
[startup+940.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18115 3 1 0 92554 47 0 0 24 0 11 0 781465457 859803648 23576 4294967295 134512640 134569956 3221224368 3221214672 1131438393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23576 13086 16 0 209897 0
vsize: 839652
[startup+950.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2271
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18115 3 1 0 93539 48 0 0 25 0 11 0 781465457 859803648 23645 4294967295 134512640 134569956 3221224368 3221214672 1131438383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23645 13086 16 0 209897 0
vsize: 839652
[startup+960.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2324
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18115 3 1 0 94527 52 0 0 25 0 11 0 781465457 859803648 23645 4294967295 134512640 134569956 3221224368 3221214568 1131293683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23645 13086 16 0 209897 0
vsize: 839652
[startup+970.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2324
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18115 3 1 0 95523 52 0 0 25 0 11 0 781465457 859803648 23651 4294967295 134512640 134569956 3221224368 3221214568 1131294513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23651 13086 16 0 209897 0
vsize: 839652
[startup+980.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2324
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18115 3 1 0 96520 52 0 0 25 0 11 0 781465457 859803648 23651 4294967295 134512640 134569956 3221224368 3221214672 1131441228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23651 13086 16 0 209897 0
vsize: 839652
[startup+990.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2324
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18115 3 1 0 97514 52 0 0 25 0 11 0 781465457 859803648 23656 4294967295 134512640 134569956 3221224368 3221214568 1131293612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23656 13086 16 0 209897 0
vsize: 839652
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2324
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18115 3 1 0 98511 52 0 0 25 0 11 0 781465457 859803648 23656 4294967295 134512640 134569956 3221224368 3221214680 1131372194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23656 13086 16 0 209897 0
vsize: 839652
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2324
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18115 3 1 0 99504 52 0 0 25 0 11 0 781465457 859803648 23657 4294967295 134512640 134569956 3221224368 3221214540 1130885243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23657 13086 16 0 209897 0
vsize: 839652
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2324
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18115 3 1 0 100500 52 0 0 25 0 11 0 781465457 859803648 23666 4294967295 134512640 134569956 3221224368 3221214480 1131243332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23666 13086 16 0 209897 0
vsize: 839652
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2326
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18115 3 1 0 101496 52 0 0 25 0 11 0 781465457 859803648 23667 4294967295 134512640 134569956 3221224368 3221214568 1131359574 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23667 13086 16 0 209897 0
vsize: 839652
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2326
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18115 3 1 0 102492 53 0 0 25 0 11 0 781465457 859803648 23671 4294967295 134512640 134569956 3221224368 3221214480 1131242621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23671 13086 16 0 209897 0
vsize: 839652
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2326
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18115 3 1 0 103489 53 0 0 25 0 11 0 781465457 859803648 23681 4294967295 134512640 134569956 3221224368 3221214464 1131242739 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23681 13086 16 0 209897 0
vsize: 839652
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2326
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18115 3 1 0 104486 53 0 0 25 0 11 0 781465457 859803648 23681 4294967295 134512640 134569956 3221224368 3221214480 1131388471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23681 13086 16 0 209897 0
vsize: 839652
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2326
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18115 3 1 0 105484 53 0 0 25 0 11 0 781465457 859803648 23681 4294967295 134512640 134569956 3221224368 3221214480 1131242519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23681 13086 16 0 209897 0
vsize: 839652
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2326
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18115 3 1 0 106481 53 0 0 25 0 11 0 781465457 859803648 23681 4294967295 134512640 134569956 3221224368 3221214480 1131388416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23681 13086 16 0 209897 0
vsize: 839652
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2326
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18115 3 1 0 107478 53 0 0 25 0 11 0 781465457 859803648 23682 4294967295 134512640 134569956 3221224368 3221214480 1131243021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23682 13086 16 0 209897 0
vsize: 839652
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2326
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18115 3 1 0 108475 53 0 0 25 0 11 0 781465457 859803648 23682 4294967295 134512640 134569956 3221224368 3221214464 1131242885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23682 13086 16 0 209897 0
vsize: 839652
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2326
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18115 3 1 0 109472 53 0 0 25 0 11 0 781465457 859803648 23682 4294967295 134512640 134569956 3221224368 3221214480 1131242821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23682 13086 16 0 209897 0
vsize: 839652
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2326
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18115 3 1 0 110470 53 0 0 25 0 11 0 781465457 859803648 23682 4294967295 134512640 134569956 3221224368 3221214480 1131392867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23682 13086 16 0 209897 0
vsize: 839652
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2326
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18115 3 1 0 111466 53 0 0 25 0 11 0 781465457 859803648 23682 4294967295 134512640 134569956 3221224368 3221214480 1131242888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209913 23682 13086 16 0 209897 0
vsize: 839652
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2326
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18115 3 1 0 112464 53 0 0 25 0 11 0 781465457 859803648 23683 4294967295 134512640 134569956 3221224368 3221214568 1131360056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23683 13086 16 0 209897 0
vsize: 839652
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2326
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18115 3 1 0 113461 53 0 0 25 0 11 0 781465457 859803648 23683 4294967295 134512640 134569956 3221224368 3221214480 1131389089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23683 13086 16 0 209897 0
vsize: 839652
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 2326
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18115 3 1 0 114454 54 0 0 25 0 11 0 781465457 859803648 23683 4294967295 134512640 134569956 3221224368 3221214568 1131293683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23683 13086 16 0 209897 0
vsize: 839652
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2326
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18115 3 1 0 115443 54 0 0 25 0 11 0 781465457 859803648 23683 4294967295 134512640 134569956 3221224368 3221214568 1131294069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23683 13086 16 0 209897 0
vsize: 839652
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2326
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18115 3 1 0 116432 54 0 0 25 0 11 0 781465457 859803648 23683 4294967295 134512640 134569956 3221224368 3221214568 1131293685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23683 13086 16 0 209897 0
vsize: 839652
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2326
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18115 3 1 0 117426 54 0 0 25 0 11 0 781465457 859803648 23728 4294967295 134512640 134569956 3221224368 3221214568 1131294299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23728 13086 16 0 209897 0
vsize: 839652
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2326
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18115 3 1 0 118422 55 0 0 25 0 11 0 781465457 859803648 23729 4294967295 134512640 134569956 3221224368 3221214568 1131294226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23729 13086 16 0 209897 0
vsize: 839652
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2326
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18115 3 1 0 119417 55 0 0 25 0 11 0 781465457 859803648 23729 4294967295 134512640 134569956 3221224368 3221214568 1131293612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23729 13086 16 0 209897 0
vsize: 839652
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2326
Raw data (stat): 2259 (java) R 2258 21152 21151 0 -1 0 18115 3 1 0 120412 55 0 0 25 0 11 0 781465457 859803648 23735 4294967295 134512640 134569956 3221224368 3221214568 1131293605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209913 23735 13086 16 0 209897 0
vsize: 839652
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.82 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 2328
Raw data (stat): 2259 (java) Z 2258 21152 21151 0 -1 1036 18115 9472 1 0 120477 55 2651 35 25 0 1 0 781465457 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.82
CPU time (s): 1232.2
CPU user time (s): 1231.29
CPU system time (s): 0.908861
CPU usage (%): 100.932
Max. virtual memory (Kb): 840068
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	893343
#### END VERIFIER DATA ####