Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | UNSAT | 229.262 | 229.439 |
Name | normalized-PB07/PURE-SAT/SAT07/ industrial/palacios/uts/uts-l05-ipc5-h27-unknown.opb |
MD5SUM | b0e38289187593982ff5af631c082a3e |
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 | 229.262 |
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 | 93573 |
Total number of constraints | 439508 |
Number of constraints which are clauses | 439508 |
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.65/13.77 c Converting 439298 PB-constraints to clauses... 13.75/13.84 c -- Unit propagations: (none) 13.75/13.85 c -- Detecting intervals from adjacent constraints: ################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################## 13.75/13.89 c -- Clauses(.)/Splits(s): .............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 14.82/14.97 c ---[439257]---> BDD-cost: 1 14.82/14.97 c ---[439246]---> BDD-cost: 1 14.82/14.97 c ---[439244]---> BDD-cost: 1 14.82/14.97 c ---[439242]---> BDD-cost: 1 14.82/14.97 c ---[439240]---> BDD-cost: 1 14.82/14.97 c ---[439238]---> BDD-cost: 1 14.82/14.97 c ---[439236]---> BDD-cost: 1 14.82/14.97 c ---[439234]---> BDD-cost: 1 14.82/14.97 c ---[439232]---> BDD-cost: 1 14.82/14.97 c ---[439230]---> BDD-cost: 1 14.82/14.97 c ---[439228]---> BDD-cost: 1 14.82/14.97 c ---[439226]---> BDD-cost: 1 14.82/14.97 c ---[439224]---> BDD-cost: 1 14.82/14.97 c ---[439222]---> BDD-cost: 1 14.82/14.97 c ---[439220]---> BDD-cost: 1 14.82/14.97 c ---[439218]---> BDD-cost: 1 14.82/14.97 c ---[439216]---> BDD-cost: 1 14.82/14.97 c ---[439214]---> BDD-cost: 1 14.82/14.97 c ---[439212]---> BDD-cost: 1 14.82/14.97 c ---[439210]---> BDD-cost: 1 14.82/14.97 c ---[439208]---> BDD-cost: 1 14.82/14.97 c ---[439206]---> BDD-cost: 1 14.82/14.97 c ---[439204]---> BDD-cost: 1 14.82/14.97 c ---[439202]---> BDD-cost: 1 14.82/14.97 c ---[439200]---> BDD-cost: 1 14.82/14.97 c ---[439198]---> BDD-cost: 1 14.82/14.97 c ---[439196]---> BDD-cost: 1 14.82/14.97 c ---[439194]---> BDD-cost: 1 14.82/14.97 c ---[439154]---> BDD-cost: 1 14.82/14.97 c ---[439112]---> BDD-cost: 1 14.82/14.97 c ---[439110]---> BDD-cost: 1 14.82/14.97 c ---[439108]---> BDD-cost: 1 14.82/14.97 c ---[439106]---> BDD-cost: 1 14.82/14.97 c ---[439104]---> BDD-cost: 1 14.82/14.97 c ---[439102]---> BDD-cost: 1 14.82/14.97 c ---[439100]---> BDD-cost: 1 14.82/14.97 c ---[439098]---> BDD-cost: 1 14.82/14.97 c ---[439096]---> BDD-cost: 1 14.82/14.97 c ---[439094]---> BDD-cost: 1 14.82/14.97 c ---[439092]---> BDD-cost: 1 14.82/14.97 c ---[439090]---> BDD-cost: 1 14.82/14.97 c ---[439088]---> BDD-cost: 1 14.82/14.97 c ---[439086]---> BDD-cost: 1 14.82/14.97 c ---[439084]---> BDD-cost: 1 14.82/14.97 c ---[439082]---> BDD-cost: 1 14.82/14.97 c ---[439080]---> BDD-cost: 1 14.82/14.97 c ---[439078]---> BDD-cost: 1 14.82/14.97 c ---[439076]---> BDD-cost: 1 14.82/14.97 c ---[439074]---> BDD-cost: 1 14.82/14.97 c ---[439072]---> BDD-cost: 1 14.82/14.97 c ---[439070]---> BDD-cost: 1 14.82/14.97 c ---[439068]---> BDD-cost: 1 14.82/14.97 c ---[439066]---> BDD-cost: 1 14.82/14.97 c ---[439064]---> BDD-cost: 1 14.82/14.97 c ---[439062]---> BDD-cost: 1 14.82/14.97 c ---[439060]---> BDD-cost: 1 14.82/14.97 c ---[439014]---> BDD-cost: 1 14.82/14.97 c ---[438942]---> BDD-cost: 1 14.82/14.97 c ---[438940]---> BDD-cost: 1 14.82/14.97 c ---[438938]---> BDD-cost: 1 14.82/14.97 c ---[438936]---> BDD-cost: 1 14.82/14.97 c ---[438934]---> BDD-cost: 1 14.82/14.97 c ---[438932]---> BDD-cost: 1 14.82/14.97 c ---[438930]---> BDD-cost: 1 14.82/14.97 c ---[438928]---> BDD-cost: 1 14.82/14.97 c ---[438926]---> BDD-cost: 1 14.82/14.97 c ---[438924]---> BDD-cost: 1 14.82/14.97 c ---[438922]---> BDD-cost: 1 14.82/14.97 c ---[438920]---> BDD-cost: 1 14.82/14.97 c ---[438918]---> BDD-cost: 1 14.82/14.97 c ---[438916]---> BDD-cost: 1 14.82/14.97 c ---[438914]---> BDD-cost: 1 14.82/14.97 c ---[438912]---> BDD-cost: 1 14.82/14.97 c ---[438910]---> BDD-cost: 1 14.82/14.97 c ---[438908]---> BDD-cost: 1 14.82/14.97 c ---[438906]---> BDD-cost: 1 14.82/14.97 c ---[438904]---> BDD-cost: 1 14.82/14.97 c ---[438902]---> BDD-cost: 1 14.82/14.97 c ---[438900]---> BDD-cost: 1 14.82/14.97 c ---[438898]---> BDD-cost: 1 14.82/14.97 c ---[438896]---> BDD-cost: 1 14.82/14.97 c ---[438894]---> BDD-cost: 1 14.82/14.97 c ---[438892]---> BDD-cost: 1 14.82/14.97 c ---[438890]---> BDD-cost: 1 14.82/14.97 c ---[438838]---> BDD-cost: 1 14.82/14.97 c ---[438737]---> BDD-cost: 1 14.82/14.97 c ---[438735]---> BDD-cost: 1 14.82/14.97 c ---[438733]---> BDD-cost: 1 14.82/14.97 c ---[438731]---> BDD-cost: 1 14.82/14.97 c ---[438729]---> BDD-cost: 1 14.82/14.97 c ---[438727]---> BDD-cost: 1 14.82/14.97 c ---[438725]---> BDD-cost: 1 14.82/14.97 c ---[438723]---> BDD-cost: 1 14.82/14.97 c ---[438721]---> BDD-cost: 1 14.82/14.97 c ---[438719]---> BDD-cost: 1 14.82/14.97 c ---[438717]---> BDD-cost: 1 14.82/14.97 c ---[438715]---> BDD-cost: 1 14.82/14.97 c ---[438713]---> BDD-cost: 1 14.82/14.97 c ---[438711]---> BDD-cost: 1 14.82/14.97 c ---[438709]---> BDD-cost: 1 14.82/14.97 c ---[438707]---> BDD-cost: 1 14.82/14.97 c ---[438705]---> BDD-cost: 1 14.82/14.97 c ---[438703]---> BDD-cost: 1 14.82/14.97 c ---[438701]---> BDD-cost: 1 14.82/14.97 c ---[438699]---> BDD-cost: 1 14.82/14.97 c ---[438697]---> BDD-cost: 1 14.82/14.97 c ---[438695]---> BDD-cost: 1 14.82/14.97 c ---[438693]---> BDD-cost: 1 14.82/14.97 c ---[438691]---> BDD-cost: 1 14.82/14.97 c ---[438689]---> BDD-cost: 1 14.82/14.97 c ---[438687]---> BDD-cost: 1 14.82/14.97 c ---[438685]---> BDD-cost: 1 14.82/14.97 c ---[438627]---> BDD-cost: 1 14.82/14.97 c ---[438498]---> BDD-cost: 1 14.82/14.97 c ---[438496]---> BDD-cost: 1 14.82/14.97 c ---[438494]---> BDD-cost: 1 14.82/14.97 c ---[438492]---> BDD-cost: 1 14.82/14.97 c ---[438490]---> BDD-cost: 1 14.82/14.97 c ---[438488]---> BDD-cost: 1 14.82/14.97 c ---[438486]---> BDD-cost: 1 14.82/14.97 c ---[438484]---> BDD-cost: 1 14.82/14.97 c ---[438482]---> BDD-cost: 1 14.82/14.97 c ---[438480]---> BDD-cost: 1 14.82/14.97 c ---[438478]---> BDD-cost: 1 14.82/14.97 c ---[438476]---> BDD-cost: 1 14.82/14.97 c ---[438474]---> BDD-cost: 1 14.82/14.97 c ---[438472]---> BDD-cost: 1 14.82/14.97 c ---[438470]---> BDD-cost: 1 14.82/14.97 c ---[438468]---> BDD-cost: 1 14.82/14.97 c ---[438466]---> BDD-cost: 1 14.82/14.97 c ---[438464]---> BDD-cost: 1 14.82/14.97 c ---[438462]---> BDD-cost: 1 14.82/14.97 c ---[438460]---> BDD-cost: 1 14.82/14.97 c ---[438458]---> BDD-cost: 1 14.82/14.97 c ---[438456]---> BDD-cost: 1 14.82/14.97 c ---[438454]---> BDD-cost: 1 14.82/14.97 c ---[438452]---> BDD-cost: 1 14.82/14.97 c ---[438450]---> BDD-cost: 1 14.82/14.97 c ---[438448]---> BDD-cost: 1 14.82/14.97 c ---[438446]---> BDD-cost: 1 14.82/14.97 c ---[438382]---> BDD-cost: 1 14.82/14.97 c ---[438226]---> BDD-cost: 1 14.82/14.97 c ---[438224]---> BDD-cost: 1 14.82/14.97 c ---[438222]---> BDD-cost: 1 14.82/14.97 c ---[438220]---> BDD-cost: 1 14.82/14.97 c ---[438218]---> BDD-cost: 1 14.82/14.97 c ---[438216]---> BDD-cost: 1 14.82/14.97 c ---[438214]---> BDD-cost: 1 14.82/14.97 c ---[438212]---> BDD-cost: 1 14.82/14.97 c ---[438210]---> BDD-cost: 1 14.82/14.97 c ---[438208]---> BDD-cost: 1 14.82/14.97 c ---[438206]---> BDD-cost: 1 14.82/14.97 c ---[438204]---> BDD-cost: 1 14.82/14.97 c ---[438202]---> BDD-cost: 1 14.82/14.97 c ---[438200]---> BDD-cost: 1 14.82/14.97 c ---[438198]---> BDD-cost: 1 14.82/14.97 c ---[438196]---> BDD-cost: 1 14.82/14.97 c ---[438194]---> BDD-cost: 1 14.82/14.97 c ---[438192]---> BDD-cost: 1 14.82/14.97 c ---[438190]---> BDD-cost: 1 14.82/14.97 c ---[438188]---> BDD-cost: 1 14.82/14.97 c ---[438186]---> BDD-cost: 1 14.82/14.97 c ---[438184]---> BDD-cost: 1 14.82/14.97 c ---[438182]---> BDD-cost: 1 14.82/14.98 c ---[438180]---> BDD-cost: 1 14.82/14.98 c ---[438178]---> BDD-cost: 1 14.82/14.98 c ---[438176]---> BDD-cost: 1 14.82/14.98 c ---[438174]---> BDD-cost: 1 14.82/14.98 c ---[438104]---> BDD-cost: 1 14.82/14.98 c ---[437922]---> BDD-cost: 1 14.82/14.98 c ---[437920]---> BDD-cost: 1 14.82/14.98 c ---[437918]---> BDD-cost: 1 14.82/14.98 c ---[437916]---> BDD-cost: 1 14.82/14.98 c ---[437914]---> BDD-cost: 1 14.82/14.98 c ---[437912]---> BDD-cost: 1 14.82/14.98 c ---[437910]---> BDD-cost: 1 14.82/14.98 c ---[437908]---> BDD-cost: 1 14.82/14.98 c ---[437906]---> BDD-cost: 1 14.82/14.98 c ---[437904]---> BDD-cost: 1 14.82/14.98 c ---[437902]---> BDD-cost: 1 14.82/14.98 c ---[437900]---> BDD-cost: 1 14.82/14.98 c ---[437898]---> BDD-cost: 1 14.82/14.98 c ---[437896]---> BDD-cost: 1 14.82/14.98 c ---[437894]---> BDD-cost: 1 14.82/14.98 c ---[437892]---> BDD-cost: 1 14.82/14.98 c ---[437890]---> BDD-cost: 1 14.82/14.98 c ---[437888]---> BDD-cost: 1 14.82/14.98 c ---[437886]---> BDD-cost: 1 14.82/14.98 c ---[437884]---> BDD-cost: 1 14.82/14.98 c ---[437882]---> BDD-cost: 1 14.82/14.98 c ---[437880]---> BDD-cost: 1 14.82/14.98 c ---[437878]---> BDD-cost: 1 14.82/14.98 c ---[437876]---> BDD-cost: 1 14.82/14.98 c ---[437874]---> BDD-cost: 1 14.82/14.98 c ---[437872]---> BDD-cost: 1 14.82/14.98 c ---[437870]---> BDD-cost: 1 14.82/14.98 c ---[437774]---> BDD-cost: 1 14.82/14.98 c ---[437589]---> BDD-cost: 1 14.82/14.98 c ---[437587]---> BDD-cost: 1 14.82/14.98 c ---[437585]---> BDD-cost: 1 14.82/14.98 c ---[437583]---> BDD-cost: 1 14.82/14.98 c ---[437581]---> BDD-cost: 1 14.82/14.98 c ---[437579]---> BDD-cost: 1 14.82/14.98 c ---[437577]---> BDD-cost: 1 14.82/14.98 c ---[437575]---> BDD-cost: 1 14.82/14.98 c ---[437573]---> BDD-cost: 1 14.82/14.98 c ---[437571]---> BDD-cost: 1 14.82/14.98 c ---[437569]---> BDD-cost: 1 14.82/14.98 c ---[437567]---> BDD-cost: 1 14.82/14.98 c ---[437565]---> BDD-cost: 1 14.82/14.98 c ---[437563]---> BDD-cost: 1 14.82/14.98 c ---[437561]---> BDD-cost: 1 14.82/14.98 c ---[437559]---> BDD-cost: 1 14.82/14.98 c ---[437557]---> BDD-cost: 1 14.82/14.98 c ---[437555]---> BDD-cost: 1 14.82/14.98 c ---[437553]---> BDD-cost: 1 14.82/14.98 c ---[437551]---> BDD-cost: 1 14.82/14.98 c ---[437549]---> BDD-cost: 1 14.82/14.98 c ---[437547]---> BDD-cost: 1 14.82/14.98 c ---[437545]---> BDD-cost: 1 14.82/14.98 c ---[437543]---> BDD-cost: 1 14.82/14.98 c ---[437541]---> BDD-cost: 1 14.82/14.98 c ---[437539]---> BDD-cost: 1 14.82/14.98 c ---[437537]---> BDD-cost: 1 14.82/14.98 c ---[437416]---> BDD-cost: 1 14.82/14.98 c ---[437225]---> BDD-cost: 1 14.82/14.98 c ---[437223]---> BDD-cost: 1 14.82/14.98 c ---[437221]---> BDD-cost: 1 14.82/14.98 c ---[437219]---> BDD-cost: 1 14.82/14.98 c ---[437217]---> BDD-cost: 1 14.82/14.98 c ---[437215]---> BDD-cost: 1 14.82/14.98 c ---[437213]---> BDD-cost: 1 14.82/14.98 c ---[437211]---> BDD-cost: 1 14.82/14.98 c ---[437209]---> BDD-cost: 1 14.82/14.98 c ---[437207]---> BDD-cost: 1 14.82/14.98 c ---[437205]---> BDD-cost: 1 14.82/14.98 c ---[437203]---> BDD-cost: 1 14.82/14.98 c ---[437201]---> BDD-cost: 1 14.82/14.98 c ---[437199]---> BDD-cost: 1 14.82/14.98 c ---[437197]---> BDD-cost: 1 14.82/14.98 c ---[437195]---> BDD-cost: 1 14.82/14.98 c ---[437193]---> BDD-cost: 1 14.82/14.98 c ---[437191]---> BDD-cost: 1 14.82/14.98 c ---[437189]---> BDD-cost: 1 14.82/14.98 c ---[437187]---> BDD-cost: 1 14.82/14.98 c ---[437185]---> BDD-cost: 1 14.82/14.98 c ---[437183]---> BDD-cost: 1 14.82/14.98 c ---[437181]---> BDD-cost: 1 14.82/14.98 c ---[437179]---> BDD-cost: 1 14.82/14.98 c ---[437177]---> BDD-cost: 1 14.82/14.98 c ---[437175]---> BDD-cost: 1 14.82/14.98 c ---[437173]---> BDD-cost: 1 14.82/14.98 c ---[437046]---> BDD-cost: 1 14.82/14.98 c ---[436823]---> BDD-cost: 1 14.82/14.98 c ---[436821]---> BDD-cost: 1 14.82/14.98 c ---[436819]---> BDD-cost: 1 14.82/14.98 c ---[436817]---> BDD-cost: 1 14.82/14.98 c ---[436815]---> BDD-cost: 1 14.82/14.98 c ---[436813]---> BDD-cost: 1 14.82/14.98 c ---[436811]---> BDD-cost: 1 14.82/14.98 c ---[436809]---> BDD-cost: 1 14.82/14.98 c ---[436807]---> BDD-cost: 1 14.82/14.98 c ---[436805]---> BDD-cost: 1 14.82/14.98 c ---[436803]---> BDD-cost: 1 14.82/14.98 c ---[436801]---> BDD-cost: 1 14.82/14.98 c ---[436799]---> BDD-cost: 1 14.82/14.98 c ---[436797]---> BDD-cost: 1 14.82/14.98 c ---[436795]---> BDD-cost: 1 14.82/14.98 c ---[436793]---> BDD-cost: 1 14.82/14.98 c ---[436791]---> BDD-cost: 1 14.82/14.98 c ---[436789]---> BDD-cost: 1 14.82/14.98 c ---[436787]---> BDD-cost: 1 14.82/14.98 c ---[436785]---> BDD-cost: 1 14.82/14.98 c ---[436783]---> BDD-cost: 1 14.82/14.98 c ---[436781]---> BDD-cost: 1 14.82/14.98 c ---[436779]---> BDD-cost: 1 14.82/14.98 c ---[436777]---> BDD-cost: 1 14.82/14.98 c ---[436775]---> BDD-cost: 1 14.82/14.98 c ---[436773]---> BDD-cost: 1 14.82/14.98 c ---[436771]---> BDD-cost: 1 14.82/14.98 c ---[436638]---> BDD-cost: 1 14.82/14.98 c ---[436384]---> BDD-cost: 1 14.82/14.98 c ---[436382]---> BDD-cost: 1 14.82/14.98 c ---[436380]---> BDD-cost: 1 14.82/14.98 c ---[436378]---> BDD-cost: 1 14.82/14.98 c ---[436376]---> BDD-cost: 1 14.82/14.98 c ---[436374]---> BDD-cost: 1 14.82/14.98 c ---[436372]---> BDD-cost: 1 14.82/14.98 c ---[436370]---> BDD-cost: 1 14.82/14.98 c ---[436368]---> BDD-cost: 1 14.82/14.98 c ---[436366]---> BDD-cost: 1 14.82/14.98 c ---[436364]---> BDD-cost: 1 14.82/14.98 c ---[436362]---> BDD-cost: 1 14.82/14.98 c ---[436360]---> BDD-cost: 1 14.82/14.98 c ---[436358]---> BDD-cost: 1 14.82/14.98 c ---[436356]---> BDD-cost: 1 14.82/14.98 c ---[436354]---> BDD-cost: 1 14.82/14.98 c ---[436352]---> BDD-cost: 1 14.82/14.98 c ---[436350]---> BDD-cost: 1 14.82/14.98 c ---[436348]---> BDD-cost: 1 14.82/14.98 c ---[436346]---> BDD-cost: 1 14.82/14.98 c ---[436344]---> BDD-cost: 1 14.82/14.98 c ---[436342]---> BDD-cost: 1 14.82/14.98 c ---[436340]---> BDD-cost: 1 14.82/14.98 c ---[436338]---> BDD-cost: 1 14.82/14.98 c ---[436336]---> BDD-cost: 1 14.82/14.98 c ---[436334]---> BDD-cost: 1 14.82/14.98 c ---[436332]---> BDD-cost: 1 14.82/14.98 c ---[436193]---> BDD-cost: 1 14.82/14.98 c ---[435909]---> BDD-cost: 1 14.82/14.98 c ---[435907]---> BDD-cost: 1 14.82/14.98 c ---[435905]---> BDD-cost: 1 14.82/14.98 c ---[435903]---> BDD-cost: 1 14.82/14.98 c ---[435901]---> BDD-cost: 1 14.82/14.98 c ---[435899]---> BDD-cost: 1 14.82/14.98 c ---[435897]---> BDD-cost: 1 14.82/14.98 c ---[435895]---> BDD-cost: 1 14.82/14.98 c ---[435893]---> BDD-cost: 1 14.82/14.98 c ---[435891]---> BDD-cost: 1 14.82/14.98 c ---[435889]---> BDD-cost: 1 14.82/14.98 c ---[435887]---> BDD-cost: 1 14.82/14.98 c ---[435885]---> BDD-cost: 1 14.82/14.98 c ---[435883]---> BDD-cost: 1 14.82/14.98 c ---[435881]---> BDD-cost: 1 14.82/14.98 c ---[435879]---> BDD-cost: 1 14.82/14.98 c ---[435877]---> BDD-cost: 1 14.82/14.98 c ---[435875]---> BDD-cost: 1 14.82/14.98 c ---[435873]---> BDD-cost: 1 14.82/14.98 c ---[435871]---> BDD-cost: 1 14.82/14.98 c ---[435869]---> BDD-cost: 1 14.82/14.98 c ---[435867]---> BDD-cost: 1 14.82/14.98 c ---[435865]---> BDD-cost: 1 14.82/14.98 c ---[435863]---> BDD-cost: 1 14.82/14.98 c ---[435861]---> BDD-cost: 1 14.82/14.98 c ---[435859]---> BDD-cost: 1 14.82/14.98 c ---[435857]---> BDD-cost: 1 14.82/14.98 c ---[435712]---> BDD-cost: 1 14.82/14.98 c ---[435399]---> BDD-cost: 1 14.82/14.98 c ---[435397]---> BDD-cost: 1 14.82/14.98 c ---[435395]---> BDD-cost: 1 14.82/14.98 c ---[435393]---> BDD-cost: 1 14.82/14.98 c ---[435391]---> BDD-cost: 1 14.82/14.98 c ---[435389]---> BDD-cost: 1 14.82/14.98 c ---[435387]---> BDD-cost: 1 14.82/14.98 c ---[435385]---> BDD-cost: 1 14.82/14.98 c ---[435383]---> BDD-cost: 1 14.82/14.98 c ---[435381]---> BDD-cost: 1 14.82/14.98 c ---[435379]---> BDD-cost: 1 14.82/14.98 c ---[435377]---> BDD-cost: 1 14.82/14.98 c ---[435375]---> BDD-cost: 1 14.82/14.98 c ---[435373]---> BDD-cost: 1 14.82/14.98 c ---[435371]---> BDD-cost: 1 14.82/14.98 c ---[435369]---> BDD-cost: 1 14.82/14.98 c ---[435367]---> BDD-cost: 1 14.82/14.98 c ---[435365]---> BDD-cost: 1 14.82/14.98 c ---[435363]---> BDD-cost: 1 14.82/14.98 c ---[435361]---> BDD-cost: 1 14.82/14.98 c ---[435359]---> BDD-cost: 1 14.82/14.98 c ---[435357]---> BDD-cost: 1 14.82/14.98 c ---[435355]---> BDD-cost: 1 14.82/14.98 c ---[435353]---> BDD-cost: 1 14.82/14.98 c ---[435351]---> BDD-cost: 1 14.82/14.98 c ---[435349]---> BDD-cost: 1 14.82/14.98 c ---[435347]---> BDD-cost: 1 14.82/14.98 c ---[435196]---> BDD-cost: 1 14.82/14.98 c ---[434855]---> BDD-cost: 1 14.82/14.98 c ---[434853]---> BDD-cost: 1 14.82/14.98 c ---[434851]---> BDD-cost: 1 14.82/14.98 c ---[434849]---> BDD-cost: 1 14.82/14.98 c ---[434847]---> BDD-cost: 1 14.82/14.98 c ---[434845]---> BDD-cost: 1 14.82/14.98 c ---[434843]---> BDD-cost: 1 14.82/14.98 c ---[434841]---> BDD-cost: 1 14.82/14.98 c ---[434839]---> BDD-cost: 1 14.82/14.98 c ---[434837]---> BDD-cost: 1 14.82/14.98 c ---[434835]---> BDD-cost: 1 14.82/14.98 c ---[434833]---> BDD-cost: 1 14.82/14.98 c ---[434831]---> BDD-cost: 1 14.82/14.98 c ---[434829]---> BDD-cost: 1 14.82/14.98 c ---[434827]---> BDD-cost: 1 14.82/14.98 c ---[434825]---> BDD-cost: 1 14.82/14.98 c ---[434823]---> BDD-cost: 1 14.82/14.98 c ---[434821]---> BDD-cost: 1 14.82/14.98 c ---[434819]---> BDD-cost: 1 14.82/14.98 c ---[434817]---> BDD-cost: 1 14.82/14.98 c ---[434815]---> BDD-cost: 1 14.82/14.98 c ---[434813]---> BDD-cost: 1 14.82/14.98 c ---[434811]---> BDD-cost: 1 14.82/14.98 c ---[434809]---> BDD-cost: 1 14.82/14.98 c ---[434807]---> BDD-cost: 1 14.82/14.98 c ---[434805]---> BDD-cost: 1 14.82/14.98 c ---[434803]---> BDD-cost: 1 14.82/14.98 c ---[434646]---> BDD-cost: 1 14.82/14.98 c ---[434216]---> BDD-cost: 1 14.82/14.98 c ---[434214]---> BDD-cost: 1 14.82/14.98 c ---[434212]---> BDD-cost: 1 14.82/14.98 c ---[434210]---> BDD-cost: 1 14.82/14.98 c ---[434208]---> BDD-cost: 1 14.82/14.98 c ---[434206]---> BDD-cost: 1 14.82/14.98 c ---[434204]---> BDD-cost: 1 14.82/14.98 c ---[434202]---> BDD-cost: 1 14.82/14.98 c ---[434200]---> BDD-cost: 1 14.82/14.98 c ---[434198]---> BDD-cost: 1 14.82/14.98 c ---[434196]---> BDD-cost: 1 14.82/14.98 c ---[434194]---> BDD-cost: 1 14.82/14.98 c ---[434192]---> BDD-cost: 1 14.82/14.98 c ---[434190]---> BDD-cost: 1 14.82/14.98 c ---[434188]---> BDD-cost: 1 14.82/14.98 c ---[434186]---> BDD-cost: 1 14.82/14.98 c ---[434184]---> BDD-cost: 1 14.82/14.98 c ---[434182]---> BDD-cost: 1 14.82/14.98 c ---[434180]---> BDD-cost: 1 14.82/14.98 c ---[434178]---> BDD-cost: 1 14.82/14.98 c ---[434176]---> BDD-cost: 1 14.82/14.98 c ---[434174]---> BDD-cost: 1 14.82/14.98 c ---[434172]---> BDD-cost: 1 14.82/14.98 c ---[434170]---> BDD-cost: 1 14.82/14.98 c ---[434168]---> BDD-cost: 1 14.82/14.98 c ---[434166]---> BDD-cost: 1 14.82/14.98 c ---[434164]---> BDD-cost: 1 14.82/14.98 c ---[433982]---> BDD-cost: 1 14.82/14.98 c ---[433980]---> BDD-cost: 1 14.82/14.98 c ---[433978]---> BDD-cost: 1 14.82/14.98 c ---[433976]---> BDD-cost: 1 14.82/14.98 c ---[433974]---> BDD-cost: 1 14.82/14.98 c ---[433972]---> BDD-cost: 1 14.82/14.98 c ---[433970]---> BDD-cost: 1 14.82/14.98 c ---[433968]---> BDD-cost: 1 14.82/14.98 c ---[433966]---> BDD-cost: 1 14.82/14.98 c ---[433964]---> BDD-cost: 1 14.82/14.98 c ---[433962]---> BDD-cost: 1 14.82/14.98 c ---[433960]---> BDD-cost: 1 14.82/14.98 c ---[433958]---> BDD-cost: 1 14.82/14.98 c ---[433956]---> BDD-cost: 1 14.82/14.98 c ---[433954]---> BDD-cost: 1 14.82/14.98 c ---[433952]---> BDD-cost: 1 14.82/14.98 c ---[433950]---> BDD-cost: 1 14.82/14.98 c ---[433948]---> BDD-cost: 1 14.82/14.98 c ---[433946]---> BDD-cost: 1 14.82/14.98 c ---[433944]---> BDD-cost: 1 14.82/14.98 c ---[433942]---> BDD-cost: 1 14.82/14.98 c ---[433940]---> BDD-cost: 1 14.82/14.98 c ---[433938]---> BDD-cost: 1 14.82/14.98 c ---[433936]---> BDD-cost: 1 14.82/14.98 c ---[433934]---> BDD-cost: 1 14.82/14.98 c ---[433676]---> BDD-cost: 1 14.82/14.98 c ---[433674]---> BDD-cost: 1 14.82/14.98 c ---[433672]---> BDD-cost: 1 14.82/14.99 c ---[433670]---> BDD-cost: 1 14.82/14.99 c ---[433668]---> BDD-cost: 1 14.82/14.99 c ---[433666]---> BDD-cost: 1 14.82/14.99 c ---[433664]---> BDD-cost: 1 14.82/14.99 c ---[433662]---> BDD-cost: 1 14.82/14.99 c ---[433660]---> BDD-cost: 1 14.82/14.99 c ---[433658]---> BDD-cost: 1 14.82/14.99 c ---[433656]---> BDD-cost: 1 14.82/14.99 c ---[433654]---> BDD-cost: 1 14.82/14.99 c ---[433652]---> BDD-cost: 1 14.82/14.99 c ---[433650]---> BDD-cost: 1 14.82/14.99 c ---[433648]---> BDD-cost: 1 14.82/14.99 c ---[433646]---> BDD-cost: 1 14.82/14.99 c ---[433644]---> BDD-cost: 1 14.82/14.99 c ---[433642]---> BDD-cost: 1 14.82/14.99 c ---[433640]---> BDD-cost: 1 14.82/14.99 c ---[433638]---> BDD-cost: 1 14.82/14.99 c ---[433636]---> BDD-cost: 1 14.82/14.99 c ---[433634]---> BDD-cost: 1 14.82/14.99 c ---[433632]---> BDD-cost: 1 14.82/14.99 c ---[433630]---> BDD-cost: 1 14.82/14.99 c ---[433628]---> BDD-cost: 1 14.82/14.99 c ---[433626]---> BDD-cost: 1 14.82/14.99 c ---[433624]---> BDD-cost: 1 14.82/14.99 c ---[433622]---> BDD-cost: 1 14.82/14.99 c ---[433620]---> BDD-cost: 1 14.82/14.99 c ---[433618]---> BDD-cost: 1 14.82/14.99 c ---[433616]---> BDD-cost: 1 14.82/14.99 c ---[433614]---> BDD-cost: 1 14.82/14.99 c ---[433612]---> BDD-cost: 1 14.82/14.99 c ---[433610]---> BDD-cost: 1 14.82/14.99 c ---[433608]---> BDD-cost: 1 14.82/14.99 c ---[433606]---> BDD-cost: 1 14.82/14.99 c ---[433604]---> BDD-cost: 1 14.82/14.99 c ---[433271]---> BDD-cost: 1 14.82/14.99 c ---[433269]---> BDD-cost: 1 14.82/14.99 c ---[433267]---> BDD-cost: 1 14.82/14.99 c ---[433265]---> BDD-cost: 1 14.82/14.99 c ---[433263]---> BDD-cost: 1 14.82/14.99 c ---[433261]---> BDD-cost: 1 14.82/14.99 c ---[433259]---> BDD-cost: 1 14.82/14.99 c ---[433257]---> BDD-cost: 1 14.82/14.99 c ---[433255]---> BDD-cost: 1 14.82/14.99 c ---[433253]---> BDD-cost: 1 14.82/14.99 c ---[433251]---> BDD-cost: 1 14.82/14.99 c ---[433249]---> BDD-cost: 1 14.82/14.99 c ---[433247]---> BDD-cost: 1 14.82/14.99 c ---[433245]---> BDD-cost: 1 14.82/14.99 c ---[433243]---> BDD-cost: 1 14.82/14.99 c ---[433241]---> BDD-cost: 1 14.82/14.99 c ---[433239]---> BDD-cost: 1 14.82/14.99 c ---[433237]---> BDD-cost: 1 14.82/14.99 c ---[433235]---> BDD-cost: 1 14.82/14.99 c ---[433233]---> BDD-cost: 1 14.82/14.99 c ---[433231]---> BDD-cost: 1 14.82/14.99 c ---[433229]---> BDD-cost: 1 14.82/14.99 c ---[433227]---> BDD-cost: 1 14.82/14.99 c ---[433225]---> BDD-cost: 1 14.82/14.99 c ---[433223]---> BDD-cost: 1 14.82/14.99 c ---[433221]---> BDD-cost: 1 14.82/14.99 c ---[433219]---> BDD-cost: 1 14.82/14.99 c ---[433217]---> BDD-cost: 1 14.82/14.99 c ---[433215]---> BDD-cost: 1 14.82/14.99 c ---[433213]---> BDD-cost: 1 14.82/14.99 c ---[433211]---> BDD-cost: 1 14.82/14.99 c ---[433209]---> BDD-cost: 1 14.82/14.99 c ---[433207]---> BDD-cost: 1 14.82/14.99 c ---[433205]---> BDD-cost: 1 14.82/14.99 c ---[433203]---> BDD-cost: 1 14.82/14.99 c ---[433201]---> BDD-cost: 1 14.82/14.99 c ---[433199]---> BDD-cost: 1 14.82/14.99 c ---[433197]---> BDD-cost: 1 14.82/14.99 c ---[433195]---> BDD-cost: 1 14.82/14.99 c ---[433193]---> BDD-cost: 1 14.82/14.99 c ---[433191]---> BDD-cost: 1 14.82/14.99 c ---[433189]---> BDD-cost: 1 14.82/14.99 c ---[433187]---> BDD-cost: 1 14.82/14.99 c ---[433185]---> BDD-cost: 1 14.82/14.99 c ---[433183]---> BDD-cost: 1 14.82/14.99 c ---[433181]---> BDD-cost: 1 14.82/14.99 c ---[433179]---> BDD-cost: 1 14.82/14.99 c ---[433177]---> BDD-cost: 1 14.82/14.99 c ---[433175]---> BDD-cost: 1 14.82/14.99 c ---[433173]---> BDD-cost: 1 14.82/14.99 c ---[433171]---> BDD-cost: 1 14.82/14.99 c ---[433169]---> BDD-cost: 1 14.82/14.99 c ---[433167]---> BDD-cost: 1 14.82/14.99 c ---[433165]---> BDD-cost: 1 14.82/14.99 c ---[433163]---> BDD-cost: 1 14.82/14.99 c ---[433161]---> BDD-cost: 1 14.82/14.99 c ---[433159]---> BDD-cost: 1 14.82/14.99 c ---[433157]---> BDD-cost: 1 14.82/14.99 c ---[433155]---> BDD-cost: 1 14.82/14.99 c ---[433153]---> BDD-cost: 1 14.82/14.99 c ---[433151]---> BDD-cost: 1 14.82/14.99 c ---[433149]---> BDD-cost: 1 14.82/14.99 c ---[433147]---> BDD-cost: 1 14.82/14.99 c ---[433145]---> BDD-cost: 1 14.82/14.99 c ---[433143]---> BDD-cost: 1 14.82/14.99 c ---[433141]---> BDD-cost: 1 14.82/14.99 c ---[433139]---> BDD-cost: 1 14.82/14.99 c ---[433137]---> BDD-cost: 1 14.82/14.99 c ---[433135]---> BDD-cost: 1 14.82/14.99 c ---[433133]---> BDD-cost: 1 14.82/14.99 c ---[433131]---> BDD-cost: 1 14.82/14.99 c ---[433129]---> BDD-cost: 1 14.82/14.99 c ---[433127]---> BDD-cost: 1 14.82/14.99 c ---[433125]---> BDD-cost: 1 14.82/14.99 c ---[433123]---> BDD-cost: 1 14.82/14.99 c ---[433121]---> BDD-cost: 1 14.82/14.99 c ---[433119]---> BDD-cost: 1 14.82/14.99 c ---[433117]---> BDD-cost: 1 14.82/14.99 c ---[433115]---> BDD-cost: 1 14.82/14.99 c ---[433113]---> BDD-cost: 1 14.82/14.99 c ---[433111]---> BDD-cost: 1 14.82/14.99 c ---[433109]---> BDD-cost: 1 14.82/14.99 c ---[433107]---> BDD-cost: 1 14.82/14.99 c ---[433105]---> BDD-cost: 1 14.82/14.99 c ---[433103]---> BDD-cost: 1 14.82/14.99 c ---[433101]---> BDD-cost: 1 14.82/14.99 c ---[433099]---> BDD-cost: 1 14.82/14.99 c ---[433097]---> BDD-cost: 1 14.82/14.99 c ---[433095]---> BDD-cost: 1 14.82/14.99 c ---[433093]---> BDD-cost: 1 14.82/14.99 c ---[433091]---> BDD-cost: 1 14.82/14.99 c ---[433089]---> BDD-cost: 1 14.82/14.99 c ---[433087]---> BDD-cost: 1 14.82/14.99 c ---[433085]---> BDD-cost: 1 14.82/14.99 c ---[433083]---> BDD-cost: 1 14.82/14.99 c ---[433081]---> BDD-cost: 1 14.82/14.99 c ---[433079]---> BDD-cost: 1 14.82/14.99 c ---[433077]---> BDD-cost: 1 14.82/14.99 c ---[433075]---> BDD-cost: 1 14.82/14.99 c ---[433073]---> BDD-cost: 1 14.82/14.99 c ---[433071]---> BDD-cost: 1 14.82/14.99 c ---[433069]---> BDD-cost: 1 14.82/14.99 c ---[433067]---> BDD-cost: 1 14.82/14.99 c ---[433065]---> BDD-cost: 1 14.82/14.99 c ---[433063]---> BDD-cost: 1 14.82/14.99 c ---[433061]---> BDD-cost: 1 14.82/14.99 c ---[433059]---> BDD-cost: 1 14.82/14.99 c ---[433057]---> BDD-cost: 1 14.82/14.99 c ---[433055]---> BDD-cost: 1 14.82/14.99 c ---[433053]---> BDD-cost: 1 14.82/14.99 c ---[433051]---> BDD-cost: 1 14.82/14.99 c ---[433049]---> BDD-cost: 1 14.82/14.99 c ---[433047]---> BDD-cost: 1 14.82/14.99 c ---[433045]---> BDD-cost: 1 14.82/14.99 c ---[433043]---> BDD-cost: 1 14.82/14.99 c ---[433041]---> BDD-cost: 1 14.82/14.99 c ---[433039]---> BDD-cost: 1 14.82/14.99 c ---[433037]---> BDD-cost: 1 14.82/14.99 c ---[433035]---> BDD-cost: 1 14.82/14.99 c ---[433033]---> BDD-cost: 1 14.82/14.99 c ---[433031]---> BDD-cost: 1 14.82/14.99 c ---[433029]---> BDD-cost: 1 14.82/14.99 c ---[433027]---> BDD-cost: 1 14.82/14.99 c ---[433025]---> BDD-cost: 1 14.82/14.99 c ---[433023]---> BDD-cost: 1 14.82/14.99 c ---[433021]---> BDD-cost: 1 14.82/14.99 c ---[433019]---> BDD-cost: 1 14.82/14.99 c ---[433017]---> BDD-cost: 1 14.82/14.99 c ---[433015]---> BDD-cost: 1 14.82/14.99 c ---[433013]---> BDD-cost: 1 14.82/14.99 c ---[433011]---> BDD-cost: 1 14.82/14.99 c ---[433009]---> BDD-cost: 1 14.82/14.99 c ---[433007]---> BDD-cost: 1 14.82/14.99 c ---[433005]---> BDD-cost: 1 14.82/14.99 c ---[433003]---> BDD-cost: 1 14.82/14.99 c ---[433001]---> BDD-cost: 1 14.82/14.99 c ---[432999]---> BDD-cost: 1 14.82/14.99 c ---[432997]---> BDD-cost: 1 14.82/14.99 c ---[432995]---> BDD-cost: 1 14.82/14.99 c ---[432993]---> BDD-cost: 1 14.82/14.99 c ---[432991]---> BDD-cost: 1 14.82/14.99 c ---[432989]---> BDD-cost: 1 14.82/14.99 c ---[432987]---> BDD-cost: 1 14.82/14.99 c ---[432985]---> BDD-cost: 1 14.82/14.99 c ---[432983]---> BDD-cost: 1 14.82/14.99 c ---[432981]---> BDD-cost: 1 14.82/14.99 c ---[432979]---> BDD-cost: 1 14.82/14.99 c ---[432977]---> BDD-cost: 1 14.82/14.99 c ---[432975]---> BDD-cost: 1 14.82/14.99 c ---[432973]---> BDD-cost: 1 14.82/14.99 c ---[432971]---> BDD-cost: 1 14.82/14.99 c ---[432969]---> BDD-cost: 1 14.82/14.99 c ---[432967]---> BDD-cost: 1 14.82/14.99 c ---[432965]---> BDD-cost: 1 14.82/14.99 c ---[432963]---> BDD-cost: 1 14.82/14.99 c ---[432961]---> BDD-cost: 1 14.82/14.99 c ---[432959]---> BDD-cost: 1 14.82/14.99 c ---[432957]---> BDD-cost: 1 14.82/14.99 c ---[432955]---> BDD-cost: 1 14.82/14.99 c ---[432953]---> BDD-cost: 1 14.82/14.99 c ---[432951]---> BDD-cost: 1 14.82/14.99 c ---[432949]---> BDD-cost: 1 14.82/14.99 c ---[432947]---> BDD-cost: 1 14.82/14.99 c ---[432945]---> BDD-cost: 1 14.82/14.99 c ---[432943]---> BDD-cost: 1 14.82/14.99 c ---[432941]---> BDD-cost: 1 14.82/14.99 c ---[432939]---> BDD-cost: 1 14.82/14.99 c ---[432937]---> BDD-cost: 1 14.82/14.99 c ---[432935]---> BDD-cost: 1 14.82/14.99 c ---[432933]---> BDD-cost: 1 14.82/14.99 c ---[432931]---> BDD-cost: 1 14.82/14.99 c ---[432929]---> BDD-cost: 1 14.82/14.99 c ---[432927]---> BDD-cost: 1 14.82/14.99 c ---[432925]---> BDD-cost: 1 14.82/14.99 c ---[432923]---> BDD-cost: 1 14.82/14.99 c ---[432921]---> BDD-cost: 1 14.82/14.99 c ---[432919]---> BDD-cost: 1 14.82/14.99 c ---[432917]---> BDD-cost: 1 14.82/14.99 c ---[432915]---> BDD-cost: 1 14.82/14.99 c ---[432913]---> BDD-cost: 1 14.82/14.99 c ---[432911]---> BDD-cost: 1 14.82/14.99 c ---[432909]---> BDD-cost: 1 14.82/14.99 c ---[432907]---> BDD-cost: 1 14.82/14.99 c ---[432905]---> BDD-cost: 1 14.82/14.99 c ---[432903]---> BDD-cost: 1 14.82/14.99 c ---[432901]---> BDD-cost: 1 14.82/14.99 c ---[432899]---> BDD-cost: 1 14.82/14.99 c ---[432897]---> BDD-cost: 1 14.82/14.99 c ---[432895]---> BDD-cost: 1 14.82/14.99 c ---[432893]---> BDD-cost: 1 14.82/14.99 c ---[432891]---> BDD-cost: 1 14.82/14.99 c ---[432889]---> BDD-cost: 1 14.82/14.99 c ---[432887]---> BDD-cost: 1 14.82/14.99 c ---[432885]---> BDD-cost: 1 14.82/14.99 c ---[432883]---> BDD-cost: 1 14.82/14.99 c ---[432881]---> BDD-cost: 1 14.82/14.99 c ---[432879]---> BDD-cost: 1 14.82/14.99 c ---[432877]---> BDD-cost: 1 14.82/14.99 c ---[432875]---> BDD-cost: 1 14.82/14.99 c ---[432873]---> BDD-cost: 1 14.82/14.99 c ---[432871]---> BDD-cost: 1 14.82/14.99 c ---[432869]---> BDD-cost: 1 14.82/14.99 c ---[432867]---> BDD-cost: 1 14.82/14.99 c ---[432865]---> BDD-cost: 1 14.82/14.99 c ---[432863]---> BDD-cost: 1 14.82/14.99 c ---[432861]---> BDD-cost: 1 14.82/14.99 c ---[432859]---> BDD-cost: 1 14.82/14.99 c ---[432857]---> BDD-cost: 1 14.82/14.99 c ---[432855]---> BDD-cost: 1 14.82/14.99 c ---[432853]---> BDD-cost: 1 14.82/14.99 c ---[432851]---> BDD-cost: 1 14.82/14.99 c ---[432849]---> BDD-cost: 1 14.82/14.99 c ---[432847]---> BDD-cost: 1 14.82/14.99 c ---[432845]---> BDD-cost: 1 14.82/14.99 c ---[432843]---> BDD-cost: 1 14.82/14.99 c ---[432841]---> BDD-cost: 1 14.82/14.99 c ---[432839]---> BDD-cost: 1 14.82/14.99 c ---[432837]---> BDD-cost: 1 14.82/14.99 c ---[432835]---> BDD-cost: 1 14.82/14.99 c ---[432833]---> BDD-cost: 1 14.82/14.99 c ---[432831]---> BDD-cost: 1 14.82/14.99 c ---[432829]---> BDD-cost: 1 14.82/14.99 c ---[432827]---> BDD-cost: 1 14.82/14.99 c ---[432825]---> BDD-cost: 1 14.82/14.99 c ---[432823]---> BDD-cost: 1 14.82/14.99 c ---[432821]---> BDD-cost: 1 14.82/14.99 c ---[432819]---> BDD-cost: 1 14.82/14.99 c ---[432817]---> BDD-cost: 1 14.82/14.99 c ---[432815]---> BDD-cost: 1 14.82/14.99 c ---[432813]---> BDD-cost: 1 14.82/14.99 c ---[432811]---> BDD-cost: 1 14.82/14.99 c ---[432809]---> BDD-cost: 1 14.82/14.99 c ---[432807]---> BDD-cost: 1 14.82/14.99 c ---[432805]---> BDD-cost: 1 14.82/14.99 c ---[432803]---> BDD-cost: 1 14.82/14.99 c ---[432801]---> BDD-cost: 1 14.82/14.99 c ---[432799]---> BDD-cost: 1 14.82/14.99 c ---[432797]---> BDD-cost: 1 14.82/14.99 c ---[432795]---> BDD-cost: 1 14.82/14.99 c ---[432793]---> BDD-cost: 1 14.82/14.99 c ---[432791]---> BDD-cost: 1 14.82/14.99 c ---[432789]---> BDD-cost: 1 14.82/14.99 c ---[432787]---> BDD-cost: 1 14.82/14.99 c ---[432785]---> BDD-cost: 1 14.82/14.99 c ---[432783]---> BDD-cost: 1 14.82/14.99 c ---[425951]---> BDD-cost: 1 14.82/14.99 c ---[407802]---> BDD-cost: 1 14.82/14.99 c ---[395435]---> BDD-cost: 1 14.82/14.99 c ---[366970]---> BDD-cost: 1 14.82/14.99 c ---[332960]---> BDD-cost: 1 14.82/14.99 c ---[332958]---> BDD-cost: 1 14.82/14.99 c ---[332956]---> BDD-cost: 1 14.82/15.00 c ---[332954]---> BDD-cost: 1 14.82/15.00 c ---[332952]---> BDD-cost: 1 14.82/15.00 c ---[332950]---> BDD-cost: 1 14.82/15.00 c ---[332948]---> BDD-cost: 1 14.92/15.02 c ==================================[MINISAT+]================================== 14.92/15.02 c | Conflicts | Original | Learnt | Progress | 14.92/15.02 c | | Clauses Literals | Max Clauses Literals LPC | | 14.92/15.02 c ============================================================================== 14.92/15.02 c | 0 | 439298 1133746 | 146432 0 0 nan | 0.000 % | 15.12/15.25 c | 100 | 439298 1133746 | 161075 100 1096 11.0 | 0.812 % | 15.52/15.60 c | 250 | 439298 1133746 | 177182 250 19449 77.8 | 0.812 % | 16.02/16.12 c | 475 | 439045 1133187 | 194900 473 27578 58.3 | 0.839 % | 17.02/17.14 c | 812 | 439045 1133187 | 214391 810 62395 77.0 | 0.839 % | 18.02/18.13 c | 1320 | 439045 1133187 | 235830 1318 81160 61.6 | 0.839 % | 19.41/19.56 c | 2079 | 439045 1133187 | 259413 2077 109163 52.6 | 0.839 % | 21.22/21.32 c | 3218 | 438811 1132637 | 285354 3211 147347 45.9 | 0.872 % | 23.11/23.25 c | 4928 | 438811 1132637 | 313889 4921 224323 45.6 | 0.872 % | 28.31/28.47 c | 7490 | 438811 1132637 | 345278 7483 332120 44.4 | 0.872 % | 32.30/32.44 c | 11334 | 438640 1132242 | 379806 11325 435980 38.5 | 0.894 % | 45.28/45.43 c | 17100 | 438640 1132242 | 417787 17091 619369 36.2 | 0.894 % | 57.68/57.84 c | 25750 | 438640 1132242 | 459566 25741 926664 36.0 | 0.894 % | 84.48/84.68 c | 38728 | 438260 1131386 | 505522 38640 1510366 39.1 | 0.948 % | 113.16/113.36 c | 58189 | 437095 1128769 | 556075 58063 2179754 37.5 | 1.112 % | 165.04/165.29 c | 87383 | 436937 1128397 | 611682 87249 3194344 36.6 | 1.136 % | 229.22/229.41 c ============================================================================== 229.22/229.41 c [1mUNSATISFIABLE[0m 229.22/229.41 s UNSATISFIABLE 229.22/229.41 c _______________________________________________________________________________ 229.22/229.41 c 229.22/229.41 c restarts : 16 229.22/229.41 c conflicts : 121251 (531 /sec) 229.22/229.41 c decisions : 222382 (973 /sec) 229.22/229.41 c propagations : 0 (0 /sec) 229.22/229.41 c inspects : 0 (0 /sec) 229.22/229.41 c CPU time : 228.513 s 229.22/229.41 c _______________________________________________________________________________
ERROR: no interpretation found !
/tmp/evaluation/419971-1177416074/instance-419971-1177416074.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node13/watcher-419971-1177416074 -o ROOT/results/node13/solver-419971-1177416074 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/419971-1177416074/minisat+ /tmp/evaluation/419971-1177416074/instance-419971-1177416074.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: 0.92 0.98 0.99 3/83 28086 /proc/meminfo: memFree=1940240/2055920 swapFree=4159400/4192956 [pid=28086] ppid=28084 vsize=1048 CPUtime=0 /proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 112 0 0 0 0 0 0 0 18 0 1 0 189525334 1073152 98 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618939 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28086/statm: 262 98 75 215 0 44 0 [startup+0.030076 s] /proc/loadavg: 0.92 0.98 0.99 3/83 28086 /proc/meminfo: memFree=1940240/2055920 swapFree=4159400/4192956 [pid=28086] ppid=28084 vsize=1324 CPUtime=0.02 /proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 178 0 0 0 2 0 0 0 18 0 1 0 189525334 1355776 164 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28086/statm: 331 164 75 215 0 113 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1324 [startup+0.101091 s] /proc/loadavg: 0.92 0.98 0.99 3/83 28086 /proc/meminfo: memFree=1940240/2055920 swapFree=4159400/4192956 [pid=28086] ppid=28084 vsize=2064 CPUtime=0.09 /proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 349 0 0 0 9 0 0 0 18 0 1 0 189525334 2113536 335 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28086/statm: 516 335 75 215 0 298 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2064 [startup+0.301133 s] /proc/loadavg: 0.92 0.98 0.99 3/83 28086 /proc/meminfo: memFree=1940240/2055920 swapFree=4159400/4192956 [pid=28086] ppid=28084 vsize=3780 CPUtime=0.29 /proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 804 0 0 0 29 0 0 0 19 0 1 0 189525334 3870720 790 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809948 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28086/statm: 945 790 75 215 0 727 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3780 [startup+0.701218 s] /proc/loadavg: 0.92 0.98 0.99 3/83 28086 /proc/meminfo: memFree=1940240/2055920 swapFree=4159400/4192956 [pid=28086] ppid=28084 vsize=7324 CPUtime=0.69 /proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 1659 0 0 0 69 0 0 0 23 0 1 0 189525334 7499776 1645 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28086/statm: 1831 1645 75 215 0 1613 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7324 [startup+1.50239 s] /proc/loadavg: 0.92 0.98 0.99 2/84 28087 /proc/meminfo: memFree=1931336/2055920 swapFree=4159400/4192956 [pid=28086] ppid=28084 vsize=14608 CPUtime=1.48 /proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 3429 0 0 0 147 1 0 0 25 0 1 0 189525334 14958592 3415 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808999 0 0 4096 16386 0 0 0 17 0 0 0 /proc/28086/statm: 3652 3415 75 215 0 3434 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 14608 [startup+3.10173 s] /proc/loadavg: 0.92 0.98 0.99 2/84 28113 /proc/meminfo: memFree=1920648/2055920 swapFree=4159400/4192956 [pid=28086] ppid=28084 vsize=28996 CPUtime=3.08 /proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 6954 0 0 0 304 4 0 0 25 0 1 0 189525334 29691904 6940 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838324 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28086/statm: 7249 6940 75 215 0 7031 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 28996 [startup+6.30141 s] /proc/loadavg: 1.01 1.00 1.00 2/84 28121 /proc/meminfo: memFree=1892616/2055920 swapFree=4159400/4192956 [pid=28086] ppid=28084 vsize=57268 CPUtime=6.27 /proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 13989 0 0 0 619 8 0 0 25 0 1 0 189525334 58642432 13925 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28086/statm: 14317 13925 75 215 0 14099 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 57268 [startup+12.7018 s] /proc/loadavg: 1.01 1.00 1.00 2/84 28143 /proc/meminfo: memFree=1833032/2055920 swapFree=4159400/4192956 [pid=28086] ppid=28084 vsize=116340 CPUtime=12.66 /proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 28536 0 0 0 1249 17 0 0 25 0 1 0 189525334 119132160 28389 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618939 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28086/statm: 29085 28389 75 215 0 28867 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 116340 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/84 28175 /proc/meminfo: memFree=1793480/2055920 swapFree=4159400/4192956 [pid=28086] ppid=28084 vsize=149896 CPUtime=25.42 /proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 37463 0 0 0 2473 69 0 0 25 0 1 0 189525334 153493504 36602 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580244 0 0 4096 16386 0 0 0 17 0 0 0 /proc/28086/statm: 37474 36602 106 215 0 37256 0 Current children cumulated CPU time (s) 25.42 Current children cumulated vsize (KiB) 149896 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28203 /proc/meminfo: memFree=1794368/2055920 swapFree=4159400/4192956 [pid=28086] ppid=28084 vsize=150060 CPUtime=50.98 /proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 37500 0 0 0 5026 72 0 0 25 0 1 0 189525334 153661440 36639 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 0 0 0 /proc/28086/statm: 37515 36639 106 215 0 37297 0 Current children cumulated CPU time (s) 50.98 Current children cumulated vsize (KiB) 150060 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28203 /proc/meminfo: memFree=1794176/2055920 swapFree=4159400/4192956 [pid=28086] ppid=28084 vsize=150196 CPUtime=102.17 /proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 37601 0 0 0 10145 72 0 0 25 0 1 0 189525334 153800704 36732 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580783 0 0 4096 16386 0 0 0 17 0 0 0 /proc/28086/statm: 37549 36732 106 215 0 37331 0 Current children cumulated CPU time (s) 102.17 Current children cumulated vsize (KiB) 150196 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28203 /proc/meminfo: memFree=1793728/2055920 swapFree=4159400/4192956 [pid=28086] ppid=28084 vsize=150316 CPUtime=162.14 /proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 37682 0 0 0 16142 72 0 0 25 0 1 0 189525334 153923584 36813 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 0 0 0 /proc/28086/statm: 37579 36813 106 215 0 37361 0 Current children cumulated CPU time (s) 162.14 Current children cumulated vsize (KiB) 150316 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28203 /proc/meminfo: memFree=1793472/2055920 swapFree=4159400/4192956 [pid=28086] ppid=28084 vsize=150496 CPUtime=222.12 /proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 37729 0 0 0 22140 72 0 0 25 0 1 0 189525334 154107904 36860 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568484 0 0 4096 16386 0 0 0 17 0 0 0 /proc/28086/statm: 37624 36860 106 215 0 37406 0 Current children cumulated CPU time (s) 222.12 Current children cumulated vsize (KiB) 150496 Solver just ended. Dumping a history of the last processes samples [startup+223.902 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28203 /proc/meminfo: memFree=1793472/2055920 swapFree=4159400/4192956 [pid=28086] ppid=28084 vsize=150496 CPUtime=223.72 /proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 37729 0 0 0 22300 72 0 0 25 0 1 0 189525334 154107904 36860 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 0 0 0 /proc/28086/statm: 37624 36860 106 215 0 37406 0 Current children cumulated CPU time (s) 223.72 Current children cumulated vsize (KiB) 150496 [startup+227.102 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28203 /proc/meminfo: memFree=1793472/2055920 swapFree=4159400/4192956 [pid=28086] ppid=28084 vsize=150496 CPUtime=226.92 /proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 37729 0 0 0 22620 72 0 0 25 0 1 0 189525334 154107904 36860 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568556 0 0 4096 16386 0 0 0 17 0 0 0 /proc/28086/statm: 37624 36860 106 215 0 37406 0 Current children cumulated CPU time (s) 226.92 Current children cumulated vsize (KiB) 150496 [startup+228.702 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28203 /proc/meminfo: memFree=1793408/2055920 swapFree=4159400/4192956 [pid=28086] ppid=28084 vsize=150496 CPUtime=228.52 /proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 37729 0 0 0 22780 72 0 0 25 0 1 0 189525334 154107904 36860 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006092 0 0 4096 16386 0 0 0 17 0 0 0 /proc/28086/statm: 37624 36860 106 215 0 37406 0 Current children cumulated CPU time (s) 228.52 Current children cumulated vsize (KiB) 150496 [startup+229.101 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28203 /proc/meminfo: memFree=1793408/2055920 swapFree=4159400/4192956 [pid=28086] ppid=28084 vsize=150496 CPUtime=228.92 /proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 37729 0 0 0 22820 72 0 0 25 0 1 0 189525334 154107904 36860 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 0 0 0 /proc/28086/statm: 37624 36860 106 215 0 37406 0 Current children cumulated CPU time (s) 228.92 Current children cumulated vsize (KiB) 150496 [startup+229.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28203 /proc/meminfo: memFree=1793408/2055920 swapFree=4159400/4192956 [pid=28086] ppid=28084 vsize=150496 CPUtime=229.12 /proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 37729 0 0 0 22840 72 0 0 25 0 1 0 189525334 154107904 36860 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/28086/statm: 37624 36860 106 215 0 37406 0 Current children cumulated CPU time (s) 229.12 Current children cumulated vsize (KiB) 150496 [startup+229.402 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28203 /proc/meminfo: memFree=1793408/2055920 swapFree=4159400/4192956 [pid=28086] ppid=28084 vsize=150496 CPUtime=229.22 /proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 37729 0 0 0 22850 72 0 0 25 0 1 0 189525334 154107904 36860 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569754 0 0 4096 16386 0 0 0 17 0 0 0 /proc/28086/statm: 37624 36860 106 215 0 37406 0 Current children cumulated CPU time (s) 229.22 Current children cumulated vsize (KiB) 150496 Child status: 20 Real time (s): 229.439 CPU time (s): 229.262 CPU user time (s): 228.513 CPU system time (s): 0.748886 CPU usage (%): 99.9231 Max. virtual memory (cumulated for all children) (KiB): 150496 getrusage(RUSAGE_CHILDREN,...) data: user time used= 228.513 system time used= 0.748886 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37732 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= 4994 involuntary context switches= 5758 runsolver used 0.58691 second user time and 1.3378 second system time The end
Begin job on node13 on Tue Apr 24 12:01:15 UTC 2007 IDJOB= 419971 IDBENCH= 47812 IDSOLVER= 156 FILE ID= node13/419971-1177416074 PBS_JOBID= 4675644 Free space on /tmp= 66346 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/industrial/palacios/uts/uts-l05-ipc5-h27-unknown.opb COMMAND LINE= /tmp/evaluation/419971-1177416074/minisat+ /tmp/evaluation/419971-1177416074/instance-419971-1177416074.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node13/convwatcher-419971-1177416074 -o ROOT/results/node13/conversion-419971-1177416074 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/419971-1177416074/instance-419971-1177416074.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-419971-1177416074 -o ROOT/results/node13/solver-419971-1177416074 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/419971-1177416074/minisat+ /tmp/evaluation/419971-1177416074/instance-419971-1177416074.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= b0e38289187593982ff5af631c082a3e RANDOM SEED= 286809631 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node13.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.259 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.259 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: 1940648 kB Buffers: 2200 kB Cached: 38788 kB SwapCached: 12392 kB Active: 53708 kB Inactive: 11376 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1940648 kB SwapTotal: 4192956 kB SwapFree: 4159400 kB Dirty: 16048 kB Writeback: 0 kB Mapped: 31896 kB Slab: 35164 kB Committed_AS: 6845036 kB PageTables: 2116 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= 66346 MiB End job on node13 on Tue Apr 24 12:05:05 UTC 2007