Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: minisat+ 1.14 | Signal | 35.3256 | 43.9074 |
Name | /OPT-BIGINT-LIN/sroussel/NG/ normalized-NG.dot_luby_10null10mast_rapportOE1.0_TMAX60_K192_cod1.opb |
MD5SUM | d635e042f70a99b1424475d8ae4cefac |
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 | -2 |
Best CPU time to get the best result obtained on this benchmark | 1800.33 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 399113 |
Total number of constraints | 400980 |
Number of constraints which are clauses | 399002 |
Number of constraints which are cardinality constraints (but not clauses) | 1977 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 397089 |
Number of terms in the objective function | 306555 |
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 | 36054688 |
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 | 36054688 |
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... 13.69/13.77 c Converting 400980 PB-constraints to clauses... 13.79/13.86 c -- Unit propagations: (none) 13.79/13.88 c -- Detecting intervals from adjacent constraints: ################################################################################################################################################################################################## 13.88/13.91 c -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 14.30/14.37 c ---[400978]---> BDD-cost: 5 14.30/14.37 c ---[400976]---> BDD-cost: 7 14.30/14.37 c ---[342719]---> BDD-cost: 602 14.30/14.39 c ---[342717]---> BDD-cost: 607 14.39/14.41 c ---[342715]---> BDD-cost: 607 14.39/14.44 c ---[342713]---> BDD-cost: 607 14.39/14.46 c ---[342711]---> BDD-cost: 607 14.39/14.48 c ---[342709]---> BDD-cost: 607 14.49/14.50 c ---[342707]---> BDD-cost: 607 14.49/14.52 c ---[342705]---> BDD-cost: 607 14.49/14.55 c ---[342703]---> BDD-cost: 607 14.49/14.57 c ---[342701]---> BDD-cost: 607 14.49/14.59 c ---[342699]---> BDD-cost: 607 14.59/14.61 c ---[342697]---> BDD-cost: 607 14.59/14.63 c ---[342695]---> BDD-cost: 607 14.59/14.65 c ---[342693]---> BDD-cost: 607 14.59/14.68 c ---[342691]---> BDD-cost: 607 14.69/14.70 c ---[342689]---> BDD-cost: 607 14.69/14.72 c ---[342687]---> BDD-cost: 607 14.69/14.74 c ---[342685]---> BDD-cost: 607 14.69/14.76 c ---[342683]---> BDD-cost: 607 14.69/14.79 c ---[342681]---> BDD-cost: 607 14.79/14.81 c ---[342679]---> BDD-cost: 607 14.79/14.83 c ---[342677]---> BDD-cost: 607 14.79/14.85 c ---[342675]---> BDD-cost: 607 14.79/14.87 c ---[342673]---> BDD-cost: 607 14.79/14.89 c ---[342671]---> BDD-cost: 607 14.89/14.92 c ---[342669]---> BDD-cost: 607 14.89/14.94 c ---[342667]---> BDD-cost: 607 14.89/14.96 c ---[342665]---> BDD-cost: 607 14.89/14.98 c ---[342663]---> BDD-cost: 607 14.99/15.00 c ---[342661]---> BDD-cost: 607 14.99/15.03 c ---[342659]---> BDD-cost: 607 14.99/15.05 c ---[342657]---> BDD-cost: 607 14.99/15.07 c ---[342655]---> BDD-cost: 607 14.99/15.09 c ---[342653]---> BDD-cost: 607 15.09/15.11 c ---[342651]---> BDD-cost: 607 15.09/15.14 c ---[342649]---> BDD-cost: 607 15.09/15.16 c ---[342647]---> BDD-cost: 607 15.09/15.18 c ---[342645]---> BDD-cost: 607 15.19/15.20 c ---[342643]---> BDD-cost: 607 15.19/15.22 c ---[342641]---> BDD-cost: 607 15.19/15.24 c ---[342639]---> BDD-cost: 607 15.19/15.27 c ---[342637]---> BDD-cost: 607 15.19/15.29 c ---[342635]---> BDD-cost: 607 15.29/15.31 c ---[342633]---> BDD-cost: 607 15.29/15.33 c ---[342631]---> BDD-cost: 607 15.29/15.35 c ---[342629]---> BDD-cost: 607 15.29/15.38 c ---[342627]---> BDD-cost: 607 15.29/15.40 c ---[342625]---> BDD-cost: 607 15.39/15.42 c ---[342623]---> BDD-cost: 607 15.39/15.44 c ---[342621]---> BDD-cost: 607 15.39/15.46 c ---[342619]---> BDD-cost: 607 15.39/15.48 c ---[342617]---> BDD-cost: 607 15.49/15.51 c ---[342615]---> BDD-cost: 607 15.49/15.53 c ---[342613]---> BDD-cost: 607 15.49/15.55 c ---[342611]---> BDD-cost: 607 15.49/15.57 c ---[342609]---> BDD-cost: 607 15.49/15.59 c ---[342607]---> BDD-cost: 607 15.59/15.62 c ---[342605]---> BDD-cost: 607 15.59/15.64 c ---[342603]---> BDD-cost: 607 15.59/15.66 c ---[342601]---> BDD-cost: 607 15.59/15.68 c ---[342599]---> BDD-cost: 607 15.69/15.70 c ---[342597]---> BDD-cost: 607 15.69/15.72 c ---[342595]---> BDD-cost: 607 15.69/15.75 c ---[342593]---> BDD-cost: 607 15.69/15.77 c ---[342591]---> BDD-cost: 607 15.69/15.79 c ---[342589]---> BDD-cost: 607 15.79/15.81 c ---[342587]---> BDD-cost: 607 15.79/15.83 c ---[342585]---> BDD-cost: 607 15.79/15.86 c ---[342583]---> BDD-cost: 607 15.79/15.88 c ---[342581]---> BDD-cost: 607 15.89/15.90 c ---[342579]---> BDD-cost: 607 15.89/15.92 c ---[342577]---> BDD-cost: 607 15.89/15.94 c ---[342575]---> BDD-cost: 607 15.89/15.97 c ---[342573]---> BDD-cost: 607 15.89/15.99 c ---[342571]---> BDD-cost: 607 15.99/16.01 c ---[342569]---> BDD-cost: 607 15.99/16.03 c ---[342567]---> BDD-cost: 607 15.99/16.05 c ---[342565]---> BDD-cost: 607 15.99/16.08 c ---[342563]---> BDD-cost: 607 16.09/16.10 c ---[342561]---> BDD-cost: 607 16.09/16.12 c ---[342559]---> BDD-cost: 607 16.09/16.14 c ---[342557]---> BDD-cost: 607 16.09/16.16 c ---[342555]---> BDD-cost: 607 16.09/16.18 c ---[342553]---> BDD-cost: 607 16.19/16.21 c ---[342551]---> BDD-cost: 607 16.19/16.23 c ---[342549]---> BDD-cost: 607 16.19/16.25 c ---[342547]---> BDD-cost: 607 16.19/16.27 c ---[342545]---> BDD-cost: 607 16.19/16.29 c ---[342543]---> BDD-cost: 607 16.29/16.32 c ---[342541]---> BDD-cost: 607 16.29/16.34 c ---[342539]---> BDD-cost: 607 16.29/16.36 c ---[342537]---> BDD-cost: 607 16.29/16.38 c ---[342535]---> BDD-cost: 607 16.39/16.40 c ---[342533]---> BDD-cost: 607 16.39/16.42 c ---[342531]---> BDD-cost: 607 16.39/16.45 c ---[342529]---> BDD-cost: 607 16.39/16.47 c ---[342527]---> BDD-cost: 607 16.39/16.49 c ---[342525]---> BDD-cost: 607 16.49/16.51 c ---[342523]---> BDD-cost: 607 16.49/16.53 c ---[342521]---> BDD-cost: 607 16.49/16.56 c ---[342519]---> BDD-cost: 607 16.49/16.58 c ---[342517]---> BDD-cost: 607 16.58/16.60 c ---[342515]---> BDD-cost: 607 16.58/16.62 c ---[342513]---> BDD-cost: 607 16.58/16.64 c ---[342511]---> BDD-cost: 607 16.58/16.66 c ---[342509]---> BDD-cost: 607 16.58/16.69 c ---[342507]---> BDD-cost: 607 16.68/16.71 c ---[342505]---> BDD-cost: 607 16.68/16.73 c ---[342503]---> BDD-cost: 607 16.68/16.75 c ---[342501]---> BDD-cost: 607 16.68/16.77 c ---[342499]---> BDD-cost: 607 16.78/16.80 c ---[342497]---> BDD-cost: 607 16.78/16.82 c ---[342495]---> BDD-cost: 607 16.78/16.84 c ---[342493]---> BDD-cost: 607 16.78/16.86 c ---[342491]---> BDD-cost: 607 16.78/16.88 c ---[342489]---> BDD-cost: 607 16.88/16.90 c ---[342487]---> BDD-cost: 607 16.88/16.93 c ---[342485]---> BDD-cost: 607 16.88/16.95 c ---[342483]---> BDD-cost: 607 16.88/16.97 c ---[342481]---> BDD-cost: 607 16.88/16.99 c ---[342479]---> BDD-cost: 607 16.98/17.01 c ---[342477]---> BDD-cost: 607 16.98/17.04 c ---[342475]---> BDD-cost: 607 16.98/17.06 c ---[342473]---> BDD-cost: 607 16.98/17.08 c ---[342471]---> BDD-cost: 607 17.08/17.10 c ---[342469]---> BDD-cost: 607 17.08/17.12 c ---[342467]---> BDD-cost: 607 17.08/17.14 c ---[342465]---> BDD-cost: 607 17.08/17.17 c ---[342463]---> BDD-cost: 607 17.08/17.19 c ---[342461]---> BDD-cost: 607 17.18/17.21 c ---[342459]---> BDD-cost: 607 17.18/17.23 c ---[342457]---> BDD-cost: 607 17.18/17.25 c ---[342455]---> BDD-cost: 607 17.18/17.28 c ---[342453]---> BDD-cost: 607 17.28/17.30 c ---[342451]---> BDD-cost: 607 17.28/17.32 c ---[342449]---> BDD-cost: 607 17.28/17.34 c ---[342447]---> BDD-cost: 607 17.28/17.36 c ---[342445]---> BDD-cost: 607 17.28/17.38 c ---[342443]---> BDD-cost: 607 17.38/17.41 c ---[342441]---> BDD-cost: 607 17.38/17.43 c ---[342439]---> BDD-cost: 607 17.38/17.46 c ---[342437]---> BDD-cost: 607 17.38/17.48 c ---[342435]---> BDD-cost: 607 17.38/17.50 c ---[342433]---> BDD-cost: 607 17.49/17.52 c ---[342431]---> BDD-cost: 607 17.49/17.54 c ---[342429]---> BDD-cost: 607 17.49/17.56 c ---[342427]---> BDD-cost: 607 17.49/17.59 c ---[342425]---> BDD-cost: 607 17.59/17.61 c ---[342423]---> BDD-cost: 607 17.59/17.63 c ---[342421]---> BDD-cost: 607 17.59/17.65 c ---[342419]---> BDD-cost: 607 17.59/17.67 c ---[342417]---> BDD-cost: 607 17.59/17.70 c ---[342415]---> BDD-cost: 607 17.68/17.74 c ---[342413]---> BDD-cost: 607 17.68/17.74 c ---[342411]---> BDD-cost: 607 17.68/17.76 c ---[342409]---> BDD-cost: 607 17.68/17.78 c ---[342407]---> BDD-cost: 607 17.78/17.80 c ---[342405]---> BDD-cost: 607 17.78/17.83 c ---[342403]---> BDD-cost: 607 17.78/17.85 c ---[342401]---> BDD-cost: 607 17.78/17.87 c ---[342399]---> BDD-cost: 607 17.78/17.89 c ---[342397]---> BDD-cost: 607 17.88/17.91 c ---[342395]---> BDD-cost: 607 17.88/17.94 c ---[342393]---> BDD-cost: 607 17.88/17.96 c ---[342391]---> BDD-cost: 607 17.88/17.98 c ---[342389]---> BDD-cost: 607 17.98/18.00 c ---[342387]---> BDD-cost: 607 17.98/18.02 c ---[342385]---> BDD-cost: 607 17.98/18.04 c ---[342383]---> BDD-cost: 607 17.98/18.07 c ---[342381]---> BDD-cost: 607 17.98/18.09 c ---[342379]---> BDD-cost: 607 18.08/18.11 c ---[342377]---> BDD-cost: 607 18.08/18.13 c ---[342375]---> BDD-cost: 607 18.08/18.15 c ---[342373]---> BDD-cost: 607 18.08/18.18 c ---[342371]---> BDD-cost: 607 18.18/18.20 c ---[342369]---> BDD-cost: 607 18.18/18.22 c ---[342367]---> BDD-cost: 607 18.18/18.24 c ---[342365]---> BDD-cost: 607 18.18/18.26 c ---[342363]---> BDD-cost: 607 18.18/18.29 c ---[342361]---> BDD-cost: 607 18.28/18.31 c ---[342359]---> BDD-cost: 607 18.28/18.33 c ---[342357]---> BDD-cost: 607 18.28/18.35 c ---[342355]---> BDD-cost: 607 18.28/18.37 c ---[342353]---> BDD-cost: 607 18.28/18.39 c ---[342351]---> BDD-cost: 607 18.38/18.42 c ---[342349]---> BDD-cost: 607 18.38/18.44 c ---[342347]---> BDD-cost: 607 18.38/18.46 c ---[342345]---> BDD-cost: 607 18.38/18.48 c ---[342343]---> BDD-cost: 607 18.48/18.50 c ---[342341]---> BDD-cost: 607 18.48/18.53 c ---[342339]---> BDD-cost: 607 18.48/18.55 c ---[342337]---> BDD-cost: 600 18.48/18.57 c ---[342336]---> BDD-cost: 379 18.48/18.58 c ---[342335]---> BDD-cost: 379 18.48/18.59 c ---[342334]---> BDD-cost: 379 18.48/18.60 c ---[342333]---> BDD-cost: 379 18.59/18.60 c ---[342332]---> BDD-cost: 379 18.59/18.61 c ---[342331]---> BDD-cost: 379 18.59/18.62 c ---[342330]---> BDD-cost: 379 18.59/18.63 c ---[342329]---> BDD-cost: 379 18.59/18.64 c ---[342328]---> BDD-cost: 379 18.59/18.65 c ---[342327]---> BDD-cost: 379 18.59/18.66 c ---[342326]---> BDD-cost: 379 18.59/18.67 c ---[342325]---> BDD-cost: 379 18.59/18.68 c ---[342324]---> BDD-cost: 379 18.59/18.68 c ---[342323]---> BDD-cost: 379 18.59/18.69 c ---[342322]---> BDD-cost: 379 18.69/18.70 c ---[342321]---> BDD-cost: 379 18.69/18.71 c ---[342320]---> BDD-cost: 379 18.69/18.72 c ---[342319]---> BDD-cost: 379 18.69/18.73 c ---[342318]---> BDD-cost: 379 18.69/18.74 c ---[342317]---> BDD-cost: 379 18.69/18.75 c ---[342316]---> BDD-cost: 379 18.69/18.76 c ---[342315]---> BDD-cost: 379 18.69/18.76 c ---[342314]---> BDD-cost: 379 18.69/18.77 c ---[342313]---> BDD-cost: 379 18.69/18.78 c ---[342312]---> BDD-cost: 379 18.69/18.79 c ---[342311]---> BDD-cost: 379 18.78/18.80 c ---[342310]---> BDD-cost: 379 18.78/18.81 c ---[342309]---> BDD-cost: 379 18.78/18.82 c ---[342308]---> BDD-cost: 379 18.78/18.83 c ---[342307]---> BDD-cost: 379 18.78/18.84 c ---[342306]---> BDD-cost: 379 18.78/18.84 c ---[342305]---> BDD-cost: 379 18.78/18.85 c ---[342304]---> BDD-cost: 379 18.78/18.86 c ---[342303]---> BDD-cost: 379 18.78/18.87 c ---[342302]---> BDD-cost: 379 18.78/18.88 c ---[342301]---> BDD-cost: 379 18.78/18.89 c ---[342300]---> BDD-cost: 379 18.88/18.90 c ---[342299]---> BDD-cost: 379 18.88/18.91 c ---[342298]---> BDD-cost: 379 18.88/18.92 c ---[342297]---> BDD-cost: 379 18.88/18.92 c ---[342296]---> BDD-cost: 379 18.88/18.93 c ---[342295]---> BDD-cost: 379 18.88/18.94 c ---[342294]---> BDD-cost: 379 18.88/18.95 c ---[342293]---> BDD-cost: 379 18.88/18.96 c ---[342292]---> BDD-cost: 379 18.88/18.97 c ---[342291]---> BDD-cost: 379 18.88/18.98 c ---[342290]---> BDD-cost: 379 18.88/18.99 c ---[342289]---> BDD-cost: 379 18.98/19.00 c ---[342288]---> BDD-cost: 379 18.98/19.00 c ---[342287]---> BDD-cost: 379 18.98/19.01 c ---[342286]---> BDD-cost: 379 18.98/19.02 c ---[342285]---> BDD-cost: 379 18.98/19.03 c ---[342284]---> BDD-cost: 379 18.98/19.04 c ---[342283]---> BDD-cost: 379 18.98/19.05 c ---[342282]---> BDD-cost: 379 18.98/19.06 c ---[342281]---> BDD-cost: 379 18.98/19.07 c ---[342280]---> BDD-cost: 379 18.98/19.08 c ---[342279]---> BDD-cost: 379 18.98/19.09 c ---[342278]---> BDD-cost: 379 18.98/19.09 c ---[342277]---> BDD-cost: 379 19.08/19.10 c ---[342276]---> BDD-cost: 379 19.08/19.11 c ---[342275]---> BDD-cost: 379 19.08/19.12 c ---[342274]---> BDD-cost: 379 19.08/19.13 c ---[342273]---> BDD-cost: 379 19.08/19.14 c ---[342272]---> BDD-cost: 379 19.08/19.15 c ---[342271]---> BDD-cost: 379 19.08/19.16 c ---[342270]---> BDD-cost: 379 19.08/19.17 c ---[342269]---> BDD-cost: 379 19.08/19.17 c ---[342268]---> BDD-cost: 379 19.08/19.18 c ---[342267]---> BDD-cost: 379 19.08/19.19 c ---[342266]---> BDD-cost: 379 19.18/19.20 c ---[342265]---> BDD-cost: 379 19.18/19.21 c ---[342264]---> BDD-cost: 379 19.18/19.22 c ---[342263]---> BDD-cost: 379 19.18/19.23 c ---[342262]---> BDD-cost: 379 19.18/19.24 c ---[342261]---> BDD-cost: 379 19.18/19.25 c ---[342260]---> BDD-cost: 379 19.18/19.25 c ---[342259]---> BDD-cost: 379 19.18/19.26 c ---[342258]---> BDD-cost: 379 19.18/19.27 c ---[342257]---> BDD-cost: 379 19.18/19.28 c ---[342256]---> BDD-cost: 379 19.18/19.29 c ---[342255]---> BDD-cost: 379 19.28/19.30 c ---[342254]---> BDD-cost: 379 19.28/19.31 c ---[342253]---> BDD-cost: 379 19.28/19.32 c ---[342252]---> BDD-cost: 379 19.28/19.33 c ---[342251]---> BDD-cost: 379 19.28/19.33 c ---[342250]---> BDD-cost: 379 19.28/19.34 c ---[342249]---> BDD-cost: 379 19.28/19.35 c ---[342248]---> BDD-cost: 379 19.28/19.36 c ---[342247]---> BDD-cost: 379 19.28/19.37 c ---[342246]---> BDD-cost: 379 19.28/19.38 c ---[342245]---> BDD-cost: 379 19.28/19.39 c ---[342244]---> BDD-cost: 379 19.38/19.40 c ---[342243]---> BDD-cost: 379 19.38/19.41 c ---[342242]---> BDD-cost: 379 19.38/19.41 c ---[342241]---> BDD-cost: 379 19.38/19.42 c ---[342240]---> BDD-cost: 379 19.38/19.43 c ---[342239]---> BDD-cost: 379 19.38/19.44 c ---[342238]---> BDD-cost: 379 19.38/19.45 c ---[342237]---> BDD-cost: 379 19.38/19.46 c ---[342236]---> BDD-cost: 379 19.38/19.47 c ---[342235]---> BDD-cost: 379 19.38/19.48 c ---[342234]---> BDD-cost: 379 19.38/19.49 c ---[342233]---> BDD-cost: 379 19.38/19.49 c ---[342232]---> BDD-cost: 379 19.48/19.50 c ---[342231]---> BDD-cost: 379 19.48/19.51 c ---[342230]---> BDD-cost: 379 19.48/19.52 c ---[342229]---> BDD-cost: 379 19.48/19.53 c ---[342228]---> BDD-cost: 379 19.48/19.54 c ---[342227]---> BDD-cost: 379 19.48/19.55 c ---[342226]---> BDD-cost: 379 19.48/19.56 c ---[342225]---> BDD-cost: 379 19.48/19.57 c ---[342224]---> BDD-cost: 379 19.48/19.58 c ---[342223]---> BDD-cost: 379 19.48/19.58 c ---[342222]---> BDD-cost: 379 19.48/19.59 c ---[342221]---> BDD-cost: 379 19.58/19.60 c ---[342220]---> BDD-cost: 379 19.58/19.61 c ---[342219]---> BDD-cost: 379 19.58/19.62 c ---[342218]---> BDD-cost: 379 19.58/19.63 c ---[342217]---> BDD-cost: 379 19.58/19.64 c ---[342216]---> BDD-cost: 379 19.58/19.65 c ---[342215]---> BDD-cost: 379 19.58/19.66 c ---[342214]---> BDD-cost: 379 19.58/19.66 c ---[342213]---> BDD-cost: 379 19.58/19.67 c ---[342212]---> BDD-cost: 379 19.58/19.68 c ---[342211]---> BDD-cost: 379 19.58/19.69 c ---[342210]---> BDD-cost: 379 19.58/19.70 c ---[342209]---> BDD-cost: 379 19.69/19.71 c ---[342208]---> BDD-cost: 379 19.69/19.72 c ---[342207]---> BDD-cost: 379 19.69/19.73 c ---[342206]---> BDD-cost: 379 19.69/19.74 c ---[342205]---> BDD-cost: 379 19.69/19.74 c ---[342204]---> BDD-cost: 379 19.69/19.75 c ---[342203]---> BDD-cost: 379 19.69/19.76 c ---[342202]---> BDD-cost: 379 19.69/19.77 c ---[342201]---> BDD-cost: 379 19.69/19.78 c ---[342200]---> BDD-cost: 379 19.69/19.79 c ---[342199]---> BDD-cost: 379 19.79/19.81 c ---[342198]---> BDD-cost: 379 19.79/19.82 c ---[342197]---> BDD-cost: 379 19.79/19.83 c ---[342196]---> BDD-cost: 379 19.79/19.84 c ---[342195]---> BDD-cost: 379 19.79/19.84 c ---[342194]---> BDD-cost: 379 19.79/19.85 c ---[342193]---> BDD-cost: 379 19.79/19.86 c ---[342192]---> BDD-cost: 379 19.79/19.87 c ---[342191]---> BDD-cost: 379 19.79/19.88 c ---[342190]---> BDD-cost: 379 19.79/19.89 c ---[342189]---> BDD-cost: 379 19.88/19.90 c ---[342188]---> BDD-cost: 379 19.88/19.91 c ---[342187]---> BDD-cost: 379 19.88/19.92 c ---[342186]---> BDD-cost: 379 19.88/19.92 c ---[342185]---> BDD-cost: 379 19.88/19.93 c ---[342184]---> BDD-cost: 379 19.88/19.94 c ---[342183]---> BDD-cost: 379 19.88/19.95 c ---[342182]---> BDD-cost: 379 19.88/19.96 c ---[342181]---> BDD-cost: 379 19.88/19.97 c ---[342180]---> BDD-cost: 379 19.88/19.98 c ---[342179]---> BDD-cost: 379 19.88/19.99 c ---[342178]---> BDD-cost: 379 19.98/20.00 c ---[342177]---> BDD-cost: 379 19.98/20.00 c ---[342176]---> BDD-cost: 379 19.98/20.01 c ---[342175]---> BDD-cost: 379 19.98/20.02 c ---[342174]---> BDD-cost: 379 19.98/20.03 c ---[342173]---> BDD-cost: 379 19.98/20.04 c ---[342172]---> BDD-cost: 379 19.98/20.05 c ---[342171]---> BDD-cost: 379 19.98/20.06 c ---[342170]---> BDD-cost: 379 19.98/20.07 c ---[342169]---> BDD-cost: 379 19.98/20.08 c ---[342168]---> BDD-cost: 379 19.98/20.08 c ---[342167]---> BDD-cost: 379 19.98/20.09 c ---[342166]---> BDD-cost: 379 20.08/20.10 c ---[342165]---> BDD-cost: 379 20.08/20.11 c ---[342164]---> BDD-cost: 379 20.08/20.12 c ---[342163]---> BDD-cost: 379 20.08/20.13 c ---[342162]---> BDD-cost: 379 20.08/20.14 c ---[342161]---> BDD-cost: 379 20.08/20.15 c ---[342160]---> BDD-cost: 379 20.08/20.16 c ---[342159]---> BDD-cost: 379 20.08/20.16 c ---[342158]---> BDD-cost: 379 20.08/20.17 c ---[342157]---> BDD-cost: 379 20.08/20.18 c ---[342156]---> BDD-cost: 379 20.08/20.19 c ---[342155]---> BDD-cost: 379 20.18/20.20 c ---[342154]---> BDD-cost: 379 20.18/20.21 c ---[342153]---> BDD-cost: 379 20.18/20.22 c ---[342152]---> BDD-cost: 379 20.18/20.23 c ---[342151]---> BDD-cost: 379 20.18/20.24 c ---[342150]---> BDD-cost: 379 20.18/20.25 c ---[342149]---> BDD-cost: 379 20.18/20.25 c ---[342148]---> BDD-cost: 379 20.18/20.26 c ---[342147]---> BDD-cost: 379 20.18/20.27 c ---[342146]---> BDD-cost: 379 20.18/20.28 c ---[342145]---> BDD-cost: 379 20.18/20.29 c ---[342144]---> BDD-cost: 379 20.28/20.30 c ---[342143]---> BDD-cost: 379 20.28/20.31 c ---[342142]---> BDD-cost: 379 20.28/20.32 c ---[342141]---> BDD-cost: 379 20.28/20.33 c ---[342140]---> BDD-cost: 379 20.28/20.33 c ---[342139]---> BDD-cost: 379 20.28/20.34 c ---[342138]---> BDD-cost: 379 20.28/20.35 c ---[342137]---> BDD-cost: 379 20.28/20.36 c ---[342136]---> BDD-cost: 379 20.28/20.37 c ---[342135]---> BDD-cost: 379 20.28/20.38 c ---[342134]---> BDD-cost: 379 20.28/20.39 c ---[342133]---> BDD-cost: 379 20.38/20.40 c ---[342132]---> BDD-cost: 379 20.38/20.41 c ---[342131]---> BDD-cost: 379 20.38/20.41 c ---[342130]---> BDD-cost: 379 20.38/20.42 c ---[342129]---> BDD-cost: 379 20.38/20.43 c ---[342128]---> BDD-cost: 379 20.38/20.44 c ---[342127]---> BDD-cost: 379 20.38/20.45 c ---[342126]---> BDD-cost: 379 20.38/20.46 c ---[342125]---> BDD-cost: 379 20.38/20.47 c ---[342124]---> BDD-cost: 379 20.38/20.48 c ---[342123]---> BDD-cost: 379 20.38/20.49 c ---[342122]---> BDD-cost: 379 20.38/20.49 c ---[342121]---> BDD-cost: 379 20.48/20.50 c ---[342120]---> BDD-cost: 379 20.48/20.51 c ---[342119]---> BDD-cost: 379 20.48/20.52 c ---[342118]---> BDD-cost: 379 20.48/20.53 c ---[342117]---> BDD-cost: 379 20.48/20.54 c ---[342116]---> BDD-cost: 379 20.48/20.55 c ---[342115]---> BDD-cost: 379 20.48/20.56 c ---[342114]---> BDD-cost: 379 20.48/20.57 c ---[342113]---> BDD-cost: 379 20.48/20.57 c ---[342112]---> BDD-cost: 379 20.48/20.58 c ---[342111]---> BDD-cost: 379 20.48/20.59 c ---[342110]---> BDD-cost: 379 20.58/20.60 c ---[342109]---> BDD-cost: 379 20.58/20.61 c ---[342108]---> BDD-cost: 379 20.58/20.62 c ---[342107]---> BDD-cost: 379 20.58/20.63 c ---[342106]---> BDD-cost: 379 20.58/20.64 c ---[342105]---> BDD-cost: 379 20.58/20.65 c ---[342104]---> BDD-cost: 379 20.58/20.65 c ---[342103]---> BDD-cost: 379 20.58/20.66 c ---[342102]---> BDD-cost: 379 20.58/20.67 c ---[342101]---> BDD-cost: 379 20.58/20.68 c ---[342100]---> BDD-cost: 379 20.58/20.69 c ---[342099]---> BDD-cost: 379 20.68/20.70 c ---[342098]---> BDD-cost: 379 20.68/20.71 c ---[342097]---> BDD-cost: 379 20.68/20.72 c ---[342096]---> BDD-cost: 379 20.68/20.73 c ---[342095]---> BDD-cost: 379 20.68/20.74 c ---[342094]---> BDD-cost: 379 20.68/20.74 c ---[342093]---> BDD-cost: 379 20.68/20.75 c ---[342092]---> BDD-cost: 379 20.68/20.76 c ---[342091]---> BDD-cost: 379 20.68/20.77 c ---[342090]---> BDD-cost: 379 20.68/20.78 c ---[342089]---> BDD-cost: 379 20.68/20.79 c ---[342088]---> BDD-cost: 379 20.68/20.80 c ---[342087]---> BDD-cost: 379 20.79/20.81 c ---[342086]---> BDD-cost: 379 20.79/20.82 c ---[342085]---> BDD-cost: 379 20.79/20.82 c ---[342084]---> BDD-cost: 379 20.79/20.83 c ---[342083]---> BDD-cost: 379 20.79/20.84 c ---[342082]---> BDD-cost: 379 20.79/20.85 c ---[342081]---> BDD-cost: 379 20.79/20.86 c ---[342080]---> BDD-cost: 379 20.79/20.87 c ---[342079]---> BDD-cost: 379 20.79/20.88 c ---[342078]---> BDD-cost: 379 20.79/20.89 c ---[342077]---> BDD-cost: 379 20.79/20.90 c ---[342076]---> BDD-cost: 379 20.89/20.90 c ---[342075]---> BDD-cost: 379 20.89/20.91 c ---[342074]---> BDD-cost: 379 20.89/20.92 c ---[342073]---> BDD-cost: 379 20.89/20.93 c ---[342072]---> BDD-cost: 379 20.89/20.94 c ---[342071]---> BDD-cost: 379 20.89/20.95 c ---[342070]---> BDD-cost: 379 20.89/20.96 c ---[342069]---> BDD-cost: 379 20.89/20.97 c ---[342068]---> BDD-cost: 379 20.89/20.98 c ---[342067]---> BDD-cost: 379 20.89/20.98 c ---[342066]---> BDD-cost: 379 20.89/20.99 c ---[342065]---> BDD-cost: 379 20.98/21.00 c ---[342064]---> BDD-cost: 379 20.98/21.01 c ---[342063]---> BDD-cost: 379 20.98/21.02 c ---[342062]---> BDD-cost: 379 20.98/21.03 c ---[342061]---> BDD-cost: 379 20.98/21.04 c ---[342060]---> BDD-cost: 379 20.98/21.05 c ---[342059]---> BDD-cost: 379 20.98/21.06 c ---[342058]---> BDD-cost: 379 20.98/21.06 c ---[342057]---> BDD-cost: 379 20.98/21.07 c ---[342056]---> BDD-cost: 379 20.98/21.08 c ---[342055]---> BDD-cost: 379 20.98/21.09 c ---[342054]---> BDD-cost: 379 21.08/21.10 c ---[342053]---> BDD-cost: 379 21.08/21.11 c ---[342052]---> BDD-cost: 379 21.08/21.12 c ---[342051]---> BDD-cost: 379 21.08/21.13 c ---[342050]---> BDD-cost: 379 21.08/21.14 c ---[342049]---> BDD-cost: 379 21.08/21.15 c ---[342048]---> BDD-cost: 379 21.08/21.15 c ---[342047]---> BDD-cost: 379 21.08/21.16 c ---[342046]---> BDD-cost: 379 21.08/21.17 c ---[342045]---> BDD-cost: 379 21.08/21.18 c ---[342044]---> BDD-cost: 379 21.08/21.19 c ---[342043]---> BDD-cost: 379 21.18/21.20 c ---[342042]---> BDD-cost: 379 21.18/21.21 c ---[342041]---> BDD-cost: 379 21.18/21.22 c ---[342040]---> BDD-cost: 379 21.18/21.23 c ---[342039]---> BDD-cost: 379 21.18/21.23 c ---[342038]---> BDD-cost: 379 21.18/21.24 c ---[342037]---> BDD-cost: 379 21.18/21.25 c ---[342036]---> BDD-cost: 379 21.18/21.26 c ---[342035]---> BDD-cost: 379 21.18/21.27 c ---[342034]---> BDD-cost: 379 21.18/21.28 c ---[342033]---> BDD-cost: 379 21.18/21.29 c ---[342032]---> BDD-cost: 379 21.28/21.30 c ---[342031]---> BDD-cost: 379 21.28/21.31 c ---[342030]---> BDD-cost: 379 21.28/21.31 c ---[342029]---> BDD-cost: 379 21.28/21.32 c ---[342028]---> BDD-cost: 379 21.28/21.33 c ---[342027]---> BDD-cost: 379 21.28/21.34 c ---[342026]---> BDD-cost: 379 21.28/21.35 c ---[342025]---> BDD-cost: 379 21.28/21.36 c ---[342024]---> BDD-cost: 379 21.28/21.37 c ---[342023]---> BDD-cost: 379 21.28/21.38 c ---[342022]---> BDD-cost: 379 21.28/21.39 c ---[342021]---> BDD-cost: 379 21.28/21.39 c ---[342020]---> BDD-cost: 379 21.38/21.40 c ---[342019]---> BDD-cost: 379 21.38/21.41 c ---[342018]---> BDD-cost: 379 21.38/21.42 c ---[342017]---> BDD-cost: 379 21.38/21.43 c ---[342016]---> BDD-cost: 379 21.38/21.44 c ---[342015]---> BDD-cost: 379 21.38/21.45 c ---[342014]---> BDD-cost: 379 21.38/21.46 c ---[342013]---> BDD-cost: 379 21.38/21.47 c ---[342012]---> BDD-cost: 379 21.38/21.48 c ---[342011]---> BDD-cost: 379 21.38/21.48 c ---[342010]---> BDD-cost: 379 21.38/21.49 c ---[342009]---> BDD-cost: 379 21.48/21.50 c ---[342008]---> BDD-cost: 379 21.48/21.51 c ---[342007]---> BDD-cost: 379 21.48/21.52 c ---[342006]---> BDD-cost: 379 21.48/21.53 c ---[342005]---> BDD-cost: 379 21.48/21.54 c ---[342004]---> BDD-cost: 379 21.48/21.55 c ---[342003]---> BDD-cost: 379 21.48/21.56 c ---[342002]---> BDD-cost: 379 21.48/21.56 c ---[342001]---> BDD-cost: 379 21.48/21.57 c ---[342000]---> BDD-cost: 379 21.48/21.58 c ---[341999]---> BDD-cost: 379 21.48/21.59 c ---[341998]---> BDD-cost: 379 21.58/21.60 c ---[341997]---> BDD-cost: 379 21.58/21.61 c ---[341996]---> BDD-cost: 379 21.58/21.62 c ---[341995]---> BDD-cost: 379 21.58/21.63 c ---[341994]---> BDD-cost: 379 21.58/21.64 c ---[341993]---> BDD-cost: 379 21.58/21.64 c ---[341992]---> BDD-cost: 379 21.58/21.65 c ---[341991]---> BDD-cost: 379 21.58/21.66 c ---[341990]---> BDD-cost: 379 21.58/21.67 c ---[341989]---> BDD-cost: 379 21.58/21.68 c ---[341988]---> BDD-cost: 379 21.58/21.69 c ---[341987]---> BDD-cost: 379 21.68/21.70 c ---[341986]---> BDD-cost: 379 21.68/21.71 c ---[341985]---> BDD-cost: 379 21.68/21.72 c ---[341984]---> BDD-cost: 379 21.68/21.72 c ---[341983]---> BDD-cost: 379 21.68/21.73 c ---[341982]---> BDD-cost: 379 21.68/21.74 c ---[341981]---> BDD-cost: 379 21.68/21.75 c ---[341980]---> BDD-cost: 379 21.68/21.76 c ---[341979]---> BDD-cost: 379 21.68/21.77 c ---[341978]---> BDD-cost: 379 21.68/21.78 c ---[341977]---> BDD-cost: 379 21.68/21.79 c ---[341976]---> BDD-cost: 379 21.78/21.80 c ---[341975]---> BDD-cost: 379 21.78/21.80 c ---[341974]---> BDD-cost: 379 21.78/21.81 c ---[341973]---> BDD-cost: 379 21.78/21.82 c ---[341972]---> BDD-cost: 379 21.78/21.83 c ---[341971]---> BDD-cost: 379 21.78/21.84 c ---[341970]---> BDD-cost: 379 21.78/21.85 c ---[341969]---> BDD-cost: 379 21.78/21.86 c ---[341968]---> BDD-cost: 379 21.78/21.87 c ---[341967]---> BDD-cost: 379 21.78/21.88 c ---[341966]---> BDD-cost: 379 21.78/21.88 c ---[341965]---> BDD-cost: 379 21.78/21.89 c ---[341964]---> BDD-cost: 379 21.90/21.90 c ---[341963]---> BDD-cost: 379 21.90/21.91 c ---[341962]---> BDD-cost: 379 21.90/21.92 c ---[341961]---> BDD-cost: 379 21.90/21.93 c ---[341960]---> BDD-cost: 379 21.90/21.94 c ---[341959]---> BDD-cost: 379 21.90/21.95 c ---[341958]---> BDD-cost: 379 21.90/21.96 c ---[341957]---> BDD-cost: 379 21.90/21.97 c ---[341956]---> BDD-cost: 379 21.90/21.97 c ---[341955]---> BDD-cost: 379 21.90/21.98 c ---[341954]---> BDD-cost: 379 21.90/21.99 c ---[341953]---> BDD-cost: 379 21.90/22.00 c ---[341952]---> BDD-cost: 379 22.00/22.01 c ---[341951]---> BDD-cost: 379 22.00/22.02 c ---[341950]---> BDD-cost: 379 22.00/22.03 c ---[341949]---> BDD-cost: 379 22.00/22.04 c ---[341948]---> BDD-cost: 379 22.00/22.05 c ---[341947]---> BDD-cost: 379 22.00/22.05 c ---[341946]---> BDD-cost: 379 22.00/22.06 c ---[341945]---> BDD-cost: 379 22.00/22.07 c ---[341944]---> BDD-cost: 379 22.00/22.08 c ---[341943]---> BDD-cost: 379 22.00/22.09 c ---[341942]---> BDD-cost: 379 22.09/22.10 c ---[341941]---> BDD-cost: 379 22.09/22.11 c ---[341940]---> BDD-cost: 379 22.09/22.12 c ---[341939]---> BDD-cost: 379 22.09/22.13 c ---[341938]---> BDD-cost: 379 22.09/22.13 c ---[341937]---> BDD-cost: 379 22.09/22.14 c ---[341936]---> BDD-cost: 379 22.09/22.15 c ---[341935]---> BDD-cost: 379 22.09/22.16 c ---[341934]---> BDD-cost: 379 22.09/22.17 c ---[341933]---> BDD-cost: 379 22.09/22.18 c ---[341932]---> BDD-cost: 379 22.09/22.19 c ---[341931]---> BDD-cost: 379 22.19/22.20 c ---[341930]---> BDD-cost: 379 22.19/22.21 c ---[341929]---> BDD-cost: 379 22.19/22.21 c ---[341928]---> BDD-cost: 379 22.19/22.22 c ---[341927]---> BDD-cost: 379 22.19/22.23 c ---[341926]---> BDD-cost: 379 22.19/22.24 c ---[341925]---> BDD-cost: 379 22.19/22.25 c ---[341924]---> BDD-cost: 379 22.19/22.26 c ---[341923]---> BDD-cost: 379 22.19/22.27 c ---[341922]---> BDD-cost: 379 22.19/22.28 c ---[341921]---> BDD-cost: 379 22.19/22.29 c ---[341920]---> BDD-cost: 379 22.19/22.30 c ---[341919]---> BDD-cost: 379 22.29/22.30 c ---[341918]---> BDD-cost: 379 22.29/22.31 c ---[341917]---> BDD-cost: 379 22.29/22.32 c ---[341916]---> BDD-cost: 379 22.29/22.33 c ---[341915]---> BDD-cost: 379 22.29/22.34 c ---[341914]---> BDD-cost: 379 22.29/22.35 c ---[341913]---> BDD-cost: 379 22.29/22.36 c ---[341912]---> BDD-cost: 379 22.29/22.37 c ---[341911]---> BDD-cost: 379 22.29/22.38 c ---[341910]---> BDD-cost: 379 22.29/22.38 c ---[341909]---> BDD-cost: 379 22.29/22.39 c ---[341908]---> BDD-cost: 379 22.39/22.40 c ---[341907]---> BDD-cost: 379 22.39/22.41 c ---[341906]---> BDD-cost: 379 22.39/22.42 c ---[341905]---> BDD-cost: 379 22.39/22.43 c ---[341904]---> BDD-cost: 379 22.39/22.44 c ---[341903]---> BDD-cost: 379 22.39/22.45 c ---[341902]---> BDD-cost: 379 22.39/22.46 c ---[341901]---> BDD-cost: 379 22.39/22.46 c ---[341900]---> BDD-cost: 379 22.39/22.47 c ---[341899]---> BDD-cost: 379 22.39/22.48 c ---[341898]---> BDD-cost: 379 22.39/22.49 c ---[341897]---> BDD-cost: 379 22.49/22.50 c ---[341896]---> BDD-cost: 379 22.49/22.51 c ---[341895]---> BDD-cost: 379 22.49/22.52 c ---[341894]---> BDD-cost: 379 22.49/22.53 c ---[341893]---> BDD-cost: 379 22.49/22.54 c ---[341892]---> BDD-cost: 379 22.49/22.55 c ---[341891]---> BDD-cost: 379 22.49/22.55 c ---[341890]---> BDD-cost: 379 22.49/22.56 c ---[341889]---> BDD-cost: 379 22.49/22.57 c ---[341888]---> BDD-cost: 379 22.49/22.58 c ---[341887]---> BDD-cost: 379 22.49/22.59 c ---[341886]---> BDD-cost: 379 22.59/22.60 c ---[341885]---> BDD-cost: 379 22.59/22.61 c ---[341884]---> BDD-cost: 379 22.59/22.62 c ---[341883]---> BDD-cost: 379 22.59/22.63 c ---[341882]---> BDD-cost: 379 22.59/22.63 c ---[341881]---> BDD-cost: 379 22.59/22.64 c ---[341880]---> BDD-cost: 379 22.59/22.65 c ---[341879]---> BDD-cost: 379 22.59/22.66 c ---[341878]---> BDD-cost: 379 22.59/22.67 c ---[341877]---> BDD-cost: 379 22.59/22.68 c ---[341876]---> BDD-cost: 379 22.59/22.69 c ---[341875]---> BDD-cost: 379 22.69/22.70 c ---[341874]---> BDD-cost: 379 22.69/22.71 c ---[341873]---> BDD-cost: 379 22.69/22.71 c ---[341872]---> BDD-cost: 379 22.69/22.72 c ---[341871]---> BDD-cost: 379 22.69/22.73 c ---[341870]---> BDD-cost: 379 22.69/22.74 c ---[341869]---> BDD-cost: 379 22.69/22.75 c ---[341868]---> BDD-cost: 379 22.69/22.76 c ---[341867]---> BDD-cost: 379 22.69/22.77 c ---[341866]---> BDD-cost: 379 22.69/22.78 c ---[341865]---> BDD-cost: 379 22.69/22.79 c ---[341864]---> BDD-cost: 379 22.69/22.80 c ---[341863]---> BDD-cost: 379 22.79/22.80 c ---[341862]---> BDD-cost: 379 22.79/22.81 c ---[341861]---> BDD-cost: 379 22.79/22.82 c ---[341860]---> BDD-cost: 379 22.79/22.83 c ---[341859]---> BDD-cost: 379 22.79/22.84 c ---[341858]---> BDD-cost: 379 22.79/22.85 c ---[341857]---> BDD-cost: 379 22.79/22.86 c ---[341856]---> BDD-cost: 379 22.79/22.87 c ---[341855]---> BDD-cost: 379 22.79/22.88 c ---[341854]---> BDD-cost: 379 22.79/22.88 c ---[341853]---> BDD-cost: 379 22.79/22.89 c ---[341852]---> BDD-cost: 379 22.89/22.90 c ---[341851]---> BDD-cost: 379 22.89/22.91 c ---[341850]---> BDD-cost: 379 22.89/22.92 c ---[341849]---> BDD-cost: 379 22.89/22.93 c ---[341848]---> BDD-cost: 379 22.89/22.94 c ---[341847]---> BDD-cost: 379 22.89/22.95 c ---[341846]---> BDD-cost: 379 22.89/22.96 c ---[341845]---> BDD-cost: 379 22.89/22.96 c ---[341844]---> BDD-cost: 379 22.89/22.97 c ---[341843]---> BDD-cost: 379 22.89/22.98 c ---[341842]---> BDD-cost: 379 22.89/22.99 c ---[341841]---> BDD-cost: 379 22.89/23.00 c ---[341840]---> BDD-cost: 379 23.00/23.01 c ---[341839]---> BDD-cost: 379 23.00/23.02 c ---[341838]---> BDD-cost: 379 23.00/23.03 c ---[341837]---> BDD-cost: 379 23.00/23.04 c ---[341836]---> BDD-cost: 379 23.00/23.05 c ---[341835]---> BDD-cost: 379 23.00/23.05 c ---[341834]---> BDD-cost: 379 23.00/23.06 c ---[341833]---> BDD-cost: 379 23.00/23.07 c ---[341832]---> BDD-cost: 379 23.00/23.08 c ---[341831]---> BDD-cost: 379 23.00/23.09 c ---[341830]---> BDD-cost: 379 23.00/23.10 c ---[341829]---> BDD-cost: 379 23.10/23.11 c ---[341828]---> BDD-cost: 379 23.10/23.12 c ---[341827]---> BDD-cost: 379 23.10/23.13 c ---[341826]---> BDD-cost: 379 23.10/23.13 c ---[341825]---> BDD-cost: 379 23.10/23.14 c ---[341824]---> BDD-cost: 379 23.10/23.15 c ---[341823]---> BDD-cost: 379 23.10/23.16 c ---[341822]---> BDD-cost: 379 23.10/23.17 c ---[341821]---> BDD-cost: 379 23.10/23.18 c ---[341820]---> BDD-cost: 379 23.10/23.19 c ---[341819]---> BDD-cost: 379 23.19/23.20 c ---[341818]---> BDD-cost: 379 23.19/23.21 c ---[341817]---> BDD-cost: 379 23.19/23.22 c ---[341816]---> BDD-cost: 379 23.19/23.22 c ---[341815]---> BDD-cost: 379 23.19/23.23 c ---[341814]---> BDD-cost: 379 23.19/23.24 c ---[341813]---> BDD-cost: 379 23.19/23.25 c ---[341812]---> BDD-cost: 379 23.19/23.26 c ---[341811]---> BDD-cost: 379 23.19/23.27 c ---[341810]---> BDD-cost: 379 23.19/23.28 c ---[341809]---> BDD-cost: 379 23.19/23.29 c ---[341808]---> BDD-cost: 379 23.29/23.30 c ---[341807]---> BDD-cost: 379 23.29/23.30 c ---[341806]---> BDD-cost: 379 23.29/23.31 c ---[341805]---> BDD-cost: 379 23.29/23.32 c ---[341804]---> BDD-cost: 379 23.29/23.33 c ---[341803]---> BDD-cost: 379 23.29/23.34 c ---[341802]---> BDD-cost: 379 23.29/23.35 c ---[341801]---> BDD-cost: 379 23.29/23.36 c ---[341800]---> BDD-cost: 379 23.29/23.37 c ---[341799]---> BDD-cost: 379 23.29/23.38 c ---[341798]---> BDD-cost: 379 23.29/23.39 c ---[341797]---> BDD-cost: 379 23.29/23.39 c ---[341796]---> BDD-cost: 379 23.39/23.40 c ---[341795]---> BDD-cost: 379 23.39/23.41 c ---[341794]---> BDD-cost: 379 23.39/23.42 c ---[341793]---> BDD-cost: 379 23.39/23.43 c ---[341792]---> BDD-cost: 379 23.39/23.44 c ---[341791]---> BDD-cost: 379 23.39/23.45 c ---[341790]---> BDD-cost: 379 23.39/23.46 c ---[341789]---> BDD-cost: 379 23.39/23.47 c ---[341788]---> BDD-cost: 379 23.39/23.47 c ---[341787]---> BDD-cost: 379 23.39/23.48 c ---[341786]---> BDD-cost: 379 23.39/23.49 c ---[341785]---> BDD-cost: 379 23.49/23.50 c ---[341784]---> BDD-cost: 379 23.49/23.51 c ---[341783]---> BDD-cost: 379 23.49/23.52 c ---[341782]---> BDD-cost: 379 23.49/23.53 c ---[341781]---> BDD-cost: 379 23.49/23.54 c ---[341780]---> BDD-cost: 379 23.49/23.55 c ---[341779]---> BDD-cost: 379 23.49/23.56 c ---[341778]---> BDD-cost: 379 23.49/23.56 c ---[341777]---> BDD-cost: 379 23.49/23.57 c ---[341776]---> BDD-cost: 379 23.49/23.58 c ---[341775]---> BDD-cost: 379 23.49/23.59 c ---[341774]---> BDD-cost: 379 23.59/23.60 c ---[341773]---> BDD-cost: 379 23.59/23.61 c ---[341772]---> BDD-cost: 379 23.59/23.62 c ---[341771]---> BDD-cost: 379 23.59/23.63 c ---[341770]---> BDD-cost: 379 23.59/23.64 c ---[341769]---> BDD-cost: 379 23.59/23.64 c ---[341768]---> BDD-cost: 379 23.59/23.65 c ---[341767]---> BDD-cost: 379 23.59/23.66 c ---[341766]---> BDD-cost: 379 23.59/23.67 c ---[341765]---> BDD-cost: 379 23.59/23.68 c ---[341764]---> BDD-cost: 379 23.59/23.69 c ---[341763]---> BDD-cost: 379 23.69/23.70 c ---[341762]---> BDD-cost: 379 23.69/23.71 c ---[341761]---> BDD-cost: 379 23.69/23.72 c ---[341760]---> BDD-cost: 379 23.69/23.72 c ---[341759]---> BDD-cost: 379 23.69/23.73 c ---[341758]---> BDD-cost: 379 23.69/23.74 c ---[341757]---> BDD-cost: 379 23.69/23.75 c ---[341756]---> BDD-cost: 379 23.69/23.76 c ---[341755]---> BDD-cost: 379 23.69/23.77 c ---[341754]---> BDD-cost: 379 23.79/23.81 c ---[341753]---> BDD-cost: 379 23.79/23.82 c ---[341752]---> BDD-cost: 379 23.79/23.83 c ---[341751]---> BDD-cost: 379 23.79/23.83 c ---[341750]---> BDD-cost: 379 23.79/23.84 c ---[341749]---> BDD-cost: 379 23.79/23.85 c ---[341748]---> BDD-cost: 379 23.79/23.86 c ---[341747]---> BDD-cost: 379 23.79/23.87 c ---[341746]---> BDD-cost: 379 23.79/23.88 c ---[341745]---> BDD-cost: 379 23.79/23.89 c ---[341744]---> BDD-cost: 379 23.89/23.90 c ---[341743]---> BDD-cost: 379 23.89/23.91 c ---[341742]---> BDD-cost: 379 23.89/23.91 c ---[341741]---> BDD-cost: 379 23.89/23.92 c ---[341740]---> BDD-cost: 379 23.89/23.93 c ---[341739]---> BDD-cost: 379 23.89/23.94 c ---[341738]---> BDD-cost: 379 23.89/23.95 c ---[341737]---> BDD-cost: 379 23.89/23.96 c ---[341736]---> BDD-cost: 379 23.89/23.97 c ---[341735]---> BDD-cost: 379 23.89/23.98 c ---[341734]---> BDD-cost: 379 23.89/23.99 c ---[341733]---> BDD-cost: 379 23.89/23.99 c ---[341732]---> BDD-cost: 379 23.99/24.00 c ---[341731]---> BDD-cost: 379 23.99/24.01 c ---[341730]---> BDD-cost: 379 23.99/24.02 c ---[341729]---> BDD-cost: 379 23.99/24.03 c ---[341728]---> BDD-cost: 379 23.99/24.04 c ---[341727]---> BDD-cost: 379 23.99/24.05 c ---[341726]---> BDD-cost: 379 23.99/24.06 c ---[341725]---> BDD-cost: 379 23.99/24.07 c ---[341724]---> BDD-cost: 379 23.99/24.08 c ---[341723]---> BDD-cost: 379 23.99/24.08 c ---[341722]---> BDD-cost: 379 23.99/24.09 c ---[341721]---> BDD-cost: 379 24.09/24.10 c ---[341720]---> BDD-cost: 379 24.09/24.11 c ---[341719]---> BDD-cost: 379 24.09/24.12 c ---[341718]---> BDD-cost: 379 24.09/24.13 c ---[341717]---> BDD-cost: 379 24.09/24.14 c ---[341716]---> BDD-cost: 379 24.09/24.15 c ---[341715]---> BDD-cost: 379 24.09/24.16 c ---[341714]---> BDD-cost: 379 24.09/24.16 c ---[341713]---> BDD-cost: 379 24.09/24.17 c ---[341712]---> BDD-cost: 379 24.09/24.18 c ---[341711]---> BDD-cost: 379 24.09/24.19 c ---[341710]---> BDD-cost: 379 24.09/24.20 c ---[341709]---> BDD-cost: 379 24.19/24.21 c ---[341708]---> BDD-cost: 379 24.19/24.22 c ---[341707]---> BDD-cost: 379 24.19/24.23 c ---[341706]---> BDD-cost: 379 24.19/24.24 c ---[341705]---> BDD-cost: 379 24.19/24.25 c ---[341704]---> BDD-cost: 379 24.19/24.25 c ---[341703]---> BDD-cost: 379 24.19/24.26 c ---[341702]---> BDD-cost: 379 24.19/24.27 c ---[341701]---> BDD-cost: 379 24.19/24.28 c ---[341700]---> BDD-cost: 379 24.19/24.29 c ---[341699]---> BDD-cost: 379 24.29/24.30 c ---[341698]---> BDD-cost: 379 24.29/24.31 c ---[341697]---> BDD-cost: 379 24.29/24.32 c ---[341696]---> BDD-cost: 379 24.29/24.33 c ---[341695]---> BDD-cost: 379 24.29/24.33 c ---[341694]---> BDD-cost: 379 24.29/24.34 c ---[341693]---> BDD-cost: 379 24.29/24.35 c ---[341692]---> BDD-cost: 379 24.29/24.36 c ---[341691]---> BDD-cost: 379 24.29/24.37 c ---[341690]---> BDD-cost: 379 24.29/24.38 c ---[341689]---> BDD-cost: 379 24.29/24.39 c ---[341688]---> BDD-cost: 379 24.39/24.40 c ---[341687]---> BDD-cost: 379 24.39/24.41 c ---[341686]---> BDD-cost: 379 24.39/24.41 c ---[341685]---> BDD-cost: 379 24.39/24.42 c ---[341684]---> BDD-cost: 379 24.39/24.43 c ---[341683]---> BDD-cost: 379 24.39/24.44 c ---[341682]---> BDD-cost: 379 24.39/24.45 c ---[341681]---> BDD-cost: 379 24.39/24.46 c ---[341680]---> BDD-cost: 379 24.39/24.47 c ---[341679]---> BDD-cost: 379 24.39/24.48 c ---[341678]---> BDD-cost: 379 24.39/24.49 c ---[341677]---> BDD-cost: 379 24.39/24.50 c ---[341676]---> BDD-cost: 379 24.49/24.50 c ---[341675]---> BDD-cost: 379 24.49/24.51 c ---[341674]---> BDD-cost: 379 24.49/24.52 c ---[341673]---> BDD-cost: 379 24.49/24.53 c ---[341672]---> BDD-cost: 379 24.49/24.54 c ---[341671]---> BDD-cost: 379 24.49/24.55 c ---[341670]---> BDD-cost: 379 24.49/24.56 c ---[341669]---> BDD-cost: 379 24.49/24.57 c ---[341668]---> BDD-cost: 379 24.49/24.58 c ---[341667]---> BDD-cost: 379 24.49/24.58 c ---[341666]---> BDD-cost: 379 24.49/24.59 c ---[341665]---> BDD-cost: 379 24.59/24.60 c ---[341664]---> BDD-cost: 379 24.59/24.61 c ---[341663]---> BDD-cost: 379 24.59/24.62 c ---[341662]---> BDD-cost: 379 24.59/24.63 c ---[341661]---> BDD-cost: 379 24.59/24.64 c ---[341660]---> BDD-cost: 379 24.59/24.65 c ---[341659]---> BDD-cost: 379 24.59/24.66 c ---[341658]---> BDD-cost: 379 24.59/24.67 c ---[341657]---> BDD-cost: 379 24.59/24.67 c ---[341656]---> BDD-cost: 379 24.59/24.68 c ---[341655]---> BDD-cost: 379 24.59/24.69 c ---[341654]---> BDD-cost: 379 24.69/24.70 c ---[341653]---> BDD-cost: 379 24.69/24.71 c ---[341652]---> BDD-cost: 379 24.69/24.72 c ---[341651]---> BDD-cost: 379 24.69/24.73 c ---[341650]---> BDD-cost: 379 24.69/24.74 c ---[341649]---> BDD-cost: 379 24.69/24.75 c ---[341648]---> BDD-cost: 379 24.69/24.75 c ---[341647]---> BDD-cost: 379 24.69/24.76 c ---[341646]---> BDD-cost: 379 24.69/24.77 c ---[341645]---> BDD-cost: 379 24.69/24.78 c ---[341644]---> BDD-cost: 379 24.69/24.79 c ---[341643]---> BDD-cost: 379 24.79/24.80 c ---[341642]---> BDD-cost: 379 24.79/24.81 c ---[341641]---> BDD-cost: 379 24.79/24.82 c ---[341640]---> BDD-cost: 379 24.79/24.83 c ---[341639]---> BDD-cost: 379 24.79/24.83 c ---[341638]---> BDD-cost: 379 24.79/24.84 c ---[341637]---> BDD-cost: 379 24.79/24.85 c ---[341636]---> BDD-cost: 379 24.79/24.86 c ---[341635]---> BDD-cost: 379 24.79/24.87 c ---[341634]---> BDD-cost: 379 24.79/24.88 c ---[341633]---> BDD-cost: 379 24.79/24.89 c ---[341632]---> BDD-cost: 379 24.89/24.90 c ---[341631]---> BDD-cost: 379 24.89/24.91 c ---[341630]---> BDD-cost: 379 24.89/24.92 c ---[341629]---> BDD-cost: 379 24.89/24.92 c ---[341628]---> BDD-cost: 379 24.89/24.93 c ---[341627]---> BDD-cost: 379 24.89/24.94 c ---[341626]---> BDD-cost: 379 24.89/24.95 c ---[341625]---> BDD-cost: 379 24.89/24.96 c ---[341624]---> BDD-cost: 379 24.89/24.97 c ---[341623]---> BDD-cost: 379 24.89/24.98 c ---[341622]---> BDD-cost: 379 24.89/24.99 c ---[341621]---> BDD-cost: 379 24.89/25.00 c ---[341620]---> BDD-cost: 379 24.99/25.00 c ---[341619]---> BDD-cost: 379 24.99/25.01 c ---[341618]---> BDD-cost: 379 24.99/25.02 c ---[341617]---> BDD-cost: 379 24.99/25.03 c ---[341616]---> BDD-cost: 379 24.99/25.04 c ---[341615]---> BDD-cost: 379 24.99/25.05 c ---[341614]---> BDD-cost: 379 24.99/25.06 c ---[341613]---> BDD-cost: 379 24.99/25.07 c ---[341612]---> BDD-cost: 379 24.99/25.08 c ---[341611]---> BDD-cost: 379 24.99/25.08 c ---[341610]---> BDD-cost: 379 24.99/25.09 c ---[341609]---> BDD-cost: 379 25.09/25.10 c ---[341608]---> BDD-cost: 379 25.09/25.11 c ---[341607]---> BDD-cost: 379 25.09/25.12 c ---[341606]---> BDD-cost: 379 25.09/25.13 c ---[341605]---> BDD-cost: 379 25.09/25.14 c ---[341604]---> BDD-cost: 379 25.09/25.15 c ---[341603]---> BDD-cost: 379 25.09/25.16 c ---[341602]---> BDD-cost: 379 25.09/25.17 c ---[341601]---> BDD-cost: 379 25.09/25.17 c ---[341600]---> BDD-cost: 379 25.09/25.18 c ---[341599]---> BDD-cost: 379 25.09/25.19 c ---[341598]---> BDD-cost: 379 25.09/25.20 c ---[341597]---> BDD-cost: 379 25.19/25.21 c ---[341596]---> BDD-cost: 379 25.19/25.22 c ---[341595]---> BDD-cost: 379 25.19/25.23 c ---[341594]---> BDD-cost: 379 25.19/25.24 c ---[341593]---> BDD-cost: 379 25.19/25.25 c ---[341592]---> BDD-cost: 379 25.19/25.25 c ---[341591]---> BDD-cost: 379 25.19/25.26 c ---[341590]---> BDD-cost: 379 25.19/25.27 c ---[341589]---> BDD-cost: 379 25.19/25.28 c ---[341588]---> BDD-cost: 379 25.19/25.29 c ---[341587]---> BDD-cost: 379 25.19/25.30 c ---[341586]---> BDD-cost: 379 25.29/25.31 c ---[341585]---> BDD-cost: 379 25.29/25.32 c ---[341584]---> BDD-cost: 379 25.29/25.33 c ---[341583]---> BDD-cost: 379 25.29/25.34 c ---[341582]---> BDD-cost: 379 25.29/25.34 c ---[341581]---> BDD-cost: 379 25.29/25.35 c ---[341580]---> BDD-cost: 379 25.29/25.36 c ---[341579]---> BDD-cost: 379 25.29/25.37 c ---[341578]---> BDD-cost: 379 25.29/25.38 c ---[341577]---> BDD-cost: 379 25.29/25.39 c ---[341576]---> BDD-cost: 379 25.39/25.40 c ---[341575]---> BDD-cost: 379 25.39/25.41 c ---[341574]---> BDD-cost: 379 25.39/25.42 c ---[341573]---> BDD-cost: 379 25.39/25.42 c ---[341572]---> BDD-cost: 379 25.39/25.43 c ---[341571]---> BDD-cost: 379 25.39/25.44 c ---[341570]---> BDD-cost: 379 25.39/25.45 c ---[341569]---> BDD-cost: 379 25.39/25.46 c ---[341568]---> BDD-cost: 379 25.39/25.47 c ---[341567]---> BDD-cost: 379 25.39/25.48 c ---[341566]---> BDD-cost: 379 25.39/25.49 c ---[341565]---> BDD-cost: 379 25.49/25.50 c ---[341564]---> BDD-cost: 379 25.49/25.51 c ---[341563]---> BDD-cost: 379 25.49/25.51 c ---[341562]---> BDD-cost: 379 25.49/25.52 c ---[341561]---> BDD-cost: 379 25.49/25.53 c ---[341560]---> BDD-cost: 379 25.49/25.54 c ---[341559]---> BDD-cost: 379 25.49/25.55 c ---[341558]---> BDD-cost: 379 25.49/25.56 c ---[341557]---> BDD-cost: 379 25.49/25.57 c ---[341556]---> BDD-cost: 379 25.49/25.58 c ---[341555]---> BDD-cost: 379 25.49/25.59 c ---[341554]---> BDD-cost: 379 25.49/25.59 c ---[341553]---> BDD-cost: 379 25.59/25.60 c ---[341552]---> BDD-cost: 379 25.59/25.61 c ---[341551]---> BDD-cost: 379 25.59/25.62 c ---[341550]---> BDD-cost: 379 25.59/25.63 c ---[341549]---> BDD-cost: 379 25.59/25.64 c ---[341548]---> BDD-cost: 379 25.59/25.65 c ---[341547]---> BDD-cost: 379 25.59/25.66 c ---[341546]---> BDD-cost: 379 25.59/25.67 c ---[341545]---> BDD-cost: 379 25.59/25.68 c ---[341544]---> BDD-cost: 379 25.59/25.68 c ---[341543]---> BDD-cost: 379 25.59/25.69 c ---[341542]---> BDD-cost: 379 25.69/25.70 c ---[341541]---> BDD-cost: 379 25.69/25.71 c ---[341540]---> BDD-cost: 379 25.69/25.72 c ---[341539]---> BDD-cost: 379 25.69/25.73 c ---[341538]---> BDD-cost: 379 25.69/25.74 c ---[341537]---> BDD-cost: 379 25.69/25.75 c ---[341536]---> BDD-cost: 379 25.69/25.76 c ---[341535]---> BDD-cost: 379 25.69/25.76 c ---[341534]---> BDD-cost: 379 25.69/25.77 c ---[341533]---> BDD-cost: 379 25.69/25.78 c ---[341532]---> BDD-cost: 379 25.69/25.79 c ---[341531]---> BDD-cost: 379 25.79/25.80 c ---[341530]---> BDD-cost: 379 25.79/25.81 c ---[341529]---> BDD-cost: 379 25.79/25.82 c ---[341528]---> BDD-cost: 379 25.79/25.83 c ---[341527]---> BDD-cost: 379 25.79/25.84 c ---[341526]---> BDD-cost: 379 25.79/25.84 c ---[341525]---> BDD-cost: 379 25.79/25.85 c ---[341524]---> BDD-cost: 379 25.79/25.86 c ---[341523]---> BDD-cost: 379 25.79/25.87 c ---[341522]---> BDD-cost: 379 25.79/25.88 c ---[341521]---> BDD-cost: 379 25.79/25.89 c ---[341520]---> BDD-cost: 379 25.89/25.90 c ---[341519]---> BDD-cost: 379 25.89/25.91 c ---[341518]---> BDD-cost: 379 25.89/25.92 c ---[341517]---> BDD-cost: 379 25.89/25.93 c ---[341516]---> BDD-cost: 379 25.89/25.93 c ---[341515]---> BDD-cost: 379 25.89/25.94 c ---[341514]---> BDD-cost: 379 25.89/25.95 c ---[341513]---> BDD-cost: 379 25.89/25.96 c ---[341512]---> BDD-cost: 379 25.89/25.97 c ---[341511]---> BDD-cost: 379 25.89/25.98 c ---[341510]---> BDD-cost: 379 25.89/25.99 c ---[341509]---> BDD-cost: 379 25.99/26.00 c ---[341508]---> BDD-cost: 379 25.99/26.01 c ---[341507]---> BDD-cost: 379 25.99/26.01 c ---[341506]---> BDD-cost: 379 25.99/26.02 c ---[341505]---> BDD-cost: 379 25.99/26.03 c ---[341504]---> BDD-cost: 379 25.99/26.04 c ---[341503]---> BDD-cost: 379 25.99/26.05 c ---[341502]---> BDD-cost: 379 25.99/26.06 c ---[341501]---> BDD-cost: 379 25.99/26.07 c ---[341500]---> BDD-cost: 379 25.99/26.08 c ---[341499]---> BDD-cost: 379 25.99/26.09 c ---[341498]---> BDD-cost: 379 25.99/26.10 c ---[341497]---> BDD-cost: 379 26.09/26.10 c ---[341496]---> BDD-cost: 379 26.09/26.11 c ---[341495]---> BDD-cost: 379 26.09/26.12 c ---[341494]---> BDD-cost: 379 26.09/26.13 c ---[341493]---> BDD-cost: 379 26.09/26.14 c ---[341492]---> BDD-cost: 379 26.09/26.15 c ---[341491]---> BDD-cost: 379 26.09/26.16 c ---[341490]---> BDD-cost: 379 26.09/26.17 c ---[341489]---> BDD-cost: 379 26.09/26.18 c ---[341488]---> BDD-cost: 379 26.09/26.18 c ---[341487]---> BDD-cost: 379 26.09/26.19 c ---[341486]---> BDD-cost: 379 26.19/26.20 c ---[341485]---> BDD-cost: 379 26.19/26.21 c ---[341484]---> BDD-cost: 379 26.19/26.22 c ---[341483]---> BDD-cost: 379 26.19/26.23 c ---[341482]---> BDD-cost: 379 26.19/26.24 c ---[341481]---> BDD-cost: 379 26.19/26.25 c ---[341480]---> BDD-cost: 379 26.19/26.26 c ---[341479]---> BDD-cost: 379 26.19/26.27 c ---[341478]---> BDD-cost: 379 26.19/26.27 c ---[341477]---> BDD-cost: 379 26.19/26.28 c ---[341476]---> BDD-cost: 379 26.19/26.29 c ---[341475]---> BDD-cost: 379 26.19/26.30 c ---[341474]---> BDD-cost: 379 26.29/26.31 c ---[341473]---> BDD-cost: 379 26.29/26.32 c ---[341472]---> BDD-cost: 379 26.29/26.33 c ---[341471]---> BDD-cost: 379 26.29/26.34 c ---[341470]---> BDD-cost: 379 26.29/26.35 c ---[341469]---> BDD-cost: 379 26.29/26.35 c ---[341468]---> BDD-cost: 379 26.29/26.36 c ---[341467]---> BDD-cost: 379 26.29/26.37 c ---[341466]---> BDD-cost: 379 26.29/26.38 c ---[341465]---> BDD-cost: 379 26.29/26.39 c ---[341464]---> BDD-cost: 379 26.29/26.40 c ---[341463]---> BDD-cost: 379 26.39/26.41 c ---[341462]---> BDD-cost: 379 26.39/26.42 c ---[341461]---> BDD-cost: 379 26.39/26.43 c ---[341460]---> BDD-cost: 379 26.39/26.44 c ---[341459]---> BDD-cost: 379 26.39/26.44 c ---[341458]---> BDD-cost: 379 26.39/26.45 c ---[341457]---> BDD-cost: 379 26.39/26.46 c ---[341456]---> BDD-cost: 379 26.39/26.47 c ---[341455]---> BDD-cost: 379 26.39/26.48 c ---[341454]---> BDD-cost: 379 26.39/26.49 c ---[341453]---> BDD-cost: 379 26.49/26.50 c ---[341452]---> BDD-cost: 379 26.49/26.51 c ---[341451]---> BDD-cost: 379 26.49/26.52 c ---[341450]---> BDD-cost: 379 26.49/26.53 c ---[341449]---> BDD-cost: 379 26.49/26.53 c ---[341448]---> BDD-cost: 379 26.49/26.54 c ---[341447]---> BDD-cost: 379 26.49/26.55 c ---[341446]---> BDD-cost: 379 26.49/26.56 c ---[341445]---> BDD-cost: 379 26.49/26.57 c ---[341444]---> BDD-cost: 379 26.49/26.58 c ---[341443]---> BDD-cost: 379 26.49/26.59 c ---[341442]---> BDD-cost: 379 26.58/26.60 c ---[341441]---> BDD-cost: 379 26.58/26.61 c ---[341440]---> BDD-cost: 379 26.58/26.61 c ---[341439]---> BDD-cost: 379 26.58/26.62 c ---[341438]---> BDD-cost: 379 26.58/26.63 c ---[341437]---> BDD-cost: 379 26.58/26.64 c ---[341436]---> BDD-cost: 379 26.58/26.65 c ---[341435]---> BDD-cost: 379 26.58/26.66 c ---[341434]---> BDD-cost: 379 26.58/26.67 c ---[341433]---> BDD-cost: 379 26.58/26.68 c ---[341432]---> BDD-cost: 379 26.58/26.69 c ---[341431]---> BDD-cost: 379 26.58/26.70 c ---[341430]---> BDD-cost: 379 26.68/26.70 c ---[341429]---> BDD-cost: 379 26.68/26.71 c ---[341428]---> BDD-cost: 379 26.68/26.72 c ---[341427]---> BDD-cost: 379 26.68/26.73 c ---[341426]---> BDD-cost: 379 26.68/26.74 c ---[341425]---> BDD-cost: 379 26.68/26.75 c ---[341424]---> BDD-cost: 379 26.68/26.76 c ---[341423]---> BDD-cost: 379 26.68/26.77 c ---[341422]---> BDD-cost: 379 26.68/26.78 c ---[341421]---> BDD-cost: 379 26.68/26.78 c ---[341420]---> BDD-cost: 379 26.68/26.79 c ---[341419]---> BDD-cost: 379 26.78/26.80 c ---[341418]---> BDD-cost: 379 26.78/26.81 c ---[341417]---> BDD-cost: 379 26.78/26.82 c ---[341416]---> BDD-cost: 379 26.78/26.83 c ---[341415]---> BDD-cost: 379 26.78/26.84 c ---[341414]---> BDD-cost: 379 26.78/26.85 c ---[341413]---> BDD-cost: 379 26.78/26.86 c ---[341412]---> BDD-cost: 379 26.78/26.87 c ---[341411]---> BDD-cost: 379 26.78/26.87 c ---[341410]---> BDD-cost: 379 26.78/26.88 c ---[341409]---> BDD-cost: 379 26.78/26.89 c ---[341408]---> BDD-cost: 379 26.88/26.90 c ---[341407]---> BDD-cost: 379 26.88/26.91 c ---[341406]---> BDD-cost: 379 26.88/26.92 c ---[341405]---> BDD-cost: 379 26.88/26.93 c ---[341404]---> BDD-cost: 379 26.88/26.94 c ---[341403]---> BDD-cost: 379 26.88/26.95 c ---[341402]---> BDD-cost: 379 26.88/26.95 c ---[341401]---> BDD-cost: 379 26.88/26.96 c ---[341400]---> BDD-cost: 379 26.88/26.97 c ---[341399]---> BDD-cost: 379 26.88/26.98 c ---[341398]---> BDD-cost: 379 26.88/26.99 c ---[341397]---> BDD-cost: 379 26.98/27.00 c ---[341396]---> BDD-cost: 379 26.98/27.01 c ---[341395]---> BDD-cost: 379 26.98/27.02 c ---[341394]---> BDD-cost: 379 26.98/27.03 c ---[341393]---> BDD-cost: 379 26.98/27.04 c ---[341392]---> BDD-cost: 379 26.98/27.04 c ---[341391]---> BDD-cost: 379 26.98/27.05 c ---[341390]---> BDD-cost: 379 26.98/27.06 c ---[341389]---> BDD-cost: 379 26.98/27.07 c ---[341388]---> BDD-cost: 379 26.98/27.08 c ---[341387]---> BDD-cost: 379 26.98/27.09 c ---[341386]---> BDD-cost: 379 27.08/27.10 c ---[341385]---> BDD-cost: 379 27.08/27.11 c ---[341384]---> BDD-cost: 379 27.08/27.12 c ---[341383]---> BDD-cost: 379 27.08/27.12 c ---[341382]---> BDD-cost: 379 27.08/27.13 c ---[341381]---> BDD-cost: 379 27.08/27.14 c ---[341380]---> BDD-cost: 379 27.08/27.15 c ---[341379]---> BDD-cost: 379 27.08/27.16 c ---[341378]---> BDD-cost: 379 27.08/27.17 c ---[341377]---> BDD-cost: 379 27.08/27.18 c ---[341376]---> BDD-cost: 379 27.08/27.19 c ---[341375]---> BDD-cost: 379 27.18/27.20 c ---[341374]---> BDD-cost: 379 27.18/27.21 c ---[341373]---> BDD-cost: 379 27.18/27.21 c ---[341372]---> BDD-cost: 379 27.18/27.22 c ---[341371]---> BDD-cost: 379 27.18/27.23 c ---[341370]---> BDD-cost: 379 27.18/27.24 c ---[341369]---> BDD-cost: 379 27.18/27.25 c ---[341368]---> BDD-cost: 379 27.18/27.26 c ---[341367]---> BDD-cost: 379 27.18/27.27 c ---[341366]---> BDD-cost: 379 27.18/27.28 c ---[341365]---> BDD-cost: 379 27.18/27.29 c ---[341364]---> BDD-cost: 379 27.18/27.29 c ---[341363]---> BDD-cost: 379 27.28/27.30 c ---[341362]---> BDD-cost: 379 27.28/27.31 c ---[341361]---> BDD-cost: 379 27.28/27.32 c ---[341360]---> BDD-cost: 379 27.28/27.33 c ---[341359]---> BDD-cost: 379 27.28/27.34 c ---[341358]---> BDD-cost: 379 27.28/27.35 c ---[341357]---> BDD-cost: 379 27.28/27.36 c ---[341356]---> BDD-cost: 379 27.28/27.37 c ---[341355]---> BDD-cost: 379 27.28/27.37 c ---[341354]---> BDD-cost: 379 27.28/27.38 c ---[341353]---> BDD-cost: 379 27.28/27.39 c ---[341352]---> BDD-cost: 379 27.39/27.40 c ---[341351]---> BDD-cost: 379 27.39/27.41 c ---[341350]---> BDD-cost: 379 27.39/27.42 c ---[341349]---> BDD-cost: 379 27.39/27.43 c ---[341348]---> BDD-cost: 379 27.39/27.44 c ---[341347]---> BDD-cost: 379 27.39/27.45 c ---[341346]---> BDD-cost: 379 27.39/27.46 c ---[341345]---> BDD-cost: 379 27.39/27.46 c ---[341344]---> BDD-cost: 379 27.39/27.47 c ---[341343]---> BDD-cost: 379 27.39/27.48 c ---[341342]---> BDD-cost: 379 27.39/27.49 c ---[341341]---> BDD-cost: 379 27.39/27.50 c ---[341340]---> BDD-cost: 379 27.49/27.51 c ---[341339]---> BDD-cost: 379 27.49/27.52 c ---[341338]---> BDD-cost: 379 27.49/27.53 c ---[341337]---> BDD-cost: 379 27.49/27.54 c ---[341336]---> BDD-cost: 379 27.49/27.54 c ---[341335]---> BDD-cost: 379 27.49/27.55 c ---[341334]---> BDD-cost: 379 27.49/27.56 c ---[341333]---> BDD-cost: 379 27.49/27.57 c ---[341332]---> BDD-cost: 379 27.49/27.58 c ---[341331]---> BDD-cost: 379 27.49/27.59 c ---[341330]---> BDD-cost: 379 27.58/27.60 c ---[341329]---> BDD-cost: 379 27.58/27.61 c ---[341328]---> BDD-cost: 379 27.58/27.62 c ---[341327]---> BDD-cost: 379 27.58/27.63 c ---[341326]---> BDD-cost: 379 27.58/27.63 c ---[341325]---> BDD-cost: 379 27.58/27.64 c ---[341324]---> BDD-cost: 379 27.58/27.65 c ---[341323]---> BDD-cost: 379 27.58/27.66 c ---[341322]---> BDD-cost: 379 27.58/27.67 c ---[341321]---> BDD-cost: 379 27.58/27.68 c ---[341320]---> BDD-cost: 379 27.58/27.69 c ---[341319]---> BDD-cost: 379 27.68/27.70 c ---[341318]---> BDD-cost: 379 27.68/27.71 c ---[341317]---> BDD-cost: 379 27.68/27.71 c ---[341316]---> BDD-cost: 379 27.68/27.72 c ---[341315]---> BDD-cost: 379 27.68/27.73 c ---[341314]---> BDD-cost: 379 27.68/27.74 c ---[341313]---> BDD-cost: 379 27.68/27.75 c ---[341312]---> BDD-cost: 379 27.68/27.76 c ---[341311]---> BDD-cost: 379 27.68/27.77 c ---[341310]---> BDD-cost: 379 27.68/27.78 c ---[341309]---> BDD-cost: 379 27.68/27.79 c ---[341308]---> BDD-cost: 379 27.68/27.80 c ---[341307]---> BDD-cost: 379 27.78/27.80 c ---[341306]---> BDD-cost: 379 27.78/27.81 c ---[341305]---> BDD-cost: 379 27.78/27.82 c ---[341304]---> BDD-cost: 379 27.78/27.83 c ---[341303]---> BDD-cost: 379 27.78/27.84 c ---[341302]---> BDD-cost: 379 27.78/27.85 c ---[341301]---> BDD-cost: 379 27.78/27.86 c ---[341300]---> BDD-cost: 379 27.78/27.87 c ---[341299]---> BDD-cost: 379 27.78/27.88 c ---[341298]---> BDD-cost: 379 27.78/27.88 c ---[341297]---> BDD-cost: 379 27.78/27.89 c ---[341296]---> BDD-cost: 379 27.88/27.90 c ---[341295]---> BDD-cost: 379 27.88/27.91 c ---[341294]---> BDD-cost: 379 27.88/27.92 c ---[341293]---> BDD-cost: 379 27.88/27.93 c ---[341292]---> BDD-cost: 379 27.88/27.94 c ---[341291]---> BDD-cost: 379 27.88/27.95 c ---[341290]---> BDD-cost: 379 27.88/27.96 c ---[341289]---> BDD-cost: 379 27.88/27.97 c ---[341288]---> BDD-cost: 379 27.88/27.97 c ---[341287]---> BDD-cost: 379 27.88/27.98 c ---[341286]---> BDD-cost: 379 27.88/27.99 c ---[341285]---> BDD-cost: 379 27.98/28.00 c ---[341284]---> BDD-cost: 379 27.98/28.01 c ---[341283]---> BDD-cost: 379 27.98/28.02 c ---[341282]---> BDD-cost: 379 27.98/28.03 c ---[341281]---> BDD-cost: 379 27.98/28.04 c ---[341280]---> BDD-cost: 379 27.98/28.05 c ---[341279]---> BDD-cost: 379 27.98/28.05 c ---[341278]---> BDD-cost: 379 27.98/28.06 c ---[341277]---> BDD-cost: 379 27.98/28.07 c ---[341276]---> BDD-cost: 379 27.98/28.08 c ---[341275]---> BDD-cost: 379 27.98/28.09 c ---[341274]---> BDD-cost: 379 28.08/28.10 c ---[341273]---> BDD-cost: 379 28.08/28.11 c ---[341272]---> BDD-cost: 379 28.08/28.12 c ---[341271]---> BDD-cost: 379 28.08/28.13 c ---[341270]---> BDD-cost: 379 28.08/28.14 c ---[341269]---> BDD-cost: 379 28.08/28.14 c ---[341268]---> BDD-cost: 379 28.08/28.15 c ---[341267]---> BDD-cost: 379 28.08/28.16 c ---[341266]---> BDD-cost: 379 28.08/28.17 c ---[341265]---> BDD-cost: 379 28.08/28.18 c ---[341264]---> BDD-cost: 379 28.08/28.19 c ---[341263]---> BDD-cost: 379 28.18/28.20 c ---[341262]---> BDD-cost: 379 28.18/28.21 c ---[341261]---> BDD-cost: 379 28.18/28.22 c ---[341260]---> BDD-cost: 379 28.18/28.23 c ---[341259]---> BDD-cost: 379 28.18/28.23 c ---[341258]---> BDD-cost: 379 28.18/28.24 c ---[341257]---> BDD-cost: 379 28.18/28.25 c ---[341256]---> BDD-cost: 379 28.18/28.26 c ---[341255]---> BDD-cost: 379 28.18/28.27 c ---[341254]---> BDD-cost: 379 28.18/28.28 c ---[341253]---> BDD-cost: 379 28.18/28.29 c ---[341252]---> BDD-cost: 379 28.28/28.30 c ---[341251]---> BDD-cost: 379 28.28/28.31 c ---[341250]---> BDD-cost: 379 28.28/28.31 c ---[341249]---> BDD-cost: 379 28.28/28.32 c ---[341248]---> BDD-cost: 379 28.28/28.33 c ---[341247]---> BDD-cost: 379 28.28/28.34 c ---[341246]---> BDD-cost: 379 28.28/28.35 c ---[341245]---> BDD-cost: 379 28.28/28.36 c ---[341244]---> BDD-cost: 379 28.28/28.37 c ---[341243]---> BDD-cost: 379 28.28/28.38 c ---[341242]---> BDD-cost: 379 28.28/28.39 c ---[341241]---> BDD-cost: 379 28.28/28.40 c ---[341240]---> BDD-cost: 379 28.38/28.40 c ---[341239]---> BDD-cost: 379 28.38/28.41 c ---[341238]---> BDD-cost: 379 28.38/28.42 c ---[341237]---> BDD-cost: 379 28.38/28.43 c ---[341236]---> BDD-cost: 379 28.38/28.44 c ---[341235]---> BDD-cost: 379 28.38/28.45 c ---[341234]---> BDD-cost: 379 28.38/28.46 c ---[341233]---> BDD-cost: 379 28.38/28.47 c ---[341232]---> BDD-cost: 379 28.38/28.48 c ---[341231]---> BDD-cost: 379 28.38/28.48 c ---[341230]---> BDD-cost: 379 28.38/28.49 c ---[341229]---> BDD-cost: 379 28.49/28.50 c ---[341228]---> BDD-cost: 379 28.49/28.51 c ---[341227]---> BDD-cost: 379 28.49/28.52 c ---[341226]---> BDD-cost: 379 28.49/28.53 c ---[341225]---> BDD-cost: 379 28.49/28.54 c ---[341224]---> BDD-cost: 379 28.49/28.55 c ---[341223]---> BDD-cost: 379 28.49/28.56 c ---[341222]---> BDD-cost: 379 28.49/28.57 c ---[341221]---> BDD-cost: 379 28.49/28.57 c ---[341220]---> BDD-cost: 379 28.49/28.58 c ---[341219]---> BDD-cost: 379 28.49/28.59 c ---[341218]---> BDD-cost: 379 28.49/28.60 c ---[341217]---> BDD-cost: 379 28.59/28.61 c ---[341216]---> BDD-cost: 379 28.59/28.62 c ---[341215]---> BDD-cost: 379 28.59/28.63 c ---[341214]---> BDD-cost: 379 28.59/28.64 c ---[341213]---> BDD-cost: 379 28.59/28.65 c ---[341212]---> BDD-cost: 379 28.59/28.65 c ---[341211]---> BDD-cost: 379 28.59/28.66 c ---[341210]---> BDD-cost: 379 28.59/28.67 c ---[341209]---> BDD-cost: 379 28.59/28.68 c ---[341208]---> BDD-cost: 379 28.59/28.69 c ---[341207]---> BDD-cost: 379 28.68/28.70 c ---[341206]---> BDD-cost: 379 28.68/28.71 c ---[341205]---> BDD-cost: 379 28.68/28.72 c ---[341204]---> BDD-cost: 379 28.68/28.73 c ---[341203]---> BDD-cost: 379 28.68/28.74 c ---[341202]---> BDD-cost: 379 28.68/28.74 c ---[341201]---> BDD-cost: 379 28.68/28.75 c ---[341200]---> BDD-cost: 379 28.68/28.76 c ---[341199]---> BDD-cost: 379 28.68/28.77 c ---[341198]---> BDD-cost: 379 28.68/28.78 c ---[341197]---> BDD-cost: 379 28.68/28.79 c ---[341196]---> BDD-cost: 379 28.78/28.80 c ---[341195]---> BDD-cost: 379 28.78/28.81 c ---[341194]---> BDD-cost: 379 28.78/28.82 c ---[341193]---> BDD-cost: 379 28.78/28.83 c ---[341192]---> BDD-cost: 379 28.78/28.83 c ---[341191]---> BDD-cost: 379 28.78/28.84 c ---[341190]---> BDD-cost: 379 28.78/28.85 c ---[341189]---> BDD-cost: 379 28.78/28.86 c ---[341188]---> BDD-cost: 379 28.78/28.87 c ---[341187]---> BDD-cost: 379 28.78/28.88 c ---[341186]---> BDD-cost: 379 28.78/28.89 c ---[341185]---> BDD-cost: 379 28.88/28.90 c ---[341184]---> BDD-cost: 379 28.88/28.91 c ---[341183]---> BDD-cost: 379 28.88/28.91 c ---[341182]---> BDD-cost: 379 28.88/28.92 c ---[341181]---> BDD-cost: 379 28.88/28.93 c ---[341180]---> BDD-cost: 379 28.88/28.94 c ---[341179]---> BDD-cost: 379 28.88/28.95 c ---[341178]---> BDD-cost: 379 28.88/28.96 c ---[341177]---> BDD-cost: 379 28.88/28.97 c ---[341176]---> BDD-cost: 379 28.88/28.98 c ---[341175]---> BDD-cost: 379 28.88/28.99 c ---[341174]---> BDD-cost: 379 28.88/29.00 c ---[341173]---> BDD-cost: 379 28.98/29.00 c ---[341172]---> BDD-cost: 379 28.98/29.01 c ---[341171]---> BDD-cost: 379 28.98/29.02 c ---[341170]---> BDD-cost: 379 28.98/29.03 c ---[341169]---> BDD-cost: 379 28.98/29.04 c ---[341168]---> BDD-cost: 379 28.98/29.05 c ---[341167]---> BDD-cost: 379 28.98/29.06 c ---[341166]---> BDD-cost: 379 28.98/29.07 c ---[341165]---> BDD-cost: 379 28.98/29.08 c ---[341164]---> BDD-cost: 379 28.98/29.08 c ---[341163]---> BDD-cost: 379 28.98/29.09 c ---[341162]---> BDD-cost: 379 29.08/29.10 c ---[341161]---> BDD-cost: 379 29.08/29.11 c ---[341160]---> BDD-cost: 379 29.08/29.12 c ---[341159]---> BDD-cost: 379 29.08/29.13 c ---[341158]---> BDD-cost: 379 29.08/29.14 c ---[341157]---> BDD-cost: 379 29.08/29.15 c ---[341156]---> BDD-cost: 379 29.08/29.16 c ---[341155]---> BDD-cost: 379 29.08/29.17 c ---[341154]---> BDD-cost: 379 29.08/29.17 c ---[341153]---> BDD-cost: 379 29.08/29.18 c ---[341152]---> BDD-cost: 379 29.08/29.19 c ---[341151]---> BDD-cost: 379 29.18/29.20 c ---[341150]---> BDD-cost: 379 29.18/29.21 c ---[341149]---> BDD-cost: 379 29.18/29.22 c ---[341148]---> BDD-cost: 379 29.18/29.23 c ---[341147]---> BDD-cost: 379 29.18/29.24 c ---[341146]---> BDD-cost: 379 29.18/29.25 c ---[341145]---> BDD-cost: 379 29.18/29.25 c ---[341144]---> BDD-cost: 379 29.18/29.26 c ---[341143]---> BDD-cost: 379 29.18/29.27 c ---[341142]---> BDD-cost: 379 29.18/29.28 c ---[341141]---> BDD-cost: 379 29.18/29.29 c ---[341140]---> BDD-cost: 379 29.28/29.30 c ---[341139]---> BDD-cost: 379 29.28/29.31 c ---[341138]---> BDD-cost: 379 29.28/29.32 c ---[341137]---> BDD-cost: 379 29.28/29.33 c ---[341136]---> BDD-cost: 379 29.28/29.34 c ---[341135]---> BDD-cost: 379 29.28/29.34 c ---[341134]---> BDD-cost: 379 29.28/29.35 c ---[341133]---> BDD-cost: 379 29.28/29.36 c ---[341132]---> BDD-cost: 379 29.28/29.37 c ---[341131]---> BDD-cost: 379 29.28/29.38 c ---[341130]---> BDD-cost: 379 29.28/29.39 c ---[341129]---> BDD-cost: 379 29.38/29.40 c ---[341128]---> BDD-cost: 379 29.38/29.41 c ---[341127]---> BDD-cost: 379 29.38/29.42 c ---[341126]---> BDD-cost: 379 29.38/29.43 c ---[341125]---> BDD-cost: 379 29.38/29.43 c ---[341124]---> BDD-cost: 379 29.38/29.44 c ---[341123]---> BDD-cost: 379 29.38/29.45 c ---[341122]---> BDD-cost: 379 29.38/29.46 c ---[341121]---> BDD-cost: 379 29.38/29.47 c ---[341120]---> BDD-cost: 379 29.38/29.48 c ---[341119]---> BDD-cost: 379 29.38/29.49 c ---[341118]---> BDD-cost: 379 29.48/29.50 c ---[341117]---> BDD-cost: 379 29.48/29.51 c ---[341116]---> BDD-cost: 379 29.48/29.51 c ---[341115]---> BDD-cost: 379 29.48/29.52 c ---[341114]---> BDD-cost: 379 29.48/29.53 c ---[341113]---> BDD-cost: 379 29.48/29.54 c ---[341112]---> BDD-cost: 379 29.48/29.55 c ---[341111]---> BDD-cost: 379 29.48/29.56 c ---[341110]---> BDD-cost: 379 29.48/29.57 c ---[341109]---> BDD-cost: 379 29.48/29.58 c ---[341108]---> BDD-cost: 379 29.48/29.59 c ---[341107]---> BDD-cost: 379 29.48/29.60 c ---[341106]---> BDD-cost: 379 29.59/29.60 c ---[341105]---> BDD-cost: 379 29.59/29.61 c ---[341104]---> BDD-cost: 379 29.59/29.62 c ---[341103]---> BDD-cost: 379 29.59/29.63 c ---[341102]---> BDD-cost: 379 29.59/29.64 c ---[341101]---> BDD-cost: 379 29.59/29.65 c ---[341100]---> BDD-cost: 379 29.59/29.66 c ---[341099]---> BDD-cost: 379 29.59/29.67 c ---[341098]---> BDD-cost: 379 29.59/29.68 c ---[341097]---> BDD-cost: 379 29.59/29.68 c ---[341096]---> BDD-cost: 379 29.59/29.69 c ---[341095]---> BDD-cost: 379 29.69/29.70 c ---[341094]---> BDD-cost: 379 29.69/29.71 c ---[341093]---> BDD-cost: 379 29.69/29.72 c ---[341092]---> BDD-cost: 379 29.69/29.73 c ---[341091]---> BDD-cost: 379 29.69/29.74 c ---[341090]---> BDD-cost: 379 29.69/29.75 c ---[341089]---> BDD-cost: 379 29.69/29.76 c ---[341088]---> BDD-cost: 379 29.69/29.77 c ---[341087]---> BDD-cost: 379 29.69/29.77 c ---[341086]---> BDD-cost: 379 29.69/29.78 c ---[341085]---> BDD-cost: 379 29.69/29.79 c ---[341084]---> BDD-cost: 379 29.79/29.80 c ---[341083]---> BDD-cost: 379 29.79/29.81 c ---[341082]---> BDD-cost: 379 29.79/29.82 c ---[341081]---> BDD-cost: 379 29.79/29.83 c ---[341080]---> BDD-cost: 379 29.79/29.84 c ---[341079]---> BDD-cost: 379 29.79/29.85 c ---[341078]---> BDD-cost: 379 29.79/29.85 c ---[341077]---> BDD-cost: 379 29.79/29.86 c ---[341076]---> BDD-cost: 379 29.79/29.87 c ---[341075]---> BDD-cost: 379 29.79/29.88 c ---[341074]---> BDD-cost: 379 29.79/29.89 c ---[341073]---> BDD-cost: 379 29.89/29.90 c ---[341072]---> BDD-cost: 379 29.89/29.91 c ---[341071]---> BDD-cost: 379 29.89/29.92 c ---[341070]---> BDD-cost: 379 29.89/29.93 c ---[341069]---> BDD-cost: 379 29.89/29.94 c ---[341068]---> BDD-cost: 379 29.89/29.94 c ---[341067]---> BDD-cost: 379 29.89/29.95 c ---[341066]---> BDD-cost: 379 29.89/29.96 c ---[341065]---> BDD-cost: 379 29.89/29.97 c ---[341064]---> BDD-cost: 379 29.89/29.98 c ---[341063]---> BDD-cost: 379 29.89/29.99 c ---[341062]---> BDD-cost: 379 29.99/30.00 c ---[341061]---> BDD-cost: 379 29.99/30.01 c ---[341060]---> BDD-cost: 379 29.99/30.02 c ---[341059]---> BDD-cost: 379 29.99/30.03 c ---[341058]---> BDD-cost: 379 29.99/30.03 c ---[341057]---> BDD-cost: 379 29.99/30.04 c ---[341056]---> BDD-cost: 379 29.99/30.05 c ---[341055]---> BDD-cost: 379 29.99/30.06 c ---[341054]---> BDD-cost: 379 29.99/30.07 c ---[341053]---> BDD-cost: 379 29.99/30.08 c ---[341052]---> BDD-cost: 379 29.99/30.09 c ---[341051]---> BDD-cost: 379 30.09/30.10 c ---[341050]---> BDD-cost: 379 30.09/30.11 c ---[341049]---> BDD-cost: 379 30.09/30.12 c ---[341048]---> BDD-cost: 379 30.09/30.12 c ---[341047]---> BDD-cost: 379 30.09/30.13 c ---[341046]---> BDD-cost: 379 30.09/30.14 c ---[341045]---> BDD-cost: 379 30.09/30.15 c ---[341044]---> BDD-cost: 379 30.09/30.16 c ---[341043]---> BDD-cost: 379 30.09/30.17 c ---[341042]---> BDD-cost: 379 30.09/30.18 c ---[341041]---> BDD-cost: 379 30.09/30.19 c ---[341040]---> BDD-cost: 379 30.19/30.20 c ---[341039]---> BDD-cost: 379 30.19/30.20 c ---[341038]---> BDD-cost: 379 30.19/30.21 c ---[341037]---> BDD-cost: 379 30.19/30.22 c ---[341036]---> BDD-cost: 379 30.19/30.23 c ---[341035]---> BDD-cost: 379 30.19/30.24 c ---[341034]---> BDD-cost: 379 30.19/30.25 c ---[341033]---> BDD-cost: 379 30.19/30.26 c ---[341032]---> BDD-cost: 379 30.19/30.27 c ---[341031]---> BDD-cost: 379 30.19/30.28 c ---[341030]---> BDD-cost: 379 30.19/30.29 c ---[341029]---> BDD-cost: 379 30.19/30.29 c ---[341028]---> BDD-cost: 379 30.29/30.30 c ---[341027]---> BDD-cost: 379 30.29/30.31 c ---[341026]---> BDD-cost: 379 30.29/30.32 c ---[341025]---> BDD-cost: 379 30.29/30.33 c ---[341024]---> BDD-cost: 379 30.29/30.34 c ---[341023]---> BDD-cost: 379 30.29/30.35 c ---[341022]---> BDD-cost: 379 30.29/30.36 c ---[341021]---> BDD-cost: 379 30.29/30.37 c ---[341020]---> BDD-cost: 379 30.29/30.37 c ---[341019]---> BDD-cost: 379 30.29/30.38 c ---[341018]---> BDD-cost: 379 30.29/30.39 c ---[341017]---> BDD-cost: 379 30.39/30.40 c ---[341016]---> BDD-cost: 379 30.39/30.41 c ---[341015]---> BDD-cost: 379 30.39/30.42 c ---[341014]---> BDD-cost: 379 30.39/30.43 c ---[341013]---> BDD-cost: 379 30.39/30.44 c ---[341012]---> BDD-cost: 379 30.39/30.45 c ---[341011]---> BDD-cost: 379 30.39/30.46 c ---[341010]---> BDD-cost: 379 30.39/30.46 c ---[341009]---> BDD-cost: 379 30.39/30.47 c ---[341008]---> BDD-cost: 379 30.39/30.48 c ---[341007]---> BDD-cost: 379 30.39/30.49 c ---[341006]---> BDD-cost: 379 30.49/30.50 c ---[341005]---> BDD-cost: 379 30.49/30.51 c ---[341004]---> BDD-cost: 379 30.49/30.52 c ---[341003]---> BDD-cost: 379 30.49/30.53 c ---[341002]---> BDD-cost: 379 30.49/30.54 c ---[341001]---> BDD-cost: 379 30.49/30.55 c ---[341000]---> BDD-cost: 379 30.49/30.55 c ---[340999]---> BDD-cost: 379 30.49/30.56 c ---[340998]---> BDD-cost: 379 30.49/30.57 c ---[340997]---> BDD-cost: 379 30.49/30.58 c ---[340996]---> BDD-cost: 379 30.49/30.59 c ---[340995]---> BDD-cost: 379 30.59/30.60 c ---[340994]---> BDD-cost: 379 30.59/30.61 c ---[340993]---> BDD-cost: 379 30.59/30.62 c ---[340992]---> BDD-cost: 379 30.59/30.63 c ---[340991]---> BDD-cost: 379 30.59/30.64 c ---[340990]---> BDD-cost: 379 30.59/30.64 c ---[340989]---> BDD-cost: 379 30.59/30.65 c ---[340988]---> BDD-cost: 379 30.59/30.66 c ---[340987]---> BDD-cost: 379 30.59/30.67 c ---[340986]---> BDD-cost: 379 30.59/30.68 c ---[340985]---> BDD-cost: 379 30.59/30.69 c ---[340984]---> BDD-cost: 379 30.59/30.70 c ---[340983]---> BDD-cost: 379 30.69/30.71 c ---[340982]---> BDD-cost: 379 30.69/30.72 c ---[340981]---> BDD-cost: 379 30.69/30.72 c ---[340980]---> BDD-cost: 379 30.69/30.73 c ---[340979]---> BDD-cost: 379 30.69/30.74 c ---[340978]---> BDD-cost: 379 30.69/30.75 c ---[340977]---> BDD-cost: 379 30.69/30.76 c ---[340976]---> BDD-cost: 379 30.69/30.77 c ---[340975]---> BDD-cost: 379 30.69/30.78 c ---[340974]---> BDD-cost: 379 30.69/30.79 c ---[340973]---> BDD-cost: 379 30.69/30.80 c ---[340972]---> BDD-cost: 379 30.79/30.81 c ---[340971]---> BDD-cost: 379 30.79/30.81 c ---[340970]---> BDD-cost: 379 30.79/30.82 c ---[340969]---> BDD-cost: 379 30.79/30.83 c ---[340968]---> BDD-cost: 379 30.79/30.84 c ---[340967]---> BDD-cost: 379 30.79/30.85 c ---[340966]---> BDD-cost: 379 30.79/30.86 c ---[340965]---> BDD-cost: 379 30.79/30.87 c ---[340964]---> BDD-cost: 379 30.79/30.88 c ---[340963]---> BDD-cost: 379 30.79/30.89 c ---[340962]---> BDD-cost: 379 30.79/30.89 c ---[340961]---> BDD-cost: 379 30.89/30.90 c ---[340960]---> BDD-cost: 379 30.89/30.91 c ---[340959]---> BDD-cost: 379 30.89/30.92 c ---[340958]---> BDD-cost: 379 30.89/30.93 c ---[340957]---> BDD-cost: 379 30.89/30.94 c ---[340956]---> BDD-cost: 379 30.89/30.95 c ---[340955]---> BDD-cost: 379 30.89/30.96 c ---[340954]---> BDD-cost: 379 30.89/30.97 c ---[340953]---> BDD-cost: 379 30.89/30.98 c ---[340952]---> BDD-cost: 379 30.89/30.98 c ---[340951]---> BDD-cost: 379 30.89/30.99 c ---[340950]---> BDD-cost: 379 30.99/31.00 c ---[340949]---> BDD-cost: 379 30.99/31.01 c ---[340948]---> BDD-cost: 379 30.99/31.02 c ---[340947]---> BDD-cost: 379 30.99/31.03 c ---[340946]---> BDD-cost: 379 30.99/31.04 c ---[340945]---> BDD-cost: 379 30.99/31.05 c ---[340944]---> BDD-cost: 379 30.99/31.06 c ---[340943]---> BDD-cost: 379 30.99/31.06 c ---[340942]---> BDD-cost: 379 30.99/31.07 c ---[340941]---> BDD-cost: 379 30.99/31.08 c ---[340940]---> BDD-cost: 379 30.99/31.09 c ---[340939]---> BDD-cost: 379 31.09/31.10 c ---[340938]---> BDD-cost: 379 31.09/31.11 c ---[340937]---> BDD-cost: 379 31.09/31.12 c ---[340936]---> BDD-cost: 379 31.09/31.13 c ---[340935]---> BDD-cost: 379 31.09/31.14 c ---[340934]---> BDD-cost: 379 31.09/31.15 c ---[340933]---> BDD-cost: 379 31.09/31.15 c ---[340932]---> BDD-cost: 379 31.09/31.16 c ---[340931]---> BDD-cost: 379 31.09/31.17 c ---[340930]---> BDD-cost: 379 31.09/31.18 c ---[340929]---> BDD-cost: 379 31.09/31.19 c ---[340928]---> BDD-cost: 379 31.19/31.20 c ---[340927]---> BDD-cost: 379 31.19/31.21 c ---[340926]---> BDD-cost: 379 31.19/31.22 c ---[340925]---> BDD-cost: 379 31.19/31.23 c ---[340924]---> BDD-cost: 379 31.19/31.23 c ---[340923]---> BDD-cost: 379 31.19/31.24 c ---[340922]---> BDD-cost: 379 31.19/31.25 c ---[340921]---> BDD-cost: 379 31.19/31.26 c ---[340920]---> BDD-cost: 379 31.19/31.27 c ---[340919]---> BDD-cost: 379 31.19/31.28 c ---[340918]---> BDD-cost: 379 31.19/31.29 c ---[340917]---> BDD-cost: 379 31.29/31.30 c ---[340916]---> BDD-cost: 379 31.29/31.31 c ---[340915]---> BDD-cost: 379 31.29/31.32 c ---[340914]---> BDD-cost: 379 31.29/31.32 c ---[340913]---> BDD-cost: 379 31.29/31.33 c ---[340912]---> BDD-cost: 379 31.29/31.34 c ---[340911]---> BDD-cost: 379 31.29/31.35 c ---[340910]---> BDD-cost: 379 31.29/31.36 c ---[340909]---> BDD-cost: 379 31.29/31.37 c ---[340908]---> BDD-cost: 379 31.29/31.38 c ---[340907]---> BDD-cost: 379 31.29/31.39 c ---[340906]---> BDD-cost: 379 31.39/31.40 c ---[340905]---> BDD-cost: 379 31.39/31.40 c ---[340904]---> BDD-cost: 379 31.39/31.41 c ---[340903]---> BDD-cost: 379 31.39/31.42 c ---[340902]---> BDD-cost: 379 31.39/31.43 c ---[340901]---> BDD-cost: 379 31.39/31.44 c ---[340900]---> BDD-cost: 379 31.39/31.45 c ---[340899]---> BDD-cost: 379 31.39/31.46 c ---[340898]---> BDD-cost: 379 31.39/31.47 c ---[340897]---> BDD-cost: 379 31.39/31.48 c ---[340896]---> BDD-cost: 379 31.39/31.49 c ---[340895]---> BDD-cost: 379 31.39/31.49 c ---[340894]---> BDD-cost: 379 31.48/31.50 c ---[340893]---> BDD-cost: 379 31.48/31.51 c ---[340892]---> BDD-cost: 379 31.48/31.52 c ---[340891]---> BDD-cost: 379 31.48/31.53 c ---[340890]---> BDD-cost: 379 31.48/31.54 c ---[340889]---> BDD-cost: 379 31.48/31.55 c ---[340888]---> BDD-cost: 379 31.48/31.56 c ---[340887]---> BDD-cost: 379 31.48/31.57 c ---[340886]---> BDD-cost: 379 31.48/31.57 c ---[340885]---> BDD-cost: 379 31.48/31.58 c ---[340884]---> BDD-cost: 379 31.48/31.59 c ---[340883]---> BDD-cost: 379 31.58/31.60 c ---[340882]---> BDD-cost: 379 31.58/31.61 c ---[340881]---> BDD-cost: 379 31.58/31.62 c ---[340880]---> BDD-cost: 379 31.58/31.63 c ---[340879]---> BDD-cost: 379 31.58/31.64 c ---[340878]---> BDD-cost: 379 31.58/31.65 c ---[340877]---> BDD-cost: 379 31.58/31.66 c ---[340876]---> BDD-cost: 379 31.58/31.66 c ---[340875]---> BDD-cost: 379 31.58/31.67 c ---[340874]---> BDD-cost: 379 31.58/31.68 c ---[340873]---> BDD-cost: 379 31.58/31.69 c ---[340872]---> BDD-cost: 379 31.68/31.70 c ---[340871]---> BDD-cost: 379 31.68/31.71 c ---[340870]---> BDD-cost: 379 31.68/31.72 c ---[340869]---> BDD-cost: 379 31.68/31.73 c ---[340868]---> BDD-cost: 379 31.68/31.74 c ---[340867]---> BDD-cost: 379 31.68/31.74 c ---[340866]---> BDD-cost: 379 31.68/31.75 c ---[340865]---> BDD-cost: 379 31.68/31.76 c ---[340864]---> BDD-cost: 379 31.79/31.85 c ---[340863]---> BDD-cost: 379 31.79/31.86 c ---[340862]---> BDD-cost: 379 31.79/31.87 c ---[340861]---> BDD-cost: 379 31.79/31.88 c ---[340860]---> BDD-cost: 379 31.79/31.89 c ---[340859]---> BDD-cost: 379 31.79/31.89 c ---[340858]---> BDD-cost: 379 31.89/31.90 c ---[340857]---> BDD-cost: 379 31.89/31.91 c ---[340856]---> BDD-cost: 379 31.89/31.92 c ---[340855]---> BDD-cost: 379 31.89/31.93 c ---[340854]---> BDD-cost: 379 31.89/31.94 c ---[340853]---> BDD-cost: 379 31.89/31.95 c ---[340852]---> BDD-cost: 379 31.89/31.96 c ---[340851]---> BDD-cost: 379 31.89/31.97 c ---[340850]---> BDD-cost: 379 31.89/31.97 c ---[340849]---> BDD-cost: 379 31.89/31.98 c ---[340848]---> BDD-cost: 379 31.89/31.99 c ---[340847]---> BDD-cost: 379 31.98/32.00 c ---[340846]---> BDD-cost: 379 31.98/32.01 c ---[340845]---> BDD-cost: 379 31.98/32.02 c ---[340844]---> BDD-cost: 379 31.98/32.03 c ---[340843]---> BDD-cost: 379 31.98/32.04 c ---[340842]---> BDD-cost: 379 31.98/32.05 c ---[340841]---> BDD-cost: 379 31.98/32.06 c ---[340840]---> BDD-cost: 379 31.98/32.06 c ---[340839]---> BDD-cost: 379 31.98/32.07 c ---[340838]---> BDD-cost: 379 31.98/32.08 c ---[340837]---> BDD-cost: 379 31.98/32.09 c ---[340836]---> BDD-cost: 379 32.08/32.10 c ---[340835]---> BDD-cost: 379 32.08/32.11 c ---[340834]---> BDD-cost: 379 32.08/32.12 c ---[340833]---> BDD-cost: 379 32.08/32.13 c ---[340832]---> BDD-cost: 379 32.08/32.14 c ---[340831]---> BDD-cost: 379 32.08/32.15 c ---[340830]---> BDD-cost: 379 32.08/32.15 c ---[340829]---> BDD-cost: 379 32.08/32.16 c ---[340828]---> BDD-cost: 379 32.08/32.17 c ---[340827]---> BDD-cost: 379 32.08/32.18 c ---[340826]---> BDD-cost: 379 32.08/32.19 c ---[340825]---> BDD-cost: 379 32.18/32.20 c ---[340824]---> BDD-cost: 379 32.18/32.21 c ---[340823]---> BDD-cost: 379 32.18/32.22 c ---[340822]---> BDD-cost: 379 32.18/32.23 c ---[340821]---> BDD-cost: 379 32.18/32.23 c ---[340820]---> BDD-cost: 379 32.18/32.24 c ---[340819]---> BDD-cost: 379 32.18/32.25 c ---[340818]---> BDD-cost: 379 32.18/32.26 c ---[340817]---> BDD-cost: 379 32.18/32.27 c ---[340816]---> BDD-cost: 379 32.18/32.28 c ---[340815]---> BDD-cost: 379 32.18/32.29 c ---[340814]---> BDD-cost: 379 32.28/32.30 c ---[340813]---> BDD-cost: 379 32.28/32.31 c ---[340812]---> BDD-cost: 379 32.28/32.32 c ---[340811]---> BDD-cost: 379 32.28/32.32 c ---[340810]---> BDD-cost: 379 32.28/32.33 c ---[340809]---> BDD-cost: 379 32.28/32.34 c ---[340808]---> BDD-cost: 379 32.28/32.35 c ---[340807]---> BDD-cost: 379 32.28/32.36 c ---[340806]---> BDD-cost: 379 32.28/32.37 c ---[340805]---> BDD-cost: 379 32.28/32.38 c ---[340804]---> BDD-cost: 379 32.28/32.39 c ---[340803]---> BDD-cost: 379 32.38/32.40 c ---[340802]---> BDD-cost: 379 32.38/32.40 c ---[340801]---> BDD-cost: 379 32.38/32.41 c ---[340800]---> BDD-cost: 379 32.38/32.42 c ---[340799]---> BDD-cost: 379 32.38/32.43 c ---[340798]---> BDD-cost: 379 32.38/32.44 c ---[340797]---> BDD-cost: 379 32.38/32.45 c ---[340796]---> BDD-cost: 379 32.38/32.46 c ---[340795]---> BDD-cost: 379 32.38/32.47 c ---[340794]---> BDD-cost: 379 32.38/32.48 c ---[340793]---> BDD-cost: 379 32.38/32.49 c ---[340792]---> BDD-cost: 379 32.38/32.49 c ---[340791]---> BDD-cost: 379 32.48/32.50 c ---[340790]---> BDD-cost: 379 32.48/32.51 c ---[340789]---> BDD-cost: 379 32.48/32.52 c ---[340788]---> BDD-cost: 379 32.48/32.53 c ---[340787]---> BDD-cost: 379 32.48/32.54 c ---[340786]---> BDD-cost: 379 32.48/32.55 c ---[340785]---> BDD-cost: 379 32.48/32.56 c ---[340784]---> BDD-cost: 379 32.48/32.57 c ---[340783]---> BDD-cost: 379 32.48/32.57 c ---[340782]---> BDD-cost: 379 32.48/32.58 c ---[340781]---> BDD-cost: 379 32.48/32.59 c ---[340780]---> BDD-cost: 379 32.58/32.60 c ---[340779]---> BDD-cost: 379 32.58/32.61 c ---[340778]---> BDD-cost: 379 32.58/32.62 c ---[340777]---> BDD-cost: 379 32.58/32.63 c ---[340776]---> BDD-cost: 379 32.58/32.64 c ---[340775]---> BDD-cost: 379 32.58/32.65 c ---[340774]---> BDD-cost: 379 32.58/32.66 c ---[340773]---> BDD-cost: 379 32.58/32.66 c ---[340772]---> BDD-cost: 379 32.58/32.67 c ---[340771]---> BDD-cost: 379 32.58/32.68 c ---[340770]---> BDD-cost: 379 32.58/32.69 c ---[340769]---> BDD-cost: 379 32.68/32.70 c ---[340768]---> BDD-cost: 379 32.68/32.71 c ---[340767]---> BDD-cost: 379 32.68/32.72 c ---[340766]---> BDD-cost: 379 32.68/32.73 c ---[340765]---> BDD-cost: 379 32.68/32.74 c ---[340764]---> BDD-cost: 379 32.68/32.75 c ---[340763]---> BDD-cost: 379 32.68/32.75 c ---[340762]---> BDD-cost: 379 32.68/32.76 c ---[340761]---> BDD-cost: 379 32.68/32.77 c ---[340760]---> BDD-cost: 379 32.68/32.78 c ---[340759]---> BDD-cost: 379 32.68/32.79 c ---[340758]---> BDD-cost: 379 32.78/32.80 c ---[340757]---> BDD-cost: 379 32.78/32.81 c ---[340756]---> BDD-cost: 379 32.78/32.82 c ---[340755]---> BDD-cost: 379 32.78/32.83 c ---[340754]---> BDD-cost: 379 32.78/32.83 c ---[340753]---> BDD-cost: 379 32.78/32.84 c ---[340752]---> BDD-cost: 379 32.78/32.85 c ---[340751]---> BDD-cost: 379 32.78/32.86 c ---[340750]---> BDD-cost: 379 32.78/32.87 c ---[340749]---> BDD-cost: 379 32.78/32.88 c ---[340748]---> BDD-cost: 379 32.78/32.89 c ---[340747]---> BDD-cost: 379 32.78/32.90 c ---[340746]---> BDD-cost: 379 32.89/32.91 c ---[340745]---> BDD-cost: 379 32.89/32.92 c ---[340744]---> BDD-cost: 379 32.89/32.92 c ---[340743]---> BDD-cost: 379 32.89/32.93 c ---[340742]---> BDD-cost: 379 32.89/32.94 c ---[340741]---> BDD-cost: 379 32.89/32.95 c ---[340740]---> BDD-cost: 379 32.89/32.96 c ---[340739]---> BDD-cost: 379 32.89/32.97 c ---[340738]---> BDD-cost: 379 32.89/32.98 c ---[340737]---> BDD-cost: 379 32.89/32.99 c ---[340736]---> BDD-cost: 379 32.89/33.00 c ---[340735]---> BDD-cost: 379 32.99/33.01 c ---[340734]---> BDD-cost: 379 32.99/33.01 c ---[340733]---> BDD-cost: 379 32.99/33.02 c ---[340732]---> BDD-cost: 379 32.99/33.03 c ---[340731]---> BDD-cost: 379 32.99/33.04 c ---[340730]---> BDD-cost: 379 32.99/33.05 c ---[340729]---> BDD-cost: 379 32.99/33.06 c ---[340728]---> BDD-cost: 379 32.99/33.07 c ---[340727]---> BDD-cost: 379 32.99/33.08 c ---[340726]---> BDD-cost: 379 32.99/33.09 c ---[340725]---> BDD-cost: 379 33.08/33.10 c ---[340724]---> BDD-cost: 379 33.08/33.10 c ---[340723]---> BDD-cost: 379 33.08/33.11 c ---[340722]---> BDD-cost: 379 33.08/33.12 c ---[340721]---> BDD-cost: 379 33.08/33.13 c ---[340720]---> BDD-cost: 379 33.08/33.14 c ---[340719]---> BDD-cost: 379 33.08/33.15 c ---[340718]---> BDD-cost: 379 33.08/33.16 c ---[340717]---> BDD-cost: 379 33.08/33.17 c ---[340716]---> BDD-cost: 379 33.08/33.18 c ---[340715]---> BDD-cost: 379 33.08/33.19 c ---[340714]---> BDD-cost: 379 33.08/33.19 c ---[340713]---> BDD-cost: 379 33.18/33.20 c ---[340712]---> BDD-cost: 379 33.18/33.21 c ---[340711]---> BDD-cost: 379 33.18/33.22 c ---[340710]---> BDD-cost: 379 33.18/33.23 c ---[340709]---> BDD-cost: 379 33.18/33.24 c ---[340708]---> BDD-cost: 379 33.18/33.25 c ---[340707]---> BDD-cost: 379 33.18/33.26 c ---[340706]---> BDD-cost: 379 33.18/33.27 c ---[340705]---> BDD-cost: 379 33.18/33.28 c ---[340704]---> BDD-cost: 379 33.18/33.28 c ---[340703]---> BDD-cost: 379 33.18/33.29 c ---[340702]---> BDD-cost: 379 33.28/33.30 c ---[340701]---> BDD-cost: 379 33.28/33.31 c ---[340700]---> BDD-cost: 379 33.28/33.32 c ---[340699]---> BDD-cost: 379 33.28/33.33 c ---[340698]---> BDD-cost: 379 33.28/33.34 c ---[340697]---> BDD-cost: 379 33.28/33.35 c ---[340696]---> BDD-cost: 379 33.28/33.36 c ---[340695]---> BDD-cost: 379 33.28/33.36 c ---[340694]---> BDD-cost: 379 33.28/33.37 c ---[340693]---> BDD-cost: 379 33.28/33.38 c ---[340692]---> BDD-cost: 379 33.28/33.39 c ---[340691]---> BDD-cost: 379 33.38/33.40 c ---[340690]---> BDD-cost: 379 33.38/33.41 c ---[340689]---> BDD-cost: 379 33.38/33.42 c ---[340688]---> BDD-cost: 379 33.38/33.43 c ---[340687]---> BDD-cost: 379 33.38/33.44 c ---[340686]---> BDD-cost: 379 33.38/33.45 c ---[340685]---> BDD-cost: 379 33.38/33.46 c ---[340684]---> BDD-cost: 379 33.38/33.46 c ---[340683]---> BDD-cost: 379 33.38/33.47 c ---[340682]---> BDD-cost: 379 33.38/33.48 c ---[340681]---> BDD-cost: 379 33.38/33.49 c ---[340680]---> BDD-cost: 379 33.48/33.50 c ---[340679]---> BDD-cost: 379 33.48/33.51 c ---[340678]---> BDD-cost: 379 33.48/33.52 c ---[340677]---> BDD-cost: 379 33.48/33.53 c ---[340676]---> BDD-cost: 379 33.48/33.54 c ---[340675]---> BDD-cost: 379 33.48/33.55 c ---[340674]---> BDD-cost: 379 33.48/33.55 c ---[340673]---> BDD-cost: 379 33.48/33.56 c ---[340672]---> BDD-cost: 379 33.48/33.57 c ---[340671]---> BDD-cost: 379 33.48/33.58 c ---[340670]---> BDD-cost: 379 33.48/33.59 c ---[340669]---> BDD-cost: 379 33.58/33.60 c ---[340668]---> BDD-cost: 379 33.58/33.61 c ---[340667]---> BDD-cost: 379 33.58/33.62 c ---[340666]---> BDD-cost: 379 33.58/33.63 c ---[340665]---> BDD-cost: 379 33.58/33.64 c ---[340664]---> BDD-cost: 379 33.58/33.64 c ---[340663]---> BDD-cost: 379 33.58/33.65 c ---[340662]---> BDD-cost: 379 33.58/33.66 c ---[340661]---> BDD-cost: 379 33.58/33.67 c ---[340660]---> BDD-cost: 379 33.58/33.68 c ---[340659]---> BDD-cost: 379 33.58/33.69 c ---[340658]---> BDD-cost: 379 33.68/33.70 c ---[340657]---> BDD-cost: 379 33.68/33.71 c ---[340656]---> BDD-cost: 379 33.68/33.72 c ---[340655]---> BDD-cost: 379 33.68/33.73 c ---[340654]---> BDD-cost: 379 33.68/33.73 c ---[340653]---> BDD-cost: 379 33.68/33.74 c ---[340652]---> BDD-cost: 379 33.68/33.75 c ---[340651]---> BDD-cost: 379 33.68/33.76 c ---[340650]---> BDD-cost: 379 33.68/33.77 c ---[340649]---> BDD-cost: 379 33.68/33.78 c ---[340648]---> BDD-cost: 379 33.68/33.79 c ---[340647]---> BDD-cost: 379 33.79/33.80 c ---[340646]---> BDD-cost: 379 33.79/33.81 c ---[340645]---> BDD-cost: 379 33.79/33.82 c ---[340644]---> BDD-cost: 379 33.79/33.82 c ---[340643]---> BDD-cost: 379 33.79/33.83 c ---[340642]---> BDD-cost: 379 33.79/33.84 c ---[340641]---> BDD-cost: 379 33.79/33.85 c ---[340640]---> BDD-cost: 379 33.79/33.86 c ---[340639]---> BDD-cost: 379 33.79/33.87 c ---[340638]---> BDD-cost: 379 33.79/33.88 c ---[340637]---> BDD-cost: 379 33.79/33.89 c ---[340636]---> BDD-cost: 379 33.89/33.90 c ---[340635]---> BDD-cost: 379 33.89/33.91 c ---[340634]---> BDD-cost: 379 33.89/33.91 c ---[340633]---> BDD-cost: 379 33.89/33.92 c ---[340632]---> BDD-cost: 379 33.89/33.93 c ---[340631]---> BDD-cost: 379 33.89/33.94 c ---[340630]---> BDD-cost: 379 33.89/33.95 c ---[340629]---> BDD-cost: 379 33.89/33.96 c ---[340628]---> BDD-cost: 379 33.89/33.97 c ---[340627]---> BDD-cost: 379 33.89/33.98 c ---[340626]---> BDD-cost: 379 33.89/33.99 c ---[340625]---> BDD-cost: 379 33.89/33.99 c ---[340624]---> BDD-cost: 379 33.99/34.00 c ---[340623]---> BDD-cost: 379 33.99/34.01 c ---[340622]---> BDD-cost: 379 33.99/34.02 c ---[340621]---> BDD-cost: 379 33.99/34.03 c ---[340620]---> BDD-cost: 379 33.99/34.04 c ---[340619]---> BDD-cost: 379 33.99/34.05 c ---[340618]---> BDD-cost: 379 33.99/34.06 c ---[340617]---> BDD-cost: 379 33.99/34.07 c ---[340616]---> BDD-cost: 379 33.99/34.08 c ---[340615]---> BDD-cost: 379 33.99/34.08 c ---[340614]---> BDD-cost: 379 33.99/34.09 c ---[340613]---> BDD-cost: 379 34.09/34.10 c ---[340612]---> BDD-cost: 379 34.09/34.11 c ---[340611]---> BDD-cost: 379 34.09/34.12 c ---[340610]---> BDD-cost: 379 34.09/34.13 c ---[340609]---> BDD-cost: 379 34.09/34.14 c ---[340608]---> BDD-cost: 379 34.09/34.15 c ---[340607]---> BDD-cost: 379 34.09/34.16 c ---[340606]---> BDD-cost: 379 34.09/34.17 c ---[340605]---> BDD-cost: 379 34.09/34.17 c ---[340604]---> BDD-cost: 379 34.09/34.18 c ---[340603]---> BDD-cost: 379 34.09/34.19 c ---[340602]---> BDD-cost: 379 34.19/34.20 c ---[340601]---> BDD-cost: 379 34.19/34.21 c ---[340600]---> BDD-cost: 379 34.19/34.22 c ---[340599]---> BDD-cost: 379 34.19/34.23 c ---[340598]---> BDD-cost: 379 34.19/34.24 c ---[340597]---> BDD-cost: 379 34.19/34.25 c ---[340596]---> BDD-cost: 379 34.19/34.26 c ---[340595]---> BDD-cost: 379 34.19/34.27 c ---[340594]---> BDD-cost: 379 34.19/34.27 c ---[340593]---> BDD-cost: 379 34.19/34.28 c ---[340592]---> BDD-cost: 379 34.19/34.29 c ---[340591]---> BDD-cost: 379 34.29/34.30 c ---[340590]---> BDD-cost: 379 34.29/34.31 c ---[340589]---> BDD-cost: 379 34.29/34.32 c ---[340588]---> BDD-cost: 379 34.29/34.33 c ---[340587]---> BDD-cost: 379 34.29/34.34 c ---[340586]---> BDD-cost: 379 34.29/34.35 c ---[340585]---> BDD-cost: 379 34.29/34.36 c ---[340584]---> BDD-cost: 379 34.29/34.36 c ---[340583]---> BDD-cost: 379 34.29/34.37 c ---[340582]---> BDD-cost: 379 34.29/34.38 c ---[340581]---> BDD-cost: 379 34.29/34.39 c ---[340580]---> BDD-cost: 379 34.39/34.40 c ---[340579]---> BDD-cost: 379 34.39/34.41 c ---[340578]---> BDD-cost: 379 34.39/34.42 c ---[340577]---> BDD-cost: 379 34.39/34.43 c ---[340576]---> BDD-cost: 379 34.39/34.44 c ---[340575]---> BDD-cost: 379 34.39/34.44 c ---[340574]---> BDD-cost: 379 34.39/34.45 c ---[340573]---> BDD-cost: 379 34.39/34.46 c ---[340572]---> BDD-cost: 379 34.39/34.47 c ---[340571]---> BDD-cost: 379 34.39/34.48 c ---[340570]---> BDD-cost: 379 34.39/34.49 c ---[340569]---> BDD-cost: 379 34.49/34.50 c ---[340568]---> BDD-cost: 379 34.49/34.51 c ---[340567]---> BDD-cost: 379 34.49/34.52 c ---[340566]---> BDD-cost: 379 34.49/34.53 c ---[340565]---> BDD-cost: 379 34.49/34.53 c ---[340564]---> BDD-cost: 379 34.49/34.54 c ---[340563]---> BDD-cost: 379 34.49/34.55 c ---[340562]---> BDD-cost: 379 34.49/34.56 c ---[340561]---> BDD-cost: 379 34.49/34.57 c ---[340560]---> BDD-cost: 379 34.49/34.58 c ---[340559]---> BDD-cost: 379 34.49/34.59 c ---[340558]---> BDD-cost: 379 34.59/34.60 c ---[340557]---> BDD-cost: 379 34.59/34.61 c ---[340556]---> BDD-cost: 379 34.59/34.62 c ---[340555]---> BDD-cost: 379 34.59/34.62 c ---[340554]---> BDD-cost: 379 34.59/34.63 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-3722339-1338565227/watcher-3722339-1338565227 -o /tmp/evaluation-result-3722339-1338565227/solver-3722339-1338565227 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3722339-1338565227.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.01 2.04 2.00 3/177 25066 /proc/meminfo: memFree=27826588/32873844 swapFree=7628/7628 [pid=25066] ppid=25064 vsize=2324 CPUtime=0 cores=0,2,4,6 /proc/25066/stat : 25066 (minisat+) R 25064 25066 23511 0 -1 4202496 386 0 0 0 0 0 0 0 20 0 1 0 322647231 2379776 343 33554432000 134512640 135395479 4289882096 4289881064 135031278 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25066/statm: 581 343 67 216 0 363 0 [startup+0.090411 s] /proc/loadavg: 2.01 2.04 2.00 3/177 25066 /proc/meminfo: memFree=27826588/32873844 swapFree=7628/7628 [pid=25066] ppid=25064 vsize=15312 CPUtime=0.08 cores=0,2,4,6 /proc/25066/stat : 25066 (minisat+) R 25064 25066 23511 0 -1 4202496 3780 0 0 0 8 0 0 0 20 0 1 0 322647231 15679488 3440 33554432000 134512640 135395479 4289882096 4289881064 135031278 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25066/statm: 3828 3442 67 216 0 3610 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 15312 [startup+0.100318 s] /proc/loadavg: 2.01 2.04 2.00 3/177 25066 /proc/meminfo: memFree=27826588/32873844 swapFree=7628/7628 [pid=25066] ppid=25064 vsize=17960 CPUtime=0.09 cores=0,2,4,6 /proc/25066/stat : 25066 (minisat+) R 25064 25066 23511 0 -1 4202496 4139 0 0 0 9 0 0 0 20 0 1 0 322647231 18391040 3799 33554432000 134512640 135395479 4289882096 4289881064 135031278 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25066/statm: 4490 3800 67 216 0 4272 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17960 [startup+0.30028 s] /proc/loadavg: 2.01 2.04 2.00 3/177 25066 /proc/meminfo: memFree=27826588/32873844 swapFree=7628/7628 [pid=25066] ppid=25064 vsize=49416 CPUtime=0.29 cores=0,2,4,6 /proc/25066/stat : 25066 (minisat+) R 25064 25066 23511 0 -1 4202496 11644 0 0 0 27 2 0 0 20 0 1 0 322647231 50601984 10975 33554432000 134512640 135395479 4289882096 4289881104 134617375 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25066/statm: 12354 10980 68 216 0 12136 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 49416 [startup+0.700278 s] /proc/loadavg: 2.01 2.04 2.00 3/177 25066 /proc/meminfo: memFree=27826588/32873844 swapFree=7628/7628 [pid=25066] ppid=25064 vsize=66148 CPUtime=0.69 cores=0,2,4,6 /proc/25066/stat : 25066 (minisat+) R 25064 25066 23511 0 -1 4202496 15453 0 0 0 66 3 0 0 20 0 1 0 322647231 67735552 14694 33554432000 134512640 135395479 4289882096 4289880928 134618678 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25066/statm: 16537 14694 74 216 0 16319 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 66148 [startup+1.50027 s] /proc/loadavg: 2.01 2.04 2.00 3/178 25067 /proc/meminfo: memFree=27762608/32873844 swapFree=7628/7628 [pid=25066] ppid=25064 vsize=82600 CPUtime=1.49 cores=0,2,4,6 /proc/25066/stat : 25066 (minisat+) R 25064 25066 23511 0 -1 4202496 18833 0 0 0 145 4 0 0 20 0 1 0 322647231 84582400 17926 33554432000 134512640 135395479 4289882096 4289881064 135031278 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25066/statm: 20650 17926 74 216 0 20432 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 82600 [startup+3.10024 s] /proc/loadavg: 2.01 2.04 2.00 3/178 25067 /proc/meminfo: memFree=27749076/32873844 swapFree=7628/7628 [pid=25066] ppid=25064 vsize=100312 CPUtime=3.09 cores=0,2,4,6 /proc/25066/stat : 25066 (minisat+) R 25064 25066 23511 0 -1 4202496 23490 0 0 0 304 5 0 0 20 0 1 0 322647231 102719488 22583 33554432000 134512640 135395479 4289882096 4289880304 135005894 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25066/statm: 25078 22583 74 216 0 24860 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 100312 [startup+6.30024 s] /proc/loadavg: 2.01 2.04 2.00 3/178 25067 /proc/meminfo: memFree=27699980/32873844 swapFree=7628/7628 [pid=25066] ppid=25064 vsize=152764 CPUtime=6.29 cores=0,2,4,6 /proc/25066/stat : 25066 (minisat+) R 25064 25066 23511 0 -1 4202496 36924 0 0 0 621 8 0 0 20 0 1 0 322647231 156430336 36017 33554432000 134512640 135395479 4289882096 4289880460 135007481 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25066/statm: 38191 36017 74 216 0 37973 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 152764 [startup+12.7002 s] /proc/loadavg: 2.01 2.04 2.00 3/178 25067 /proc/meminfo: memFree=27499148/32873844 swapFree=7628/7628 [pid=25066] ppid=25064 vsize=338680 CPUtime=12.69 cores=0,2,4,6 /proc/25066/stat : 25066 (minisat+) R 25064 25066 23511 0 -1 4202496 82620 0 0 0 1254 15 0 0 20 0 1 0 322647231 346808320 81967 33554432000 134512640 135395479 4289882096 4289879516 134809025 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25066/statm: 84670 81967 74 216 0 84452 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 338680 [startup+25.5002 s] /proc/loadavg: 2.01 2.03 2.00 3/178 25067 /proc/meminfo: memFree=27542968/32873844 swapFree=7628/7628 [pid=25066] ppid=25064 vsize=294144 CPUtime=25.49 cores=0,2,4,6 /proc/25066/stat : 25066 (minisat+) R 25064 25066 23511 0 -1 4202496 87511 0 0 0 2515 34 0 0 20 0 1 0 322647231 301203456 71163 33554432000 134512640 135395479 4289882096 4289838860 134838067 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25066/statm: 73536 71163 88 216 0 73318 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 294144 Solver just ended. Dumping a history of the last processes samples [startup+31.9066 s] /proc/loadavg: 2.01 2.03 2.00 3/178 25067 /proc/meminfo: memFree=27523352/32873844 swapFree=7628/7628 [pid=25066] ppid=25064 vsize=307832 CPUtime=31.89 cores=0,2,4,6 /proc/25066/stat : 25066 (minisat+) R 25064 25066 23511 0 -1 4202496 90314 0 0 0 3154 35 0 0 20 0 1 0 322647231 315219968 74692 33554432000 134512640 135395479 4289882096 4289830180 135012076 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25066/statm: 76958 74692 88 216 0 76740 0 Current children cumulated CPU time (s) 31.89 Current children cumulated vsize (KiB) 307832 [startup+38.3003 s] /proc/loadavg: 2.01 2.03 2.00 2/178 25069 /proc/meminfo: memFree=26853436/32873844 swapFree=7628/7628 [pid=25066] ppid=25064 vsize=337780 CPUtime=35.29 cores=0,2,4,6 /proc/25066/stat : 25066 (minisat+) S 25064 25066 23511 0 -1 4204032 97397 0 0 0 3477 52 0 0 20 0 1 0 322647231 345886720 81898 33554432000 134512640 135395479 4289882096 4277309436 135006333 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/25066/statm: 84445 81898 89 216 0 84227 0 Current children cumulated CPU time (s) 35.29 Current children cumulated vsize (KiB) 337780 [startup+41.5003 s] /proc/loadavg: 2.00 2.03 2.00 2/178 25069 /proc/meminfo: memFree=26852312/32873844 swapFree=7628/7628 [pid=25066] ppid=25064 vsize=337780 CPUtime=35.29 cores=0,2,4,6 /proc/25066/stat : 25066 (minisat+) S 25064 25066 23511 0 -1 4204032 97397 0 0 0 3477 52 0 0 20 0 1 0 322647231 345886720 81898 33554432000 134512640 135395479 4289882096 4277309436 135006333 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/25066/statm: 84445 81898 89 216 0 84227 0 Current children cumulated CPU time (s) 35.29 Current children cumulated vsize (KiB) 337780 [startup+43.1003 s] /proc/loadavg: 2.00 2.03 2.00 2/179 25070 /proc/meminfo: memFree=26852180/32873844 swapFree=7628/7628 [pid=25066] ppid=25064 vsize=337780 CPUtime=35.29 cores=0,2,4,6 /proc/25066/stat : 25066 (minisat+) S 25064 25066 23511 0 -1 4204032 97397 0 0 0 3477 52 0 0 20 0 1 0 322647231 345886720 81898 33554432000 134512640 135395479 4289882096 4277309436 135006333 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/25066/statm: 84445 81898 89 216 0 84227 0 Current children cumulated CPU time (s) 35.29 Current children cumulated vsize (KiB) 337780 [startup+43.5002 s] /proc/loadavg: 2.00 2.03 2.00 2/179 25070 /proc/meminfo: memFree=26852180/32873844 swapFree=7628/7628 [pid=25066] ppid=25064 vsize=337780 CPUtime=35.29 cores=0,2,4,6 /proc/25066/stat : 25066 (minisat+) S 25064 25066 23511 0 -1 4204032 97397 0 0 0 3477 52 0 0 20 0 1 0 322647231 345886720 81898 33554432000 134512640 135395479 4289882096 4277309436 135006333 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/25066/statm: 84445 81898 89 216 0 84227 0 Current children cumulated CPU time (s) 35.29 Current children cumulated vsize (KiB) 337780 [startup+43.9002 s] /proc/loadavg: 2.16 2.06 2.01 4/178 25070 /proc/meminfo: memFree=27148912/32873844 swapFree=7628/7628 [pid=25066] ppid=25064 vsize=0 CPUtime=35.32 cores=0,2,4,6 /proc/25066/stat : 25066 (minisat+) R 25064 25066 23511 0 -1 4204036 97397 0 0 0 3477 55 0 0 20 0 1 0 322647231 0 0 33554432000 0 0 0 0 0 0 0 4096 16386 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/25066/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 35.32 Current children cumulated vsize (KiB) 0 Child ended because it received signal 11 (SIGSEGV) Child dumped core Real time (s): 43.9074 CPU time (s): 35.3256 CPU user time (s): 34.7737 CPU system time (s): 0.551916 CPU usage (%): 80.4549 Max. virtual memory (cumulated for all children) (KiB): 338680 getrusage(RUSAGE_CHILDREN,...) data: user time used= 34.7737 system time used= 0.551916 maximum resident set size= 327868 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 97397 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= 83711 involuntary context switches= 38 runsolver used 0.295955 second user time and 0.473927 second system time The end
Begin job on node143 at 2012-06-01 17:40:29 IDJOB=3722339 IDBENCH=92267 IDSOLVER=2306 FILE ID=node143/3722339-1338565227 RUNJOBID= node143-1338554380-23593 PBS_JOBID= 14635841 Free space on /tmp= 68512 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null10mast_rapportOE1.0_TMAX60_K192_cod1.opb COMMAND LINE= HOME/minisat+ BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3722339-1338565227/watcher-3722339-1338565227 -o /tmp/evaluation-result-3722339-1338565227/solver-3722339-1338565227 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3722339-1338565227.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d635e042f70a99b1424475d8ae4cefac RANDOM SEED=1519962229 node143.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.787 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 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.787 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.787 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.91 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.787 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.787 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.90 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.787 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 : 5298.57 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.787 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.787 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27827604 kB Buffers: 334924 kB Cached: 3547956 kB SwapCached: 112 kB Active: 2198924 kB Inactive: 1954140 kB Active(anon): 262048 kB Inactive(anon): 10916 kB Active(file): 1936876 kB Inactive(file): 1943224 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67108424 kB Dirty: 33264 kB Writeback: 0 kB AnonPages: 278172 kB Mapped: 10804 kB Shmem: 160 kB Slab: 755920 kB SReclaimable: 197936 kB SUnreclaim: 557984 kB KernelStack: 1456 kB PageTables: 4544 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 391864 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 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-3722339-1338565227.opb Free space on /tmp at the end= 68208 MiB End job on node143 at 2012-06-01 17:41:13