Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: minisat+ 1.14 | Signal | 34.1658 | 42.3268 |
Name | /OPT-BIGINT-LIN/sroussel/NG/ normalized-NG.dot_unif_0null20mast_rapportOE2.0_TMAX120_K192_cod2.opb |
MD5SUM | ebc55ee99ce38561d9e6a8d277ae7659 |
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 | -14045 |
Best CPU time to get the best result obtained on this benchmark | 1800.31 |
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 | 400896 |
Total number of constraints | 402763 |
Number of constraints which are clauses | 400785 |
Number of constraints which are cardinality constraints (but not clauses) | 194 |
Number of constraints which are nor clauses,nor cardinality constraints | 1784 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 58023 |
Number of terms in the objective function | 1783 |
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 | 1069402 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 1000 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 1069402 |
Number of bits of the biggest sum of numbers | 21 |
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... 12.38/12.40 c Converting 402763 PB-constraints to clauses... 12.38/12.48 c -- Unit propagations: (none) 12.48/12.50 c -- Detecting intervals from adjacent constraints: ######################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################### 12.69/12.76 c -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 13.19/13.20 c ---[402761]---> BDD-cost: 5 13.19/13.20 c ---[402759]---> BDD-cost: 7 13.19/13.20 c ---[344502]---> BDD-cost: 602 13.19/13.23 c ---[344500]---> BDD-cost: 607 13.19/13.25 c ---[344498]---> BDD-cost: 607 13.19/13.27 c ---[344496]---> BDD-cost: 607 13.19/13.29 c ---[344494]---> BDD-cost: 607 13.29/13.31 c ---[344492]---> BDD-cost: 607 13.29/13.33 c ---[344490]---> BDD-cost: 607 13.29/13.36 c ---[344488]---> BDD-cost: 607 13.29/13.38 c ---[344486]---> BDD-cost: 607 13.39/13.40 c ---[344484]---> BDD-cost: 607 13.39/13.42 c ---[344482]---> BDD-cost: 607 13.39/13.44 c ---[344480]---> BDD-cost: 607 13.39/13.47 c ---[344478]---> BDD-cost: 607 13.39/13.49 c ---[344476]---> BDD-cost: 607 13.49/13.51 c ---[344474]---> BDD-cost: 607 13.49/13.53 c ---[344472]---> BDD-cost: 607 13.49/13.55 c ---[344470]---> BDD-cost: 607 13.49/13.58 c ---[344468]---> BDD-cost: 607 13.59/13.60 c ---[344466]---> BDD-cost: 607 13.59/13.62 c ---[344464]---> BDD-cost: 607 13.59/13.64 c ---[344462]---> BDD-cost: 607 13.59/13.66 c ---[344460]---> BDD-cost: 607 13.59/13.68 c ---[344458]---> BDD-cost: 607 13.69/13.71 c ---[344456]---> BDD-cost: 607 13.69/13.73 c ---[344454]---> BDD-cost: 607 13.69/13.75 c ---[344452]---> BDD-cost: 607 13.69/13.77 c ---[344450]---> BDD-cost: 607 13.69/13.79 c ---[344448]---> BDD-cost: 607 13.79/13.82 c ---[344446]---> BDD-cost: 607 13.79/13.84 c ---[344444]---> BDD-cost: 607 13.79/13.86 c ---[344442]---> BDD-cost: 607 13.79/13.88 c ---[344440]---> BDD-cost: 607 13.89/13.90 c ---[344438]---> BDD-cost: 607 13.89/13.92 c ---[344436]---> BDD-cost: 607 13.89/13.95 c ---[344434]---> BDD-cost: 607 13.89/13.97 c ---[344432]---> BDD-cost: 607 13.89/13.99 c ---[344430]---> BDD-cost: 607 13.99/14.01 c ---[344428]---> BDD-cost: 607 13.99/14.03 c ---[344426]---> BDD-cost: 607 13.99/14.06 c ---[344424]---> BDD-cost: 607 13.99/14.08 c ---[344422]---> BDD-cost: 607 14.09/14.10 c ---[344420]---> BDD-cost: 607 14.09/14.12 c ---[344418]---> BDD-cost: 607 14.09/14.14 c ---[344416]---> BDD-cost: 607 14.09/14.17 c ---[344414]---> BDD-cost: 607 14.09/14.19 c ---[344412]---> BDD-cost: 607 14.19/14.21 c ---[344410]---> BDD-cost: 607 14.19/14.23 c ---[344408]---> BDD-cost: 607 14.19/14.25 c ---[344406]---> BDD-cost: 607 14.19/14.27 c ---[344404]---> BDD-cost: 607 14.19/14.30 c ---[344402]---> BDD-cost: 607 14.29/14.32 c ---[344400]---> BDD-cost: 607 14.29/14.34 c ---[344398]---> BDD-cost: 607 14.29/14.36 c ---[344396]---> BDD-cost: 607 14.29/14.38 c ---[344394]---> BDD-cost: 607 14.39/14.41 c ---[344392]---> BDD-cost: 607 14.39/14.43 c ---[344390]---> BDD-cost: 607 14.39/14.45 c ---[344388]---> BDD-cost: 607 14.39/14.47 c ---[344386]---> BDD-cost: 607 14.39/14.49 c ---[344384]---> BDD-cost: 607 14.48/14.51 c ---[344382]---> BDD-cost: 607 14.48/14.54 c ---[344380]---> BDD-cost: 607 14.48/14.56 c ---[344378]---> BDD-cost: 607 14.48/14.58 c ---[344376]---> BDD-cost: 607 14.58/14.60 c ---[344374]---> BDD-cost: 607 14.58/14.62 c ---[344372]---> BDD-cost: 607 14.58/14.65 c ---[344370]---> BDD-cost: 607 14.58/14.67 c ---[344368]---> BDD-cost: 607 14.58/14.69 c ---[344366]---> BDD-cost: 607 14.68/14.71 c ---[344364]---> BDD-cost: 607 14.68/14.73 c ---[344362]---> BDD-cost: 607 14.68/14.76 c ---[344360]---> BDD-cost: 607 14.68/14.78 c ---[344358]---> BDD-cost: 607 14.78/14.80 c ---[344356]---> BDD-cost: 607 14.78/14.82 c ---[344354]---> BDD-cost: 607 14.78/14.84 c ---[344352]---> BDD-cost: 607 14.78/14.87 c ---[344350]---> BDD-cost: 607 14.78/14.89 c ---[344348]---> BDD-cost: 607 14.88/14.91 c ---[344346]---> BDD-cost: 607 14.88/14.93 c ---[344344]---> BDD-cost: 607 14.88/14.95 c ---[344342]---> BDD-cost: 607 14.88/14.97 c ---[344340]---> BDD-cost: 607 14.98/15.00 c ---[344338]---> BDD-cost: 607 14.98/15.02 c ---[344336]---> BDD-cost: 607 14.98/15.04 c ---[344334]---> BDD-cost: 607 14.98/15.06 c ---[344332]---> BDD-cost: 607 14.98/15.08 c ---[344330]---> BDD-cost: 607 15.08/15.11 c ---[344328]---> BDD-cost: 607 15.08/15.13 c ---[344326]---> BDD-cost: 607 15.08/15.15 c ---[344324]---> BDD-cost: 607 15.08/15.17 c ---[344322]---> BDD-cost: 607 15.08/15.19 c ---[344320]---> BDD-cost: 607 15.18/15.21 c ---[344318]---> BDD-cost: 607 15.18/15.24 c ---[344316]---> BDD-cost: 607 15.18/15.26 c ---[344314]---> BDD-cost: 607 15.18/15.28 c ---[344312]---> BDD-cost: 607 15.29/15.30 c ---[344310]---> BDD-cost: 607 15.29/15.32 c ---[344308]---> BDD-cost: 607 15.29/15.35 c ---[344306]---> BDD-cost: 607 15.29/15.37 c ---[344304]---> BDD-cost: 607 15.29/15.39 c ---[344302]---> BDD-cost: 607 15.39/15.41 c ---[344300]---> BDD-cost: 607 15.39/15.43 c ---[344298]---> BDD-cost: 607 15.39/15.45 c ---[344296]---> BDD-cost: 607 15.39/15.48 c ---[344294]---> BDD-cost: 607 15.48/15.50 c ---[344292]---> BDD-cost: 607 15.48/15.52 c ---[344290]---> BDD-cost: 607 15.48/15.54 c ---[344288]---> BDD-cost: 607 15.48/15.56 c ---[344286]---> BDD-cost: 607 15.48/15.59 c ---[344284]---> BDD-cost: 607 15.58/15.61 c ---[344282]---> BDD-cost: 607 15.58/15.63 c ---[344280]---> BDD-cost: 607 15.58/15.65 c ---[344278]---> BDD-cost: 607 15.58/15.67 c ---[344276]---> BDD-cost: 607 15.58/15.69 c ---[344274]---> BDD-cost: 607 15.68/15.72 c ---[344272]---> BDD-cost: 607 15.68/15.74 c ---[344270]---> BDD-cost: 607 15.68/15.76 c ---[344268]---> BDD-cost: 607 15.68/15.78 c ---[344266]---> BDD-cost: 607 15.78/15.80 c ---[344264]---> BDD-cost: 607 15.78/15.83 c ---[344262]---> BDD-cost: 607 15.78/15.85 c ---[344260]---> BDD-cost: 607 15.78/15.87 c ---[344258]---> BDD-cost: 607 15.78/15.89 c ---[344256]---> BDD-cost: 607 15.88/15.91 c ---[344254]---> BDD-cost: 607 15.88/15.93 c ---[344252]---> BDD-cost: 607 15.88/15.96 c ---[344250]---> BDD-cost: 607 15.88/15.98 c ---[344248]---> BDD-cost: 607 15.98/16.00 c ---[344246]---> BDD-cost: 607 15.98/16.02 c ---[344244]---> BDD-cost: 607 15.98/16.04 c ---[344242]---> BDD-cost: 607 15.98/16.07 c ---[344240]---> BDD-cost: 607 15.98/16.09 c ---[344238]---> BDD-cost: 607 16.08/16.11 c ---[344236]---> BDD-cost: 607 16.08/16.13 c ---[344234]---> BDD-cost: 607 16.08/16.15 c ---[344232]---> BDD-cost: 607 16.08/16.17 c ---[344230]---> BDD-cost: 607 16.18/16.20 c ---[344228]---> BDD-cost: 607 16.18/16.22 c ---[344226]---> BDD-cost: 607 16.18/16.24 c ---[344224]---> BDD-cost: 607 16.18/16.27 c ---[344222]---> BDD-cost: 607 16.18/16.29 c ---[344220]---> BDD-cost: 607 16.28/16.31 c ---[344218]---> BDD-cost: 607 16.28/16.33 c ---[344216]---> BDD-cost: 607 16.28/16.35 c ---[344214]---> BDD-cost: 607 16.28/16.38 c ---[344212]---> BDD-cost: 607 16.28/16.40 c ---[344210]---> BDD-cost: 607 16.39/16.42 c ---[344208]---> BDD-cost: 607 16.39/16.44 c ---[344206]---> BDD-cost: 607 16.39/16.46 c ---[344204]---> BDD-cost: 607 16.39/16.49 c ---[344202]---> BDD-cost: 607 16.49/16.51 c ---[344200]---> BDD-cost: 607 16.49/16.53 c ---[344198]---> BDD-cost: 607 16.49/16.55 c ---[344196]---> BDD-cost: 607 16.49/16.57 c ---[344194]---> BDD-cost: 607 16.49/16.59 c ---[344192]---> BDD-cost: 607 16.58/16.62 c ---[344190]---> BDD-cost: 607 16.58/16.64 c ---[344188]---> BDD-cost: 607 16.58/16.66 c ---[344186]---> BDD-cost: 607 16.58/16.68 c ---[344184]---> BDD-cost: 607 16.68/16.70 c ---[344182]---> BDD-cost: 607 16.68/16.73 c ---[344180]---> BDD-cost: 607 16.68/16.75 c ---[344178]---> BDD-cost: 607 16.68/16.77 c ---[344176]---> BDD-cost: 607 16.68/16.79 c ---[344174]---> BDD-cost: 607 16.78/16.81 c ---[344172]---> BDD-cost: 607 16.78/16.83 c ---[344170]---> BDD-cost: 607 16.78/16.86 c ---[344168]---> BDD-cost: 607 16.78/16.88 c ---[344166]---> BDD-cost: 607 16.88/16.90 c ---[344164]---> BDD-cost: 607 16.88/16.92 c ---[344162]---> BDD-cost: 607 16.88/16.94 c ---[344160]---> BDD-cost: 607 16.88/16.97 c ---[344158]---> BDD-cost: 607 16.88/16.99 c ---[344156]---> BDD-cost: 607 16.98/17.01 c ---[344154]---> BDD-cost: 607 16.98/17.03 c ---[344152]---> BDD-cost: 607 16.98/17.05 c ---[344150]---> BDD-cost: 607 16.98/17.08 c ---[344148]---> BDD-cost: 607 17.08/17.10 c ---[344146]---> BDD-cost: 607 17.08/17.12 c ---[344144]---> BDD-cost: 607 17.08/17.14 c ---[344142]---> BDD-cost: 607 17.08/17.16 c ---[344140]---> BDD-cost: 607 17.08/17.18 c ---[344138]---> BDD-cost: 607 17.18/17.21 c ---[344136]---> BDD-cost: 607 17.18/17.23 c ---[344134]---> BDD-cost: 607 17.18/17.25 c ---[344132]---> BDD-cost: 607 17.18/17.27 c ---[344130]---> BDD-cost: 607 17.18/17.29 c ---[344128]---> BDD-cost: 607 17.28/17.32 c ---[344126]---> BDD-cost: 607 17.28/17.34 c ---[344124]---> BDD-cost: 607 17.28/17.36 c ---[344122]---> BDD-cost: 607 17.28/17.38 c ---[344120]---> BDD-cost: 600 17.38/17.40 c ---[3565]---> BDD-cost: 381 17.38/17.48 c ---[3563]---> BDD-cost: 381 17.38/17.48 c ---[3561]---> BDD-cost: 381 17.38/17.48 c ---[3559]---> BDD-cost: 381 17.38/17.48 c ---[3557]---> BDD-cost: 381 17.38/17.48 c ---[3555]---> BDD-cost: 381 17.38/17.48 c ---[3553]---> BDD-cost: 381 17.38/17.48 c ---[3551]---> BDD-cost: 381 17.38/17.48 c ---[3549]---> BDD-cost: 381 17.38/17.49 c ---[3547]---> BDD-cost: 381 17.38/17.49 c ---[3545]---> BDD-cost: 381 17.49/17.50 c ---[3543]---> BDD-cost: 381 17.49/17.51 c ---[3541]---> BDD-cost: 381 17.49/17.52 c ---[3539]---> BDD-cost: 381 17.49/17.53 c ---[3537]---> BDD-cost: 381 17.49/17.54 c ---[3535]---> BDD-cost: 381 17.49/17.55 c ---[3533]---> BDD-cost: 381 17.49/17.56 c ---[3531]---> BDD-cost: 381 17.49/17.57 c ---[3529]---> BDD-cost: 381 17.49/17.58 c ---[3527]---> BDD-cost: 381 17.49/17.59 c ---[3525]---> BDD-cost: 381 17.49/17.59 c ---[3523]---> BDD-cost: 381 17.59/17.60 c ---[3521]---> BDD-cost: 381 17.59/17.61 c ---[3519]---> BDD-cost: 381 17.59/17.62 c ---[3517]---> BDD-cost: 381 17.59/17.63 c ---[3515]---> BDD-cost: 381 17.59/17.64 c ---[3513]---> BDD-cost: 381 17.59/17.65 c ---[3511]---> BDD-cost: 381 17.59/17.66 c ---[3509]---> BDD-cost: 381 17.59/17.67 c ---[3507]---> BDD-cost: 381 17.59/17.68 c ---[3505]---> BDD-cost: 381 17.59/17.69 c ---[3503]---> BDD-cost: 381 17.59/17.70 c ---[3501]---> BDD-cost: 381 17.68/17.70 c ---[3499]---> BDD-cost: 381 17.68/17.71 c ---[3497]---> BDD-cost: 381 17.68/17.72 c ---[3495]---> BDD-cost: 381 17.68/17.73 c ---[3493]---> BDD-cost: 381 17.68/17.74 c ---[3491]---> BDD-cost: 381 17.68/17.75 c ---[3489]---> BDD-cost: 381 17.68/17.76 c ---[3487]---> BDD-cost: 381 17.68/17.77 c ---[3485]---> BDD-cost: 381 17.68/17.78 c ---[3483]---> BDD-cost: 381 17.68/17.79 c ---[3481]---> BDD-cost: 381 17.78/17.80 c ---[3479]---> BDD-cost: 381 17.78/17.80 c ---[3477]---> BDD-cost: 381 17.78/17.81 c ---[3475]---> BDD-cost: 381 17.78/17.82 c ---[3473]---> BDD-cost: 381 17.78/17.83 c ---[3471]---> BDD-cost: 381 17.78/17.84 c ---[3469]---> BDD-cost: 381 17.78/17.85 c ---[3467]---> BDD-cost: 381 17.78/17.86 c ---[3465]---> BDD-cost: 381 17.78/17.87 c ---[3463]---> BDD-cost: 381 17.78/17.88 c ---[3461]---> BDD-cost: 381 17.78/17.89 c ---[3459]---> BDD-cost: 381 17.88/17.90 c ---[3457]---> BDD-cost: 381 17.88/17.91 c ---[3455]---> BDD-cost: 381 17.88/17.91 c ---[3453]---> BDD-cost: 381 17.88/17.92 c ---[3451]---> BDD-cost: 381 17.88/17.93 c ---[3449]---> BDD-cost: 381 17.88/17.94 c ---[3447]---> BDD-cost: 381 17.88/17.95 c ---[3445]---> BDD-cost: 381 17.88/17.96 c ---[3443]---> BDD-cost: 381 17.88/17.97 c ---[3441]---> BDD-cost: 381 17.88/17.98 c ---[3439]---> BDD-cost: 381 17.88/17.99 c ---[3437]---> BDD-cost: 381 17.98/18.00 c ---[3435]---> BDD-cost: 381 17.98/18.01 c ---[3433]---> BDD-cost: 381 17.98/18.01 c ---[3431]---> BDD-cost: 381 17.98/18.02 c ---[3429]---> BDD-cost: 381 17.98/18.03 c ---[3427]---> BDD-cost: 381 17.98/18.04 c ---[3425]---> BDD-cost: 381 17.98/18.05 c ---[3423]---> BDD-cost: 381 17.98/18.06 c ---[3421]---> BDD-cost: 381 17.98/18.07 c ---[3419]---> BDD-cost: 381 17.98/18.08 c ---[3417]---> BDD-cost: 381 17.98/18.09 c ---[3415]---> BDD-cost: 381 18.08/18.10 c ---[3413]---> BDD-cost: 381 18.08/18.11 c ---[3411]---> BDD-cost: 381 18.08/18.12 c ---[3409]---> BDD-cost: 381 18.08/18.12 c ---[3407]---> BDD-cost: 381 18.08/18.13 c ---[3405]---> BDD-cost: 381 18.08/18.14 c ---[3403]---> BDD-cost: 381 18.08/18.15 c ---[3401]---> BDD-cost: 381 18.08/18.16 c ---[3399]---> BDD-cost: 381 18.08/18.17 c ---[3397]---> BDD-cost: 381 18.08/18.18 c ---[3395]---> BDD-cost: 381 18.08/18.19 c ---[3393]---> BDD-cost: 381 18.18/18.20 c ---[3391]---> BDD-cost: 381 18.18/18.21 c ---[3389]---> BDD-cost: 381 18.18/18.22 c ---[3387]---> BDD-cost: 381 18.18/18.22 c ---[3385]---> BDD-cost: 381 18.18/18.23 c ---[3383]---> BDD-cost: 381 18.18/18.24 c ---[3381]---> BDD-cost: 381 18.18/18.25 c ---[3379]---> BDD-cost: 381 18.18/18.26 c ---[3377]---> BDD-cost: 381 18.18/18.27 c ---[3375]---> BDD-cost: 381 18.18/18.28 c ---[3373]---> BDD-cost: 381 18.18/18.29 c ---[3371]---> BDD-cost: 381 18.28/18.30 c ---[3369]---> BDD-cost: 381 18.28/18.31 c ---[3367]---> BDD-cost: 381 18.28/18.32 c ---[3365]---> BDD-cost: 381 18.28/18.32 c ---[3363]---> BDD-cost: 381 18.28/18.33 c ---[3361]---> BDD-cost: 381 18.28/18.34 c ---[3359]---> BDD-cost: 381 18.28/18.35 c ---[3357]---> BDD-cost: 381 18.28/18.36 c ---[3355]---> BDD-cost: 381 18.28/18.37 c ---[3353]---> BDD-cost: 381 18.28/18.38 c ---[3351]---> BDD-cost: 381 18.28/18.39 c ---[3349]---> BDD-cost: 381 18.38/18.40 c ---[3347]---> BDD-cost: 381 18.38/18.41 c ---[3345]---> BDD-cost: 381 18.38/18.42 c ---[3343]---> BDD-cost: 381 18.38/18.43 c ---[3341]---> BDD-cost: 381 18.38/18.43 c ---[3339]---> BDD-cost: 381 18.38/18.44 c ---[3337]---> BDD-cost: 381 18.38/18.45 c ---[3335]---> BDD-cost: 381 18.38/18.46 c ---[3333]---> BDD-cost: 381 18.38/18.47 c ---[3331]---> BDD-cost: 381 18.38/18.48 c ---[3329]---> BDD-cost: 381 18.38/18.49 c ---[3327]---> BDD-cost: 381 18.48/18.50 c ---[3325]---> BDD-cost: 381 18.48/18.51 c ---[3323]---> BDD-cost: 381 18.48/18.52 c ---[3321]---> BDD-cost: 381 18.48/18.53 c ---[3319]---> BDD-cost: 381 18.48/18.53 c ---[3317]---> BDD-cost: 381 18.48/18.54 c ---[3315]---> BDD-cost: 381 18.48/18.55 c ---[3313]---> BDD-cost: 381 18.48/18.56 c ---[3311]---> BDD-cost: 381 18.48/18.57 c ---[3309]---> BDD-cost: 381 18.48/18.58 c ---[3307]---> BDD-cost: 381 18.48/18.59 c ---[3305]---> BDD-cost: 381 18.48/18.60 c ---[3303]---> BDD-cost: 381 18.59/18.61 c ---[3301]---> BDD-cost: 381 18.59/18.62 c ---[3299]---> BDD-cost: 381 18.59/18.63 c ---[3297]---> BDD-cost: 381 18.59/18.64 c ---[3295]---> BDD-cost: 381 18.59/18.64 c ---[3293]---> BDD-cost: 381 18.59/18.66 c ---[3291]---> BDD-cost: 381 18.59/18.67 c ---[3289]---> BDD-cost: 381 18.59/18.68 c ---[3287]---> BDD-cost: 381 18.59/18.69 c ---[3285]---> BDD-cost: 381 18.59/18.70 c ---[3283]---> BDD-cost: 381 18.69/18.71 c ---[3281]---> BDD-cost: 381 18.69/18.72 c ---[3279]---> BDD-cost: 381 18.69/18.73 c ---[3277]---> BDD-cost: 381 18.69/18.74 c ---[3275]---> BDD-cost: 381 18.69/18.75 c ---[3273]---> BDD-cost: 381 18.69/18.76 c ---[3271]---> BDD-cost: 381 18.69/18.77 c ---[3269]---> BDD-cost: 381 18.69/18.77 c ---[3267]---> BDD-cost: 381 18.69/18.78 c ---[3265]---> BDD-cost: 381 18.69/18.79 c ---[3263]---> BDD-cost: 381 18.78/18.80 c ---[3261]---> BDD-cost: 381 18.78/18.81 c ---[3259]---> BDD-cost: 381 18.78/18.82 c ---[3257]---> BDD-cost: 381 18.78/18.83 c ---[3255]---> BDD-cost: 381 18.78/18.84 c ---[3253]---> BDD-cost: 381 18.78/18.85 c ---[3251]---> BDD-cost: 381 18.78/18.86 c ---[3249]---> BDD-cost: 381 18.78/18.87 c ---[3247]---> BDD-cost: 381 18.78/18.87 c ---[3245]---> BDD-cost: 381 18.78/18.88 c ---[3243]---> BDD-cost: 381 18.78/18.89 c ---[3241]---> BDD-cost: 381 18.88/18.90 c ---[3239]---> BDD-cost: 381 18.88/18.91 c ---[3237]---> BDD-cost: 381 18.88/18.92 c ---[3235]---> BDD-cost: 381 18.88/18.93 c ---[3233]---> BDD-cost: 381 18.88/18.94 c ---[3231]---> BDD-cost: 381 18.88/18.95 c ---[3229]---> BDD-cost: 381 18.88/18.96 c ---[3227]---> BDD-cost: 381 18.88/18.97 c ---[3225]---> BDD-cost: 381 18.88/18.97 c ---[3223]---> BDD-cost: 381 18.88/18.98 c ---[3221]---> BDD-cost: 381 18.88/18.99 c ---[3219]---> BDD-cost: 381 18.98/19.00 c ---[3217]---> BDD-cost: 381 18.98/19.01 c ---[3215]---> BDD-cost: 381 18.98/19.02 c ---[3213]---> BDD-cost: 381 18.98/19.03 c ---[3211]---> BDD-cost: 381 18.98/19.04 c ---[3209]---> BDD-cost: 381 18.98/19.05 c ---[3207]---> BDD-cost: 381 18.98/19.06 c ---[3205]---> BDD-cost: 381 18.98/19.07 c ---[3203]---> BDD-cost: 381 18.98/19.08 c ---[3201]---> BDD-cost: 381 18.98/19.08 c ---[3199]---> BDD-cost: 381 18.98/19.09 c ---[3197]---> BDD-cost: 381 19.08/19.10 c ---[3195]---> BDD-cost: 381 19.08/19.11 c ---[3193]---> BDD-cost: 381 19.08/19.12 c ---[3191]---> BDD-cost: 381 19.08/19.13 c ---[3189]---> BDD-cost: 381 19.08/19.14 c ---[3187]---> BDD-cost: 381 19.08/19.15 c ---[3185]---> BDD-cost: 381 19.08/19.16 c ---[3183]---> BDD-cost: 381 19.08/19.17 c ---[3181]---> BDD-cost: 381 19.08/19.18 c ---[3179]---> BDD-cost: 381 19.08/19.18 c ---[3177]---> BDD-cost: 381 19.08/19.19 c ---[3175]---> BDD-cost: 381 19.18/19.20 c ---[3173]---> BDD-cost: 381 19.18/19.21 c ---[3171]---> BDD-cost: 381 19.18/19.22 c ---[3169]---> BDD-cost: 381 19.18/19.23 c ---[3167]---> BDD-cost: 381 19.18/19.24 c ---[3165]---> BDD-cost: 381 19.18/19.25 c ---[3163]---> BDD-cost: 381 19.18/19.26 c ---[3161]---> BDD-cost: 381 19.18/19.27 c ---[3159]---> BDD-cost: 381 19.18/19.28 c ---[3157]---> BDD-cost: 381 19.18/19.29 c ---[3155]---> BDD-cost: 381 19.18/19.29 c ---[3153]---> BDD-cost: 381 19.28/19.30 c ---[3151]---> BDD-cost: 381 19.28/19.31 c ---[3149]---> BDD-cost: 381 19.28/19.32 c ---[3147]---> BDD-cost: 381 19.28/19.33 c ---[3145]---> BDD-cost: 381 19.28/19.34 c ---[3143]---> BDD-cost: 381 19.28/19.35 c ---[3141]---> BDD-cost: 381 19.28/19.36 c ---[3139]---> BDD-cost: 381 19.28/19.37 c ---[3137]---> BDD-cost: 381 19.28/19.38 c ---[3135]---> BDD-cost: 381 19.28/19.39 c ---[3133]---> BDD-cost: 381 19.28/19.39 c ---[3131]---> BDD-cost: 381 19.38/19.40 c ---[3129]---> BDD-cost: 381 19.38/19.41 c ---[3127]---> BDD-cost: 381 19.38/19.42 c ---[3125]---> BDD-cost: 381 19.38/19.43 c ---[3123]---> BDD-cost: 381 19.38/19.44 c ---[3121]---> BDD-cost: 381 19.38/19.45 c ---[3119]---> BDD-cost: 381 19.38/19.46 c ---[3117]---> BDD-cost: 381 19.38/19.47 c ---[3115]---> BDD-cost: 381 19.38/19.48 c ---[3113]---> BDD-cost: 381 19.38/19.49 c ---[3111]---> BDD-cost: 381 19.38/19.50 c ---[3109]---> BDD-cost: 381 19.48/19.50 c ---[3107]---> BDD-cost: 381 19.48/19.51 c ---[3105]---> BDD-cost: 381 19.48/19.52 c ---[3103]---> BDD-cost: 381 19.48/19.53 c ---[3101]---> BDD-cost: 381 19.48/19.54 c ---[3099]---> BDD-cost: 381 19.48/19.55 c ---[3097]---> BDD-cost: 381 19.48/19.56 c ---[3095]---> BDD-cost: 381 19.48/19.57 c ---[3093]---> BDD-cost: 381 19.48/19.58 c ---[3091]---> BDD-cost: 381 19.48/19.59 c ---[3089]---> BDD-cost: 381 19.58/19.60 c ---[3087]---> BDD-cost: 381 19.58/19.60 c ---[3085]---> BDD-cost: 381 19.58/19.61 c ---[3083]---> BDD-cost: 381 19.58/19.62 c ---[3081]---> BDD-cost: 381 19.58/19.63 c ---[3079]---> BDD-cost: 381 19.58/19.64 c ---[3077]---> BDD-cost: 381 19.58/19.65 c ---[3075]---> BDD-cost: 381 19.58/19.66 c ---[3073]---> BDD-cost: 381 19.58/19.67 c ---[3071]---> BDD-cost: 381 19.58/19.68 c ---[3069]---> BDD-cost: 381 19.58/19.69 c ---[3067]---> BDD-cost: 381 19.58/19.70 c ---[3065]---> BDD-cost: 381 19.69/19.71 c ---[3063]---> BDD-cost: 381 19.69/19.71 c ---[3061]---> BDD-cost: 381 19.69/19.72 c ---[3059]---> BDD-cost: 381 19.69/19.73 c ---[3057]---> BDD-cost: 381 19.69/19.74 c ---[3055]---> BDD-cost: 381 19.69/19.75 c ---[3053]---> BDD-cost: 381 19.69/19.76 c ---[3051]---> BDD-cost: 381 19.69/19.77 c ---[3049]---> BDD-cost: 381 19.69/19.78 c ---[3047]---> BDD-cost: 381 19.69/19.79 c ---[3045]---> BDD-cost: 381 19.69/19.80 c ---[3043]---> BDD-cost: 381 19.79/19.81 c ---[3041]---> BDD-cost: 381 19.79/19.82 c ---[3039]---> BDD-cost: 381 19.79/19.82 c ---[3037]---> BDD-cost: 381 19.79/19.83 c ---[3035]---> BDD-cost: 381 19.79/19.84 c ---[3033]---> BDD-cost: 381 19.79/19.85 c ---[3031]---> BDD-cost: 381 19.79/19.86 c ---[3029]---> BDD-cost: 381 19.79/19.87 c ---[3027]---> BDD-cost: 381 19.79/19.88 c ---[3025]---> BDD-cost: 381 19.79/19.89 c ---[3023]---> BDD-cost: 381 19.88/19.90 c ---[3021]---> BDD-cost: 381 19.88/19.91 c ---[3019]---> BDD-cost: 381 19.88/19.92 c ---[3017]---> BDD-cost: 381 19.88/19.92 c ---[3015]---> BDD-cost: 381 19.88/19.93 c ---[3013]---> BDD-cost: 381 19.88/19.94 c ---[3011]---> BDD-cost: 381 19.88/19.95 c ---[3009]---> BDD-cost: 381 19.88/19.96 c ---[3007]---> BDD-cost: 381 19.88/19.97 c ---[3005]---> BDD-cost: 381 19.88/19.98 c ---[3003]---> BDD-cost: 381 19.88/19.99 c ---[3001]---> BDD-cost: 381 19.98/20.00 c ---[2999]---> BDD-cost: 381 19.98/20.01 c ---[2997]---> BDD-cost: 381 19.98/20.02 c ---[2995]---> BDD-cost: 381 19.98/20.03 c ---[2993]---> BDD-cost: 381 19.98/20.03 c ---[2991]---> BDD-cost: 381 19.98/20.04 c ---[2989]---> BDD-cost: 381 19.98/20.05 c ---[2987]---> BDD-cost: 381 19.98/20.06 c ---[2985]---> BDD-cost: 381 19.98/20.07 c ---[2983]---> BDD-cost: 381 19.98/20.08 c ---[2981]---> BDD-cost: 381 19.98/20.09 c ---[2979]---> BDD-cost: 381 20.08/20.10 c ---[2977]---> BDD-cost: 381 20.08/20.11 c ---[2975]---> BDD-cost: 381 20.08/20.12 c ---[2973]---> BDD-cost: 381 20.08/20.13 c ---[2971]---> BDD-cost: 381 20.08/20.14 c ---[2969]---> BDD-cost: 381 20.08/20.14 c ---[2967]---> BDD-cost: 381 20.08/20.15 c ---[2965]---> BDD-cost: 381 20.08/20.16 c ---[2963]---> BDD-cost: 381 20.08/20.17 c ---[2961]---> BDD-cost: 381 20.08/20.18 c ---[2959]---> BDD-cost: 381 20.08/20.19 c ---[2957]---> BDD-cost: 381 20.18/20.20 c ---[2955]---> BDD-cost: 381 20.18/20.21 c ---[2953]---> BDD-cost: 381 20.18/20.22 c ---[2951]---> BDD-cost: 381 20.18/20.23 c ---[2949]---> BDD-cost: 381 20.18/20.24 c ---[2947]---> BDD-cost: 381 20.18/20.24 c ---[2945]---> BDD-cost: 381 20.18/20.25 c ---[2943]---> BDD-cost: 381 20.18/20.26 c ---[2941]---> BDD-cost: 381 20.18/20.27 c ---[2939]---> BDD-cost: 381 20.18/20.28 c ---[2937]---> BDD-cost: 381 20.18/20.29 c ---[2935]---> BDD-cost: 381 20.28/20.30 c ---[2933]---> BDD-cost: 381 20.28/20.31 c ---[2931]---> BDD-cost: 381 20.28/20.32 c ---[2929]---> BDD-cost: 381 20.28/20.33 c ---[2927]---> BDD-cost: 381 20.28/20.34 c ---[2925]---> BDD-cost: 381 20.28/20.35 c ---[2923]---> BDD-cost: 381 20.28/20.35 c ---[2921]---> BDD-cost: 381 20.28/20.36 c ---[2919]---> BDD-cost: 381 20.28/20.37 c ---[2917]---> BDD-cost: 381 20.28/20.38 c ---[2915]---> BDD-cost: 381 20.28/20.39 c ---[2913]---> BDD-cost: 381 20.38/20.40 c ---[2911]---> BDD-cost: 381 20.38/20.41 c ---[2909]---> BDD-cost: 381 20.38/20.42 c ---[2907]---> BDD-cost: 381 20.38/20.43 c ---[2905]---> BDD-cost: 381 20.38/20.44 c ---[2903]---> BDD-cost: 381 20.38/20.45 c ---[2901]---> BDD-cost: 381 20.38/20.46 c ---[2899]---> BDD-cost: 381 20.38/20.46 c ---[2897]---> BDD-cost: 381 20.38/20.47 c ---[2895]---> BDD-cost: 381 20.38/20.48 c ---[2893]---> BDD-cost: 381 20.38/20.49 c ---[2891]---> BDD-cost: 381 20.48/20.50 c ---[2889]---> BDD-cost: 381 20.48/20.51 c ---[2887]---> BDD-cost: 381 20.48/20.52 c ---[2885]---> BDD-cost: 381 20.48/20.53 c ---[2883]---> BDD-cost: 381 20.48/20.54 c ---[2881]---> BDD-cost: 381 20.48/20.55 c ---[2879]---> BDD-cost: 381 20.48/20.56 c ---[2877]---> BDD-cost: 381 20.48/20.57 c ---[2875]---> BDD-cost: 381 20.48/20.57 c ---[2873]---> BDD-cost: 381 20.48/20.58 c ---[2871]---> BDD-cost: 381 20.48/20.59 c ---[2869]---> BDD-cost: 381 20.58/20.60 c ---[2867]---> BDD-cost: 381 20.58/20.61 c ---[2865]---> BDD-cost: 381 20.58/20.62 c ---[2863]---> BDD-cost: 381 20.58/20.63 c ---[2861]---> BDD-cost: 381 20.58/20.64 c ---[2859]---> BDD-cost: 381 20.58/20.65 c ---[2857]---> BDD-cost: 381 20.58/20.66 c ---[2855]---> BDD-cost: 381 20.58/20.67 c ---[2853]---> BDD-cost: 381 20.58/20.67 c ---[2851]---> BDD-cost: 381 20.58/20.68 c ---[2849]---> BDD-cost: 381 20.58/20.69 c ---[2847]---> BDD-cost: 381 20.68/20.70 c ---[2845]---> BDD-cost: 381 20.68/20.71 c ---[2843]---> BDD-cost: 381 20.68/20.72 c ---[2841]---> BDD-cost: 381 20.68/20.73 c ---[2839]---> BDD-cost: 381 20.68/20.74 c ---[2837]---> BDD-cost: 381 20.68/20.75 c ---[2835]---> BDD-cost: 381 20.68/20.76 c ---[2833]---> BDD-cost: 381 20.68/20.77 c ---[2831]---> BDD-cost: 381 20.68/20.78 c ---[2829]---> BDD-cost: 381 20.68/20.78 c ---[2827]---> BDD-cost: 381 20.68/20.79 c ---[2825]---> BDD-cost: 381 20.78/20.80 c ---[2823]---> BDD-cost: 381 20.78/20.81 c ---[2821]---> BDD-cost: 381 20.78/20.82 c ---[2819]---> BDD-cost: 381 20.78/20.83 c ---[2817]---> BDD-cost: 381 20.78/20.84 c ---[2815]---> BDD-cost: 381 20.78/20.85 c ---[2813]---> BDD-cost: 381 20.78/20.86 c ---[2811]---> BDD-cost: 381 20.78/20.87 c ---[2809]---> BDD-cost: 381 20.78/20.88 c ---[2807]---> BDD-cost: 381 20.78/20.89 c ---[2805]---> BDD-cost: 381 20.78/20.89 c ---[2803]---> BDD-cost: 381 20.88/20.90 c ---[2801]---> BDD-cost: 381 20.88/20.91 c ---[2799]---> BDD-cost: 381 20.88/20.92 c ---[2797]---> BDD-cost: 381 20.88/20.93 c ---[2795]---> BDD-cost: 381 20.88/20.94 c ---[2793]---> BDD-cost: 381 20.88/20.95 c ---[2791]---> BDD-cost: 381 20.88/20.96 c ---[2789]---> BDD-cost: 381 20.88/20.97 c ---[2787]---> BDD-cost: 381 20.88/20.98 c ---[2785]---> BDD-cost: 381 20.88/20.99 c ---[2783]---> BDD-cost: 381 20.88/21.00 c ---[2781]---> BDD-cost: 381 20.98/21.00 c ---[2779]---> BDD-cost: 381 20.98/21.01 c ---[2777]---> BDD-cost: 381 20.98/21.02 c ---[2775]---> BDD-cost: 381 20.98/21.03 c ---[2773]---> BDD-cost: 381 20.98/21.04 c ---[2771]---> BDD-cost: 381 20.98/21.05 c ---[2769]---> BDD-cost: 381 20.98/21.06 c ---[2767]---> BDD-cost: 381 20.98/21.07 c ---[2765]---> BDD-cost: 381 20.98/21.08 c ---[2763]---> BDD-cost: 381 20.98/21.09 c ---[2761]---> BDD-cost: 381 21.08/21.10 c ---[2759]---> BDD-cost: 381 21.08/21.10 c ---[2757]---> BDD-cost: 381 21.08/21.11 c ---[2755]---> BDD-cost: 381 21.08/21.12 c ---[2753]---> BDD-cost: 381 21.08/21.13 c ---[2751]---> BDD-cost: 381 21.08/21.14 c ---[2749]---> BDD-cost: 381 21.08/21.15 c ---[2747]---> BDD-cost: 381 21.08/21.16 c ---[2745]---> BDD-cost: 381 21.08/21.17 c ---[2743]---> BDD-cost: 381 21.08/21.18 c ---[2741]---> BDD-cost: 381 21.08/21.19 c ---[2739]---> BDD-cost: 381 21.18/21.20 c ---[2737]---> BDD-cost: 381 21.18/21.21 c ---[2735]---> BDD-cost: 381 21.18/21.21 c ---[2733]---> BDD-cost: 381 21.18/21.22 c ---[2731]---> BDD-cost: 381 21.18/21.23 c ---[2729]---> BDD-cost: 381 21.18/21.24 c ---[2727]---> BDD-cost: 381 21.18/21.25 c ---[2725]---> BDD-cost: 381 21.18/21.26 c ---[2723]---> BDD-cost: 381 21.18/21.27 c ---[2721]---> BDD-cost: 381 21.18/21.28 c ---[2719]---> BDD-cost: 381 21.18/21.29 c ---[2717]---> BDD-cost: 381 21.28/21.30 c ---[2715]---> BDD-cost: 381 21.28/21.31 c ---[2713]---> BDD-cost: 381 21.28/21.32 c ---[2711]---> BDD-cost: 381 21.28/21.32 c ---[2709]---> BDD-cost: 381 21.28/21.33 c ---[2707]---> BDD-cost: 381 21.28/21.34 c ---[2705]---> BDD-cost: 381 21.28/21.35 c ---[2703]---> BDD-cost: 381 21.28/21.36 c ---[2701]---> BDD-cost: 381 21.28/21.37 c ---[2699]---> BDD-cost: 381 21.28/21.38 c ---[2697]---> BDD-cost: 381 21.28/21.39 c ---[2695]---> BDD-cost: 381 21.38/21.40 c ---[2693]---> BDD-cost: 381 21.38/21.41 c ---[2691]---> BDD-cost: 381 21.38/21.42 c ---[2689]---> BDD-cost: 381 21.38/21.43 c ---[2687]---> BDD-cost: 381 21.38/21.43 c ---[2685]---> BDD-cost: 381 21.38/21.44 c ---[2683]---> BDD-cost: 381 21.38/21.45 c ---[2681]---> BDD-cost: 381 21.38/21.46 c ---[2679]---> BDD-cost: 381 21.38/21.47 c ---[2677]---> BDD-cost: 381 21.38/21.48 c ---[2675]---> BDD-cost: 381 21.38/21.49 c ---[2673]---> BDD-cost: 381 21.48/21.50 c ---[2671]---> BDD-cost: 381 21.48/21.51 c ---[2669]---> BDD-cost: 381 21.48/21.52 c ---[2667]---> BDD-cost: 381 21.48/21.53 c ---[2665]---> BDD-cost: 381 21.48/21.54 c ---[2663]---> BDD-cost: 381 21.48/21.54 c ---[2661]---> BDD-cost: 381 21.48/21.55 c ---[2659]---> BDD-cost: 381 21.48/21.56 c ---[2657]---> BDD-cost: 381 21.48/21.57 c ---[2655]---> BDD-cost: 381 21.48/21.58 c ---[2653]---> BDD-cost: 381 21.48/21.59 c ---[2651]---> BDD-cost: 381 21.58/21.60 c ---[2649]---> BDD-cost: 381 21.58/21.61 c ---[2647]---> BDD-cost: 381 21.58/21.62 c ---[2645]---> BDD-cost: 381 21.58/21.63 c ---[2643]---> BDD-cost: 381 21.58/21.64 c ---[2641]---> BDD-cost: 381 21.58/21.65 c ---[2639]---> BDD-cost: 381 21.58/21.65 c ---[2637]---> BDD-cost: 381 21.58/21.66 c ---[2635]---> BDD-cost: 381 21.58/21.67 c ---[2633]---> BDD-cost: 381 21.58/21.68 c ---[2631]---> BDD-cost: 381 21.58/21.69 c ---[2629]---> BDD-cost: 381 21.68/21.70 c ---[2627]---> BDD-cost: 381 21.68/21.71 c ---[2625]---> BDD-cost: 381 21.68/21.72 c ---[2623]---> BDD-cost: 381 21.68/21.73 c ---[2621]---> BDD-cost: 381 21.68/21.74 c ---[2619]---> BDD-cost: 381 21.68/21.75 c ---[2617]---> BDD-cost: 381 21.68/21.76 c ---[2615]---> BDD-cost: 381 21.68/21.76 c ---[2613]---> BDD-cost: 381 21.68/21.77 c ---[2611]---> BDD-cost: 381 21.68/21.78 c ---[2609]---> BDD-cost: 381 21.68/21.79 c ---[2607]---> BDD-cost: 381 21.78/21.80 c ---[2605]---> BDD-cost: 381 21.78/21.81 c ---[2603]---> BDD-cost: 381 21.78/21.82 c ---[2601]---> BDD-cost: 381 21.78/21.83 c ---[2599]---> BDD-cost: 381 21.78/21.84 c ---[2597]---> BDD-cost: 381 21.78/21.85 c ---[2595]---> BDD-cost: 381 21.78/21.86 c ---[2593]---> BDD-cost: 381 21.78/21.87 c ---[2591]---> BDD-cost: 381 21.78/21.87 c ---[2589]---> BDD-cost: 381 21.78/21.88 c ---[2587]---> BDD-cost: 381 21.78/21.89 c ---[2585]---> BDD-cost: 381 21.88/21.90 c ---[2583]---> BDD-cost: 381 21.88/21.91 c ---[2581]---> BDD-cost: 381 21.88/21.92 c ---[2579]---> BDD-cost: 381 21.88/21.93 c ---[2577]---> BDD-cost: 381 21.88/21.94 c ---[2575]---> BDD-cost: 381 21.88/21.95 c ---[2573]---> BDD-cost: 381 21.88/21.96 c ---[2571]---> BDD-cost: 381 21.88/21.97 c ---[2569]---> BDD-cost: 381 21.88/21.98 c ---[2567]---> BDD-cost: 381 21.88/21.98 c ---[2565]---> BDD-cost: 381 21.88/21.99 c ---[2563]---> BDD-cost: 381 21.98/22.00 c ---[2561]---> BDD-cost: 381 21.98/22.01 c ---[2559]---> BDD-cost: 381 21.98/22.02 c ---[2557]---> BDD-cost: 381 21.98/22.03 c ---[2555]---> BDD-cost: 381 21.98/22.04 c ---[2553]---> BDD-cost: 381 21.98/22.05 c ---[2551]---> BDD-cost: 381 21.98/22.06 c ---[2549]---> BDD-cost: 381 21.98/22.07 c ---[2547]---> BDD-cost: 381 21.98/22.08 c ---[2545]---> BDD-cost: 381 21.98/22.09 c ---[2543]---> BDD-cost: 381 21.98/22.09 c ---[2541]---> BDD-cost: 381 22.08/22.10 c ---[2539]---> BDD-cost: 381 22.08/22.11 c ---[2537]---> BDD-cost: 381 22.08/22.12 c ---[2535]---> BDD-cost: 381 22.08/22.13 c ---[2533]---> BDD-cost: 381 22.08/22.14 c ---[2531]---> BDD-cost: 381 22.08/22.15 c ---[2529]---> BDD-cost: 381 22.08/22.16 c ---[2527]---> BDD-cost: 381 22.08/22.17 c ---[2525]---> BDD-cost: 381 22.08/22.18 c ---[2523]---> BDD-cost: 381 22.08/22.19 c ---[2521]---> BDD-cost: 381 22.08/22.20 c ---[2519]---> BDD-cost: 381 22.18/22.20 c ---[2517]---> BDD-cost: 381 22.18/22.21 c ---[2515]---> BDD-cost: 381 22.18/22.22 c ---[2513]---> BDD-cost: 381 22.18/22.23 c ---[2511]---> BDD-cost: 381 22.18/22.24 c ---[2509]---> BDD-cost: 381 22.18/22.25 c ---[2507]---> BDD-cost: 381 22.18/22.26 c ---[2505]---> BDD-cost: 381 22.18/22.27 c ---[2503]---> BDD-cost: 381 22.18/22.28 c ---[2501]---> BDD-cost: 381 22.18/22.29 c ---[2499]---> BDD-cost: 381 22.28/22.30 c ---[2497]---> BDD-cost: 381 22.28/22.31 c ---[2495]---> BDD-cost: 381 22.28/22.31 c ---[2493]---> BDD-cost: 381 22.28/22.32 c ---[2491]---> BDD-cost: 381 22.28/22.33 c ---[2489]---> BDD-cost: 381 22.28/22.34 c ---[2487]---> BDD-cost: 381 22.28/22.35 c ---[2485]---> BDD-cost: 381 22.28/22.36 c ---[2483]---> BDD-cost: 381 22.28/22.37 c ---[2481]---> BDD-cost: 381 22.28/22.38 c ---[2479]---> BDD-cost: 381 22.28/22.39 c ---[2477]---> BDD-cost: 381 22.38/22.40 c ---[2475]---> BDD-cost: 381 22.38/22.41 c ---[2473]---> BDD-cost: 381 22.38/22.41 c ---[2471]---> BDD-cost: 381 22.38/22.42 c ---[2469]---> BDD-cost: 381 22.38/22.43 c ---[2467]---> BDD-cost: 381 22.38/22.44 c ---[2465]---> BDD-cost: 381 22.38/22.45 c ---[2463]---> BDD-cost: 381 22.38/22.46 c ---[2461]---> BDD-cost: 381 22.38/22.47 c ---[2459]---> BDD-cost: 381 22.38/22.48 c ---[2457]---> BDD-cost: 381 22.38/22.49 c ---[2455]---> BDD-cost: 381 22.48/22.50 c ---[2453]---> BDD-cost: 381 22.48/22.51 c ---[2451]---> BDD-cost: 381 22.48/22.52 c ---[2449]---> BDD-cost: 381 22.48/22.53 c ---[2447]---> BDD-cost: 381 22.48/22.53 c ---[2445]---> BDD-cost: 381 22.48/22.54 c ---[2443]---> BDD-cost: 381 22.48/22.55 c ---[2441]---> BDD-cost: 381 22.48/22.56 c ---[2439]---> BDD-cost: 381 22.48/22.57 c ---[2437]---> BDD-cost: 381 22.48/22.58 c ---[2435]---> BDD-cost: 381 22.48/22.59 c ---[2433]---> BDD-cost: 381 22.58/22.60 c ---[2431]---> BDD-cost: 381 22.58/22.61 c ---[2429]---> BDD-cost: 381 22.58/22.62 c ---[2427]---> BDD-cost: 381 22.58/22.63 c ---[2425]---> BDD-cost: 381 22.58/22.64 c ---[2423]---> BDD-cost: 381 22.58/22.64 c ---[2421]---> BDD-cost: 381 22.58/22.65 c ---[2419]---> BDD-cost: 381 22.58/22.66 c ---[2417]---> BDD-cost: 381 22.58/22.67 c ---[2415]---> BDD-cost: 381 22.58/22.68 c ---[2413]---> BDD-cost: 381 22.58/22.69 c ---[2411]---> BDD-cost: 381 22.68/22.70 c ---[2409]---> BDD-cost: 381 22.68/22.71 c ---[2407]---> BDD-cost: 381 22.68/22.74 c ---[2405]---> BDD-cost: 381 22.68/22.75 c ---[2403]---> BDD-cost: 381 22.68/22.76 c ---[2401]---> BDD-cost: 381 22.68/22.77 c ---[2399]---> BDD-cost: 381 22.68/22.78 c ---[2397]---> BDD-cost: 381 22.68/22.79 c ---[2395]---> BDD-cost: 381 22.78/22.80 c ---[2393]---> BDD-cost: 381 22.78/22.81 c ---[2391]---> BDD-cost: 381 22.78/22.82 c ---[2389]---> BDD-cost: 381 22.78/22.83 c ---[2387]---> BDD-cost: 381 22.78/22.84 c ---[2385]---> BDD-cost: 381 22.78/22.85 c ---[2383]---> BDD-cost: 381 22.78/22.85 c ---[2381]---> BDD-cost: 381 22.78/22.86 c ---[2379]---> BDD-cost: 381 22.78/22.87 c ---[2377]---> BDD-cost: 381 22.78/22.88 c ---[2375]---> BDD-cost: 381 22.78/22.89 c ---[2373]---> BDD-cost: 381 22.88/22.90 c ---[2371]---> BDD-cost: 381 22.88/22.91 c ---[2369]---> BDD-cost: 381 22.88/22.92 c ---[2367]---> BDD-cost: 381 22.88/22.93 c ---[2365]---> BDD-cost: 381 22.88/22.94 c ---[2363]---> BDD-cost: 381 22.88/22.95 c ---[2361]---> BDD-cost: 381 22.88/22.96 c ---[2359]---> BDD-cost: 381 22.88/22.96 c ---[2357]---> BDD-cost: 381 22.88/22.97 c ---[2355]---> BDD-cost: 381 22.88/22.98 c ---[2353]---> BDD-cost: 381 22.88/22.99 c ---[2351]---> BDD-cost: 381 22.88/23.00 c ---[2349]---> BDD-cost: 381 22.98/23.01 c ---[2347]---> BDD-cost: 381 22.98/23.02 c ---[2345]---> BDD-cost: 381 22.98/23.03 c ---[2343]---> BDD-cost: 381 22.98/23.04 c ---[2341]---> BDD-cost: 381 22.98/23.05 c ---[2339]---> BDD-cost: 381 22.98/23.06 c ---[2337]---> BDD-cost: 381 22.98/23.07 c ---[2335]---> BDD-cost: 381 22.98/23.07 c ---[2333]---> BDD-cost: 381 22.98/23.08 c ---[2331]---> BDD-cost: 381 22.98/23.09 c ---[2329]---> BDD-cost: 381 23.08/23.10 c ---[2327]---> BDD-cost: 381 23.08/23.11 c ---[2325]---> BDD-cost: 381 23.08/23.12 c ---[2323]---> BDD-cost: 381 23.08/23.13 c ---[2321]---> BDD-cost: 381 23.08/23.14 c ---[2319]---> BDD-cost: 381 23.08/23.15 c ---[2317]---> BDD-cost: 381 23.08/23.16 c ---[2315]---> BDD-cost: 381 23.08/23.17 c ---[2313]---> BDD-cost: 381 23.08/23.18 c ---[2311]---> BDD-cost: 381 23.08/23.18 c ---[2309]---> BDD-cost: 381 23.08/23.19 c ---[2307]---> BDD-cost: 381 23.18/23.20 c ---[2305]---> BDD-cost: 381 23.18/23.21 c ---[2303]---> BDD-cost: 381 23.18/23.22 c ---[2301]---> BDD-cost: 381 23.18/23.23 c ---[2299]---> BDD-cost: 381 23.18/23.24 c ---[2297]---> BDD-cost: 381 23.18/23.25 c ---[2295]---> BDD-cost: 381 23.18/23.26 c ---[2293]---> BDD-cost: 381 23.18/23.27 c ---[2291]---> BDD-cost: 381 23.18/23.28 c ---[2289]---> BDD-cost: 381 23.18/23.29 c ---[2287]---> BDD-cost: 381 23.18/23.29 c ---[2285]---> BDD-cost: 381 23.28/23.30 c ---[2283]---> BDD-cost: 381 23.28/23.31 c ---[2281]---> BDD-cost: 381 23.28/23.32 c ---[2279]---> BDD-cost: 381 23.28/23.33 c ---[2277]---> BDD-cost: 381 23.28/23.34 c ---[2275]---> BDD-cost: 381 23.28/23.35 c ---[2273]---> BDD-cost: 381 23.28/23.36 c ---[2271]---> BDD-cost: 381 23.28/23.37 c ---[2269]---> BDD-cost: 381 23.28/23.38 c ---[2267]---> BDD-cost: 381 23.28/23.39 c ---[2265]---> BDD-cost: 381 23.38/23.40 c ---[2263]---> BDD-cost: 381 23.38/23.40 c ---[2261]---> BDD-cost: 381 23.38/23.41 c ---[2259]---> BDD-cost: 381 23.38/23.42 c ---[2257]---> BDD-cost: 381 23.38/23.43 c ---[2255]---> BDD-cost: 381 23.38/23.44 c ---[2253]---> BDD-cost: 381 23.38/23.45 c ---[2251]---> BDD-cost: 381 23.38/23.46 c ---[2249]---> BDD-cost: 381 23.38/23.47 c ---[2247]---> BDD-cost: 381 23.38/23.48 c ---[2245]---> BDD-cost: 381 23.38/23.49 c ---[2243]---> BDD-cost: 381 23.48/23.50 c ---[2241]---> BDD-cost: 381 23.48/23.51 c ---[2239]---> BDD-cost: 381 23.48/23.52 c ---[2237]---> BDD-cost: 381 23.48/23.52 c ---[2235]---> BDD-cost: 381 23.48/23.53 c ---[2233]---> BDD-cost: 381 23.48/23.54 c ---[2231]---> BDD-cost: 381 23.48/23.55 c ---[2229]---> BDD-cost: 381 23.48/23.56 c ---[2227]---> BDD-cost: 381 23.48/23.57 c ---[2225]---> BDD-cost: 381 23.48/23.58 c ---[2223]---> BDD-cost: 381 23.48/23.59 c ---[2221]---> BDD-cost: 381 23.58/23.60 c ---[2219]---> BDD-cost: 381 23.58/23.61 c ---[2217]---> BDD-cost: 381 23.58/23.62 c ---[2215]---> BDD-cost: 381 23.58/23.63 c ---[2213]---> BDD-cost: 381 23.58/23.63 c ---[2211]---> BDD-cost: 381 23.58/23.64 c ---[2209]---> BDD-cost: 381 23.58/23.65 c ---[2207]---> BDD-cost: 381 23.58/23.66 c ---[2205]---> BDD-cost: 381 23.58/23.67 c ---[2203]---> BDD-cost: 381 23.58/23.68 c ---[2201]---> BDD-cost: 381 23.58/23.69 c ---[2199]---> BDD-cost: 381 23.68/23.70 c ---[2197]---> BDD-cost: 381 23.68/23.71 c ---[2195]---> BDD-cost: 381 23.68/23.72 c ---[2193]---> BDD-cost: 381 23.68/23.73 c ---[2191]---> BDD-cost: 381 23.68/23.74 c ---[2189]---> BDD-cost: 381 23.68/23.74 c ---[2187]---> BDD-cost: 381 23.68/23.75 c ---[2185]---> BDD-cost: 381 23.68/23.76 c ---[2183]---> BDD-cost: 381 23.68/23.77 c ---[2181]---> BDD-cost: 381 23.68/23.78 c ---[2179]---> BDD-cost: 381 23.68/23.79 c ---[2177]---> BDD-cost: 381 23.78/23.80 c ---[2175]---> BDD-cost: 381 23.78/23.81 c ---[2173]---> BDD-cost: 381 23.78/23.82 c ---[2171]---> BDD-cost: 381 23.78/23.83 c ---[2169]---> BDD-cost: 381 23.78/23.84 c ---[2167]---> BDD-cost: 381 23.78/23.85 c ---[2165]---> BDD-cost: 381 23.78/23.85 c ---[2163]---> BDD-cost: 381 23.78/23.86 c ---[2161]---> BDD-cost: 381 23.78/23.87 c ---[2159]---> BDD-cost: 381 23.78/23.88 c ---[2157]---> BDD-cost: 381 23.78/23.89 c ---[2155]---> BDD-cost: 381 23.88/23.90 c ---[2153]---> BDD-cost: 381 23.88/23.91 c ---[2151]---> BDD-cost: 381 23.88/23.92 c ---[2149]---> BDD-cost: 381 23.88/23.93 c ---[2147]---> BDD-cost: 381 23.88/23.94 c ---[2145]---> BDD-cost: 381 23.88/23.95 c ---[2143]---> BDD-cost: 381 23.88/23.96 c ---[2141]---> BDD-cost: 381 23.88/23.96 c ---[2139]---> BDD-cost: 381 23.88/23.97 c ---[2137]---> BDD-cost: 381 23.88/23.98 c ---[2135]---> BDD-cost: 381 23.88/23.99 c ---[2133]---> BDD-cost: 381 23.98/24.00 c ---[2131]---> BDD-cost: 381 23.98/24.01 c ---[2129]---> BDD-cost: 381 23.98/24.02 c ---[2127]---> BDD-cost: 381 23.98/24.03 c ---[2125]---> BDD-cost: 381 23.98/24.04 c ---[2123]---> BDD-cost: 381 23.98/24.05 c ---[2121]---> BDD-cost: 381 23.98/24.06 c ---[2119]---> BDD-cost: 381 23.98/24.07 c ---[2117]---> BDD-cost: 381 23.98/24.07 c ---[2115]---> BDD-cost: 381 23.98/24.08 c ---[2113]---> BDD-cost: 381 23.98/24.09 c ---[2111]---> BDD-cost: 381 24.09/24.10 c ---[2109]---> BDD-cost: 381 24.09/24.11 c ---[2107]---> BDD-cost: 381 24.09/24.12 c ---[2105]---> BDD-cost: 381 24.09/24.13 c ---[2103]---> BDD-cost: 381 24.09/24.14 c ---[2101]---> BDD-cost: 381 24.09/24.15 c ---[2099]---> BDD-cost: 381 24.09/24.16 c ---[2097]---> BDD-cost: 381 24.09/24.17 c ---[2095]---> BDD-cost: 381 24.09/24.18 c ---[2093]---> BDD-cost: 381 24.09/24.18 c ---[2091]---> BDD-cost: 381 24.09/24.19 c ---[2089]---> BDD-cost: 381 24.19/24.20 c ---[2087]---> BDD-cost: 381 24.19/24.21 c ---[2085]---> BDD-cost: 381 24.19/24.22 c ---[2083]---> BDD-cost: 381 24.19/24.23 c ---[2081]---> BDD-cost: 381 24.19/24.24 c ---[2079]---> BDD-cost: 381 24.19/24.25 c ---[2077]---> BDD-cost: 381 24.19/24.26 c ---[2075]---> BDD-cost: 381 24.19/24.27 c ---[2073]---> BDD-cost: 381 24.19/24.28 c ---[2071]---> BDD-cost: 381 24.19/24.29 c ---[2069]---> BDD-cost: 381 24.19/24.29 c ---[2067]---> BDD-cost: 381 24.28/24.30 c ---[2065]---> BDD-cost: 381 24.28/24.31 c ---[2063]---> BDD-cost: 381 24.28/24.32 c ---[2061]---> BDD-cost: 381 24.28/24.33 c ---[2059]---> BDD-cost: 381 24.28/24.34 c ---[2057]---> BDD-cost: 381 24.28/24.35 c ---[2055]---> BDD-cost: 381 24.28/24.36 c ---[2053]---> BDD-cost: 381 24.28/24.37 c ---[2051]---> BDD-cost: 381 24.28/24.38 c ---[2049]---> BDD-cost: 381 24.28/24.39 c ---[2047]---> BDD-cost: 381 24.38/24.40 c ---[2045]---> BDD-cost: 381 24.38/24.40 c ---[2043]---> BDD-cost: 381 24.38/24.41 c ---[2041]---> BDD-cost: 381 24.38/24.42 c ---[2039]---> BDD-cost: 381 24.38/24.43 c ---[2037]---> BDD-cost: 381 24.38/24.44 c ---[2035]---> BDD-cost: 381 24.38/24.45 c ---[2033]---> BDD-cost: 381 24.38/24.46 c ---[2031]---> BDD-cost: 381 24.38/24.47 c ---[2029]---> BDD-cost: 381 24.38/24.48 c ---[2027]---> BDD-cost: 381 24.38/24.49 c ---[2025]---> BDD-cost: 381 24.48/24.50 c ---[2023]---> BDD-cost: 381 24.48/24.51 c ---[2021]---> BDD-cost: 381 24.48/24.51 c ---[2019]---> BDD-cost: 381 24.48/24.52 c ---[2017]---> BDD-cost: 381 24.48/24.53 c ---[2015]---> BDD-cost: 381 24.48/24.54 c ---[2013]---> BDD-cost: 381 24.48/24.55 c ---[2011]---> BDD-cost: 381 24.48/24.56 c ---[2009]---> BDD-cost: 381 24.48/24.57 c ---[2007]---> BDD-cost: 381 24.48/24.58 c ---[2005]---> BDD-cost: 381 24.48/24.59 c ---[2003]---> BDD-cost: 381 24.58/24.60 c ---[2001]---> BDD-cost: 381 24.58/24.61 c ---[1999]---> BDD-cost: 381 24.58/24.62 c ---[1997]---> BDD-cost: 381 24.58/24.63 c ---[1995]---> BDD-cost: 381 24.58/24.63 c ---[1993]---> BDD-cost: 381 24.58/24.64 c ---[1991]---> BDD-cost: 381 24.58/24.65 c ---[1989]---> BDD-cost: 381 24.58/24.66 c ---[1987]---> BDD-cost: 381 24.58/24.67 c ---[1985]---> BDD-cost: 381 24.58/24.68 c ---[1983]---> BDD-cost: 381 24.58/24.69 c ---[1981]---> BDD-cost: 381 24.68/24.70 c ---[1979]---> BDD-cost: 381 24.68/24.71 c ---[1977]---> BDD-cost: 381 24.68/24.72 c ---[1975]---> BDD-cost: 381 24.68/24.73 c ---[1973]---> BDD-cost: 381 24.68/24.74 c ---[1971]---> BDD-cost: 381 24.68/24.74 c ---[1969]---> BDD-cost: 381 24.68/24.75 c ---[1967]---> BDD-cost: 381 24.68/24.76 c ---[1965]---> BDD-cost: 381 24.68/24.77 c ---[1963]---> BDD-cost: 381 24.68/24.78 c ---[1961]---> BDD-cost: 381 24.68/24.79 c ---[1959]---> BDD-cost: 381 24.78/24.80 c ---[1957]---> BDD-cost: 381 24.78/24.81 c ---[1955]---> BDD-cost: 381 24.78/24.82 c ---[1953]---> BDD-cost: 381 24.78/24.83 c ---[1951]---> BDD-cost: 381 24.78/24.84 c ---[1949]---> BDD-cost: 381 24.78/24.85 c ---[1947]---> BDD-cost: 381 24.78/24.86 c ---[1945]---> BDD-cost: 381 24.78/24.86 c ---[1943]---> BDD-cost: 381 24.78/24.87 c ---[1941]---> BDD-cost: 381 24.78/24.88 c ---[1939]---> BDD-cost: 381 24.78/24.89 c ---[1937]---> BDD-cost: 381 24.88/24.90 c ---[1935]---> BDD-cost: 381 24.88/24.91 c ---[1933]---> BDD-cost: 381 24.88/24.92 c ---[1931]---> BDD-cost: 381 24.88/24.93 c ---[1929]---> BDD-cost: 381 24.88/24.94 c ---[1927]---> BDD-cost: 381 24.88/24.95 c ---[1925]---> BDD-cost: 381 24.88/24.96 c ---[1923]---> BDD-cost: 381 24.88/24.97 c ---[1921]---> BDD-cost: 381 24.88/24.97 c ---[1919]---> BDD-cost: 381 24.88/24.98 c ---[1917]---> BDD-cost: 381 24.88/24.99 c ---[1915]---> BDD-cost: 381 24.98/25.00 c ---[1913]---> BDD-cost: 381 24.98/25.01 c ---[1911]---> BDD-cost: 381 24.98/25.02 c ---[1909]---> BDD-cost: 381 24.98/25.03 c ---[1907]---> BDD-cost: 381 24.98/25.04 c ---[1905]---> BDD-cost: 381 24.98/25.05 c ---[1903]---> BDD-cost: 381 24.98/25.06 c ---[1901]---> BDD-cost: 381 24.98/25.07 c ---[1899]---> BDD-cost: 381 24.98/25.08 c ---[1897]---> BDD-cost: 381 24.98/25.09 c ---[1895]---> BDD-cost: 381 24.98/25.09 c ---[1893]---> BDD-cost: 381 25.08/25.10 c ---[1891]---> BDD-cost: 381 25.08/25.11 c ---[1889]---> BDD-cost: 381 25.08/25.12 c ---[1887]---> BDD-cost: 381 25.08/25.13 c ---[1885]---> BDD-cost: 381 25.08/25.14 c ---[1883]---> BDD-cost: 381 25.08/25.15 c ---[1881]---> BDD-cost: 381 25.08/25.16 c ---[1879]---> BDD-cost: 381 25.08/25.17 c ---[1877]---> BDD-cost: 381 25.08/25.18 c ---[1875]---> BDD-cost: 381 25.08/25.19 c ---[1873]---> BDD-cost: 381 25.08/25.20 c ---[1871]---> BDD-cost: 381 25.19/25.20 c ---[1869]---> BDD-cost: 381 25.19/25.21 c ---[1867]---> BDD-cost: 381 25.19/25.22 c ---[1865]---> BDD-cost: 381 25.19/25.23 c ---[1863]---> BDD-cost: 381 25.19/25.24 c ---[1861]---> BDD-cost: 381 25.19/25.25 c ---[1859]---> BDD-cost: 381 25.19/25.26 c ---[1857]---> BDD-cost: 381 25.19/25.27 c ---[1855]---> BDD-cost: 381 25.19/25.28 c ---[1853]---> BDD-cost: 381 25.19/25.29 c ---[1851]---> BDD-cost: 381 25.19/25.30 c ---[1849]---> BDD-cost: 381 25.29/25.31 c ---[1847]---> BDD-cost: 381 25.29/25.31 c ---[1845]---> BDD-cost: 381 25.29/25.32 c ---[1843]---> BDD-cost: 381 25.29/25.33 c ---[1841]---> BDD-cost: 381 25.29/25.34 c ---[1839]---> BDD-cost: 381 25.29/25.35 c ---[1837]---> BDD-cost: 381 25.29/25.36 c ---[1835]---> BDD-cost: 381 25.29/25.37 c ---[1833]---> BDD-cost: 381 25.29/25.38 c ---[1831]---> BDD-cost: 381 25.29/25.39 c ---[1829]---> BDD-cost: 381 25.38/25.40 c ---[1827]---> BDD-cost: 381 25.38/25.41 c ---[1825]---> BDD-cost: 381 25.38/25.42 c ---[1823]---> BDD-cost: 381 25.38/25.43 c ---[1821]---> BDD-cost: 381 25.38/25.43 c ---[1819]---> BDD-cost: 381 25.38/25.44 c ---[1817]---> BDD-cost: 381 25.38/25.45 c ---[1815]---> BDD-cost: 381 25.38/25.46 c ---[1813]---> BDD-cost: 381 25.38/25.47 c ---[1811]---> BDD-cost: 381 25.38/25.48 c ---[1809]---> BDD-cost: 381 25.38/25.49 c ---[1807]---> BDD-cost: 381 25.48/25.50 c ---[1805]---> BDD-cost: 381 25.48/25.51 c ---[1803]---> BDD-cost: 381 25.48/25.52 c ---[1801]---> BDD-cost: 381 25.48/25.53 c ---[1799]---> BDD-cost: 381 25.48/25.54 c ---[1797]---> BDD-cost: 381 25.48/25.54 c ---[1795]---> BDD-cost: 381 25.48/25.55 c ---[1793]---> BDD-cost: 381 25.48/25.56 c ---[1791]---> BDD-cost: 381 25.48/25.57 c ---[1789]---> BDD-cost: 381 25.48/25.58 c ---[1787]---> BDD-cost: 381 25.48/25.59 c ---[1785]---> BDD-cost: 381 25.58/25.60 c ---[1783]---> BDD-cost: 381 25.58/25.61 c ---[1781]---> BDD-cost: 381 25.58/25.62 c ---[1779]---> BDD-cost: 381 25.58/25.63 c ---[1777]---> BDD-cost: 381 25.58/25.64 c ---[1775]---> BDD-cost: 381 25.58/25.65 c ---[1773]---> BDD-cost: 381 25.58/25.66 c ---[1771]---> BDD-cost: 381 25.58/25.66 c ---[1769]---> BDD-cost: 381 25.58/25.67 c ---[1767]---> BDD-cost: 381 25.58/25.68 c ---[1765]---> BDD-cost: 381 25.58/25.69 c ---[1763]---> BDD-cost: 381 25.68/25.70 c ---[1761]---> BDD-cost: 381 25.68/25.71 c ---[1759]---> BDD-cost: 381 25.68/25.72 c ---[1757]---> BDD-cost: 381 25.68/25.73 c ---[1755]---> BDD-cost: 381 25.68/25.74 c ---[1753]---> BDD-cost: 381 25.68/25.75 c ---[1751]---> BDD-cost: 381 25.68/25.76 c ---[1749]---> BDD-cost: 381 25.68/25.77 c ---[1747]---> BDD-cost: 381 25.68/25.77 c ---[1745]---> BDD-cost: 381 25.68/25.78 c ---[1743]---> BDD-cost: 381 25.68/25.79 c ---[1741]---> BDD-cost: 381 25.78/25.80 c ---[1739]---> BDD-cost: 381 25.78/25.81 c ---[1737]---> BDD-cost: 381 25.78/25.82 c ---[1735]---> BDD-cost: 381 25.78/25.83 c ---[1733]---> BDD-cost: 381 25.78/25.84 c ---[1731]---> BDD-cost: 381 25.78/25.85 c ---[1729]---> BDD-cost: 381 25.78/25.86 c ---[1727]---> BDD-cost: 381 25.78/25.87 c ---[1725]---> BDD-cost: 381 25.78/25.88 c ---[1723]---> BDD-cost: 381 25.78/25.89 c ---[1721]---> BDD-cost: 381 25.78/25.89 c ---[1719]---> BDD-cost: 381 25.88/25.90 c ---[1717]---> BDD-cost: 381 25.88/25.91 c ---[1715]---> BDD-cost: 381 25.88/25.92 c ---[1713]---> BDD-cost: 381 25.88/25.93 c ---[1711]---> BDD-cost: 381 25.88/25.94 c ---[1709]---> BDD-cost: 381 25.88/25.95 c ---[1707]---> BDD-cost: 381 25.88/25.96 c ---[1705]---> BDD-cost: 381 25.88/25.97 c ---[1703]---> BDD-cost: 381 25.88/25.98 c ---[1701]---> BDD-cost: 381 25.88/25.99 c ---[1699]---> BDD-cost: 381 25.98/26.00 c ---[1697]---> BDD-cost: 381 25.98/26.00 c ---[1695]---> BDD-cost: 381 25.98/26.01 c ---[1693]---> BDD-cost: 381 25.98/26.02 c ---[1691]---> BDD-cost: 381 25.98/26.03 c ---[1689]---> BDD-cost: 381 25.98/26.04 c ---[1687]---> BDD-cost: 381 25.98/26.05 c ---[1685]---> BDD-cost: 381 25.98/26.06 c ---[1683]---> BDD-cost: 381 25.98/26.07 c ---[1681]---> BDD-cost: 381 25.98/26.08 c ---[1679]---> BDD-cost: 381 25.98/26.09 c ---[1677]---> BDD-cost: 381 26.08/26.10 c ---[1675]---> BDD-cost: 381 26.08/26.11 c ---[1673]---> BDD-cost: 381 26.08/26.11 c ---[1671]---> BDD-cost: 381 26.08/26.12 c ---[1669]---> BDD-cost: 381 26.08/26.13 c ---[1667]---> BDD-cost: 381 26.08/26.14 c ---[1665]---> BDD-cost: 381 26.08/26.15 c ---[1663]---> BDD-cost: 381 26.08/26.16 c ---[1661]---> BDD-cost: 381 26.08/26.17 c ---[1659]---> BDD-cost: 381 26.08/26.18 c ---[1657]---> BDD-cost: 381 26.08/26.19 c ---[1655]---> BDD-cost: 381 26.18/26.20 c ---[1653]---> BDD-cost: 381 26.18/26.21 c ---[1651]---> BDD-cost: 381 26.18/26.22 c ---[1649]---> BDD-cost: 381 26.18/26.23 c ---[1647]---> BDD-cost: 381 26.18/26.23 c ---[1645]---> BDD-cost: 381 26.18/26.24 c ---[1643]---> BDD-cost: 381 26.18/26.25 c ---[1641]---> BDD-cost: 381 26.18/26.26 c ---[1639]---> BDD-cost: 381 26.18/26.27 c ---[1637]---> BDD-cost: 381 26.18/26.28 c ---[1635]---> BDD-cost: 381 26.18/26.29 c ---[1633]---> BDD-cost: 381 26.18/26.30 c ---[1631]---> BDD-cost: 381 26.29/26.31 c ---[1629]---> BDD-cost: 381 26.29/26.32 c ---[1627]---> BDD-cost: 381 26.29/26.33 c ---[1625]---> BDD-cost: 381 26.29/26.34 c ---[1623]---> BDD-cost: 381 26.29/26.34 c ---[1621]---> BDD-cost: 381 26.29/26.35 c ---[1619]---> BDD-cost: 381 26.29/26.36 c ---[1617]---> BDD-cost: 381 26.29/26.37 c ---[1615]---> BDD-cost: 381 26.29/26.38 c ---[1613]---> BDD-cost: 381 26.29/26.39 c ---[1611]---> BDD-cost: 381 26.29/26.40 c ---[1609]---> BDD-cost: 381 26.39/26.41 c ---[1607]---> BDD-cost: 381 26.39/26.42 c ---[1605]---> BDD-cost: 381 26.39/26.43 c ---[1603]---> BDD-cost: 381 26.39/26.44 c ---[1601]---> BDD-cost: 381 26.39/26.45 c ---[1599]---> BDD-cost: 381 26.39/26.45 c ---[1597]---> BDD-cost: 381 26.39/26.46 c ---[1595]---> BDD-cost: 381 26.39/26.47 c ---[1593]---> BDD-cost: 381 26.39/26.48 c ---[1591]---> BDD-cost: 381 26.39/26.49 c ---[1589]---> BDD-cost: 381 26.48/26.50 c ---[1587]---> BDD-cost: 381 26.48/26.51 c ---[1585]---> BDD-cost: 381 26.48/26.52 c ---[1583]---> BDD-cost: 381 26.48/26.53 c ---[1581]---> BDD-cost: 381 26.48/26.54 c ---[1579]---> BDD-cost: 381 26.48/26.55 c ---[1577]---> BDD-cost: 381 26.48/26.56 c ---[1575]---> BDD-cost: 381 26.48/26.57 c ---[1573]---> BDD-cost: 381 26.48/26.57 c ---[1571]---> BDD-cost: 381 26.48/26.58 c ---[1569]---> BDD-cost: 381 26.48/26.59 c ---[1567]---> BDD-cost: 381 26.58/26.60 c ---[1565]---> BDD-cost: 381 26.58/26.61 c ---[1563]---> BDD-cost: 381 26.58/26.62 c ---[1561]---> BDD-cost: 381 26.58/26.63 c ---[1559]---> BDD-cost: 381 26.58/26.64 c ---[1557]---> BDD-cost: 381 26.58/26.65 c ---[1555]---> BDD-cost: 381 26.58/26.66 c ---[1553]---> BDD-cost: 381 26.58/26.67 c ---[1551]---> BDD-cost: 381 26.58/26.68 c ---[1549]---> BDD-cost: 381 26.58/26.68 c ---[1547]---> BDD-cost: 381 26.58/26.69 c ---[1545]---> BDD-cost: 381 26.68/26.70 c ---[1543]---> BDD-cost: 381 26.68/26.71 c ---[1541]---> BDD-cost: 381 26.68/26.72 c ---[1539]---> BDD-cost: 381 26.68/26.73 c ---[1537]---> BDD-cost: 381 26.68/26.74 c ---[1535]---> BDD-cost: 381 26.68/26.75 c ---[1533]---> BDD-cost: 381 26.68/26.76 c ---[1531]---> BDD-cost: 381 26.68/26.77 c ---[1529]---> BDD-cost: 381 26.68/26.78 c ---[1527]---> BDD-cost: 381 26.68/26.79 c ---[1525]---> BDD-cost: 381 26.68/26.80 c ---[1523]---> BDD-cost: 381 26.78/26.80 c ---[1521]---> BDD-cost: 381 26.78/26.81 c ---[1519]---> BDD-cost: 381 26.78/26.82 c ---[1517]---> BDD-cost: 381 26.78/26.83 c ---[1515]---> BDD-cost: 381 26.78/26.84 c ---[1513]---> BDD-cost: 381 26.78/26.85 c ---[1511]---> BDD-cost: 381 26.78/26.86 c ---[1509]---> BDD-cost: 381 26.78/26.87 c ---[1507]---> BDD-cost: 381 26.78/26.88 c ---[1505]---> BDD-cost: 381 26.78/26.89 c ---[1503]---> BDD-cost: 381 26.88/26.90 c ---[1501]---> BDD-cost: 381 26.88/26.91 c ---[1499]---> BDD-cost: 381 26.88/26.91 c ---[1497]---> BDD-cost: 381 26.88/26.92 c ---[1495]---> BDD-cost: 381 26.88/26.93 c ---[1493]---> BDD-cost: 381 26.88/26.94 c ---[1491]---> BDD-cost: 381 26.88/26.95 c ---[1489]---> BDD-cost: 381 26.88/26.96 c ---[1487]---> BDD-cost: 381 26.88/26.97 c ---[1485]---> BDD-cost: 381 26.88/26.98 c ---[1483]---> BDD-cost: 381 26.88/26.99 c ---[1481]---> BDD-cost: 381 26.98/27.00 c ---[1479]---> BDD-cost: 381 26.98/27.01 c ---[1477]---> BDD-cost: 381 26.98/27.02 c ---[1475]---> BDD-cost: 381 26.98/27.02 c ---[1473]---> BDD-cost: 381 26.98/27.03 c ---[1471]---> BDD-cost: 381 26.98/27.04 c ---[1469]---> BDD-cost: 381 26.98/27.05 c ---[1467]---> BDD-cost: 381 26.98/27.06 c ---[1465]---> BDD-cost: 381 26.98/27.07 c ---[1463]---> BDD-cost: 381 26.98/27.08 c ---[1461]---> BDD-cost: 381 26.98/27.09 c ---[1459]---> BDD-cost: 381 27.08/27.10 c ---[1457]---> BDD-cost: 381 27.08/27.11 c ---[1455]---> BDD-cost: 381 27.08/27.12 c ---[1453]---> BDD-cost: 381 27.08/27.13 c ---[1451]---> BDD-cost: 381 27.08/27.14 c ---[1449]---> BDD-cost: 381 27.08/27.14 c ---[1447]---> BDD-cost: 381 27.08/27.15 c ---[1445]---> BDD-cost: 381 27.08/27.16 c ---[1443]---> BDD-cost: 381 27.08/27.17 c ---[1441]---> BDD-cost: 381 27.08/27.18 c ---[1439]---> BDD-cost: 381 27.08/27.19 c ---[1437]---> BDD-cost: 381 27.18/27.20 c ---[1435]---> BDD-cost: 381 27.18/27.21 c ---[1433]---> BDD-cost: 381 27.18/27.22 c ---[1431]---> BDD-cost: 381 27.18/27.23 c ---[1429]---> BDD-cost: 381 27.18/27.24 c ---[1427]---> BDD-cost: 381 27.18/27.25 c ---[1425]---> BDD-cost: 381 27.18/27.25 c ---[1423]---> BDD-cost: 381 27.18/27.26 c ---[1421]---> BDD-cost: 381 27.18/27.27 c ---[1419]---> BDD-cost: 381 27.18/27.28 c ---[1417]---> BDD-cost: 381 27.18/27.29 c ---[1415]---> BDD-cost: 381 27.28/27.30 c ---[1413]---> BDD-cost: 381 27.28/27.31 c ---[1411]---> BDD-cost: 381 27.28/27.32 c ---[1409]---> BDD-cost: 381 27.28/27.33 c ---[1407]---> BDD-cost: 381 27.28/27.34 c ---[1405]---> BDD-cost: 381 27.28/27.35 c ---[1403]---> BDD-cost: 381 27.28/27.36 c ---[1401]---> BDD-cost: 381 27.28/27.36 c ---[1399]---> BDD-cost: 381 27.28/27.37 c ---[1397]---> BDD-cost: 381 27.28/27.38 c ---[1395]---> BDD-cost: 381 27.28/27.39 c ---[1393]---> BDD-cost: 381 27.38/27.40 c ---[1391]---> BDD-cost: 381 27.38/27.41 c ---[1389]---> BDD-cost: 381 27.38/27.42 c ---[1387]---> BDD-cost: 381 27.38/27.43 c ---[1385]---> BDD-cost: 381 27.38/27.44 c ---[1383]---> BDD-cost: 381 27.38/27.45 c ---[1381]---> BDD-cost: 381 27.38/27.46 c ---[1379]---> BDD-cost: 381 27.38/27.47 c ---[1377]---> BDD-cost: 381 27.38/27.48 c ---[1375]---> BDD-cost: 381 27.38/27.48 c ---[1373]---> BDD-cost: 381 27.38/27.49 c ---[1371]---> BDD-cost: 381 27.48/27.50 c ---[1369]---> BDD-cost: 381 27.48/27.51 c ---[1367]---> BDD-cost: 381 27.48/27.52 c ---[1365]---> BDD-cost: 381 27.48/27.53 c ---[1363]---> BDD-cost: 381 27.48/27.54 c ---[1361]---> BDD-cost: 381 27.48/27.55 c ---[1359]---> BDD-cost: 381 27.48/27.56 c ---[1357]---> BDD-cost: 381 27.48/27.57 c ---[1355]---> BDD-cost: 381 27.48/27.58 c ---[1353]---> BDD-cost: 381 27.48/27.59 c ---[1351]---> BDD-cost: 381 27.48/27.60 c ---[1349]---> BDD-cost: 381 27.58/27.60 c ---[1347]---> BDD-cost: 381 27.58/27.61 c ---[1345]---> BDD-cost: 381 27.58/27.62 c ---[1343]---> BDD-cost: 381 27.58/27.63 c ---[1341]---> BDD-cost: 381 27.58/27.64 c ---[1339]---> BDD-cost: 381 27.58/27.65 c ---[1337]---> BDD-cost: 381 27.58/27.66 c ---[1335]---> BDD-cost: 381 27.58/27.67 c ---[1333]---> BDD-cost: 381 27.58/27.68 c ---[1331]---> BDD-cost: 381 27.58/27.69 c ---[1329]---> BDD-cost: 381 27.68/27.70 c ---[1327]---> BDD-cost: 381 27.68/27.71 c ---[1325]---> BDD-cost: 381 27.68/27.72 c ---[1323]---> BDD-cost: 381 27.68/27.72 c ---[1321]---> BDD-cost: 381 27.68/27.73 c ---[1319]---> BDD-cost: 381 27.68/27.74 c ---[1317]---> BDD-cost: 381 27.68/27.75 c ---[1315]---> BDD-cost: 381 27.68/27.76 c ---[1313]---> BDD-cost: 381 27.68/27.77 c ---[1311]---> BDD-cost: 381 27.68/27.78 c ---[1309]---> BDD-cost: 381 27.68/27.79 c ---[1307]---> BDD-cost: 381 27.78/27.80 c ---[1305]---> BDD-cost: 381 27.78/27.81 c ---[1303]---> BDD-cost: 381 27.78/27.82 c ---[1301]---> BDD-cost: 381 27.78/27.83 c ---[1299]---> BDD-cost: 381 27.78/27.84 c ---[1297]---> BDD-cost: 381 27.78/27.84 c ---[1295]---> BDD-cost: 381 27.78/27.85 c ---[1293]---> BDD-cost: 381 27.78/27.86 c ---[1291]---> BDD-cost: 381 27.78/27.87 c ---[1289]---> BDD-cost: 381 27.78/27.88 c ---[1287]---> BDD-cost: 381 27.78/27.89 c ---[1285]---> BDD-cost: 381 27.88/27.90 c ---[1283]---> BDD-cost: 381 27.88/27.91 c ---[1281]---> BDD-cost: 381 27.88/27.92 c ---[1279]---> BDD-cost: 381 27.88/27.93 c ---[1277]---> BDD-cost: 381 27.88/27.94 c ---[1275]---> BDD-cost: 381 27.88/27.95 c ---[1273]---> BDD-cost: 381 27.88/27.96 c ---[1271]---> BDD-cost: 381 27.88/27.96 c ---[1269]---> BDD-cost: 381 27.88/27.97 c ---[1267]---> BDD-cost: 381 27.88/27.98 c ---[1265]---> BDD-cost: 381 27.88/27.99 c ---[1263]---> BDD-cost: 381 27.98/28.00 c ---[1261]---> BDD-cost: 381 27.98/28.01 c ---[1259]---> BDD-cost: 381 27.98/28.02 c ---[1257]---> BDD-cost: 381 27.98/28.03 c ---[1255]---> BDD-cost: 381 27.98/28.04 c ---[1253]---> BDD-cost: 381 27.98/28.05 c ---[1251]---> BDD-cost: 381 27.98/28.06 c ---[1249]---> BDD-cost: 381 27.98/28.07 c ---[1247]---> BDD-cost: 381 27.98/28.08 c ---[1245]---> BDD-cost: 381 27.98/28.08 c ---[1243]---> BDD-cost: 381 27.98/28.09 c ---[1241]---> BDD-cost: 381 28.08/28.10 c ---[1239]---> BDD-cost: 381 28.08/28.11 c ---[1237]---> BDD-cost: 381 28.08/28.12 c ---[1235]---> BDD-cost: 381 28.08/28.13 c ---[1233]---> BDD-cost: 381 28.08/28.14 c ---[1231]---> BDD-cost: 381 28.08/28.15 c ---[1229]---> BDD-cost: 381 28.08/28.16 c ---[1227]---> BDD-cost: 381 28.08/28.17 c ---[1225]---> BDD-cost: 381 28.08/28.18 c ---[1223]---> BDD-cost: 381 28.08/28.19 c ---[1221]---> BDD-cost: 381 28.08/28.20 c ---[1219]---> BDD-cost: 381 28.18/28.20 c ---[1217]---> BDD-cost: 381 28.18/28.21 c ---[1215]---> BDD-cost: 381 28.18/28.22 c ---[1213]---> BDD-cost: 381 28.18/28.23 c ---[1211]---> BDD-cost: 381 28.18/28.24 c ---[1209]---> BDD-cost: 381 28.18/28.25 c ---[1207]---> BDD-cost: 381 28.18/28.26 c ---[1205]---> BDD-cost: 381 28.18/28.27 c ---[1203]---> BDD-cost: 381 28.18/28.28 c ---[1201]---> BDD-cost: 381 28.18/28.29 c ---[1199]---> BDD-cost: 381 28.28/28.30 c ---[1197]---> BDD-cost: 381 28.28/28.31 c ---[1195]---> BDD-cost: 381 28.28/28.31 c ---[1193]---> BDD-cost: 381 28.28/28.32 c ---[1191]---> BDD-cost: 381 28.28/28.33 c ---[1189]---> BDD-cost: 381 28.28/28.34 c ---[1187]---> BDD-cost: 381 28.28/28.35 c ---[1185]---> BDD-cost: 381 28.28/28.36 c ---[1183]---> BDD-cost: 381 28.28/28.37 c ---[1181]---> BDD-cost: 381 28.28/28.38 c ---[1179]---> BDD-cost: 381 28.28/28.39 c ---[1177]---> BDD-cost: 381 28.38/28.40 c ---[1175]---> BDD-cost: 381 28.38/28.41 c ---[1173]---> BDD-cost: 381 28.38/28.42 c ---[1171]---> BDD-cost: 381 28.38/28.43 c ---[1169]---> BDD-cost: 381 28.38/28.43 c ---[1167]---> BDD-cost: 381 28.38/28.44 c ---[1165]---> BDD-cost: 381 28.38/28.45 c ---[1163]---> BDD-cost: 381 28.38/28.46 c ---[1161]---> BDD-cost: 381 28.38/28.47 c ---[1159]---> BDD-cost: 381 28.38/28.48 c ---[1157]---> BDD-cost: 381 28.38/28.49 c ---[1155]---> BDD-cost: 381 28.38/28.50 c ---[1153]---> BDD-cost: 381 28.48/28.51 c ---[1151]---> BDD-cost: 381 28.48/28.52 c ---[1149]---> BDD-cost: 381 28.48/28.53 c ---[1147]---> BDD-cost: 381 28.48/28.54 c ---[1145]---> BDD-cost: 381 28.48/28.55 c ---[1143]---> BDD-cost: 381 28.48/28.55 c ---[1141]---> BDD-cost: 381 28.48/28.56 c ---[1139]---> BDD-cost: 381 28.48/28.57 c ---[1137]---> BDD-cost: 381 28.48/28.58 c ---[1135]---> BDD-cost: 381 28.48/28.59 c ---[1133]---> BDD-cost: 381 28.48/28.60 c ---[1131]---> BDD-cost: 381 28.58/28.61 c ---[1129]---> BDD-cost: 381 28.58/28.62 c ---[1127]---> BDD-cost: 381 28.58/28.63 c ---[1125]---> BDD-cost: 381 28.58/28.64 c ---[1123]---> BDD-cost: 381 28.58/28.65 c ---[1121]---> BDD-cost: 381 28.58/28.66 c ---[1119]---> BDD-cost: 381 28.58/28.67 c ---[1117]---> BDD-cost: 381 28.58/28.67 c ---[1115]---> BDD-cost: 381 28.58/28.68 c ---[1113]---> BDD-cost: 381 28.58/28.69 c ---[1111]---> BDD-cost: 381 28.68/28.70 c ---[1109]---> BDD-cost: 381 28.68/28.71 c ---[1107]---> BDD-cost: 381 28.68/28.72 c ---[1105]---> BDD-cost: 381 28.68/28.73 c ---[1103]---> BDD-cost: 381 28.68/28.74 c ---[1101]---> BDD-cost: 381 28.68/28.75 c ---[1099]---> BDD-cost: 381 28.68/28.76 c ---[1097]---> BDD-cost: 381 28.68/28.77 c ---[1095]---> BDD-cost: 381 28.68/28.78 c ---[1093]---> BDD-cost: 381 28.68/28.79 c ---[1091]---> BDD-cost: 381 28.68/28.79 c ---[1089]---> BDD-cost: 381 28.78/28.80 c ---[1087]---> BDD-cost: 381 28.78/28.81 c ---[1085]---> BDD-cost: 381 28.78/28.82 c ---[1083]---> BDD-cost: 381 28.78/28.83 c ---[1081]---> BDD-cost: 381 28.78/28.84 c ---[1079]---> BDD-cost: 381 28.78/28.85 c ---[1077]---> BDD-cost: 381 28.78/28.86 c ---[1075]---> BDD-cost: 381 28.78/28.87 c ---[1073]---> BDD-cost: 381 28.78/28.88 c ---[1071]---> BDD-cost: 381 28.78/28.89 c ---[1069]---> BDD-cost: 381 28.88/28.90 c ---[1067]---> BDD-cost: 381 28.88/28.91 c ---[1065]---> BDD-cost: 381 28.88/28.91 c ---[1063]---> BDD-cost: 381 28.88/28.92 c ---[1061]---> BDD-cost: 381 28.88/28.93 c ---[1059]---> BDD-cost: 381 28.88/28.94 c ---[1057]---> BDD-cost: 381 28.88/28.95 c ---[1055]---> BDD-cost: 381 28.88/28.96 c ---[1053]---> BDD-cost: 381 28.88/28.97 c ---[1051]---> BDD-cost: 381 28.88/28.98 c ---[1049]---> BDD-cost: 381 28.88/28.99 c ---[1047]---> BDD-cost: 381 28.98/29.00 c ---[1045]---> BDD-cost: 381 28.98/29.01 c ---[1043]---> BDD-cost: 381 28.98/29.02 c ---[1041]---> BDD-cost: 381 28.98/29.03 c ---[1039]---> BDD-cost: 381 28.98/29.03 c ---[1037]---> BDD-cost: 381 28.98/29.04 c ---[1035]---> BDD-cost: 381 28.98/29.05 c ---[1033]---> BDD-cost: 381 28.98/29.06 c ---[1031]---> BDD-cost: 381 28.98/29.07 c ---[1029]---> BDD-cost: 381 28.98/29.08 c ---[1027]---> BDD-cost: 381 28.98/29.09 c ---[1025]---> BDD-cost: 381 29.08/29.10 c ---[1023]---> BDD-cost: 381 29.08/29.11 c ---[1021]---> BDD-cost: 381 29.08/29.12 c ---[1019]---> BDD-cost: 381 29.08/29.13 c ---[1017]---> BDD-cost: 381 29.08/29.14 c ---[1015]---> BDD-cost: 381 29.08/29.15 c ---[1013]---> BDD-cost: 381 29.08/29.16 c ---[1011]---> BDD-cost: 381 29.08/29.16 c ---[1009]---> BDD-cost: 381 29.08/29.17 c ---[1007]---> BDD-cost: 381 29.08/29.18 c ---[1005]---> BDD-cost: 381 29.08/29.19 c ---[1003]---> BDD-cost: 381 29.18/29.20 c ---[1001]---> BDD-cost: 381 29.18/29.21 c ---[ 999]---> BDD-cost: 381 29.18/29.22 c ---[ 997]---> BDD-cost: 381 29.18/29.23 c ---[ 995]---> BDD-cost: 381 29.18/29.24 c ---[ 993]---> BDD-cost: 381 29.18/29.25 c ---[ 991]---> BDD-cost: 381 29.18/29.26 c ---[ 989]---> BDD-cost: 381 29.18/29.27 c ---[ 987]---> BDD-cost: 381 29.18/29.28 c ---[ 985]---> BDD-cost: 381 29.18/29.28 c ---[ 983]---> BDD-cost: 381 29.18/29.29 c ---[ 981]---> BDD-cost: 381 29.28/29.30 c ---[ 979]---> BDD-cost: 381 29.28/29.31 c ---[ 977]---> BDD-cost: 381 29.28/29.32 c ---[ 975]---> BDD-cost: 381 29.28/29.33 c ---[ 973]---> BDD-cost: 381 29.28/29.34 c ---[ 971]---> BDD-cost: 381 29.28/29.35 c ---[ 969]---> BDD-cost: 381 29.28/29.36 c ---[ 967]---> BDD-cost: 381 29.28/29.37 c ---[ 965]---> BDD-cost: 381 29.28/29.38 c ---[ 963]---> BDD-cost: 381 29.28/29.39 c ---[ 961]---> BDD-cost: 381 29.38/29.40 c ---[ 959]---> BDD-cost: 381 29.38/29.40 c ---[ 957]---> BDD-cost: 381 29.38/29.41 c ---[ 955]---> BDD-cost: 381 29.38/29.42 c ---[ 953]---> BDD-cost: 381 29.38/29.43 c ---[ 951]---> BDD-cost: 381 29.38/29.44 c ---[ 949]---> BDD-cost: 381 29.38/29.45 c ---[ 947]---> BDD-cost: 381 29.38/29.46 c ---[ 945]---> BDD-cost: 381 29.38/29.47 c ---[ 943]---> BDD-cost: 381 29.38/29.48 c ---[ 941]---> BDD-cost: 381 29.38/29.49 c ---[ 939]---> BDD-cost: 381 29.48/29.50 c ---[ 937]---> BDD-cost: 381 29.48/29.51 c ---[ 935]---> BDD-cost: 381 29.48/29.52 c ---[ 933]---> BDD-cost: 381 29.48/29.53 c ---[ 931]---> BDD-cost: 381 29.48/29.54 c ---[ 929]---> BDD-cost: 381 29.48/29.54 c ---[ 927]---> BDD-cost: 381 29.48/29.55 c ---[ 925]---> BDD-cost: 381 29.48/29.56 c ---[ 923]---> BDD-cost: 381 29.48/29.57 c ---[ 921]---> BDD-cost: 381 29.48/29.58 c ---[ 919]---> BDD-cost: 381 29.48/29.59 c ---[ 917]---> BDD-cost: 381 29.48/29.60 c ---[ 915]---> BDD-cost: 381 29.58/29.61 c ---[ 913]---> BDD-cost: 381 29.58/29.62 c ---[ 911]---> BDD-cost: 381 29.58/29.63 c ---[ 909]---> BDD-cost: 381 29.58/29.64 c ---[ 907]---> BDD-cost: 381 29.58/29.65 c ---[ 905]---> BDD-cost: 381 29.58/29.66 c ---[ 903]---> BDD-cost: 381 29.58/29.67 c ---[ 901]---> BDD-cost: 381 29.58/29.67 c ---[ 899]---> BDD-cost: 381 29.58/29.68 c ---[ 897]---> BDD-cost: 381 29.58/29.69 c ---[ 895]---> BDD-cost: 381 29.68/29.70 c ---[ 893]---> BDD-cost: 381 29.68/29.71 c ---[ 891]---> BDD-cost: 381 29.68/29.72 c ---[ 889]---> BDD-cost: 381 29.68/29.73 c ---[ 887]---> BDD-cost: 381 29.68/29.74 c ---[ 885]---> BDD-cost: 381 29.68/29.75 c ---[ 883]---> BDD-cost: 381 29.68/29.76 c ---[ 881]---> BDD-cost: 381 29.68/29.77 c ---[ 879]---> BDD-cost: 381 29.68/29.78 c ---[ 877]---> BDD-cost: 381 29.68/29.79 c ---[ 875]---> BDD-cost: 381 29.68/29.80 c ---[ 873]---> BDD-cost: 381 29.78/29.80 c ---[ 871]---> BDD-cost: 381 29.78/29.81 c ---[ 869]---> BDD-cost: 381 29.78/29.82 c ---[ 867]---> BDD-cost: 381 29.78/29.83 c ---[ 865]---> BDD-cost: 381 29.78/29.84 c ---[ 863]---> BDD-cost: 381 29.78/29.85 c ---[ 861]---> BDD-cost: 381 29.78/29.86 c ---[ 859]---> BDD-cost: 381 29.78/29.87 c ---[ 857]---> BDD-cost: 381 29.78/29.88 c ---[ 855]---> BDD-cost: 381 29.78/29.89 c ---[ 853]---> BDD-cost: 381 29.88/29.90 c ---[ 851]---> BDD-cost: 381 29.88/29.91 c ---[ 849]---> BDD-cost: 381 29.88/29.92 c ---[ 847]---> BDD-cost: 381 29.88/29.93 c ---[ 845]---> BDD-cost: 381 29.88/29.93 c ---[ 843]---> BDD-cost: 381 29.88/29.94 c ---[ 841]---> BDD-cost: 381 29.88/29.95 c ---[ 839]---> BDD-cost: 381 29.88/29.96 c ---[ 837]---> BDD-cost: 381 29.88/29.97 c ---[ 835]---> BDD-cost: 381 29.88/29.98 c ---[ 833]---> BDD-cost: 381 29.88/29.99 c ---[ 831]---> BDD-cost: 381 29.98/30.00 c ---[ 829]---> BDD-cost: 381 29.98/30.01 c ---[ 827]---> BDD-cost: 381 29.98/30.02 c ---[ 825]---> BDD-cost: 381 29.98/30.03 c ---[ 823]---> BDD-cost: 381 29.98/30.04 c ---[ 821]---> BDD-cost: 381 29.98/30.05 c ---[ 819]---> BDD-cost: 381 29.98/30.06 c ---[ 817]---> BDD-cost: 381 29.98/30.06 c ---[ 815]---> BDD-cost: 381 29.98/30.07 c ---[ 813]---> BDD-cost: 381 29.98/30.08 c ---[ 811]---> BDD-cost: 381 29.98/30.09 c ---[ 809]---> BDD-cost: 381 30.08/30.10 c ---[ 807]---> BDD-cost: 381 30.08/30.11 c ---[ 805]---> BDD-cost: 381 30.08/30.12 c ---[ 803]---> BDD-cost: 381 30.08/30.13 c ---[ 801]---> BDD-cost: 381 30.08/30.14 c ---[ 799]---> BDD-cost: 381 30.08/30.15 c ---[ 797]---> BDD-cost: 381 30.08/30.16 c ---[ 795]---> BDD-cost: 381 30.08/30.17 c ---[ 793]---> BDD-cost: 381 30.08/30.18 c ---[ 791]---> BDD-cost: 381 30.08/30.18 c ---[ 789]---> BDD-cost: 381 30.08/30.19 c ---[ 787]---> BDD-cost: 381 30.18/30.20 c ---[ 785]---> BDD-cost: 381 30.18/30.21 c ---[ 783]---> BDD-cost: 381 30.18/30.22 c ---[ 781]---> BDD-cost: 381 30.18/30.23 c ---[ 779]---> BDD-cost: 381 30.18/30.24 c ---[ 777]---> BDD-cost: 381 30.18/30.25 c ---[ 775]---> BDD-cost: 381 30.18/30.26 c ---[ 773]---> BDD-cost: 381 30.18/30.27 c ---[ 771]---> BDD-cost: 381 30.18/30.28 c ---[ 769]---> BDD-cost: 381 30.18/30.29 c ---[ 767]---> BDD-cost: 381 30.28/30.30 c ---[ 765]---> BDD-cost: 381 30.28/30.31 c ---[ 763]---> BDD-cost: 381 30.28/30.31 c ---[ 761]---> BDD-cost: 381 30.28/30.32 c ---[ 759]---> BDD-cost: 381 30.28/30.33 c ---[ 757]---> BDD-cost: 381 30.28/30.34 c ---[ 755]---> BDD-cost: 381 30.28/30.35 c ---[ 753]---> BDD-cost: 381 30.28/30.36 c ---[ 751]---> BDD-cost: 381 30.28/30.37 c ---[ 749]---> BDD-cost: 381 30.28/30.38 c ---[ 747]---> BDD-cost: 381 30.28/30.39 c ---[ 745]---> BDD-cost: 381 30.38/30.40 c ---[ 743]---> BDD-cost: 381 30.38/30.41 c ---[ 741]---> BDD-cost: 381 30.38/30.42 c ---[ 739]---> BDD-cost: 381 30.38/30.43 c ---[ 737]---> BDD-cost: 381 30.38/30.43 c ---[ 735]---> BDD-cost: 381 30.38/30.44 c ---[ 733]---> BDD-cost: 381 30.38/30.45 c ---[ 731]---> BDD-cost: 381 30.38/30.46 c ---[ 729]---> BDD-cost: 381 30.38/30.47 c ---[ 727]---> BDD-cost: 381 30.38/30.48 c ---[ 725]---> BDD-cost: 381 30.38/30.49 c ---[ 723]---> BDD-cost: 381 30.48/30.50 c ---[ 721]---> BDD-cost: 381 30.48/30.51 c ---[ 719]---> BDD-cost: 381 30.48/30.52 c ---[ 717]---> BDD-cost: 381 30.48/30.53 c ---[ 715]---> BDD-cost: 381 30.48/30.54 c ---[ 713]---> BDD-cost: 381 30.48/30.55 c ---[ 711]---> BDD-cost: 381 30.48/30.55 c ---[ 709]---> BDD-cost: 381 30.48/30.56 c ---[ 707]---> BDD-cost: 381 30.48/30.57 c ---[ 705]---> BDD-cost: 381 30.48/30.58 c ---[ 703]---> BDD-cost: 381 30.48/30.59 c ---[ 701]---> BDD-cost: 381 30.58/30.60 c ---[ 699]---> BDD-cost: 381 30.58/30.61 c ---[ 697]---> BDD-cost: 381 30.58/30.62 c ---[ 695]---> BDD-cost: 381 30.58/30.63 c ---[ 693]---> BDD-cost: 381 30.58/30.64 c ---[ 691]---> BDD-cost: 381 30.58/30.65 c ---[ 689]---> BDD-cost: 381 30.58/30.66 c ---[ 687]---> BDD-cost: 381 30.58/30.67 c ---[ 685]---> BDD-cost: 381 30.58/30.67 c ---[ 683]---> BDD-cost: 381 30.58/30.68 c ---[ 681]---> BDD-cost: 381 30.58/30.69 c ---[ 679]---> BDD-cost: 381 30.68/30.70 c ---[ 677]---> BDD-cost: 381 30.68/30.71 c ---[ 675]---> BDD-cost: 381 30.68/30.72 c ---[ 673]---> BDD-cost: 381 30.68/30.73 c ---[ 671]---> BDD-cost: 381 30.68/30.74 c ---[ 669]---> BDD-cost: 381 30.68/30.75 c ---[ 667]---> BDD-cost: 381 30.68/30.76 c ---[ 665]---> BDD-cost: 381 30.68/30.77 c ---[ 663]---> BDD-cost: 381 30.68/30.78 c ---[ 661]---> BDD-cost: 381 30.68/30.79 c ---[ 659]---> BDD-cost: 381 30.68/30.79 c ---[ 657]---> BDD-cost: 381 30.78/30.80 c ---[ 655]---> BDD-cost: 381 30.78/30.81 c ---[ 653]---> BDD-cost: 381 30.78/30.82 c ---[ 651]---> BDD-cost: 381 30.78/30.83 c ---[ 649]---> BDD-cost: 381 30.78/30.84 c ---[ 647]---> BDD-cost: 381 30.78/30.85 c ---[ 645]---> BDD-cost: 381 30.78/30.86 c ---[ 643]---> BDD-cost: 381 30.78/30.87 c ---[ 641]---> BDD-cost: 381 30.78/30.88 c ---[ 639]---> BDD-cost: 381 30.78/30.89 c ---[ 637]---> BDD-cost: 381 30.88/30.90 c ---[ 635]---> BDD-cost: 381 30.88/30.98 c ---[ 633]---> BDD-cost: 381 30.88/30.99 c ---[ 631]---> BDD-cost: 381 30.88/30.99 c ---[ 629]---> BDD-cost: 381 30.98/31.00 c ---[ 627]---> BDD-cost: 381 30.98/31.01 c ---[ 625]---> BDD-cost: 381 30.98/31.02 c ---[ 623]---> BDD-cost: 381 30.98/31.03 c ---[ 621]---> BDD-cost: 381 30.98/31.04 c ---[ 619]---> BDD-cost: 381 30.98/31.05 c ---[ 617]---> BDD-cost: 381 30.98/31.06 c ---[ 615]---> BDD-cost: 381 30.98/31.07 c ---[ 613]---> BDD-cost: 381 30.98/31.08 c ---[ 611]---> BDD-cost: 381 30.98/31.09 c ---[ 609]---> BDD-cost: 381 31.08/31.10 c ---[ 607]---> BDD-cost: 381 31.08/31.10 c ---[ 605]---> BDD-cost: 381 31.08/31.11 c ---[ 603]---> BDD-cost: 381 31.08/31.12 c ---[ 601]---> BDD-cost: 381 31.08/31.13 c ---[ 599]---> BDD-cost: 381 31.08/31.14 c ---[ 597]---> BDD-cost: 381 31.08/31.15 c ---[ 595]---> BDD-cost: 381 31.08/31.16 c ---[ 593]---> BDD-cost: 381 31.08/31.17 c ---[ 591]---> BDD-cost: 381 31.08/31.18 c ---[ 589]---> BDD-cost: 381 31.08/31.19 c ---[ 587]---> BDD-cost: 381 31.18/31.20 c ---[ 585]---> BDD-cost: 381 31.18/31.21 c ---[ 583]---> BDD-cost: 381 31.18/31.22 c ---[ 581]---> BDD-cost: 381 31.18/31.23 c ---[ 579]---> BDD-cost: 381 31.18/31.23 c ---[ 577]---> BDD-cost: 381 31.18/31.24 c ---[ 575]---> BDD-cost: 381 31.18/31.25 c ---[ 573]---> BDD-cost: 381 31.18/31.26 c ---[ 571]---> BDD-cost: 381 31.18/31.27 c ---[ 569]---> BDD-cost: 381 31.18/31.28 c ---[ 567]---> BDD-cost: 381 31.18/31.29 c ---[ 565]---> BDD-cost: 381 31.28/31.30 c ---[ 563]---> BDD-cost: 381 31.28/31.31 c ---[ 561]---> BDD-cost: 381 31.28/31.32 c ---[ 559]---> BDD-cost: 381 31.28/31.33 c ---[ 557]---> BDD-cost: 381 31.28/31.34 c ---[ 555]---> BDD-cost: 381 31.28/31.34 c ---[ 553]---> BDD-cost: 381 31.28/31.35 c ---[ 551]---> BDD-cost: 381 31.28/31.36 c ---[ 549]---> BDD-cost: 381 31.28/31.37 c ---[ 547]---> BDD-cost: 381 31.28/31.38 c ---[ 545]---> BDD-cost: 381 31.28/31.39 c ---[ 543]---> BDD-cost: 381 31.38/31.40 c ---[ 541]---> BDD-cost: 381 31.38/31.41 c ---[ 539]---> BDD-cost: 381 31.38/31.42 c ---[ 537]---> BDD-cost: 381 31.38/31.43 c ---[ 535]---> BDD-cost: 381 31.38/31.44 c ---[ 533]---> BDD-cost: 381 31.38/31.45 c ---[ 531]---> BDD-cost: 381 31.38/31.46 c ---[ 529]---> BDD-cost: 381 31.38/31.47 c ---[ 527]---> BDD-cost: 381 31.38/31.47 c ---[ 525]---> BDD-cost: 381 31.38/31.48 c ---[ 523]---> BDD-cost: 381 31.38/31.49 c ---[ 521]---> BDD-cost: 381 31.48/31.50 c ---[ 519]---> BDD-cost: 381 31.48/31.51 c ---[ 517]---> BDD-cost: 381 31.48/31.52 c ---[ 515]---> BDD-cost: 381 31.48/31.53 c ---[ 513]---> BDD-cost: 381 31.48/31.54 c ---[ 511]---> BDD-cost: 381 31.48/31.55 c ---[ 509]---> BDD-cost: 381 31.48/31.56 c ---[ 507]---> BDD-cost: 381 31.48/31.57 c ---[ 505]---> BDD-cost: 381 31.48/31.58 c ---[ 503]---> BDD-cost: 381 31.48/31.58 c ---[ 501]---> BDD-cost: 381 31.48/31.60 c ---[ 499]---> BDD-cost: 381 31.58/31.60 c ---[ 497]---> BDD-cost: 381 31.58/31.61 c ---[ 495]---> BDD-cost: 381 31.58/31.62 c ---[ 493]---> BDD-cost: 381 31.58/31.63 c ---[ 491]---> BDD-cost: 381 31.58/31.64 c ---[ 489]---> BDD-cost: 381 31.58/31.65 c ---[ 487]---> BDD-cost: 381 31.58/31.66 c ---[ 485]---> BDD-cost: 381 31.58/31.67 c ---[ 483]---> BDD-cost: 381 31.58/31.68 c ---[ 481]---> BDD-cost: 381 31.58/31.69 c ---[ 479]---> BDD-cost: 381 31.68/31.70 c ---[ 477]---> BDD-cost: 381 31.68/31.71 c ---[ 475]---> BDD-cost: 381 31.68/31.71 c ---[ 473]---> BDD-cost: 381 31.68/31.72 c ---[ 471]---> BDD-cost: 381 31.68/31.73 c ---[ 469]---> BDD-cost: 381 31.68/31.74 c ---[ 467]---> BDD-cost: 381 31.68/31.75 c ---[ 465]---> BDD-cost: 381 31.68/31.76 c ---[ 463]---> BDD-cost: 381 31.68/31.77 c ---[ 461]---> BDD-cost: 381 31.68/31.78 c ---[ 459]---> BDD-cost: 381 31.68/31.79 c ---[ 457]---> BDD-cost: 381 31.68/31.80 c ---[ 455]---> BDD-cost: 381 31.79/31.81 c ---[ 453]---> BDD-cost: 381 31.79/31.82 c ---[ 451]---> BDD-cost: 381 31.79/31.83 c ---[ 449]---> BDD-cost: 381 31.79/31.83 c ---[ 447]---> BDD-cost: 381 31.79/31.84 c ---[ 445]---> BDD-cost: 381 31.79/31.85 c ---[ 443]---> BDD-cost: 381 31.79/31.86 c ---[ 441]---> BDD-cost: 381 31.79/31.87 c ---[ 439]---> BDD-cost: 381 31.79/31.88 c ---[ 437]---> BDD-cost: 381 31.79/31.89 c ---[ 435]---> BDD-cost: 381 31.79/31.90 c ---[ 433]---> BDD-cost: 381 31.89/31.91 c ---[ 431]---> BDD-cost: 381 31.89/31.92 c ---[ 429]---> BDD-cost: 381 31.89/31.93 c ---[ 427]---> BDD-cost: 381 31.89/31.94 c ---[ 425]---> BDD-cost: 381 31.89/31.95 c ---[ 423]---> BDD-cost: 381 31.89/31.95 c ---[ 421]---> BDD-cost: 381 31.89/31.96 c ---[ 419]---> BDD-cost: 381 31.89/31.97 c ---[ 417]---> BDD-cost: 381 31.89/31.98 c ---[ 415]---> BDD-cost: 381 31.89/31.99 c ---[ 413]---> BDD-cost: 381 31.98/32.00 c ---[ 411]---> BDD-cost: 381 31.98/32.01 c ---[ 409]---> BDD-cost: 381 31.98/32.02 c ---[ 407]---> BDD-cost: 381 31.98/32.03 c ---[ 405]---> BDD-cost: 381 31.98/32.04 c ---[ 403]---> BDD-cost: 381 31.98/32.05 c ---[ 401]---> BDD-cost: 381 31.98/32.06 c ---[ 399]---> BDD-cost: 381 31.98/32.07 c ---[ 397]---> BDD-cost: 381 31.98/32.07 c ---[ 395]---> BDD-cost: 381 31.98/32.08 c ---[ 393]---> BDD-cost: 381 31.98/32.09 c ---[ 391]---> BDD-cost: 381 32.08/32.10 c ---[ 389]---> BDD-cost: 381 32.08/32.11 c ---[ 387]---> BDD-cost: 381 32.08/32.12 c ---[ 385]---> BDD-cost: 381 32.08/32.13 c ---[ 383]---> BDD-cost: 381 32.08/32.14 c ---[ 381]---> BDD-cost: 381 32.08/32.15 c ---[ 379]---> BDD-cost: 381 32.08/32.16 c ---[ 377]---> BDD-cost: 381 32.08/32.17 c ---[ 375]---> BDD-cost: 381 32.08/32.18 c ---[ 373]---> BDD-cost: 381 32.08/32.19 c ---[ 371]---> BDD-cost: 381 32.08/32.20 c ---[ 369]---> BDD-cost: 381 32.18/32.20 c ---[ 367]---> BDD-cost: 381 32.18/32.21 c ---[ 365]---> BDD-cost: 381 32.18/32.22 c ---[ 363]---> BDD-cost: 381 32.18/32.23 c ---[ 361]---> BDD-cost: 381 32.18/32.24 c ---[ 359]---> BDD-cost: 381 32.18/32.25 c ---[ 357]---> BDD-cost: 381 32.18/32.26 c ---[ 355]---> BDD-cost: 381 32.18/32.27 c ---[ 353]---> BDD-cost: 381 32.18/32.28 c ---[ 351]---> BDD-cost: 381 32.18/32.29 c ---[ 349]---> BDD-cost: 381 32.28/32.30 c ---[ 347]---> BDD-cost: 381 32.28/32.31 c ---[ 345]---> BDD-cost: 381 32.28/32.32 c ---[ 343]---> BDD-cost: 381 32.28/32.32 c ---[ 341]---> BDD-cost: 381 32.28/32.33 c ---[ 339]---> BDD-cost: 381 32.28/32.34 c ---[ 337]---> BDD-cost: 381 32.28/32.35 c ---[ 335]---> BDD-cost: 381 32.28/32.36 c ---[ 333]---> BDD-cost: 381 32.28/32.37 c ---[ 331]---> BDD-cost: 381 32.28/32.38 c ---[ 329]---> BDD-cost: 381 32.28/32.39 c ---[ 327]---> BDD-cost: 381 32.38/32.40 c ---[ 325]---> BDD-cost: 381 32.38/32.41 c ---[ 323]---> BDD-cost: 381 32.38/32.42 c ---[ 321]---> BDD-cost: 381 32.38/32.43 c ---[ 319]---> BDD-cost: 381 32.38/32.44 c ---[ 317]---> BDD-cost: 381 32.38/32.44 c ---[ 315]---> BDD-cost: 381 32.38/32.45 c ---[ 313]---> BDD-cost: 381 32.38/32.46 c ---[ 311]---> BDD-cost: 381 32.38/32.47 c ---[ 309]---> BDD-cost: 381 32.38/32.48 c ---[ 307]---> BDD-cost: 381 32.38/32.49 c ---[ 305]---> BDD-cost: 381 32.48/32.50 c ---[ 303]---> BDD-cost: 381 32.48/32.51 c ---[ 301]---> BDD-cost: 381 32.48/32.52 c ---[ 299]---> BDD-cost: 381 32.48/32.53 c ---[ 297]---> BDD-cost: 381 32.48/32.54 c ---[ 295]---> BDD-cost: 381 32.48/32.55 c ---[ 293]---> BDD-cost: 381 32.48/32.56 c ---[ 291]---> BDD-cost: 381 32.48/32.56 c ---[ 289]---> BDD-cost: 381 32.48/32.57 c ---[ 287]---> BDD-cost: 381 32.48/32.58 c ---[ 285]---> BDD-cost: 381 32.48/32.59 c ---[ 283]---> BDD-cost: 381 32.58/32.60 c ---[ 281]---> BDD-cost: 381 32.58/32.61 c ---[ 279]---> BDD-cost: 381 32.58/32.62 c ---[ 277]---> BDD-cost: 381 32.58/32.63 c ---[ 275]---> BDD-cost: 381 32.58/32.64 c ---[ 273]---> BDD-cost: 381 32.58/32.65 c ---[ 271]---> BDD-cost: 381 32.58/32.66 c ---[ 269]---> BDD-cost: 381 32.58/32.67 c ---[ 267]---> BDD-cost: 381 32.58/32.68 c ---[ 265]---> BDD-cost: 381 32.58/32.68 c ---[ 263]---> BDD-cost: 381 32.58/32.69 c ---[ 261]---> BDD-cost: 381 32.68/32.70 c ---[ 259]---> BDD-cost: 381 32.68/32.71 c ---[ 257]---> BDD-cost: 381 32.68/32.72 c ---[ 255]---> BDD-cost: 381 32.68/32.73 c ---[ 253]---> BDD-cost: 381 32.68/32.74 c ---[ 251]---> BDD-cost: 381 32.68/32.75 c ---[ 249]---> BDD-cost: 381 32.68/32.76 c ---[ 247]---> BDD-cost: 381 32.68/32.77 c ---[ 245]---> BDD-cost: 381 32.68/32.78 c ---[ 243]---> BDD-cost: 381 32.68/32.79 c ---[ 241]---> BDD-cost: 381 32.78/32.80 c ---[ 239]---> BDD-cost: 381 32.78/32.80 c ---[ 237]---> BDD-cost: 381 32.78/32.81 c ---[ 235]---> BDD-cost: 381 32.78/32.82 c ---[ 233]---> BDD-cost: 381 32.78/32.83 c ---[ 231]---> BDD-cost: 381 32.78/32.84 c ---[ 229]---> BDD-cost: 381 32.78/32.85 c ---[ 227]---> BDD-cost: 381 32.78/32.86 c ---[ 225]---> BDD-cost: 381 32.78/32.87 c ---[ 223]---> BDD-cost: 381 32.78/32.88 c ---[ 221]---> BDD-cost: 381 32.78/32.89 c ---[ 219]---> BDD-cost: 381 32.78/32.90 c ---[ 217]---> BDD-cost: 381 32.88/32.91 c ---[ 215]---> BDD-cost: 381 32.88/32.92 c ---[ 213]---> BDD-cost: 381 32.88/32.92 c ---[ 211]---> BDD-cost: 381 32.88/32.93 c ---[ 209]---> BDD-cost: 381 32.88/32.94 c ---[ 207]---> BDD-cost: 381 32.88/32.95 c ---[ 205]---> BDD-cost: 381 32.88/32.96 c ---[ 203]---> BDD-cost: 381 32.88/32.97 c ---[ 201]---> BDD-cost: 381 32.88/32.98 c ---[ 199]---> BDD-cost: 381 32.88/32.99 c ---[ 197]---> BDD-cost: 381 32.88/33.00 c ---[ 195]---> BDD-cost: 381 32.98/33.01 c ---[ 193]---> BDD-cost: 381 32.98/33.02 c ---[ 191]---> BDD-cost: 381 32.98/33.03 c ---[ 189]---> BDD-cost: 381 32.98/33.04 c ---[ 187]---> BDD-cost: 381 32.98/33.04 c ---[ 185]---> BDD-cost: 381 32.98/33.05 c ---[ 183]---> BDD-cost: 381 32.98/33.06 c ---[ 181]---> BDD-cost: 381 32.98/33.07 c ---[ 179]---> BDD-cost: 381 32.98/33.08 c ---[ 177]---> BDD-cost: 381 32.98/33.09 c ---[ 175]---> BDD-cost: 381 33.08/33.10 c ---[ 173]---> BDD-cost: 381 33.08/33.11 c ---[ 171]---> BDD-cost: 381 33.08/33.12 c ---[ 169]---> BDD-cost: 381 33.08/33.13 c ---[ 167]---> BDD-cost: 381 33.08/33.14 c ---[ 165]---> BDD-cost: 381 33.08/33.15 c ---[ 163]---> BDD-cost: 381 33.08/33.16 c ---[ 161]---> BDD-cost: 381 33.08/33.16 c ---[ 159]---> BDD-cost: 381 33.08/33.17 c ---[ 157]---> BDD-cost: 381 33.08/33.18 c ---[ 155]---> BDD-cost: 381 33.08/33.19 c ---[ 153]---> BDD-cost: 381 33.18/33.20 c ---[ 151]---> BDD-cost: 381 33.18/33.21 c ---[ 149]---> BDD-cost: 381 33.18/33.22 c ---[ 147]---> BDD-cost: 381 33.18/33.23 c ---[ 145]---> BDD-cost: 381 33.18/33.24 c ---[ 143]---> BDD-cost: 381 33.18/33.25 c ---[ 141]---> BDD-cost: 381 33.18/33.26 c ---[ 139]---> BDD-cost: 381 33.18/33.27 c ---[ 137]---> BDD-cost: 381 33.18/33.28 c ---[ 135]---> BDD-cost: 381 33.18/33.28 c ---[ 133]---> BDD-cost: 381 33.18/33.29 c ---[ 131]---> BDD-cost: 381 33.28/33.30 c ---[ 129]---> BDD-cost: 381 33.28/33.31 c ---[ 127]---> BDD-cost: 381 33.28/33.32 c ---[ 125]---> BDD-cost: 381 33.28/33.33 c ---[ 123]---> BDD-cost: 381 33.28/33.34 c ---[ 121]---> BDD-cost: 381 33.28/33.35 c ---[ 119]---> BDD-cost: 381 33.28/33.36 c ---[ 117]---> BDD-cost: 381 33.28/33.37 c ---[ 115]---> BDD-cost: 381 33.28/33.38 c ---[ 113]---> BDD-cost: 381 33.28/33.39 c ---[ 111]---> BDD-cost: 381 33.38/33.40 c ---[ 109]---> BDD-cost: 381 33.38/33.41 c ---[ 107]---> BDD-cost: 381 33.38/33.41 c ---[ 105]---> BDD-cost: 381 33.38/33.42 c ---[ 103]---> BDD-cost: 381 33.38/33.43 c ---[ 101]---> BDD-cost: 381 33.38/33.44 c ---[ 99]---> BDD-cost: 381 33.38/33.45 c ---[ 97]---> BDD-cost: 381 33.38/33.46 c ---[ 95]---> BDD-cost: 381 33.38/33.47 c ---[ 93]---> BDD-cost: 381 33.38/33.48 c ---[ 91]---> BDD-cost: 381 33.38/33.49 c ---[ 89]---> BDD-cost: 381 33.48/33.50 c ---[ 87]---> BDD-cost: 381 33.48/33.51 c ---[ 85]---> BDD-cost: 381 33.48/33.52 c ---[ 83]---> BDD-cost: 381 33.48/33.53 c ---[ 81]---> BDD-cost: 381 33.48/33.53 c ---[ 79]---> BDD-cost: 381 33.48/33.54 c ---[ 77]---> BDD-cost: 381 33.48/33.55 c ---[ 75]---> BDD-cost: 381 33.48/33.56 c ---[ 73]---> BDD-cost: 381 33.48/33.57 c ---[ 71]---> BDD-cost: 381 33.48/33.58 c ---[ 69]---> BDD-cost: 381 33.48/33.59 c ---[ 67]---> BDD-cost: 381 33.58/33.60 c ---[ 65]---> BDD-cost: 381 33.58/33.61 c ---[ 63]---> BDD-cost: 381 33.58/33.62 c ---[ 61]---> BDD-cost: 381 33.58/33.63 c ---[ 59]---> BDD-cost: 381 33.58/33.64 c ---[ 57]---> BDD-cost: 381 33.58/33.65 c ---[ 55]---> BDD-cost: 381 33.58/33.65 c ---[ 53]---> BDD-cost: 381 33.58/33.66 c ---[ 51]---> BDD-cost: 381 33.58/33.67 c ---[ 49]---> BDD-cost: 381 33.58/33.68 c ---[ 47]---> BDD-cost: 381 33.58/33.69 c ---[ 45]---> BDD-cost: 381 33.68/33.70 c ---[ 43]---> BDD-cost: 381 33.68/33.71 c ---[ 41]---> BDD-cost: 381 33.68/33.72 c ---[ 39]---> BDD-cost: 381 33.68/33.73 c ---[ 37]---> BDD-cost: 381 33.68/33.74 c ---[ 35]---> BDD-cost: 381 33.68/33.75 c ---[ 33]---> BDD-cost: 381 33.68/33.76 c ---[ 31]---> BDD-cost: 381 33.68/33.77 c ---[ 29]---> BDD-cost: 381 33.68/33.77 c ---[ 27]---> BDD-cost: 381 33.68/33.78 c ---[ 25]---> BDD-cost: 381 33.68/33.79 c ---[ 23]---> BDD-cost: 381 33.78/33.80 c ---[ 21]---> BDD-cost: 381 33.78/33.81 c ---[ 19]---> BDD-cost: 381 33.78/33.82 c ---[ 17]---> BDD-cost: 381 33.78/33.83 c ---[ 15]---> BDD-cost: 381 33.78/33.84 c ---[ 13]---> BDD-cost: 381 33.78/33.85 c ---[ 11]---> BDD-cost: 381 33.78/33.86 c ---[ 9]---> BDD-cost: 381 33.78/33.87 c ---[ 7]---> BDD-cost: 381 33.78/33.88 c ---[ 5]---> BDD-cost: 381 33.78/33.89 c ---[ 3]---> BDD-cost: 381 33.78/33.89 c ---[ 1]---> BDD-cost: 381 33.88/33.90 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-3722324-1338565177/watcher-3722324-1338565177 -o /tmp/evaluation-result-3722324-1338565177/solver-3722324-1338565177 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3722324-1338565177.opb running on 4 cores: 1,3,5,7 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.19 2.11 2.02 3/177 17837 /proc/meminfo: memFree=27891080/32873648 swapFree=6852/6852 [pid=17837] ppid=17835 vsize=1556 CPUtime=0 cores=1,3,5,7 /proc/17837/stat : 17837 (minisat+) R 17835 17837 16571 0 -1 4202496 254 0 0 0 0 0 0 0 20 0 1 0 322644602 1593344 211 33554432000 134512640 135395479 4290035024 4290033856 134618819 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17837/statm: 389 211 74 216 0 171 0 [startup+0.059833 s] /proc/loadavg: 2.19 2.11 2.02 3/177 17837 /proc/meminfo: memFree=27891080/32873648 swapFree=6852/6852 [pid=17837] ppid=17835 vsize=3452 CPUtime=0.05 cores=1,3,5,7 /proc/17837/stat : 17837 (minisat+) R 17835 17837 16571 0 -1 4202496 670 0 0 0 5 0 0 0 20 0 1 0 322644602 3534848 626 33554432000 134512640 135395479 4290035024 4290033936 134614544 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17837/statm: 863 626 74 216 0 645 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3452 [startup+0.100267 s] /proc/loadavg: 2.19 2.11 2.02 3/177 17837 /proc/meminfo: memFree=27891080/32873648 swapFree=6852/6852 [pid=17837] ppid=17835 vsize=4712 CPUtime=0.09 cores=1,3,5,7 /proc/17837/stat : 17837 (minisat+) R 17835 17837 16571 0 -1 4202496 981 0 0 0 9 0 0 0 20 0 1 0 322644602 4825088 937 33554432000 134512640 135395479 4290035024 4290033992 135031278 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17837/statm: 1178 937 74 216 0 960 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4712 [startup+0.300231 s] /proc/loadavg: 2.19 2.11 2.02 3/177 17837 /proc/meminfo: memFree=27891080/32873648 swapFree=6852/6852 [pid=17837] ppid=17835 vsize=9444 CPUtime=0.29 cores=1,3,5,7 /proc/17837/stat : 17837 (minisat+) R 17835 17837 16571 0 -1 4202496 2244 0 0 0 29 0 0 0 20 0 1 0 322644602 9670656 2153 33554432000 134512640 135395479 4290035024 4290033856 134618678 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17837/statm: 2361 2153 74 216 0 2143 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9444 [startup+0.700236 s] /proc/loadavg: 2.19 2.11 2.02 3/177 17837 /proc/meminfo: memFree=27891080/32873648 swapFree=6852/6852 [pid=17837] ppid=17835 vsize=19388 CPUtime=0.69 cores=1,3,5,7 /proc/17837/stat : 17837 (minisat+) R 17835 17837 16571 0 -1 4202496 4654 0 0 0 69 0 0 0 20 0 1 0 322644602 19853312 4480 33554432000 134512640 135395479 4290035024 4290033660 135007481 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17837/statm: 4847 4480 74 216 0 4629 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19388 [startup+1.50023 s] /proc/loadavg: 2.19 2.11 2.02 3/178 17838 /proc/meminfo: memFree=27866776/32873648 swapFree=6852/6852 [pid=17837] ppid=17835 vsize=32372 CPUtime=1.49 cores=1,3,5,7 /proc/17837/stat : 17837 (minisat+) R 17835 17837 16571 0 -1 4202496 7972 0 0 0 148 1 0 0 20 0 1 0 322644602 33148928 7798 33554432000 134512640 135395479 4290035024 4290033204 135003232 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17837/statm: 8093 7798 74 216 0 7875 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32372 [startup+3.10024 s] /proc/loadavg: 2.19 2.11 2.02 3/178 17838 /proc/meminfo: memFree=27849908/32873648 swapFree=6852/6852 [pid=17837] ppid=17835 vsize=67592 CPUtime=3.09 cores=1,3,5,7 /proc/17837/stat : 17837 (minisat+) R 17835 17837 16571 0 -1 4202496 16715 0 0 0 307 2 0 0 20 0 1 0 322644602 69214208 16376 33554432000 134512640 135395479 4290035024 4290033856 134618678 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17837/statm: 16898 16376 74 216 0 16680 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 67592 [startup+6.30023 s] /proc/loadavg: 2.18 2.10 2.02 3/178 17838 /proc/meminfo: memFree=27769940/32873648 swapFree=6852/6852 [pid=17837] ppid=17835 vsize=152104 CPUtime=6.29 cores=1,3,5,7 /proc/17837/stat : 17837 (minisat+) R 17835 17837 16571 0 -1 4202496 36324 0 0 0 622 7 0 0 20 0 1 0 322644602 155754496 35655 33554432000 134512640 135395479 4290035024 4290033856 134618819 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17837/statm: 38026 35655 74 216 0 37808 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 152104 [startup+12.7003 s] /proc/loadavg: 2.16 2.10 2.02 3/178 17838 /proc/meminfo: memFree=27658068/32873648 swapFree=6852/6852 [pid=17837] ppid=17835 vsize=254360 CPUtime=12.69 cores=1,3,5,7 /proc/17837/stat : 17837 (minisat+) R 17835 17837 16571 0 -1 4202496 63836 0 0 0 1255 14 0 0 20 0 1 0 322644602 260464640 61400 33554432000 134512640 135395479 4290035024 4290033504 135031374 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17837/statm: 63590 61400 83 216 0 63372 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 254360 [startup+25.5002 s] /proc/loadavg: 2.13 2.10 2.02 3/178 17840 /proc/meminfo: memFree=27621356/32873648 swapFree=6852/6852 [pid=17837] ppid=17835 vsize=280656 CPUtime=25.48 cores=1,3,5,7 /proc/17837/stat : 17837 (minisat+) R 17835 17837 16571 0 -1 4202496 70579 0 0 0 2516 32 0 0 20 0 1 0 322644602 287391744 67886 33554432000 134512640 135395479 4290035024 4290014864 134665822 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17837/statm: 70164 67886 88 216 0 69946 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 280656 Solver just ended. Dumping a history of the last processes samples [startup+31.9064 s] /proc/loadavg: 2.12 2.09 2.02 3/178 17840 /proc/meminfo: memFree=27607736/32873648 swapFree=6852/6852 [pid=17837] ppid=17835 vsize=298340 CPUtime=31.89 cores=1,3,5,7 /proc/17837/stat : 17837 (minisat+) R 17835 17837 16571 0 -1 4202496 73331 0 0 0 3156 33 0 0 20 0 1 0 322644602 305500160 71364 33554432000 134512640 135395479 4290035024 4290000432 134809814 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17837/statm: 74585 71364 88 216 0 74367 0 Current children cumulated CPU time (s) 31.89 Current children cumulated vsize (KiB) 298340 [startup+38.3003 s] /proc/loadavg: 2.11 2.09 2.02 2/179 17841 /proc/meminfo: memFree=26986440/32873648 swapFree=6852/6852 [pid=17837] ppid=17835 vsize=318408 CPUtime=34.14 cores=1,3,5,7 /proc/17837/stat : 17837 (minisat+) S 17835 17837 16571 0 -1 4204032 78641 0 0 0 3370 44 0 0 20 0 1 0 322644602 326049792 77128 33554432000 134512640 135395479 4290035024 4277456876 135005802 0 0 4096 16386 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/17837/statm: 79602 77128 89 216 0 79384 0 Current children cumulated CPU time (s) 34.14 Current children cumulated vsize (KiB) 318408 [startup+39.9002 s] /proc/loadavg: 2.18 2.11 2.02 2/179 17841 /proc/meminfo: memFree=26986440/32873648 swapFree=6852/6852 [pid=17837] ppid=17835 vsize=318408 CPUtime=34.14 cores=1,3,5,7 /proc/17837/stat : 17837 (minisat+) S 17835 17837 16571 0 -1 4204032 78641 0 0 0 3370 44 0 0 20 0 1 0 322644602 326049792 77128 33554432000 134512640 135395479 4290035024 4277456876 135005802 0 0 4096 16386 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/17837/statm: 79602 77128 89 216 0 79384 0 Current children cumulated CPU time (s) 34.14 Current children cumulated vsize (KiB) 318408 [startup+41.5003 s] /proc/loadavg: 2.18 2.11 2.02 2/179 17841 /proc/meminfo: memFree=26986828/32873648 swapFree=6852/6852 [pid=17837] ppid=17835 vsize=318408 CPUtime=34.14 cores=1,3,5,7 /proc/17837/stat : 17837 (minisat+) S 17835 17837 16571 0 -1 4204032 78641 0 0 0 3370 44 0 0 20 0 1 0 322644602 326049792 77128 33554432000 134512640 135395479 4290035024 4277456876 135005802 0 0 4096 16386 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/17837/statm: 79602 77128 89 216 0 79384 0 Current children cumulated CPU time (s) 34.14 Current children cumulated vsize (KiB) 318408 [startup+41.9003 s] /proc/loadavg: 2.18 2.11 2.02 2/179 17841 /proc/meminfo: memFree=26986688/32873648 swapFree=6852/6852 [pid=17837] ppid=17835 vsize=318408 CPUtime=34.14 cores=1,3,5,7 /proc/17837/stat : 17837 (minisat+) S 17835 17837 16571 0 -1 4204032 78641 0 0 0 3370 44 0 0 20 0 1 0 322644602 326049792 77128 33554432000 134512640 135395479 4290035024 4277456876 135005802 0 0 4096 16386 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/17837/statm: 79602 77128 89 216 0 79384 0 Current children cumulated CPU time (s) 34.14 Current children cumulated vsize (KiB) 318408 [startup+42.3003 s] /proc/loadavg: 2.18 2.11 2.02 2/179 17841 /proc/meminfo: memFree=26986688/32873648 swapFree=6852/6852 [pid=17837] ppid=17835 vsize=318408 CPUtime=34.14 cores=1,3,5,7 /proc/17837/stat : 17837 (minisat+) S 17835 17837 16571 0 -1 4204032 78641 0 0 0 3370 44 0 0 20 0 1 0 322644602 326049792 77128 33554432000 134512640 135395479 4290035024 4277456876 135005802 0 0 4096 16386 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/17837/statm: 79602 77128 89 216 0 79384 0 Current children cumulated CPU time (s) 34.14 Current children cumulated vsize (KiB) 318408 Child ended because it received signal 11 (SIGSEGV) Child dumped core Real time (s): 42.3268 CPU time (s): 34.1658 CPU user time (s): 33.7029 CPU system time (s): 0.462929 CPU usage (%): 80.719 Max. virtual memory (cumulated for all children) (KiB): 318408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 33.7029 system time used= 0.462929 maximum resident set size= 308512 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 78641 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= 73154 involuntary context switches= 36 runsolver used 0.52192 second user time and 0.224965 second system time The end
Begin job on node115 at 2012-06-01 17:39:38 IDJOB=3722324 IDBENCH=92010 IDSOLVER=2306 FILE ID=node115/3722324-1338565177 RUNJOBID= node115-1338552574-16588 PBS_JOBID= 14635869 Free space on /tmp= 70800 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_unif_0null20mast_rapportOE2.0_TMAX120_K192_cod2.opb COMMAND LINE= HOME/minisat+ BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3722324-1338565177/watcher-3722324-1338565177 -o /tmp/evaluation-result-3722324-1338565177/solver-3722324-1338565177 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3722324-1338565177.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ebc55ee99ce38561d9e6a8d277ae7659 RANDOM SEED=897402289 node115.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.462 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 : 5332.92 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.462 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.91 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.462 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.462 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.462 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.92 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.462 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.91 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.462 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.462 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: 32873648 kB MemFree: 27891112 kB Buffers: 534008 kB Cached: 3312484 kB SwapCached: 964 kB Active: 2034832 kB Inactive: 2046408 kB Active(anon): 226684 kB Inactive(anon): 9824 kB Active(file): 1808148 kB Inactive(file): 2036584 kB Unevictable: 6852 kB Mlocked: 6852 kB SwapTotal: 67108856 kB SwapFree: 67106432 kB Dirty: 30936 kB Writeback: 0 kB AnonPages: 241928 kB Mapped: 12112 kB Shmem: 96 kB Slab: 763160 kB SReclaimable: 206032 kB SUnreclaim: 557128 kB KernelStack: 1464 kB PageTables: 4632 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 349696 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 215040 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3722324-1338565177.opb Free space on /tmp at the end= 70516 MiB End job on node115 at 2012-06-01 17:40:21