Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: minisat+ 1.14 | Signal | 35.6876 | 50.1317 |
Name | /OPT-BIGINT-LIN/sroussel/NG/ normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX180_K192_cod1.opb |
MD5SUM | 2a10ffb4379dcfb9c244e555ac5887ed |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -8044 |
Best CPU time to get the best result obtained on this benchmark | 1800.33 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 399113 |
Total number of constraints | 400980 |
Number of constraints which are clauses | 399002 |
Number of constraints which are cardinality constraints (but not clauses) | 1977 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 397089 |
Number of terms in the objective function | 272557 |
Biggest coefficient in the objective function | 1000 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 169387586 |
Number of bits of the sum of numbers in the objective function | 28 |
Biggest number in a constraint | 1000 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 169387586 |
Number of bits of the biggest sum of numbers | 28 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 13.89/13.95 c Converting 400980 PB-constraints to clauses... 13.99/14.04 c -- Unit propagations: (none) 13.99/14.07 c -- Detecting intervals from adjacent constraints: ################################################################################################################################################################################################## 14.09/14.10 c -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 14.49/14.55 c ---[400978]---> BDD-cost: 5 14.49/14.55 c ---[400976]---> BDD-cost: 7 14.49/14.55 c ---[342719]---> BDD-cost: 602 14.49/14.57 c ---[342717]---> BDD-cost: 607 14.58/14.60 c ---[342715]---> BDD-cost: 607 14.58/14.62 c ---[342713]---> BDD-cost: 607 14.58/14.64 c ---[342711]---> BDD-cost: 607 14.58/14.66 c ---[342709]---> BDD-cost: 607 14.58/14.68 c ---[342707]---> BDD-cost: 607 14.68/14.70 c ---[342705]---> BDD-cost: 607 14.68/14.73 c ---[342703]---> BDD-cost: 607 14.68/14.75 c ---[342701]---> BDD-cost: 607 14.68/14.77 c ---[342699]---> BDD-cost: 607 14.68/14.79 c ---[342697]---> BDD-cost: 607 14.78/14.81 c ---[342695]---> BDD-cost: 607 14.78/14.84 c ---[342693]---> BDD-cost: 607 14.78/14.86 c ---[342691]---> BDD-cost: 607 14.78/14.88 c ---[342689]---> BDD-cost: 607 14.88/14.90 c ---[342687]---> BDD-cost: 607 14.88/14.92 c ---[342685]---> BDD-cost: 607 14.88/14.95 c ---[342683]---> BDD-cost: 607 14.88/14.97 c ---[342681]---> BDD-cost: 607 14.88/14.99 c ---[342679]---> BDD-cost: 607 14.98/15.01 c ---[342677]---> BDD-cost: 607 14.98/15.03 c ---[342675]---> BDD-cost: 607 14.98/15.05 c ---[342673]---> BDD-cost: 607 14.98/15.08 c ---[342671]---> BDD-cost: 607 15.08/15.10 c ---[342669]---> BDD-cost: 607 15.08/15.12 c ---[342667]---> BDD-cost: 607 15.08/15.14 c ---[342665]---> BDD-cost: 607 15.08/15.16 c ---[342663]---> BDD-cost: 607 15.08/15.19 c ---[342661]---> BDD-cost: 607 15.18/15.21 c ---[342659]---> BDD-cost: 607 15.18/15.23 c ---[342657]---> BDD-cost: 607 15.18/15.25 c ---[342655]---> BDD-cost: 607 15.18/15.27 c ---[342653]---> BDD-cost: 607 15.18/15.29 c ---[342651]---> BDD-cost: 607 15.30/15.32 c ---[342649]---> BDD-cost: 607 15.30/15.34 c ---[342647]---> BDD-cost: 607 15.30/15.36 c ---[342645]---> BDD-cost: 607 15.30/15.38 c ---[342643]---> BDD-cost: 607 15.40/15.40 c ---[342641]---> BDD-cost: 607 15.40/15.43 c ---[342639]---> BDD-cost: 607 15.40/15.45 c ---[342637]---> BDD-cost: 607 15.40/15.47 c ---[342635]---> BDD-cost: 607 15.40/15.49 c ---[342633]---> BDD-cost: 607 15.49/15.51 c ---[342631]---> BDD-cost: 607 15.49/15.53 c ---[342629]---> BDD-cost: 607 15.49/15.56 c ---[342627]---> BDD-cost: 607 15.49/15.58 c ---[342625]---> BDD-cost: 607 15.59/15.60 c ---[342623]---> BDD-cost: 607 15.59/15.62 c ---[342621]---> BDD-cost: 607 15.59/15.64 c ---[342619]---> BDD-cost: 607 15.59/15.67 c ---[342617]---> BDD-cost: 607 15.59/15.69 c ---[342615]---> BDD-cost: 607 15.69/15.71 c ---[342613]---> BDD-cost: 607 15.69/15.73 c ---[342611]---> BDD-cost: 607 15.69/15.75 c ---[342609]---> BDD-cost: 607 15.79/15.82 c ---[342607]---> BDD-cost: 607 15.79/15.82 c ---[342605]---> BDD-cost: 607 15.79/15.82 c ---[342603]---> BDD-cost: 607 15.79/15.84 c ---[342601]---> BDD-cost: 607 15.79/15.86 c ---[342599]---> BDD-cost: 607 15.79/15.88 c ---[342597]---> BDD-cost: 607 15.89/15.91 c ---[342595]---> BDD-cost: 607 15.89/15.93 c ---[342593]---> BDD-cost: 607 15.89/15.95 c ---[342591]---> BDD-cost: 607 15.89/15.97 c ---[342589]---> BDD-cost: 607 15.89/15.99 c ---[342587]---> BDD-cost: 607 15.99/16.01 c ---[342585]---> BDD-cost: 607 15.99/16.04 c ---[342583]---> BDD-cost: 607 15.99/16.06 c ---[342581]---> BDD-cost: 607 15.99/16.08 c ---[342579]---> BDD-cost: 607 16.09/16.10 c ---[342577]---> BDD-cost: 607 16.09/16.13 c ---[342575]---> BDD-cost: 607 16.09/16.15 c ---[342573]---> BDD-cost: 607 16.09/16.17 c ---[342571]---> BDD-cost: 607 16.09/16.19 c ---[342569]---> BDD-cost: 607 16.19/16.21 c ---[342567]---> BDD-cost: 607 16.19/16.23 c ---[342565]---> BDD-cost: 607 16.19/16.26 c ---[342563]---> BDD-cost: 607 16.19/16.28 c ---[342561]---> BDD-cost: 607 16.29/16.30 c ---[342559]---> BDD-cost: 607 16.29/16.32 c ---[342557]---> BDD-cost: 607 16.29/16.34 c ---[342555]---> BDD-cost: 607 16.29/16.37 c ---[342553]---> BDD-cost: 607 16.29/16.39 c ---[342551]---> BDD-cost: 607 16.40/16.41 c ---[342549]---> BDD-cost: 607 16.40/16.43 c ---[342547]---> BDD-cost: 607 16.40/16.45 c ---[342545]---> BDD-cost: 607 16.40/16.47 c ---[342543]---> BDD-cost: 607 16.40/16.50 c ---[342541]---> BDD-cost: 607 16.50/16.52 c ---[342539]---> BDD-cost: 607 16.50/16.54 c ---[342537]---> BDD-cost: 607 16.50/16.56 c ---[342535]---> BDD-cost: 607 16.50/16.58 c ---[342533]---> BDD-cost: 607 16.59/16.61 c ---[342531]---> BDD-cost: 607 16.59/16.63 c ---[342529]---> BDD-cost: 607 16.59/16.65 c ---[342527]---> BDD-cost: 607 16.59/16.67 c ---[342525]---> BDD-cost: 607 16.59/16.69 c ---[342523]---> BDD-cost: 607 16.69/16.71 c ---[342521]---> BDD-cost: 607 16.69/16.74 c ---[342519]---> BDD-cost: 607 16.69/16.76 c ---[342517]---> BDD-cost: 607 16.69/16.78 c ---[342515]---> BDD-cost: 607 16.79/16.80 c ---[342513]---> BDD-cost: 607 16.79/16.82 c ---[342511]---> BDD-cost: 607 16.79/16.85 c ---[342509]---> BDD-cost: 607 16.79/16.87 c ---[342507]---> BDD-cost: 607 16.79/16.89 c ---[342505]---> BDD-cost: 607 16.89/16.91 c ---[342503]---> BDD-cost: 607 16.89/16.93 c ---[342501]---> BDD-cost: 607 16.89/16.95 c ---[342499]---> BDD-cost: 607 16.89/16.98 c ---[342497]---> BDD-cost: 607 16.99/17.00 c ---[342495]---> BDD-cost: 607 16.99/17.02 c ---[342493]---> BDD-cost: 607 16.99/17.04 c ---[342491]---> BDD-cost: 607 16.99/17.06 c ---[342489]---> BDD-cost: 607 16.99/17.09 c ---[342487]---> BDD-cost: 607 17.09/17.11 c ---[342485]---> BDD-cost: 607 17.09/17.13 c ---[342483]---> BDD-cost: 607 17.09/17.15 c ---[342481]---> BDD-cost: 607 17.09/17.17 c ---[342479]---> BDD-cost: 607 17.09/17.19 c ---[342477]---> BDD-cost: 607 17.19/17.22 c ---[342475]---> BDD-cost: 607 17.19/17.24 c ---[342473]---> BDD-cost: 607 17.19/17.26 c ---[342471]---> BDD-cost: 607 17.19/17.28 c ---[342469]---> BDD-cost: 607 17.29/17.30 c ---[342467]---> BDD-cost: 607 17.29/17.33 c ---[342465]---> BDD-cost: 607 17.29/17.35 c ---[342463]---> BDD-cost: 607 17.29/17.37 c ---[342461]---> BDD-cost: 607 17.29/17.39 c ---[342459]---> BDD-cost: 607 17.39/17.41 c ---[342457]---> BDD-cost: 607 17.39/17.43 c ---[342455]---> BDD-cost: 607 17.39/17.46 c ---[342453]---> BDD-cost: 607 17.39/17.48 c ---[342451]---> BDD-cost: 607 17.39/17.50 c ---[342449]---> BDD-cost: 607 17.50/17.52 c ---[342447]---> BDD-cost: 607 17.50/17.54 c ---[342445]---> BDD-cost: 607 17.69/17.76 c ---[342443]---> BDD-cost: 607 17.69/17.76 c ---[342441]---> BDD-cost: 607 17.69/17.76 c ---[342439]---> BDD-cost: 607 17.69/17.76 c ---[342437]---> BDD-cost: 607 17.69/17.76 c ---[342435]---> BDD-cost: 607 17.69/17.76 c ---[342433]---> BDD-cost: 607 17.69/17.76 c ---[342431]---> BDD-cost: 607 17.69/17.76 c ---[342429]---> BDD-cost: 607 17.69/17.76 c ---[342427]---> BDD-cost: 607 17.69/17.77 c ---[342425]---> BDD-cost: 607 17.69/17.79 c ---[342423]---> BDD-cost: 607 17.79/17.81 c ---[342421]---> BDD-cost: 607 17.79/17.83 c ---[342419]---> BDD-cost: 607 17.79/17.85 c ---[342417]---> BDD-cost: 607 17.79/17.88 c ---[342415]---> BDD-cost: 607 17.89/17.90 c ---[342413]---> BDD-cost: 607 17.89/17.92 c ---[342411]---> BDD-cost: 607 17.89/17.94 c ---[342409]---> BDD-cost: 607 17.89/17.96 c ---[342407]---> BDD-cost: 607 17.89/17.99 c ---[342405]---> BDD-cost: 607 17.99/18.01 c ---[342403]---> BDD-cost: 607 17.99/18.03 c ---[342401]---> BDD-cost: 607 17.99/18.05 c ---[342399]---> BDD-cost: 607 17.99/18.07 c ---[342397]---> BDD-cost: 607 17.99/18.09 c ---[342395]---> BDD-cost: 607 18.09/18.12 c ---[342393]---> BDD-cost: 607 18.09/18.14 c ---[342391]---> BDD-cost: 607 18.09/18.16 c ---[342389]---> BDD-cost: 607 18.09/18.18 c ---[342387]---> BDD-cost: 607 18.19/18.20 c ---[342385]---> BDD-cost: 607 18.19/18.23 c ---[342383]---> BDD-cost: 607 18.19/18.25 c ---[342381]---> BDD-cost: 607 18.19/18.27 c ---[342379]---> BDD-cost: 607 18.19/18.29 c ---[342377]---> BDD-cost: 607 18.29/18.31 c ---[342375]---> BDD-cost: 607 18.29/18.33 c ---[342373]---> BDD-cost: 607 18.29/18.36 c ---[342371]---> BDD-cost: 607 18.29/18.38 c ---[342369]---> BDD-cost: 607 18.39/18.40 c ---[342367]---> BDD-cost: 607 18.39/18.42 c ---[342365]---> BDD-cost: 607 18.39/18.44 c ---[342363]---> BDD-cost: 607 18.39/18.47 c ---[342361]---> BDD-cost: 607 18.39/18.49 c ---[342359]---> BDD-cost: 607 18.49/18.51 c ---[342357]---> BDD-cost: 607 18.49/18.53 c ---[342355]---> BDD-cost: 607 18.49/18.55 c ---[342353]---> BDD-cost: 607 18.49/18.58 c ---[342351]---> BDD-cost: 607 18.49/18.60 c ---[342349]---> BDD-cost: 607 18.60/18.62 c ---[342347]---> BDD-cost: 607 18.60/18.64 c ---[342345]---> BDD-cost: 607 18.60/18.66 c ---[342343]---> BDD-cost: 607 18.60/18.68 c ---[342341]---> BDD-cost: 607 18.70/18.71 c ---[342339]---> BDD-cost: 607 18.70/18.73 c ---[342337]---> BDD-cost: 600 18.70/18.75 c ---[342336]---> BDD-cost: 379 18.70/18.76 c ---[342335]---> BDD-cost: 379 18.70/18.77 c ---[342334]---> BDD-cost: 379 18.70/18.78 c ---[342333]---> BDD-cost: 379 18.70/18.79 c ---[342332]---> BDD-cost: 379 18.70/18.79 c ---[342331]---> BDD-cost: 379 18.79/18.80 c ---[342330]---> BDD-cost: 379 18.79/18.81 c ---[342329]---> BDD-cost: 379 18.79/18.82 c ---[342328]---> BDD-cost: 379 18.79/18.83 c ---[342327]---> BDD-cost: 379 18.79/18.84 c ---[342326]---> BDD-cost: 379 18.79/18.85 c ---[342325]---> BDD-cost: 379 18.79/18.86 c ---[342324]---> BDD-cost: 379 18.79/18.87 c ---[342323]---> BDD-cost: 379 18.79/18.87 c ---[342322]---> BDD-cost: 379 18.79/18.88 c ---[342321]---> BDD-cost: 379 18.79/18.89 c ---[342320]---> BDD-cost: 379 18.89/18.90 c ---[342319]---> BDD-cost: 379 18.89/18.91 c ---[342318]---> BDD-cost: 379 18.89/18.92 c ---[342317]---> BDD-cost: 379 18.89/18.93 c ---[342316]---> BDD-cost: 379 18.89/18.94 c ---[342315]---> BDD-cost: 379 18.89/18.95 c ---[342314]---> BDD-cost: 379 18.89/18.95 c ---[342313]---> BDD-cost: 379 18.89/18.96 c ---[342312]---> BDD-cost: 379 18.89/18.97 c ---[342311]---> BDD-cost: 379 18.89/18.98 c ---[342310]---> BDD-cost: 379 18.89/18.99 c ---[342309]---> BDD-cost: 379 18.99/19.00 c ---[342308]---> BDD-cost: 379 18.99/19.01 c ---[342307]---> BDD-cost: 379 18.99/19.02 c ---[342306]---> BDD-cost: 379 18.99/19.03 c ---[342305]---> BDD-cost: 379 18.99/19.03 c ---[342304]---> BDD-cost: 379 18.99/19.04 c ---[342303]---> BDD-cost: 379 18.99/19.05 c ---[342302]---> BDD-cost: 379 18.99/19.06 c ---[342301]---> BDD-cost: 379 18.99/19.07 c ---[342300]---> BDD-cost: 379 18.99/19.08 c ---[342299]---> BDD-cost: 379 18.99/19.09 c ---[342298]---> BDD-cost: 379 19.09/19.10 c ---[342297]---> BDD-cost: 379 19.09/19.11 c ---[342296]---> BDD-cost: 379 19.09/19.11 c ---[342295]---> BDD-cost: 379 19.09/19.12 c ---[342294]---> BDD-cost: 379 19.09/19.13 c ---[342293]---> BDD-cost: 379 19.09/19.14 c ---[342292]---> BDD-cost: 379 19.09/19.15 c ---[342291]---> BDD-cost: 379 19.09/19.16 c ---[342290]---> BDD-cost: 379 19.09/19.17 c ---[342289]---> BDD-cost: 379 19.09/19.18 c ---[342288]---> BDD-cost: 379 19.09/19.19 c ---[342287]---> BDD-cost: 379 19.09/19.19 c ---[342286]---> BDD-cost: 379 19.19/19.20 c ---[342285]---> BDD-cost: 379 19.19/19.21 c ---[342284]---> BDD-cost: 379 19.19/19.22 c ---[342283]---> BDD-cost: 379 19.19/19.23 c ---[342282]---> BDD-cost: 379 19.19/19.24 c ---[342281]---> BDD-cost: 379 19.19/19.25 c ---[342280]---> BDD-cost: 379 19.19/19.26 c ---[342279]---> BDD-cost: 379 19.19/19.27 c ---[342278]---> BDD-cost: 379 19.19/19.27 c ---[342277]---> BDD-cost: 379 19.19/19.28 c ---[342276]---> BDD-cost: 379 19.19/19.29 c ---[342275]---> BDD-cost: 379 19.29/19.30 c ---[342274]---> BDD-cost: 379 19.29/19.31 c ---[342273]---> BDD-cost: 379 19.29/19.32 c ---[342272]---> BDD-cost: 379 19.29/19.33 c ---[342271]---> BDD-cost: 379 19.29/19.34 c ---[342270]---> BDD-cost: 379 19.29/19.35 c ---[342269]---> BDD-cost: 379 19.29/19.35 c ---[342268]---> BDD-cost: 379 19.29/19.36 c ---[342267]---> BDD-cost: 379 19.29/19.37 c ---[342266]---> BDD-cost: 379 19.29/19.38 c ---[342265]---> BDD-cost: 379 19.29/19.39 c ---[342264]---> BDD-cost: 379 19.39/19.40 c ---[342263]---> BDD-cost: 379 19.39/19.41 c ---[342262]---> BDD-cost: 379 19.39/19.42 c ---[342261]---> BDD-cost: 379 19.39/19.43 c ---[342260]---> BDD-cost: 379 19.39/19.43 c ---[342259]---> BDD-cost: 379 19.39/19.44 c ---[342258]---> BDD-cost: 379 19.39/19.45 c ---[342257]---> BDD-cost: 379 19.39/19.46 c ---[342256]---> BDD-cost: 379 19.39/19.47 c ---[342255]---> BDD-cost: 379 19.39/19.48 c ---[342254]---> BDD-cost: 379 19.39/19.49 c ---[342253]---> BDD-cost: 379 19.49/19.50 c ---[342252]---> BDD-cost: 379 19.49/19.51 c ---[342251]---> BDD-cost: 379 19.49/19.51 c ---[342250]---> BDD-cost: 379 19.49/19.52 c ---[342249]---> BDD-cost: 379 19.49/19.53 c ---[342248]---> BDD-cost: 379 19.49/19.54 c ---[342247]---> BDD-cost: 379 19.49/19.55 c ---[342246]---> BDD-cost: 379 19.49/19.56 c ---[342245]---> BDD-cost: 379 19.49/19.57 c ---[342244]---> BDD-cost: 379 19.49/19.58 c ---[342243]---> BDD-cost: 379 19.49/19.59 c ---[342242]---> BDD-cost: 379 19.49/19.59 c ---[342241]---> BDD-cost: 379 19.59/19.60 c ---[342240]---> BDD-cost: 379 19.59/19.61 c ---[342239]---> BDD-cost: 379 19.59/19.62 c ---[342238]---> BDD-cost: 379 19.59/19.63 c ---[342237]---> BDD-cost: 379 19.59/19.64 c ---[342236]---> BDD-cost: 379 19.59/19.65 c ---[342235]---> BDD-cost: 379 19.59/19.66 c ---[342234]---> BDD-cost: 379 19.59/19.67 c ---[342233]---> BDD-cost: 379 19.59/19.67 c ---[342232]---> BDD-cost: 379 19.59/19.68 c ---[342231]---> BDD-cost: 379 19.59/19.69 c ---[342230]---> BDD-cost: 379 19.59/19.70 c ---[342229]---> BDD-cost: 379 19.70/19.71 c ---[342228]---> BDD-cost: 379 19.70/19.72 c ---[342227]---> BDD-cost: 379 19.70/19.73 c ---[342226]---> BDD-cost: 379 19.70/19.74 c ---[342225]---> BDD-cost: 379 19.70/19.75 c ---[342224]---> BDD-cost: 379 19.70/19.75 c ---[342223]---> BDD-cost: 379 19.70/19.76 c ---[342222]---> BDD-cost: 379 19.70/19.77 c ---[342221]---> BDD-cost: 379 19.70/19.78 c ---[342220]---> BDD-cost: 379 19.70/19.79 c ---[342219]---> BDD-cost: 379 19.70/19.80 c ---[342218]---> BDD-cost: 379 19.80/19.81 c ---[342217]---> BDD-cost: 379 19.80/19.82 c ---[342216]---> BDD-cost: 379 19.80/19.83 c ---[342215]---> BDD-cost: 379 19.80/19.83 c ---[342214]---> BDD-cost: 379 19.80/19.84 c ---[342213]---> BDD-cost: 379 19.80/19.85 c ---[342212]---> BDD-cost: 379 19.80/19.86 c ---[342211]---> BDD-cost: 379 19.80/19.87 c ---[342210]---> BDD-cost: 379 19.80/19.88 c ---[342209]---> BDD-cost: 379 19.80/19.89 c ---[342208]---> BDD-cost: 379 19.89/19.90 c ---[342207]---> BDD-cost: 379 19.89/19.91 c ---[342206]---> BDD-cost: 379 19.89/19.91 c ---[342205]---> BDD-cost: 379 19.89/19.92 c ---[342204]---> BDD-cost: 379 19.89/19.93 c ---[342203]---> BDD-cost: 379 19.89/19.94 c ---[342202]---> BDD-cost: 379 19.89/19.95 c ---[342201]---> BDD-cost: 379 19.89/19.96 c ---[342200]---> BDD-cost: 379 19.89/19.97 c ---[342199]---> BDD-cost: 379 19.89/19.99 c ---[342198]---> BDD-cost: 379 19.99/20.00 c ---[342197]---> BDD-cost: 379 19.99/20.01 c ---[342196]---> BDD-cost: 379 19.99/20.01 c ---[342195]---> BDD-cost: 379 19.99/20.02 c ---[342194]---> BDD-cost: 379 19.99/20.03 c ---[342193]---> BDD-cost: 379 19.99/20.04 c ---[342192]---> BDD-cost: 379 19.99/20.05 c ---[342191]---> BDD-cost: 379 19.99/20.06 c ---[342190]---> BDD-cost: 379 19.99/20.07 c ---[342189]---> BDD-cost: 379 19.99/20.08 c ---[342188]---> BDD-cost: 379 19.99/20.09 c ---[342187]---> BDD-cost: 379 19.99/20.09 c ---[342186]---> BDD-cost: 379 20.09/20.10 c ---[342185]---> BDD-cost: 379 20.09/20.11 c ---[342184]---> BDD-cost: 379 20.09/20.12 c ---[342183]---> BDD-cost: 379 20.09/20.13 c ---[342182]---> BDD-cost: 379 20.09/20.14 c ---[342181]---> BDD-cost: 379 20.09/20.15 c ---[342180]---> BDD-cost: 379 20.09/20.16 c ---[342179]---> BDD-cost: 379 20.09/20.17 c ---[342178]---> BDD-cost: 379 20.09/20.17 c ---[342177]---> BDD-cost: 379 20.09/20.18 c ---[342176]---> BDD-cost: 379 20.09/20.19 c ---[342175]---> BDD-cost: 379 20.19/20.20 c ---[342174]---> BDD-cost: 379 20.19/20.21 c ---[342173]---> BDD-cost: 379 20.19/20.22 c ---[342172]---> BDD-cost: 379 20.19/20.23 c ---[342171]---> BDD-cost: 379 20.19/20.24 c ---[342170]---> BDD-cost: 379 20.19/20.25 c ---[342169]---> BDD-cost: 379 20.19/20.25 c ---[342168]---> BDD-cost: 379 20.19/20.26 c ---[342167]---> BDD-cost: 379 20.19/20.27 c ---[342166]---> BDD-cost: 379 20.19/20.28 c ---[342165]---> BDD-cost: 379 20.19/20.29 c ---[342164]---> BDD-cost: 379 20.29/20.30 c ---[342163]---> BDD-cost: 379 20.29/20.31 c ---[342162]---> BDD-cost: 379 20.29/20.32 c ---[342161]---> BDD-cost: 379 20.29/20.33 c ---[342160]---> BDD-cost: 379 20.29/20.33 c ---[342159]---> BDD-cost: 379 20.29/20.34 c ---[342158]---> BDD-cost: 379 20.29/20.35 c ---[342157]---> BDD-cost: 379 20.29/20.36 c ---[342156]---> BDD-cost: 379 20.29/20.37 c ---[342155]---> BDD-cost: 379 20.29/20.38 c ---[342154]---> BDD-cost: 379 20.29/20.39 c ---[342153]---> BDD-cost: 379 20.39/20.40 c ---[342152]---> BDD-cost: 379 20.39/20.41 c ---[342151]---> BDD-cost: 379 20.39/20.41 c ---[342150]---> BDD-cost: 379 20.39/20.42 c ---[342149]---> BDD-cost: 379 20.39/20.43 c ---[342148]---> BDD-cost: 379 20.39/20.44 c ---[342147]---> BDD-cost: 379 20.39/20.45 c ---[342146]---> BDD-cost: 379 20.39/20.46 c ---[342145]---> BDD-cost: 379 20.39/20.47 c ---[342144]---> BDD-cost: 379 20.39/20.48 c ---[342143]---> BDD-cost: 379 20.39/20.49 c ---[342142]---> BDD-cost: 379 20.39/20.50 c ---[342141]---> BDD-cost: 379 20.49/20.50 c ---[342140]---> BDD-cost: 379 20.49/20.51 c ---[342139]---> BDD-cost: 379 20.49/20.52 c ---[342138]---> BDD-cost: 379 20.49/20.53 c ---[342137]---> BDD-cost: 379 20.49/20.54 c ---[342136]---> BDD-cost: 379 20.49/20.55 c ---[342135]---> BDD-cost: 379 20.49/20.56 c ---[342134]---> BDD-cost: 379 20.49/20.57 c ---[342133]---> BDD-cost: 379 20.49/20.58 c ---[342132]---> BDD-cost: 379 20.49/20.58 c ---[342131]---> BDD-cost: 379 20.49/20.59 c ---[342130]---> BDD-cost: 379 20.59/20.60 c ---[342129]---> BDD-cost: 379 20.59/20.61 c ---[342128]---> BDD-cost: 379 20.59/20.62 c ---[342127]---> BDD-cost: 379 20.59/20.63 c ---[342126]---> BDD-cost: 379 20.59/20.64 c ---[342125]---> BDD-cost: 379 20.59/20.65 c ---[342124]---> BDD-cost: 379 20.59/20.66 c ---[342123]---> BDD-cost: 379 20.59/20.66 c ---[342122]---> BDD-cost: 379 20.59/20.67 c ---[342121]---> BDD-cost: 379 20.59/20.68 c ---[342120]---> BDD-cost: 379 20.59/20.69 c ---[342119]---> BDD-cost: 379 20.69/20.70 c ---[342118]---> BDD-cost: 379 20.69/20.71 c ---[342117]---> BDD-cost: 379 20.69/20.72 c ---[342116]---> BDD-cost: 379 20.69/20.73 c ---[342115]---> BDD-cost: 379 20.69/20.74 c ---[342114]---> BDD-cost: 379 20.69/20.74 c ---[342113]---> BDD-cost: 379 20.69/20.75 c ---[342112]---> BDD-cost: 379 20.69/20.76 c ---[342111]---> BDD-cost: 379 20.69/20.77 c ---[342110]---> BDD-cost: 379 20.69/20.78 c ---[342109]---> BDD-cost: 379 20.69/20.79 c ---[342108]---> BDD-cost: 379 20.69/20.80 c ---[342107]---> BDD-cost: 379 20.79/20.81 c ---[342106]---> BDD-cost: 379 20.79/20.82 c ---[342105]---> BDD-cost: 379 20.79/20.82 c ---[342104]---> BDD-cost: 379 20.79/20.83 c ---[342103]---> BDD-cost: 379 20.79/20.84 c ---[342102]---> BDD-cost: 379 20.79/20.85 c ---[342101]---> BDD-cost: 379 20.79/20.86 c ---[342100]---> BDD-cost: 379 20.79/20.87 c ---[342099]---> BDD-cost: 379 20.79/20.88 c ---[342098]---> BDD-cost: 379 20.79/20.89 c ---[342097]---> BDD-cost: 379 20.79/20.90 c ---[342096]---> BDD-cost: 379 20.89/20.90 c ---[342095]---> BDD-cost: 379 20.89/20.91 c ---[342094]---> BDD-cost: 379 20.89/20.92 c ---[342093]---> BDD-cost: 379 20.89/20.93 c ---[342092]---> BDD-cost: 379 20.89/20.94 c ---[342091]---> BDD-cost: 379 20.89/20.95 c ---[342090]---> BDD-cost: 379 20.89/20.96 c ---[342089]---> BDD-cost: 379 20.89/20.97 c ---[342088]---> BDD-cost: 379 20.89/20.98 c ---[342087]---> BDD-cost: 379 20.89/20.98 c ---[342086]---> BDD-cost: 379 20.89/20.99 c ---[342085]---> BDD-cost: 379 20.99/21.00 c ---[342084]---> BDD-cost: 379 20.99/21.01 c ---[342083]---> BDD-cost: 379 20.99/21.02 c ---[342082]---> BDD-cost: 379 20.99/21.03 c ---[342081]---> BDD-cost: 379 20.99/21.04 c ---[342080]---> BDD-cost: 379 20.99/21.05 c ---[342079]---> BDD-cost: 379 20.99/21.06 c ---[342078]---> BDD-cost: 379 20.99/21.06 c ---[342077]---> BDD-cost: 379 20.99/21.07 c ---[342076]---> BDD-cost: 379 20.99/21.08 c ---[342075]---> BDD-cost: 379 20.99/21.09 c ---[342074]---> BDD-cost: 379 21.09/21.10 c ---[342073]---> BDD-cost: 379 21.09/21.11 c ---[342072]---> BDD-cost: 379 21.09/21.12 c ---[342071]---> BDD-cost: 379 21.09/21.13 c ---[342070]---> BDD-cost: 379 21.09/21.14 c ---[342069]---> BDD-cost: 379 21.09/21.15 c ---[342068]---> BDD-cost: 379 21.09/21.15 c ---[342067]---> BDD-cost: 379 21.09/21.16 c ---[342066]---> BDD-cost: 379 21.09/21.17 c ---[342065]---> BDD-cost: 379 21.09/21.18 c ---[342064]---> BDD-cost: 379 21.09/21.19 c ---[342063]---> BDD-cost: 379 21.19/21.20 c ---[342062]---> BDD-cost: 379 21.19/21.21 c ---[342061]---> BDD-cost: 379 21.19/21.22 c ---[342060]---> BDD-cost: 379 21.19/21.23 c ---[342059]---> BDD-cost: 379 21.19/21.23 c ---[342058]---> BDD-cost: 379 21.19/21.24 c ---[342057]---> BDD-cost: 379 21.19/21.25 c ---[342056]---> BDD-cost: 379 21.19/21.26 c ---[342055]---> BDD-cost: 379 21.19/21.27 c ---[342054]---> BDD-cost: 379 21.19/21.28 c ---[342053]---> BDD-cost: 379 21.19/21.29 c ---[342052]---> BDD-cost: 379 21.29/21.30 c ---[342051]---> BDD-cost: 379 21.29/21.31 c ---[342050]---> BDD-cost: 379 21.29/21.31 c ---[342049]---> BDD-cost: 379 21.29/21.32 c ---[342048]---> BDD-cost: 379 21.29/21.33 c ---[342047]---> BDD-cost: 379 21.29/21.34 c ---[342046]---> BDD-cost: 379 21.29/21.35 c ---[342045]---> BDD-cost: 379 21.29/21.36 c ---[342044]---> BDD-cost: 379 21.29/21.37 c ---[342043]---> BDD-cost: 379 21.29/21.38 c ---[342042]---> BDD-cost: 379 21.29/21.39 c ---[342041]---> BDD-cost: 379 21.29/21.39 c ---[342040]---> BDD-cost: 379 21.39/21.40 c ---[342039]---> BDD-cost: 379 21.39/21.41 c ---[342038]---> BDD-cost: 379 21.39/21.42 c ---[342037]---> BDD-cost: 379 21.39/21.43 c ---[342036]---> BDD-cost: 379 21.39/21.44 c ---[342035]---> BDD-cost: 379 21.39/21.45 c ---[342034]---> BDD-cost: 379 21.39/21.46 c ---[342033]---> BDD-cost: 379 21.39/21.47 c ---[342032]---> BDD-cost: 379 21.39/21.47 c ---[342031]---> BDD-cost: 379 21.39/21.48 c ---[342030]---> BDD-cost: 379 21.39/21.49 c ---[342029]---> BDD-cost: 379 21.49/21.50 c ---[342028]---> BDD-cost: 379 21.49/21.51 c ---[342027]---> BDD-cost: 379 21.49/21.52 c ---[342026]---> BDD-cost: 379 21.49/21.53 c ---[342025]---> BDD-cost: 379 21.49/21.54 c ---[342024]---> BDD-cost: 379 21.49/21.55 c ---[342023]---> BDD-cost: 379 21.49/21.55 c ---[342022]---> BDD-cost: 379 21.49/21.56 c ---[342021]---> BDD-cost: 379 21.49/21.57 c ---[342020]---> BDD-cost: 379 21.49/21.58 c ---[342019]---> BDD-cost: 379 21.49/21.59 c ---[342018]---> BDD-cost: 379 21.59/21.60 c ---[342017]---> BDD-cost: 379 21.59/21.61 c ---[342016]---> BDD-cost: 379 21.59/21.62 c ---[342015]---> BDD-cost: 379 21.59/21.63 c ---[342014]---> BDD-cost: 379 21.59/21.64 c ---[342013]---> BDD-cost: 379 21.59/21.64 c ---[342012]---> BDD-cost: 379 21.59/21.65 c ---[342011]---> BDD-cost: 379 21.59/21.66 c ---[342010]---> BDD-cost: 379 21.59/21.67 c ---[342009]---> BDD-cost: 379 21.59/21.68 c ---[342008]---> BDD-cost: 379 21.59/21.69 c ---[342007]---> BDD-cost: 379 21.69/21.70 c ---[342006]---> BDD-cost: 379 21.69/21.71 c ---[342005]---> BDD-cost: 379 21.69/21.72 c ---[342004]---> BDD-cost: 379 21.69/21.72 c ---[342003]---> BDD-cost: 379 21.69/21.73 c ---[342002]---> BDD-cost: 379 21.69/21.74 c ---[342001]---> BDD-cost: 379 21.69/21.75 c ---[342000]---> BDD-cost: 379 21.69/21.76 c ---[341999]---> BDD-cost: 379 21.69/21.77 c ---[341998]---> BDD-cost: 379 21.69/21.78 c ---[341997]---> BDD-cost: 379 21.69/21.79 c ---[341996]---> BDD-cost: 379 21.79/21.80 c ---[341995]---> BDD-cost: 379 21.79/21.80 c ---[341994]---> BDD-cost: 379 21.79/21.81 c ---[341993]---> BDD-cost: 379 21.79/21.82 c ---[341992]---> BDD-cost: 379 21.79/21.83 c ---[341991]---> BDD-cost: 379 21.79/21.84 c ---[341990]---> BDD-cost: 379 21.79/21.85 c ---[341989]---> BDD-cost: 379 21.79/21.86 c ---[341988]---> BDD-cost: 379 21.79/21.87 c ---[341987]---> BDD-cost: 379 21.79/21.88 c ---[341986]---> BDD-cost: 379 21.79/21.88 c ---[341985]---> BDD-cost: 379 21.79/21.89 c ---[341984]---> BDD-cost: 379 21.89/21.90 c ---[341983]---> BDD-cost: 379 21.89/21.91 c ---[341982]---> BDD-cost: 379 21.89/21.92 c ---[341981]---> BDD-cost: 379 21.89/21.93 c ---[341980]---> BDD-cost: 379 21.89/21.94 c ---[341979]---> BDD-cost: 379 21.89/21.95 c ---[341978]---> BDD-cost: 379 21.89/21.96 c ---[341977]---> BDD-cost: 379 21.89/21.97 c ---[341976]---> BDD-cost: 379 21.89/21.97 c ---[341975]---> BDD-cost: 379 21.89/21.98 c ---[341974]---> BDD-cost: 379 21.89/21.99 c ---[341973]---> BDD-cost: 379 21.89/22.00 c ---[341972]---> BDD-cost: 379 21.99/22.01 c ---[341971]---> BDD-cost: 379 21.99/22.02 c ---[341970]---> BDD-cost: 379 21.99/22.03 c ---[341969]---> BDD-cost: 379 21.99/22.04 c ---[341968]---> BDD-cost: 379 21.99/22.05 c ---[341967]---> BDD-cost: 379 21.99/22.05 c ---[341966]---> BDD-cost: 379 21.99/22.06 c ---[341965]---> BDD-cost: 379 21.99/22.07 c ---[341964]---> BDD-cost: 379 21.99/22.08 c ---[341963]---> BDD-cost: 379 21.99/22.09 c ---[341962]---> BDD-cost: 379 22.08/22.10 c ---[341961]---> BDD-cost: 379 22.08/22.11 c ---[341960]---> BDD-cost: 379 22.08/22.12 c ---[341959]---> BDD-cost: 379 22.08/22.13 c ---[341958]---> BDD-cost: 379 22.08/22.13 c ---[341957]---> BDD-cost: 379 22.08/22.14 c ---[341956]---> BDD-cost: 379 22.08/22.15 c ---[341955]---> BDD-cost: 379 22.08/22.16 c ---[341954]---> BDD-cost: 379 22.08/22.17 c ---[341953]---> BDD-cost: 379 22.08/22.18 c ---[341952]---> BDD-cost: 379 22.08/22.19 c ---[341951]---> BDD-cost: 379 22.18/22.20 c ---[341950]---> BDD-cost: 379 22.18/22.21 c ---[341949]---> BDD-cost: 379 22.18/22.22 c ---[341948]---> BDD-cost: 379 22.18/22.22 c ---[341947]---> BDD-cost: 379 22.18/22.23 c ---[341946]---> BDD-cost: 379 22.18/22.24 c ---[341945]---> BDD-cost: 379 22.18/22.25 c ---[341944]---> BDD-cost: 379 22.18/22.26 c ---[341943]---> BDD-cost: 379 22.18/22.27 c ---[341942]---> BDD-cost: 379 22.18/22.28 c ---[341941]---> BDD-cost: 379 22.18/22.29 c ---[341940]---> BDD-cost: 379 22.18/22.30 c ---[341939]---> BDD-cost: 379 22.28/22.30 c ---[341938]---> BDD-cost: 379 22.28/22.31 c ---[341937]---> BDD-cost: 379 22.28/22.32 c ---[341936]---> BDD-cost: 379 22.28/22.33 c ---[341935]---> BDD-cost: 379 22.28/22.34 c ---[341934]---> BDD-cost: 379 22.28/22.35 c ---[341933]---> BDD-cost: 379 22.28/22.36 c ---[341932]---> BDD-cost: 379 22.28/22.37 c ---[341931]---> BDD-cost: 379 22.28/22.38 c ---[341930]---> BDD-cost: 379 22.28/22.38 c ---[341929]---> BDD-cost: 379 22.28/22.39 c ---[341928]---> BDD-cost: 379 22.38/22.40 c ---[341927]---> BDD-cost: 379 22.38/22.41 c ---[341926]---> BDD-cost: 379 22.38/22.42 c ---[341925]---> BDD-cost: 379 22.38/22.43 c ---[341924]---> BDD-cost: 379 22.38/22.44 c ---[341923]---> BDD-cost: 379 22.38/22.45 c ---[341922]---> BDD-cost: 379 22.38/22.46 c ---[341921]---> BDD-cost: 379 22.38/22.46 c ---[341920]---> BDD-cost: 379 22.38/22.47 c ---[341919]---> BDD-cost: 379 22.38/22.48 c ---[341918]---> BDD-cost: 379 22.38/22.49 c ---[341917]---> BDD-cost: 379 22.48/22.50 c ---[341916]---> BDD-cost: 379 22.48/22.51 c ---[341915]---> BDD-cost: 379 22.48/22.52 c ---[341914]---> BDD-cost: 379 22.48/22.53 c ---[341913]---> BDD-cost: 379 22.48/22.54 c ---[341912]---> BDD-cost: 379 22.48/22.55 c ---[341911]---> BDD-cost: 379 22.48/22.55 c ---[341910]---> BDD-cost: 379 22.48/22.56 c ---[341909]---> BDD-cost: 379 22.48/22.57 c ---[341908]---> BDD-cost: 379 22.48/22.58 c ---[341907]---> BDD-cost: 379 22.48/22.59 c ---[341906]---> BDD-cost: 379 22.58/22.60 c ---[341905]---> BDD-cost: 379 22.58/22.61 c ---[341904]---> BDD-cost: 379 22.58/22.62 c ---[341903]---> BDD-cost: 379 22.58/22.63 c ---[341902]---> BDD-cost: 379 22.58/22.63 c ---[341901]---> BDD-cost: 379 22.58/22.64 c ---[341900]---> BDD-cost: 379 22.58/22.65 c ---[341899]---> BDD-cost: 379 22.58/22.66 c ---[341898]---> BDD-cost: 379 22.58/22.67 c ---[341897]---> BDD-cost: 379 22.58/22.68 c ---[341896]---> BDD-cost: 379 22.58/22.69 c ---[341895]---> BDD-cost: 379 22.68/22.70 c ---[341894]---> BDD-cost: 379 22.68/22.71 c ---[341893]---> BDD-cost: 379 22.68/22.71 c ---[341892]---> BDD-cost: 379 22.68/22.72 c ---[341891]---> BDD-cost: 379 22.68/22.73 c ---[341890]---> BDD-cost: 379 22.68/22.74 c ---[341889]---> BDD-cost: 379 22.68/22.75 c ---[341888]---> BDD-cost: 379 22.68/22.76 c ---[341887]---> BDD-cost: 379 22.68/22.77 c ---[341886]---> BDD-cost: 379 22.68/22.78 c ---[341885]---> BDD-cost: 379 22.68/22.79 c ---[341884]---> BDD-cost: 379 22.68/22.80 c ---[341883]---> BDD-cost: 379 22.78/22.80 c ---[341882]---> BDD-cost: 379 22.78/22.81 c ---[341881]---> BDD-cost: 379 22.78/22.82 c ---[341880]---> BDD-cost: 379 22.78/22.83 c ---[341879]---> BDD-cost: 379 22.78/22.84 c ---[341878]---> BDD-cost: 379 22.78/22.85 c ---[341877]---> BDD-cost: 379 22.78/22.86 c ---[341876]---> BDD-cost: 379 22.78/22.87 c ---[341875]---> BDD-cost: 379 22.78/22.88 c ---[341874]---> BDD-cost: 379 22.78/22.88 c ---[341873]---> BDD-cost: 379 22.78/22.89 c ---[341872]---> BDD-cost: 379 22.88/22.90 c ---[341871]---> BDD-cost: 379 22.88/22.91 c ---[341870]---> BDD-cost: 379 22.88/22.92 c ---[341869]---> BDD-cost: 379 22.88/22.93 c ---[341868]---> BDD-cost: 379 22.88/22.94 c ---[341867]---> BDD-cost: 379 22.88/22.95 c ---[341866]---> BDD-cost: 379 22.88/22.96 c ---[341865]---> BDD-cost: 379 22.88/22.96 c ---[341864]---> BDD-cost: 379 22.88/22.97 c ---[341863]---> BDD-cost: 379 22.88/22.98 c ---[341862]---> BDD-cost: 379 22.88/22.99 c ---[341861]---> BDD-cost: 379 22.88/23.00 c ---[341860]---> BDD-cost: 379 22.99/23.01 c ---[341859]---> BDD-cost: 379 22.99/23.02 c ---[341858]---> BDD-cost: 379 22.99/23.03 c ---[341857]---> BDD-cost: 379 22.99/23.04 c ---[341856]---> BDD-cost: 379 22.99/23.05 c ---[341855]---> BDD-cost: 379 22.99/23.05 c ---[341854]---> BDD-cost: 379 22.99/23.06 c ---[341853]---> BDD-cost: 379 22.99/23.07 c ---[341852]---> BDD-cost: 379 22.99/23.08 c ---[341851]---> BDD-cost: 379 22.99/23.09 c ---[341850]---> BDD-cost: 379 22.99/23.10 c ---[341849]---> BDD-cost: 379 23.09/23.11 c ---[341848]---> BDD-cost: 379 23.09/23.12 c ---[341847]---> BDD-cost: 379 23.09/23.13 c ---[341846]---> BDD-cost: 379 23.09/23.13 c ---[341845]---> BDD-cost: 379 23.09/23.14 c ---[341844]---> BDD-cost: 379 23.09/23.15 c ---[341843]---> BDD-cost: 379 23.09/23.16 c ---[341842]---> BDD-cost: 379 23.09/23.17 c ---[341841]---> BDD-cost: 379 23.09/23.18 c ---[341840]---> BDD-cost: 379 23.09/23.19 c ---[341839]---> BDD-cost: 379 23.18/23.20 c ---[341838]---> BDD-cost: 379 23.18/23.21 c ---[341837]---> BDD-cost: 379 23.18/23.21 c ---[341836]---> BDD-cost: 379 23.18/23.22 c ---[341835]---> BDD-cost: 379 23.18/23.23 c ---[341834]---> BDD-cost: 379 23.18/23.24 c ---[341833]---> BDD-cost: 379 23.18/23.25 c ---[341832]---> BDD-cost: 379 23.18/23.26 c ---[341831]---> BDD-cost: 379 23.18/23.27 c ---[341830]---> BDD-cost: 379 23.18/23.28 c ---[341829]---> BDD-cost: 379 23.18/23.29 c ---[341828]---> BDD-cost: 379 23.18/23.30 c ---[341827]---> BDD-cost: 379 23.28/23.30 c ---[341826]---> BDD-cost: 379 23.28/23.31 c ---[341825]---> BDD-cost: 379 23.28/23.32 c ---[341824]---> BDD-cost: 379 23.28/23.33 c ---[341823]---> BDD-cost: 379 23.28/23.34 c ---[341822]---> BDD-cost: 379 23.28/23.35 c ---[341821]---> BDD-cost: 379 23.28/23.36 c ---[341820]---> BDD-cost: 379 23.28/23.37 c ---[341819]---> BDD-cost: 379 23.28/23.38 c ---[341818]---> BDD-cost: 379 23.28/23.38 c ---[341817]---> BDD-cost: 379 23.28/23.39 c ---[341816]---> BDD-cost: 379 23.38/23.40 c ---[341815]---> BDD-cost: 379 23.38/23.41 c ---[341814]---> BDD-cost: 379 23.38/23.42 c ---[341813]---> BDD-cost: 379 23.38/23.43 c ---[341812]---> BDD-cost: 379 23.38/23.44 c ---[341811]---> BDD-cost: 379 23.38/23.45 c ---[341810]---> BDD-cost: 379 23.38/23.46 c ---[341809]---> BDD-cost: 379 23.38/23.47 c ---[341808]---> BDD-cost: 379 23.38/23.47 c ---[341807]---> BDD-cost: 379 23.38/23.48 c ---[341806]---> BDD-cost: 379 23.38/23.49 c ---[341805]---> BDD-cost: 379 23.48/23.50 c ---[341804]---> BDD-cost: 379 23.48/23.51 c ---[341803]---> BDD-cost: 379 23.48/23.52 c ---[341802]---> BDD-cost: 379 23.48/23.53 c ---[341801]---> BDD-cost: 379 23.48/23.54 c ---[341800]---> BDD-cost: 379 23.48/23.55 c ---[341799]---> BDD-cost: 379 23.48/23.55 c ---[341798]---> BDD-cost: 379 23.48/23.56 c ---[341797]---> BDD-cost: 379 23.48/23.57 c ---[341796]---> BDD-cost: 379 23.48/23.58 c ---[341795]---> BDD-cost: 379 23.48/23.59 c ---[341794]---> BDD-cost: 379 23.58/23.60 c ---[341793]---> BDD-cost: 379 23.58/23.61 c ---[341792]---> BDD-cost: 379 23.58/23.62 c ---[341791]---> BDD-cost: 379 23.58/23.63 c ---[341790]---> BDD-cost: 379 23.58/23.63 c ---[341789]---> BDD-cost: 379 23.58/23.64 c ---[341788]---> BDD-cost: 379 23.58/23.65 c ---[341787]---> BDD-cost: 379 23.58/23.66 c ---[341786]---> BDD-cost: 379 23.58/23.67 c ---[341785]---> BDD-cost: 379 23.58/23.68 c ---[341784]---> BDD-cost: 379 23.58/23.69 c ---[341783]---> BDD-cost: 379 23.68/23.70 c ---[341782]---> BDD-cost: 379 23.68/23.71 c ---[341781]---> BDD-cost: 379 23.68/23.72 c ---[341780]---> BDD-cost: 379 23.68/23.72 c ---[341779]---> BDD-cost: 379 23.68/23.73 c ---[341778]---> BDD-cost: 379 23.68/23.74 c ---[341777]---> BDD-cost: 379 23.68/23.75 c ---[341776]---> BDD-cost: 379 23.68/23.76 c ---[341775]---> BDD-cost: 379 23.68/23.77 c ---[341774]---> BDD-cost: 379 23.68/23.78 c ---[341773]---> BDD-cost: 379 23.68/23.79 c ---[341772]---> BDD-cost: 379 23.78/23.80 c ---[341771]---> BDD-cost: 379 23.78/23.80 c ---[341770]---> BDD-cost: 379 23.78/23.81 c ---[341769]---> BDD-cost: 379 23.78/23.82 c ---[341768]---> BDD-cost: 379 23.78/23.83 c ---[341767]---> BDD-cost: 379 23.78/23.84 c ---[341766]---> BDD-cost: 379 23.78/23.85 c ---[341765]---> BDD-cost: 379 23.78/23.86 c ---[341764]---> BDD-cost: 379 23.78/23.87 c ---[341763]---> BDD-cost: 379 23.78/23.88 c ---[341762]---> BDD-cost: 379 23.78/23.88 c ---[341761]---> BDD-cost: 379 23.78/23.89 c ---[341760]---> BDD-cost: 379 23.88/23.90 c ---[341759]---> BDD-cost: 379 23.88/23.91 c ---[341758]---> BDD-cost: 379 23.88/23.92 c ---[341757]---> BDD-cost: 379 23.88/23.93 c ---[341756]---> BDD-cost: 379 23.88/23.94 c ---[341755]---> BDD-cost: 379 23.88/23.95 c ---[341754]---> BDD-cost: 379 23.88/23.98 c ---[341753]---> BDD-cost: 379 23.88/23.99 c ---[341752]---> BDD-cost: 379 23.99/24.00 c ---[341751]---> BDD-cost: 379 23.99/24.01 c ---[341750]---> BDD-cost: 379 23.99/24.02 c ---[341749]---> BDD-cost: 379 23.99/24.03 c ---[341748]---> BDD-cost: 379 23.99/24.04 c ---[341747]---> BDD-cost: 379 23.99/24.05 c ---[341746]---> BDD-cost: 379 23.99/24.06 c ---[341745]---> BDD-cost: 379 23.99/24.06 c ---[341744]---> BDD-cost: 379 23.99/24.07 c ---[341743]---> BDD-cost: 379 23.99/24.08 c ---[341742]---> BDD-cost: 379 23.99/24.09 c ---[341741]---> BDD-cost: 379 23.99/24.10 c ---[341740]---> BDD-cost: 379 24.10/24.11 c ---[341739]---> BDD-cost: 379 24.10/24.12 c ---[341738]---> BDD-cost: 379 24.10/24.13 c ---[341737]---> BDD-cost: 379 24.10/24.14 c ---[341736]---> BDD-cost: 379 24.10/24.14 c ---[341735]---> BDD-cost: 379 24.10/24.15 c ---[341734]---> BDD-cost: 379 24.10/24.16 c ---[341733]---> BDD-cost: 379 24.10/24.17 c ---[341732]---> BDD-cost: 379 24.10/24.18 c ---[341731]---> BDD-cost: 379 24.10/24.19 c ---[341730]---> BDD-cost: 379 24.10/24.20 c ---[341729]---> BDD-cost: 379 24.20/24.21 c ---[341728]---> BDD-cost: 379 24.20/24.22 c ---[341727]---> BDD-cost: 379 24.20/24.22 c ---[341726]---> BDD-cost: 379 24.20/24.23 c ---[341725]---> BDD-cost: 379 24.20/24.24 c ---[341724]---> BDD-cost: 379 24.20/24.25 c ---[341723]---> BDD-cost: 379 24.20/24.26 c ---[341722]---> BDD-cost: 379 24.20/24.27 c ---[341721]---> BDD-cost: 379 24.20/24.28 c ---[341720]---> BDD-cost: 379 24.20/24.29 c ---[341719]---> BDD-cost: 379 24.29/24.30 c ---[341718]---> BDD-cost: 379 24.29/24.31 c ---[341717]---> BDD-cost: 379 24.29/24.31 c ---[341716]---> BDD-cost: 379 24.29/24.32 c ---[341715]---> BDD-cost: 379 24.29/24.33 c ---[341714]---> BDD-cost: 379 24.29/24.34 c ---[341713]---> BDD-cost: 379 24.29/24.35 c ---[341712]---> BDD-cost: 379 24.29/24.36 c ---[341711]---> BDD-cost: 379 24.29/24.37 c ---[341710]---> BDD-cost: 379 24.29/24.38 c ---[341709]---> BDD-cost: 379 24.29/24.39 c ---[341708]---> BDD-cost: 379 24.29/24.39 c ---[341707]---> BDD-cost: 379 24.39/24.40 c ---[341706]---> BDD-cost: 379 24.39/24.41 c ---[341705]---> BDD-cost: 379 24.39/24.42 c ---[341704]---> BDD-cost: 379 24.39/24.43 c ---[341703]---> BDD-cost: 379 24.39/24.44 c ---[341702]---> BDD-cost: 379 24.39/24.45 c ---[341701]---> BDD-cost: 379 24.39/24.46 c ---[341700]---> BDD-cost: 379 24.39/24.47 c ---[341699]---> BDD-cost: 379 24.39/24.48 c ---[341698]---> BDD-cost: 379 24.39/24.48 c ---[341697]---> BDD-cost: 379 24.39/24.49 c ---[341696]---> BDD-cost: 379 24.49/24.50 c ---[341695]---> BDD-cost: 379 24.49/24.51 c ---[341694]---> BDD-cost: 379 24.49/24.52 c ---[341693]---> BDD-cost: 379 24.49/24.53 c ---[341692]---> BDD-cost: 379 24.49/24.54 c ---[341691]---> BDD-cost: 379 24.49/24.55 c ---[341690]---> BDD-cost: 379 24.49/24.56 c ---[341689]---> BDD-cost: 379 24.49/24.56 c ---[341688]---> BDD-cost: 379 24.49/24.57 c ---[341687]---> BDD-cost: 379 24.49/24.58 c ---[341686]---> BDD-cost: 379 24.49/24.59 c ---[341685]---> BDD-cost: 379 24.59/24.60 c ---[341684]---> BDD-cost: 379 24.59/24.61 c ---[341683]---> BDD-cost: 379 24.59/24.62 c ---[341682]---> BDD-cost: 379 24.59/24.63 c ---[341681]---> BDD-cost: 379 24.59/24.64 c ---[341680]---> BDD-cost: 379 24.59/24.64 c ---[341679]---> BDD-cost: 379 24.59/24.65 c ---[341678]---> BDD-cost: 379 24.59/24.66 c ---[341677]---> BDD-cost: 379 24.59/24.67 c ---[341676]---> BDD-cost: 379 24.59/24.68 c ---[341675]---> BDD-cost: 379 24.59/24.69 c ---[341674]---> BDD-cost: 379 24.69/24.70 c ---[341673]---> BDD-cost: 379 24.69/24.71 c ---[341672]---> BDD-cost: 379 24.69/24.72 c ---[341671]---> BDD-cost: 379 24.69/24.73 c ---[341670]---> BDD-cost: 379 24.69/24.73 c ---[341669]---> BDD-cost: 379 24.69/24.74 c ---[341668]---> BDD-cost: 379 24.69/24.75 c ---[341667]---> BDD-cost: 379 24.69/24.76 c ---[341666]---> BDD-cost: 379 24.69/24.77 c ---[341665]---> BDD-cost: 379 24.69/24.78 c ---[341664]---> BDD-cost: 379 24.69/24.79 c ---[341663]---> BDD-cost: 379 24.79/24.80 c ---[341662]---> BDD-cost: 379 24.79/24.81 c ---[341661]---> BDD-cost: 379 24.79/24.82 c ---[341660]---> BDD-cost: 379 24.79/24.82 c ---[341659]---> BDD-cost: 379 24.79/24.83 c ---[341658]---> BDD-cost: 379 24.79/24.84 c ---[341657]---> BDD-cost: 379 24.79/24.85 c ---[341656]---> BDD-cost: 379 24.79/24.86 c ---[341655]---> BDD-cost: 379 24.79/24.87 c ---[341654]---> BDD-cost: 379 24.79/24.88 c ---[341653]---> BDD-cost: 379 24.79/24.89 c ---[341652]---> BDD-cost: 379 24.89/24.90 c ---[341651]---> BDD-cost: 379 24.89/24.90 c ---[341650]---> BDD-cost: 379 24.89/24.91 c ---[341649]---> BDD-cost: 379 24.89/24.92 c ---[341648]---> BDD-cost: 379 24.89/24.93 c ---[341647]---> BDD-cost: 379 24.89/24.94 c ---[341646]---> BDD-cost: 379 24.89/24.95 c ---[341645]---> BDD-cost: 379 24.89/24.96 c ---[341644]---> BDD-cost: 379 24.89/24.97 c ---[341643]---> BDD-cost: 379 24.89/24.98 c ---[341642]---> BDD-cost: 379 24.89/24.99 c ---[341641]---> BDD-cost: 379 24.89/24.99 c ---[341640]---> BDD-cost: 379 24.99/25.00 c ---[341639]---> BDD-cost: 379 24.99/25.01 c ---[341638]---> BDD-cost: 379 24.99/25.02 c ---[341637]---> BDD-cost: 379 24.99/25.03 c ---[341636]---> BDD-cost: 379 24.99/25.04 c ---[341635]---> BDD-cost: 379 24.99/25.05 c ---[341634]---> BDD-cost: 379 24.99/25.06 c ---[341633]---> BDD-cost: 379 24.99/25.07 c ---[341632]---> BDD-cost: 379 24.99/25.07 c ---[341631]---> BDD-cost: 379 24.99/25.08 c ---[341630]---> BDD-cost: 379 24.99/25.09 c ---[341629]---> BDD-cost: 379 25.09/25.10 c ---[341628]---> BDD-cost: 379 25.09/25.11 c ---[341627]---> BDD-cost: 379 25.09/25.12 c ---[341626]---> BDD-cost: 379 25.09/25.13 c ---[341625]---> BDD-cost: 379 25.09/25.14 c ---[341624]---> BDD-cost: 379 25.09/25.15 c ---[341623]---> BDD-cost: 379 25.09/25.15 c ---[341622]---> BDD-cost: 379 25.09/25.16 c ---[341621]---> BDD-cost: 379 25.09/25.17 c ---[341620]---> BDD-cost: 379 25.09/25.18 c ---[341619]---> BDD-cost: 379 25.09/25.19 c ---[341618]---> BDD-cost: 379 25.09/25.20 c ---[341617]---> BDD-cost: 379 25.20/25.21 c ---[341616]---> BDD-cost: 379 25.20/25.22 c ---[341615]---> BDD-cost: 379 25.20/25.23 c ---[341614]---> BDD-cost: 379 25.20/25.24 c ---[341613]---> BDD-cost: 379 25.20/25.24 c ---[341612]---> BDD-cost: 379 25.20/25.25 c ---[341611]---> BDD-cost: 379 25.20/25.26 c ---[341610]---> BDD-cost: 379 25.20/25.27 c ---[341609]---> BDD-cost: 379 25.20/25.28 c ---[341608]---> BDD-cost: 379 25.20/25.29 c ---[341607]---> BDD-cost: 379 25.20/25.30 c ---[341606]---> BDD-cost: 379 25.30/25.31 c ---[341605]---> BDD-cost: 379 25.30/25.32 c ---[341604]---> BDD-cost: 379 25.30/25.32 c ---[341603]---> BDD-cost: 379 25.30/25.33 c ---[341602]---> BDD-cost: 379 25.30/25.34 c ---[341601]---> BDD-cost: 379 25.30/25.35 c ---[341600]---> BDD-cost: 379 25.30/25.36 c ---[341599]---> BDD-cost: 379 25.30/25.37 c ---[341598]---> BDD-cost: 379 25.30/25.38 c ---[341597]---> BDD-cost: 379 25.30/25.39 c ---[341596]---> BDD-cost: 379 25.39/25.40 c ---[341595]---> BDD-cost: 379 25.39/25.41 c ---[341594]---> BDD-cost: 379 25.39/25.41 c ---[341593]---> BDD-cost: 379 25.39/25.42 c ---[341592]---> BDD-cost: 379 25.39/25.43 c ---[341591]---> BDD-cost: 379 25.39/25.44 c ---[341590]---> BDD-cost: 379 25.39/25.45 c ---[341589]---> BDD-cost: 379 25.39/25.46 c ---[341588]---> BDD-cost: 379 25.39/25.47 c ---[341587]---> BDD-cost: 379 25.39/25.48 c ---[341586]---> BDD-cost: 379 25.39/25.49 c ---[341585]---> BDD-cost: 379 25.39/25.49 c ---[341584]---> BDD-cost: 379 25.49/25.50 c ---[341583]---> BDD-cost: 379 25.49/25.51 c ---[341582]---> BDD-cost: 379 25.49/25.52 c ---[341581]---> BDD-cost: 379 25.49/25.53 c ---[341580]---> BDD-cost: 379 25.49/25.54 c ---[341579]---> BDD-cost: 379 25.49/25.55 c ---[341578]---> BDD-cost: 379 25.49/25.56 c ---[341577]---> BDD-cost: 379 25.49/25.57 c ---[341576]---> BDD-cost: 379 25.49/25.58 c ---[341575]---> BDD-cost: 379 25.49/25.58 c ---[341574]---> BDD-cost: 379 25.49/25.59 c ---[341573]---> BDD-cost: 379 25.59/25.60 c ---[341572]---> BDD-cost: 379 25.59/25.61 c ---[341571]---> BDD-cost: 379 25.59/25.62 c ---[341570]---> BDD-cost: 379 25.59/25.63 c ---[341569]---> BDD-cost: 379 25.59/25.64 c ---[341568]---> BDD-cost: 379 25.59/25.65 c ---[341567]---> BDD-cost: 379 25.59/25.66 c ---[341566]---> BDD-cost: 379 25.59/25.66 c ---[341565]---> BDD-cost: 379 25.59/25.67 c ---[341564]---> BDD-cost: 379 25.59/25.68 c ---[341563]---> BDD-cost: 379 25.59/25.69 c ---[341562]---> BDD-cost: 379 25.69/25.70 c ---[341561]---> BDD-cost: 379 25.69/25.71 c ---[341560]---> BDD-cost: 379 25.69/25.72 c ---[341559]---> BDD-cost: 379 25.69/25.73 c ---[341558]---> BDD-cost: 379 25.69/25.74 c ---[341557]---> BDD-cost: 379 25.69/25.74 c ---[341556]---> BDD-cost: 379 25.69/25.75 c ---[341555]---> BDD-cost: 379 25.69/25.76 c ---[341554]---> BDD-cost: 379 25.69/25.77 c ---[341553]---> BDD-cost: 379 25.69/25.78 c ---[341552]---> BDD-cost: 379 25.69/25.79 c ---[341551]---> BDD-cost: 379 25.79/25.80 c ---[341550]---> BDD-cost: 379 25.79/25.81 c ---[341549]---> BDD-cost: 379 25.79/25.82 c ---[341548]---> BDD-cost: 379 25.79/25.83 c ---[341547]---> BDD-cost: 379 25.79/25.83 c ---[341546]---> BDD-cost: 379 25.79/25.84 c ---[341545]---> BDD-cost: 379 25.79/25.85 c ---[341544]---> BDD-cost: 379 25.79/25.86 c ---[341543]---> BDD-cost: 379 25.79/25.87 c ---[341542]---> BDD-cost: 379 25.79/25.88 c ---[341541]---> BDD-cost: 379 25.79/25.89 c ---[341540]---> BDD-cost: 379 25.89/25.90 c ---[341539]---> BDD-cost: 379 25.89/25.91 c ---[341538]---> BDD-cost: 379 25.89/25.91 c ---[341537]---> BDD-cost: 379 25.89/25.92 c ---[341536]---> BDD-cost: 379 25.89/25.93 c ---[341535]---> BDD-cost: 379 25.89/25.94 c ---[341534]---> BDD-cost: 379 25.89/25.95 c ---[341533]---> BDD-cost: 379 25.89/25.96 c ---[341532]---> BDD-cost: 379 25.89/25.97 c ---[341531]---> BDD-cost: 379 25.89/25.98 c ---[341530]---> BDD-cost: 379 25.89/25.99 c ---[341529]---> BDD-cost: 379 25.89/26.00 c ---[341528]---> BDD-cost: 379 25.99/26.00 c ---[341527]---> BDD-cost: 379 25.99/26.01 c ---[341526]---> BDD-cost: 379 25.99/26.02 c ---[341525]---> BDD-cost: 379 25.99/26.03 c ---[341524]---> BDD-cost: 379 25.99/26.04 c ---[341523]---> BDD-cost: 379 25.99/26.05 c ---[341522]---> BDD-cost: 379 25.99/26.06 c ---[341521]---> BDD-cost: 379 25.99/26.07 c ---[341520]---> BDD-cost: 379 25.99/26.08 c ---[341519]---> BDD-cost: 379 25.99/26.08 c ---[341518]---> BDD-cost: 379 25.99/26.09 c ---[341517]---> BDD-cost: 379 26.09/26.10 c ---[341516]---> BDD-cost: 379 26.09/26.11 c ---[341515]---> BDD-cost: 379 26.09/26.12 c ---[341514]---> BDD-cost: 379 26.09/26.13 c ---[341513]---> BDD-cost: 379 26.09/26.14 c ---[341512]---> BDD-cost: 379 26.09/26.15 c ---[341511]---> BDD-cost: 379 26.09/26.16 c ---[341510]---> BDD-cost: 379 26.09/26.17 c ---[341509]---> BDD-cost: 379 26.09/26.17 c ---[341508]---> BDD-cost: 379 26.09/26.18 c ---[341507]---> BDD-cost: 379 26.09/26.19 c ---[341506]---> BDD-cost: 379 26.19/26.20 c ---[341505]---> BDD-cost: 379 26.19/26.21 c ---[341504]---> BDD-cost: 379 26.19/26.22 c ---[341503]---> BDD-cost: 379 26.19/26.23 c ---[341502]---> BDD-cost: 379 26.19/26.24 c ---[341501]---> BDD-cost: 379 26.19/26.25 c ---[341500]---> BDD-cost: 379 26.19/26.25 c ---[341499]---> BDD-cost: 379 26.19/26.26 c ---[341498]---> BDD-cost: 379 26.19/26.27 c ---[341497]---> BDD-cost: 379 26.19/26.28 c ---[341496]---> BDD-cost: 379 26.19/26.29 c ---[341495]---> BDD-cost: 379 26.19/26.30 c ---[341494]---> BDD-cost: 379 26.30/26.31 c ---[341493]---> BDD-cost: 379 26.30/26.32 c ---[341492]---> BDD-cost: 379 26.30/26.33 c ---[341491]---> BDD-cost: 379 26.30/26.34 c ---[341490]---> BDD-cost: 379 26.30/26.34 c ---[341489]---> BDD-cost: 379 26.30/26.35 c ---[341488]---> BDD-cost: 379 26.30/26.36 c ---[341487]---> BDD-cost: 379 26.30/26.37 c ---[341486]---> BDD-cost: 379 26.30/26.38 c ---[341485]---> BDD-cost: 379 26.30/26.39 c ---[341484]---> BDD-cost: 379 26.30/26.40 c ---[341483]---> BDD-cost: 379 26.40/26.41 c ---[341482]---> BDD-cost: 379 26.40/26.42 c ---[341481]---> BDD-cost: 379 26.40/26.42 c ---[341480]---> BDD-cost: 379 26.40/26.43 c ---[341479]---> BDD-cost: 379 26.40/26.44 c ---[341478]---> BDD-cost: 379 26.40/26.45 c ---[341477]---> BDD-cost: 379 26.40/26.46 c ---[341476]---> BDD-cost: 379 26.40/26.47 c ---[341475]---> BDD-cost: 379 26.40/26.48 c ---[341474]---> BDD-cost: 379 26.40/26.49 c ---[341473]---> BDD-cost: 379 26.49/26.50 c ---[341472]---> BDD-cost: 379 26.49/26.51 c ---[341471]---> BDD-cost: 379 26.49/26.51 c ---[341470]---> BDD-cost: 379 26.49/26.52 c ---[341469]---> BDD-cost: 379 26.49/26.53 c ---[341468]---> BDD-cost: 379 26.49/26.54 c ---[341467]---> BDD-cost: 379 26.49/26.55 c ---[341466]---> BDD-cost: 379 26.49/26.56 c ---[341465]---> BDD-cost: 379 26.49/26.57 c ---[341464]---> BDD-cost: 379 26.49/26.58 c ---[341463]---> BDD-cost: 379 26.49/26.59 c ---[341462]---> BDD-cost: 379 26.49/26.59 c ---[341461]---> BDD-cost: 379 26.59/26.60 c ---[341460]---> BDD-cost: 379 26.59/26.61 c ---[341459]---> BDD-cost: 379 26.59/26.62 c ---[341458]---> BDD-cost: 379 26.59/26.63 c ---[341457]---> BDD-cost: 379 26.59/26.64 c ---[341456]---> BDD-cost: 379 26.59/26.65 c ---[341455]---> BDD-cost: 379 26.59/26.66 c ---[341454]---> BDD-cost: 379 26.59/26.67 c ---[341453]---> BDD-cost: 379 26.59/26.68 c ---[341452]---> BDD-cost: 379 26.59/26.68 c ---[341451]---> BDD-cost: 379 26.59/26.69 c ---[341450]---> BDD-cost: 379 26.69/26.70 c ---[341449]---> BDD-cost: 379 26.69/26.71 c ---[341448]---> BDD-cost: 379 26.69/26.72 c ---[341447]---> BDD-cost: 379 26.69/26.73 c ---[341446]---> BDD-cost: 379 26.69/26.74 c ---[341445]---> BDD-cost: 379 26.69/26.75 c ---[341444]---> BDD-cost: 379 26.69/26.76 c ---[341443]---> BDD-cost: 379 26.69/26.77 c ---[341442]---> BDD-cost: 379 26.69/26.77 c ---[341441]---> BDD-cost: 379 26.69/26.78 c ---[341440]---> BDD-cost: 379 26.69/26.79 c ---[341439]---> BDD-cost: 379 26.79/26.80 c ---[341438]---> BDD-cost: 379 26.79/26.81 c ---[341437]---> BDD-cost: 379 26.79/26.82 c ---[341436]---> BDD-cost: 379 26.79/26.83 c ---[341435]---> BDD-cost: 379 26.79/26.84 c ---[341434]---> BDD-cost: 379 26.79/26.85 c ---[341433]---> BDD-cost: 379 26.79/26.85 c ---[341432]---> BDD-cost: 379 26.79/26.86 c ---[341431]---> BDD-cost: 379 26.79/26.87 c ---[341430]---> BDD-cost: 379 26.79/26.88 c ---[341429]---> BDD-cost: 379 26.79/26.89 c ---[341428]---> BDD-cost: 379 26.89/26.90 c ---[341427]---> BDD-cost: 379 26.89/26.91 c ---[341426]---> BDD-cost: 379 26.89/26.92 c ---[341425]---> BDD-cost: 379 26.89/26.93 c ---[341424]---> BDD-cost: 379 26.89/26.94 c ---[341423]---> BDD-cost: 379 26.89/26.94 c ---[341422]---> BDD-cost: 379 26.89/26.95 c ---[341421]---> BDD-cost: 379 26.89/26.96 c ---[341420]---> BDD-cost: 379 26.89/26.97 c ---[341419]---> BDD-cost: 379 26.89/26.98 c ---[341418]---> BDD-cost: 379 26.89/26.99 c ---[341417]---> BDD-cost: 379 26.99/27.00 c ---[341416]---> BDD-cost: 379 26.99/27.01 c ---[341415]---> BDD-cost: 379 26.99/27.02 c ---[341414]---> BDD-cost: 379 26.99/27.02 c ---[341413]---> BDD-cost: 379 26.99/27.03 c ---[341412]---> BDD-cost: 379 26.99/27.04 c ---[341411]---> BDD-cost: 379 26.99/27.05 c ---[341410]---> BDD-cost: 379 26.99/27.06 c ---[341409]---> BDD-cost: 379 26.99/27.07 c ---[341408]---> BDD-cost: 379 26.99/27.08 c ---[341407]---> BDD-cost: 379 26.99/27.09 c ---[341406]---> BDD-cost: 379 27.09/27.10 c ---[341405]---> BDD-cost: 379 27.09/27.11 c ---[341404]---> BDD-cost: 379 27.09/27.11 c ---[341403]---> BDD-cost: 379 27.09/27.12 c ---[341402]---> BDD-cost: 379 27.09/27.13 c ---[341401]---> BDD-cost: 379 27.09/27.14 c ---[341400]---> BDD-cost: 379 27.09/27.15 c ---[341399]---> BDD-cost: 379 27.09/27.16 c ---[341398]---> BDD-cost: 379 27.09/27.17 c ---[341397]---> BDD-cost: 379 27.09/27.18 c ---[341396]---> BDD-cost: 379 27.09/27.19 c ---[341395]---> BDD-cost: 379 27.09/27.20 c ---[341394]---> BDD-cost: 379 27.19/27.20 c ---[341393]---> BDD-cost: 379 27.19/27.21 c ---[341392]---> BDD-cost: 379 27.19/27.22 c ---[341391]---> BDD-cost: 379 27.19/27.23 c ---[341390]---> BDD-cost: 379 27.19/27.24 c ---[341389]---> BDD-cost: 379 27.19/27.25 c ---[341388]---> BDD-cost: 379 27.19/27.26 c ---[341387]---> BDD-cost: 379 27.19/27.27 c ---[341386]---> BDD-cost: 379 27.19/27.28 c ---[341385]---> BDD-cost: 379 27.19/27.29 c ---[341384]---> BDD-cost: 379 27.19/27.29 c ---[341383]---> BDD-cost: 379 27.29/27.30 c ---[341382]---> BDD-cost: 379 27.29/27.31 c ---[341381]---> BDD-cost: 379 27.29/27.32 c ---[341380]---> BDD-cost: 379 27.29/27.33 c ---[341379]---> BDD-cost: 379 27.29/27.34 c ---[341378]---> BDD-cost: 379 27.29/27.35 c ---[341377]---> BDD-cost: 379 27.29/27.36 c ---[341376]---> BDD-cost: 379 27.29/27.37 c ---[341375]---> BDD-cost: 379 27.29/27.37 c ---[341374]---> BDD-cost: 379 27.29/27.38 c ---[341373]---> BDD-cost: 379 27.29/27.39 c ---[341372]---> BDD-cost: 379 27.29/27.40 c ---[341371]---> BDD-cost: 379 27.39/27.41 c ---[341370]---> BDD-cost: 379 27.39/27.42 c ---[341369]---> BDD-cost: 379 27.39/27.43 c ---[341368]---> BDD-cost: 379 27.39/27.44 c ---[341367]---> BDD-cost: 379 27.39/27.45 c ---[341366]---> BDD-cost: 379 27.39/27.45 c ---[341365]---> BDD-cost: 379 27.39/27.46 c ---[341364]---> BDD-cost: 379 27.39/27.47 c ---[341363]---> BDD-cost: 379 27.39/27.48 c ---[341362]---> BDD-cost: 379 27.39/27.49 c ---[341361]---> BDD-cost: 379 27.39/27.50 c ---[341360]---> BDD-cost: 379 27.49/27.51 c ---[341359]---> BDD-cost: 379 27.49/27.52 c ---[341358]---> BDD-cost: 379 27.49/27.53 c ---[341357]---> BDD-cost: 379 27.49/27.54 c ---[341356]---> BDD-cost: 379 27.49/27.54 c ---[341355]---> BDD-cost: 379 27.49/27.55 c ---[341354]---> BDD-cost: 379 27.49/27.56 c ---[341353]---> BDD-cost: 379 27.49/27.57 c ---[341352]---> BDD-cost: 379 27.49/27.58 c ---[341351]---> BDD-cost: 379 27.49/27.59 c ---[341350]---> BDD-cost: 379 27.59/27.60 c ---[341349]---> BDD-cost: 379 27.59/27.61 c ---[341348]---> BDD-cost: 379 27.59/27.62 c ---[341347]---> BDD-cost: 379 27.59/27.62 c ---[341346]---> BDD-cost: 379 27.59/27.63 c ---[341345]---> BDD-cost: 379 27.59/27.64 c ---[341344]---> BDD-cost: 379 27.59/27.65 c ---[341343]---> BDD-cost: 379 27.59/27.66 c ---[341342]---> BDD-cost: 379 27.59/27.67 c ---[341341]---> BDD-cost: 379 27.59/27.68 c ---[341340]---> BDD-cost: 379 27.59/27.69 c ---[341339]---> BDD-cost: 379 27.69/27.70 c ---[341338]---> BDD-cost: 379 27.69/27.71 c ---[341337]---> BDD-cost: 379 27.69/27.71 c ---[341336]---> BDD-cost: 379 27.69/27.72 c ---[341335]---> BDD-cost: 379 27.69/27.73 c ---[341334]---> BDD-cost: 379 27.69/27.74 c ---[341333]---> BDD-cost: 379 27.69/27.75 c ---[341332]---> BDD-cost: 379 27.69/27.76 c ---[341331]---> BDD-cost: 379 27.69/27.77 c ---[341330]---> BDD-cost: 379 27.69/27.78 c ---[341329]---> BDD-cost: 379 27.69/27.79 c ---[341328]---> BDD-cost: 379 27.69/27.79 c ---[341327]---> BDD-cost: 379 27.79/27.80 c ---[341326]---> BDD-cost: 379 27.79/27.81 c ---[341325]---> BDD-cost: 379 27.79/27.82 c ---[341324]---> BDD-cost: 379 27.79/27.83 c ---[341323]---> BDD-cost: 379 27.79/27.84 c ---[341322]---> BDD-cost: 379 27.79/27.85 c ---[341321]---> BDD-cost: 379 27.79/27.86 c ---[341320]---> BDD-cost: 379 27.79/27.87 c ---[341319]---> BDD-cost: 379 27.79/27.88 c ---[341318]---> BDD-cost: 379 27.79/27.88 c ---[341317]---> BDD-cost: 379 27.79/27.89 c ---[341316]---> BDD-cost: 379 27.89/27.90 c ---[341315]---> BDD-cost: 379 27.89/27.91 c ---[341314]---> BDD-cost: 379 27.89/27.92 c ---[341313]---> BDD-cost: 379 27.89/27.93 c ---[341312]---> BDD-cost: 379 27.89/27.94 c ---[341311]---> BDD-cost: 379 27.89/27.95 c ---[341310]---> BDD-cost: 379 27.89/27.96 c ---[341309]---> BDD-cost: 379 27.89/27.96 c ---[341308]---> BDD-cost: 379 27.89/27.97 c ---[341307]---> BDD-cost: 379 27.89/27.98 c ---[341306]---> BDD-cost: 379 27.89/27.99 c ---[341305]---> BDD-cost: 379 27.98/28.00 c ---[341304]---> BDD-cost: 379 27.98/28.01 c ---[341303]---> BDD-cost: 379 27.98/28.02 c ---[341302]---> BDD-cost: 379 27.98/28.03 c ---[341301]---> BDD-cost: 379 27.98/28.04 c ---[341300]---> BDD-cost: 379 27.98/28.05 c ---[341299]---> BDD-cost: 379 27.98/28.05 c ---[341298]---> BDD-cost: 379 27.98/28.06 c ---[341297]---> BDD-cost: 379 27.98/28.07 c ---[341296]---> BDD-cost: 379 27.98/28.08 c ---[341295]---> BDD-cost: 379 27.98/28.09 c ---[341294]---> BDD-cost: 379 28.08/28.10 c ---[341293]---> BDD-cost: 379 28.08/28.11 c ---[341292]---> BDD-cost: 379 28.08/28.12 c ---[341291]---> BDD-cost: 379 28.08/28.13 c ---[341290]---> BDD-cost: 379 28.08/28.13 c ---[341289]---> BDD-cost: 379 28.08/28.14 c ---[341288]---> BDD-cost: 379 28.08/28.15 c ---[341287]---> BDD-cost: 379 28.08/28.16 c ---[341286]---> BDD-cost: 379 28.08/28.17 c ---[341285]---> BDD-cost: 379 28.08/28.18 c ---[341284]---> BDD-cost: 379 28.08/28.19 c ---[341283]---> BDD-cost: 379 28.18/28.20 c ---[341282]---> BDD-cost: 379 28.18/28.21 c ---[341281]---> BDD-cost: 379 28.18/28.22 c ---[341280]---> BDD-cost: 379 28.18/28.22 c ---[341279]---> BDD-cost: 379 28.18/28.23 c ---[341278]---> BDD-cost: 379 28.18/28.24 c ---[341277]---> BDD-cost: 379 28.18/28.25 c ---[341276]---> BDD-cost: 379 28.18/28.26 c ---[341275]---> BDD-cost: 379 28.18/28.27 c ---[341274]---> BDD-cost: 379 28.18/28.28 c ---[341273]---> BDD-cost: 379 28.18/28.29 c ---[341272]---> BDD-cost: 379 28.28/28.30 c ---[341271]---> BDD-cost: 379 28.28/28.30 c ---[341270]---> BDD-cost: 379 28.28/28.31 c ---[341269]---> BDD-cost: 379 28.28/28.32 c ---[341268]---> BDD-cost: 379 28.28/28.33 c ---[341267]---> BDD-cost: 379 28.28/28.34 c ---[341266]---> BDD-cost: 379 28.28/28.35 c ---[341265]---> BDD-cost: 379 28.28/28.36 c ---[341264]---> BDD-cost: 379 28.28/28.37 c ---[341263]---> BDD-cost: 379 28.28/28.38 c ---[341262]---> BDD-cost: 379 28.28/28.38 c ---[341261]---> BDD-cost: 379 28.28/28.39 c ---[341260]---> BDD-cost: 379 28.38/28.40 c ---[341259]---> BDD-cost: 379 28.38/28.41 c ---[341258]---> BDD-cost: 379 28.38/28.42 c ---[341257]---> BDD-cost: 379 28.38/28.43 c ---[341256]---> BDD-cost: 379 28.38/28.44 c ---[341255]---> BDD-cost: 379 28.38/28.45 c ---[341254]---> BDD-cost: 379 28.38/28.46 c ---[341253]---> BDD-cost: 379 28.38/28.47 c ---[341252]---> BDD-cost: 379 28.38/28.47 c ---[341251]---> BDD-cost: 379 28.38/28.48 c ---[341250]---> BDD-cost: 379 28.38/28.49 c ---[341249]---> BDD-cost: 379 28.38/28.50 c ---[341248]---> BDD-cost: 379 28.49/28.51 c ---[341247]---> BDD-cost: 379 28.49/28.52 c ---[341246]---> BDD-cost: 379 28.49/28.53 c ---[341245]---> BDD-cost: 379 28.49/28.54 c ---[341244]---> BDD-cost: 379 28.49/28.55 c ---[341243]---> BDD-cost: 379 28.49/28.55 c ---[341242]---> BDD-cost: 379 28.49/28.56 c ---[341241]---> BDD-cost: 379 28.49/28.57 c ---[341240]---> BDD-cost: 379 28.49/28.58 c ---[341239]---> BDD-cost: 379 28.49/28.59 c ---[341238]---> BDD-cost: 379 28.49/28.60 c ---[341237]---> BDD-cost: 379 28.59/28.61 c ---[341236]---> BDD-cost: 379 28.59/28.62 c ---[341235]---> BDD-cost: 379 28.59/28.63 c ---[341234]---> BDD-cost: 379 28.59/28.64 c ---[341233]---> BDD-cost: 379 28.59/28.64 c ---[341232]---> BDD-cost: 379 28.59/28.65 c ---[341231]---> BDD-cost: 379 28.59/28.66 c ---[341230]---> BDD-cost: 379 28.59/28.67 c ---[341229]---> BDD-cost: 379 28.59/28.68 c ---[341228]---> BDD-cost: 379 28.59/28.69 c ---[341227]---> BDD-cost: 379 28.68/28.70 c ---[341226]---> BDD-cost: 379 28.68/28.71 c ---[341225]---> BDD-cost: 379 28.68/28.72 c ---[341224]---> BDD-cost: 379 28.68/28.72 c ---[341223]---> BDD-cost: 379 28.68/28.73 c ---[341222]---> BDD-cost: 379 28.68/28.74 c ---[341221]---> BDD-cost: 379 28.68/28.75 c ---[341220]---> BDD-cost: 379 28.68/28.76 c ---[341219]---> BDD-cost: 379 28.68/28.77 c ---[341218]---> BDD-cost: 379 28.68/28.78 c ---[341217]---> BDD-cost: 379 28.68/28.79 c ---[341216]---> BDD-cost: 379 28.78/28.80 c ---[341215]---> BDD-cost: 379 28.78/28.81 c ---[341214]---> BDD-cost: 379 28.78/28.81 c ---[341213]---> BDD-cost: 379 28.78/28.82 c ---[341212]---> BDD-cost: 379 28.78/28.83 c ---[341211]---> BDD-cost: 379 28.78/28.84 c ---[341210]---> BDD-cost: 379 28.78/28.85 c ---[341209]---> BDD-cost: 379 28.78/28.86 c ---[341208]---> BDD-cost: 379 28.78/28.87 c ---[341207]---> BDD-cost: 379 28.78/28.88 c ---[341206]---> BDD-cost: 379 28.78/28.89 c ---[341205]---> BDD-cost: 379 28.78/28.89 c ---[341204]---> BDD-cost: 379 28.88/28.90 c ---[341203]---> BDD-cost: 379 28.88/28.91 c ---[341202]---> BDD-cost: 379 28.88/28.92 c ---[341201]---> BDD-cost: 379 28.88/28.93 c ---[341200]---> BDD-cost: 379 28.88/28.94 c ---[341199]---> BDD-cost: 379 28.88/28.95 c ---[341198]---> BDD-cost: 379 28.88/28.96 c ---[341197]---> BDD-cost: 379 28.88/28.97 c ---[341196]---> BDD-cost: 379 28.88/28.98 c ---[341195]---> BDD-cost: 379 28.88/28.98 c ---[341194]---> BDD-cost: 379 28.88/28.99 c ---[341193]---> BDD-cost: 379 28.98/29.00 c ---[341192]---> BDD-cost: 379 28.98/29.01 c ---[341191]---> BDD-cost: 379 28.98/29.02 c ---[341190]---> BDD-cost: 379 28.98/29.03 c ---[341189]---> BDD-cost: 379 28.98/29.04 c ---[341188]---> BDD-cost: 379 28.98/29.05 c ---[341187]---> BDD-cost: 379 28.98/29.06 c ---[341186]---> BDD-cost: 379 28.98/29.06 c ---[341185]---> BDD-cost: 379 28.98/29.07 c ---[341184]---> BDD-cost: 379 28.98/29.08 c ---[341183]---> BDD-cost: 379 28.98/29.09 c ---[341182]---> BDD-cost: 379 29.08/29.10 c ---[341181]---> BDD-cost: 379 29.08/29.11 c ---[341180]---> BDD-cost: 379 29.08/29.12 c ---[341179]---> BDD-cost: 379 29.08/29.13 c ---[341178]---> BDD-cost: 379 29.08/29.14 c ---[341177]---> BDD-cost: 379 29.08/29.14 c ---[341176]---> BDD-cost: 379 29.08/29.15 c ---[341175]---> BDD-cost: 379 29.08/29.16 c ---[341174]---> BDD-cost: 379 29.08/29.17 c ---[341173]---> BDD-cost: 379 29.08/29.18 c ---[341172]---> BDD-cost: 379 29.08/29.19 c ---[341171]---> BDD-cost: 379 29.18/29.20 c ---[341170]---> BDD-cost: 379 29.18/29.21 c ---[341169]---> BDD-cost: 379 29.18/29.22 c ---[341168]---> BDD-cost: 379 29.18/29.23 c ---[341167]---> BDD-cost: 379 29.18/29.23 c ---[341166]---> BDD-cost: 379 29.18/29.24 c ---[341165]---> BDD-cost: 379 29.18/29.25 c ---[341164]---> BDD-cost: 379 29.18/29.26 c ---[341163]---> BDD-cost: 379 29.18/29.27 c ---[341162]---> BDD-cost: 379 29.18/29.28 c ---[341161]---> BDD-cost: 379 29.18/29.29 c ---[341160]---> BDD-cost: 379 29.28/29.30 c ---[341159]---> BDD-cost: 379 29.28/29.31 c ---[341158]---> BDD-cost: 379 29.28/29.32 c ---[341157]---> BDD-cost: 379 29.28/29.32 c ---[341156]---> BDD-cost: 379 29.28/29.33 c ---[341155]---> BDD-cost: 379 29.28/29.34 c ---[341154]---> BDD-cost: 379 29.28/29.35 c ---[341153]---> BDD-cost: 379 29.28/29.36 c ---[341152]---> BDD-cost: 379 29.28/29.37 c ---[341151]---> BDD-cost: 379 29.28/29.38 c ---[341150]---> BDD-cost: 379 29.28/29.39 c ---[341149]---> BDD-cost: 379 29.38/29.40 c ---[341148]---> BDD-cost: 379 29.38/29.40 c ---[341147]---> BDD-cost: 379 29.38/29.41 c ---[341146]---> BDD-cost: 379 29.38/29.42 c ---[341145]---> BDD-cost: 379 29.38/29.43 c ---[341144]---> BDD-cost: 379 29.38/29.44 c ---[341143]---> BDD-cost: 379 29.38/29.45 c ---[341142]---> BDD-cost: 379 29.38/29.46 c ---[341141]---> BDD-cost: 379 29.38/29.47 c ---[341140]---> BDD-cost: 379 29.38/29.48 c ---[341139]---> BDD-cost: 379 29.38/29.49 c ---[341138]---> BDD-cost: 379 29.38/29.49 c ---[341137]---> BDD-cost: 379 29.48/29.50 c ---[341136]---> BDD-cost: 379 29.48/29.51 c ---[341135]---> BDD-cost: 379 29.48/29.52 c ---[341134]---> BDD-cost: 379 29.48/29.53 c ---[341133]---> BDD-cost: 379 29.48/29.54 c ---[341132]---> BDD-cost: 379 29.48/29.55 c ---[341131]---> BDD-cost: 379 29.48/29.56 c ---[341130]---> BDD-cost: 379 29.48/29.57 c ---[341129]---> BDD-cost: 379 29.48/29.57 c ---[341128]---> BDD-cost: 379 29.48/29.58 c ---[341127]---> BDD-cost: 379 29.48/29.59 c ---[341126]---> BDD-cost: 379 29.48/29.60 c ---[341125]---> BDD-cost: 379 29.59/29.61 c ---[341124]---> BDD-cost: 379 29.59/29.62 c ---[341123]---> BDD-cost: 379 29.59/29.63 c ---[341122]---> BDD-cost: 379 29.59/29.64 c ---[341121]---> BDD-cost: 379 29.59/29.65 c ---[341120]---> BDD-cost: 379 29.59/29.65 c ---[341119]---> BDD-cost: 379 29.59/29.66 c ---[341118]---> BDD-cost: 379 29.59/29.67 c ---[341117]---> BDD-cost: 379 29.59/29.68 c ---[341116]---> BDD-cost: 379 29.59/29.69 c ---[341115]---> BDD-cost: 379 29.59/29.70 c ---[341114]---> BDD-cost: 379 29.69/29.71 c ---[341113]---> BDD-cost: 379 29.69/29.72 c ---[341112]---> BDD-cost: 379 29.69/29.73 c ---[341111]---> BDD-cost: 379 29.69/29.74 c ---[341110]---> BDD-cost: 379 29.69/29.74 c ---[341109]---> BDD-cost: 379 29.69/29.75 c ---[341108]---> BDD-cost: 379 29.69/29.76 c ---[341107]---> BDD-cost: 379 29.69/29.77 c ---[341106]---> BDD-cost: 379 29.69/29.78 c ---[341105]---> BDD-cost: 379 29.69/29.79 c ---[341104]---> BDD-cost: 379 29.78/29.80 c ---[341103]---> BDD-cost: 379 29.78/29.81 c ---[341102]---> BDD-cost: 379 29.78/29.82 c ---[341101]---> BDD-cost: 379 29.78/29.83 c ---[341100]---> BDD-cost: 379 29.78/29.83 c ---[341099]---> BDD-cost: 379 29.78/29.84 c ---[341098]---> BDD-cost: 379 29.78/29.85 c ---[341097]---> BDD-cost: 379 29.78/29.86 c ---[341096]---> BDD-cost: 379 29.78/29.87 c ---[341095]---> BDD-cost: 379 29.78/29.88 c ---[341094]---> BDD-cost: 379 29.78/29.89 c ---[341093]---> BDD-cost: 379 29.88/29.90 c ---[341092]---> BDD-cost: 379 29.88/29.91 c ---[341091]---> BDD-cost: 379 29.88/29.92 c ---[341090]---> BDD-cost: 379 29.88/29.92 c ---[341089]---> BDD-cost: 379 29.88/29.93 c ---[341088]---> BDD-cost: 379 29.88/29.94 c ---[341087]---> BDD-cost: 379 29.88/29.95 c ---[341086]---> BDD-cost: 379 29.88/29.96 c ---[341085]---> BDD-cost: 379 29.88/29.97 c ---[341084]---> BDD-cost: 379 29.88/29.98 c ---[341083]---> BDD-cost: 379 29.88/29.99 c ---[341082]---> BDD-cost: 379 29.98/30.00 c ---[341081]---> BDD-cost: 379 29.98/30.01 c ---[341080]---> BDD-cost: 379 29.98/30.01 c ---[341079]---> BDD-cost: 379 29.98/30.02 c ---[341078]---> BDD-cost: 379 29.98/30.03 c ---[341077]---> BDD-cost: 379 29.98/30.04 c ---[341076]---> BDD-cost: 379 29.98/30.05 c ---[341075]---> BDD-cost: 379 29.98/30.06 c ---[341074]---> BDD-cost: 379 29.98/30.07 c ---[341073]---> BDD-cost: 379 29.98/30.08 c ---[341072]---> BDD-cost: 379 29.98/30.09 c ---[341071]---> BDD-cost: 379 29.98/30.09 c ---[341070]---> BDD-cost: 379 30.08/30.10 c ---[341069]---> BDD-cost: 379 30.08/30.11 c ---[341068]---> BDD-cost: 379 30.08/30.12 c ---[341067]---> BDD-cost: 379 30.08/30.13 c ---[341066]---> BDD-cost: 379 30.08/30.14 c ---[341065]---> BDD-cost: 379 30.08/30.15 c ---[341064]---> BDD-cost: 379 30.08/30.16 c ---[341063]---> BDD-cost: 379 30.08/30.17 c ---[341062]---> BDD-cost: 379 30.08/30.18 c ---[341061]---> BDD-cost: 379 30.08/30.18 c ---[341060]---> BDD-cost: 379 30.08/30.19 c ---[341059]---> BDD-cost: 379 30.18/30.20 c ---[341058]---> BDD-cost: 379 30.18/30.21 c ---[341057]---> BDD-cost: 379 30.18/30.22 c ---[341056]---> BDD-cost: 379 30.18/30.23 c ---[341055]---> BDD-cost: 379 30.18/30.24 c ---[341054]---> BDD-cost: 379 30.18/30.25 c ---[341053]---> BDD-cost: 379 30.18/30.26 c ---[341052]---> BDD-cost: 379 30.18/30.27 c ---[341051]---> BDD-cost: 379 30.18/30.27 c ---[341050]---> BDD-cost: 379 30.18/30.28 c ---[341049]---> BDD-cost: 379 30.18/30.29 c ---[341048]---> BDD-cost: 379 30.28/30.30 c ---[341047]---> BDD-cost: 379 30.28/30.31 c ---[341046]---> BDD-cost: 379 30.28/30.32 c ---[341045]---> BDD-cost: 379 30.28/30.33 c ---[341044]---> BDD-cost: 379 30.28/30.34 c ---[341043]---> BDD-cost: 379 30.28/30.35 c ---[341042]---> BDD-cost: 379 30.28/30.36 c ---[341041]---> BDD-cost: 379 30.28/30.36 c ---[341040]---> BDD-cost: 379 30.28/30.37 c ---[341039]---> BDD-cost: 379 30.28/30.38 c ---[341038]---> BDD-cost: 379 30.28/30.39 c ---[341037]---> BDD-cost: 379 30.38/30.40 c ---[341036]---> BDD-cost: 379 30.38/30.41 c ---[341035]---> BDD-cost: 379 30.38/30.42 c ---[341034]---> BDD-cost: 379 30.38/30.43 c ---[341033]---> BDD-cost: 379 30.38/30.44 c ---[341032]---> BDD-cost: 379 30.38/30.45 c ---[341031]---> BDD-cost: 379 30.38/30.45 c ---[341030]---> BDD-cost: 379 30.38/30.46 c ---[341029]---> BDD-cost: 379 30.38/30.47 c ---[341028]---> BDD-cost: 379 30.38/30.48 c ---[341027]---> BDD-cost: 379 30.38/30.49 c ---[341026]---> BDD-cost: 379 30.48/30.50 c ---[341025]---> BDD-cost: 379 30.48/30.51 c ---[341024]---> BDD-cost: 379 30.48/30.52 c ---[341023]---> BDD-cost: 379 30.48/30.53 c ---[341022]---> BDD-cost: 379 30.48/30.54 c ---[341021]---> BDD-cost: 379 30.48/30.54 c ---[341020]---> BDD-cost: 379 30.48/30.55 c ---[341019]---> BDD-cost: 379 30.48/30.56 c ---[341018]---> BDD-cost: 379 30.48/30.57 c ---[341017]---> BDD-cost: 379 30.48/30.58 c ---[341016]---> BDD-cost: 379 30.48/30.59 c ---[341015]---> BDD-cost: 379 30.58/30.60 c ---[341014]---> BDD-cost: 379 30.58/30.61 c ---[341013]---> BDD-cost: 379 30.58/30.62 c ---[341012]---> BDD-cost: 379 30.58/30.62 c ---[341011]---> BDD-cost: 379 30.58/30.63 c ---[341010]---> BDD-cost: 379 30.58/30.64 c ---[341009]---> BDD-cost: 379 30.58/30.65 c ---[341008]---> BDD-cost: 379 30.58/30.66 c ---[341007]---> BDD-cost: 379 30.58/30.67 c ---[341006]---> BDD-cost: 379 30.58/30.68 c ---[341005]---> BDD-cost: 379 30.58/30.69 c ---[341004]---> BDD-cost: 379 30.58/30.70 c ---[341003]---> BDD-cost: 379 30.69/30.71 c ---[341002]---> BDD-cost: 379 30.69/30.71 c ---[341001]---> BDD-cost: 379 30.69/30.72 c ---[341000]---> BDD-cost: 379 30.69/30.73 c ---[340999]---> BDD-cost: 379 30.69/30.74 c ---[340998]---> BDD-cost: 379 30.69/30.75 c ---[340997]---> BDD-cost: 379 30.69/30.76 c ---[340996]---> BDD-cost: 379 30.69/30.77 c ---[340995]---> BDD-cost: 379 30.69/30.78 c ---[340994]---> BDD-cost: 379 30.69/30.79 c ---[340993]---> BDD-cost: 379 30.69/30.80 c ---[340992]---> BDD-cost: 379 30.79/30.80 c ---[340991]---> BDD-cost: 379 30.79/30.81 c ---[340990]---> BDD-cost: 379 30.79/30.82 c ---[340989]---> BDD-cost: 379 30.79/30.83 c ---[340988]---> BDD-cost: 379 30.79/30.84 c ---[340987]---> BDD-cost: 379 30.79/30.85 c ---[340986]---> BDD-cost: 379 30.79/30.86 c ---[340985]---> BDD-cost: 379 30.79/30.87 c ---[340984]---> BDD-cost: 379 30.79/30.88 c ---[340983]---> BDD-cost: 379 30.79/30.89 c ---[340982]---> BDD-cost: 379 30.79/30.89 c ---[340981]---> BDD-cost: 379 30.89/30.90 c ---[340980]---> BDD-cost: 379 30.89/30.91 c ---[340979]---> BDD-cost: 379 30.89/30.92 c ---[340978]---> BDD-cost: 379 30.89/30.93 c ---[340977]---> BDD-cost: 379 30.89/30.94 c ---[340976]---> BDD-cost: 379 30.89/30.95 c ---[340975]---> BDD-cost: 379 30.89/30.96 c ---[340974]---> BDD-cost: 379 30.89/30.97 c ---[340973]---> BDD-cost: 379 30.89/30.98 c ---[340972]---> BDD-cost: 379 30.89/30.98 c ---[340971]---> BDD-cost: 379 30.89/30.99 c ---[340970]---> BDD-cost: 379 30.99/31.00 c ---[340969]---> BDD-cost: 379 30.99/31.01 c ---[340968]---> BDD-cost: 379 30.99/31.02 c ---[340967]---> BDD-cost: 379 30.99/31.03 c ---[340966]---> BDD-cost: 379 30.99/31.04 c ---[340965]---> BDD-cost: 379 30.99/31.05 c ---[340964]---> BDD-cost: 379 30.99/31.06 c ---[340963]---> BDD-cost: 379 30.99/31.06 c ---[340962]---> BDD-cost: 379 30.99/31.07 c ---[340961]---> BDD-cost: 379 30.99/31.08 c ---[340960]---> BDD-cost: 379 30.99/31.09 c ---[340959]---> BDD-cost: 379 31.09/31.10 c ---[340958]---> BDD-cost: 379 31.09/31.11 c ---[340957]---> BDD-cost: 379 31.09/31.12 c ---[340956]---> BDD-cost: 379 31.09/31.13 c ---[340955]---> BDD-cost: 379 31.09/31.14 c ---[340954]---> BDD-cost: 379 31.09/31.15 c ---[340953]---> BDD-cost: 379 31.09/31.15 c ---[340952]---> BDD-cost: 379 31.09/31.16 c ---[340951]---> BDD-cost: 379 31.09/31.17 c ---[340950]---> BDD-cost: 379 31.09/31.18 c ---[340949]---> BDD-cost: 379 31.09/31.19 c ---[340948]---> BDD-cost: 379 31.19/31.20 c ---[340947]---> BDD-cost: 379 31.19/31.21 c ---[340946]---> BDD-cost: 379 31.19/31.22 c ---[340945]---> BDD-cost: 379 31.19/31.23 c ---[340944]---> BDD-cost: 379 31.19/31.23 c ---[340943]---> BDD-cost: 379 31.19/31.24 c ---[340942]---> BDD-cost: 379 31.19/31.25 c ---[340941]---> BDD-cost: 379 31.19/31.26 c ---[340940]---> BDD-cost: 379 31.19/31.27 c ---[340939]---> BDD-cost: 379 31.19/31.28 c ---[340938]---> BDD-cost: 379 31.19/31.29 c ---[340937]---> BDD-cost: 379 31.29/31.30 c ---[340936]---> BDD-cost: 379 31.29/31.31 c ---[340935]---> BDD-cost: 379 31.29/31.32 c ---[340934]---> BDD-cost: 379 31.29/31.32 c ---[340933]---> BDD-cost: 379 31.29/31.33 c ---[340932]---> BDD-cost: 379 31.29/31.34 c ---[340931]---> BDD-cost: 379 31.29/31.35 c ---[340930]---> BDD-cost: 379 31.29/31.36 c ---[340929]---> BDD-cost: 379 31.29/31.37 c ---[340928]---> BDD-cost: 379 31.29/31.38 c ---[340927]---> BDD-cost: 379 31.29/31.39 c ---[340926]---> BDD-cost: 379 31.39/31.40 c ---[340925]---> BDD-cost: 379 31.39/31.40 c ---[340924]---> BDD-cost: 379 31.39/31.41 c ---[340923]---> BDD-cost: 379 31.39/31.42 c ---[340922]---> BDD-cost: 379 31.39/31.43 c ---[340921]---> BDD-cost: 379 31.39/31.44 c ---[340920]---> BDD-cost: 379 31.39/31.45 c ---[340919]---> BDD-cost: 379 31.39/31.46 c ---[340918]---> BDD-cost: 379 31.39/31.47 c ---[340917]---> BDD-cost: 379 31.39/31.48 c ---[340916]---> BDD-cost: 379 31.39/31.49 c ---[340915]---> BDD-cost: 379 31.39/31.49 c ---[340914]---> BDD-cost: 379 31.49/31.50 c ---[340913]---> BDD-cost: 379 31.49/31.51 c ---[340912]---> BDD-cost: 379 31.49/31.52 c ---[340911]---> BDD-cost: 379 31.49/31.53 c ---[340910]---> BDD-cost: 379 31.49/31.54 c ---[340909]---> BDD-cost: 379 31.49/31.55 c ---[340908]---> BDD-cost: 379 31.49/31.56 c ---[340907]---> BDD-cost: 379 31.49/31.57 c ---[340906]---> BDD-cost: 379 31.49/31.57 c ---[340905]---> BDD-cost: 379 31.49/31.58 c ---[340904]---> BDD-cost: 379 31.49/31.59 c ---[340903]---> BDD-cost: 379 31.59/31.60 c ---[340902]---> BDD-cost: 379 31.59/31.61 c ---[340901]---> BDD-cost: 379 31.59/31.62 c ---[340900]---> BDD-cost: 379 31.59/31.63 c ---[340899]---> BDD-cost: 379 31.59/31.64 c ---[340898]---> BDD-cost: 379 31.59/31.65 c ---[340897]---> BDD-cost: 379 31.59/31.65 c ---[340896]---> BDD-cost: 379 31.59/31.66 c ---[340895]---> BDD-cost: 379 31.59/31.67 c ---[340894]---> BDD-cost: 379 31.59/31.68 c ---[340893]---> BDD-cost: 379 31.59/31.69 c ---[340892]---> BDD-cost: 379 31.69/31.70 c ---[340891]---> BDD-cost: 379 31.69/31.71 c ---[340890]---> BDD-cost: 379 31.69/31.72 c ---[340889]---> BDD-cost: 379 31.69/31.73 c ---[340888]---> BDD-cost: 379 31.69/31.74 c ---[340887]---> BDD-cost: 379 31.69/31.74 c ---[340886]---> BDD-cost: 379 31.69/31.75 c ---[340885]---> BDD-cost: 379 31.69/31.76 c ---[340884]---> BDD-cost: 379 31.69/31.77 c ---[340883]---> BDD-cost: 379 31.69/31.78 c ---[340882]---> BDD-cost: 379 31.69/31.79 c ---[340881]---> BDD-cost: 379 31.69/31.80 c ---[340880]---> BDD-cost: 379 31.79/31.81 c ---[340879]---> BDD-cost: 379 31.79/31.82 c ---[340878]---> BDD-cost: 379 31.79/31.82 c ---[340877]---> BDD-cost: 379 31.79/31.83 c ---[340876]---> BDD-cost: 379 31.79/31.84 c ---[340875]---> BDD-cost: 379 31.79/31.85 c ---[340874]---> BDD-cost: 379 31.79/31.86 c ---[340873]---> BDD-cost: 379 31.79/31.87 c ---[340872]---> BDD-cost: 379 31.79/31.88 c ---[340871]---> BDD-cost: 379 31.79/31.89 c ---[340870]---> BDD-cost: 379 31.79/31.90 c ---[340869]---> BDD-cost: 379 31.89/31.91 c ---[340868]---> BDD-cost: 379 31.89/31.91 c ---[340867]---> BDD-cost: 379 31.89/31.92 c ---[340866]---> BDD-cost: 379 31.89/31.93 c ---[340865]---> BDD-cost: 379 31.89/31.94 c ---[340864]---> BDD-cost: 379 31.98/32.03 c ---[340863]---> BDD-cost: 379 31.98/32.04 c ---[340862]---> BDD-cost: 379 31.98/32.05 c ---[340861]---> BDD-cost: 379 31.98/32.05 c ---[340860]---> BDD-cost: 379 31.98/32.06 c ---[340859]---> BDD-cost: 379 31.98/32.07 c ---[340858]---> BDD-cost: 379 31.98/32.08 c ---[340857]---> BDD-cost: 379 31.98/32.09 c ---[340856]---> BDD-cost: 379 32.08/32.10 c ---[340855]---> BDD-cost: 379 32.08/32.11 c ---[340854]---> BDD-cost: 379 32.08/32.12 c ---[340853]---> BDD-cost: 379 32.08/32.13 c ---[340852]---> BDD-cost: 379 32.08/32.13 c ---[340851]---> BDD-cost: 379 32.08/32.14 c ---[340850]---> BDD-cost: 379 32.08/32.15 c ---[340849]---> BDD-cost: 379 32.08/32.16 c ---[340848]---> BDD-cost: 379 32.08/32.17 c ---[340847]---> BDD-cost: 379 32.08/32.18 c ---[340846]---> BDD-cost: 379 32.08/32.19 c ---[340845]---> BDD-cost: 379 32.18/32.20 c ---[340844]---> BDD-cost: 379 32.18/32.21 c ---[340843]---> BDD-cost: 379 32.18/32.22 c ---[340842]---> BDD-cost: 379 32.18/32.22 c ---[340841]---> BDD-cost: 379 32.18/32.23 c ---[340840]---> BDD-cost: 379 32.18/32.24 c ---[340839]---> BDD-cost: 379 32.18/32.25 c ---[340838]---> BDD-cost: 379 32.18/32.26 c ---[340837]---> BDD-cost: 379 32.18/32.27 c ---[340836]---> BDD-cost: 379 32.18/32.28 c ---[340835]---> BDD-cost: 379 32.18/32.29 c ---[340834]---> BDD-cost: 379 32.28/32.30 c ---[340833]---> BDD-cost: 379 32.28/32.31 c ---[340832]---> BDD-cost: 379 32.28/32.31 c ---[340831]---> BDD-cost: 379 32.28/32.32 c ---[340830]---> BDD-cost: 379 32.28/32.33 c ---[340829]---> BDD-cost: 379 32.28/32.34 c ---[340828]---> BDD-cost: 379 32.28/32.35 c ---[340827]---> BDD-cost: 379 32.28/32.36 c ---[340826]---> BDD-cost: 379 32.28/32.37 c ---[340825]---> BDD-cost: 379 32.28/32.38 c ---[340824]---> BDD-cost: 379 32.28/32.39 c ---[340823]---> BDD-cost: 379 32.38/32.40 c ---[340822]---> BDD-cost: 379 32.38/32.40 c ---[340821]---> BDD-cost: 379 32.38/32.41 c ---[340820]---> BDD-cost: 379 32.38/32.42 c ---[340819]---> BDD-cost: 379 32.38/32.43 c ---[340818]---> BDD-cost: 379 32.38/32.44 c ---[340817]---> BDD-cost: 379 32.38/32.45 c ---[340816]---> BDD-cost: 379 32.38/32.46 c ---[340815]---> BDD-cost: 379 32.38/32.47 c ---[340814]---> BDD-cost: 379 32.38/32.48 c ---[340813]---> BDD-cost: 379 32.38/32.49 c ---[340812]---> BDD-cost: 379 32.38/32.49 c ---[340811]---> BDD-cost: 379 32.48/32.50 c ---[340810]---> BDD-cost: 379 32.48/32.51 c ---[340809]---> BDD-cost: 379 32.48/32.52 c ---[340808]---> BDD-cost: 379 32.48/32.53 c ---[340807]---> BDD-cost: 379 32.48/32.54 c ---[340806]---> BDD-cost: 379 32.48/32.55 c ---[340805]---> BDD-cost: 379 32.48/32.56 c ---[340804]---> BDD-cost: 379 32.48/32.57 c ---[340803]---> BDD-cost: 379 32.48/32.58 c ---[340802]---> BDD-cost: 379 32.48/32.58 c ---[340801]---> BDD-cost: 379 32.48/32.59 c ---[340800]---> BDD-cost: 379 32.58/32.60 c ---[340799]---> BDD-cost: 379 32.58/32.61 c ---[340798]---> BDD-cost: 379 32.58/32.62 c ---[340797]---> BDD-cost: 379 32.58/32.63 c ---[340796]---> BDD-cost: 379 32.58/32.64 c ---[340795]---> BDD-cost: 379 32.58/32.65 c ---[340794]---> BDD-cost: 379 32.58/32.66 c ---[340793]---> BDD-cost: 379 32.58/32.67 c ---[340792]---> BDD-cost: 379 32.58/32.67 c ---[340791]---> BDD-cost: 379 32.58/32.68 c ---[340790]---> BDD-cost: 379 32.58/32.69 c ---[340789]---> BDD-cost: 379 32.69/32.70 c ---[340788]---> BDD-cost: 379 32.69/32.71 c ---[340787]---> BDD-cost: 379 32.69/32.72 c ---[340786]---> BDD-cost: 379 32.69/32.73 c ---[340785]---> BDD-cost: 379 32.69/32.74 c ---[340784]---> BDD-cost: 379 32.69/32.75 c ---[340783]---> BDD-cost: 379 32.69/32.76 c ---[340782]---> BDD-cost: 379 32.69/32.76 c ---[340781]---> BDD-cost: 379 32.69/32.77 c ---[340780]---> BDD-cost: 379 32.69/32.78 c ---[340779]---> BDD-cost: 379 32.69/32.79 c ---[340778]---> BDD-cost: 379 32.79/32.80 c ---[340777]---> BDD-cost: 379 32.79/32.81 c ---[340776]---> BDD-cost: 379 32.79/32.82 c ---[340775]---> BDD-cost: 379 32.79/32.83 c ---[340774]---> BDD-cost: 379 32.79/32.84 c ---[340773]---> BDD-cost: 379 32.79/32.84 c ---[340772]---> BDD-cost: 379 32.79/32.85 c ---[340771]---> BDD-cost: 379 32.79/32.86 c ---[340770]---> BDD-cost: 379 32.79/32.87 c ---[340769]---> BDD-cost: 379 32.79/32.88 c ---[340768]---> BDD-cost: 379 32.79/32.89 c ---[340767]---> BDD-cost: 379 32.79/32.90 c ---[340766]---> BDD-cost: 379 32.90/32.91 c ---[340765]---> BDD-cost: 379 32.90/32.92 c ---[340764]---> BDD-cost: 379 32.90/32.92 c ---[340763]---> BDD-cost: 379 32.90/32.93 c ---[340762]---> BDD-cost: 379 32.90/32.94 c ---[340761]---> BDD-cost: 379 32.90/32.95 c ---[340760]---> BDD-cost: 379 32.90/32.96 c ---[340759]---> BDD-cost: 379 32.90/32.97 c ---[340758]---> BDD-cost: 379 32.90/32.98 c ---[340757]---> BDD-cost: 379 32.90/32.99 c ---[340756]---> BDD-cost: 379 32.90/33.00 c ---[340755]---> BDD-cost: 379 33.00/33.01 c ---[340754]---> BDD-cost: 379 33.00/33.01 c ---[340753]---> BDD-cost: 379 33.00/33.02 c ---[340752]---> BDD-cost: 379 33.00/33.03 c ---[340751]---> BDD-cost: 379 33.00/33.04 c ---[340750]---> BDD-cost: 379 33.00/33.05 c ---[340749]---> BDD-cost: 379 33.00/33.06 c ---[340748]---> BDD-cost: 379 33.00/33.07 c ---[340747]---> BDD-cost: 379 33.00/33.08 c ---[340746]---> BDD-cost: 379 33.00/33.09 c ---[340745]---> BDD-cost: 379 33.09/33.10 c ---[340744]---> BDD-cost: 379 33.09/33.10 c ---[340743]---> BDD-cost: 379 33.09/33.11 c ---[340742]---> BDD-cost: 379 33.09/33.12 c ---[340741]---> BDD-cost: 379 33.09/33.13 c ---[340740]---> BDD-cost: 379 33.09/33.14 c ---[340739]---> BDD-cost: 379 33.09/33.15 c ---[340738]---> BDD-cost: 379 33.09/33.16 c ---[340737]---> BDD-cost: 379 33.09/33.17 c ---[340736]---> BDD-cost: 379 33.09/33.18 c ---[340735]---> BDD-cost: 379 33.09/33.19 c ---[340734]---> BDD-cost: 379 33.09/33.19 c ---[340733]---> BDD-cost: 379 33.19/33.20 c ---[340732]---> BDD-cost: 379 33.19/33.21 c ---[340731]---> BDD-cost: 379 33.19/33.22 c ---[340730]---> BDD-cost: 379 33.19/33.23 c ---[340729]---> BDD-cost: 379 33.19/33.24 c ---[340728]---> BDD-cost: 379 33.19/33.25 c ---[340727]---> BDD-cost: 379 33.19/33.26 c ---[340726]---> BDD-cost: 379 33.19/33.27 c ---[340725]---> BDD-cost: 379 33.19/33.27 c ---[340724]---> BDD-cost: 379 33.19/33.28 c ---[340723]---> BDD-cost: 379 33.19/33.29 c ---[340722]---> BDD-cost: 379 33.29/33.30 c ---[340721]---> BDD-cost: 379 33.29/33.31 c ---[340720]---> BDD-cost: 379 33.29/33.32 c ---[340719]---> BDD-cost: 379 33.29/33.33 c ---[340718]---> BDD-cost: 379 33.29/33.34 c ---[340717]---> BDD-cost: 379 33.29/33.35 c ---[340716]---> BDD-cost: 379 33.29/33.36 c ---[340715]---> BDD-cost: 379 33.29/33.36 c ---[340714]---> BDD-cost: 379 33.29/33.37 c ---[340713]---> BDD-cost: 379 33.29/33.38 c ---[340712]---> BDD-cost: 379 33.29/33.39 c ---[340711]---> BDD-cost: 379 33.39/33.40 c ---[340710]---> BDD-cost: 379 33.39/33.41 c ---[340709]---> BDD-cost: 379 33.39/33.42 c ---[340708]---> BDD-cost: 379 33.39/33.43 c ---[340707]---> BDD-cost: 379 33.39/33.44 c ---[340706]---> BDD-cost: 379 33.39/33.45 c ---[340705]---> BDD-cost: 379 33.39/33.45 c ---[340704]---> BDD-cost: 379 33.39/33.46 c ---[340703]---> BDD-cost: 379 33.39/33.47 c ---[340702]---> BDD-cost: 379 33.39/33.48 c ---[340701]---> BDD-cost: 379 33.39/33.49 c ---[340700]---> BDD-cost: 379 33.49/33.50 c ---[340699]---> BDD-cost: 379 33.49/33.51 c ---[340698]---> BDD-cost: 379 33.49/33.52 c ---[340697]---> BDD-cost: 379 33.49/33.53 c ---[340696]---> BDD-cost: 379 33.49/33.54 c ---[340695]---> BDD-cost: 379 33.49/33.54 c ---[340694]---> BDD-cost: 379 33.49/33.55 c ---[340693]---> BDD-cost: 379 33.49/33.56 c ---[340692]---> BDD-cost: 379 33.49/33.57 c ---[340691]---> BDD-cost: 379 33.49/33.58 c ---[340690]---> BDD-cost: 379 33.49/33.59 c ---[340689]---> BDD-cost: 379 33.59/33.60 c ---[340688]---> BDD-cost: 379 33.59/33.61 c ---[340687]---> BDD-cost: 379 33.59/33.62 c ---[340686]---> BDD-cost: 379 33.59/33.63 c ---[340685]---> BDD-cost: 379 33.59/33.63 c ---[340684]---> BDD-cost: 379 33.59/33.64 c ---[340683]---> BDD-cost: 379 33.59/33.65 c ---[340682]---> BDD-cost: 379 33.59/33.66 c ---[340681]---> BDD-cost: 379 33.59/33.67 c ---[340680]---> BDD-cost: 379 33.59/33.68 c ---[340679]---> BDD-cost: 379 33.59/33.69 c ---[340678]---> BDD-cost: 379 33.69/33.70 c ---[340677]---> BDD-cost: 379 33.69/33.71 c ---[340676]---> BDD-cost: 379 33.69/33.72 c ---[340675]---> BDD-cost: 379 33.69/33.72 c ---[340674]---> BDD-cost: 379 33.69/33.73 c ---[340673]---> BDD-cost: 379 33.69/33.74 c ---[340672]---> BDD-cost: 379 33.69/33.75 c ---[340671]---> BDD-cost: 379 33.69/33.76 c ---[340670]---> BDD-cost: 379 33.69/33.77 c ---[340669]---> BDD-cost: 379 33.69/33.78 c ---[340668]---> BDD-cost: 379 33.69/33.79 c ---[340667]---> BDD-cost: 379 33.79/33.80 c ---[340666]---> BDD-cost: 379 33.79/33.80 c ---[340665]---> BDD-cost: 379 33.79/33.81 c ---[340664]---> BDD-cost: 379 33.79/33.82 c ---[340663]---> BDD-cost: 379 33.79/33.83 c ---[340662]---> BDD-cost: 379 33.79/33.84 c ---[340661]---> BDD-cost: 379 33.79/33.85 c ---[340660]---> BDD-cost: 379 33.79/33.86 c ---[340659]---> BDD-cost: 379 33.79/33.87 c ---[340658]---> BDD-cost: 379 33.79/33.88 c ---[340657]---> BDD-cost: 379 33.79/33.89 c ---[340656]---> BDD-cost: 379 33.79/33.89 c ---[340655]---> BDD-cost: 379 33.89/33.90 c ---[340654]---> BDD-cost: 379 33.89/33.91 c ---[340653]---> BDD-cost: 379 33.89/33.92 c ---[340652]---> BDD-cost: 379 33.89/33.93 c ---[340651]---> BDD-cost: 379 33.89/33.94 c ---[340650]---> BDD-cost: 379 33.89/33.95 c ---[340649]---> BDD-cost: 379 33.89/33.96 c ---[340648]---> BDD-cost: 379 33.89/33.97 c ---[340647]---> BDD-cost: 379 33.89/33.98 c ---[340646]---> BDD-cost: 379 33.89/33.98 c ---[340645]---> BDD-cost: 379 33.89/33.99 c ---[340644]---> BDD-cost: 379 33.99/34.00 c ---[340643]---> BDD-cost: 379 33.99/34.01 c ---[340642]---> BDD-cost: 379 33.99/34.02 c ---[340641]---> BDD-cost: 379 33.99/34.03 c ---[340640]---> BDD-cost: 379 33.99/34.04 c ---[340639]---> BDD-cost: 379 33.99/34.05 c ---[340638]---> BDD-cost: 379 33.99/34.06 c ---[340637]---> BDD-cost: 379 33.99/34.07 c ---[340636]---> BDD-cost: 379 33.99/34.07 c ---[340635]---> BDD-cost: 379 33.99/34.08 c ---[340634]---> BDD-cost: 379 33.99/34.09 c ---[340633]---> BDD-cost: 379 33.99/34.10 c ---[340632]---> BDD-cost: 379 34.09/34.11 c ---[340631]---> BDD-cost: 379 34.09/34.12 c ---[340630]---> BDD-cost: 379 34.09/34.13 c ---[340629]---> BDD-cost: 379 34.09/34.14 c ---[340628]---> BDD-cost: 379 34.09/34.15 c ---[340627]---> BDD-cost: 379 34.09/34.16 c ---[340626]---> BDD-cost: 379 34.09/34.16 c ---[340625]---> BDD-cost: 379 34.09/34.17 c ---[340624]---> BDD-cost: 379 34.09/34.18 c ---[340623]---> BDD-cost: 379 34.09/34.19 c ---[340622]---> BDD-cost: 379 34.19/34.20 c ---[340621]---> BDD-cost: 379 34.19/34.21 c ---[340620]---> BDD-cost: 379 34.19/34.22 c ---[340619]---> BDD-cost: 379 34.19/34.23 c ---[340618]---> BDD-cost: 379 34.19/34.24 c ---[340617]---> BDD-cost: 379 34.19/34.24 c ---[340616]---> BDD-cost: 379 34.19/34.25 c ---[340615]---> BDD-cost: 379 34.19/34.26 c ---[340614]---> BDD-cost: 379 34.19/34.27 c ---[340613]---> BDD-cost: 379 34.19/34.28 c ---[340612]---> BDD-cost: 379 34.19/34.29 c ---[340611]---> BDD-cost: 379 34.29/34.30 c ---[340610]---> BDD-cost: 379 34.29/34.31 c ---[340609]---> BDD-cost: 379 34.29/34.32 c ---[340608]---> BDD-cost: 379 34.29/34.33 c ---[340607]---> BDD-cost: 379 34.29/34.33 c ---[340606]---> BDD-cost: 379 34.29/34.34 c ---[340605]---> BDD-cost: 379 34.29/34.35 c ---[340604]---> BDD-cost: 379 34.29/34.36 c ---[340603]---> BDD-cost: 379 34.29/34.37 c ---[340602]---> BDD-cost: 379 34.29/34.38 c ---[340601]---> BDD-cost: 379 34.29/34.39 c ---[340600]---> BDD-cost: 379 34.39/34.40 c ---[340599]---> BDD-cost: 379 34.39/34.41 c ---[340598]---> BDD-cost: 379 34.39/34.42 c ---[340597]---> BDD-cost: 379 34.39/34.42 c ---[340596]---> BDD-cost: 379 34.39/34.43 c ---[340595]---> BDD-cost: 379 34.39/34.44 c ---[340594]---> BDD-cost: 379 34.39/34.45 c ---[340593]---> BDD-cost: 379 34.39/34.46 c ---[340592]---> BDD-cost: 379 34.39/34.47 c ---[340591]---> BDD-cost: 379 34.39/34.48 c ---[340590]---> BDD-cost: 379 34.39/34.49 c ---[340589]---> BDD-cost: 379 34.49/34.50 c ---[340588]---> BDD-cost: 379 34.49/34.51 c ---[340587]---> BDD-cost: 379 34.49/34.51 c ---[340586]---> BDD-cost: 379 34.49/34.52 c ---[340585]---> BDD-cost: 379 34.49/34.53 c ---[340584]---> BDD-cost: 379 34.49/34.54 c ---[340583]---> BDD-cost: 379 34.49/34.55 c ---[340582]---> BDD-cost: 379 34.49/34.56 c ---[340581]---> BDD-cost: 379 34.49/34.57 c ---[340580]---> BDD-cost: 379 34.49/34.58 c ---[340579]---> BDD-cost: 379 34.49/34.59 c ---[340578]---> BDD-cost: 379 34.49/34.59 c ---[340577]---> BDD-cost: 379 34.59/34.60 c ---[340576]---> BDD-cost: 379 34.59/34.61 c ---[340575]---> BDD-cost: 379 34.59/34.62 c ---[340574]---> BDD-cost: 379 34.59/34.63 c ---[340573]---> BDD-cost: 379 34.59/34.64 c ---[340572]---> BDD-cost: 379 34.59/34.65 c ---[340571]---> BDD-cost: 379 34.59/34.66 c ---[340570]---> BDD-cost: 379 34.59/34.67 c ---[340569]---> BDD-cost: 379 34.59/34.68 c ---[340568]---> BDD-cost: 379 34.59/34.68 c ---[340567]---> BDD-cost: 379 34.59/34.69 c ---[340566]---> BDD-cost: 379 34.69/34.70 c ---[340565]---> BDD-cost: 379 34.69/34.71 c ---[340564]---> BDD-cost: 379 34.69/34.72 c ---[340563]---> BDD-cost: 379 34.69/34.73 c ---[340562]---> BDD-cost: 379 34.69/34.74 c ---[340561]---> BDD-cost: 379 34.69/34.75 c ---[340560]---> BDD-cost: 379 34.69/34.76 c ---[340559]---> BDD-cost: 379 34.69/34.77 c ---[340558]---> BDD-cost: 379 34.69/34.77 c ---[340557]---> BDD-cost: 379 34.69/34.78 c ---[340556]---> BDD-cost: 379 34.69/34.79 c ---[340555]---> BDD-cost: 379 34.79/34.80 c ---[340554]---> BDD-cost: 379 34.79/34.81 c ---[ 0]--->
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3722331-1338565182/watcher-3722331-1338565182 -o /tmp/evaluation-result-3722331-1338565182/solver-3722331-1338565182 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3722331-1338565182.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.67 2.22 2.08 3/179 27591 /proc/meminfo: memFree=28996124/32873844 swapFree=7380/7380 [pid=27591] ppid=27589 vsize=2052 CPUtime=0 cores=0,2,4,6 /proc/27591/stat : 27591 (minisat+) R 27589 27591 25790 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 322643123 2101248 288 33554432000 134512640 135395479 4292304464 4292303384 135031278 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27591/statm: 513 288 67 216 0 295 0 [startup+0.0487409 s] /proc/loadavg: 2.67 2.22 2.08 3/179 27591 /proc/meminfo: memFree=28996124/32873844 swapFree=7380/7380 [pid=27591] ppid=27589 vsize=6956 CPUtime=0.04 cores=0,2,4,6 /proc/27591/stat : 27591 (minisat+) R 27589 27591 25790 0 -1 4202496 1527 0 0 0 4 0 0 0 20 0 1 0 322643123 7122944 1430 33554432000 134512640 135395479 4292304464 4292303228 135007481 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27591/statm: 1739 1430 67 216 0 1521 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 6956 [startup+0.100285 s] /proc/loadavg: 2.67 2.22 2.08 3/179 27591 /proc/meminfo: memFree=28996124/32873844 swapFree=7380/7380 [pid=27591] ppid=27589 vsize=13752 CPUtime=0.09 cores=0,2,4,6 /proc/27591/stat : 27591 (minisat+) R 27589 27591 25790 0 -1 4202496 2987 0 0 0 9 0 0 0 20 0 1 0 322643123 14082048 2807 33554432000 134512640 135395479 4292304464 4292303196 135007481 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27591/statm: 3438 2807 67 216 0 3220 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13752 [startup+0.300263 s] /proc/loadavg: 2.67 2.22 2.08 3/179 27591 /proc/meminfo: memFree=28996124/32873844 swapFree=7380/7380 [pid=27591] ppid=27589 vsize=38516 CPUtime=0.29 cores=0,2,4,6 /proc/27591/stat : 27591 (minisat+) R 27589 27591 25790 0 -1 4202496 8884 0 0 0 28 1 0 0 20 0 1 0 322643123 39440384 8209 33554432000 134512640 135395479 4292304464 4292303196 135007481 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27591/statm: 9629 8209 67 216 0 9411 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 38516 [startup+0.700248 s] /proc/loadavg: 2.67 2.22 2.08 3/179 27591 /proc/meminfo: memFree=28996124/32873844 swapFree=7380/7380 [pid=27591] ppid=27589 vsize=56316 CPUtime=0.69 cores=0,2,4,6 /proc/27591/stat : 27591 (minisat+) R 27589 27591 25790 0 -1 4202496 14316 0 0 0 67 2 0 0 20 0 1 0 322643123 57667584 13107 33554432000 134512640 135395479 4292304464 4292303432 135031278 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27591/statm: 14079 13107 74 216 0 13861 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 56316 [startup+1.50021 s] /proc/loadavg: 2.67 2.22 2.08 3/180 27592 /proc/meminfo: memFree=28917500/32873844 swapFree=7380/7380 [pid=27591] ppid=27589 vsize=71324 CPUtime=1.49 cores=0,2,4,6 /proc/27591/stat : 27591 (minisat+) R 27589 27591 25790 0 -1 4202496 17113 0 0 0 147 2 0 0 20 0 1 0 322643123 73035776 15904 33554432000 134512640 135395479 4292304464 4292303432 135031278 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27591/statm: 17831 15905 74 216 0 17613 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 71324 [startup+3.1002 s] /proc/loadavg: 2.67 2.22 2.08 3/180 27592 /proc/meminfo: memFree=28875732/32873844 swapFree=7380/7380 [pid=27591] ppid=27589 vsize=97788 CPUtime=3.09 cores=0,2,4,6 /proc/27591/stat : 27591 (minisat+) R 27589 27591 25790 0 -1 4202496 22485 0 0 0 305 4 0 0 20 0 1 0 322643123 100134912 21639 33554432000 134512640 135395479 4292304464 4292303432 135031278 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27591/statm: 24447 21639 74 216 0 24229 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 97788 [startup+6.30022 s] /proc/loadavg: 2.62 2.22 2.08 3/180 27592 /proc/meminfo: memFree=28740628/32873844 swapFree=7380/7380 [pid=27591] ppid=27589 vsize=150156 CPUtime=6.29 cores=0,2,4,6 /proc/27591/stat : 27591 (minisat+) R 27589 27591 25790 0 -1 4202496 36124 0 0 0 622 7 0 0 20 0 1 0 322643123 153759744 35789 33554432000 134512640 135395479 4292304464 4292303432 135031278 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27591/statm: 37539 35789 74 216 0 37321 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 150156 [startup+12.7002 s] /proc/loadavg: 2.57 2.21 2.08 3/179 27592 /proc/meminfo: memFree=28449840/32873844 swapFree=7380/7380 [pid=27591] ppid=27589 vsize=337356 CPUtime=12.68 cores=0,2,4,6 /proc/27591/stat : 27591 (minisat+) R 27589 27591 25790 0 -1 4202496 82660 0 0 0 1254 14 0 0 20 0 1 0 322643123 345452544 82068 33554432000 134512640 135395479 4292304464 4292296876 134809796 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27591/statm: 84339 82068 74 216 0 84121 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 337356 [startup+25.5002 s] /proc/loadavg: 2.52 2.22 2.09 3/180 27595 /proc/meminfo: memFree=28472744/32873844 swapFree=7380/7380 [pid=27591] ppid=27589 vsize=292280 CPUtime=25.49 cores=0,2,4,6 /proc/27591/stat : 27591 (minisat+) R 27589 27591 25790 0 -1 4202496 87354 0 0 0 2517 32 0 0 20 0 1 0 322643123 299294720 71108 33554432000 134512640 135395479 4292304464 4292303124 135003874 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27591/statm: 73070 71108 88 216 0 72852 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 292280 Solver just ended. Dumping a history of the last processes samples [startup+38.3002 s] /proc/loadavg: 2.44 2.21 2.09 1/182 27597 /proc/meminfo: memFree=27159152/32873844 swapFree=7380/7380 [pid=27591] ppid=27589 vsize=336044 CPUtime=35.66 cores=0,2,4,6 /proc/27591/stat : 27591 (minisat+) S 27589 27591 25790 0 -1 4204032 97178 0 0 0 3506 60 0 0 20 0 1 0 322643123 344109056 81781 33554432000 134512640 135395479 4292304464 4279730156 135005802 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/27591/statm: 84011 81781 89 216 0 83793 0 Current children cumulated CPU time (s) 35.66 Current children cumulated vsize (KiB) 336044 [startup+44.7002 s] /proc/loadavg: 2.56 2.24 2.10 1/177 27623 /proc/meminfo: memFree=27998344/32873844 swapFree=7380/7380 [pid=27591] ppid=27589 vsize=336044 CPUtime=35.66 cores=0,2,4,6 /proc/27591/stat : 27591 (minisat+) S 27589 27591 25790 0 -1 4204032 97178 0 0 0 3506 60 0 0 20 0 1 0 322643123 344109056 81781 33554432000 134512640 135395479 4292304464 4279730156 135005802 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/27591/statm: 84011 81781 89 216 0 83793 0 Current children cumulated CPU time (s) 35.66 Current children cumulated vsize (KiB) 336044 [startup+47.9002 s] /proc/loadavg: 2.68 2.27 2.11 1/176 27626 /proc/meminfo: memFree=28089972/32873844 swapFree=7380/7380 [pid=27591] ppid=27589 vsize=336044 CPUtime=35.66 cores=0,2,4,6 /proc/27591/stat : 27591 (minisat+) S 27589 27591 25790 0 -1 4204032 97178 0 0 0 3506 60 0 0 20 0 1 0 322643123 344109056 81781 33554432000 134512640 135395479 4292304464 4279730156 135005802 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/27591/statm: 84011 81781 89 216 0 83793 0 Current children cumulated CPU time (s) 35.66 Current children cumulated vsize (KiB) 336044 [startup+49.5064 s] /proc/loadavg: 2.78 2.30 2.12 2/181 27645 /proc/meminfo: memFree=28056004/32873844 swapFree=7380/7380 [pid=27591] ppid=27589 vsize=336044 CPUtime=35.66 cores=0,2,4,6 /proc/27591/stat : 27591 (minisat+) S 27589 27591 25790 0 -1 4204032 97178 0 0 0 3506 60 0 0 20 0 1 0 322643123 344109056 81781 33554432000 134512640 135395479 4292304464 4279730156 135005802 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/27591/statm: 84011 81781 89 216 0 83793 0 Current children cumulated CPU time (s) 35.66 Current children cumulated vsize (KiB) 336044 [startup+49.9002 s] /proc/loadavg: 2.78 2.30 2.12 2/181 27645 /proc/meminfo: memFree=28056004/32873844 swapFree=7380/7380 [pid=27591] ppid=27589 vsize=336044 CPUtime=35.66 cores=0,2,4,6 /proc/27591/stat : 27591 (minisat+) S 27589 27591 25790 0 -1 4204032 97178 0 0 0 3506 60 0 0 20 0 1 0 322643123 344109056 81781 33554432000 134512640 135395479 4292304464 4279730156 135005802 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/27591/statm: 84011 81781 89 216 0 83793 0 Current children cumulated CPU time (s) 35.66 Current children cumulated vsize (KiB) 336044 [startup+50.1003 s] /proc/loadavg: 2.78 2.30 2.12 2/181 27645 /proc/meminfo: memFree=28056004/32873844 swapFree=7380/7380 [pid=27591] ppid=27589 vsize=336044 CPUtime=35.66 cores=0,2,4,6 /proc/27591/stat : 27591 (minisat+) S 27589 27591 25790 0 -1 4204032 97178 0 0 0 3506 60 0 0 20 0 1 0 322643123 344109056 81781 33554432000 134512640 135395479 4292304464 4279730156 135005802 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/27591/statm: 84011 81781 89 216 0 83793 0 Current children cumulated CPU time (s) 35.66 Current children cumulated vsize (KiB) 336044 Child ended because it received signal 11 (SIGSEGV) Child dumped core Real time (s): 50.1317 CPU time (s): 35.6876 CPU user time (s): 35.0607 CPU system time (s): 0.626904 CPU usage (%): 71.1876 Max. virtual memory (cumulated for all children) (KiB): 337356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 35.0607 system time used= 0.626904 maximum resident set size= 328272 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 97178 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 76573 involuntary context switches= 38 runsolver used 0.255961 second user time and 0.532918 second system time The end
Begin job on node133 at 2012-06-01 17:39:43 IDJOB=3722331 IDBENCH=92155 IDSOLVER=2306 FILE ID=node133/3722331-1338565182 RUNJOBID= node133-1338552574-25806 PBS_JOBID= 14635851 Free space on /tmp= 70424 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX180_K192_cod1.opb COMMAND LINE= HOME/minisat+ BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3722331-1338565182/watcher-3722331-1338565182 -o /tmp/evaluation-result-3722331-1338565182/solver-3722331-1338565182 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3722331-1338565182.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2a10ffb4379dcfb9c244e555ac5887ed RANDOM SEED=74234485 node133.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.08 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28997876 kB Buffers: 328696 kB Cached: 2628112 kB SwapCached: 676 kB Active: 1382228 kB Inactive: 1621496 kB Active(anon): 38288 kB Inactive(anon): 10240 kB Active(file): 1343940 kB Inactive(file): 1611256 kB Unevictable: 7380 kB Mlocked: 7380 kB SwapTotal: 67108856 kB SwapFree: 67107040 kB Dirty: 65060 kB Writeback: 0 kB AnonPages: 53212 kB Mapped: 10664 kB Shmem: 0 kB Slab: 733428 kB SReclaimable: 174020 kB SUnreclaim: 559408 kB KernelStack: 1472 kB PageTables: 4100 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 163148 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3722331-1338565182.opb Free space on /tmp at the end= 70120 MiB End job on node133 at 2012-06-01 17:40:34