Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: minisat+ 1.14 | Signal | 37.4613 | 46.6563 |
Name | /OPT-BIGINT-LIN/sroussel/NG/ normalized-NG.dot_luby_0null10mast_rapportOE1.0_TMAX300_K192_cod1.opb |
MD5SUM | eb990cef1e91caace8f4ff76229f500a |
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 | -59392 |
Best CPU time to get the best result obtained on this benchmark | 1800.34 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 399113 |
Total number of constraints | 400980 |
Number of constraints which are clauses | 399002 |
Number of constraints which are cardinality constraints (but not clauses) | 1977 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 397089 |
Number of terms in the objective function | 340553 |
Biggest coefficient in the objective function | 1024 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 36179984 |
Number of bits of the sum of numbers in the objective function | 26 |
Biggest number in a constraint | 1024 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 36179984 |
Number of bits of the biggest sum of numbers | 26 |
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... 14.59/14.65 c Converting 400980 PB-constraints to clauses... 14.69/14.74 c -- Unit propagations: (none) 14.69/14.77 c -- Detecting intervals from adjacent constraints: ################################################################################################################################################################################################## 14.69/14.79 c -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 15.18/15.28 c ---[400978]---> BDD-cost: 5 15.18/15.28 c ---[400976]---> BDD-cost: 7 15.18/15.28 c ---[342719]---> BDD-cost: 602 15.28/15.30 c ---[342717]---> BDD-cost: 607 15.28/15.33 c ---[342715]---> BDD-cost: 607 15.28/15.35 c ---[342713]---> BDD-cost: 607 15.28/15.37 c ---[342711]---> BDD-cost: 607 15.28/15.39 c ---[342709]---> BDD-cost: 607 15.38/15.42 c ---[342707]---> BDD-cost: 607 15.38/15.44 c ---[342705]---> BDD-cost: 607 15.38/15.46 c ---[342703]---> BDD-cost: 607 15.38/15.49 c ---[342701]---> BDD-cost: 607 15.48/15.51 c ---[342699]---> BDD-cost: 607 15.48/15.53 c ---[342697]---> BDD-cost: 607 15.48/15.56 c ---[342695]---> BDD-cost: 607 15.48/15.58 c ---[342693]---> BDD-cost: 607 15.58/15.60 c ---[342691]---> BDD-cost: 607 15.58/15.63 c ---[342689]---> BDD-cost: 607 15.58/15.65 c ---[342687]---> BDD-cost: 607 15.58/15.67 c ---[342685]---> BDD-cost: 607 15.68/15.70 c ---[342683]---> BDD-cost: 607 15.68/15.72 c ---[342681]---> BDD-cost: 607 15.68/15.74 c ---[342679]---> BDD-cost: 607 15.68/15.77 c ---[342677]---> BDD-cost: 607 15.68/15.79 c ---[342675]---> BDD-cost: 607 15.78/15.81 c ---[342673]---> BDD-cost: 607 15.78/15.83 c ---[342671]---> BDD-cost: 607 15.78/15.86 c ---[342669]---> BDD-cost: 607 15.78/15.88 c ---[342667]---> BDD-cost: 607 15.88/15.90 c ---[342665]---> BDD-cost: 607 15.88/15.93 c ---[342663]---> BDD-cost: 607 15.88/15.95 c ---[342661]---> BDD-cost: 607 15.88/15.97 c ---[342659]---> BDD-cost: 607 15.98/16.00 c ---[342657]---> BDD-cost: 607 15.98/16.02 c ---[342655]---> BDD-cost: 607 15.98/16.04 c ---[342653]---> BDD-cost: 607 15.98/16.07 c ---[342651]---> BDD-cost: 607 15.98/16.09 c ---[342649]---> BDD-cost: 607 16.08/16.11 c ---[342647]---> BDD-cost: 607 16.08/16.14 c ---[342645]---> BDD-cost: 607 16.08/16.16 c ---[342643]---> BDD-cost: 607 16.08/16.18 c ---[342641]---> BDD-cost: 607 16.19/16.21 c ---[342639]---> BDD-cost: 607 16.19/16.23 c ---[342637]---> BDD-cost: 607 16.19/16.25 c ---[342635]---> BDD-cost: 607 16.19/16.27 c ---[342633]---> BDD-cost: 607 16.29/16.30 c ---[342631]---> BDD-cost: 607 16.29/16.32 c ---[342629]---> BDD-cost: 607 16.29/16.34 c ---[342627]---> BDD-cost: 607 16.29/16.37 c ---[342625]---> BDD-cost: 607 16.29/16.39 c ---[342623]---> BDD-cost: 607 16.39/16.41 c ---[342621]---> BDD-cost: 607 16.39/16.44 c ---[342619]---> BDD-cost: 607 16.39/16.46 c ---[342617]---> BDD-cost: 607 16.39/16.48 c ---[342615]---> BDD-cost: 607 16.49/16.51 c ---[342613]---> BDD-cost: 607 16.49/16.53 c ---[342611]---> BDD-cost: 607 16.49/16.55 c ---[342609]---> BDD-cost: 607 16.49/16.57 c ---[342607]---> BDD-cost: 607 16.59/16.60 c ---[342605]---> BDD-cost: 607 16.59/16.62 c ---[342603]---> BDD-cost: 607 16.59/16.64 c ---[342601]---> BDD-cost: 607 16.59/16.67 c ---[342599]---> BDD-cost: 607 16.59/16.69 c ---[342597]---> BDD-cost: 607 16.69/16.71 c ---[342595]---> BDD-cost: 607 16.69/16.74 c ---[342593]---> BDD-cost: 607 16.69/16.76 c ---[342591]---> BDD-cost: 607 16.69/16.78 c ---[342589]---> BDD-cost: 607 16.79/16.81 c ---[342587]---> BDD-cost: 607 16.79/16.83 c ---[342585]---> BDD-cost: 607 16.79/16.85 c ---[342583]---> BDD-cost: 607 16.79/16.87 c ---[342581]---> BDD-cost: 607 16.89/16.90 c ---[342579]---> BDD-cost: 607 16.89/16.92 c ---[342577]---> BDD-cost: 607 16.89/16.95 c ---[342575]---> BDD-cost: 607 16.89/16.97 c ---[342573]---> BDD-cost: 607 16.89/16.99 c ---[342571]---> BDD-cost: 607 16.99/17.02 c ---[342569]---> BDD-cost: 607 16.99/17.04 c ---[342567]---> BDD-cost: 607 16.99/17.06 c ---[342565]---> BDD-cost: 607 16.99/17.08 c ---[342563]---> BDD-cost: 607 17.09/17.11 c ---[342561]---> BDD-cost: 607 17.09/17.13 c ---[342559]---> BDD-cost: 607 17.09/17.15 c ---[342557]---> BDD-cost: 607 17.09/17.18 c ---[342555]---> BDD-cost: 607 17.19/17.20 c ---[342553]---> BDD-cost: 607 17.19/17.22 c ---[342551]---> BDD-cost: 607 17.19/17.25 c ---[342549]---> BDD-cost: 607 17.19/17.27 c ---[342547]---> BDD-cost: 607 17.19/17.29 c ---[342545]---> BDD-cost: 607 17.29/17.32 c ---[342543]---> BDD-cost: 607 17.29/17.34 c ---[342541]---> BDD-cost: 607 17.29/17.36 c ---[342539]---> BDD-cost: 607 17.29/17.39 c ---[342537]---> BDD-cost: 607 17.39/17.41 c ---[342535]---> BDD-cost: 607 17.39/17.43 c ---[342533]---> BDD-cost: 607 17.39/17.45 c ---[342531]---> BDD-cost: 607 17.39/17.48 c ---[342529]---> BDD-cost: 607 17.39/17.50 c ---[342527]---> BDD-cost: 607 17.49/17.52 c ---[342525]---> BDD-cost: 607 17.49/17.55 c ---[342523]---> BDD-cost: 607 17.49/17.57 c ---[342521]---> BDD-cost: 607 17.49/17.59 c ---[342519]---> BDD-cost: 607 17.59/17.62 c ---[342517]---> BDD-cost: 607 17.59/17.64 c ---[342515]---> BDD-cost: 607 17.59/17.66 c ---[342513]---> BDD-cost: 607 17.59/17.69 c ---[342511]---> BDD-cost: 607 17.69/17.71 c ---[342509]---> BDD-cost: 607 17.69/17.77 c ---[342507]---> BDD-cost: 607 17.69/17.77 c ---[342505]---> BDD-cost: 607 17.69/17.78 c ---[342503]---> BDD-cost: 607 17.79/17.80 c ---[342501]---> BDD-cost: 607 17.79/17.82 c ---[342499]---> BDD-cost: 607 17.79/17.85 c ---[342497]---> BDD-cost: 607 17.79/17.87 c ---[342495]---> BDD-cost: 607 17.79/17.89 c ---[342493]---> BDD-cost: 607 17.89/17.92 c ---[342491]---> BDD-cost: 607 17.89/17.94 c ---[342489]---> BDD-cost: 607 17.89/17.96 c ---[342487]---> BDD-cost: 607 17.89/17.99 c ---[342485]---> BDD-cost: 607 17.99/18.01 c ---[342483]---> BDD-cost: 607 17.99/18.03 c ---[342481]---> BDD-cost: 607 17.99/18.06 c ---[342479]---> BDD-cost: 607 17.99/18.08 c ---[342477]---> BDD-cost: 607 18.09/18.10 c ---[342475]---> BDD-cost: 607 18.09/18.12 c ---[342473]---> BDD-cost: 607 18.09/18.15 c ---[342471]---> BDD-cost: 607 18.09/18.17 c ---[342469]---> BDD-cost: 607 18.09/18.19 c ---[342467]---> BDD-cost: 607 18.19/18.22 c ---[342465]---> BDD-cost: 607 18.19/18.24 c ---[342463]---> BDD-cost: 607 18.19/18.26 c ---[342461]---> BDD-cost: 607 18.19/18.29 c ---[342459]---> BDD-cost: 607 18.29/18.31 c ---[342457]---> BDD-cost: 607 18.29/18.33 c ---[342455]---> BDD-cost: 607 18.29/18.36 c ---[342453]---> BDD-cost: 607 18.29/18.38 c ---[342451]---> BDD-cost: 607 18.39/18.40 c ---[342449]---> BDD-cost: 607 18.39/18.43 c ---[342447]---> BDD-cost: 607 18.39/18.45 c ---[342445]---> BDD-cost: 607 18.39/18.47 c ---[342443]---> BDD-cost: 607 18.49/18.50 c ---[342441]---> BDD-cost: 607 18.49/18.52 c ---[342439]---> BDD-cost: 607 18.49/18.55 c ---[342437]---> BDD-cost: 607 18.49/18.57 c ---[342435]---> BDD-cost: 607 18.49/18.59 c ---[342433]---> BDD-cost: 607 18.59/18.61 c ---[342431]---> BDD-cost: 607 18.59/18.64 c ---[342429]---> BDD-cost: 607 18.59/18.66 c ---[342427]---> BDD-cost: 607 18.59/18.68 c ---[342425]---> BDD-cost: 607 18.69/18.71 c ---[342423]---> BDD-cost: 607 18.69/18.73 c ---[342421]---> BDD-cost: 607 18.69/18.75 c ---[342419]---> BDD-cost: 607 18.69/18.78 c ---[342417]---> BDD-cost: 607 18.78/18.80 c ---[342415]---> BDD-cost: 607 18.78/18.82 c ---[342413]---> BDD-cost: 607 18.78/18.85 c ---[342411]---> BDD-cost: 607 18.78/18.87 c ---[342409]---> BDD-cost: 607 18.78/18.89 c ---[342407]---> BDD-cost: 607 18.88/18.92 c ---[342405]---> BDD-cost: 607 18.88/18.94 c ---[342403]---> BDD-cost: 607 18.88/18.96 c ---[342401]---> BDD-cost: 607 18.88/18.98 c ---[342399]---> BDD-cost: 607 18.98/19.01 c ---[342397]---> BDD-cost: 607 18.98/19.03 c ---[342395]---> BDD-cost: 607 18.98/19.05 c ---[342393]---> BDD-cost: 607 18.98/19.08 c ---[342391]---> BDD-cost: 607 19.08/19.10 c ---[342389]---> BDD-cost: 607 19.08/19.12 c ---[342387]---> BDD-cost: 607 19.08/19.15 c ---[342385]---> BDD-cost: 607 19.08/19.17 c ---[342383]---> BDD-cost: 607 19.08/19.19 c ---[342381]---> BDD-cost: 607 19.18/19.22 c ---[342379]---> BDD-cost: 607 19.18/19.24 c ---[342377]---> BDD-cost: 607 19.18/19.26 c ---[342375]---> BDD-cost: 607 19.18/19.28 c ---[342373]---> BDD-cost: 607 19.28/19.31 c ---[342371]---> BDD-cost: 607 19.28/19.33 c ---[342369]---> BDD-cost: 607 19.28/19.35 c ---[342367]---> BDD-cost: 607 19.28/19.38 c ---[342365]---> BDD-cost: 607 19.38/19.40 c ---[342363]---> BDD-cost: 607 19.38/19.42 c ---[342361]---> BDD-cost: 607 19.38/19.45 c ---[342359]---> BDD-cost: 607 19.38/19.47 c ---[342357]---> BDD-cost: 607 19.38/19.49 c ---[342355]---> BDD-cost: 607 19.48/19.52 c ---[342353]---> BDD-cost: 607 19.48/19.54 c ---[342351]---> BDD-cost: 607 19.48/19.56 c ---[342349]---> BDD-cost: 607 19.48/19.59 c ---[342347]---> BDD-cost: 607 19.58/19.61 c ---[342345]---> BDD-cost: 607 19.58/19.63 c ---[342343]---> BDD-cost: 607 19.58/19.65 c ---[342341]---> BDD-cost: 607 19.58/19.68 c ---[342339]---> BDD-cost: 607 19.69/19.70 c ---[342337]---> BDD-cost: 600 19.69/19.72 c ---[342336]---> BDD-cost: 379 19.69/19.73 c ---[342335]---> BDD-cost: 379 19.69/19.74 c ---[342334]---> BDD-cost: 379 19.69/19.75 c ---[342333]---> BDD-cost: 379 19.69/19.76 c ---[342332]---> BDD-cost: 379 19.69/19.77 c ---[342331]---> BDD-cost: 379 19.69/19.78 c ---[342330]---> BDD-cost: 379 19.69/19.79 c ---[342329]---> BDD-cost: 379 19.69/19.80 c ---[342328]---> BDD-cost: 379 19.79/19.81 c ---[342327]---> BDD-cost: 379 19.79/19.82 c ---[342326]---> BDD-cost: 379 19.79/19.83 c ---[342325]---> BDD-cost: 379 19.79/19.84 c ---[342324]---> BDD-cost: 379 19.79/19.85 c ---[342323]---> BDD-cost: 379 19.79/19.86 c ---[342322]---> BDD-cost: 379 19.79/19.87 c ---[342321]---> BDD-cost: 379 19.79/19.87 c ---[342320]---> BDD-cost: 379 19.79/19.88 c ---[342319]---> BDD-cost: 379 19.79/19.89 c ---[342318]---> BDD-cost: 379 19.88/19.90 c ---[342317]---> BDD-cost: 379 19.88/19.91 c ---[342316]---> BDD-cost: 379 19.88/19.92 c ---[342315]---> BDD-cost: 379 19.88/19.93 c ---[342314]---> BDD-cost: 379 19.88/19.94 c ---[342313]---> BDD-cost: 379 19.88/19.95 c ---[342312]---> BDD-cost: 379 19.88/19.96 c ---[342311]---> BDD-cost: 379 19.88/19.97 c ---[342310]---> BDD-cost: 379 19.88/19.98 c ---[342309]---> BDD-cost: 379 19.88/19.99 c ---[342308]---> BDD-cost: 379 19.98/20.00 c ---[342307]---> BDD-cost: 379 19.98/20.01 c ---[342306]---> BDD-cost: 379 19.98/20.02 c ---[342305]---> BDD-cost: 379 19.98/20.03 c ---[342304]---> BDD-cost: 379 19.98/20.03 c ---[342303]---> BDD-cost: 379 19.98/20.04 c ---[342302]---> BDD-cost: 379 19.98/20.05 c ---[342301]---> BDD-cost: 379 19.98/20.06 c ---[342300]---> BDD-cost: 379 19.98/20.07 c ---[342299]---> BDD-cost: 379 19.98/20.08 c ---[342298]---> BDD-cost: 379 19.98/20.09 c ---[342297]---> BDD-cost: 379 20.08/20.10 c ---[342296]---> BDD-cost: 379 20.08/20.11 c ---[342295]---> BDD-cost: 379 20.08/20.12 c ---[342294]---> BDD-cost: 379 20.08/20.13 c ---[342293]---> BDD-cost: 379 20.08/20.14 c ---[342292]---> BDD-cost: 379 20.08/20.15 c ---[342291]---> BDD-cost: 379 20.08/20.16 c ---[342290]---> BDD-cost: 379 20.08/20.17 c ---[342289]---> BDD-cost: 379 20.08/20.18 c ---[342288]---> BDD-cost: 379 20.08/20.19 c ---[342287]---> BDD-cost: 379 20.08/20.20 c ---[342286]---> BDD-cost: 379 20.18/20.21 c ---[342285]---> BDD-cost: 379 20.18/20.21 c ---[342284]---> BDD-cost: 379 20.18/20.22 c ---[342283]---> BDD-cost: 379 20.18/20.23 c ---[342282]---> BDD-cost: 379 20.18/20.24 c ---[342281]---> BDD-cost: 379 20.18/20.25 c ---[342280]---> BDD-cost: 379 20.18/20.26 c ---[342279]---> BDD-cost: 379 20.18/20.27 c ---[342278]---> BDD-cost: 379 20.18/20.28 c ---[342277]---> BDD-cost: 379 20.18/20.29 c ---[342276]---> BDD-cost: 379 20.28/20.30 c ---[342275]---> BDD-cost: 379 20.28/20.31 c ---[342274]---> BDD-cost: 379 20.28/20.32 c ---[342273]---> BDD-cost: 379 20.28/20.33 c ---[342272]---> BDD-cost: 379 20.28/20.34 c ---[342271]---> BDD-cost: 379 20.28/20.35 c ---[342270]---> BDD-cost: 379 20.28/20.36 c ---[342269]---> BDD-cost: 379 20.28/20.36 c ---[342268]---> BDD-cost: 379 20.28/20.37 c ---[342267]---> BDD-cost: 379 20.28/20.38 c ---[342266]---> BDD-cost: 379 20.28/20.39 c ---[342265]---> BDD-cost: 379 20.38/20.40 c ---[342264]---> BDD-cost: 379 20.38/20.41 c ---[342263]---> BDD-cost: 379 20.38/20.42 c ---[342262]---> BDD-cost: 379 20.38/20.43 c ---[342261]---> BDD-cost: 379 20.38/20.44 c ---[342260]---> BDD-cost: 379 20.38/20.45 c ---[342259]---> BDD-cost: 379 20.38/20.46 c ---[342258]---> BDD-cost: 379 20.38/20.47 c ---[342257]---> BDD-cost: 379 20.38/20.48 c ---[342256]---> BDD-cost: 379 20.38/20.49 c ---[342255]---> BDD-cost: 379 20.48/20.50 c ---[342254]---> BDD-cost: 379 20.48/20.51 c ---[342253]---> BDD-cost: 379 20.48/20.52 c ---[342252]---> BDD-cost: 379 20.48/20.53 c ---[342251]---> BDD-cost: 379 20.48/20.53 c ---[342250]---> BDD-cost: 379 20.48/20.54 c ---[342249]---> BDD-cost: 379 20.48/20.55 c ---[342248]---> BDD-cost: 379 20.48/20.56 c ---[342247]---> BDD-cost: 379 20.48/20.57 c ---[342246]---> BDD-cost: 379 20.48/20.58 c ---[342245]---> BDD-cost: 379 20.48/20.59 c ---[342244]---> BDD-cost: 379 20.58/20.60 c ---[342243]---> BDD-cost: 379 20.58/20.61 c ---[342242]---> BDD-cost: 379 20.58/20.62 c ---[342241]---> BDD-cost: 379 20.58/20.63 c ---[342240]---> BDD-cost: 379 20.58/20.64 c ---[342239]---> BDD-cost: 379 20.58/20.65 c ---[342238]---> BDD-cost: 379 20.58/20.66 c ---[342237]---> BDD-cost: 379 20.58/20.67 c ---[342236]---> BDD-cost: 379 20.58/20.68 c ---[342235]---> BDD-cost: 379 20.58/20.69 c ---[342234]---> BDD-cost: 379 20.58/20.69 c ---[342233]---> BDD-cost: 379 20.68/20.70 c ---[342232]---> BDD-cost: 379 20.68/20.71 c ---[342231]---> BDD-cost: 379 20.68/20.72 c ---[342230]---> BDD-cost: 379 20.68/20.73 c ---[342229]---> BDD-cost: 379 20.68/20.74 c ---[342228]---> BDD-cost: 379 20.68/20.75 c ---[342227]---> BDD-cost: 379 20.68/20.76 c ---[342226]---> BDD-cost: 379 20.68/20.77 c ---[342225]---> BDD-cost: 379 20.68/20.78 c ---[342224]---> BDD-cost: 379 20.68/20.79 c ---[342223]---> BDD-cost: 379 20.68/20.80 c ---[342222]---> BDD-cost: 379 20.79/20.81 c ---[342221]---> BDD-cost: 379 20.79/20.82 c ---[342220]---> BDD-cost: 379 20.79/20.83 c ---[342219]---> BDD-cost: 379 20.79/20.84 c ---[342218]---> BDD-cost: 379 20.79/20.85 c ---[342217]---> BDD-cost: 379 20.79/20.85 c ---[342216]---> BDD-cost: 379 20.79/20.86 c ---[342215]---> BDD-cost: 379 20.79/20.87 c ---[342214]---> BDD-cost: 379 20.79/20.88 c ---[342213]---> BDD-cost: 379 20.79/20.89 c ---[342212]---> BDD-cost: 379 20.89/20.90 c ---[342211]---> BDD-cost: 379 20.89/20.91 c ---[342210]---> BDD-cost: 379 20.89/20.92 c ---[342209]---> BDD-cost: 379 20.89/20.93 c ---[342208]---> BDD-cost: 379 20.89/20.94 c ---[342207]---> BDD-cost: 379 20.89/20.95 c ---[342206]---> BDD-cost: 379 20.89/20.96 c ---[342205]---> BDD-cost: 379 20.89/20.97 c ---[342204]---> BDD-cost: 379 20.89/20.98 c ---[342203]---> BDD-cost: 379 20.89/20.99 c ---[342202]---> BDD-cost: 379 20.98/21.00 c ---[342201]---> BDD-cost: 379 20.98/21.01 c ---[342200]---> BDD-cost: 379 20.98/21.02 c ---[342199]---> BDD-cost: 379 20.98/21.04 c ---[342198]---> BDD-cost: 379 20.98/21.04 c ---[342197]---> BDD-cost: 379 20.98/21.05 c ---[342196]---> BDD-cost: 379 20.98/21.06 c ---[342195]---> BDD-cost: 379 20.98/21.07 c ---[342194]---> BDD-cost: 379 20.98/21.08 c ---[342193]---> BDD-cost: 379 20.98/21.09 c ---[342192]---> BDD-cost: 379 21.08/21.10 c ---[342191]---> BDD-cost: 379 21.08/21.11 c ---[342190]---> BDD-cost: 379 21.08/21.12 c ---[342189]---> BDD-cost: 379 21.08/21.13 c ---[342188]---> BDD-cost: 379 21.08/21.14 c ---[342187]---> BDD-cost: 379 21.08/21.15 c ---[342186]---> BDD-cost: 379 21.08/21.16 c ---[342185]---> BDD-cost: 379 21.08/21.17 c ---[342184]---> BDD-cost: 379 21.08/21.18 c ---[342183]---> BDD-cost: 379 21.08/21.19 c ---[342182]---> BDD-cost: 379 21.18/21.20 c ---[342181]---> BDD-cost: 379 21.18/21.21 c ---[342180]---> BDD-cost: 379 21.18/21.22 c ---[342179]---> BDD-cost: 379 21.18/21.22 c ---[342178]---> BDD-cost: 379 21.18/21.23 c ---[342177]---> BDD-cost: 379 21.18/21.24 c ---[342176]---> BDD-cost: 379 21.18/21.25 c ---[342175]---> BDD-cost: 379 21.18/21.26 c ---[342174]---> BDD-cost: 379 21.18/21.27 c ---[342173]---> BDD-cost: 379 21.18/21.28 c ---[342172]---> BDD-cost: 379 21.18/21.29 c ---[342171]---> BDD-cost: 379 21.28/21.30 c ---[342170]---> BDD-cost: 379 21.28/21.31 c ---[342169]---> BDD-cost: 379 21.28/21.32 c ---[342168]---> BDD-cost: 379 21.28/21.33 c ---[342167]---> BDD-cost: 379 21.28/21.34 c ---[342166]---> BDD-cost: 379 21.28/21.35 c ---[342165]---> BDD-cost: 379 21.28/21.36 c ---[342164]---> BDD-cost: 379 21.28/21.37 c ---[342163]---> BDD-cost: 379 21.28/21.38 c ---[342162]---> BDD-cost: 379 21.28/21.38 c ---[342161]---> BDD-cost: 379 21.28/21.39 c ---[342160]---> BDD-cost: 379 21.38/21.40 c ---[342159]---> BDD-cost: 379 21.38/21.41 c ---[342158]---> BDD-cost: 379 21.38/21.42 c ---[342157]---> BDD-cost: 379 21.38/21.43 c ---[342156]---> BDD-cost: 379 21.38/21.44 c ---[342155]---> BDD-cost: 379 21.38/21.45 c ---[342154]---> BDD-cost: 379 21.38/21.46 c ---[342153]---> BDD-cost: 379 21.38/21.47 c ---[342152]---> BDD-cost: 379 21.38/21.48 c ---[342151]---> BDD-cost: 379 21.38/21.49 c ---[342150]---> BDD-cost: 379 21.48/21.50 c ---[342149]---> BDD-cost: 379 21.48/21.51 c ---[342148]---> BDD-cost: 379 21.48/21.52 c ---[342147]---> BDD-cost: 379 21.48/21.53 c ---[342146]---> BDD-cost: 379 21.48/21.54 c ---[342145]---> BDD-cost: 379 21.48/21.54 c ---[342144]---> BDD-cost: 379 21.48/21.55 c ---[342143]---> BDD-cost: 379 21.48/21.56 c ---[342142]---> BDD-cost: 379 21.48/21.57 c ---[342141]---> BDD-cost: 379 21.48/21.58 c ---[342140]---> BDD-cost: 379 21.48/21.59 c ---[342139]---> BDD-cost: 379 21.58/21.60 c ---[342138]---> BDD-cost: 379 21.58/21.61 c ---[342137]---> BDD-cost: 379 21.58/21.62 c ---[342136]---> BDD-cost: 379 21.58/21.63 c ---[342135]---> BDD-cost: 379 21.58/21.64 c ---[342134]---> BDD-cost: 379 21.58/21.65 c ---[342133]---> BDD-cost: 379 21.58/21.66 c ---[342132]---> BDD-cost: 379 21.58/21.67 c ---[342131]---> BDD-cost: 379 21.58/21.68 c ---[342130]---> BDD-cost: 379 21.58/21.69 c ---[342129]---> BDD-cost: 379 21.68/21.70 c ---[342128]---> BDD-cost: 379 21.68/21.71 c ---[342127]---> BDD-cost: 379 21.68/21.71 c ---[342126]---> BDD-cost: 379 21.68/21.72 c ---[342125]---> BDD-cost: 379 21.68/21.73 c ---[342124]---> BDD-cost: 379 21.68/21.74 c ---[342123]---> BDD-cost: 379 21.68/21.75 c ---[342122]---> BDD-cost: 379 21.68/21.76 c ---[342121]---> BDD-cost: 379 21.68/21.77 c ---[342120]---> BDD-cost: 379 21.68/21.78 c ---[342119]---> BDD-cost: 379 21.68/21.79 c ---[342118]---> BDD-cost: 379 21.78/21.80 c ---[342117]---> BDD-cost: 379 21.78/21.81 c ---[342116]---> BDD-cost: 379 21.78/21.82 c ---[342115]---> BDD-cost: 379 21.78/21.83 c ---[342114]---> BDD-cost: 379 21.78/21.84 c ---[342113]---> BDD-cost: 379 21.78/21.85 c ---[342112]---> BDD-cost: 379 21.78/21.86 c ---[342111]---> BDD-cost: 379 21.78/21.87 c ---[342110]---> BDD-cost: 379 21.78/21.87 c ---[342109]---> BDD-cost: 379 21.78/21.88 c ---[342108]---> BDD-cost: 379 21.78/21.89 c ---[342107]---> BDD-cost: 379 21.89/21.90 c ---[342106]---> BDD-cost: 379 21.89/21.91 c ---[342105]---> BDD-cost: 379 21.89/21.92 c ---[342104]---> BDD-cost: 379 21.89/21.93 c ---[342103]---> BDD-cost: 379 21.89/21.94 c ---[342102]---> BDD-cost: 379 21.89/21.95 c ---[342101]---> BDD-cost: 379 21.89/21.96 c ---[342100]---> BDD-cost: 379 21.89/21.97 c ---[342099]---> BDD-cost: 379 21.89/21.98 c ---[342098]---> BDD-cost: 379 21.89/21.99 c ---[342097]---> BDD-cost: 379 21.89/22.00 c ---[342096]---> BDD-cost: 379 21.99/22.01 c ---[342095]---> BDD-cost: 379 21.99/22.02 c ---[342094]---> BDD-cost: 379 21.99/22.03 c ---[342093]---> BDD-cost: 379 21.99/22.04 c ---[342092]---> BDD-cost: 379 21.99/22.04 c ---[342091]---> BDD-cost: 379 21.99/22.05 c ---[342090]---> BDD-cost: 379 21.99/22.06 c ---[342089]---> BDD-cost: 379 21.99/22.07 c ---[342088]---> BDD-cost: 379 21.99/22.08 c ---[342087]---> BDD-cost: 379 21.99/22.09 c ---[342086]---> BDD-cost: 379 22.08/22.10 c ---[342085]---> BDD-cost: 379 22.08/22.11 c ---[342084]---> BDD-cost: 379 22.08/22.12 c ---[342083]---> BDD-cost: 379 22.08/22.13 c ---[342082]---> BDD-cost: 379 22.08/22.14 c ---[342081]---> BDD-cost: 379 22.08/22.15 c ---[342080]---> BDD-cost: 379 22.08/22.16 c ---[342079]---> BDD-cost: 379 22.08/22.17 c ---[342078]---> BDD-cost: 379 22.08/22.18 c ---[342077]---> BDD-cost: 379 22.08/22.19 c ---[342076]---> BDD-cost: 379 22.08/22.20 c ---[342075]---> BDD-cost: 379 22.18/22.21 c ---[342074]---> BDD-cost: 379 22.18/22.21 c ---[342073]---> BDD-cost: 379 22.18/22.22 c ---[342072]---> BDD-cost: 379 22.18/22.23 c ---[342071]---> BDD-cost: 379 22.18/22.24 c ---[342070]---> BDD-cost: 379 22.18/22.25 c ---[342069]---> BDD-cost: 379 22.18/22.26 c ---[342068]---> BDD-cost: 379 22.18/22.27 c ---[342067]---> BDD-cost: 379 22.18/22.28 c ---[342066]---> BDD-cost: 379 22.18/22.29 c ---[342065]---> BDD-cost: 379 22.28/22.30 c ---[342064]---> BDD-cost: 379 22.28/22.31 c ---[342063]---> BDD-cost: 379 22.28/22.32 c ---[342062]---> BDD-cost: 379 22.28/22.33 c ---[342061]---> BDD-cost: 379 22.28/22.34 c ---[342060]---> BDD-cost: 379 22.28/22.35 c ---[342059]---> BDD-cost: 379 22.28/22.36 c ---[342058]---> BDD-cost: 379 22.28/22.36 c ---[342057]---> BDD-cost: 379 22.28/22.37 c ---[342056]---> BDD-cost: 379 22.28/22.38 c ---[342055]---> BDD-cost: 379 22.28/22.39 c ---[342054]---> BDD-cost: 379 22.38/22.40 c ---[342053]---> BDD-cost: 379 22.38/22.41 c ---[342052]---> BDD-cost: 379 22.38/22.42 c ---[342051]---> BDD-cost: 379 22.38/22.43 c ---[342050]---> BDD-cost: 379 22.38/22.44 c ---[342049]---> BDD-cost: 379 22.38/22.45 c ---[342048]---> BDD-cost: 379 22.38/22.46 c ---[342047]---> BDD-cost: 379 22.38/22.47 c ---[342046]---> BDD-cost: 379 22.38/22.48 c ---[342045]---> BDD-cost: 379 22.38/22.49 c ---[342044]---> BDD-cost: 379 22.48/22.50 c ---[342043]---> BDD-cost: 379 22.48/22.51 c ---[342042]---> BDD-cost: 379 22.48/22.52 c ---[342041]---> BDD-cost: 379 22.48/22.53 c ---[342040]---> BDD-cost: 379 22.48/22.53 c ---[342039]---> BDD-cost: 379 22.48/22.54 c ---[342038]---> BDD-cost: 379 22.48/22.55 c ---[342037]---> BDD-cost: 379 22.48/22.56 c ---[342036]---> BDD-cost: 379 22.48/22.57 c ---[342035]---> BDD-cost: 379 22.48/22.58 c ---[342034]---> BDD-cost: 379 22.48/22.59 c ---[342033]---> BDD-cost: 379 22.58/22.60 c ---[342032]---> BDD-cost: 379 22.58/22.61 c ---[342031]---> BDD-cost: 379 22.58/22.62 c ---[342030]---> BDD-cost: 379 22.58/22.63 c ---[342029]---> BDD-cost: 379 22.58/22.64 c ---[342028]---> BDD-cost: 379 22.58/22.65 c ---[342027]---> BDD-cost: 379 22.58/22.66 c ---[342026]---> BDD-cost: 379 22.58/22.67 c ---[342025]---> BDD-cost: 379 22.58/22.68 c ---[342024]---> BDD-cost: 379 22.58/22.69 c ---[342023]---> BDD-cost: 379 22.58/22.69 c ---[342022]---> BDD-cost: 379 22.68/22.70 c ---[342021]---> BDD-cost: 379 22.68/22.71 c ---[342020]---> BDD-cost: 379 22.68/22.72 c ---[342019]---> BDD-cost: 379 22.68/22.73 c ---[342018]---> BDD-cost: 379 22.68/22.74 c ---[342017]---> BDD-cost: 379 22.68/22.75 c ---[342016]---> BDD-cost: 379 22.68/22.76 c ---[342015]---> BDD-cost: 379 22.68/22.77 c ---[342014]---> BDD-cost: 379 22.68/22.78 c ---[342013]---> BDD-cost: 379 22.68/22.79 c ---[342012]---> BDD-cost: 379 22.78/22.80 c ---[342011]---> BDD-cost: 379 22.78/22.81 c ---[342010]---> BDD-cost: 379 22.78/22.82 c ---[342009]---> BDD-cost: 379 22.78/22.83 c ---[342008]---> BDD-cost: 379 22.78/22.84 c ---[342007]---> BDD-cost: 379 22.78/22.85 c ---[342006]---> BDD-cost: 379 22.78/22.86 c ---[342005]---> BDD-cost: 379 22.78/22.86 c ---[342004]---> BDD-cost: 379 22.78/22.87 c ---[342003]---> BDD-cost: 379 22.78/22.88 c ---[342002]---> BDD-cost: 379 22.78/22.89 c ---[342001]---> BDD-cost: 379 22.88/22.90 c ---[342000]---> BDD-cost: 379 22.88/22.91 c ---[341999]---> BDD-cost: 379 22.88/22.92 c ---[341998]---> BDD-cost: 379 22.88/22.93 c ---[341997]---> BDD-cost: 379 22.88/22.94 c ---[341996]---> BDD-cost: 379 22.88/22.95 c ---[341995]---> BDD-cost: 379 22.88/22.96 c ---[341994]---> BDD-cost: 379 22.88/22.97 c ---[341993]---> BDD-cost: 379 22.88/22.98 c ---[341992]---> BDD-cost: 379 22.88/22.99 c ---[341991]---> BDD-cost: 379 22.88/23.00 c ---[341990]---> BDD-cost: 379 22.98/23.01 c ---[341989]---> BDD-cost: 379 22.98/23.02 c ---[341988]---> BDD-cost: 379 22.98/23.03 c ---[341987]---> BDD-cost: 379 22.98/23.03 c ---[341986]---> BDD-cost: 379 22.98/23.04 c ---[341985]---> BDD-cost: 379 22.98/23.05 c ---[341984]---> BDD-cost: 379 22.98/23.06 c ---[341983]---> BDD-cost: 379 22.98/23.07 c ---[341982]---> BDD-cost: 379 22.98/23.08 c ---[341981]---> BDD-cost: 379 22.98/23.09 c ---[341980]---> BDD-cost: 379 22.98/23.10 c ---[341979]---> BDD-cost: 379 23.08/23.11 c ---[341978]---> BDD-cost: 379 23.08/23.12 c ---[341977]---> BDD-cost: 379 23.08/23.13 c ---[341976]---> BDD-cost: 379 23.08/23.14 c ---[341975]---> BDD-cost: 379 23.08/23.15 c ---[341974]---> BDD-cost: 379 23.08/23.16 c ---[341973]---> BDD-cost: 379 23.08/23.17 c ---[341972]---> BDD-cost: 379 23.08/23.18 c ---[341971]---> BDD-cost: 379 23.08/23.19 c ---[341970]---> BDD-cost: 379 23.08/23.19 c ---[341969]---> BDD-cost: 379 23.18/23.20 c ---[341968]---> BDD-cost: 379 23.18/23.21 c ---[341967]---> BDD-cost: 379 23.18/23.22 c ---[341966]---> BDD-cost: 379 23.18/23.23 c ---[341965]---> BDD-cost: 379 23.18/23.24 c ---[341964]---> BDD-cost: 379 23.18/23.25 c ---[341963]---> BDD-cost: 379 23.18/23.26 c ---[341962]---> BDD-cost: 379 23.18/23.27 c ---[341961]---> BDD-cost: 379 23.18/23.28 c ---[341960]---> BDD-cost: 379 23.18/23.29 c ---[341959]---> BDD-cost: 379 23.28/23.30 c ---[341958]---> BDD-cost: 379 23.28/23.31 c ---[341957]---> BDD-cost: 379 23.28/23.32 c ---[341956]---> BDD-cost: 379 23.28/23.33 c ---[341955]---> BDD-cost: 379 23.28/23.34 c ---[341954]---> BDD-cost: 379 23.28/23.35 c ---[341953]---> BDD-cost: 379 23.28/23.36 c ---[341952]---> BDD-cost: 379 23.28/23.36 c ---[341951]---> BDD-cost: 379 23.28/23.37 c ---[341950]---> BDD-cost: 379 23.28/23.38 c ---[341949]---> BDD-cost: 379 23.28/23.39 c ---[341948]---> BDD-cost: 379 23.38/23.40 c ---[341947]---> BDD-cost: 379 23.38/23.41 c ---[341946]---> BDD-cost: 379 23.38/23.42 c ---[341945]---> BDD-cost: 379 23.38/23.43 c ---[341944]---> BDD-cost: 379 23.38/23.44 c ---[341943]---> BDD-cost: 379 23.38/23.45 c ---[341942]---> BDD-cost: 379 23.38/23.46 c ---[341941]---> BDD-cost: 379 23.38/23.47 c ---[341940]---> BDD-cost: 379 23.38/23.48 c ---[341939]---> BDD-cost: 379 23.38/23.49 c ---[341938]---> BDD-cost: 379 23.48/23.50 c ---[341937]---> BDD-cost: 379 23.48/23.51 c ---[341936]---> BDD-cost: 379 23.48/23.52 c ---[341935]---> BDD-cost: 379 23.48/23.53 c ---[341934]---> BDD-cost: 379 23.48/23.53 c ---[341933]---> BDD-cost: 379 23.48/23.54 c ---[341932]---> BDD-cost: 379 23.48/23.55 c ---[341931]---> BDD-cost: 379 23.48/23.56 c ---[341930]---> BDD-cost: 379 23.48/23.57 c ---[341929]---> BDD-cost: 379 23.48/23.58 c ---[341928]---> BDD-cost: 379 23.48/23.59 c ---[341927]---> BDD-cost: 379 23.58/23.60 c ---[341926]---> BDD-cost: 379 23.58/23.61 c ---[341925]---> BDD-cost: 379 23.58/23.62 c ---[341924]---> BDD-cost: 379 23.58/23.63 c ---[341923]---> BDD-cost: 379 23.58/23.64 c ---[341922]---> BDD-cost: 379 23.58/23.65 c ---[341921]---> BDD-cost: 379 23.58/23.66 c ---[341920]---> BDD-cost: 379 23.58/23.67 c ---[341919]---> BDD-cost: 379 23.58/23.68 c ---[341918]---> BDD-cost: 379 23.58/23.69 c ---[341917]---> BDD-cost: 379 23.58/23.69 c ---[341916]---> BDD-cost: 379 23.68/23.71 c ---[341915]---> BDD-cost: 379 23.68/23.71 c ---[341914]---> BDD-cost: 379 23.68/23.72 c ---[341913]---> BDD-cost: 379 23.68/23.73 c ---[341912]---> BDD-cost: 379 23.68/23.74 c ---[341911]---> BDD-cost: 379 23.68/23.75 c ---[341910]---> BDD-cost: 379 23.68/23.76 c ---[341909]---> BDD-cost: 379 23.68/23.77 c ---[341908]---> BDD-cost: 379 23.68/23.78 c ---[341907]---> BDD-cost: 379 23.68/23.79 c ---[341906]---> BDD-cost: 379 23.78/23.80 c ---[341905]---> BDD-cost: 379 23.78/23.81 c ---[341904]---> BDD-cost: 379 23.78/23.82 c ---[341903]---> BDD-cost: 379 23.78/23.83 c ---[341902]---> BDD-cost: 379 23.78/23.84 c ---[341901]---> BDD-cost: 379 23.78/23.85 c ---[341900]---> BDD-cost: 379 23.78/23.86 c ---[341899]---> BDD-cost: 379 23.78/23.86 c ---[341898]---> BDD-cost: 379 23.78/23.87 c ---[341897]---> BDD-cost: 379 23.78/23.88 c ---[341896]---> BDD-cost: 379 23.78/23.89 c ---[341895]---> BDD-cost: 379 23.88/23.90 c ---[341894]---> BDD-cost: 379 23.88/23.91 c ---[341893]---> BDD-cost: 379 23.88/23.92 c ---[341892]---> BDD-cost: 379 23.88/23.93 c ---[341891]---> BDD-cost: 379 23.88/23.94 c ---[341890]---> BDD-cost: 379 23.88/23.95 c ---[341889]---> BDD-cost: 379 23.88/23.96 c ---[341888]---> BDD-cost: 379 23.88/23.97 c ---[341887]---> BDD-cost: 379 23.88/23.98 c ---[341886]---> BDD-cost: 379 23.88/23.99 c ---[341885]---> BDD-cost: 379 23.98/24.00 c ---[341884]---> BDD-cost: 379 23.98/24.01 c ---[341883]---> BDD-cost: 379 23.98/24.02 c ---[341882]---> BDD-cost: 379 23.98/24.03 c ---[341881]---> BDD-cost: 379 23.98/24.04 c ---[341880]---> BDD-cost: 379 23.98/24.04 c ---[341879]---> BDD-cost: 379 23.98/24.05 c ---[341878]---> BDD-cost: 379 23.98/24.06 c ---[341877]---> BDD-cost: 379 23.98/24.07 c ---[341876]---> BDD-cost: 379 23.98/24.08 c ---[341875]---> BDD-cost: 379 23.98/24.09 c ---[341874]---> BDD-cost: 379 23.98/24.10 c ---[341873]---> BDD-cost: 379 24.09/24.11 c ---[341872]---> BDD-cost: 379 24.09/24.12 c ---[341871]---> BDD-cost: 379 24.09/24.13 c ---[341870]---> BDD-cost: 379 24.09/24.14 c ---[341869]---> BDD-cost: 379 24.09/24.15 c ---[341868]---> BDD-cost: 379 24.09/24.16 c ---[341867]---> BDD-cost: 379 24.09/24.17 c ---[341866]---> BDD-cost: 379 24.09/24.18 c ---[341865]---> BDD-cost: 379 24.09/24.19 c ---[341864]---> BDD-cost: 379 24.09/24.20 c ---[341863]---> BDD-cost: 379 24.19/24.21 c ---[341862]---> BDD-cost: 379 24.19/24.22 c ---[341861]---> BDD-cost: 379 24.19/24.22 c ---[341860]---> BDD-cost: 379 24.19/24.23 c ---[341859]---> BDD-cost: 379 24.19/24.24 c ---[341858]---> BDD-cost: 379 24.19/24.25 c ---[341857]---> BDD-cost: 379 24.19/24.26 c ---[341856]---> BDD-cost: 379 24.19/24.27 c ---[341855]---> BDD-cost: 379 24.19/24.28 c ---[341854]---> BDD-cost: 379 24.19/24.29 c ---[341853]---> BDD-cost: 379 24.29/24.30 c ---[341852]---> BDD-cost: 379 24.29/24.31 c ---[341851]---> BDD-cost: 379 24.29/24.32 c ---[341850]---> BDD-cost: 379 24.29/24.33 c ---[341849]---> BDD-cost: 379 24.29/24.34 c ---[341848]---> BDD-cost: 379 24.29/24.35 c ---[341847]---> BDD-cost: 379 24.29/24.36 c ---[341846]---> BDD-cost: 379 24.29/24.37 c ---[341845]---> BDD-cost: 379 24.29/24.37 c ---[341844]---> BDD-cost: 379 24.29/24.38 c ---[341843]---> BDD-cost: 379 24.29/24.39 c ---[341842]---> BDD-cost: 379 24.39/24.40 c ---[341841]---> BDD-cost: 379 24.39/24.41 c ---[341840]---> BDD-cost: 379 24.39/24.42 c ---[341839]---> BDD-cost: 379 24.39/24.43 c ---[341838]---> BDD-cost: 379 24.39/24.44 c ---[341837]---> BDD-cost: 379 24.39/24.45 c ---[341836]---> BDD-cost: 379 24.39/24.46 c ---[341835]---> BDD-cost: 379 24.39/24.47 c ---[341834]---> BDD-cost: 379 24.39/24.48 c ---[341833]---> BDD-cost: 379 24.39/24.49 c ---[341832]---> BDD-cost: 379 24.49/24.50 c ---[341831]---> BDD-cost: 379 24.49/24.51 c ---[341830]---> BDD-cost: 379 24.49/24.52 c ---[341829]---> BDD-cost: 379 24.49/24.53 c ---[341828]---> BDD-cost: 379 24.49/24.54 c ---[341827]---> BDD-cost: 379 24.49/24.55 c ---[341826]---> BDD-cost: 379 24.49/24.55 c ---[341825]---> BDD-cost: 379 24.49/24.56 c ---[341824]---> BDD-cost: 379 24.49/24.57 c ---[341823]---> BDD-cost: 379 24.49/24.58 c ---[341822]---> BDD-cost: 379 24.49/24.59 c ---[341821]---> BDD-cost: 379 24.59/24.60 c ---[341820]---> BDD-cost: 379 24.59/24.61 c ---[341819]---> BDD-cost: 379 24.59/24.62 c ---[341818]---> BDD-cost: 379 24.59/24.63 c ---[341817]---> BDD-cost: 379 24.59/24.64 c ---[341816]---> BDD-cost: 379 24.59/24.65 c ---[341815]---> BDD-cost: 379 24.59/24.66 c ---[341814]---> BDD-cost: 379 24.59/24.67 c ---[341813]---> BDD-cost: 379 24.59/24.68 c ---[341812]---> BDD-cost: 379 24.59/24.69 c ---[341811]---> BDD-cost: 379 24.69/24.70 c ---[341810]---> BDD-cost: 379 24.69/24.71 c ---[341809]---> BDD-cost: 379 24.69/24.72 c ---[341808]---> BDD-cost: 379 24.69/24.72 c ---[341807]---> BDD-cost: 379 24.69/24.73 c ---[341806]---> BDD-cost: 379 24.69/24.74 c ---[341805]---> BDD-cost: 379 24.69/24.75 c ---[341804]---> BDD-cost: 379 24.69/24.76 c ---[341803]---> BDD-cost: 379 24.69/24.77 c ---[341802]---> BDD-cost: 379 24.69/24.78 c ---[341801]---> BDD-cost: 379 24.69/24.79 c ---[341800]---> BDD-cost: 379 24.79/24.80 c ---[341799]---> BDD-cost: 379 24.79/24.81 c ---[341798]---> BDD-cost: 379 24.79/24.82 c ---[341797]---> BDD-cost: 379 24.79/24.83 c ---[341796]---> BDD-cost: 379 24.79/24.84 c ---[341795]---> BDD-cost: 379 24.79/24.85 c ---[341794]---> BDD-cost: 379 24.79/24.86 c ---[341793]---> BDD-cost: 379 24.79/24.87 c ---[341792]---> BDD-cost: 379 24.79/24.88 c ---[341791]---> BDD-cost: 379 24.79/24.89 c ---[341790]---> BDD-cost: 379 24.79/24.89 c ---[341789]---> BDD-cost: 379 24.89/24.90 c ---[341788]---> BDD-cost: 379 24.89/24.91 c ---[341787]---> BDD-cost: 379 24.89/24.92 c ---[341786]---> BDD-cost: 379 24.89/24.93 c ---[341785]---> BDD-cost: 379 24.89/24.94 c ---[341784]---> BDD-cost: 379 24.89/24.95 c ---[341783]---> BDD-cost: 379 24.89/24.96 c ---[341782]---> BDD-cost: 379 24.89/24.97 c ---[341781]---> BDD-cost: 379 24.89/24.98 c ---[341780]---> BDD-cost: 379 24.89/24.99 c ---[341779]---> BDD-cost: 379 24.99/25.00 c ---[341778]---> BDD-cost: 379 24.99/25.01 c ---[341777]---> BDD-cost: 379 24.99/25.02 c ---[341776]---> BDD-cost: 379 24.99/25.03 c ---[341775]---> BDD-cost: 379 24.99/25.04 c ---[341774]---> BDD-cost: 379 24.99/25.05 c ---[341773]---> BDD-cost: 379 24.99/25.06 c ---[341772]---> BDD-cost: 379 24.99/25.06 c ---[341771]---> BDD-cost: 379 24.99/25.07 c ---[341770]---> BDD-cost: 379 24.99/25.08 c ---[341769]---> BDD-cost: 379 24.99/25.09 c ---[341768]---> BDD-cost: 379 25.08/25.10 c ---[341767]---> BDD-cost: 379 25.08/25.11 c ---[341766]---> BDD-cost: 379 25.08/25.12 c ---[341765]---> BDD-cost: 379 25.08/25.13 c ---[341764]---> BDD-cost: 379 25.08/25.14 c ---[341763]---> BDD-cost: 379 25.08/25.15 c ---[341762]---> BDD-cost: 379 25.08/25.16 c ---[341761]---> BDD-cost: 379 25.08/25.17 c ---[341760]---> BDD-cost: 379 25.08/25.18 c ---[341759]---> BDD-cost: 379 25.08/25.19 c ---[341758]---> BDD-cost: 379 25.08/25.20 c ---[341757]---> BDD-cost: 379 25.19/25.21 c ---[341756]---> BDD-cost: 379 25.19/25.22 c ---[341755]---> BDD-cost: 379 25.19/25.23 c ---[341754]---> BDD-cost: 379 25.19/25.27 c ---[341753]---> BDD-cost: 379 25.19/25.28 c ---[341752]---> BDD-cost: 379 25.19/25.28 c ---[341751]---> BDD-cost: 379 25.19/25.29 c ---[341750]---> BDD-cost: 379 25.29/25.30 c ---[341749]---> BDD-cost: 379 25.29/25.31 c ---[341748]---> BDD-cost: 379 25.29/25.32 c ---[341747]---> BDD-cost: 379 25.29/25.33 c ---[341746]---> BDD-cost: 379 25.29/25.34 c ---[341745]---> BDD-cost: 379 25.29/25.35 c ---[341744]---> BDD-cost: 379 25.29/25.36 c ---[341743]---> BDD-cost: 379 25.29/25.37 c ---[341742]---> BDD-cost: 379 25.29/25.38 c ---[341741]---> BDD-cost: 379 25.29/25.39 c ---[341740]---> BDD-cost: 379 25.38/25.40 c ---[341739]---> BDD-cost: 379 25.38/25.41 c ---[341738]---> BDD-cost: 379 25.38/25.42 c ---[341737]---> BDD-cost: 379 25.38/25.43 c ---[341736]---> BDD-cost: 379 25.38/25.44 c ---[341735]---> BDD-cost: 379 25.38/25.45 c ---[341734]---> BDD-cost: 379 25.38/25.45 c ---[341733]---> BDD-cost: 379 25.38/25.46 c ---[341732]---> BDD-cost: 379 25.38/25.47 c ---[341731]---> BDD-cost: 379 25.38/25.48 c ---[341730]---> BDD-cost: 379 25.38/25.49 c ---[341729]---> BDD-cost: 379 25.48/25.50 c ---[341728]---> BDD-cost: 379 25.48/25.51 c ---[341727]---> BDD-cost: 379 25.48/25.52 c ---[341726]---> BDD-cost: 379 25.48/25.53 c ---[341725]---> BDD-cost: 379 25.48/25.54 c ---[341724]---> BDD-cost: 379 25.48/25.55 c ---[341723]---> BDD-cost: 379 25.48/25.56 c ---[341722]---> BDD-cost: 379 25.48/25.57 c ---[341721]---> BDD-cost: 379 25.48/25.58 c ---[341720]---> BDD-cost: 379 25.48/25.59 c ---[341719]---> BDD-cost: 379 25.58/25.60 c ---[341718]---> BDD-cost: 379 25.58/25.61 c ---[341717]---> BDD-cost: 379 25.58/25.62 c ---[341716]---> BDD-cost: 379 25.58/25.62 c ---[341715]---> BDD-cost: 379 25.58/25.63 c ---[341714]---> BDD-cost: 379 25.58/25.64 c ---[341713]---> BDD-cost: 379 25.58/25.65 c ---[341712]---> BDD-cost: 379 25.58/25.66 c ---[341711]---> BDD-cost: 379 25.58/25.67 c ---[341710]---> BDD-cost: 379 25.58/25.68 c ---[341709]---> BDD-cost: 379 25.58/25.69 c ---[341708]---> BDD-cost: 379 25.68/25.70 c ---[341707]---> BDD-cost: 379 25.68/25.71 c ---[341706]---> BDD-cost: 379 25.68/25.72 c ---[341705]---> BDD-cost: 379 25.68/25.73 c ---[341704]---> BDD-cost: 379 25.68/25.74 c ---[341703]---> BDD-cost: 379 25.68/25.75 c ---[341702]---> BDD-cost: 379 25.68/25.76 c ---[341701]---> BDD-cost: 379 25.68/25.77 c ---[341700]---> BDD-cost: 379 25.68/25.78 c ---[341699]---> BDD-cost: 379 25.68/25.79 c ---[341698]---> BDD-cost: 379 25.68/25.79 c ---[341697]---> BDD-cost: 379 25.78/25.80 c ---[341696]---> BDD-cost: 379 25.78/25.81 c ---[341695]---> BDD-cost: 379 25.78/25.82 c ---[341694]---> BDD-cost: 379 25.78/25.83 c ---[341693]---> BDD-cost: 379 25.78/25.84 c ---[341692]---> BDD-cost: 379 25.78/25.85 c ---[341691]---> BDD-cost: 379 25.78/25.86 c ---[341690]---> BDD-cost: 379 25.78/25.87 c ---[341689]---> BDD-cost: 379 25.78/25.88 c ---[341688]---> BDD-cost: 379 25.78/25.89 c ---[341687]---> BDD-cost: 379 25.88/25.90 c ---[341686]---> BDD-cost: 379 25.88/25.91 c ---[341685]---> BDD-cost: 379 25.88/25.92 c ---[341684]---> BDD-cost: 379 25.88/25.93 c ---[341683]---> BDD-cost: 379 25.88/25.94 c ---[341682]---> BDD-cost: 379 25.88/25.95 c ---[341681]---> BDD-cost: 379 25.88/25.96 c ---[341680]---> BDD-cost: 379 25.88/25.96 c ---[341679]---> BDD-cost: 379 25.88/25.97 c ---[341678]---> BDD-cost: 379 25.88/25.98 c ---[341677]---> BDD-cost: 379 25.88/25.99 c ---[341676]---> BDD-cost: 379 25.98/26.00 c ---[341675]---> BDD-cost: 379 25.98/26.01 c ---[341674]---> BDD-cost: 379 25.98/26.02 c ---[341673]---> BDD-cost: 379 25.98/26.03 c ---[341672]---> BDD-cost: 379 25.98/26.04 c ---[341671]---> BDD-cost: 379 25.98/26.05 c ---[341670]---> BDD-cost: 379 25.98/26.06 c ---[341669]---> BDD-cost: 379 25.98/26.07 c ---[341668]---> BDD-cost: 379 25.98/26.08 c ---[341667]---> BDD-cost: 379 25.98/26.09 c ---[341666]---> BDD-cost: 379 26.08/26.10 c ---[341665]---> BDD-cost: 379 26.08/26.11 c ---[341664]---> BDD-cost: 379 26.08/26.12 c ---[341663]---> BDD-cost: 379 26.08/26.13 c ---[341662]---> BDD-cost: 379 26.08/26.13 c ---[341661]---> BDD-cost: 379 26.08/26.15 c ---[341660]---> BDD-cost: 379 26.08/26.15 c ---[341659]---> BDD-cost: 379 26.08/26.16 c ---[341658]---> BDD-cost: 379 26.08/26.17 c ---[341657]---> BDD-cost: 379 26.08/26.18 c ---[341656]---> BDD-cost: 379 26.08/26.19 c ---[341655]---> BDD-cost: 379 26.18/26.20 c ---[341654]---> BDD-cost: 379 26.18/26.21 c ---[341653]---> BDD-cost: 379 26.18/26.22 c ---[341652]---> BDD-cost: 379 26.18/26.23 c ---[341651]---> BDD-cost: 379 26.18/26.24 c ---[341650]---> BDD-cost: 379 26.18/26.25 c ---[341649]---> BDD-cost: 379 26.18/26.26 c ---[341648]---> BDD-cost: 379 26.18/26.27 c ---[341647]---> BDD-cost: 379 26.18/26.28 c ---[341646]---> BDD-cost: 379 26.18/26.29 c ---[341645]---> BDD-cost: 379 26.18/26.30 c ---[341644]---> BDD-cost: 379 26.29/26.31 c ---[341643]---> BDD-cost: 379 26.29/26.32 c ---[341642]---> BDD-cost: 379 26.29/26.33 c ---[341641]---> BDD-cost: 379 26.29/26.33 c ---[341640]---> BDD-cost: 379 26.29/26.34 c ---[341639]---> BDD-cost: 379 26.29/26.35 c ---[341638]---> BDD-cost: 379 26.29/26.36 c ---[341637]---> BDD-cost: 379 26.29/26.37 c ---[341636]---> BDD-cost: 379 26.29/26.38 c ---[341635]---> BDD-cost: 379 26.29/26.39 c ---[341634]---> BDD-cost: 379 26.29/26.40 c ---[341633]---> BDD-cost: 379 26.39/26.41 c ---[341632]---> BDD-cost: 379 26.39/26.42 c ---[341631]---> BDD-cost: 379 26.39/26.43 c ---[341630]---> BDD-cost: 379 26.39/26.44 c ---[341629]---> BDD-cost: 379 26.39/26.45 c ---[341628]---> BDD-cost: 379 26.39/26.46 c ---[341627]---> BDD-cost: 379 26.39/26.47 c ---[341626]---> BDD-cost: 379 26.39/26.48 c ---[341625]---> BDD-cost: 379 26.39/26.49 c ---[341624]---> BDD-cost: 379 26.48/26.50 c ---[341623]---> BDD-cost: 379 26.48/26.50 c ---[341622]---> BDD-cost: 379 26.48/26.51 c ---[341621]---> BDD-cost: 379 26.48/26.52 c ---[341620]---> BDD-cost: 379 26.48/26.53 c ---[341619]---> BDD-cost: 379 26.48/26.54 c ---[341618]---> BDD-cost: 379 26.48/26.55 c ---[341617]---> BDD-cost: 379 26.48/26.56 c ---[341616]---> BDD-cost: 379 26.48/26.57 c ---[341615]---> BDD-cost: 379 26.48/26.58 c ---[341614]---> BDD-cost: 379 26.48/26.59 c ---[341613]---> BDD-cost: 379 26.58/26.60 c ---[341612]---> BDD-cost: 379 26.58/26.61 c ---[341611]---> BDD-cost: 379 26.58/26.62 c ---[341610]---> BDD-cost: 379 26.58/26.63 c ---[341609]---> BDD-cost: 379 26.58/26.64 c ---[341608]---> BDD-cost: 379 26.58/26.65 c ---[341607]---> BDD-cost: 379 26.58/26.66 c ---[341606]---> BDD-cost: 379 26.58/26.67 c ---[341605]---> BDD-cost: 379 26.58/26.67 c ---[341604]---> BDD-cost: 379 26.58/26.68 c ---[341603]---> BDD-cost: 379 26.58/26.69 c ---[341602]---> BDD-cost: 379 26.68/26.70 c ---[341601]---> BDD-cost: 379 26.68/26.71 c ---[341600]---> BDD-cost: 379 26.68/26.72 c ---[341599]---> BDD-cost: 379 26.68/26.73 c ---[341598]---> BDD-cost: 379 26.68/26.74 c ---[341597]---> BDD-cost: 379 26.68/26.75 c ---[341596]---> BDD-cost: 379 26.68/26.76 c ---[341595]---> BDD-cost: 379 26.68/26.77 c ---[341594]---> BDD-cost: 379 26.68/26.78 c ---[341593]---> BDD-cost: 379 26.68/26.79 c ---[341592]---> BDD-cost: 379 26.78/26.80 c ---[341591]---> BDD-cost: 379 26.78/26.81 c ---[341590]---> BDD-cost: 379 26.78/26.82 c ---[341589]---> BDD-cost: 379 26.78/26.83 c ---[341588]---> BDD-cost: 379 26.78/26.84 c ---[341587]---> BDD-cost: 379 26.78/26.85 c ---[341586]---> BDD-cost: 379 26.78/26.85 c ---[341585]---> BDD-cost: 379 26.78/26.86 c ---[341584]---> BDD-cost: 379 26.78/26.87 c ---[341583]---> BDD-cost: 379 26.78/26.88 c ---[341582]---> BDD-cost: 379 26.78/26.89 c ---[341581]---> BDD-cost: 379 26.88/26.90 c ---[341580]---> BDD-cost: 379 26.88/26.91 c ---[341579]---> BDD-cost: 379 26.88/26.92 c ---[341578]---> BDD-cost: 379 26.88/26.93 c ---[341577]---> BDD-cost: 379 26.88/26.94 c ---[341576]---> BDD-cost: 379 26.88/26.95 c ---[341575]---> BDD-cost: 379 26.88/26.96 c ---[341574]---> BDD-cost: 379 26.88/26.97 c ---[341573]---> BDD-cost: 379 26.88/26.98 c ---[341572]---> BDD-cost: 379 26.88/26.99 c ---[341571]---> BDD-cost: 379 26.98/27.00 c ---[341570]---> BDD-cost: 379 26.98/27.01 c ---[341569]---> BDD-cost: 379 26.98/27.02 c ---[341568]---> BDD-cost: 379 26.98/27.03 c ---[341567]---> BDD-cost: 379 26.98/27.04 c ---[341566]---> BDD-cost: 379 26.98/27.04 c ---[341565]---> BDD-cost: 379 26.98/27.05 c ---[341564]---> BDD-cost: 379 26.98/27.06 c ---[341563]---> BDD-cost: 379 26.98/27.07 c ---[341562]---> BDD-cost: 379 26.98/27.08 c ---[341561]---> BDD-cost: 379 26.98/27.09 c ---[341560]---> BDD-cost: 379 27.08/27.10 c ---[341559]---> BDD-cost: 379 27.08/27.11 c ---[341558]---> BDD-cost: 379 27.08/27.12 c ---[341557]---> BDD-cost: 379 27.08/27.13 c ---[341556]---> BDD-cost: 379 27.08/27.14 c ---[341555]---> BDD-cost: 379 27.08/27.15 c ---[341554]---> BDD-cost: 379 27.08/27.16 c ---[341553]---> BDD-cost: 379 27.08/27.17 c ---[341552]---> BDD-cost: 379 27.08/27.18 c ---[341551]---> BDD-cost: 379 27.08/27.19 c ---[341550]---> BDD-cost: 379 27.18/27.20 c ---[341549]---> BDD-cost: 379 27.18/27.21 c ---[341548]---> BDD-cost: 379 27.18/27.22 c ---[341547]---> BDD-cost: 379 27.18/27.22 c ---[341546]---> BDD-cost: 379 27.18/27.23 c ---[341545]---> BDD-cost: 379 27.18/27.24 c ---[341544]---> BDD-cost: 379 27.18/27.25 c ---[341543]---> BDD-cost: 379 27.18/27.26 c ---[341542]---> BDD-cost: 379 27.18/27.27 c ---[341541]---> BDD-cost: 379 27.18/27.28 c ---[341540]---> BDD-cost: 379 27.18/27.29 c ---[341539]---> BDD-cost: 379 27.28/27.30 c ---[341538]---> BDD-cost: 379 27.28/27.31 c ---[341537]---> BDD-cost: 379 27.28/27.32 c ---[341536]---> BDD-cost: 379 27.28/27.33 c ---[341535]---> BDD-cost: 379 27.28/27.34 c ---[341534]---> BDD-cost: 379 27.28/27.35 c ---[341533]---> BDD-cost: 379 27.28/27.36 c ---[341532]---> BDD-cost: 379 27.28/27.37 c ---[341531]---> BDD-cost: 379 27.28/27.38 c ---[341530]---> BDD-cost: 379 27.28/27.39 c ---[341529]---> BDD-cost: 379 27.28/27.40 c ---[341528]---> BDD-cost: 379 27.38/27.40 c ---[341527]---> BDD-cost: 379 27.38/27.41 c ---[341526]---> BDD-cost: 379 27.38/27.42 c ---[341525]---> BDD-cost: 379 27.38/27.43 c ---[341524]---> BDD-cost: 379 27.38/27.44 c ---[341523]---> BDD-cost: 379 27.38/27.45 c ---[341522]---> BDD-cost: 379 27.38/27.46 c ---[341521]---> BDD-cost: 379 27.38/27.47 c ---[341520]---> BDD-cost: 379 27.38/27.48 c ---[341519]---> BDD-cost: 379 27.38/27.49 c ---[341518]---> BDD-cost: 379 27.38/27.50 c ---[341517]---> BDD-cost: 379 27.48/27.51 c ---[341516]---> BDD-cost: 379 27.48/27.52 c ---[341515]---> BDD-cost: 379 27.48/27.53 c ---[341514]---> BDD-cost: 379 27.48/27.54 c ---[341513]---> BDD-cost: 379 27.48/27.55 c ---[341512]---> BDD-cost: 379 27.48/27.56 c ---[341511]---> BDD-cost: 379 27.48/27.57 c ---[341510]---> BDD-cost: 379 27.48/27.57 c ---[341509]---> BDD-cost: 379 27.48/27.58 c ---[341508]---> BDD-cost: 379 27.48/27.59 c ---[341507]---> BDD-cost: 379 27.58/27.60 c ---[341506]---> BDD-cost: 379 27.58/27.61 c ---[341505]---> BDD-cost: 379 27.58/27.62 c ---[341504]---> BDD-cost: 379 27.58/27.63 c ---[341503]---> BDD-cost: 379 27.58/27.64 c ---[341502]---> BDD-cost: 379 27.58/27.65 c ---[341501]---> BDD-cost: 379 27.58/27.66 c ---[341500]---> BDD-cost: 379 27.58/27.67 c ---[341499]---> BDD-cost: 379 27.58/27.68 c ---[341498]---> BDD-cost: 379 27.58/27.69 c ---[341497]---> BDD-cost: 379 27.68/27.70 c ---[341496]---> BDD-cost: 379 27.68/27.71 c ---[341495]---> BDD-cost: 379 27.68/27.72 c ---[341494]---> BDD-cost: 379 27.68/27.73 c ---[341493]---> BDD-cost: 379 27.68/27.74 c ---[341492]---> BDD-cost: 379 27.68/27.75 c ---[341491]---> BDD-cost: 379 27.68/27.76 c ---[341490]---> BDD-cost: 379 27.68/27.76 c ---[341489]---> BDD-cost: 379 27.68/27.77 c ---[341488]---> BDD-cost: 379 27.68/27.78 c ---[341487]---> BDD-cost: 379 27.68/27.79 c ---[341486]---> BDD-cost: 379 27.78/27.80 c ---[341485]---> BDD-cost: 379 27.78/27.81 c ---[341484]---> BDD-cost: 379 27.78/27.82 c ---[341483]---> BDD-cost: 379 27.78/27.83 c ---[341482]---> BDD-cost: 379 27.78/27.84 c ---[341481]---> BDD-cost: 379 27.78/27.85 c ---[341480]---> BDD-cost: 379 27.78/27.86 c ---[341479]---> BDD-cost: 379 27.78/27.87 c ---[341478]---> BDD-cost: 379 27.78/27.88 c ---[341477]---> BDD-cost: 379 27.78/27.89 c ---[341476]---> BDD-cost: 379 27.88/27.90 c ---[341475]---> BDD-cost: 379 27.88/27.91 c ---[341474]---> BDD-cost: 379 27.88/27.92 c ---[341473]---> BDD-cost: 379 27.88/27.93 c ---[341472]---> BDD-cost: 379 27.88/27.94 c ---[341471]---> BDD-cost: 379 27.88/27.94 c ---[341470]---> BDD-cost: 379 27.88/27.95 c ---[341469]---> BDD-cost: 379 27.88/27.96 c ---[341468]---> BDD-cost: 379 27.88/27.97 c ---[341467]---> BDD-cost: 379 27.88/27.98 c ---[341466]---> BDD-cost: 379 27.88/27.99 c ---[341465]---> BDD-cost: 379 27.98/28.00 c ---[341464]---> BDD-cost: 379 27.98/28.01 c ---[341463]---> BDD-cost: 379 27.98/28.02 c ---[341462]---> BDD-cost: 379 27.98/28.03 c ---[341461]---> BDD-cost: 379 27.98/28.04 c ---[341460]---> BDD-cost: 379 27.98/28.05 c ---[341459]---> BDD-cost: 379 27.98/28.06 c ---[341458]---> BDD-cost: 379 27.98/28.07 c ---[341457]---> BDD-cost: 379 27.98/28.08 c ---[341456]---> BDD-cost: 379 27.98/28.09 c ---[341455]---> BDD-cost: 379 28.08/28.10 c ---[341454]---> BDD-cost: 379 28.08/28.11 c ---[341453]---> BDD-cost: 379 28.08/28.12 c ---[341452]---> BDD-cost: 379 28.08/28.12 c ---[341451]---> BDD-cost: 379 28.08/28.13 c ---[341450]---> BDD-cost: 379 28.08/28.14 c ---[341449]---> BDD-cost: 379 28.08/28.15 c ---[341448]---> BDD-cost: 379 28.08/28.16 c ---[341447]---> BDD-cost: 379 28.08/28.17 c ---[341446]---> BDD-cost: 379 28.08/28.18 c ---[341445]---> BDD-cost: 379 28.08/28.19 c ---[341444]---> BDD-cost: 379 28.18/28.20 c ---[341443]---> BDD-cost: 379 28.18/28.21 c ---[341442]---> BDD-cost: 379 28.18/28.22 c ---[341441]---> BDD-cost: 379 28.18/28.23 c ---[341440]---> BDD-cost: 379 28.18/28.24 c ---[341439]---> BDD-cost: 379 28.18/28.25 c ---[341438]---> BDD-cost: 379 28.18/28.26 c ---[341437]---> BDD-cost: 379 28.18/28.27 c ---[341436]---> BDD-cost: 379 28.18/28.28 c ---[341435]---> BDD-cost: 379 28.18/28.29 c ---[341434]---> BDD-cost: 379 28.18/28.30 c ---[341433]---> BDD-cost: 379 28.28/28.31 c ---[341432]---> BDD-cost: 379 28.28/28.31 c ---[341431]---> BDD-cost: 379 28.28/28.32 c ---[341430]---> BDD-cost: 379 28.28/28.33 c ---[341429]---> BDD-cost: 379 28.28/28.34 c ---[341428]---> BDD-cost: 379 28.28/28.35 c ---[341427]---> BDD-cost: 379 28.28/28.36 c ---[341426]---> BDD-cost: 379 28.28/28.37 c ---[341425]---> BDD-cost: 379 28.28/28.38 c ---[341424]---> BDD-cost: 379 28.28/28.39 c ---[341423]---> BDD-cost: 379 28.38/28.40 c ---[341422]---> BDD-cost: 379 28.38/28.41 c ---[341421]---> BDD-cost: 379 28.38/28.42 c ---[341420]---> BDD-cost: 379 28.38/28.43 c ---[341419]---> BDD-cost: 379 28.38/28.44 c ---[341418]---> BDD-cost: 379 28.38/28.45 c ---[341417]---> BDD-cost: 379 28.38/28.46 c ---[341416]---> BDD-cost: 379 28.38/28.47 c ---[341415]---> BDD-cost: 379 28.38/28.47 c ---[341414]---> BDD-cost: 379 28.38/28.48 c ---[341413]---> BDD-cost: 379 28.38/28.49 c ---[341412]---> BDD-cost: 379 28.48/28.50 c ---[341411]---> BDD-cost: 379 28.48/28.51 c ---[341410]---> BDD-cost: 379 28.48/28.52 c ---[341409]---> BDD-cost: 379 28.48/28.53 c ---[341408]---> BDD-cost: 379 28.48/28.54 c ---[341407]---> BDD-cost: 379 28.48/28.55 c ---[341406]---> BDD-cost: 379 28.48/28.56 c ---[341405]---> BDD-cost: 379 28.48/28.57 c ---[341404]---> BDD-cost: 379 28.48/28.58 c ---[341403]---> BDD-cost: 379 28.48/28.59 c ---[341402]---> BDD-cost: 379 28.48/28.60 c ---[341401]---> BDD-cost: 379 28.58/28.61 c ---[341400]---> BDD-cost: 379 28.58/28.62 c ---[341399]---> BDD-cost: 379 28.58/28.63 c ---[341398]---> BDD-cost: 379 28.58/28.64 c ---[341397]---> BDD-cost: 379 28.58/28.65 c ---[341396]---> BDD-cost: 379 28.58/28.66 c ---[341395]---> BDD-cost: 379 28.58/28.66 c ---[341394]---> BDD-cost: 379 28.58/28.67 c ---[341393]---> BDD-cost: 379 28.58/28.68 c ---[341392]---> BDD-cost: 379 28.58/28.69 c ---[341391]---> BDD-cost: 379 28.68/28.70 c ---[341390]---> BDD-cost: 379 28.68/28.71 c ---[341389]---> BDD-cost: 379 28.68/28.72 c ---[341388]---> BDD-cost: 379 28.68/28.73 c ---[341387]---> BDD-cost: 379 28.68/28.74 c ---[341386]---> BDD-cost: 379 28.68/28.75 c ---[341385]---> BDD-cost: 379 28.68/28.76 c ---[341384]---> BDD-cost: 379 28.68/28.77 c ---[341383]---> BDD-cost: 379 28.68/28.78 c ---[341382]---> BDD-cost: 379 28.68/28.79 c ---[341381]---> BDD-cost: 379 28.78/28.80 c ---[341380]---> BDD-cost: 379 28.78/28.81 c ---[341379]---> BDD-cost: 379 28.78/28.82 c ---[341378]---> BDD-cost: 379 28.78/28.83 c ---[341377]---> BDD-cost: 379 28.78/28.84 c ---[341376]---> BDD-cost: 379 28.78/28.85 c ---[341375]---> BDD-cost: 379 28.78/28.86 c ---[341374]---> BDD-cost: 379 28.78/28.86 c ---[341373]---> BDD-cost: 379 28.78/28.87 c ---[341372]---> BDD-cost: 379 28.78/28.88 c ---[341371]---> BDD-cost: 379 28.78/28.89 c ---[341370]---> BDD-cost: 379 28.88/28.90 c ---[341369]---> BDD-cost: 379 28.88/28.91 c ---[341368]---> BDD-cost: 379 28.88/28.92 c ---[341367]---> BDD-cost: 379 28.88/28.93 c ---[341366]---> BDD-cost: 379 28.88/28.94 c ---[341365]---> BDD-cost: 379 28.88/28.95 c ---[341364]---> BDD-cost: 379 28.88/28.96 c ---[341363]---> BDD-cost: 379 28.88/28.97 c ---[341362]---> BDD-cost: 379 28.88/28.98 c ---[341361]---> BDD-cost: 379 28.88/28.99 c ---[341360]---> BDD-cost: 379 28.98/29.00 c ---[341359]---> BDD-cost: 379 28.98/29.01 c ---[341358]---> BDD-cost: 379 28.98/29.02 c ---[341357]---> BDD-cost: 379 28.98/29.03 c ---[341356]---> BDD-cost: 379 28.98/29.04 c ---[341355]---> BDD-cost: 379 28.98/29.05 c ---[341354]---> BDD-cost: 379 28.98/29.05 c ---[341353]---> BDD-cost: 379 28.98/29.06 c ---[341352]---> BDD-cost: 379 28.98/29.07 c ---[341351]---> BDD-cost: 379 28.98/29.08 c ---[341350]---> BDD-cost: 379 28.98/29.09 c ---[341349]---> BDD-cost: 379 29.08/29.10 c ---[341348]---> BDD-cost: 379 29.08/29.11 c ---[341347]---> BDD-cost: 379 29.08/29.12 c ---[341346]---> BDD-cost: 379 29.08/29.13 c ---[341345]---> BDD-cost: 379 29.08/29.14 c ---[341344]---> BDD-cost: 379 29.08/29.15 c ---[341343]---> BDD-cost: 379 29.08/29.16 c ---[341342]---> BDD-cost: 379 29.08/29.17 c ---[341341]---> BDD-cost: 379 29.08/29.18 c ---[341340]---> BDD-cost: 379 29.08/29.19 c ---[341339]---> BDD-cost: 379 29.18/29.20 c ---[341338]---> BDD-cost: 379 29.18/29.21 c ---[341337]---> BDD-cost: 379 29.18/29.22 c ---[341336]---> BDD-cost: 379 29.18/29.23 c ---[341335]---> BDD-cost: 379 29.18/29.24 c ---[341334]---> BDD-cost: 379 29.18/29.24 c ---[341333]---> BDD-cost: 379 29.18/29.25 c ---[341332]---> BDD-cost: 379 29.18/29.26 c ---[341331]---> BDD-cost: 379 29.18/29.27 c ---[341330]---> BDD-cost: 379 29.18/29.28 c ---[341329]---> BDD-cost: 379 29.18/29.29 c ---[341328]---> BDD-cost: 379 29.29/29.30 c ---[341327]---> BDD-cost: 379 29.29/29.31 c ---[341326]---> BDD-cost: 379 29.29/29.32 c ---[341325]---> BDD-cost: 379 29.29/29.33 c ---[341324]---> BDD-cost: 379 29.29/29.34 c ---[341323]---> BDD-cost: 379 29.29/29.35 c ---[341322]---> BDD-cost: 379 29.29/29.36 c ---[341321]---> BDD-cost: 379 29.29/29.37 c ---[341320]---> BDD-cost: 379 29.29/29.38 c ---[341319]---> BDD-cost: 379 29.29/29.39 c ---[341318]---> BDD-cost: 379 29.38/29.40 c ---[341317]---> BDD-cost: 379 29.38/29.41 c ---[341316]---> BDD-cost: 379 29.38/29.41 c ---[341315]---> BDD-cost: 379 29.38/29.42 c ---[341314]---> BDD-cost: 379 29.38/29.43 c ---[341313]---> BDD-cost: 379 29.38/29.44 c ---[341312]---> BDD-cost: 379 29.38/29.45 c ---[341311]---> BDD-cost: 379 29.38/29.46 c ---[341310]---> BDD-cost: 379 29.38/29.47 c ---[341309]---> BDD-cost: 379 29.38/29.48 c ---[341308]---> BDD-cost: 379 29.38/29.49 c ---[341307]---> BDD-cost: 379 29.48/29.50 c ---[341306]---> BDD-cost: 379 29.48/29.51 c ---[341305]---> BDD-cost: 379 29.48/29.52 c ---[341304]---> BDD-cost: 379 29.48/29.53 c ---[341303]---> BDD-cost: 379 29.48/29.54 c ---[341302]---> BDD-cost: 379 29.48/29.55 c ---[341301]---> BDD-cost: 379 29.48/29.56 c ---[341300]---> BDD-cost: 379 29.48/29.57 c ---[341299]---> BDD-cost: 379 29.48/29.58 c ---[341298]---> BDD-cost: 379 29.48/29.59 c ---[341297]---> BDD-cost: 379 29.48/29.59 c ---[341296]---> BDD-cost: 379 29.59/29.60 c ---[341295]---> BDD-cost: 379 29.59/29.61 c ---[341294]---> BDD-cost: 379 29.59/29.62 c ---[341293]---> BDD-cost: 379 29.59/29.63 c ---[341292]---> BDD-cost: 379 29.59/29.64 c ---[341291]---> BDD-cost: 379 29.59/29.65 c ---[341290]---> BDD-cost: 379 29.59/29.66 c ---[341289]---> BDD-cost: 379 29.59/29.67 c ---[341288]---> BDD-cost: 379 29.59/29.68 c ---[341287]---> BDD-cost: 379 29.59/29.69 c ---[341286]---> BDD-cost: 379 29.59/29.70 c ---[341285]---> BDD-cost: 379 29.69/29.71 c ---[341284]---> BDD-cost: 379 29.69/29.72 c ---[341283]---> BDD-cost: 379 29.69/29.73 c ---[341282]---> BDD-cost: 379 29.69/29.74 c ---[341281]---> BDD-cost: 379 29.69/29.75 c ---[341280]---> BDD-cost: 379 29.69/29.76 c ---[341279]---> BDD-cost: 379 29.69/29.77 c ---[341278]---> BDD-cost: 379 29.69/29.77 c ---[341277]---> BDD-cost: 379 29.69/29.78 c ---[341276]---> BDD-cost: 379 29.69/29.79 c ---[341275]---> BDD-cost: 379 29.78/29.80 c ---[341274]---> BDD-cost: 379 29.78/29.81 c ---[341273]---> BDD-cost: 379 29.78/29.82 c ---[341272]---> BDD-cost: 379 29.78/29.83 c ---[341271]---> BDD-cost: 379 29.78/29.84 c ---[341270]---> BDD-cost: 379 29.78/29.85 c ---[341269]---> BDD-cost: 379 29.78/29.86 c ---[341268]---> BDD-cost: 379 29.78/29.87 c ---[341267]---> BDD-cost: 379 29.78/29.88 c ---[341266]---> BDD-cost: 379 29.78/29.89 c ---[341265]---> BDD-cost: 379 29.88/29.90 c ---[341264]---> BDD-cost: 379 29.88/29.91 c ---[341263]---> BDD-cost: 379 29.88/29.92 c ---[341262]---> BDD-cost: 379 29.88/29.93 c ---[341261]---> BDD-cost: 379 29.88/29.94 c ---[341260]---> BDD-cost: 379 29.88/29.95 c ---[341259]---> BDD-cost: 379 29.88/29.95 c ---[341258]---> BDD-cost: 379 29.88/29.96 c ---[341257]---> BDD-cost: 379 29.88/29.97 c ---[341256]---> BDD-cost: 379 29.88/29.98 c ---[341255]---> BDD-cost: 379 29.88/29.99 c ---[341254]---> BDD-cost: 379 29.98/30.00 c ---[341253]---> BDD-cost: 379 29.98/30.01 c ---[341252]---> BDD-cost: 379 29.98/30.02 c ---[341251]---> BDD-cost: 379 29.98/30.03 c ---[341250]---> BDD-cost: 379 29.98/30.04 c ---[341249]---> BDD-cost: 379 29.98/30.05 c ---[341248]---> BDD-cost: 379 29.98/30.06 c ---[341247]---> BDD-cost: 379 29.98/30.07 c ---[341246]---> BDD-cost: 379 29.98/30.08 c ---[341245]---> BDD-cost: 379 29.98/30.09 c ---[341244]---> BDD-cost: 379 30.08/30.10 c ---[341243]---> BDD-cost: 379 30.08/30.11 c ---[341242]---> BDD-cost: 379 30.08/30.12 c ---[341241]---> BDD-cost: 379 30.08/30.13 c ---[341240]---> BDD-cost: 379 30.08/30.13 c ---[341239]---> BDD-cost: 379 30.08/30.14 c ---[341238]---> BDD-cost: 379 30.08/30.15 c ---[341237]---> BDD-cost: 379 30.08/30.16 c ---[341236]---> BDD-cost: 379 30.08/30.17 c ---[341235]---> BDD-cost: 379 30.08/30.18 c ---[341234]---> BDD-cost: 379 30.08/30.19 c ---[341233]---> BDD-cost: 379 30.18/30.20 c ---[341232]---> BDD-cost: 379 30.18/30.21 c ---[341231]---> BDD-cost: 379 30.18/30.22 c ---[341230]---> BDD-cost: 379 30.18/30.23 c ---[341229]---> BDD-cost: 379 30.18/30.24 c ---[341228]---> BDD-cost: 379 30.18/30.25 c ---[341227]---> BDD-cost: 379 30.18/30.26 c ---[341226]---> BDD-cost: 379 30.18/30.27 c ---[341225]---> BDD-cost: 379 30.18/30.28 c ---[341224]---> BDD-cost: 379 30.18/30.29 c ---[341223]---> BDD-cost: 379 30.28/30.30 c ---[341222]---> BDD-cost: 379 30.28/30.31 c ---[341221]---> BDD-cost: 379 30.28/30.32 c ---[341220]---> BDD-cost: 379 30.28/30.33 c ---[341219]---> BDD-cost: 379 30.28/30.33 c ---[341218]---> BDD-cost: 379 30.28/30.34 c ---[341217]---> BDD-cost: 379 30.28/30.35 c ---[341216]---> BDD-cost: 379 30.28/30.36 c ---[341215]---> BDD-cost: 379 30.28/30.37 c ---[341214]---> BDD-cost: 379 30.28/30.38 c ---[341213]---> BDD-cost: 379 30.28/30.39 c ---[341212]---> BDD-cost: 379 30.38/30.40 c ---[341211]---> BDD-cost: 379 30.38/30.41 c ---[341210]---> BDD-cost: 379 30.38/30.42 c ---[341209]---> BDD-cost: 379 30.38/30.43 c ---[341208]---> BDD-cost: 379 30.38/30.44 c ---[341207]---> BDD-cost: 379 30.38/30.45 c ---[341206]---> BDD-cost: 379 30.38/30.46 c ---[341205]---> BDD-cost: 379 30.38/30.47 c ---[341204]---> BDD-cost: 379 30.38/30.48 c ---[341203]---> BDD-cost: 379 30.38/30.49 c ---[341202]---> BDD-cost: 379 30.48/30.50 c ---[341201]---> BDD-cost: 379 30.48/30.51 c ---[341200]---> BDD-cost: 379 30.48/30.52 c ---[341199]---> BDD-cost: 379 30.48/30.52 c ---[341198]---> BDD-cost: 379 30.48/30.53 c ---[341197]---> BDD-cost: 379 30.48/30.54 c ---[341196]---> BDD-cost: 379 30.48/30.55 c ---[341195]---> BDD-cost: 379 30.48/30.56 c ---[341194]---> BDD-cost: 379 30.48/30.57 c ---[341193]---> BDD-cost: 379 30.48/30.58 c ---[341192]---> BDD-cost: 379 30.48/30.59 c ---[341191]---> BDD-cost: 379 30.58/30.60 c ---[341190]---> BDD-cost: 379 30.58/30.61 c ---[341189]---> BDD-cost: 379 30.58/30.62 c ---[341188]---> BDD-cost: 379 30.58/30.63 c ---[341187]---> BDD-cost: 379 30.58/30.64 c ---[341186]---> BDD-cost: 379 30.58/30.65 c ---[341185]---> BDD-cost: 379 30.58/30.66 c ---[341184]---> BDD-cost: 379 30.58/30.67 c ---[341183]---> BDD-cost: 379 30.58/30.68 c ---[341182]---> BDD-cost: 379 30.58/30.69 c ---[341181]---> BDD-cost: 379 30.58/30.69 c ---[341180]---> BDD-cost: 379 30.69/30.70 c ---[341179]---> BDD-cost: 379 30.69/30.71 c ---[341178]---> BDD-cost: 379 30.69/30.72 c ---[341177]---> BDD-cost: 379 30.69/30.73 c ---[341176]---> BDD-cost: 379 30.69/30.74 c ---[341175]---> BDD-cost: 379 30.69/30.75 c ---[341174]---> BDD-cost: 379 30.69/30.76 c ---[341173]---> BDD-cost: 379 30.69/30.77 c ---[341172]---> BDD-cost: 379 30.69/30.78 c ---[341171]---> BDD-cost: 379 30.69/30.79 c ---[341170]---> BDD-cost: 379 30.69/30.80 c ---[341169]---> BDD-cost: 379 30.79/30.81 c ---[341168]---> BDD-cost: 379 30.79/30.82 c ---[341167]---> BDD-cost: 379 30.79/30.83 c ---[341166]---> BDD-cost: 379 30.79/30.84 c ---[341165]---> BDD-cost: 379 30.79/30.85 c ---[341164]---> BDD-cost: 379 30.79/30.86 c ---[341163]---> BDD-cost: 379 30.79/30.86 c ---[341162]---> BDD-cost: 379 30.79/30.87 c ---[341161]---> BDD-cost: 379 30.79/30.88 c ---[341160]---> BDD-cost: 379 30.79/30.89 c ---[341159]---> BDD-cost: 379 30.88/30.90 c ---[341158]---> BDD-cost: 379 30.88/30.91 c ---[341157]---> BDD-cost: 379 30.88/30.92 c ---[341156]---> BDD-cost: 379 30.88/30.93 c ---[341155]---> BDD-cost: 379 30.88/30.94 c ---[341154]---> BDD-cost: 379 30.88/30.95 c ---[341153]---> BDD-cost: 379 30.88/30.96 c ---[341152]---> BDD-cost: 379 30.88/30.97 c ---[341151]---> BDD-cost: 379 30.88/30.98 c ---[341150]---> BDD-cost: 379 30.88/30.99 c ---[341149]---> BDD-cost: 379 30.98/31.00 c ---[341148]---> BDD-cost: 379 30.98/31.01 c ---[341147]---> BDD-cost: 379 30.98/31.02 c ---[341146]---> BDD-cost: 379 30.98/31.03 c ---[341145]---> BDD-cost: 379 30.98/31.04 c ---[341144]---> BDD-cost: 379 30.98/31.05 c ---[341143]---> BDD-cost: 379 30.98/31.05 c ---[341142]---> BDD-cost: 379 30.98/31.06 c ---[341141]---> BDD-cost: 379 30.98/31.07 c ---[341140]---> BDD-cost: 379 30.98/31.08 c ---[341139]---> BDD-cost: 379 30.98/31.09 c ---[341138]---> BDD-cost: 379 31.08/31.10 c ---[341137]---> BDD-cost: 379 31.08/31.11 c ---[341136]---> BDD-cost: 379 31.08/31.12 c ---[341135]---> BDD-cost: 379 31.08/31.13 c ---[341134]---> BDD-cost: 379 31.08/31.14 c ---[341133]---> BDD-cost: 379 31.08/31.15 c ---[341132]---> BDD-cost: 379 31.08/31.16 c ---[341131]---> BDD-cost: 379 31.08/31.17 c ---[341130]---> BDD-cost: 379 31.08/31.18 c ---[341129]---> BDD-cost: 379 31.08/31.19 c ---[341128]---> BDD-cost: 379 31.18/31.20 c ---[341127]---> BDD-cost: 379 31.18/31.21 c ---[341126]---> BDD-cost: 379 31.18/31.22 c ---[341125]---> BDD-cost: 379 31.18/31.23 c ---[341124]---> BDD-cost: 379 31.18/31.24 c ---[341123]---> BDD-cost: 379 31.18/31.25 c ---[341122]---> BDD-cost: 379 31.18/31.25 c ---[341121]---> BDD-cost: 379 31.18/31.26 c ---[341120]---> BDD-cost: 379 31.18/31.27 c ---[341119]---> BDD-cost: 379 31.18/31.28 c ---[341118]---> BDD-cost: 379 31.18/31.29 c ---[341117]---> BDD-cost: 379 31.28/31.30 c ---[341116]---> BDD-cost: 379 31.28/31.31 c ---[341115]---> BDD-cost: 379 31.28/31.32 c ---[341114]---> BDD-cost: 379 31.28/31.33 c ---[341113]---> BDD-cost: 379 31.28/31.34 c ---[341112]---> BDD-cost: 379 31.28/31.35 c ---[341111]---> BDD-cost: 379 31.28/31.36 c ---[341110]---> BDD-cost: 379 31.28/31.37 c ---[341109]---> BDD-cost: 379 31.28/31.38 c ---[341108]---> BDD-cost: 379 31.28/31.39 c ---[341107]---> BDD-cost: 379 31.38/31.40 c ---[341106]---> BDD-cost: 379 31.38/31.41 c ---[341105]---> BDD-cost: 379 31.38/31.42 c ---[341104]---> BDD-cost: 379 31.38/31.43 c ---[341103]---> BDD-cost: 379 31.38/31.44 c ---[341102]---> BDD-cost: 379 31.38/31.44 c ---[341101]---> BDD-cost: 379 31.38/31.45 c ---[341100]---> BDD-cost: 379 31.38/31.46 c ---[341099]---> BDD-cost: 379 31.38/31.47 c ---[341098]---> BDD-cost: 379 31.38/31.48 c ---[341097]---> BDD-cost: 379 31.38/31.49 c ---[341096]---> BDD-cost: 379 31.48/31.50 c ---[341095]---> BDD-cost: 379 31.48/31.51 c ---[341094]---> BDD-cost: 379 31.48/31.52 c ---[341093]---> BDD-cost: 379 31.48/31.53 c ---[341092]---> BDD-cost: 379 31.48/31.54 c ---[341091]---> BDD-cost: 379 31.48/31.55 c ---[341090]---> BDD-cost: 379 31.48/31.56 c ---[341089]---> BDD-cost: 379 31.48/31.57 c ---[341088]---> BDD-cost: 379 31.48/31.58 c ---[341087]---> BDD-cost: 379 31.48/31.59 c ---[341086]---> BDD-cost: 379 31.58/31.60 c ---[341085]---> BDD-cost: 379 31.58/31.61 c ---[341084]---> BDD-cost: 379 31.58/31.62 c ---[341083]---> BDD-cost: 379 31.58/31.63 c ---[341082]---> BDD-cost: 379 31.58/31.64 c ---[341081]---> BDD-cost: 379 31.58/31.64 c ---[341080]---> BDD-cost: 379 31.58/31.65 c ---[341079]---> BDD-cost: 379 31.58/31.66 c ---[341078]---> BDD-cost: 379 31.58/31.67 c ---[341077]---> BDD-cost: 379 31.58/31.68 c ---[341076]---> BDD-cost: 379 31.58/31.69 c ---[341075]---> BDD-cost: 379 31.68/31.70 c ---[341074]---> BDD-cost: 379 31.68/31.71 c ---[341073]---> BDD-cost: 379 31.68/31.72 c ---[341072]---> BDD-cost: 379 31.68/31.73 c ---[341071]---> BDD-cost: 379 31.68/31.74 c ---[341070]---> BDD-cost: 379 31.68/31.75 c ---[341069]---> BDD-cost: 379 31.68/31.76 c ---[341068]---> BDD-cost: 379 31.68/31.77 c ---[341067]---> BDD-cost: 379 31.68/31.78 c ---[341066]---> BDD-cost: 379 31.68/31.79 c ---[341065]---> BDD-cost: 379 31.68/31.80 c ---[341064]---> BDD-cost: 379 31.79/31.81 c ---[341063]---> BDD-cost: 379 31.79/31.82 c ---[341062]---> BDD-cost: 379 31.79/31.83 c ---[341061]---> BDD-cost: 379 31.79/31.83 c ---[341060]---> BDD-cost: 379 31.79/31.84 c ---[341059]---> BDD-cost: 379 31.79/31.85 c ---[341058]---> BDD-cost: 379 31.79/31.86 c ---[341057]---> BDD-cost: 379 31.79/31.87 c ---[341056]---> BDD-cost: 379 31.79/31.88 c ---[341055]---> BDD-cost: 379 31.79/31.89 c ---[341054]---> BDD-cost: 379 31.89/31.90 c ---[341053]---> BDD-cost: 379 31.89/31.91 c ---[341052]---> BDD-cost: 379 31.89/31.92 c ---[341051]---> BDD-cost: 379 31.89/31.93 c ---[341050]---> BDD-cost: 379 31.89/31.94 c ---[341049]---> BDD-cost: 379 31.89/31.95 c ---[341048]---> BDD-cost: 379 31.89/31.96 c ---[341047]---> BDD-cost: 379 31.89/31.97 c ---[341046]---> BDD-cost: 379 31.89/31.98 c ---[341045]---> BDD-cost: 379 31.89/31.99 c ---[341044]---> BDD-cost: 379 31.98/32.00 c ---[341043]---> BDD-cost: 379 31.98/32.01 c ---[341042]---> BDD-cost: 379 31.98/32.02 c ---[341041]---> BDD-cost: 379 31.98/32.02 c ---[341040]---> BDD-cost: 379 31.98/32.03 c ---[341039]---> BDD-cost: 379 31.98/32.04 c ---[341038]---> BDD-cost: 379 31.98/32.05 c ---[341037]---> BDD-cost: 379 31.98/32.06 c ---[341036]---> BDD-cost: 379 31.98/32.07 c ---[341035]---> BDD-cost: 379 31.98/32.08 c ---[341034]---> BDD-cost: 379 31.98/32.09 c ---[341033]---> BDD-cost: 379 32.08/32.10 c ---[341032]---> BDD-cost: 379 32.08/32.11 c ---[341031]---> BDD-cost: 379 32.08/32.12 c ---[341030]---> BDD-cost: 379 32.08/32.13 c ---[341029]---> BDD-cost: 379 32.08/32.14 c ---[341028]---> BDD-cost: 379 32.08/32.15 c ---[341027]---> BDD-cost: 379 32.08/32.16 c ---[341026]---> BDD-cost: 379 32.08/32.17 c ---[341025]---> BDD-cost: 379 32.08/32.18 c ---[341024]---> BDD-cost: 379 32.08/32.19 c ---[341023]---> BDD-cost: 379 32.08/32.19 c ---[341022]---> BDD-cost: 379 32.18/32.20 c ---[341021]---> BDD-cost: 379 32.18/32.21 c ---[341020]---> BDD-cost: 379 32.18/32.22 c ---[341019]---> BDD-cost: 379 32.18/32.23 c ---[341018]---> BDD-cost: 379 32.18/32.24 c ---[341017]---> BDD-cost: 379 32.18/32.25 c ---[341016]---> BDD-cost: 379 32.18/32.26 c ---[341015]---> BDD-cost: 379 32.18/32.27 c ---[341014]---> BDD-cost: 379 32.18/32.28 c ---[341013]---> BDD-cost: 379 32.18/32.29 c ---[341012]---> BDD-cost: 379 32.28/32.30 c ---[341011]---> BDD-cost: 379 32.28/32.31 c ---[341010]---> BDD-cost: 379 32.28/32.32 c ---[341009]---> BDD-cost: 379 32.28/32.33 c ---[341008]---> BDD-cost: 379 32.28/32.34 c ---[341007]---> BDD-cost: 379 32.28/32.35 c ---[341006]---> BDD-cost: 379 32.28/32.36 c ---[341005]---> BDD-cost: 379 32.28/32.37 c ---[341004]---> BDD-cost: 379 32.28/32.37 c ---[341003]---> BDD-cost: 379 32.28/32.38 c ---[341002]---> BDD-cost: 379 32.28/32.39 c ---[341001]---> BDD-cost: 379 32.38/32.40 c ---[341000]---> BDD-cost: 379 32.38/32.41 c ---[340999]---> BDD-cost: 379 32.38/32.42 c ---[340998]---> BDD-cost: 379 32.38/32.43 c ---[340997]---> BDD-cost: 379 32.38/32.44 c ---[340996]---> BDD-cost: 379 32.38/32.45 c ---[340995]---> BDD-cost: 379 32.38/32.46 c ---[340994]---> BDD-cost: 379 32.38/32.47 c ---[340993]---> BDD-cost: 379 32.38/32.48 c ---[340992]---> BDD-cost: 379 32.38/32.49 c ---[340991]---> BDD-cost: 379 32.48/32.50 c ---[340990]---> BDD-cost: 379 32.48/32.51 c ---[340989]---> BDD-cost: 379 32.48/32.52 c ---[340988]---> BDD-cost: 379 32.48/32.53 c ---[340987]---> BDD-cost: 379 32.48/32.54 c ---[340986]---> BDD-cost: 379 32.48/32.55 c ---[340985]---> BDD-cost: 379 32.48/32.56 c ---[340984]---> BDD-cost: 379 32.48/32.57 c ---[340983]---> BDD-cost: 379 32.48/32.57 c ---[340982]---> BDD-cost: 379 32.48/32.58 c ---[340981]---> BDD-cost: 379 32.48/32.59 c ---[340980]---> BDD-cost: 379 32.58/32.60 c ---[340979]---> BDD-cost: 379 32.58/32.61 c ---[340978]---> BDD-cost: 379 32.58/32.62 c ---[340977]---> BDD-cost: 379 32.58/32.63 c ---[340976]---> BDD-cost: 379 32.58/32.64 c ---[340975]---> BDD-cost: 379 32.58/32.65 c ---[340974]---> BDD-cost: 379 32.58/32.66 c ---[340973]---> BDD-cost: 379 32.58/32.67 c ---[340972]---> BDD-cost: 379 32.58/32.68 c ---[340971]---> BDD-cost: 379 32.58/32.69 c ---[340970]---> BDD-cost: 379 32.68/32.70 c ---[340969]---> BDD-cost: 379 32.68/32.71 c ---[340968]---> BDD-cost: 379 32.68/32.72 c ---[340967]---> BDD-cost: 379 32.68/32.73 c ---[340966]---> BDD-cost: 379 32.68/32.74 c ---[340965]---> BDD-cost: 379 32.68/32.75 c ---[340964]---> BDD-cost: 379 32.68/32.76 c ---[340963]---> BDD-cost: 379 32.68/32.76 c ---[340962]---> BDD-cost: 379 32.68/32.77 c ---[340961]---> BDD-cost: 379 32.68/32.78 c ---[340960]---> BDD-cost: 379 32.68/32.79 c ---[340959]---> BDD-cost: 379 32.78/32.80 c ---[340958]---> BDD-cost: 379 32.78/32.81 c ---[340957]---> BDD-cost: 379 32.78/32.82 c ---[340956]---> BDD-cost: 379 32.78/32.83 c ---[340955]---> BDD-cost: 379 32.78/32.84 c ---[340954]---> BDD-cost: 379 32.78/32.85 c ---[340953]---> BDD-cost: 379 32.78/32.86 c ---[340952]---> BDD-cost: 379 32.78/32.87 c ---[340951]---> BDD-cost: 379 32.78/32.88 c ---[340950]---> BDD-cost: 379 32.78/32.89 c ---[340949]---> BDD-cost: 379 32.78/32.90 c ---[340948]---> BDD-cost: 379 32.89/32.91 c ---[340947]---> BDD-cost: 379 32.89/32.92 c ---[340946]---> BDD-cost: 379 32.89/32.93 c ---[340945]---> BDD-cost: 379 32.89/32.94 c ---[340944]---> BDD-cost: 379 32.89/32.95 c ---[340943]---> BDD-cost: 379 32.89/32.96 c ---[340942]---> BDD-cost: 379 32.89/32.96 c ---[340941]---> BDD-cost: 379 32.89/32.97 c ---[340940]---> BDD-cost: 379 32.89/32.98 c ---[340939]---> BDD-cost: 379 32.89/32.99 c ---[340938]---> BDD-cost: 379 32.99/33.00 c ---[340937]---> BDD-cost: 379 32.99/33.01 c ---[340936]---> BDD-cost: 379 32.99/33.02 c ---[340935]---> BDD-cost: 379 32.99/33.03 c ---[340934]---> BDD-cost: 379 32.99/33.04 c ---[340933]---> BDD-cost: 379 32.99/33.05 c ---[340932]---> BDD-cost: 379 32.99/33.06 c ---[340931]---> BDD-cost: 379 32.99/33.07 c ---[340930]---> BDD-cost: 379 32.99/33.08 c ---[340929]---> BDD-cost: 379 32.99/33.09 c ---[340928]---> BDD-cost: 379 33.08/33.10 c ---[340927]---> BDD-cost: 379 33.08/33.11 c ---[340926]---> BDD-cost: 379 33.08/33.12 c ---[340925]---> BDD-cost: 379 33.08/33.13 c ---[340924]---> BDD-cost: 379 33.08/33.14 c ---[340923]---> BDD-cost: 379 33.08/33.15 c ---[340922]---> BDD-cost: 379 33.08/33.15 c ---[340921]---> BDD-cost: 379 33.08/33.16 c ---[340920]---> BDD-cost: 379 33.08/33.17 c ---[340919]---> BDD-cost: 379 33.08/33.18 c ---[340918]---> BDD-cost: 379 33.08/33.19 c ---[340917]---> BDD-cost: 379 33.18/33.20 c ---[340916]---> BDD-cost: 379 33.18/33.21 c ---[340915]---> BDD-cost: 379 33.18/33.22 c ---[340914]---> BDD-cost: 379 33.18/33.23 c ---[340913]---> BDD-cost: 379 33.18/33.24 c ---[340912]---> BDD-cost: 379 33.18/33.25 c ---[340911]---> BDD-cost: 379 33.18/33.26 c ---[340910]---> BDD-cost: 379 33.18/33.27 c ---[340909]---> BDD-cost: 379 33.18/33.28 c ---[340908]---> BDD-cost: 379 33.18/33.29 c ---[340907]---> BDD-cost: 379 33.28/33.30 c ---[340906]---> BDD-cost: 379 33.28/33.31 c ---[340905]---> BDD-cost: 379 33.28/33.32 c ---[340904]---> BDD-cost: 379 33.28/33.33 c ---[340903]---> BDD-cost: 379 33.28/33.34 c ---[340902]---> BDD-cost: 379 33.28/33.34 c ---[340901]---> BDD-cost: 379 33.28/33.35 c ---[340900]---> BDD-cost: 379 33.28/33.36 c ---[340899]---> BDD-cost: 379 33.28/33.37 c ---[340898]---> BDD-cost: 379 33.28/33.38 c ---[340897]---> BDD-cost: 379 33.28/33.39 c ---[340896]---> BDD-cost: 379 33.38/33.40 c ---[340895]---> BDD-cost: 379 33.38/33.41 c ---[340894]---> BDD-cost: 379 33.38/33.42 c ---[340893]---> BDD-cost: 379 33.38/33.43 c ---[340892]---> BDD-cost: 379 33.38/33.44 c ---[340891]---> BDD-cost: 379 33.38/33.45 c ---[340890]---> BDD-cost: 379 33.38/33.46 c ---[340889]---> BDD-cost: 379 33.38/33.47 c ---[340888]---> BDD-cost: 379 33.38/33.48 c ---[340887]---> BDD-cost: 379 33.38/33.49 c ---[340886]---> BDD-cost: 379 33.48/33.50 c ---[340885]---> BDD-cost: 379 33.48/33.51 c ---[340884]---> BDD-cost: 379 33.48/33.52 c ---[340883]---> BDD-cost: 379 33.48/33.52 c ---[340882]---> BDD-cost: 379 33.48/33.53 c ---[340881]---> BDD-cost: 379 33.48/33.54 c ---[340880]---> BDD-cost: 379 33.48/33.55 c ---[340879]---> BDD-cost: 379 33.48/33.56 c ---[340878]---> BDD-cost: 379 33.48/33.57 c ---[340877]---> BDD-cost: 379 33.48/33.58 c ---[340876]---> BDD-cost: 379 33.48/33.59 c ---[340875]---> BDD-cost: 379 33.58/33.60 c ---[340874]---> BDD-cost: 379 33.58/33.61 c ---[340873]---> BDD-cost: 379 33.58/33.62 c ---[340872]---> BDD-cost: 379 33.58/33.63 c ---[340871]---> BDD-cost: 379 33.58/33.64 c ---[340870]---> BDD-cost: 379 33.58/33.65 c ---[340869]---> BDD-cost: 379 33.58/33.66 c ---[340868]---> BDD-cost: 379 33.58/33.67 c ---[340867]---> BDD-cost: 379 33.58/33.68 c ---[340866]---> BDD-cost: 379 33.58/33.69 c ---[340865]---> BDD-cost: 379 33.58/33.69 c ---[340864]---> BDD-cost: 379 33.68/33.79 c ---[340863]---> BDD-cost: 379 33.78/33.80 c ---[340862]---> BDD-cost: 379 33.78/33.81 c ---[340861]---> BDD-cost: 379 33.78/33.82 c ---[340860]---> BDD-cost: 379 33.78/33.82 c ---[340859]---> BDD-cost: 379 33.78/33.83 c ---[340858]---> BDD-cost: 379 33.78/33.84 c ---[340857]---> BDD-cost: 379 33.78/33.85 c ---[340856]---> BDD-cost: 379 33.78/33.86 c ---[340855]---> BDD-cost: 379 33.78/33.87 c ---[340854]---> BDD-cost: 379 33.78/33.88 c ---[340853]---> BDD-cost: 379 33.78/33.89 c ---[340852]---> BDD-cost: 379 33.88/33.90 c ---[340851]---> BDD-cost: 379 33.88/33.91 c ---[340850]---> BDD-cost: 379 33.88/33.92 c ---[340849]---> BDD-cost: 379 33.88/33.93 c ---[340848]---> BDD-cost: 379 33.88/33.94 c ---[340847]---> BDD-cost: 379 33.88/33.95 c ---[340846]---> BDD-cost: 379 33.88/33.96 c ---[340845]---> BDD-cost: 379 33.88/33.97 c ---[340844]---> BDD-cost: 379 33.88/33.98 c ---[340843]---> BDD-cost: 379 33.88/33.99 c ---[340842]---> BDD-cost: 379 33.88/34.00 c ---[340841]---> BDD-cost: 379 33.98/34.00 c ---[340840]---> BDD-cost: 379 33.98/34.01 c ---[340839]---> BDD-cost: 379 33.98/34.02 c ---[340838]---> BDD-cost: 379 33.98/34.03 c ---[340837]---> BDD-cost: 379 33.98/34.04 c ---[340836]---> BDD-cost: 379 33.98/34.05 c ---[340835]---> BDD-cost: 379 33.98/34.06 c ---[340834]---> BDD-cost: 379 33.98/34.07 c ---[340833]---> BDD-cost: 379 33.98/34.08 c ---[340832]---> BDD-cost: 379 33.98/34.09 c ---[340831]---> BDD-cost: 379 33.98/34.10 c ---[340830]---> BDD-cost: 379 34.08/34.11 c ---[340829]---> BDD-cost: 379 34.08/34.12 c ---[340828]---> BDD-cost: 379 34.08/34.13 c ---[340827]---> BDD-cost: 379 34.08/34.14 c ---[340826]---> BDD-cost: 379 34.08/34.15 c ---[340825]---> BDD-cost: 379 34.08/34.16 c ---[340824]---> BDD-cost: 379 34.08/34.17 c ---[340823]---> BDD-cost: 379 34.08/34.17 c ---[340822]---> BDD-cost: 379 34.08/34.18 c ---[340821]---> BDD-cost: 379 34.08/34.19 c ---[340820]---> BDD-cost: 379 34.18/34.20 c ---[340819]---> BDD-cost: 379 34.18/34.21 c ---[340818]---> BDD-cost: 379 34.18/34.22 c ---[340817]---> BDD-cost: 379 34.18/34.23 c ---[340816]---> BDD-cost: 379 34.18/34.24 c ---[340815]---> BDD-cost: 379 34.18/34.25 c ---[340814]---> BDD-cost: 379 34.18/34.26 c ---[340813]---> BDD-cost: 379 34.18/34.27 c ---[340812]---> BDD-cost: 379 34.18/34.28 c ---[340811]---> BDD-cost: 379 34.18/34.29 c ---[340810]---> BDD-cost: 379 34.28/34.30 c ---[340809]---> BDD-cost: 379 34.28/34.31 c ---[340808]---> BDD-cost: 379 34.28/34.32 c ---[340807]---> BDD-cost: 379 34.28/34.33 c ---[340806]---> BDD-cost: 379 34.28/34.34 c ---[340805]---> BDD-cost: 379 34.28/34.35 c ---[340804]---> BDD-cost: 379 34.28/34.36 c ---[340803]---> BDD-cost: 379 34.28/34.36 c ---[340802]---> BDD-cost: 379 34.28/34.37 c ---[340801]---> BDD-cost: 379 34.28/34.38 c ---[340800]---> BDD-cost: 379 34.28/34.39 c ---[340799]---> BDD-cost: 379 34.38/34.40 c ---[340798]---> BDD-cost: 379 34.38/34.41 c ---[340797]---> BDD-cost: 379 34.38/34.42 c ---[340796]---> BDD-cost: 379 34.38/34.43 c ---[340795]---> BDD-cost: 379 34.38/34.44 c ---[340794]---> BDD-cost: 379 34.38/34.45 c ---[340793]---> BDD-cost: 379 34.38/34.46 c ---[340792]---> BDD-cost: 379 34.38/34.47 c ---[340791]---> BDD-cost: 379 34.38/34.48 c ---[340790]---> BDD-cost: 379 34.38/34.49 c ---[340789]---> BDD-cost: 379 34.48/34.50 c ---[340788]---> BDD-cost: 379 34.48/34.51 c ---[340787]---> BDD-cost: 379 34.48/34.52 c ---[340786]---> BDD-cost: 379 34.48/34.53 c ---[340785]---> BDD-cost: 379 34.48/34.54 c ---[340784]---> BDD-cost: 379 34.48/34.55 c ---[340783]---> BDD-cost: 379 34.48/34.56 c ---[340782]---> BDD-cost: 379 34.48/34.56 c ---[340781]---> BDD-cost: 379 34.48/34.57 c ---[340780]---> BDD-cost: 379 34.48/34.58 c ---[340779]---> BDD-cost: 379 34.48/34.59 c ---[340778]---> BDD-cost: 379 34.58/34.60 c ---[340777]---> BDD-cost: 379 34.58/34.61 c ---[340776]---> BDD-cost: 379 34.58/34.62 c ---[340775]---> BDD-cost: 379 34.58/34.63 c ---[340774]---> BDD-cost: 379 34.58/34.64 c ---[340773]---> BDD-cost: 379 34.58/34.65 c ---[340772]---> BDD-cost: 379 34.58/34.66 c ---[340771]---> BDD-cost: 379 34.58/34.67 c ---[340770]---> BDD-cost: 379 34.58/34.68 c ---[340769]---> BDD-cost: 379 34.58/34.69 c ---[340768]---> BDD-cost: 379 34.68/34.70 c ---[340767]---> BDD-cost: 379 34.68/34.71 c ---[340766]---> BDD-cost: 379 34.68/34.72 c ---[340765]---> BDD-cost: 379 34.68/34.73 c ---[340764]---> BDD-cost: 379 34.68/34.74 c ---[340763]---> BDD-cost: 379 34.68/34.75 c ---[340762]---> BDD-cost: 379 34.68/34.75 c ---[340761]---> BDD-cost: 379 34.68/34.76 c ---[340760]---> BDD-cost: 379 34.68/34.77 c ---[340759]---> BDD-cost: 379 34.68/34.78 c ---[340758]---> BDD-cost: 379 34.68/34.79 c ---[340757]---> BDD-cost: 379 34.78/34.80 c ---[340756]---> BDD-cost: 379 34.78/34.81 c ---[340755]---> BDD-cost: 379 34.78/34.82 c ---[340754]---> BDD-cost: 379 34.78/34.83 c ---[340753]---> BDD-cost: 379 34.78/34.84 c ---[340752]---> BDD-cost: 379 34.78/34.85 c ---[340751]---> BDD-cost: 379 34.78/34.86 c ---[340750]---> BDD-cost: 379 34.78/34.87 c ---[340749]---> BDD-cost: 379 34.78/34.88 c ---[340748]---> BDD-cost: 379 34.78/34.89 c ---[340747]---> BDD-cost: 379 34.88/34.90 c ---[340746]---> BDD-cost: 379 34.88/34.91 c ---[340745]---> BDD-cost: 379 34.88/34.92 c ---[340744]---> BDD-cost: 379 34.88/34.93 c ---[340743]---> BDD-cost: 379 34.88/34.93 c ---[340742]---> BDD-cost: 379 34.88/34.94 c ---[340741]---> BDD-cost: 379 34.88/34.95 c ---[340740]---> BDD-cost: 379 34.88/34.96 c ---[340739]---> BDD-cost: 379 34.88/34.97 c ---[340738]---> BDD-cost: 379 34.88/34.98 c ---[340737]---> BDD-cost: 379 34.88/34.99 c ---[340736]---> BDD-cost: 379 34.98/35.00 c ---[340735]---> BDD-cost: 379 34.98/35.01 c ---[340734]---> BDD-cost: 379 34.98/35.02 c ---[340733]---> BDD-cost: 379 34.98/35.03 c ---[340732]---> BDD-cost: 379 34.98/35.04 c ---[340731]---> BDD-cost: 379 34.98/35.05 c ---[340730]---> BDD-cost: 379 34.98/35.06 c ---[340729]---> BDD-cost: 379 34.98/35.07 c ---[340728]---> BDD-cost: 379 34.98/35.08 c ---[340727]---> BDD-cost: 379 34.98/35.09 c ---[340726]---> BDD-cost: 379 34.98/35.10 c ---[340725]---> BDD-cost: 379 35.08/35.11 c ---[340724]---> BDD-cost: 379 35.08/35.11 c ---[340723]---> BDD-cost: 379 35.08/35.12 c ---[340722]---> BDD-cost: 379 35.08/35.13 c ---[340721]---> BDD-cost: 379 35.08/35.14 c ---[340720]---> BDD-cost: 379 35.08/35.15 c ---[340719]---> BDD-cost: 379 35.08/35.16 c ---[340718]---> BDD-cost: 379 35.08/35.17 c ---[340717]---> BDD-cost: 379 35.08/35.18 c ---[340716]---> BDD-cost: 379 35.08/35.19 c ---[340715]---> BDD-cost: 379 35.08/35.20 c ---[340714]---> BDD-cost: 379 35.18/35.21 c ---[340713]---> BDD-cost: 379 35.18/35.22 c ---[340712]---> BDD-cost: 379 35.18/35.23 c ---[340711]---> BDD-cost: 379 35.18/35.24 c ---[340710]---> BDD-cost: 379 35.18/35.25 c ---[340709]---> BDD-cost: 379 35.18/35.26 c ---[340708]---> BDD-cost: 379 35.18/35.27 c ---[340707]---> BDD-cost: 379 35.18/35.28 c ---[340706]---> BDD-cost: 379 35.18/35.28 c ---[340705]---> BDD-cost: 379 35.18/35.29 c ---[340704]---> BDD-cost: 379 35.28/35.30 c ---[340703]---> BDD-cost: 379 35.28/35.31 c ---[340702]---> BDD-cost: 379 35.28/35.32 c ---[340701]---> BDD-cost: 379 35.28/35.33 c ---[340700]---> BDD-cost: 379 35.28/35.34 c ---[340699]---> BDD-cost: 379 35.28/35.35 c ---[340698]---> BDD-cost: 379 35.28/35.36 c ---[340697]---> BDD-cost: 379 35.28/35.37 c ---[340696]---> BDD-cost: 379 35.28/35.38 c ---[340695]---> BDD-cost: 379 35.28/35.39 c ---[340694]---> BDD-cost: 379 35.38/35.40 c ---[340693]---> BDD-cost: 379 35.38/35.41 c ---[340692]---> BDD-cost: 379 35.38/35.42 c ---[340691]---> BDD-cost: 379 35.38/35.43 c ---[340690]---> BDD-cost: 379 35.38/35.44 c ---[340689]---> BDD-cost: 379 35.38/35.45 c ---[340688]---> BDD-cost: 379 35.38/35.46 c ---[340687]---> BDD-cost: 379 35.38/35.47 c ---[340686]---> BDD-cost: 379 35.38/35.47 c ---[340685]---> BDD-cost: 379 35.38/35.48 c ---[340684]---> BDD-cost: 379 35.38/35.49 c ---[340683]---> BDD-cost: 379 35.48/35.50 c ---[340682]---> BDD-cost: 379 35.48/35.51 c ---[340681]---> BDD-cost: 379 35.48/35.52 c ---[340680]---> BDD-cost: 379 35.48/35.53 c ---[340679]---> BDD-cost: 379 35.48/35.54 c ---[340678]---> BDD-cost: 379 35.48/35.55 c ---[340677]---> BDD-cost: 379 35.48/35.56 c ---[340676]---> BDD-cost: 379 35.48/35.57 c ---[340675]---> BDD-cost: 379 35.48/35.58 c ---[340674]---> BDD-cost: 379 35.48/35.59 c ---[340673]---> BDD-cost: 379 35.58/35.60 c ---[340672]---> BDD-cost: 379 35.58/35.61 c ---[340671]---> BDD-cost: 379 35.58/35.62 c ---[340670]---> BDD-cost: 379 35.58/35.63 c ---[340669]---> BDD-cost: 379 35.58/35.64 c ---[340668]---> BDD-cost: 379 35.58/35.65 c ---[340667]---> BDD-cost: 379 35.58/35.66 c ---[340666]---> BDD-cost: 379 35.58/35.67 c ---[340665]---> BDD-cost: 379 35.58/35.67 c ---[340664]---> BDD-cost: 379 35.58/35.68 c ---[340663]---> BDD-cost: 379 35.58/35.69 c ---[340662]---> BDD-cost: 379 35.68/35.70 c ---[340661]---> BDD-cost: 379 35.68/35.71 c ---[340660]---> BDD-cost: 379 35.68/35.72 c ---[340659]---> BDD-cost: 379 35.68/35.73 c ---[340658]---> BDD-cost: 379 35.68/35.74 c ---[340657]---> BDD-cost: 379 35.68/35.75 c ---[340656]---> BDD-cost: 379 35.68/35.76 c ---[340655]---> BDD-cost: 379 35.68/35.77 c ---[340654]---> BDD-cost: 379 35.68/35.78 c ---[340653]---> BDD-cost: 379 35.68/35.79 c ---[340652]---> BDD-cost: 379 35.78/35.80 c ---[340651]---> BDD-cost: 379 35.78/35.81 c ---[340650]---> BDD-cost: 379 35.78/35.82 c ---[340649]---> BDD-cost: 379 35.78/35.83 c ---[340648]---> BDD-cost: 379 35.78/35.84 c ---[340647]---> BDD-cost: 379 35.78/35.85 c ---[340646]---> BDD-cost: 379 35.78/35.86 c ---[340645]---> BDD-cost: 379 35.78/35.86 c ---[340644]---> BDD-cost: 379 35.78/35.87 c ---[340643]---> BDD-cost: 379 35.78/35.88 c ---[340642]---> BDD-cost: 379 35.78/35.89 c ---[340641]---> BDD-cost: 379 35.88/35.90 c ---[340640]---> BDD-cost: 379 35.88/35.91 c ---[340639]---> BDD-cost: 379 35.88/35.92 c ---[340638]---> BDD-cost: 379 35.88/35.93 c ---[340637]---> BDD-cost: 379 35.88/35.94 c ---[340636]---> BDD-cost: 379 35.88/35.95 c ---[340635]---> BDD-cost: 379 35.88/35.96 c ---[340634]---> BDD-cost: 379 35.88/35.97 c ---[340633]---> BDD-cost: 379 35.88/35.98 c ---[340632]---> BDD-cost: 379 35.88/35.99 c ---[340631]---> BDD-cost: 379 35.98/36.00 c ---[340630]---> BDD-cost: 379 35.98/36.01 c ---[340629]---> BDD-cost: 379 35.98/36.02 c ---[340628]---> BDD-cost: 379 35.98/36.03 c ---[340627]---> BDD-cost: 379 35.98/36.04 c ---[340626]---> BDD-cost: 379 35.98/36.05 c ---[340625]---> BDD-cost: 379 35.98/36.05 c ---[340624]---> BDD-cost: 379 35.98/36.06 c ---[340623]---> BDD-cost: 379 35.98/36.07 c ---[340622]---> BDD-cost: 379 35.98/36.08 c ---[340621]---> BDD-cost: 379 35.98/36.09 c ---[340620]---> BDD-cost: 379 36.08/36.10 c ---[340619]---> BDD-cost: 379 36.08/36.11 c ---[340618]---> BDD-cost: 379 36.08/36.12 c ---[340617]---> BDD-cost: 379 36.08/36.13 c ---[340616]---> BDD-cost: 379 36.08/36.14 c ---[340615]---> BDD-cost: 379 36.08/36.15 c ---[340614]---> BDD-cost: 379 36.08/36.16 c ---[340613]---> BDD-cost: 379 36.08/36.17 c ---[340612]---> BDD-cost: 379 36.08/36.18 c ---[340611]---> BDD-cost: 379 36.08/36.19 c ---[340610]---> BDD-cost: 379 36.08/36.20 c ---[340609]---> BDD-cost: 379 36.18/36.21 c ---[340608]---> BDD-cost: 379 36.18/36.22 c ---[340607]---> BDD-cost: 379 36.18/36.23 c ---[340606]---> BDD-cost: 379 36.18/36.24 c ---[340605]---> BDD-cost: 379 36.18/36.25 c ---[340604]---> BDD-cost: 379 36.18/36.25 c ---[340603]---> BDD-cost: 379 36.18/36.26 c ---[340602]---> BDD-cost: 379 36.18/36.27 c ---[340601]---> BDD-cost: 379 36.18/36.28 c ---[340600]---> BDD-cost: 379 36.18/36.29 c ---[340599]---> BDD-cost: 379 36.28/36.30 c ---[340598]---> BDD-cost: 379 36.28/36.31 c ---[340597]---> BDD-cost: 379 36.28/36.32 c ---[340596]---> BDD-cost: 379 36.28/36.33 c ---[340595]---> BDD-cost: 379 36.28/36.34 c ---[340594]---> BDD-cost: 379 36.28/36.35 c ---[340593]---> BDD-cost: 379 36.28/36.36 c ---[340592]---> BDD-cost: 379 36.28/36.37 c ---[340591]---> BDD-cost: 379 36.28/36.38 c ---[340590]---> BDD-cost: 379 36.28/36.39 c ---[340589]---> BDD-cost: 379 36.38/36.40 c ---[340588]---> BDD-cost: 379 36.38/36.41 c ---[340587]---> BDD-cost: 379 36.38/36.42 c ---[340586]---> BDD-cost: 379 36.38/36.43 c ---[340585]---> BDD-cost: 379 36.38/36.44 c ---[340584]---> BDD-cost: 379 36.38/36.44 c ---[340583]---> BDD-cost: 379 36.38/36.45 c ---[340582]---> BDD-cost: 379 36.38/36.46 c ---[340581]---> BDD-cost: 379 36.38/36.47 c ---[340580]---> BDD-cost: 379 36.38/36.48 c ---[340579]---> BDD-cost: 379 36.38/36.49 c ---[340578]---> BDD-cost: 379 36.48/36.50 c ---[340577]---> BDD-cost: 379 36.48/36.51 c ---[340576]---> BDD-cost: 379 36.48/36.52 c ---[340575]---> BDD-cost: 379 36.48/36.53 c ---[340574]---> BDD-cost: 379 36.48/36.54 c ---[340573]---> BDD-cost: 379 36.48/36.55 c ---[340572]---> BDD-cost: 379 36.48/36.56 c ---[340571]---> BDD-cost: 379 36.48/36.57 c ---[340570]---> BDD-cost: 379 36.48/36.58 c ---[340569]---> BDD-cost: 379 36.48/36.59 c ---[340568]---> BDD-cost: 379 36.58/36.60 c ---[340567]---> BDD-cost: 379 36.58/36.61 c ---[340566]---> BDD-cost: 379 36.58/36.62 c ---[340565]---> BDD-cost: 379 36.58/36.63 c ---[340564]---> BDD-cost: 379 36.58/36.63 c ---[340563]---> BDD-cost: 379 36.58/36.64 c ---[340562]---> BDD-cost: 379 36.58/36.65 c ---[340561]---> BDD-cost: 379 36.58/36.66 c ---[340560]---> BDD-cost: 379 36.58/36.67 c ---[340559]---> BDD-cost: 379 36.58/36.68 c ---[340558]---> BDD-cost: 379 36.58/36.69 c ---[340557]---> BDD-cost: 379 36.68/36.70 c ---[340556]---> BDD-cost: 379 36.68/36.71 c ---[340555]---> BDD-cost: 379 36.68/36.72 c ---[340554]---> BDD-cost: 379 36.68/36.73 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-3722340-1338565228/watcher-3722340-1338565228 -o /tmp/evaluation-result-3722340-1338565228/solver-3722340-1338565228 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3722340-1338565228.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.21 2.03 2.01 3/177 20860 /proc/meminfo: memFree=31664180/32873844 swapFree=7116/7116 [pid=20860] ppid=20858 vsize=2216 CPUtime=0 cores=0,2,4,6 /proc/20860/stat : 20860 (minisat+) R 20858 20860 19055 0 -1 4202496 368 0 0 0 0 0 0 0 20 0 1 0 322649880 2269184 325 33554432000 134512640 135395479 4289985296 4289983948 135010894 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/20860/statm: 554 325 67 216 0 336 0 [startup+0.0360399 s] /proc/loadavg: 2.21 2.03 2.01 3/177 20860 /proc/meminfo: memFree=31664180/32873844 swapFree=7116/7116 [pid=20860] ppid=20858 vsize=6824 CPUtime=0.03 cores=0,2,4,6 /proc/20860/stat : 20860 (minisat+) R 20858 20860 19055 0 -1 4202496 1459 0 0 0 3 0 0 0 20 0 1 0 322649880 6987776 1361 33554432000 134512640 135395479 4289985296 4289984264 135031278 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/20860/statm: 1706 1362 67 216 0 1488 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 6824 [startup+0.100247 s] /proc/loadavg: 2.21 2.03 2.01 3/177 20860 /proc/meminfo: memFree=31664180/32873844 swapFree=7116/7116 [pid=20860] ppid=20858 vsize=17720 CPUtime=0.09 cores=0,2,4,6 /proc/20860/stat : 20860 (minisat+) R 20858 20860 19055 0 -1 4202496 3977 0 0 0 9 0 0 0 20 0 1 0 322649880 18145280 3631 33554432000 134512640 135395479 4289985296 4289984216 135031278 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/20860/statm: 4430 3632 67 216 0 4212 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17720 [startup+0.300244 s] /proc/loadavg: 2.21 2.03 2.01 3/177 20860 /proc/meminfo: memFree=31664180/32873844 swapFree=7116/7116 [pid=20860] ppid=20858 vsize=46120 CPUtime=0.29 cores=0,2,4,6 /proc/20860/stat : 20860 (minisat+) R 20858 20860 19055 0 -1 4202496 11050 0 0 0 27 2 0 0 20 0 1 0 322649880 47226880 10375 33554432000 134512640 135395479 4289985296 4289984028 135007481 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/20860/statm: 11530 10375 67 216 0 11312 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 46120 [startup+0.700246 s] /proc/loadavg: 2.21 2.03 2.01 3/177 20860 /proc/meminfo: memFree=31664180/32873844 swapFree=7116/7116 [pid=20860] ppid=20858 vsize=76732 CPUtime=0.69 cores=0,2,4,6 /proc/20860/stat : 20860 (minisat+) R 20858 20860 19055 0 -1 4202496 17410 0 0 0 66 3 0 0 20 0 1 0 322649880 78573568 16431 33554432000 134512640 135395479 4289985296 4289983904 134625097 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/20860/statm: 19183 16431 74 216 0 18965 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 76732 [startup+1.50028 s] /proc/loadavg: 2.21 2.03 2.01 3/178 20861 /proc/meminfo: memFree=31595620/32873844 swapFree=7116/7116 [pid=20860] ppid=20858 vsize=84420 CPUtime=1.49 cores=0,2,4,6 /proc/20860/stat : 20860 (minisat+) R 20858 20860 19055 0 -1 4202496 19792 0 0 0 145 4 0 0 20 0 1 0 322649880 86446080 18813 33554432000 134512640 135395479 4289985296 4289983824 134838334 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/20860/statm: 21105 18813 74 216 0 20887 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 84420 [startup+3.10022 s] /proc/loadavg: 2.19 2.03 2.01 3/178 20861 /proc/meminfo: memFree=31581792/32873844 swapFree=7116/7116 [pid=20860] ppid=20858 vsize=99712 CPUtime=3.09 cores=0,2,4,6 /proc/20860/stat : 20860 (minisat+) R 20858 20860 19055 0 -1 4202496 23731 0 0 0 304 5 0 0 20 0 1 0 322649880 102105088 23263 33554432000 134512640 135395479 4289985296 4289982668 135005342 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/20860/statm: 24928 23263 74 216 0 24710 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 99712 [startup+6.30022 s] /proc/loadavg: 2.19 2.03 2.01 3/178 20861 /proc/meminfo: memFree=31540756/32873844 swapFree=7116/7116 [pid=20860] ppid=20858 vsize=146684 CPUtime=6.29 cores=0,2,4,6 /proc/20860/stat : 20860 (minisat+) R 20858 20860 19055 0 -1 4202496 35415 0 0 0 620 9 0 0 20 0 1 0 322649880 150204416 34947 33554432000 134512640 135395479 4289985296 4289983904 134625347 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/20860/statm: 36671 34947 74 216 0 36453 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 146684 [startup+12.7002 s] /proc/loadavg: 2.16 2.03 2.01 3/178 20861 /proc/meminfo: memFree=31333564/32873844 swapFree=7116/7116 [pid=20860] ppid=20858 vsize=340012 CPUtime=12.68 cores=0,2,4,6 /proc/20860/stat : 20860 (minisat+) R 20858 20860 19055 0 -1 4202496 83522 0 0 0 1249 19 0 0 20 0 1 0 322649880 348172288 82795 33554432000 134512640 135395479 4289985296 4289980012 135005820 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/20860/statm: 85003 82795 74 216 0 84785 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 340012 [startup+25.5002 s] /proc/loadavg: 2.14 2.03 2.01 3/178 20861 /proc/meminfo: memFree=31381352/32873844 swapFree=7116/7116 [pid=20860] ppid=20858 vsize=294408 CPUtime=25.48 cores=0,2,4,6 /proc/20860/stat : 20860 (minisat+) R 20858 20860 19055 0 -1 4202496 88007 0 0 0 2509 39 0 0 20 0 1 0 322649880 301473792 71563 33554432000 134512640 135395479 4289985296 4289971484 135005330 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/20860/statm: 73602 71563 88 216 0 73384 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 294408 Solver just ended. Dumping a history of the last processes samples [startup+38.3002 s] /proc/loadavg: 2.11 2.03 2.01 3/179 20862 /proc/meminfo: memFree=31324716/32873844 swapFree=7116/7116 [pid=20860] ppid=20858 vsize=339464 CPUtime=37.34 cores=0,2,4,6 /proc/20860/stat : 20860 (minisat+) S 20858 20860 19055 0 -1 4204032 98513 0 0 0 3684 50 0 0 20 0 1 0 322649880 347611136 82407 33554432000 134512640 135395479 4289985296 4277411840 134649657 0 0 4096 16386 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/20860/statm: 84866 82407 89 216 0 84648 0 Current children cumulated CPU time (s) 37.34 Current children cumulated vsize (KiB) 339464 [startup+41.5002 s] /proc/loadavg: 2.11 2.03 2.01 2/179 20862 /proc/meminfo: memFree=30682504/32873844 swapFree=7116/7116 [pid=20860] ppid=20858 vsize=339464 CPUtime=37.44 cores=0,2,4,6 /proc/20860/stat : 20860 (minisat+) S 20858 20860 19055 0 -1 4204032 98513 0 0 0 3684 60 0 0 20 0 1 0 322649880 347611136 82407 33554432000 134512640 135395479 4289985296 4277411840 134649657 0 0 4096 16386 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/20860/statm: 84866 82407 89 216 0 84648 0 Current children cumulated CPU time (s) 37.44 Current children cumulated vsize (KiB) 339464 [startup+44.7002 s] /proc/loadavg: 2.18 2.04 2.01 2/179 20862 /proc/meminfo: memFree=30687216/32873844 swapFree=7116/7116 [pid=20860] ppid=20858 vsize=339464 CPUtime=37.44 cores=0,2,4,6 /proc/20860/stat : 20860 (minisat+) S 20858 20860 19055 0 -1 4204032 98513 0 0 0 3684 60 0 0 20 0 1 0 322649880 347611136 82407 33554432000 134512640 135395479 4289985296 4277411840 134649657 0 0 4096 16386 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/20860/statm: 84866 82407 89 216 0 84648 0 Current children cumulated CPU time (s) 37.44 Current children cumulated vsize (KiB) 339464 [startup+45.5002 s] /proc/loadavg: 2.18 2.04 2.01 2/179 20862 /proc/meminfo: memFree=30686472/32873844 swapFree=7116/7116 [pid=20860] ppid=20858 vsize=339464 CPUtime=37.44 cores=0,2,4,6 /proc/20860/stat : 20860 (minisat+) S 20858 20860 19055 0 -1 4204032 98513 0 0 0 3684 60 0 0 20 0 1 0 322649880 347611136 82407 33554432000 134512640 135395479 4289985296 4277411840 134649657 0 0 4096 16386 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/20860/statm: 84866 82407 89 216 0 84648 0 Current children cumulated CPU time (s) 37.44 Current children cumulated vsize (KiB) 339464 [startup+46.3003 s] /proc/loadavg: 2.18 2.04 2.01 2/179 20862 /proc/meminfo: memFree=30687216/32873844 swapFree=7116/7116 [pid=20860] ppid=20858 vsize=339464 CPUtime=37.44 cores=0,2,4,6 /proc/20860/stat : 20860 (minisat+) S 20858 20860 19055 0 -1 4204032 98513 0 0 0 3684 60 0 0 20 0 1 0 322649880 347611136 82407 33554432000 134512640 135395479 4289985296 4277411840 134649657 0 0 4096 16386 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/20860/statm: 84866 82407 89 216 0 84648 0 Current children cumulated CPU time (s) 37.44 Current children cumulated vsize (KiB) 339464 [startup+46.5002 s] /proc/loadavg: 2.18 2.04 2.01 2/179 20862 /proc/meminfo: memFree=30687216/32873844 swapFree=7116/7116 [pid=20860] ppid=20858 vsize=339464 CPUtime=37.44 cores=0,2,4,6 /proc/20860/stat : 20860 (minisat+) S 20858 20860 19055 0 -1 4204032 98513 0 0 0 3684 60 0 0 20 0 1 0 322649880 347611136 82407 33554432000 134512640 135395479 4289985296 4277411840 134649657 0 0 4096 16386 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/20860/statm: 84866 82407 89 216 0 84648 0 Current children cumulated CPU time (s) 37.44 Current children cumulated vsize (KiB) 339464 [startup+46.6003 s] /proc/loadavg: 2.18 2.04 2.01 2/179 20862 /proc/meminfo: memFree=30687216/32873844 swapFree=7116/7116 [pid=20860] ppid=20858 vsize=339464 CPUtime=37.44 cores=0,2,4,6 /proc/20860/stat : 20860 (minisat+) S 20858 20860 19055 0 -1 4204032 98513 0 0 0 3684 60 0 0 20 0 1 0 322649880 347611136 82407 33554432000 134512640 135395479 4289985296 4277411840 134649657 0 0 4096 16386 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/20860/statm: 84866 82407 89 216 0 84648 0 Current children cumulated CPU time (s) 37.44 Current children cumulated vsize (KiB) 339464 Child ended because it received signal 11 (SIGSEGV) Child dumped core Real time (s): 46.6563 CPU time (s): 37.4613 CPU user time (s): 36.8414 CPU system time (s): 0.619905 CPU usage (%): 80.2921 Max. virtual memory (cumulated for all children) (KiB): 340012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 36.8414 system time used= 0.619905 maximum resident set size= 331180 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 98513 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= 76334 involuntary context switches= 79 runsolver used 0.148977 second user time and 0.910861 second system time The end
Begin job on node111 at 2012-06-01 17:40:29 IDJOB=3722340 IDBENCH=92274 IDSOLVER=2306 FILE ID=node111/3722340-1338565228 RUNJOBID= node111-1338552573-19071 PBS_JOBID= 14635873 Free space on /tmp= 67364 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_luby_0null10mast_rapportOE1.0_TMAX300_K192_cod1.opb COMMAND LINE= HOME/minisat+ BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3722340-1338565228/watcher-3722340-1338565228 -o /tmp/evaluation-result-3722340-1338565228/solver-3722340-1338565228 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3722340-1338565228.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= eb990cef1e91caace8f4ff76229f500a RANDOM SEED=635808884 node111.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.152 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.30 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.152 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.152 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.152 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.152 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 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.152 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.152 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31664732 kB Buffers: 98744 kB Cached: 263044 kB SwapCached: 1296 kB Active: 173000 kB Inactive: 261720 kB Active(anon): 74440 kB Inactive(anon): 1056 kB Active(file): 98560 kB Inactive(file): 260664 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67100040 kB Dirty: 34412 kB Writeback: 44 kB AnonPages: 81232 kB Mapped: 9428 kB Shmem: 0 kB Slab: 634868 kB SReclaimable: 76356 kB SUnreclaim: 558512 kB KernelStack: 1448 kB PageTables: 4252 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 195052 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 65536 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3722340-1338565228.opb Free space on /tmp at the end= 67056 MiB End job on node111 at 2012-06-01 17:41:16