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/milp/normalized-mps-v2-13-7-neos2.opb
MD5SUM	b7400535246fc2c2b54a52ae77322df5
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	84
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	8388604
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2396687647113216000
Number of bits of the biggest number in a constraint	62
Biggest sum of numbers in a constraint	282492798299765243904
Number of bits of the biggest sum of numbers	68
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	21894
Total number of constraints	2173
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1053
Number of constraints which are nor clauses,nor cardinality constraints	1120
Minimum length of a constraint	1
Maximum length of a constraint	3188
Trace number 13987

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-04-20 22:51:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19675 boxname=wulflinc17 idbench=1514 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  b7400535246fc2c2b54a52ae77322df5  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-neos2.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-neos2.opb
IDLAUNCH: 19675
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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	: 3
cpu MHz		: 451.072
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:        668592 kB
Buffers:         33360 kB
Cached:         299996 kB
SwapCached:         48 kB
Active:          95956 kB
Inactive:       240372 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        668340 kB
SwapTotal:     2097892 kB
SwapFree:      2097840 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           7032 kB
Slab:            23976 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-20 22:51:34 (client local time) WITH STATUS 30 IN 0.352945 SECONDS
stats: 19675 6 0.352945 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-neos2.opb ......
c The optimum solution is:0
s OPTIMUM FOUND
v -C0001_bit0 -C0001_bit1 -C0001_bit2 -C0001_bit3 -C0001_bit4 -C0001_bit_1 -C0001_bit_2 -C0001_bit_3 -C0001_bit_4 -C0001_bit_5 -C0001_bit_6 -C0001_bit_7 -C0002_bit0 -C0002_bit1 -C0002_bit2 -C0002_bit3 -C0002_bit4 -C0002_bit_1 -C0002_bit_2 -C0002_bit_3 -C0002_bit_4 -C0002_bit_5 -C0002_bit_6 -C0002_bit_7 -C0003_bit0 -C0003_bit1 -C0003_bit2 -C0003_bit3 -C0003_bit4 -C0003_bit_1 -C0003_bit_2 -C0003_bit_3 -C0003_bit_4 -C0003_bit_5 -C0003_bit_6 -C0003_bit_7 -C0004_bit0 -C0004_bit1 -C0004_bit2 -C0004_bit3 C0004_bit4 -C0004_bit_1 -C0004_bit_2 -C0004_bit_3 -C0004_bit_4 -C0004_bit_5 -C0004_bit_6 -C0004_bit_7 -C0005_bit0 -C0005_bit1 -C0005_bit10 -C0005_bit11 -C0005_bit12 -C0005_bit13 -C0005_bit2 -C0005_bit3 -C0005_bit4 -C0005_bit5 -C0005_bit6 -C0005_bit7 -C0005_bit8 -C0005_bit9 -C0005_bit_1 -C0005_bit_2 -C0005_bit_3 -C0005_bit_4 -C0005_bit_5 -C0005_bit_6 -C0005_bit_7 -C0006_bit0 -C0006_bit1 -C0006_bit10 -C0006_bit11 -C0006_bit12 -C0006_bit13 -C0006_bit2 -C0006_bit3 -C0006_bit4 -C0006_bit5 -C0006_bit6 -C0006_bit7 -C0006_bit8 -C0006_bit9 -C0006_bit_1 -C0006_bit_2 -C0006_bit_3 -C0006_bit_4 -C0006_bit_5 -C0006_bit_6 -C0006_bit_7 -C0007_bit0 -C0007_bit1 -C0007_bit10 -C0007_bit11 -C0007_bit12 -C0007_bit13 -C0007_bit2 -C0007_bit3 -C0007_bit4 -C0007_bit5 -C0007_bit6 -C0007_bit7 -C0007_bit8 -C0007_bit9 -C0007_bit_1 -C0007_bit_2 -C0007_bit_3 -C0007_bit_4 -C0007_bit_5 -C0007_bit_6 -C0007_bit_7 -C0008_bit0 -C0008_bit1 -C0008_bit10 -C0008_bit11 -C0008_bit12 -C0008_bit13 -C0008_bit2 -C0008_bit3 -C0008_bit4 -C0008_bit5 -C0008_bit6 -C0008_bit7 -C0008_bit8 -C0008_bit9 -C0008_bit_1 -C0008_bit_2 -C0008_bit_3 -C0008_bit_4 -C0008_bit_5 -C0008_bit_6 -C0008_bit_7 -C0009_bit_1 -C0009_bit_2 -C0009_bit_3 -C0009_bit_4 -C0009_bit_5 -C0009_bit_6 -C0009_bit_7 -C0089_bit_1 -C0089_bit_2 -C0089_bit_3 -C0089_bit_4 -C0089_bit_5 -C0089_bit_6 -C0089_bit_7 -C0090_bit_1 -C0090_bit_2 -C0090_bit_3 -C0090_bit_4 -C0090_bit_5 -C0090_bit_6 -C0090_bit_7 -C0170_bit_1 -C0170_bit_2 -C0170_bit_3 -C0170_bit_4 -C0170_bit_5 -C0170_bit_6 -C0170_bit_7 -C0171_bit_1 -C0171_bit_2 -C0171_bit_3 -C0171_bit_4 -C0171_bit_5 -C0171_bit_6 -C0171_bit_7 -C0251_bit_1 -C0251_bit_2 -C0251_bit_3 -C0251_bit_4 -C0251_bit_5 -C0251_bit_6 -C0251_bit_7 -C0252_bit_1 -C0252_bit_2 -C0252_bit_3 -C0252_bit_4 -C0252_bit_5 -C0252_bit_6 -C0252_bit_7 -C0332_bit_1 -C0332_bit_2 -C0332_bit_3 -C0332_bit_4 -C0332_bit_5 -C0332_bit_6 -C0332_bit_7 -C0333_bit_1 -C0333_bit_2 -C0333_bit_3 -C0333_bit_4 -C0333_bit_5 -C0333_bit_6 -C0333_bit_7 -C0413_bit_1 -C0413_bit_2 -C0413_bit_3 -C0413_bit_4 -C0413_bit_5 -C0413_bit_6 -C0413_bit_7 -C0414_bit_1 -C0414_bit_2 -C0414_bit_3 -C0414_bit_4 -C0414_bit_5 -C0414_bit_6 -C0414_bit_7 -C0494_bit_1 -C0494_bit_2 -C0494_bit_3 -C0494_bit_4 -C0494_bit_5 -C0494_bit_6 -C0494_bit_7 -C0495_bit_1 -C0495_bit_2 -C0495_bit_3 -C0495_bit_4 -C0495_bit_5 -C0495_bit_6 -C0495_bit_7 -C0575_bit_1 -C0575_bit_2 -C0575_bit_3 -C0575_bit_4 -C0575_bit_5 -C0575_bit_6 -C0575_bit_7 -C0576_bit_1 -C0576_bit_2 -C0576_bit_3 -C0576_bit_4 -C0576_bit_5 -C0576_bit_6 -C0576_bit_7 -C0656_bit_1 -C0656_bit_2 -C0656_bit_3 -C0656_bit_4 -C0656_bit_5 -C0656_bit_6 -C0656_bit_7 -C0657_bit_1 -C0657_bit_2 -C0657_bit_3 -C0657_bit_4 -C0657_bit_5 -C0657_bit_6 -C0657_bit_7 -C0737_bit_1 -C0737_bit_2 -C0737_bit_3 -C0737_bit_4 -C0737_bit_5 -C0737_bit_6 -C0737_bit_7 -C0738_bit_1 -C0738_bit_2 -C0738_bit_3 -C0738_bit_4 -C0738_bit_5 -C0738_bit_6 -C0738_bit_7 -C0818_bit_1 -C0818_bit_2 -C0818_bit_3 -C0818_bit_4 -C0818_bit_5 -C0818_bit_6 -C0818_bit_7 -C0819_bit_1 -C0819_bit_2 -C0819_bit_3 -C0819_bit_4 C0819_bit_5 -C0819_bit_6 -C0819_bit_7 C0820_bit0 C0820_bit1 C0820_bit10 C0820_bit11 C0820_bit12 -C0820_bit2 C0820_bit3 C0820_bit4 -C0820_bit5 C0820_bit6 -C0820_bit7 -C0820_bit8 C0820_bit9 C0820_bit_1 C0820_bit_2 C0820_bit_3 -C0820_bit_4 -C0820_bit_5 -C0820_bit_6 C0820_bit_7 -C0821_bit0 -C0821_bit1 C0821_bit10 -C0821_bit11 C0821_bit12 -C0821_bit2 -C0821_bit3 -C0821_bit4 -C0821_bit5 -C0821_bit6 C0821_bit7 C0821_bit8 C0821_bit9 -C0821_bit_1 C0821_bit_2 C0821_bit_3 -C0821_bit_4 -C0821_bit_5 C0821_bit_6 -C0821_bit_7 C0822_bit0 -C0822_bit1 C0822_bit10 -C0822_bit11 C0822_bit12 -C0822_bit2 -C0822_bit3 C0822_bit4 -C0822_bit5 C0822_bit6 C0822_bit7 C0822_bit8 -C0822_bit9 C0822_bit_1 C0822_bit_2 C0822_bit_3 -C0822_bit_4 C0822_bit_5 -C0822_bit_6 -C0822_bit_7 C0823_bit0 -C0823_bit1 -C0823_bit10 -C0823_bit11 -C0823_bit12 C0823_bit2 C0823_bit3 C0823_bit4 -C0823_bit5 C0823_bit6 -C0823_bit7 C0823_bit8 -C0823_bit9 C0823_bit_1 -C0823_bit_2 -C0823_bit_3 C0823_bit_4 C0823_bit_5 -C0823_bit_6 -C0823_bit_7 C0824_bit0 C0824_bit1 C0824_bit10 -C0824_bit11 C0824_bit12 C0824_bit2 C0824_bit3 C0824_bit4 C0824_bit5 -C0824_bit6 C0824_bit7 C0824_bit8 -C0824_bit9 C0824_bit_1 -C0824_bit_2 -C0824_bit_3 C0824_bit_4 -C0824_bit_5 C0824_bit_6 -C0824_bit_7 C0825_bit0 C0825_bit1 C0825_bit10 C0825_bit11 -C0825_bit12 C0825_bit2 -C0825_bit3 C0825_bit4 C0825_bit5 C0825_bit6 C0825_bit7 -C0825_bit8 C0825_bit9 C0825_bit_1 -C0825_bit_2 C0825_bit_3 -C0825_bit_4 -C0825_bit_5 -C0825_bit_6 C0825_bit_7 -C0826_bit0 C0826_bit1 -C0826_bit10 -C0826_bit11 C0826_bit12 -C0826_bit2 C0826_bit3 -C0826_bit4 C0826_bit5 -C0826_bit6 -C0826_bit7 -C0826_bit8 C0826_bit9 C0826_bit_1 C0826_bit_2 -C0826_bit_3 C0826_bit_4 -C0826_bit_5 C0826_bit_6 C0826_bit_7 -C0827_bit0 -C0827_bit1 -C0827_bit10 C0827_bit11 -C0827_bit12 -C0827_bit2 C0827_bit3 C0827_bit4 -C0827_bit5 -C0827_bit6 C0827_bit7 -C0827_bit8 C0827_bit9 -C0827_bit_1 -C0827_bit_2 -C0827_bit_3 C0827_bit_4 C0827_bit_5 -C0827_bit_6 -C0827_bit_7 -C0828_bit0 C0828_bit1 C0828_bit10 C0828_bit11 -C0828_bit12 -C0828_bit2 C0828_bit3 -C0828_bit4 -C0828_bit5 C0828_bit6 C0828_bit7 -C0828_bit8 C0828_bit9 -C0828_bit_1 C0828_bit_2 -C0828_bit_3 C0828_bit_4 -C0828_bit_5 -C0828_bit_6 C0828_bit_7 -C0829_bit0 -C0829_bit1 -C0829_bit10 -C0829_bit11 -C0829_bit12 C0829_bit2 C0829_bit3 C0829_bit4 C0829_bit5 C0829_bit6 -C0829_bit7 -C0829_bit8 -C0829_bit9 -C0829_bit_1 -C0829_bit_2 -C0829_bit_3 -C0829_bit_4 -C0829_bit_5 -C0829_bit_6 -C0829_bit_7 -C0830_bit0 -C0830_bit1 -C0830_bit10 C0830_bit11 C0830_bit12 C0830_bit2 C0830_bit3 C0830_bit4 -C0830_bit5 -C0830_bit6 C0830_bit7 C0830_bit8 -C0830_bit9 -C0830_bit_1 -C0830_bit_2 -C0830_bit_3 C0830_bit_4 C0830_bit_5 C0830_bit_6 -C0830_bit_7 C0831_bit0 C0831_bit1 -C0831_bit10 C0831_bit11 -C0831_bit12 -C0831_bit2 -C0831_bit3 C0831_bit4 -C0831_bit5 C0831_bit6 C0831_bit7 -C0831_bit8 -C0831_bit9 -C0831_bit_1 -C0831_bit_2 -C0831_bit_3 -C0831_bit_4 C0831_bit_5 C0831_bit_6 C0831_bit_7 C0832_bit0 -C0832_bit1 -C0832_bit10 C0832_bit11 -C0832_bit12 -C0832_bit2 C0832_bit3 C0832_bit4 -C0832_bit5 C0832_bit6 -C0832_bit7 -C0832_bit8 -C0832_bit9 -C0832_bit_1 -C0832_bit_2 -C0832_bit_3 C0832_bit_4 -C0832_bit_5 C0832_bit_6 -C0832_bit_7 -C0833_bit0 C0833_bit1 C0833_bit10 C0833_bit11 -C0833_bit12 C0833_bit2 C0833_bit3 -C0833_bit4 -C0833_bit5 -C0833_bit6 -C0833_bit7 -C0833_bit8 -C0833_bit9 -C0833_bit_1 C0833_bit_2 C0833_bit_3 C0833_bit_4 C0833_bit_5 -C0833_bit_6 C0833_bit_7 -C0834_bit0 -C0834_bit1 -C0834_bit10 -C0834_bit11 -C0834_bit12 C0834_bit2 C0834_bit3 -C0834_bit4 C0834_bit5 C0834_bit6 C0834_bit7 C0834_bit8 -C0834_bit9 C0834_bit_1 -C0834_bit_2 -C0834_bit_3 -C0834_bit_4 C0834_bit_5 -C0834_bit_6 -C0834_bit_7 C0835_bit0 C0835_bit1 -C0835_bit10 C0835_bit11 -C0835_bit12 C0835_bit2 C0835_bit3 C0835_bit4 -C0835_bit5 -C0835_bit6 C0835_bit7 C0835_bit8 -C0835_bit9 C0835_bit_1 C0835_bit_2 C0835_bit_3 C0835_bit_4 C0835_bit_5 C0835_bit_6 -C0835_bit_7 C0836_bit0 C0836_bit1 -C0836_bit10 -C0836_bit11 -C0836_bit12 -C0836_bit2 C0836_bit3 C0836_bit4 C0836_bit5 C0836_bit6 -C0836_bit7 -C0836_bit8 C0836_bit9 C0836_bit_1 -C0836_bit_2 -C0836_bit_3 C0836_bit_4 -C0836_bit_5 C0836_bit_6 C0836_bit_7 -C0837_bit0 -C0837_bit1 C0837_bit10 -C0837_bit11 -C0837_bit12 C0837_bit2 -C0837_bit3 C0837_bit4 -C0837_bit5 C0837_bit6 -C0837_bit7 -C0837_bit8 C0837_bit9 -C0837_bit_1 C0837_bit_2 C0837_bit_3 C0837_bit_4 -C0837_bit_5 -C0837_bit_6 -C0837_bit_7 -C0838_bit0 -C0838_bit1 -C0838_bit10 -C0838_bit11 C0838_bit12 C0838_bit2 C0838_bit3 C0838_bit4 C0838_bit5 C0838_bit6 -C0838_bit7 C0838_bit8 C0838_bit9 -C0838_bit_1 -C0838_bit_2 C0838_bit_3 C0838_bit_4 -C0838_bit_5 C0838_bit_6 -C0838_bit_7 C0839_bit0 -C0839_bit1 -C0839_bit10 -C0839_bit11 C0839_bit12 -C0839_bit2 C0839_bit3 -C0839_bit4 C0839_bit5 C0839_bit6 C0839_bit7 -C0839_bit8 -C0839_bit9 C0839_bit_1 C0839_bit_2 -C0839_bit_3 -C0839_bit_4 -C0839_bit_5 -C0839_bit_6 C0839_bit_7 C0840_bit0 C0840_bit1 C0840_bit10 -C0840_bit11 C0840_bit12 -C0840_bit2 -C0840_bit3 C0840_bit4 -C0840_bit5 -C0840_bit6 -C0840_bit7 -C0840_bit8 -C0840_bit9 C0840_bit_1 C0840_bit_2 -C0840_bit_3 -C0840_bit_4 C0840_bit_5 -C0840_bit_6 C0840_bit_7 -C0841_bit0 C0841_bit1 C0841_bit10 C0841_bit11 C0841_bit12 C0841_bit2 C0841_bit3 C0841_bit4 C0841_bit5 C0841_bit6 C0841_bit7 C0841_bit8 -C0841_bit9 -C0841_bit_1 -C0841_bit_2 C0841_bit_3 C0841_bit_4 C0841_bit_5 -C0841_bit_6 C0841_bit_7 C0842_bit0 -C0842_bit1 -C0842_bit10 C0842_bit11 C0842_bit12 -C0842_bit2 -C0842_bit3 -C0842_bit4 -C0842_bit5 C0842_bit6 -C0842_bit7 -C0842_bit8 C0842_bit9 C0842_bit_1 -C0842_bit_2 C0842_bit_3 C0842_bit_4 C0842_bit_5 -C0842_bit_6 C0842_bit_7 C0843_bit0 -C0843_bit1 -C0843_bit10 -C0843_bit11 -C0843_bit12 C0843_bit2 -C0843_bit3 C0843_bit4 -C0843_bit5 C0843_bit6 -C0843_bit7 C0843_bit8 C0843_bit9 -C0843_bit_1 C0843_bit_2 C0843_bit_3 -C0843_bit_4 C0843_bit_5 -C0843_bit_6 C0843_bit_7 C0844_bit0 C0844_bit1 -C0844_bit10 C0844_bit11 C0844_bit12 C0844_bit2 -C0844_bit3 C0844_bit4 -C0844_bit5 -C0844_bit6 -C0844_bit7 C0844_bit8 -C0844_bit9 C0844_bit_1 C0844_bit_2 C0844_bit_3 -C0844_bit_4 -C0844_bit_5 -C0844_bit_6 C0844_bit_7 -C0845_bit0 -C0845_bit1 -C0845_bit10 C0845_bit11 -C0845_bit12 C0845_bit2 C0845_bit3 C0845_bit4 C0845_bit5 C0845_bit6 C0845_bit7 -C0845_bit8 -C0845_bit9 C0845_bit_1 -C0845_bit_2 -C0845_bit_3 -C0845_bit_4 C0845_bit_5 C0845_bit_6 -C0845_bit_7 C0846_bit0 C0846_bit1 C0846_bit10 C0846_bit11 C0846_bit12 -C0846_bit2 -C0846_bit3 -C0846_bit4 -C0846_bit5 C0846_bit6 C0846_bit7 C0846_bit8 C0846_bit9 -C0846_bit_1 C0846_bit_2 -C0846_bit_3 -C0846_bit_4 C0846_bit_5 -C0846_bit_6 -C0846_bit_7 C0847_bit0 -C0847_bit1 C0847_bit10 C0847_bit11 -C0847_bit12 -C0847_bit2 C0847_bit3 C0847_bit4 C0847_bit5 C0847_bit6 -C0847_bit7 -C0847_bit8 C0847_bit9 -C0847_bit_1 -C0847_bit_2 C0847_bit_3 C0847_bit_4 -C0847_bit_5 C0847_bit_6 C0847_bit_7 -C0848_bit0 -C0848_bit1 C0848_bit10 C0848_bit11 -C0848_bit12 -C0848_bit2 -C0848_bit3 -C0848_bit4 C0848_bit5 -C0848_bit6 C0848_bit7 C0848_bit8 -C0848_bit9 C0848_bit_1 C0848_bit_2 C0848_bit_3 C0848_bit_4 C0848_bit_5 C0848_bit_6 -C0848_bit_7 -C0849_bit0 C0849_bit1 -C0849_bit10 C0849_bit11 -C0849_bit12 -C0849_bit2 -C0849_bit3 -C0849_bit4 -C0849_bit5 -C0849_bit6 -C0849_bit7 -C0849_bit8 -C0849_bit9 -C0849_bit_1 C0849_bit_2 -C0849_bit_3 C0849_bit_4 -C0849_bit_5 -C0849_bit_6 -C0849_bit_7 C0850_bit0 -C0850_bit1 -C0850_bit10 -C0850_bit11 C0850_bit12 C0850_bit2 -C0850_bit3 -C0850_bit4 -C0850_bit5 -C0850_bit6 C0850_bit7 C0850_bit8 -C0850_bit9 -C0850_bit_1 C0850_bit_2 C0850_bit_3 C0850_bit_4 -C0850_bit_5 -C0850_bit_6 C0850_bit_7 C0851_bit0 -C0851_bit1 C0851_bit10 -C0851_bit11 -C0851_bit12 -C0851_bit2 -C0851_bit3 C0851_bit4 -C0851_bit5 C0851_bit6 -C0851_bit7 C0851_bit8 C0851_bit9 -C0851_bit_1 -C0851_bit_2 C0851_bit_3 C0851_bit_4 -C0851_bit_5 -C0851_bit_6 -C0851_bit_7 -C0852_bit0 C0852_bit1 -C0852_bit10 -C0852_bit11 -C0852_bit12 C0852_bit2 -C0852_bit3 C0852_bit4 -C0852_bit5 -C0852_bit6 -C0852_bit7 -C0852_bit8 C0852_bit9 -C0852_bit_1 -C0852_bit_2 C0852_bit_3 -C0852_bit_4 -C0852_bit_5 -C0852_bit_6 C0852_bit_7 C0853_bit0 -C0853_bit1 -C0853_bit10 C0853_bit11 -C0853_bit12 C0853_bit2 C0853_bit3 -C0853_bit4 -C0853_bit5 -C0853_bit6 -C0853_bit7 -C0853_bit8 -C0853_bit9 -C0853_bit_1 C0853_bit_2 C0853_bit_3 -C0853_bit_4 C0853_bit_5 C0853_bit_6 C0853_bit_7 C0854_bit0 C0854_bit1 C0854_bit10 -C0854_bit11 C0854_bit12 C0854_bit2 -C0854_bit3 -C0854_bit4 -C0854_bit5 -C0854_bit6 C0854_bit7 C0854_bit8 C0854_bit9 C0854_bit_1 C0854_bit_2 -C0854_bit_3 -C0854_bit_4 -C0854_bit_5 C0854_bit_6 -C0854_bit_7 C0855_bit0 -C0855_bit1 -C0855_bit10 -C0855_bit11 -C0855_bit12 -C0855_bit2 -C0855_bit3 -C0855_bit4 C0855_bit5 -C0855_bit6 C0855_bit7 -C0855_bit8 C0855_bit9 -C0855_bit_1 -C0855_bit_2 C0855_bit_3 C0855_bit_4 -C0855_bit_5 -C0855_bit_6 C0855_bit_7 -C0856_bit0 -C0856_bit1 C0856_bit10 -C0856_bit11 C0856_bit12 C0856_bit2 -C0856_bit3 C0856_bit4 -C0856_bit5 -C0856_bit6 -C0856_bit7 -C0856_bit8 C0856_bit9 C0856_bit_1 -C0856_bit_2 -C0856_bit_3 -C0856_bit_4 C0856_bit_5 C0856_bit_6 C0856_bit_7 -C0857_bit0 C0857_bit1 C0857_bit10 C0857_bit11 -C0857_bit12 -C0857_bit2 C0857_bit3 C0857_bit4 C0857_bit5 C0857_bit6 C0857_bit7 -C0857_bit8 -C0857_bit9 -C0857_bit_1 C0857_bit_2 -C0857_bit_3 -C0857_bit_4 C0857_bit_5 -C0857_bit_6 -C0857_bit_7 C0858_bit0 C0858_bit1 C0858_bit10 -C0858_bit11 -C0858_bit12 -C0858_bit2 -C0858_bit3 -C0858_bit4 -C0858_bit5 -C0858_bit6 C0858_bit7 C0858_bit8 C0858_bit9 -C0858_bit_1 -C0858_bit_2 -C0858_bit_3 -C0858_bit_4 C0858_bit_5 C0858_bit_6 -C0858_bit_7 C0859_bit0 C0859_bit1 C0859_bit10 C0859_bit11 -C0859_bit12 C0859_bit2 -C0859_bit3 C0859_bit4 -C0859_bit5 C0859_bit6 C0859_bit7 C0859_bit8 C0859_bit9 -C0859_bit_1 -C0859_bit_2 C0859_bit_3 C0859_bit_4 -C0859_bit_5 -C0859_bit_6 C0859_bit_7 -C0860_bit0 C0860_bit1 C0860_bit10 C0860_bit11 -C0860_bit12 C0860_bit2 C0860_bit3 C0860_bit4 -C0860_bit5 C0860_bit6 -C0860_bit7 C0860_bit8 C0860_bit9 C0860_bit_1 C0860_bit_2 C0860_bit_3 -C0860_bit_4 -C0860_bit_5 C0860_bit_6 C0860_bit_7 -C0861_bit0 -C0861_bit1 -C0861_bit10 C0861_bit11 C0861_bit12 -C0861_bit2 -C0861_bit3 C0861_bit4 C0861_bit5 -C0861_bit6 C0861_bit7 -C0861_bit8 C0861_bit9 C0861_bit_1 -C0861_bit_2 -C0861_bit_3 -C0861_bit_4 -C0861_bit_5 -C0861_bit_6 -C0861_bit_7 -C0862_bit0 C0862_bit1 -C0862_bit10 C0862_bit11 -C0862_bit12 -C0862_bit2 -C0862_bit3 -C0862_bit4 -C0862_bit5 -C0862_bit6 C0862_bit7 -C0862_bit8 C0862_bit9 -C0862_bit_1 C0862_bit_2 -C0862_bit_3 C0862_bit_4 C0862_bit_5 -C0862_bit_6 -C0862_bit_7 C0863_bit0 -C0863_bit1 -C0863_bit10 -C0863_bit11 C0863_bit12 C0863_bit2 C0863_bit3 -C0863_bit4 -C0863_bit5 C0863_bit6 C0863_bit7 C0863_bit8 -C0863_bit9 C0863_bit_1 C0863_bit_2 -C0863_bit_3 -C0863_bit_4 C0863_bit_5 C0863_bit_6 -C0863_bit_7 C0864_bit0 C0864_bit1 -C0864_bit10 C0864_bit11 -C0864_bit12 C0864_bit2 C0864_bit3 C0864_bit4 C0864_bit5 C0864_bit6 -C0864_bit7 -C0864_bit8 -C0864_bit9 C0864_bit_1 -C0864_bit_2 C0864_bit_3 C0864_bit_4 -C0864_bit_5 -C0864_bit_6 C0864_bit_7 C0865_bit0 -C0865_bit1 C0865_bit10 -C0865_bit11 C0865_bit12 C0865_bit2 C0865_bit3 -C0865_bit4 C0865_bit5 C0865_bit6 C0865_bit7 -C0865_bit8 -C0865_bit9 C0865_bit_1 -C0865_bit_2 -C0865_bit_3 C0865_bit_4 -C0865_bit_5 C0865_bit_6 C0865_bit_7 -C0866_bit0 C0866_bit1 -C0866_bit10 C0866_bit11 -C0866_bit12 C0866_bit2 C0866_bit3 -C0866_bit4 -C0866_bit5 -C0866_bit6 -C0866_bit7 -C0866_bit8 -C0866_bit9 C0866_bit_1 C0866_bit_2 C0866_bit_3 -C0866_bit_4 -C0866_bit_5 -C0866_bit_6 -C0866_bit_7 C0867_bit0 -C0867_bit1 C0867_bit10 -C0867_bit11 C0867_bit12 C0867_bit2 C0867_bit3 -C0867_bit4 -C0867_bit5 C0867_bit6 C0867_bit7 C0867_bit8 C0867_bit9 C0867_bit_1 C0867_bit_2 C0867_bit_3 -C0867_bit_4 -C0867_bit_5 C0867_bit_6 -C0867_bit_7 -C0868_bit0 -C0868_bit1 C0868_bit10 C0868_bit11 C0868_bit12 -C0868_bit2 -C0868_bit3 -C0868_bit4 C0868_bit5 C0868_bit6 -C0868_bit7 -C0868_bit8 C0868_bit9 C0868_bit_1 C0868_bit_2 -C0868_bit_3 C0868_bit_4 -C0868_bit_5 -C0868_bit_6 C0868_bit_7 C0869_bit0 C0869_bit1 C0869_bit10 C0869_bit11 C0869_bit12 C0869_bit2 -C0869_bit3 -C0869_bit4 -C0869_bit5 C0869_bit6 -C0869_bit7 C0869_bit8 C0869_bit9 C0869_bit_1 -C0869_bit_2 -C0869_bit_3 -C0869_bit_4 C0869_bit_5 C0869_bit_6 C0869_bit_7 C0870_bit0 -C0870_bit1 C0870_bit10 C0870_bit11 C0870_bit12 C0870_bit2 C0870_bit3 C0870_bit4 -C0870_bit5 C0870_bit6 -C0870_bit7 C0870_bit8 C0870_bit9 -C0870_bit_1 -C0870_bit_2 C0870_bit_3 C0870_bit_4 C0870_bit_5 -C0870_bit_6 -C0870_bit_7 C0871_bit0 C0871_bit1 C0871_bit10 C0871_bit11 C0871_bit12 C0871_bit2 C0871_bit3 -C0871_bit4 C0871_bit5 -C0871_bit6 C0871_bit7 -C0871_bit8 -C0871_bit9 C0871_bit_1 C0871_bit_2 -C0871_bit_3 C0871_bit_4 -C0871_bit_5 -C0871_bit_6 C0871_bit_7 C0872_bit0 C0872_bit1 C0872_bit10 -C0872_bit11 -C0872_bit12 C0872_bit2 -C0872_bit3 C0872_bit4 C0872_bit5 -C0872_bit6 -C0872_bit7 -C0872_bit8 C0872_bit9 C0872_bit_1 C0872_bit_2 C0872_bit_3 C0872_bit_4 C0872_bit_5 C0872_bit_6 C0872_bit_7 C0873_bit0 C0873_bit1 C0873_bit10 -C0873_bit11 C0873_bit12 C0873_bit2 -C0873_bit3 C0873_bit4 C0873_bit5 -C0873_bit6 C0873_bit7 C0873_bit8 C0873_bit9 -C0873_bit_1 -C0873_bit_2 -C0873_bit_3 C0873_bit_4 C0873_bit_5 C0873_bit_6 -C0873_bit_7 -C0874_bit0 -C0874_bit1 C0874_bit10 -C0874_bit11 -C0874_bit12 C0874_bit2 C0874_bit3 C0874_bit4 -C0874_bit5 -C0874_bit6 -C0874_bit7 C0874_bit8 C0874_bit9 C0874_bit_1 C0874_bit_2 C0874_bit_3 -C0874_bit_4 C0874_bit_5 C0874_bit_6 C0874_bit_7 C0875_bit0 C0875_bit1 -C0875_bit10 C0875_bit11 -C0875_bit12 C0875_bit2 C0875_bit3 C0875_bit4 C0875_bit5 -C0875_bit6 -C0875_bit7 C0875_bit8 C0875_bit9 -C0875_bit_1 C0875_bit_2 -C0875_bit_3 C0875_bit_4 C0875_bit_5 C0875_bit_6 -C0875_bit_7 -C0876_bit0 C0876_bit1 -C0876_bit10 -C0876_bit11 C0876_bit12 -C0876_bit2 C0876_bit3 C0876_bit4 -C0876_bit5 -C0876_bit6 -C0876_bit7 C0876_bit8 -C0876_bit9 -C0876_bit_1 -C0876_bit_2 C0876_bit_3 -C0876_bit_4 -C0876_bit_5 -C0876_bit_6 -C0876_bit_7 -C0877_bit0 C0877_bit1 C0877_bit10 -C0877_bit11 -C0877_bit12 -C0877_bit2 C0877_bit3 C0877_bit4 -C0877_bit5 -C0877_bit6 -C0877_bit7 C0877_bit8 C0877_bit9 C0877_bit_1 C0877_bit_2 -C0877_bit_3 -C0877_bit_4 C0877_bit_5 -C0877_bit_6 C0877_bit_7 C0878_bit0 C0878_bit1 C0878_bit10 -C0878_bit11 -C0878_bit12 C0878_bit2 C0878_bit3 -C0878_bit4 C0878_bit5 C0878_bit6 C0878_bit7 C0878_bit8 -C0878_bit9 C0878_bit_1 C0878_bit_2 C0878_bit_3 -C0878_bit_4 -C0878_bit_5 C0878_bit_6 -C0878_bit_7 -C0879_bit0 -C0879_bit1 -C0879_bit10 C0879_bit11 C0879_bit12 -C0879_bit2 C0879_bit3 C0879_bit4 -C0879_bit5 C0879_bit6 -C0879_bit7 -C0879_bit8 C0879_bit9 -C0879_bit_1 C0879_bit_2 -C0879_bit_3 -C0879_bit_4 -C0879_bit_5 -C0879_bit_6 -C0879_bit_7 C0880_bit0 -C0880_bit1 C0880_bit10 -C0880_bit11 -C0880_bit12 -C0880_bit2 C0880_bit3 -C0880_bit4 -C0880_bit5 -C0880_bit6 C0880_bit7 -C0880_bit8 -C0880_bit9 C0880_bit_1 -C0880_bit_2 -C0880_bit_3 -C0880_bit_4 -C0880_bit_5 C0880_bit_6 C0880_bit_7 -C0881_bit0 -C0881_bit1 C0881_bit10 C0881_bit11 C0881_bit12 -C0881_bit2 C0881_bit3 -C0881_bit4 C0881_bit5 -C0881_bit6 C0881_bit7 -C0881_bit8 C0881_bit9 -C0881_bit_1 C0881_bit_2 C0881_bit_3 -C0881_bit_4 -C0881_bit_5 -C0881_bit_6 C0881_bit_7 -C0882_bit0 C0882_bit1 -C0882_bit10 C0882_bit11 -C0882_bit12 -C0882_bit2 -C0882_bit3 C0882_bit4 -C0882_bit5 -C0882_bit6 C0882_bit7 -C0882_bit8 -C0882_bit9 C0882_bit_1 C0882_bit_2 C0882_bit_3 C0882_bit_4 -C0882_bit_5 C0882_bit_6 -C0882_bit_7 C0883_bit0 -C0883_bit1 C0883_bit10 -C0883_bit11 C0883_bit12 C0883_bit2 C0883_bit3 -C0883_bit4 C0883_bit5 -C0883_bit6 -C0883_bit7 C0883_bit8 -C0883_bit9 -C0883_bit_1 -C0883_bit_2 C0883_bit_3 C0883_bit_4 C0883_bit_5 -C0883_bit_6 -C0883_bit_7 C0884_bit0 C0884_bit1 C0884_bit10 -C0884_bit11 C0884_bit12 -C0884_bit2 -C0884_bit3 -C0884_bit4 C0884_bit5 C0884_bit6 -C0884_bit7 C0884_bit8 C0884_bit9 C0884_bit_1 -C0884_bit_2 C0884_bit_3 C0884_bit_4 -C0884_bit_5 -C0884_bit_6 -C0884_bit_7 C0885_bit0 C0885_bit1 -C0885_bit10 C0885_bit11 -C0885_bit12 -C0885_bit2 C0885_bit3 -C0885_bit4 -C0885_bit5 C0885_bit6 C0885_bit7 -C0885_bit8 -C0885_bit9 C0885_bit_1 -C0885_bit_2 -C0885_bit_3 -C0885_bit_4 -C0885_bit_5 -C0885_bit_6 -C0885_bit_7 -C0886_bit0 -C0886_bit1 -C0886_bit10 -C0886_bit11 -C0886_bit12 -C0886_bit2 C0886_bit3 -C0886_bit4 -C0886_bit5 -C0886_bit6 -C0886_bit7 -C0886_bit8 -C0886_bit9 -C0886_bit_1 -C0886_bit_2 -C0886_bit_3 C0886_bit_4 C0886_bit_5 C0886_bit_6 C0886_bit_7 C0887_bit0 -C0887_bit1 C0887_bit10 -C0887_bit11 C0887_bit12 -C0887_bit2 C0887_bit3 -C0887_bit4 C0887_bit5 C0887_bit6 -C0887_bit7 C0887_bit8 C0887_bit9 C0887_bit_1 C0887_bit_2 C0887_bit_3 C0887_bit_4 -C0887_bit_5 C0887_bit_6 C0887_bit_7 -C0888_bit0 C0888_bit1 -C0888_bit10 C0888_bit11 -C0888_bit12 C0888_bit2 -C0888_bit3 -C0888_bit4 -C0888_bit5 C0888_bit6 -C0888_bit7 -C0888_bit8 -C0888_bit9 C0888_bit_1 C0888_bit_2 C0888_bit_3 -C0888_bit_4 -C0888_bit_5 C0888_bit_6 C0888_bit_7 -C0889_bit0 C0889_bit1 -C0889_bit10 C0889_bit11 -C0889_bit12 -C0889_bit2 -C0889_bit3 C0889_bit4 -C0889_bit5 C0889_bit6 C0889_bit7 C0889_bit8 C0889_bit9 -C0889_bit_1 C0889_bit_2 C0889_bit_3 C0889_bit_4 C0889_bit_5 -C0889_bit_6 C0889_bit_7 -C0890_bit0 -C0890_bit1 -C0890_bit10 C0890_bit11 C0890_bit12 -C0890_bit2 -C0890_bit3 C0890_bit4 C0890_bit5 -C0890_bit6 C0890_bit7 -C0890_bit8 C0890_bit9 C0890_bit_1 C0890_bit_2 -C0890_bit_3 -C0890_bit_4 C0890_bit_5 -C0890_bit_6 C0890_bit_7 -C0891_bit0 -C0891_bit1 C0891_bit10 C0891_bit11 -C0891_bit12 C0891_bit2 C0891_bit3 C0891_bit4 C0891_bit5 -C0891_bit6 C0891_bit7 -C0891_bit8 C0891_bit9 -C0891_bit_1 -C0891_bit_2 C0891_bit_3 -C0891_bit_4 -C0891_bit_5 -C0891_bit_6 C0891_bit_7 -C0892_bit0 C0892_bit1 -C0892_bit10 C0892_bit11 -C0892_bit12 -C0892_bit2 -C0892_bit3 C0892_bit4 C0892_bit5 C0892_bit6 C0892_bit7 -C0892_bit8 C0892_bit9 -C0892_bit_1 -C0892_bit_2 -C0892_bit_3 -C0892_bit_4 C0892_bit_5 C0892_bit_6 -C0892_bit_7 C0893_bit0 -C0893_bit1 -C0893_bit10 C0893_bit11 C0893_bit12 -C0893_bit2 C0893_bit3 -C0893_bit4 -C0893_bit5 -C0893_bit6 C0893_bit7 C0893_bit8 -C0893_bit9 C0893_bit_1 -C0893_bit_2 C0893_bit_3 -C0893_bit_4 C0893_bit_5 -C0893_bit_6 -C0893_bit_7 -C0894_bit0 -C0894_bit1 C0894_bit10 -C0894_bit11 C0894_bit12 C0894_bit2 -C0894_bit3 C0894_bit4 C0894_bit5 -C0894_bit6 -C0894_bit7 C0894_bit8 C0894_bit9 -C0894_bit_1 C0894_bit_2 -C0894_bit_3 -C0894_bit_4 C0894_bit_5 C0894_bit_6 C0894_bit_7 -C0895_bit0 -C0895_bit1 C0895_bit10 -C0895_bit11 -C0895_bit12 C0895_bit2 -C0895_bit3 -C0895_bit4 -C0895_bit5 C0895_bit6 -C0895_bit7 C0895_bit8 C0895_bit9 -C0895_bit_1 -C0895_bit_2 C0895_bit_3 -C0895_bit_4 -C0895_bit_5 -C0895_bit_6 C0895_bit_7 -C0896_bit0 C0896_bit1 C0896_bit10 -C0896_bit11 C0896_bit12 -C0896_bit2 -C0896_bit3 C0896_bit4 C0896_bit5 -C0896_bit6 -C0896_bit7 C0896_bit8 C0896_bit9 C0896_bit_1 -C0896_bit_2 -C0896_bit_3 C0896_bit_4 -C0896_bit_5 -C0896_bit_6 -C0896_bit_7 -C0897_bit0 C0897_bit1 -C0897_bit10 -C0897_bit11 -C0897_bit12 -C0897_bit2 C0897_bit3 C0897_bit4 -C0897_bit5 C0897_bit6 C0897_bit7 -C0897_bit8 -C0897_bit9 C0897_bit_1 C0897_bit_2 C0897_bit_3 C0897_bit_4 C0897_bit_5 C0897_bit_6 -C0897_bit_7 C0898_bit0 C0898_bit1 -C0898_bit10 -C0898_bit11 -C0898_bit12 -C0898_bit2 C0898_bit3 -C0898_bit4 -C0898_bit5 C0898_bit6 -C0898_bit7 C0898_bit8 -C0898_bit9 C0898_bit_1 C0898_bit_2 -C0898_bit_3 -C0898_bit_4 -C0898_bit_5 C0898_bit_6 C0898_bit_7 -C0899_bit_1 -C0899_bit_2 -C0899_bit_3 -C0899_bit_4 C0899_bit_5 -C0899_bit_6 C0899_bit_7 -C0900_bit_1 -C0900_bit_2 -C0900_bit_3 -C0900_bit_4 -C0900_bit_5 -C0900_bit_6 -C0900_bit_7 -C0980_bit_1 -C0980_bit_2 -C0980_bit_3 -C0980_bit_4 -C0980_bit_5 -C0980_bit_6 -C0980_bit_7 -C0981_bit_1 -C0981_bit_2 -C0981_bit_3 -C0981_bit_4 -C0981_bit_5 -C0981_bit_6 -C0981_bit_7 -C1061_bit_1 -C1061_bit_2 -C1061_bit_3 -C1061_bit_4 -C1061_bit_5 -C1061_bit_6 -C1061_bit_7 -C1062_bit0 -C1063_bit0 -C1064_bit0 -C1065_bit0 -C1066_bit0 -C1067_bit0 -C1068_bit0 -C1069_bit0 -C1070_bit0 -C1071_bit0 -C1072_bit0 -C1073_bit0 -C1074_bit0 -C1075_bit0 -C1076_bit0 -C1077_bit0 -C1078_bit0 -C1079_bit0 -C1080_bit0 -C1081_bit0 -C1082_bit0 -C1083_bit0 -C1084_bit0 -C1085_bit0 -C1086_bit0 -C1087_bit0 -C1088_bit0 -C1089_bit0 -C1090_bit0 -C1091_bit0 -C1092_bit0 -C1093_bit0 -C1094_bit0 -C1095_bit0 -C1096_bit0 -C1097_bit0 -C1098_bit0 -C1099_bit0 -C1100_bit0 -C1101_bit0 -C1102_bit0 -C1103_bit0 -C1104_bit0 -C1105_bit0 -C1106_bit0 -C1107_bit0 -C1108_bit0 -C1109_bit0 -C1110_bit0 -C1111_bit0 -C1112_bit0 -C1113_bit0 -C1114_bit0 -C1115_bit0 -C1116_bit0 -C1117_bit0 -C1118_bit0 -C1119_bit0 -C1120_bit0 -C1121_bit0 -C1122_bit0 -C1123_bit0 -C1124_bit0 -C1125_bit0 -C1126_bit0 -C1127_bit0 -C1128_bit0 -C1129_bit0 -C1130_bit0 -C1131_bit0 -C1132_bit0 -C1133_bit0 -C1134_bit0 -C1135_bit0 -C1136_bit0 -C1137_bit0 -C1138_bit0 -C1139_bit0 -C1140_bit0 -C1141_bit0 -C1142_bit0 -C1143_bit0 -C1144_bit0 -C1145_bit0 -C1146_bit0 -C1147_bit0 -C1148_bit0 -C1149_bit0 -C1150_bit0 -C1151_bit0 -C1152_bit0 -C1153_bit0 -C1154_bit0 -C1155_bit0 -C1156_bit0 -C1157_bit0 -C1158_bit0 -C1159_bit0 -C1160_bit0 -C1161_bit0 -C1162_bit0 -C1163_bit0 -C1164_bit0 -C1165_bit0 -C1166_bit0 -C1167_bit0 -C1168_bit0 -C1169_bit0 -C1170_bit0 -C1171_bit0 -C1172_bit0 -C1173_bit0 -C1174_bit0 -C1175_bit0 -C1176_bit0 -C1177_bit0 -C1178_bit0 -C1179_bit0 -C1180_bit0 -C1181_bit0 -C1182_bit0 -C1183_bit0 -C1184_bit0 -C1185_bit0 -C1186_bit0 -C1187_bit0 -C1188_bit0 -C1189_bit0 -C1190_bit0 -C1191_bit0 -C1192_bit0 -C1193_bit0 -C1194_bit0 -C1195_bit0 -C1196_bit0 -C1197_bit0 -C1198_bit0 -C1199_bit0 -C1200_bit0 -C1201_bit0 -C1202_bit0 -C1203_bit0 -C1204_bit0 -C1205_bit0 -C1206_bit0 -C1207_bit0 -C1208_bit0 -C1209_bit0 -C1210_bit0 -C1211_bit0 -C1212_bit0 -C1213_bit0 -C1214_bit0 -C1215_bit0 -C1216_bit0 -C1217_bit0 -C1218_bit0 -C1219_bit0 -C1220_bit0 -C1221_bit0 -C1222_bit0 -C1223_bit0 -C1224_bit0 -C1225_bit0 -C1226_bit0 -C1227_bit0 -C1228_bit0 -C1229_bit0 -C1230_bit0 -C1231_bit0 -C1232_bit0 -C1233_bit0 -C1234_bit0 -C1235_bit0 -C1236_bit0 -C1237_bit0 -C1238_bit0 -C1239_bit0 -C1240_bit0 -C1241_bit0 -C1242_bit0 -C1243_bit0 -C1244_bit0 -C1245_bit0 -C1246_bit0 -C1247_bit0 -C1248_bit0 -C1249_bit0 -C1250_bit0 -C1251_bit0 -C1252_bit0 -C1253_bit0 -C1254_bit0 -C1255_bit0 -C1256_bit0 -C1257_bit0 -C1258_bit0 -C1259_bit0 -C1260_bit0 -C1261_bit0 -C1262_bit0 -C1263_bit0 -C1264_bit0 -C1265_bit0 -C1266_bit0 -C1267_bit0 -C1268_bit0 -C1269_bit0 -C1270_bit0 -C1271_bit0 -C1272_bit0 -C1273_bit0 -C1274_bit0 -C1275_bit0 -C1276_bit0 -C1277_bit0 -C1278_bit0 -C1279_bit0 -C1280_bit0 -C1281_bit0 -C1282_bit0 -C1283_bit0 -C1284_bit0 -C1285_bit0 -C1286_bit0 -C1287_bit0 -C1288_bit0 -C1289_bit0 -C1290_bit0 -C1291_bit0 -C1292_bit0 -C1293_bit0 -C1294_bit0 -C1295_bit0 -C1296_bit0 -C1297_bit0 -C1298_bit0 -C1299_bit0 -C1300_bit0 -C1301_bit0 -C1302_bit0 -C1303_bit0 -C1304_bit0 -C1305_bit0 -C1306_bit0 -C1307_bit0 -C1308_bit0 -C1309_bit0 -C1310_bit0 -C1311_bit0 -C1312_bit0 -C1313_bit0 -C1314_bit0 -C1315_bit0 -C1316_bit0 -C1317_bit0 -C1318_bit0 -C1319_bit0 -C1320_bit0 -C1321_bit0 -C1322_bit0 -C1323_bit0 -C1324_bit0 -C1325_bit0 -C1326_bit0 -C1327_bit0 -C1328_bit0 -C1329_bit0 -C1330_bit0 -C1331_bit0 -C1332_bit0 -C1333_bit0 -C1334_bit0 -C1335_bit0 -C1336_bit0 -C1337_bit0 -C1338_bit0 -C1339_bit0 -C1340_bit0 -C1341_bit0 -C1342_bit0 -C1343_bit0 -C1344_bit0 -C1345_bit0 -C1346_bit0 -C1347_bit0 -C1348_bit0 -C1349_bit0 -C1350_bit0 -C1351_bit0 -C1352_bit0 -C1353_bit0 -C1354_bit0 -C1355_bit0 -C1356_bit0 -C1357_bit0 -C1358_bit0 -C1359_bit0 -C1360_bit0 -C1361_bit0 -C1362_bit0 -C1363_bit0 -C1364_bit0 -C1365_bit0 -C1366_bit0 -C1367_bit0 -C1368_bit0 -C1369_bit0 -C1370_bit0 -C1371_bit0 -C1372_bit0 -C1373_bit0 -C1374_bit0 -C1375_bit0 -C1376_bit0 -C1377_bit0 -C1378_bit0 -C1379_bit0 -C1380_bit0 -C1381_bit0 -C1382_bit0 -C1383_bit0 -C1384_bit0 -C1385_bit0 -C1386_bit0 -C1387_bit0 -C1388_bit0 -C1389_bit0 -C1390_bit0 -C1391_bit0 -C1392_bit0 -C1393_bit0 -C1394_bit0 -C1395_bit0 -C1396_bit0 -C1397_bit0 -C1398_bit0 -C1399_bit0 -C1400_bit0 -C1401_bit0 -C1402_bit0 -C1403_bit0 -C1404_bit0 -C1405_bit0 -C1406_bit0 -C1407_bit0 -C1408_bit0 -C1409_bit0 -C1410_bit0 -C1411_bit0 -C1412_bit0 -C1413_bit0 -C1414_bit0 -C1415_bit0 -C1416_bit0 -C1417_bit0 -C1418_bit0 -C1419_bit0 -C1420_bit0 -C1421_bit0 -C1422_bit0 -C1423_bit0 -C1424_bit0 -C1425_bit0 -C1426_bit0 -C1427_bit0 -C1428_bit0 -C1429_bit0 -C1430_bit0 -C1431_bit0 -C1432_bit0 -C1433_bit0 -C1434_bit0 -C1435_bit0 -C1436_bit0 -C1437_bit0 -C1438_bit0 -C1439_bit0 -C1440_bit0 -C1441_bit0 -C1442_bit0 -C1443_bit0 -C1444_bit0 -C1445_bit0 -C1446_bit0 -C1447_bit0 -C1448_bit0 -C1449_bit0 -C1450_bit0 -C1451_bit0 -C1452_bit0 -C1453_bit0 -C1454_bit0 -C1455_bit0 -C1456_bit0 -C1457_bit0 -C1458_bit0 -C1459_bit0 -C1460_bit0 -C1461_bit0 -C1462_bit0 -C1463_bit0 -C1464_bit0 -C1465_bit0 -C1466_bit0 -C1467_bit0 -C1468_bit0 -C1469_bit0 -C1470_bit0 -C1471_bit0 -C1472_bit0 -C1473_bit0 -C1474_bit0 -C1475_bit0 -C1476_bit0 -C1477_bit0 -C1478_bit0 -C1479_bit0 -C1480_bit0 -C1481_bit0 -C1482_bit0 -C1483_bit0 -C1484_bit0 -C1485_bit0 -C1486_bit0 -C1487_bit0 -C1488_bit0 -C1489_bit0 -C1490_bit0 -C1491_bit0 -C1492_bit0 -C1493_bit0 -C1494_bit0 -C1495_bit0 -C1496_bit0 -C1497_bit0 -C1498_bit0 -C1499_bit0 -C1500_bit0 -C1501_bit0 -C1502_bit0 -C1503_bit0 -C1504_bit0 -C1505_bit0 -C1506_bit0 -C1507_bit0 -C1508_bit0 -C1509_bit0 -C1510_bit0 -C1511_bit0 -C1512_bit0 -C1513_bit0 -C1514_bit0 -C1515_bit0 -C1516_bit0 -C1517_bit0 -C1518_bit0 -C1519_bit0 -C1520_bit0 -C1521_bit0 -C1522_bit0 -C1523_bit0 -C1524_bit0 -C1525_bit0 -C1526_bit0 -C1527_bit0 -C1528_bit0 -C1529_bit0 -C1530_bit0 -C1531_bit0 -C1532_bit0 -C1533_bit0 -C1534_bit0 -C1535_bit0 -C1536_bit0 -C1537_bit0 -C1538_bit0 -C1539_bit0 -C1540_bit0 -C1541_bit0 -C1542_bit0 -C1543_bit0 -C1544_bit0 -C1545_bit0 -C1546_bit0 -C1547_bit0 -C1548_bit0 -C1549_bit0 -C1550_bit0 -C1551_bit0 -C1552_bit0 -C1553_bit0 -C1554_bit0 -C1555_bit0 -C1556_bit0 -C1557_bit0 -C1558_bit0 -C1559_bit0 -C1560_bit0 -C1561_bit0 -C1562_bit0 -C1563_bit0 -C1564_bit0 -C1565_bit0 -C1566_bit0 -C1567_bit0 -C1568_bit0 -C1569_bit0 -C1570_bit0 -C1571_bit0 -C1572_bit0 -C1573_bit0 -C1574_bit0 -C1575_bit0 -C1576_bit0 -C1577_bit0 -C1578_bit0 -C1579_bit0 -C1580_bit0 -C1581_bit0 -C1582_bit0 -C1583_bit0 -C1584_bit0 -C1585_bit0 -C1586_bit0 -C1587_bit0 -C1588_bit0 -C1589_bit0 -C1590_bit0 -C1591_bit0 -C1592_bit0 -C1593_bit0 -C1594_bit0 -C1595_bit0 -C1596_bit0 -C1597_bit0 -C1598_bit0 -C1599_bit0 -C1600_bit0 -C1601_bit0 -C1602_bit0 -C1603_bit0 -C1604_bit0 -C1605_bit0 -C1606_bit0 -C1607_bit0 -C1608_bit0 -C1609_bit0 -C1610_bit0 -C1611_bit0 -C1612_bit0 -C1613_bit0 -C1614_bit0 -C1615_bit0 -C1616_bit0 -C1617_bit0 -C1618_bit0 -C1619_bit0 -C1620_bit0 -C1621_bit0 -C1622_bit0 -C1623_bit0 -C1624_bit0 -C1625_bit0 -C1626_bit0 -C1627_bit0 -C1628_bit0 -C1629_bit0 -C1630_bit0 -C1631_bit0 -C1632_bit0 -C1633_bit0 -C1634_bit0 -C1635_bit0 -C1636_bit0 -C1637_bit0 -C1638_bit0 -C1639_bit0 -C1640_bit0 -C1641_bit0 -C1642_bit0 -C1643_bit0 -C1644_bit0 -C1645_bit0 -C1646_bit0 -C1647_bit0 -C1648_bit0 -C1649_bit0 -C1650_bit0 -C1651_bit0 -C1652_bit0 -C1653_bit0 -C1654_bit0 -C1655_bit0 -C1656_bit0 -C1657_bit0 -C1658_bit0 -C1659_bit0 -C1660_bit0 -C1661_bit0 -C1662_bit0 -C1663_bit0 -C1664_bit0 -C1665_bit0 -C1666_bit0 -C1667_bit0 -C1668_bit0 -C1669_bit0 -C1670_bit0 -C1671_bit0 -C1672_bit0 -C1673_bit0 -C1674_bit0 -C1675_bit0 -C1676_bit0 -C1677_bit0 -C1678_bit0 -C1679_bit0 -C1680_bit0 -C1681_bit0 -C1682_bit0 -C1683_bit0 -C1684_bit0 -C1685_bit0 -C1686_bit0 -C1687_bit0 -C1688_bit0 -C1689_bit0 -C1690_bit0 -C1691_bit0 -C1692_bit0 -C1693_bit0 -C1694_bit0 -C1695_bit0 -C1696_bit0 -C1697_bit0 -C1698_bit0 -C1699_bit0 -C1700_bit0 -C1701_bit0 -C1702_bit0 -C1703_bit0 -C1704_bit0 -C1705_bit0 -C1706_bit0 -C1707_bit0 -C1708_bit0 -C1709_bit0 -C1710_bit0 -C1711_bit0 -C1712_bit0 -C1713_bit0 -C1714_bit0 -C1715_bit0 -C1716_bit0 -C1717_bit0 -C1718_bit0 -C1719_bit0 -C1720_bit0 -C1721_bit0 -C1722_bit0 -C1723_bit0 -C1724_bit0 -C1725_bit0 -C1726_bit0 -C1727_bit0 -C1728_bit0 -C1729_bit0 -C1730_bit0 -C1731_bit0 -C1732_bit0 -C1733_bit0 -C1734_bit0 -C1735_bit0 -C1736_bit0 -C1737_bit0 -C1738_bit0 -C1739_bit0 -C1740_bit0 -C1741_bit0 -C1742_bit0 -C1743_bit0 -C1744_bit0 -C1745_bit0 -C1746_bit0 -C1747_bit0 -C1748_bit0 -C1749_bit0 -C1750_bit0 -C1751_bit0 -C1752_bit0 -C1753_bit0 -C1754_bit0 -C1755_bit0 -C1756_bit0 -C1757_bit0 -C1758_bit0 -C1759_bit0 -C1760_bit0 -C1761_bit0 -C1762_bit0 -C1763_bit0 -C1764_bit0 -C1765_bit0 -C1766_bit0 -C1767_bit0 -C1768_bit0 -C1769_bit0 -C1770_bit0 -C1771_bit0 -C1772_bit0 -C1773_bit0 -C1774_bit0 -C1775_bit0 -C1776_bit0 -C1777_bit0 -C1778_bit0 -C1779_bit0 -C1780_bit0 -C1781_bit0 -C1782_bit0 -C1783_bit0 -C1784_bit0 -C1785_bit0 -C1786_bit0 -C1787_bit0 -C1788_bit0 -C1789_bit0 -C1790_bit0 -C1791_bit0 -C1792_bit0 -C1793_bit0 -C1794_bit0 -C1795_bit0 -C1796_bit0 -C1797_bit0 -C1798_bit0 -C1799_bit0 -C1800_bit0 -C1801_bit0 -C1802_bit0 -C1803_bit0 -C1804_bit0 -C1805_bit0 -C1806_bit0 -C1807_bit0 -C1808_bit0 -C1809_bit0 -C1810_bit0 -C1811_bit0 -C1812_bit0 -C1813_bit0 -C1814_bit0 -C1815_bit0 -C1816_bit0 -C1817_bit0 -C1818_bit0 -C1819_bit0 -C1820_bit0 -C1821_bit0 -C1822_bit0 -C1823_bit0 -C1824_bit0 -C1825_bit0 -C1826_bit0 -C1827_bit0 -C1828_bit0 -C1829_bit0 -C1830_bit0 -C1831_bit0 -C1832_bit0 -C1833_bit0 -C1834_bit0 -C1835_bit0 -C1836_bit0 -C1837_bit0 -C1838_bit0 -C1839_bit0 -C1840_bit0 -C1841_bit0 -C1842_bit0 -C1843_bit0 -C1844_bit0 -C1845_bit0 -C1846_bit0 -C1847_bit0 -C1848_bit0 -C1849_bit0 -C1850_bit0 -C1851_bit0 -C1852_bit0 -C1853_bit0 -C1854_bit0 -C1855_bit0 -C1856_bit0 -C1857_bit0 -C1858_bit0 -C1859_bit0 -C1860_bit0 -C1861_bit0 -C1862_bit0 -C1863_bit0 -C1864_bit0 -C1865_bit0 -C1866_bit0 -C1867_bit0 -C1868_bit0 -C1869_bit0 -C1870_bit0 -C1871_bit0 -C1872_bit0 -C1873_bit0 -C1874_bit0 -C1875_bit0 -C1876_bit0 -C1877_bit0 -C1878_bit0 -C1879_bit0 -C1880_bit0 -C1881_bit0 -C1882_bit0 -C1883_bit0 -C1884_bit0 -C1885_bit0 -C1886_bit0 -C1887_bit0 -C1888_bit0 -C1889_bit0 -C1890_bit0 -C1891_bit0 -C1892_bit0 -C1893_bit0 -C1894_bit0 -C1895_bit0 -C1896_bit0 -C1897_bit0 -C1898_bit0 -C1899_bit0 -C1900_bit0 -C1901_bit0 -C1902_bit0 -C1903_bit0 -C1904_bit0 -C1905_bit0 -C1906_bit0 -C1907_bit0 -C1908_bit0 -C1909_bit0 -C1910_bit0 -C1911_bit0 -C1912_bit0 -C1913_bit0 -C1914_bit0 -C1915_bit0 -C1916_bit0 -C1917_bit0 -C1918_bit0 -C1919_bit0 -C1920_bit0 -C1921_bit0 -C1922_bit0 -C1923_bit0 -C1924_bit0 -C1925_bit0 -C1926_bit0 -C1927_bit0 -C1928_bit0 -C1929_bit0 -C1930_bit0 -C1931_bit0 -C1932_bit0 -C1933_bit0 -C1934_bit0 -C1935_bit0 -C1936_bit0 -C1937_bit0 -C1938_bit0 -C1939_bit0 -C1940_bit0 -C1941_bit0 -C1942_bit0 -C1943_bit0 -C1944_bit0 -C1945_bit0 -C1946_bit0 -C1947_bit0 -C1948_bit0 -C1949_bit0 -C1950_bit0 -C1951_bit0 -C1952_bit0 -C1953_bit0 -C1954_bit0 -C1955_bit0 -C1956_bit0 -C1957_bit0 -C1958_bit0 -C1959_bit0 -C1960_bit0 -C1961_bit0 -C1962_bit0 -C1963_bit0 -C1964_bit0 -C1965_bit0 -C1966_bit0 -C1967_bit0 -C1968_bit0 -C1969_bit0 -C1970_bit0 -C1971_bit0 -C1972_bit0 -C1973_bit0 -C1974_bit0 -C1975_bit0 -C1976_bit0 -C1977_bit0 -C1978_bit0 -C1979_bit0 -C1980_bit0 -C1981_bit0 -C1982_bit0 -C1983_bit0 -C1984_bit0 -C1985_bit0 -C1986_bit0 -C1987_bit0 -C1988_bit0 -C1989_bit0 -C1990_bit0 -C1991_bit0 -C1992_bit0 -C1993_bit0 -C1994_bit0 -C1995_bit0 -C1996_bit0 -C1997_bit0 -C1998_bit0 -C1999_bit0 -C2000_bit0 -C2001_bit0 -C2002_bit0 -C2003_bit0 -C2004_bit0 -C2005_bit0 -C2006_bit0 -C2007_bit0 -C2008_bit0 -C2009_bit0 -C2010_bit0 -C2011_bit0 -C2012_bit0 -C2013_bit0 -C2014_bit0 -C2015_bit0 -C2016_bit0 -C2017_bit0 -C2018_bit0 -C2019_bit0 -C2020_bit0 -C2021_bit0 -C2022_bit0 -C2023_bit0 -C2024_bit0 -C2025_bit0 -C2026_bit0 -C2027_bit0 -C2028_bit0 -C2029_bit0 -C2030_bit0 -C2031_bit0 -C2032_bit0 -C2033_bit0 -C2034_bit0 -C2035_bit0 -C2036_bit0 -C2037_bit0 -C2038_bit0 -C2039_bit0 -C2040_bit0 -C2041_bit0 -C2042_bit0 -C2043_bit0 -C2044_bit0 -C2045_bit0 -C2046_bit0 -C2047_bit0 -C2048_bit0 -C2049_bit0 -C2050_bit0 -C2051_bit0 -C2052_bit0 -C2053_bit0 -C2054_bit0 -C2055_bit0 -C2056_bit0 -C2057_bit0 -C2058_bit0 -C2059_bit0 -C2060_bit0 -C2061_bit0 -C2062_bit0 -C2063_bit0 -C2064_bit0 -C2065_bit0 -C2066_bit0 -C2067_bit0 -C2068_bit0 -C2069_bit0 -C2070_bit0 -C2071_bit0 -C2072_bit0 -C2073_bit0 -C2074_bit0 -C2075_bit0 -C2076_bit0 -C2077_bit0 -C2078_bit0 -C2079_bit0 -C2080_bit0 -C2081_bit0 -C2082_bit0 -C2083_bit0 -C2084_bit0 -C2085_bit0 -C2086_bit0 -C2087_bit0 -C2088_bit0 -C2089_bit0 -C2090_bit0 -C2091_bit0 -C2092_bit0 -C2093_bit0 -C2094_bit0 -C2095_bit0 -C2096_bit0 -C2097_bit0 -C2098_bit0 -C2099_bit0 -C2100_bit0 -C2101_bit0 
c Done, CPU Time=0.076988
#### 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.59 0.85 0.87 2/55 18085
Raw data (stat): 18085 (runsolver) R 18084 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 540187246 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 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+0.361248 s]
Raw data (loadavg): 0.59 0.85 0.87 1/54 18085
Raw data (stat): 18085 (runsolver) R 18084 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 540187246 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 0

Child status: 30
Real time (s): 0.360963
CPU time (s): 0.352945
CPU user time (s): 0.297954
CPU system time (s): 0.054991
CPU usage (%): 97.7787
Max. virtual memory (Kb): 1028
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	FAILED
ERROR: unsatisfied constraint on line 3179
#### END VERIFIER DATA ####