Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | UNSAT | 159.561 | 159.71 |
Name | normalized-PB07/PURE-SAT/SAT07/industrial/ palacios/uts/uts-l05-ipc5-h26-unsat.opb |
MD5SUM | 8e1618743a1bd799f44ae3006b4f801a |
Bench Category | PURE-SAT (instances containing only clauses) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 159.561 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 85694 |
Total number of constraints | 414657 |
Number of constraints which are clauses | 414657 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 403 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 401 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 804 |
Number of bits of the biggest sum of numbers | 10 |
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.09/13.12 c Converting 414447 PB-constraints to clauses... 13.09/13.19 c -- Unit propagations: (none) 13.09/13.20 c -- Detecting intervals from adjacent constraints: ###################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################### 13.19/13.23 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 14.16/14.27 c ---[414406]---> BDD-cost: 1 14.16/14.27 c ---[414395]---> BDD-cost: 1 14.16/14.27 c ---[414393]---> BDD-cost: 1 14.16/14.27 c ---[414391]---> BDD-cost: 1 14.16/14.27 c ---[414389]---> BDD-cost: 1 14.16/14.27 c ---[414387]---> BDD-cost: 1 14.16/14.27 c ---[414385]---> BDD-cost: 1 14.16/14.27 c ---[414383]---> BDD-cost: 1 14.16/14.27 c ---[414381]---> BDD-cost: 1 14.16/14.27 c ---[414379]---> BDD-cost: 1 14.16/14.27 c ---[414377]---> BDD-cost: 1 14.16/14.27 c ---[414375]---> BDD-cost: 1 14.16/14.27 c ---[414373]---> BDD-cost: 1 14.16/14.27 c ---[414371]---> BDD-cost: 1 14.16/14.27 c ---[414369]---> BDD-cost: 1 14.16/14.27 c ---[414367]---> BDD-cost: 1 14.16/14.27 c ---[414365]---> BDD-cost: 1 14.16/14.27 c ---[414363]---> BDD-cost: 1 14.16/14.27 c ---[414361]---> BDD-cost: 1 14.16/14.27 c ---[414359]---> BDD-cost: 1 14.16/14.27 c ---[414357]---> BDD-cost: 1 14.16/14.27 c ---[414355]---> BDD-cost: 1 14.16/14.27 c ---[414353]---> BDD-cost: 1 14.16/14.27 c ---[414351]---> BDD-cost: 1 14.16/14.27 c ---[414349]---> BDD-cost: 1 14.16/14.27 c ---[414347]---> BDD-cost: 1 14.16/14.27 c ---[414345]---> BDD-cost: 1 14.16/14.27 c ---[414343]---> BDD-cost: 1 14.16/14.27 c ---[414303]---> BDD-cost: 1 14.16/14.27 c ---[414261]---> BDD-cost: 1 14.16/14.27 c ---[414259]---> BDD-cost: 1 14.16/14.28 c ---[414257]---> BDD-cost: 1 14.16/14.28 c ---[414255]---> BDD-cost: 1 14.16/14.28 c ---[414253]---> BDD-cost: 1 14.16/14.28 c ---[414251]---> BDD-cost: 1 14.16/14.28 c ---[414249]---> BDD-cost: 1 14.16/14.28 c ---[414247]---> BDD-cost: 1 14.16/14.28 c ---[414245]---> BDD-cost: 1 14.16/14.28 c ---[414243]---> BDD-cost: 1 14.16/14.28 c ---[414241]---> BDD-cost: 1 14.16/14.28 c ---[414239]---> BDD-cost: 1 14.16/14.28 c ---[414237]---> BDD-cost: 1 14.16/14.28 c ---[414235]---> BDD-cost: 1 14.16/14.28 c ---[414233]---> BDD-cost: 1 14.16/14.28 c ---[414231]---> BDD-cost: 1 14.16/14.28 c ---[414229]---> BDD-cost: 1 14.16/14.28 c ---[414227]---> BDD-cost: 1 14.16/14.28 c ---[414225]---> BDD-cost: 1 14.16/14.28 c ---[414223]---> BDD-cost: 1 14.16/14.28 c ---[414221]---> BDD-cost: 1 14.16/14.28 c ---[414219]---> BDD-cost: 1 14.16/14.28 c ---[414217]---> BDD-cost: 1 14.16/14.28 c ---[414215]---> BDD-cost: 1 14.16/14.28 c ---[414213]---> BDD-cost: 1 14.16/14.28 c ---[414211]---> BDD-cost: 1 14.16/14.28 c ---[414209]---> BDD-cost: 1 14.16/14.28 c ---[414163]---> BDD-cost: 1 14.16/14.28 c ---[414091]---> BDD-cost: 1 14.16/14.28 c ---[414089]---> BDD-cost: 1 14.16/14.28 c ---[414087]---> BDD-cost: 1 14.16/14.28 c ---[414085]---> BDD-cost: 1 14.16/14.28 c ---[414083]---> BDD-cost: 1 14.16/14.28 c ---[414081]---> BDD-cost: 1 14.16/14.28 c ---[414079]---> BDD-cost: 1 14.16/14.28 c ---[414077]---> BDD-cost: 1 14.16/14.28 c ---[414075]---> BDD-cost: 1 14.16/14.28 c ---[414073]---> BDD-cost: 1 14.16/14.28 c ---[414071]---> BDD-cost: 1 14.16/14.28 c ---[414069]---> BDD-cost: 1 14.16/14.28 c ---[414067]---> BDD-cost: 1 14.16/14.28 c ---[414065]---> BDD-cost: 1 14.16/14.28 c ---[414063]---> BDD-cost: 1 14.16/14.28 c ---[414061]---> BDD-cost: 1 14.16/14.28 c ---[414059]---> BDD-cost: 1 14.16/14.28 c ---[414057]---> BDD-cost: 1 14.16/14.28 c ---[414055]---> BDD-cost: 1 14.16/14.28 c ---[414053]---> BDD-cost: 1 14.16/14.28 c ---[414051]---> BDD-cost: 1 14.16/14.28 c ---[414049]---> BDD-cost: 1 14.16/14.28 c ---[414047]---> BDD-cost: 1 14.16/14.28 c ---[414045]---> BDD-cost: 1 14.16/14.28 c ---[414043]---> BDD-cost: 1 14.16/14.28 c ---[414041]---> BDD-cost: 1 14.16/14.28 c ---[414039]---> BDD-cost: 1 14.16/14.28 c ---[413987]---> BDD-cost: 1 14.16/14.28 c ---[413886]---> BDD-cost: 1 14.16/14.28 c ---[413884]---> BDD-cost: 1 14.16/14.28 c ---[413882]---> BDD-cost: 1 14.16/14.28 c ---[413880]---> BDD-cost: 1 14.16/14.28 c ---[413878]---> BDD-cost: 1 14.16/14.28 c ---[413876]---> BDD-cost: 1 14.16/14.28 c ---[413874]---> BDD-cost: 1 14.16/14.28 c ---[413872]---> BDD-cost: 1 14.16/14.28 c ---[413870]---> BDD-cost: 1 14.16/14.28 c ---[413868]---> BDD-cost: 1 14.16/14.28 c ---[413866]---> BDD-cost: 1 14.16/14.28 c ---[413864]---> BDD-cost: 1 14.16/14.28 c ---[413862]---> BDD-cost: 1 14.16/14.28 c ---[413860]---> BDD-cost: 1 14.16/14.28 c ---[413858]---> BDD-cost: 1 14.16/14.28 c ---[413856]---> BDD-cost: 1 14.16/14.28 c ---[413854]---> BDD-cost: 1 14.16/14.28 c ---[413852]---> BDD-cost: 1 14.16/14.28 c ---[413850]---> BDD-cost: 1 14.16/14.28 c ---[413848]---> BDD-cost: 1 14.16/14.28 c ---[413846]---> BDD-cost: 1 14.16/14.28 c ---[413844]---> BDD-cost: 1 14.16/14.28 c ---[413842]---> BDD-cost: 1 14.16/14.28 c ---[413840]---> BDD-cost: 1 14.16/14.28 c ---[413838]---> BDD-cost: 1 14.16/14.28 c ---[413836]---> BDD-cost: 1 14.16/14.28 c ---[413834]---> BDD-cost: 1 14.16/14.28 c ---[413776]---> BDD-cost: 1 14.16/14.28 c ---[413647]---> BDD-cost: 1 14.16/14.28 c ---[413645]---> BDD-cost: 1 14.16/14.28 c ---[413643]---> BDD-cost: 1 14.16/14.28 c ---[413641]---> BDD-cost: 1 14.16/14.28 c ---[413639]---> BDD-cost: 1 14.16/14.28 c ---[413637]---> BDD-cost: 1 14.16/14.28 c ---[413635]---> BDD-cost: 1 14.16/14.28 c ---[413633]---> BDD-cost: 1 14.16/14.28 c ---[413631]---> BDD-cost: 1 14.16/14.28 c ---[413629]---> BDD-cost: 1 14.16/14.28 c ---[413627]---> BDD-cost: 1 14.16/14.28 c ---[413625]---> BDD-cost: 1 14.16/14.28 c ---[413623]---> BDD-cost: 1 14.16/14.28 c ---[413621]---> BDD-cost: 1 14.16/14.28 c ---[413619]---> BDD-cost: 1 14.16/14.28 c ---[413617]---> BDD-cost: 1 14.16/14.28 c ---[413615]---> BDD-cost: 1 14.16/14.28 c ---[413613]---> BDD-cost: 1 14.16/14.28 c ---[413611]---> BDD-cost: 1 14.16/14.28 c ---[413609]---> BDD-cost: 1 14.16/14.28 c ---[413607]---> BDD-cost: 1 14.16/14.28 c ---[413605]---> BDD-cost: 1 14.16/14.28 c ---[413603]---> BDD-cost: 1 14.16/14.28 c ---[413601]---> BDD-cost: 1 14.16/14.28 c ---[413599]---> BDD-cost: 1 14.16/14.28 c ---[413597]---> BDD-cost: 1 14.16/14.28 c ---[413595]---> BDD-cost: 1 14.16/14.28 c ---[413531]---> BDD-cost: 1 14.16/14.28 c ---[413375]---> BDD-cost: 1 14.16/14.28 c ---[413373]---> BDD-cost: 1 14.16/14.28 c ---[413371]---> BDD-cost: 1 14.16/14.28 c ---[413369]---> BDD-cost: 1 14.16/14.28 c ---[413367]---> BDD-cost: 1 14.16/14.28 c ---[413365]---> BDD-cost: 1 14.16/14.28 c ---[413363]---> BDD-cost: 1 14.16/14.28 c ---[413361]---> BDD-cost: 1 14.16/14.28 c ---[413359]---> BDD-cost: 1 14.16/14.28 c ---[413357]---> BDD-cost: 1 14.16/14.28 c ---[413355]---> BDD-cost: 1 14.16/14.28 c ---[413353]---> BDD-cost: 1 14.16/14.28 c ---[413351]---> BDD-cost: 1 14.16/14.28 c ---[413349]---> BDD-cost: 1 14.16/14.28 c ---[413347]---> BDD-cost: 1 14.16/14.28 c ---[413345]---> BDD-cost: 1 14.16/14.28 c ---[413343]---> BDD-cost: 1 14.16/14.28 c ---[413341]---> BDD-cost: 1 14.16/14.28 c ---[413339]---> BDD-cost: 1 14.16/14.28 c ---[413337]---> BDD-cost: 1 14.16/14.28 c ---[413335]---> BDD-cost: 1 14.16/14.28 c ---[413333]---> BDD-cost: 1 14.16/14.28 c ---[413331]---> BDD-cost: 1 14.16/14.28 c ---[413329]---> BDD-cost: 1 14.16/14.28 c ---[413327]---> BDD-cost: 1 14.16/14.28 c ---[413325]---> BDD-cost: 1 14.16/14.28 c ---[413323]---> BDD-cost: 1 14.16/14.28 c ---[413253]---> BDD-cost: 1 14.16/14.28 c ---[413071]---> BDD-cost: 1 14.16/14.28 c ---[413069]---> BDD-cost: 1 14.16/14.28 c ---[413067]---> BDD-cost: 1 14.16/14.28 c ---[413065]---> BDD-cost: 1 14.16/14.28 c ---[413063]---> BDD-cost: 1 14.16/14.28 c ---[413061]---> BDD-cost: 1 14.16/14.28 c ---[413059]---> BDD-cost: 1 14.16/14.28 c ---[413057]---> BDD-cost: 1 14.16/14.28 c ---[413055]---> BDD-cost: 1 14.16/14.28 c ---[413053]---> BDD-cost: 1 14.16/14.28 c ---[413051]---> BDD-cost: 1 14.16/14.28 c ---[413049]---> BDD-cost: 1 14.16/14.28 c ---[413047]---> BDD-cost: 1 14.16/14.28 c ---[413045]---> BDD-cost: 1 14.16/14.28 c ---[413043]---> BDD-cost: 1 14.16/14.28 c ---[413041]---> BDD-cost: 1 14.16/14.28 c ---[413039]---> BDD-cost: 1 14.16/14.28 c ---[413037]---> BDD-cost: 1 14.16/14.28 c ---[413035]---> BDD-cost: 1 14.16/14.28 c ---[413033]---> BDD-cost: 1 14.16/14.28 c ---[413031]---> BDD-cost: 1 14.16/14.28 c ---[413029]---> BDD-cost: 1 14.16/14.28 c ---[413027]---> BDD-cost: 1 14.16/14.28 c ---[413025]---> BDD-cost: 1 14.16/14.28 c ---[413023]---> BDD-cost: 1 14.16/14.28 c ---[413021]---> BDD-cost: 1 14.16/14.28 c ---[413019]---> BDD-cost: 1 14.16/14.28 c ---[412923]---> BDD-cost: 1 14.16/14.28 c ---[412738]---> BDD-cost: 1 14.16/14.28 c ---[412736]---> BDD-cost: 1 14.16/14.28 c ---[412734]---> BDD-cost: 1 14.16/14.28 c ---[412732]---> BDD-cost: 1 14.16/14.28 c ---[412730]---> BDD-cost: 1 14.16/14.28 c ---[412728]---> BDD-cost: 1 14.16/14.28 c ---[412726]---> BDD-cost: 1 14.16/14.28 c ---[412724]---> BDD-cost: 1 14.16/14.28 c ---[412722]---> BDD-cost: 1 14.16/14.28 c ---[412720]---> BDD-cost: 1 14.16/14.28 c ---[412718]---> BDD-cost: 1 14.16/14.28 c ---[412716]---> BDD-cost: 1 14.16/14.28 c ---[412714]---> BDD-cost: 1 14.16/14.28 c ---[412712]---> BDD-cost: 1 14.16/14.28 c ---[412710]---> BDD-cost: 1 14.16/14.28 c ---[412708]---> BDD-cost: 1 14.16/14.28 c ---[412706]---> BDD-cost: 1 14.16/14.28 c ---[412704]---> BDD-cost: 1 14.16/14.28 c ---[412702]---> BDD-cost: 1 14.16/14.28 c ---[412700]---> BDD-cost: 1 14.16/14.28 c ---[412698]---> BDD-cost: 1 14.16/14.28 c ---[412696]---> BDD-cost: 1 14.16/14.28 c ---[412694]---> BDD-cost: 1 14.16/14.28 c ---[412692]---> BDD-cost: 1 14.16/14.28 c ---[412690]---> BDD-cost: 1 14.16/14.28 c ---[412688]---> BDD-cost: 1 14.16/14.28 c ---[412686]---> BDD-cost: 1 14.16/14.28 c ---[412565]---> BDD-cost: 1 14.16/14.28 c ---[412374]---> BDD-cost: 1 14.16/14.28 c ---[412372]---> BDD-cost: 1 14.16/14.28 c ---[412370]---> BDD-cost: 1 14.16/14.28 c ---[412368]---> BDD-cost: 1 14.16/14.28 c ---[412366]---> BDD-cost: 1 14.16/14.28 c ---[412364]---> BDD-cost: 1 14.16/14.28 c ---[412362]---> BDD-cost: 1 14.16/14.28 c ---[412360]---> BDD-cost: 1 14.16/14.28 c ---[412358]---> BDD-cost: 1 14.16/14.28 c ---[412356]---> BDD-cost: 1 14.16/14.28 c ---[412354]---> BDD-cost: 1 14.16/14.28 c ---[412352]---> BDD-cost: 1 14.16/14.28 c ---[412350]---> BDD-cost: 1 14.16/14.28 c ---[412348]---> BDD-cost: 1 14.16/14.28 c ---[412346]---> BDD-cost: 1 14.16/14.28 c ---[412344]---> BDD-cost: 1 14.16/14.28 c ---[412342]---> BDD-cost: 1 14.16/14.28 c ---[412340]---> BDD-cost: 1 14.16/14.28 c ---[412338]---> BDD-cost: 1 14.16/14.28 c ---[412336]---> BDD-cost: 1 14.16/14.28 c ---[412334]---> BDD-cost: 1 14.16/14.28 c ---[412332]---> BDD-cost: 1 14.16/14.28 c ---[412330]---> BDD-cost: 1 14.16/14.28 c ---[412328]---> BDD-cost: 1 14.16/14.28 c ---[412326]---> BDD-cost: 1 14.16/14.28 c ---[412324]---> BDD-cost: 1 14.16/14.28 c ---[412322]---> BDD-cost: 1 14.16/14.28 c ---[412195]---> BDD-cost: 1 14.16/14.28 c ---[411972]---> BDD-cost: 1 14.16/14.28 c ---[411970]---> BDD-cost: 1 14.16/14.28 c ---[411968]---> BDD-cost: 1 14.16/14.28 c ---[411966]---> BDD-cost: 1 14.16/14.28 c ---[411964]---> BDD-cost: 1 14.16/14.28 c ---[411962]---> BDD-cost: 1 14.16/14.28 c ---[411960]---> BDD-cost: 1 14.16/14.28 c ---[411958]---> BDD-cost: 1 14.16/14.28 c ---[411956]---> BDD-cost: 1 14.16/14.28 c ---[411954]---> BDD-cost: 1 14.16/14.28 c ---[411952]---> BDD-cost: 1 14.16/14.28 c ---[411950]---> BDD-cost: 1 14.16/14.28 c ---[411948]---> BDD-cost: 1 14.16/14.28 c ---[411946]---> BDD-cost: 1 14.16/14.28 c ---[411944]---> BDD-cost: 1 14.16/14.28 c ---[411942]---> BDD-cost: 1 14.16/14.28 c ---[411940]---> BDD-cost: 1 14.16/14.28 c ---[411938]---> BDD-cost: 1 14.16/14.28 c ---[411936]---> BDD-cost: 1 14.16/14.28 c ---[411934]---> BDD-cost: 1 14.16/14.28 c ---[411932]---> BDD-cost: 1 14.16/14.28 c ---[411930]---> BDD-cost: 1 14.16/14.28 c ---[411928]---> BDD-cost: 1 14.16/14.28 c ---[411926]---> BDD-cost: 1 14.16/14.28 c ---[411924]---> BDD-cost: 1 14.16/14.28 c ---[411922]---> BDD-cost: 1 14.16/14.28 c ---[411920]---> BDD-cost: 1 14.16/14.28 c ---[411787]---> BDD-cost: 1 14.16/14.28 c ---[411533]---> BDD-cost: 1 14.16/14.28 c ---[411531]---> BDD-cost: 1 14.16/14.28 c ---[411529]---> BDD-cost: 1 14.16/14.28 c ---[411527]---> BDD-cost: 1 14.16/14.28 c ---[411525]---> BDD-cost: 1 14.16/14.28 c ---[411523]---> BDD-cost: 1 14.16/14.28 c ---[411521]---> BDD-cost: 1 14.16/14.28 c ---[411519]---> BDD-cost: 1 14.16/14.28 c ---[411517]---> BDD-cost: 1 14.16/14.28 c ---[411515]---> BDD-cost: 1 14.16/14.28 c ---[411513]---> BDD-cost: 1 14.16/14.28 c ---[411511]---> BDD-cost: 1 14.16/14.28 c ---[411509]---> BDD-cost: 1 14.16/14.28 c ---[411507]---> BDD-cost: 1 14.16/14.28 c ---[411505]---> BDD-cost: 1 14.16/14.28 c ---[411503]---> BDD-cost: 1 14.16/14.28 c ---[411501]---> BDD-cost: 1 14.16/14.28 c ---[411499]---> BDD-cost: 1 14.16/14.28 c ---[411497]---> BDD-cost: 1 14.16/14.28 c ---[411495]---> BDD-cost: 1 14.16/14.28 c ---[411493]---> BDD-cost: 1 14.16/14.28 c ---[411491]---> BDD-cost: 1 14.16/14.28 c ---[411489]---> BDD-cost: 1 14.16/14.28 c ---[411487]---> BDD-cost: 1 14.16/14.28 c ---[411485]---> BDD-cost: 1 14.16/14.28 c ---[411483]---> BDD-cost: 1 14.16/14.28 c ---[411481]---> BDD-cost: 1 14.16/14.28 c ---[411342]---> BDD-cost: 1 14.16/14.28 c ---[411058]---> BDD-cost: 1 14.16/14.28 c ---[411056]---> BDD-cost: 1 14.16/14.28 c ---[411054]---> BDD-cost: 1 14.16/14.28 c ---[411052]---> BDD-cost: 1 14.16/14.28 c ---[411050]---> BDD-cost: 1 14.16/14.28 c ---[411048]---> BDD-cost: 1 14.16/14.28 c ---[411046]---> BDD-cost: 1 14.16/14.28 c ---[411044]---> BDD-cost: 1 14.16/14.28 c ---[411042]---> BDD-cost: 1 14.16/14.28 c ---[411040]---> BDD-cost: 1 14.16/14.29 c ---[411038]---> BDD-cost: 1 14.16/14.29 c ---[411036]---> BDD-cost: 1 14.16/14.29 c ---[411034]---> BDD-cost: 1 14.16/14.29 c ---[411032]---> BDD-cost: 1 14.16/14.29 c ---[411030]---> BDD-cost: 1 14.16/14.29 c ---[411028]---> BDD-cost: 1 14.16/14.29 c ---[411026]---> BDD-cost: 1 14.16/14.29 c ---[411024]---> BDD-cost: 1 14.16/14.29 c ---[411022]---> BDD-cost: 1 14.16/14.29 c ---[411020]---> BDD-cost: 1 14.16/14.29 c ---[411018]---> BDD-cost: 1 14.16/14.29 c ---[411016]---> BDD-cost: 1 14.16/14.29 c ---[411014]---> BDD-cost: 1 14.16/14.29 c ---[411012]---> BDD-cost: 1 14.16/14.29 c ---[411010]---> BDD-cost: 1 14.16/14.29 c ---[411008]---> BDD-cost: 1 14.16/14.29 c ---[411006]---> BDD-cost: 1 14.16/14.29 c ---[410861]---> BDD-cost: 1 14.16/14.29 c ---[410548]---> BDD-cost: 1 14.16/14.29 c ---[410546]---> BDD-cost: 1 14.16/14.29 c ---[410544]---> BDD-cost: 1 14.16/14.29 c ---[410542]---> BDD-cost: 1 14.16/14.29 c ---[410540]---> BDD-cost: 1 14.16/14.29 c ---[410538]---> BDD-cost: 1 14.16/14.29 c ---[410536]---> BDD-cost: 1 14.16/14.29 c ---[410534]---> BDD-cost: 1 14.16/14.29 c ---[410532]---> BDD-cost: 1 14.16/14.29 c ---[410530]---> BDD-cost: 1 14.16/14.29 c ---[410528]---> BDD-cost: 1 14.16/14.29 c ---[410526]---> BDD-cost: 1 14.16/14.29 c ---[410524]---> BDD-cost: 1 14.16/14.29 c ---[410522]---> BDD-cost: 1 14.16/14.29 c ---[410520]---> BDD-cost: 1 14.16/14.29 c ---[410518]---> BDD-cost: 1 14.16/14.29 c ---[410516]---> BDD-cost: 1 14.16/14.29 c ---[410514]---> BDD-cost: 1 14.16/14.29 c ---[410512]---> BDD-cost: 1 14.16/14.29 c ---[410510]---> BDD-cost: 1 14.16/14.29 c ---[410508]---> BDD-cost: 1 14.16/14.29 c ---[410506]---> BDD-cost: 1 14.16/14.29 c ---[410504]---> BDD-cost: 1 14.16/14.29 c ---[410502]---> BDD-cost: 1 14.16/14.29 c ---[410500]---> BDD-cost: 1 14.16/14.29 c ---[410498]---> BDD-cost: 1 14.16/14.29 c ---[410496]---> BDD-cost: 1 14.16/14.29 c ---[410345]---> BDD-cost: 1 14.16/14.29 c ---[409942]---> BDD-cost: 1 14.16/14.29 c ---[409940]---> BDD-cost: 1 14.16/14.29 c ---[409938]---> BDD-cost: 1 14.16/14.29 c ---[409936]---> BDD-cost: 1 14.16/14.29 c ---[409934]---> BDD-cost: 1 14.16/14.29 c ---[409932]---> BDD-cost: 1 14.16/14.29 c ---[409930]---> BDD-cost: 1 14.16/14.29 c ---[409928]---> BDD-cost: 1 14.16/14.29 c ---[409926]---> BDD-cost: 1 14.16/14.29 c ---[409924]---> BDD-cost: 1 14.16/14.29 c ---[409922]---> BDD-cost: 1 14.16/14.29 c ---[409920]---> BDD-cost: 1 14.16/14.29 c ---[409918]---> BDD-cost: 1 14.16/14.29 c ---[409916]---> BDD-cost: 1 14.16/14.29 c ---[409914]---> BDD-cost: 1 14.16/14.29 c ---[409912]---> BDD-cost: 1 14.16/14.29 c ---[409910]---> BDD-cost: 1 14.16/14.29 c ---[409908]---> BDD-cost: 1 14.16/14.29 c ---[409906]---> BDD-cost: 1 14.16/14.29 c ---[409904]---> BDD-cost: 1 14.16/14.29 c ---[409902]---> BDD-cost: 1 14.16/14.29 c ---[409900]---> BDD-cost: 1 14.16/14.29 c ---[409898]---> BDD-cost: 1 14.16/14.29 c ---[409896]---> BDD-cost: 1 14.16/14.29 c ---[409894]---> BDD-cost: 1 14.16/14.29 c ---[409892]---> BDD-cost: 1 14.16/14.29 c ---[409890]---> BDD-cost: 1 14.16/14.29 c ---[409714]---> BDD-cost: 1 14.16/14.29 c ---[409712]---> BDD-cost: 1 14.16/14.29 c ---[409710]---> BDD-cost: 1 14.16/14.29 c ---[409708]---> BDD-cost: 1 14.16/14.29 c ---[409706]---> BDD-cost: 1 14.16/14.29 c ---[409704]---> BDD-cost: 1 14.16/14.29 c ---[409702]---> BDD-cost: 1 14.16/14.29 c ---[409700]---> BDD-cost: 1 14.16/14.29 c ---[409698]---> BDD-cost: 1 14.16/14.29 c ---[409696]---> BDD-cost: 1 14.16/14.29 c ---[409694]---> BDD-cost: 1 14.16/14.29 c ---[409692]---> BDD-cost: 1 14.16/14.29 c ---[409690]---> BDD-cost: 1 14.16/14.29 c ---[409688]---> BDD-cost: 1 14.16/14.29 c ---[409686]---> BDD-cost: 1 14.16/14.29 c ---[409684]---> BDD-cost: 1 14.16/14.29 c ---[409682]---> BDD-cost: 1 14.16/14.29 c ---[409680]---> BDD-cost: 1 14.16/14.29 c ---[409678]---> BDD-cost: 1 14.16/14.29 c ---[409676]---> BDD-cost: 1 14.16/14.29 c ---[409674]---> BDD-cost: 1 14.16/14.29 c ---[409672]---> BDD-cost: 1 14.16/14.29 c ---[409670]---> BDD-cost: 1 14.16/14.29 c ---[409668]---> BDD-cost: 1 14.16/14.29 c ---[409666]---> BDD-cost: 1 14.16/14.29 c ---[409408]---> BDD-cost: 1 14.16/14.29 c ---[409406]---> BDD-cost: 1 14.16/14.29 c ---[409404]---> BDD-cost: 1 14.16/14.29 c ---[409402]---> BDD-cost: 1 14.16/14.29 c ---[409400]---> BDD-cost: 1 14.16/14.29 c ---[409398]---> BDD-cost: 1 14.16/14.29 c ---[409396]---> BDD-cost: 1 14.16/14.29 c ---[409394]---> BDD-cost: 1 14.16/14.29 c ---[409392]---> BDD-cost: 1 14.16/14.29 c ---[409390]---> BDD-cost: 1 14.16/14.29 c ---[409388]---> BDD-cost: 1 14.16/14.29 c ---[409386]---> BDD-cost: 1 14.16/14.29 c ---[409384]---> BDD-cost: 1 14.16/14.29 c ---[409382]---> BDD-cost: 1 14.16/14.29 c ---[409380]---> BDD-cost: 1 14.16/14.29 c ---[409378]---> BDD-cost: 1 14.16/14.29 c ---[409376]---> BDD-cost: 1 14.16/14.29 c ---[409374]---> BDD-cost: 1 14.16/14.29 c ---[409372]---> BDD-cost: 1 14.16/14.29 c ---[409370]---> BDD-cost: 1 14.16/14.29 c ---[409368]---> BDD-cost: 1 14.16/14.29 c ---[409366]---> BDD-cost: 1 14.16/14.29 c ---[409364]---> BDD-cost: 1 14.16/14.29 c ---[409362]---> BDD-cost: 1 14.16/14.29 c ---[409360]---> BDD-cost: 1 14.16/14.29 c ---[409358]---> BDD-cost: 1 14.16/14.29 c ---[409356]---> BDD-cost: 1 14.16/14.29 c ---[409354]---> BDD-cost: 1 14.16/14.29 c ---[409352]---> BDD-cost: 1 14.16/14.29 c ---[409350]---> BDD-cost: 1 14.16/14.29 c ---[409348]---> BDD-cost: 1 14.16/14.29 c ---[409346]---> BDD-cost: 1 14.16/14.29 c ---[409344]---> BDD-cost: 1 14.16/14.29 c ---[409342]---> BDD-cost: 1 14.16/14.29 c ---[409340]---> BDD-cost: 1 14.16/14.29 c ---[409338]---> BDD-cost: 1 14.16/14.29 c ---[409336]---> BDD-cost: 1 14.16/14.29 c ---[409029]---> BDD-cost: 1 14.16/14.29 c ---[409027]---> BDD-cost: 1 14.16/14.29 c ---[409025]---> BDD-cost: 1 14.16/14.29 c ---[409023]---> BDD-cost: 1 14.16/14.29 c ---[409021]---> BDD-cost: 1 14.16/14.29 c ---[409019]---> BDD-cost: 1 14.16/14.29 c ---[409017]---> BDD-cost: 1 14.16/14.29 c ---[409015]---> BDD-cost: 1 14.16/14.29 c ---[409013]---> BDD-cost: 1 14.16/14.29 c ---[409011]---> BDD-cost: 1 14.16/14.29 c ---[409009]---> BDD-cost: 1 14.16/14.29 c ---[409007]---> BDD-cost: 1 14.16/14.29 c ---[409005]---> BDD-cost: 1 14.16/14.29 c ---[409003]---> BDD-cost: 1 14.16/14.29 c ---[409001]---> BDD-cost: 1 14.16/14.29 c ---[408999]---> BDD-cost: 1 14.16/14.29 c ---[408997]---> BDD-cost: 1 14.16/14.29 c ---[408995]---> BDD-cost: 1 14.16/14.29 c ---[408993]---> BDD-cost: 1 14.16/14.29 c ---[408991]---> BDD-cost: 1 14.16/14.29 c ---[408989]---> BDD-cost: 1 14.16/14.29 c ---[408987]---> BDD-cost: 1 14.16/14.29 c ---[408985]---> BDD-cost: 1 14.16/14.29 c ---[408983]---> BDD-cost: 1 14.16/14.29 c ---[408981]---> BDD-cost: 1 14.16/14.29 c ---[408979]---> BDD-cost: 1 14.16/14.29 c ---[408977]---> BDD-cost: 1 14.16/14.29 c ---[408975]---> BDD-cost: 1 14.16/14.29 c ---[408973]---> BDD-cost: 1 14.16/14.29 c ---[408971]---> BDD-cost: 1 14.16/14.29 c ---[408969]---> BDD-cost: 1 14.16/14.29 c ---[408967]---> BDD-cost: 1 14.16/14.29 c ---[408965]---> BDD-cost: 1 14.16/14.29 c ---[408963]---> BDD-cost: 1 14.16/14.29 c ---[408961]---> BDD-cost: 1 14.16/14.29 c ---[408959]---> BDD-cost: 1 14.16/14.29 c ---[408957]---> BDD-cost: 1 14.16/14.29 c ---[408955]---> BDD-cost: 1 14.16/14.29 c ---[408953]---> BDD-cost: 1 14.16/14.29 c ---[408951]---> BDD-cost: 1 14.16/14.29 c ---[408949]---> BDD-cost: 1 14.16/14.29 c ---[408947]---> BDD-cost: 1 14.16/14.29 c ---[408945]---> BDD-cost: 1 14.16/14.29 c ---[408943]---> BDD-cost: 1 14.16/14.29 c ---[408941]---> BDD-cost: 1 14.16/14.29 c ---[408939]---> BDD-cost: 1 14.16/14.29 c ---[408937]---> BDD-cost: 1 14.16/14.29 c ---[408935]---> BDD-cost: 1 14.16/14.29 c ---[408933]---> BDD-cost: 1 14.16/14.29 c ---[408931]---> BDD-cost: 1 14.16/14.29 c ---[408929]---> BDD-cost: 1 14.16/14.29 c ---[408927]---> BDD-cost: 1 14.16/14.29 c ---[408925]---> BDD-cost: 1 14.16/14.29 c ---[408923]---> BDD-cost: 1 14.16/14.29 c ---[408921]---> BDD-cost: 1 14.16/14.29 c ---[408919]---> BDD-cost: 1 14.16/14.29 c ---[408917]---> BDD-cost: 1 14.16/14.29 c ---[408915]---> BDD-cost: 1 14.16/14.29 c ---[408913]---> BDD-cost: 1 14.16/14.29 c ---[408911]---> BDD-cost: 1 14.16/14.29 c ---[408909]---> BDD-cost: 1 14.16/14.29 c ---[408907]---> BDD-cost: 1 14.16/14.29 c ---[408905]---> BDD-cost: 1 14.16/14.29 c ---[408903]---> BDD-cost: 1 14.16/14.29 c ---[408901]---> BDD-cost: 1 14.16/14.29 c ---[408899]---> BDD-cost: 1 14.16/14.29 c ---[408897]---> BDD-cost: 1 14.16/14.29 c ---[408895]---> BDD-cost: 1 14.16/14.29 c ---[408893]---> BDD-cost: 1 14.16/14.29 c ---[408891]---> BDD-cost: 1 14.16/14.29 c ---[408889]---> BDD-cost: 1 14.16/14.29 c ---[408887]---> BDD-cost: 1 14.16/14.29 c ---[408885]---> BDD-cost: 1 14.16/14.29 c ---[408883]---> BDD-cost: 1 14.16/14.29 c ---[408881]---> BDD-cost: 1 14.16/14.29 c ---[408879]---> BDD-cost: 1 14.16/14.29 c ---[408877]---> BDD-cost: 1 14.16/14.29 c ---[408875]---> BDD-cost: 1 14.16/14.29 c ---[408873]---> BDD-cost: 1 14.16/14.29 c ---[408871]---> BDD-cost: 1 14.16/14.29 c ---[408869]---> BDD-cost: 1 14.16/14.29 c ---[408867]---> BDD-cost: 1 14.16/14.29 c ---[408865]---> BDD-cost: 1 14.16/14.29 c ---[408863]---> BDD-cost: 1 14.16/14.29 c ---[408861]---> BDD-cost: 1 14.16/14.29 c ---[408859]---> BDD-cost: 1 14.16/14.29 c ---[408857]---> BDD-cost: 1 14.16/14.29 c ---[408855]---> BDD-cost: 1 14.16/14.29 c ---[408853]---> BDD-cost: 1 14.16/14.29 c ---[408851]---> BDD-cost: 1 14.16/14.29 c ---[408849]---> BDD-cost: 1 14.16/14.29 c ---[408847]---> BDD-cost: 1 14.16/14.29 c ---[408845]---> BDD-cost: 1 14.16/14.29 c ---[408843]---> BDD-cost: 1 14.16/14.29 c ---[408841]---> BDD-cost: 1 14.16/14.29 c ---[408839]---> BDD-cost: 1 14.16/14.29 c ---[408837]---> BDD-cost: 1 14.16/14.29 c ---[408835]---> BDD-cost: 1 14.16/14.29 c ---[408833]---> BDD-cost: 1 14.16/14.29 c ---[408831]---> BDD-cost: 1 14.16/14.29 c ---[408829]---> BDD-cost: 1 14.16/14.29 c ---[408827]---> BDD-cost: 1 14.16/14.29 c ---[408825]---> BDD-cost: 1 14.16/14.29 c ---[408823]---> BDD-cost: 1 14.16/14.29 c ---[408821]---> BDD-cost: 1 14.16/14.29 c ---[408819]---> BDD-cost: 1 14.16/14.29 c ---[408817]---> BDD-cost: 1 14.16/14.29 c ---[408815]---> BDD-cost: 1 14.16/14.29 c ---[408813]---> BDD-cost: 1 14.16/14.29 c ---[408811]---> BDD-cost: 1 14.16/14.29 c ---[408809]---> BDD-cost: 1 14.16/14.29 c ---[408807]---> BDD-cost: 1 14.16/14.29 c ---[408805]---> BDD-cost: 1 14.16/14.29 c ---[408803]---> BDD-cost: 1 14.16/14.29 c ---[408801]---> BDD-cost: 1 14.16/14.29 c ---[408799]---> BDD-cost: 1 14.16/14.29 c ---[408797]---> BDD-cost: 1 14.16/14.29 c ---[408795]---> BDD-cost: 1 14.16/14.29 c ---[408793]---> BDD-cost: 1 14.16/14.29 c ---[408791]---> BDD-cost: 1 14.16/14.29 c ---[408789]---> BDD-cost: 1 14.16/14.29 c ---[408787]---> BDD-cost: 1 14.16/14.29 c ---[408785]---> BDD-cost: 1 14.16/14.29 c ---[408783]---> BDD-cost: 1 14.16/14.29 c ---[408781]---> BDD-cost: 1 14.16/14.29 c ---[408779]---> BDD-cost: 1 14.16/14.29 c ---[408777]---> BDD-cost: 1 14.16/14.29 c ---[408775]---> BDD-cost: 1 14.16/14.29 c ---[408773]---> BDD-cost: 1 14.16/14.29 c ---[408771]---> BDD-cost: 1 14.16/14.29 c ---[408769]---> BDD-cost: 1 14.16/14.29 c ---[408767]---> BDD-cost: 1 14.16/14.29 c ---[408765]---> BDD-cost: 1 14.16/14.29 c ---[408763]---> BDD-cost: 1 14.16/14.29 c ---[408761]---> BDD-cost: 1 14.16/14.29 c ---[408759]---> BDD-cost: 1 14.16/14.29 c ---[408757]---> BDD-cost: 1 14.16/14.29 c ---[408755]---> BDD-cost: 1 14.16/14.29 c ---[408753]---> BDD-cost: 1 14.16/14.29 c ---[408751]---> BDD-cost: 1 14.16/14.29 c ---[408749]---> BDD-cost: 1 14.16/14.29 c ---[408747]---> BDD-cost: 1 14.16/14.29 c ---[408745]---> BDD-cost: 1 14.16/14.29 c ---[408743]---> BDD-cost: 1 14.16/14.29 c ---[408741]---> BDD-cost: 1 14.16/14.29 c ---[408739]---> BDD-cost: 1 14.16/14.29 c ---[408737]---> BDD-cost: 1 14.16/14.29 c ---[408735]---> BDD-cost: 1 14.16/14.29 c ---[408733]---> BDD-cost: 1 14.16/14.29 c ---[408731]---> BDD-cost: 1 14.16/14.29 c ---[408729]---> BDD-cost: 1 14.16/14.29 c ---[408727]---> BDD-cost: 1 14.16/14.29 c ---[408725]---> BDD-cost: 1 14.16/14.29 c ---[408723]---> BDD-cost: 1 14.16/14.29 c ---[408721]---> BDD-cost: 1 14.16/14.29 c ---[408719]---> BDD-cost: 1 14.16/14.29 c ---[408717]---> BDD-cost: 1 14.16/14.29 c ---[408715]---> BDD-cost: 1 14.16/14.29 c ---[408713]---> BDD-cost: 1 14.16/14.29 c ---[408711]---> BDD-cost: 1 14.16/14.30 c ---[408709]---> BDD-cost: 1 14.16/14.30 c ---[408707]---> BDD-cost: 1 14.16/14.30 c ---[408705]---> BDD-cost: 1 14.16/14.30 c ---[408703]---> BDD-cost: 1 14.16/14.30 c ---[408701]---> BDD-cost: 1 14.16/14.30 c ---[408699]---> BDD-cost: 1 14.16/14.30 c ---[408697]---> BDD-cost: 1 14.16/14.30 c ---[408695]---> BDD-cost: 1 14.16/14.30 c ---[408693]---> BDD-cost: 1 14.16/14.30 c ---[408691]---> BDD-cost: 1 14.16/14.30 c ---[408689]---> BDD-cost: 1 14.16/14.30 c ---[408687]---> BDD-cost: 1 14.16/14.30 c ---[408685]---> BDD-cost: 1 14.16/14.30 c ---[408683]---> BDD-cost: 1 14.16/14.30 c ---[408681]---> BDD-cost: 1 14.16/14.30 c ---[408679]---> BDD-cost: 1 14.16/14.30 c ---[408677]---> BDD-cost: 1 14.16/14.30 c ---[408675]---> BDD-cost: 1 14.16/14.30 c ---[408673]---> BDD-cost: 1 14.16/14.30 c ---[408671]---> BDD-cost: 1 14.16/14.30 c ---[408669]---> BDD-cost: 1 14.16/14.30 c ---[408667]---> BDD-cost: 1 14.16/14.30 c ---[408665]---> BDD-cost: 1 14.16/14.30 c ---[408663]---> BDD-cost: 1 14.16/14.30 c ---[408661]---> BDD-cost: 1 14.16/14.30 c ---[408659]---> BDD-cost: 1 14.16/14.30 c ---[408657]---> BDD-cost: 1 14.16/14.30 c ---[408655]---> BDD-cost: 1 14.16/14.30 c ---[408653]---> BDD-cost: 1 14.16/14.30 c ---[408651]---> BDD-cost: 1 14.16/14.30 c ---[408649]---> BDD-cost: 1 14.16/14.30 c ---[408647]---> BDD-cost: 1 14.16/14.30 c ---[408645]---> BDD-cost: 1 14.16/14.30 c ---[408643]---> BDD-cost: 1 14.16/14.30 c ---[408641]---> BDD-cost: 1 14.16/14.30 c ---[408639]---> BDD-cost: 1 14.16/14.30 c ---[408637]---> BDD-cost: 1 14.16/14.30 c ---[408635]---> BDD-cost: 1 14.16/14.30 c ---[408633]---> BDD-cost: 1 14.16/14.30 c ---[408631]---> BDD-cost: 1 14.16/14.30 c ---[408629]---> BDD-cost: 1 14.16/14.30 c ---[408627]---> BDD-cost: 1 14.16/14.30 c ---[408625]---> BDD-cost: 1 14.16/14.30 c ---[408623]---> BDD-cost: 1 14.16/14.30 c ---[408621]---> BDD-cost: 1 14.16/14.30 c ---[408619]---> BDD-cost: 1 14.16/14.30 c ---[408617]---> BDD-cost: 1 14.16/14.30 c ---[408615]---> BDD-cost: 1 14.16/14.30 c ---[408613]---> BDD-cost: 1 14.16/14.30 c ---[408611]---> BDD-cost: 1 14.16/14.30 c ---[408609]---> BDD-cost: 1 14.16/14.30 c ---[408607]---> BDD-cost: 1 14.16/14.30 c ---[408605]---> BDD-cost: 1 14.16/14.30 c ---[408603]---> BDD-cost: 1 14.16/14.30 c ---[408601]---> BDD-cost: 1 14.16/14.30 c ---[408599]---> BDD-cost: 1 14.16/14.30 c ---[408597]---> BDD-cost: 1 14.16/14.30 c ---[408595]---> BDD-cost: 1 14.16/14.30 c ---[408593]---> BDD-cost: 1 14.16/14.30 c ---[408591]---> BDD-cost: 1 14.16/14.30 c ---[408589]---> BDD-cost: 1 14.16/14.30 c ---[408587]---> BDD-cost: 1 14.16/14.30 c ---[408585]---> BDD-cost: 1 14.16/14.30 c ---[408583]---> BDD-cost: 1 14.16/14.30 c ---[408581]---> BDD-cost: 1 14.16/14.30 c ---[408579]---> BDD-cost: 1 14.16/14.30 c ---[408577]---> BDD-cost: 1 14.16/14.30 c ---[408575]---> BDD-cost: 1 14.16/14.30 c ---[408573]---> BDD-cost: 1 14.16/14.30 c ---[408571]---> BDD-cost: 1 14.16/14.30 c ---[408569]---> BDD-cost: 1 14.16/14.30 c ---[408567]---> BDD-cost: 1 14.16/14.30 c ---[408565]---> BDD-cost: 1 14.16/14.30 c ---[408563]---> BDD-cost: 1 14.16/14.30 c ---[408561]---> BDD-cost: 1 14.16/14.30 c ---[408559]---> BDD-cost: 1 14.16/14.30 c ---[408557]---> BDD-cost: 1 14.16/14.30 c ---[408555]---> BDD-cost: 1 14.16/14.30 c ---[408553]---> BDD-cost: 1 14.16/14.30 c ---[408551]---> BDD-cost: 1 14.16/14.30 c ---[408549]---> BDD-cost: 1 14.16/14.30 c ---[408547]---> BDD-cost: 1 14.16/14.30 c ---[408545]---> BDD-cost: 1 14.16/14.30 c ---[408543]---> BDD-cost: 1 14.16/14.30 c ---[408541]---> BDD-cost: 1 14.16/14.30 c ---[401933]---> BDD-cost: 1 14.16/14.30 c ---[384274]---> BDD-cost: 1 14.16/14.30 c ---[372221]---> BDD-cost: 1 14.16/14.30 c ---[344819]---> BDD-cost: 1 14.16/14.30 c ---[312039]---> BDD-cost: 1 14.16/14.30 c ---[312037]---> BDD-cost: 1 14.16/14.30 c ---[312035]---> BDD-cost: 1 14.16/14.30 c ---[312033]---> BDD-cost: 1 14.16/14.30 c ---[312031]---> BDD-cost: 1 14.16/14.30 c ---[312029]---> BDD-cost: 1 14.16/14.30 c ---[312027]---> BDD-cost: 1 14.26/14.32 c ==================================[MINISAT+]================================== 14.26/14.32 c | Conflicts | Original | Learnt | Progress | 14.26/14.32 c | | Clauses Literals | Max Clauses Literals LPC | | 14.26/14.32 c ============================================================================== 14.26/14.32 c | 0 | 414447 1074839 | 138149 0 0 nan | 0.000 % | 14.45/14.51 c | 101 | 414447 1074839 | 151963 101 2047 20.3 | 0.854 % | 14.65/14.74 c | 251 | 414447 1074839 | 167160 251 4594 18.3 | 0.854 % | 14.85/14.92 c | 476 | 414447 1074839 | 183876 476 9389 19.7 | 0.854 % | 15.35/15.45 c | 813 | 414447 1074839 | 202263 813 17351 21.3 | 0.854 % | 15.85/15.97 c | 1321 | 414447 1074839 | 222490 1321 34111 25.8 | 0.854 % | 17.15/17.26 c | 2080 | 414447 1074839 | 244739 2080 78166 37.6 | 0.854 % | 19.75/19.84 c | 3219 | 414447 1074839 | 269213 3219 115436 35.9 | 0.854 % | 22.55/22.64 c | 4927 | 414253 1074392 | 296134 4925 165152 33.5 | 0.881 % | 25.15/25.29 c | 7489 | 414062 1073954 | 325748 7485 237496 31.7 | 0.907 % | 29.85/29.96 c | 11334 | 414062 1073954 | 358322 11330 354245 31.3 | 0.907 % | 39.03/39.14 c | 17100 | 413871 1073518 | 394155 17094 526715 30.8 | 0.935 % | 50.71/50.87 c | 25749 | 413504 1072666 | 433570 25739 863000 33.5 | 0.988 % | 70.00/70.15 c | 38723 | 413504 1072666 | 476927 38713 1224523 31.6 | 0.988 % | 101.57/101.76 c | 58184 | 413200 1072023 | 524620 49891 1636049 32.8 | 1.023 % | 144.45/144.69 c | 87376 | 413172 1071967 | 577082 71553 2014955 28.2 | 1.024 % | 159.45/159.68 c ============================================================================== 159.45/159.68 c [1mUNSATISFIABLE[0m 159.45/159.68 s UNSATISFIABLE 159.45/159.68 c _______________________________________________________________________________ 159.45/159.68 c 159.45/159.68 c restarts : 16 159.45/159.68 c conflicts : 97779 (615 /sec) 159.45/159.68 c decisions : 155474 (979 /sec) 159.45/159.68 c propagations : 0 (0 /sec) 159.45/159.68 c inspects : 0 (0 /sec) 159.45/159.68 c CPU time : 158.872 s 159.45/159.68 c _______________________________________________________________________________
ERROR: no interpretation found !
/tmp/evaluation/420027-1177417303/instance-420027-1177417303.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-420027-1177417303 -o ROOT/results/node20/solver-420027-1177417303 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/420027-1177417303/minisat+ /tmp/evaluation/420027-1177417303/instance-420027-1177417303.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/77 14776 /proc/meminfo: memFree=1906728/2055920 swapFree=4154104/4192956 [pid=14776] ppid=14774 vsize=1048 CPUtime=0 /proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 110 0 0 0 0 0 0 0 18 0 1 0 189647731 1073152 96 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14776/statm: 262 96 75 215 0 44 0 [startup+0.062072 s] /proc/loadavg: 1.00 1.00 1.00 3/77 14776 /proc/meminfo: memFree=1906728/2055920 swapFree=4154104/4192956 [pid=14776] ppid=14774 vsize=1596 CPUtime=0.05 /proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 257 0 0 0 5 0 0 0 18 0 1 0 189647731 1634304 243 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14776/statm: 399 243 75 215 0 181 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1596 [startup+0.101078 s] /proc/loadavg: 1.00 1.00 1.00 3/77 14776 /proc/meminfo: memFree=1906728/2055920 swapFree=4154104/4192956 [pid=14776] ppid=14774 vsize=2060 CPUtime=0.09 /proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 351 0 0 0 9 0 0 0 18 0 1 0 189647731 2109440 337 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14776/statm: 515 337 75 215 0 297 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2060 [startup+0.301119 s] /proc/loadavg: 1.00 1.00 1.00 3/77 14776 /proc/meminfo: memFree=1906728/2055920 swapFree=4154104/4192956 [pid=14776] ppid=14774 vsize=3896 CPUtime=0.29 /proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 812 0 0 0 29 0 0 0 19 0 1 0 189647731 3989504 798 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14776/statm: 974 798 75 215 0 756 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3896 [startup+0.701198 s] /proc/loadavg: 1.00 1.00 1.00 3/77 14776 /proc/meminfo: memFree=1906728/2055920 swapFree=4154104/4192956 [pid=14776] ppid=14774 vsize=7320 CPUtime=0.69 /proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 1666 0 0 0 69 0 0 0 23 0 1 0 189647731 7495680 1652 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005895 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14776/statm: 1830 1652 75 215 0 1612 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7320 [startup+1.50136 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14777 /proc/meminfo: memFree=1897760/2055920 swapFree=4154104/4192956 [pid=14776] ppid=14774 vsize=14452 CPUtime=1.48 /proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 3391 0 0 0 147 1 0 0 25 0 1 0 189647731 14798848 3377 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005893 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14776/statm: 3613 3377 75 215 0 3395 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 14452 [startup+3.10168 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14777 /proc/meminfo: memFree=1888160/2055920 swapFree=4154104/4192956 [pid=14776] ppid=14774 vsize=28268 CPUtime=3.08 /proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 6786 0 0 0 305 3 0 0 25 0 1 0 189647731 28946432 6772 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003889 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14776/statm: 7067 6772 75 215 0 6849 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 28268 [startup+6.30132 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14777 /proc/meminfo: memFree=1859616/2055920 swapFree=4154104/4192956 [pid=14776] ppid=14774 vsize=56596 CPUtime=6.29 /proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 13804 0 0 0 620 9 0 0 25 0 1 0 189647731 57954304 13748 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006945 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14776/statm: 14149 13748 75 215 0 13931 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 56596 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14777 /proc/meminfo: memFree=1800552/2055920 swapFree=4154104/4192956 [pid=14776] ppid=14774 vsize=115488 CPUtime=12.68 /proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 28283 0 0 0 1251 17 0 0 25 0 1 0 189647731 118259712 28144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14776/statm: 28872 28144 75 215 0 28654 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 115488 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14777 /proc/meminfo: memFree=1768168/2055920 swapFree=4154104/4192956 [pid=14776] ppid=14774 vsize=140688 CPUtime=25.45 /proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 35364 0 0 0 2480 65 0 0 25 0 1 0 189647731 144064512 34557 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14776/statm: 35172 34557 106 215 0 34954 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 140688 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14777 /proc/meminfo: memFree=1767976/2055920 swapFree=4154104/4192956 [pid=14776] ppid=14774 vsize=140688 CPUtime=51.01 /proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 35377 0 0 0 5036 65 0 0 25 0 1 0 189647731 144064512 34570 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580248 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14776/statm: 35172 34570 106 215 0 34954 0 Current children cumulated CPU time (s) 51.01 Current children cumulated vsize (KiB) 140688 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14777 /proc/meminfo: memFree=1767720/2055920 swapFree=4154104/4192956 [pid=14776] ppid=14774 vsize=140932 CPUtime=102.18 /proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 35456 0 0 0 10153 65 0 0 25 0 1 0 189647731 144314368 34649 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14776/statm: 35233 34649 106 215 0 35015 0 Current children cumulated CPU time (s) 102.18 Current children cumulated vsize (KiB) 140932 Solver just ended. Dumping a history of the last processes samples [startup+127.902 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14777 /proc/meminfo: memFree=1767592/2055920 swapFree=4154104/4192956 [pid=14776] ppid=14774 vsize=140932 CPUtime=127.77 /proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 35471 0 0 0 12711 66 0 0 25 0 1 0 189647731 144314368 34664 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580282 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14776/statm: 35233 34664 106 215 0 35015 0 Current children cumulated CPU time (s) 127.77 Current children cumulated vsize (KiB) 140932 [startup+140.702 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14777 /proc/meminfo: memFree=1767528/2055920 swapFree=4154104/4192956 [pid=14776] ppid=14774 vsize=141052 CPUtime=140.56 /proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 35485 0 0 0 13990 66 0 0 25 0 1 0 189647731 144437248 34678 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580297 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14776/statm: 35263 34678 106 215 0 35045 0 Current children cumulated CPU time (s) 140.56 Current children cumulated vsize (KiB) 141052 [startup+153.501 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14777 /proc/meminfo: memFree=1767464/2055920 swapFree=4154104/4192956 [pid=14776] ppid=14774 vsize=141052 CPUtime=153.35 /proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 35496 0 0 0 15269 66 0 0 25 0 1 0 189647731 144437248 34689 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573393 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14776/statm: 35263 34689 106 215 0 35045 0 Current children cumulated CPU time (s) 153.35 Current children cumulated vsize (KiB) 141052 [startup+156.702 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14777 /proc/meminfo: memFree=1767464/2055920 swapFree=4154104/4192956 [pid=14776] ppid=14774 vsize=141052 CPUtime=156.55 /proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 35496 0 0 0 15589 66 0 0 25 0 1 0 189647731 144437248 34689 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14776/statm: 35263 34689 106 215 0 35045 0 Current children cumulated CPU time (s) 156.55 Current children cumulated vsize (KiB) 141052 [startup+158.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14777 /proc/meminfo: memFree=1767464/2055920 swapFree=4154104/4192956 [pid=14776] ppid=14774 vsize=141052 CPUtime=158.15 /proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 35496 0 0 0 15749 66 0 0 25 0 1 0 189647731 144437248 34689 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14776/statm: 35263 34689 106 215 0 35045 0 Current children cumulated CPU time (s) 158.15 Current children cumulated vsize (KiB) 141052 [startup+159.101 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14777 /proc/meminfo: memFree=1767464/2055920 swapFree=4154104/4192956 [pid=14776] ppid=14774 vsize=141052 CPUtime=158.95 /proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 35496 0 0 0 15829 66 0 0 25 0 1 0 189647731 144437248 34689 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14776/statm: 35263 34689 106 215 0 35045 0 Current children cumulated CPU time (s) 158.95 Current children cumulated vsize (KiB) 141052 [startup+159.505 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14777 /proc/meminfo: memFree=1767464/2055920 swapFree=4154104/4192956 [pid=14776] ppid=14774 vsize=141052 CPUtime=159.35 /proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 35496 0 0 0 15869 66 0 0 25 0 1 0 189647731 144437248 34689 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582057 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14776/statm: 35263 34689 106 215 0 35045 0 Current children cumulated CPU time (s) 159.35 Current children cumulated vsize (KiB) 141052 [startup+159.701 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14777 /proc/meminfo: memFree=1767464/2055920 swapFree=4154104/4192956 [pid=14776] ppid=14774 vsize=0 CPUtime=159.54 /proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194308 35499 0 0 0 15887 67 0 0 25 0 1 0 189647731 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14776/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 159.54 Current children cumulated vsize (KiB) 0 Child status: 20 Real time (s): 159.71 CPU time (s): 159.561 CPU user time (s): 158.876 CPU system time (s): 0.684895 CPU usage (%): 99.9062 Max. virtual memory (cumulated for all children) (KiB): 141052 getrusage(RUSAGE_CHILDREN,...) data: user time used= 158.876 system time used= 0.684895 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35499 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= 5342 involuntary context switches= 3528 runsolver used 0.494924 second user time and 1.12283 second system time The end
Begin job on node20 on Tue Apr 24 12:21:44 UTC 2007 IDJOB= 420027 IDBENCH= 47816 IDSOLVER= 156 FILE ID= node20/420027-1177417303 PBS_JOBID= 4675706 Free space on /tmp= 66442 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/industrial/palacios/uts/uts-l05-ipc5-h26-unsat.opb COMMAND LINE= /tmp/evaluation/420027-1177417303/minisat+ /tmp/evaluation/420027-1177417303/instance-420027-1177417303.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node20/convwatcher-420027-1177417303 -o ROOT/results/node20/conversion-420027-1177417303 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/420027-1177417303/instance-420027-1177417303.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-420027-1177417303 -o ROOT/results/node20/solver-420027-1177417303 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/420027-1177417303/minisat+ /tmp/evaluation/420027-1177417303/instance-420027-1177417303.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 8e1618743a1bd799f44ae3006b4f801a RANDOM SEED= 758417297 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1907072 kB Buffers: 13848 kB Cached: 71240 kB SwapCached: 17864 kB Active: 63716 kB Inactive: 45856 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1907072 kB SwapTotal: 4192956 kB SwapFree: 4154104 kB Dirty: 15260 kB Writeback: 0 kB Mapped: 29760 kB Slab: 24816 kB Committed_AS: 2033632 kB PageTables: 1744 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66442 MiB End job on node20 on Tue Apr 24 12:24:24 UTC 2007